Принцип разделимости

В конечномерном евклидовом пространстве ${\displaystyle \mathbb {R} ^{n}}$ принцип разделимости работает всегда, в том смысле, что для любых двух замкнутых непересекающихся множеств существует поверхность, разделяющая пространство на две непересекающиеся части так, что каждое множество целиком принадлежит одной из этих частей.

В функциональных (в частности, банаховых) пространствах достаточно сложно гарантировать отделимость произвольных множеств. Тем не менее, в частных случаях задача решается достаточно легко. Например:

• Любые два непересекающихся выпуклых множества, одно из которых имеет непустую внутренность, можно разделить гиперплоскостью.
• Любые два непересекающихся замкнутых выпуклых множества, одно из которых компактно, можно сильно разделить гиперплоскостью.

Множества A и B в банаховом пространстве называются разделимыми, если существует такой функционал p, что для любых ${\displaystyle a\in A}$, ${\displaystyle b\in B}$

${\displaystyle \langle p,a\rangle \leq \langle p,b\rangle }$

Множества A и B в банаховом пространстве называются сильно разделимыми, если существует такой функционал p, что для любых ${\displaystyle a\in A}$, ${\displaystyle b\in B}$

${\displaystyle \langle p,a\rangle <k<\langle p,b\rangle ,\,k\in {\mathcal {R}}}$

Принцип разделимости используется при доказательстве многих сильных геометрических утверждений. В частности, с его помощью обосновываются опорный принцип и теорема Фенхеля — Моро.

• Функциональная отделимость
• Сепарабельность

• Половинкин Е. С, Балашов М. В. Элементы выпуклого и сильно выпуклого анализа. — М.: Физматлит, 2004. — 416 с — ISBN 5-9221-0499-3