Twierdzenie o separacji

Twierdzenie o separacji może odnosić się do kilku twierdzeń z różnych dziedzin nauki.

Ekonomia

Twierdzenie Fishera o separacji (teoria korporacji) - stwierdza, że celem korporacji będzie maksymalizacja jej obecnej wartości, niezależnie od preferencji jej akcjonariuszy.
Twierdzenie o separacji funduszy inwestycyjnych (teoria portfela) stwierdza, że w pewnych warunkach optymalny portfel każdego inwestora można zbudować, trzymając każdy z określonych funduszy inwestycyjnych w odpowiednich proporcjach, przy czym liczba funduszy inwestycyjnych jest mniejsza niż liczba poszczególnych aktywów w portfelu .

Twierdzenie Gabbaya o separacji (logika matematyczna i informatyka) stwierdza, że każdą dowolną formułę logiki czasowej można przepisać w logicznie równoważnej formie „przeszłość → przyszłość”.
Twierdzenie o separatorze planarnym (teoria grafów) stwierdza, że dowolny graf planarny można podzielić na mniejsze części, usuwając niewielką liczbę wierzchołków.
Twierdzenie Łuzina o separacji (opisowa teoria mnogości) stwierdza, że dla dowolnych dwóch rozłącznych analitycznych podzbiorów polskiej przestrzeni istnieje podzbiór borelowski zawierający jeden, ale rozłączny z drugim.

Twierdzenie o separacji hiperpłaszczyzn - jedno z dwóch twierdzeń o rozłącznych zbiorach wypukłych w n-wymiarowej przestrzeni euklidesowej. Znany również jako: Twierdzenie o rozdzielaniu osi.

o separatorze geometrycznym - twierdzenia dotyczące istnienia linii oddzielających obiekty na płaszczyźnie bez szkody dla zbyt wielu z nich.
separacji gilotynowej - twierdzenia dotyczące możliwości rozdzielania obiektów w płaszczyźnie za pomocą cięć gilotynowych.