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