تابعک خطی
preferred label: linear functional @en
type: Concept
related: قضیه گسترش هان-باناخ

قضیه تفکیک
preferred label: separation theorem @en
type: Concept
related: قضیه گسترش هان-باناخ

قضیه توسیع
preferred label: extension theorem @en
type: Concept
related: قضیه گسترش هان-باناخ

فضای برداری توپولوژیک
preferred label: topological vector space @en
type: Concept
narrower: قضیه گسترش هان-باناخ

قضیه گسترش هان-باناخ
scope note: هر تابعک خطی پیوسته ای را که بر یک زیرفضا یا خمینه خطی در یک فضای خطی نرمدار تعریف شده باشد، می توان به تابعک خطی پیوسته ای که بر کل فضا تعریف می شود، گسترش داد.
related: قضیه تفکیک
related: قضیه توسیع
related: تابعک خطی
broader: فضای برداری توپولوژیک
preferred label: Hahn-Banach extension theorem @en
type: Concept