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