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

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

تابعک خطی
preferred label: linear functional @en
type: Concept
related: قضیه تفکیک

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