linear functional
تابعک خطی
separation theorem
قضیه تفکیک
extension theorem
قضیه توسیع
topological vector space
فضای برداری توپولوژیک
هر تابعک خطی پیوسته ای را که بر یک زیرفضا یا خمینه خطی در یک فضای خطی نرمدار تعریف شده باشد، می توان به تابعک خطی پیوسته ای که بر کل فضا تعریف می شود، گسترش داد.
Hahn-Banach extension theorem
قضیه گسترش هان-باناخ