Войти
В математике проблема Шенфлиса или теорема Шенфлиса, геометрической топологии является уточнением теоремы о кривой Жордана, сделанным Артуром Шенфлисом. Для кривых Джордана в плоскости это часто называют теоремой Джордана – Шенфлиса.
Оригинал формулировка проблемы Шенфлиза утверждает, что не только каждая простая замкнутая кривая в плоскости разделяет плоскость на две области, одна («внутренняя») ограниченная а другой («внешний») неограничен; но также, что эти две области гомеоморфны внутри и снаружи стандартной окружности на плоскости.
Альтернативное утверждение состоит в том, что если 
Если кривая гладкая, то гомеоморфизм может быть выбран как диффеоморфизм. Доказательства в этом случае опираются на методы из дифференциальной топологии. Хотя возможны прямые доказательства (начиная, например, с многоугольного случая), существование диффеоморфизма также можно вывести с помощью гладкой теоремы об отображении Римана для внутренней и внешней части кривой в сочетании с Уловка Александра для диффеоморфизмов окружности и результат о гладкой изотопии из дифференциальной топологии.
Такая теорема верна только в двух измерениях. В трех измерениях есть контрпримеры, такие как рогатая сфера Александра. Хотя они разделяют пространство на две области, эти области настолько скручены и связаны узлами, что не гомеоморфны внутри и снаружи нормальной сферы.
Для гладких или многоугольных кривых теорема о кривой Жордана может быть доказана прямым способом. Действительно, кривая имеет трубчатую окрестность, определяемую в гладком случае полем единичных нормальных векторов к кривой или в многоугольном случае точками на расстоянии менее ε от кривой. В окрестности дифференцируемой точки на кривой происходит изменение координат, при котором кривая становится диаметром открытого диска. Взяв точку не на кривой, прямая линия, направленная на кривую, начинающуюся в этой точке, в конечном итоге встретится с трубчатой окрестностью; путь можно продолжить рядом с кривой, пока она не встретится с диском. Он встретит его с одной или с другой стороны. Это доказывает, что дополнение к кривой имеет не более двух компонент связности. С другой стороны, используя интегральную формулу Коши для числа витков, можно видеть, что число витков постоянно на связанных компонентах дополнения кривой, равно нулю около бесконечности. и увеличивается на 1 при пересечении кривой. Следовательно, кривая имеет ровно две компоненты: внутреннюю и неограниченную. Тот же аргумент работает для кусочно-дифференцируемой жордановой кривой.
Для простой замкнутой многоугольной кривой на плоскости кусочно-линейная теорема Жордана – Шенфлиса утверждает, что существует кусочно-линейный гомеоморфизм плоскости с компактной опорой, переносящий многоугольник на треугольник и переносящий внутреннюю и внешнюю части одного на внутреннюю и внешнюю стороны другого.
Внутренность многоугольника может быть триангулируется маленькими треугольниками, так что края многоугольника образуют края некоторых маленьких треугольников. Кусочно-линейные гомеоморфизмы могут быть составлены из специальных гомеоморфизмов, полученных путем удаления ромба с плоскости и взятия кусочно-аффинного отображения, фиксируя края ромба, но перемещая одну диагональ в V-образную форму. Композиции гомеоморфизмов такого типа порождают кусочно линейные гомеоморфизмы компактного носителя; они фиксируют внешнюю сторону многоугольника и действуют аффинным образом на триангуляцию внутренней части. Простой индуктивный аргумент показывает, что всегда можно удалить свободный треугольник - тот, для которого пересечение с границей представляет собой связное множество, состоящее из одного или двух ребер, - оставив простой замкнутый жорданов многоугольник. Специальные гомеоморфизмы, описанные выше или их обратные, обеспечивают кусочно линейные гомеоморфизмы, которые переносят внутренность большего многоугольника на многоугольник с удаленным свободным треугольником. Итерируя этот процесс, следует, что существует кусочно линейный гомеоморфизм компактного носителя, переносящий исходный многоугольник на треугольник.
Поскольку гомеоморфизм получается составлением конечного числа гомеоморфизмов плоскости компактного носителя, следует, что кусочно-линейный гомеоморфизм в формулировке кусочно-линейной теоремы Жордана-Шенфлиса имеет компактный носитель.
Как следствие, отсюда следует, что любой гомеоморфизм между простыми замкнутыми многоугольными кривыми продолжается до гомеоморфизма между их внутренностями. Для каждого многоугольника существует гомеоморфизм данного треугольника на замыкание их внутренней части. Три гомеоморфизма дают единственный гомеоморфизм границы треугольника. С помощью уловки Александера этот гомеоморфизм может быть расширен до гомеоморфизма замыкания внутренней части треугольника. Обращая этот процесс вспять, этот гомеоморфизм дает гомеоморфизм между замыканиями внутренностей ломаных.
Теорема Джордана-Шенфлиса для непрерывных кривых может быть доказана с помощью теоремы Каратеодори о конформном отображении. Он утверждает, что отображение Римана между внутренней частью простой жордановой кривой и открытым единичным кругом непрерывно продолжается до гомеоморфизма между их замыканиями, гомеоморфно отображая жорданову кривую на единичную окружность. Чтобы доказать теорему, теорему Каратеодори можно применить к двум областям на сфере Римана, определяемым жордановой кривой. Это приведет к гомеоморфизму между их замыканиями и замкнутыми дисками | z | ≤ 1 и | z | ≥ 1. Гомеоморфизмы от жордановой кривой до окружности будут отличаться гомеоморфизмом окружности, который может быть продолжен до единичного круга (или его дополнения) с помощью трюка Александера. Композиция с этим гомеоморфизмом даст пару гомеоморфизмов, которые совпадают на жордановой кривой и, следовательно, определяют гомеоморфизм сферы Римана, переносящей жордановую кривую на единичную окружность.
Непрерывный случай также можно вывести из многоугольного случая, аппроксимируя непрерывную кривую многоугольником. Теорема Жордана впервые была получена этим методом. Жорданова кривая задается непрерывной функцией на единичной окружности. Оно и обратная функция от его изображения обратно к единичному кругу равномерно непрерывны. Таким образом, разделив круг на достаточно маленькие интервалы, на кривой будут такие точки, что отрезки линии, соединяющие соседние точки, лежат близко к кривой, скажем, на ε. Вместе эти отрезки образуют многоугольную кривую. Если он имеет самопересечения, они также должны образовывать многоугольные петли. Стирание этих петель приводит к получению многоугольной кривой без самопересечений, которая все еще находится близко к кривой; некоторые его вершины могут не лежать на кривой, но все они лежат в окрестности кривой. Полигональная кривая делит плоскость на две области: одну ограниченную область U и одну неограниченную область V. И U, и V ∪ ∞ являются непрерывными изображениями замкнутого единичного диска. Поскольку исходная кривая содержится в небольшой окрестности многоугольной кривой, объединение изображений немного меньших концентрических открытых дисков полностью пропускает исходную кривую, только исключает ее небольшую окрестность. Первый - ограниченное открытое множество, состоящее из точек, вокруг которых кривая имеет число витков один; другой - неограниченное открытое множество, состоящее из точек с нулевым числом витков. Повторение для последовательности значений ε, стремящихся к 0, приводит к объединению открытых линейно связанных ограниченных множеств точек обмотки номер один и объединению открытых линейно связанных неограниченных множеств с номером обмотки ноль. По своей конструкции эти два непересекающихся открытых линейно соединенных набора заполняют дополнение кривой на плоскости.
Шестиугольная мозаика плоскости: если два шестиугольника пересекаются, они должны иметь общее ребро 
Стандартная мозаика плоскости кирпичной кладкой Учитывая теорему Жордана о кривой, теорему Жордана-Шенфлиса можно доказать следующим образом.
Доказательства в гладком случае зависят от при нахождении диффеоморфизма между внутренним / внешним видом кривой и замкнутым единичным кругом (или его дополнением в расширенной плоскости). Это может быть решено, например, с помощью гладкой теоремы об отображении Римана, для которой доступен ряд прямых методов, например, с помощью задачи Дирихле на кривой или Бергмана. ядра. (Такие диффеоморфизмы будут голоморфны внутри и снаружи кривой; более общие диффеоморфизмы можно легче построить с помощью векторных полей и потоков.) Если рассматривать гладкую кривую как лежащую внутри расширенной плоскости или 2-сферы, эти аналитические методы дают гладкую отображает до границы между замыканием внутренней / внешней гладкой кривой и замкнутой окружности. Два отождествления гладкой кривой и единичной окружности будут отличаться диффеоморфизмом единичной окружности. С другой стороны, диффеоморфизм f единичной окружности может быть расширен до диффеоморфизма F единичного круга с помощью расширения Александера :
![{\ displaystyle \ displaystyle {F (re ^ {i \ theta}) = r \ exp [i \ psi (r) g (\ theta) + i ( 1- \ psi (r)) \ theta],}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/976d50e64a3040c9090918e9a4becf8128ff43c7)
где ψ - гладкая функция со значениями в [0,1], равными 0 около 0 и 1 около 1, и f (e) = e, с г (θ + 2π) = g (θ) + 2π. Составление одного из диффеоморфизмов с расширением Александера позволяет соединить два диффеоморфизма вместе, чтобы получить гомеоморфизм 2-сферы, который ограничивается диффеоморфизмом на замкнутом единичном круге и замыканиями его дополнения, которое он переносит на внутреннюю и внешнюю части. исходной гладкой кривой. По теореме изотопии в дифференциальной топологии гомеоморфизм может быть приведен в соответствие с диффеоморфизмом на всей 2-сфере, не изменяя его на единичной окружности. Затем этот диффеоморфизм обеспечивает гладкое решение проблемы Шенфлиса.
Теорема Джордана-Шенфлиса может быть выведена с использованием дифференциальной топологии. Фактически, это непосредственное следствие классификации с точностью до диффеоморфизма гладких ориентированных двумерных многообразий с краем, как описано в Hirsch (1994). Действительно, гладкая кривая делит 2-сферу на две части. По классификации каждая из них диффеоморфна единичному кругу и - с учетом теоремы об изотопии - склеена диффеоморфизмом границы. По уловке Александера такой диффеоморфизм распространяется на сам диск. Таким образом, существует диффеоморфизм 2-сферы, переносящий гладкую кривую на единичную окружность.
С другой стороны, диффеоморфизм также может быть построен непосредственно с использованием теоремы Жордана-Шенфлиса для многоугольников и элементарных методов дифференциальной топологии, а именно потоков, определяемых векторными полями. Когда кривая Жордана является гладкой (параметризованной длиной дуги), единичные векторы нормали дают неисчезающее векторное поле X 0 в трубчатой окрестности U0кривой. Возьмем многоугольную кривую внутри кривой, близко к границе и поперек кривой (в вершинах векторное поле должно находиться строго в пределах угла, образованного краями). По кусочно-линейной теореме Жордана – Шенфлиса существует кусочно-линейный гомеоморфизм, аффинный на подходящей триангуляции внутренней части многоугольника, переводящий многоугольник в треугольник. Возьмите внутреннюю точку P в одном из маленьких треугольников триангуляции. Он соответствует точке Q на изображении треугольника. На треугольнике изображения есть радиальное векторное поле, образованное прямыми линиями, направленными в сторону Q. Это дает серию линий в маленьких треугольниках, составляющих многоугольник. Каждый определяет векторное поле X i в окрестности U i замыкания треугольника. Каждое векторное поле поперечно сторонам, при условии, что Q выбрано в «общем положении», так что оно не коллинеарно ни одному из конечного числа ребер в триангуляции. Сдвигая, если необходимо, можно предположить, что P и Q находятся в нуле. На треугольнике, содержащем P, векторное поле может быть принято как стандартное радиальное векторное поле. Точно так же ту же процедуру можно применить к внешней стороне гладкой кривой после применения преобразования Мёбиуса, чтобы отобразить ее в конечную часть плоскости и ∞ в 0. В этом случае окрестности U i треугольников имеют отрицательные показатели. Возьмем векторные поля X i со знаком минус, направленным от бесконечно удаленной точки. Вместе U 0 и U i с i ≠ 0 образуют открытую крышку 2-сферы. Возьмем гладкое разбиение единицы ψi, подчиненное покрытию U i, и положим
X - гладкое векторное поле на двух сферах, исчезающее только в точках 0 и ∞. Он имеет индекс 1 в 0 и -1 в ∞. Вблизи 0 векторное поле равно радиальному векторному полю, указывающему на 0. Если α t - это плавный поток, определяемый X, точка 0 является точкой притяжения, а ∞ - точкой отталкивания. Когда t стремится к + ∞, поток отправки указывает на 0; а когда t стремится к –∞, точки отправляются на ∞. Замена X на f⋅X с гладкой положительной функцией f изменяет параметризацию интегральных кривых X, но не самих интегральных кривых. При соответствующем выборе f, равного 1, вне малого кольца около 0, интегральные кривые, начинающиеся в точках гладкой кривой, будут все достигать меньшего круга, ограничивающего кольцо в то же время s. Таким образом, диффеоморфизм α s переносит гладкую кривую на эту маленькую окружность. Масштабирующее преобразование, фиксирующее 0 и ∞, затем переносит маленький кружок на единичный круг. Составление этих диффеоморфизмов дает диффеоморфизм, переносящий гладкую кривую на единичную окружность.
Существует многомерное обобщение благодаря Мортону Брауну (1960) и независимо Барри Мазуру (1959) с Морсом (1960), которая также называется обобщенной теоремой Шенфлиса . В нем говорится, что если (n - 1) -мерная сфера S вложена в n-мерную сферу S локально плоским способом (то есть, вложение распространяется на эту утолщенной сферы), то пара (S, S) гомеоморфна паре (S, S), где S - экватор n-сферы. Браун и Мазур получили премию Веблена за свой вклад.
Проблема Шенфлиса может быть поставлена в категориях, отличных от топологически локально плоской категории, т.е. ограничивает ли гладко (кусочно-линейно) вложенная (n - 1) -сфера в n-сферу гладкую (кусочно-линейную) линейный) n-ball? При n = 4 проблема остается открытой для обеих категорий. См. коллектор Мазура. При n ≥ 5 вопрос имеет положительный ответ и следует из теоремы о h-кобордизме.
