Кривая Урысона

Губка Менгера — пример кривой Урысона

Кривая Урысона (далее кривая) — наиболее общее (но не чрезмерно) определение кривой, введённое Павлом Урысоном в 1921 году. Это определение обобщает определение Кантора на произвольную размерность.

Определение

Кривой называется связное компактное топологическое пространство ${\displaystyle C}$ топологической размерности 1.

Связанные определения

Кривая ${\displaystyle C}$ в точке ${\displaystyle x}$ имеет индекс ветвления ${\displaystyle \alpha }$, если ${\displaystyle \alpha }$ есть минимальное кардинальное число такое, что для любой окрестности ${\displaystyle x}$ существует меньшая окрестность, граница которой есть множество мощности, не превосходящей ${\displaystyle \alpha }$. Точка кривой ${\displaystyle C}$, индекс ветвления которой больше двух, называется точкой ветвления; точка, индекс ветвления которой равен единице, называется концевой точкой.

Точки кривой относительно их индекса ветвления классифицируются следующим образом.

1. Точки с индексом ветвления ${\displaystyle n}$, где ${\displaystyle n}$ ― натуральное число.
2. Точки неограниченного индекса ветвления. (Точка ${\displaystyle x}$ кривой ${\displaystyle C}$ имеет неограниченный индекс ветвления, если для любой окрестности ${\displaystyle x}$, существует меньшая окрестность, граница которой состоит из конечного множества точек; но при этом индекс ветвления бесконечен.)
3. Точки счётного индекса ветвления.
4. Точки континуального индекса ветвления.

Примеры

1. Отрезок во всех своих внутренних точках имеет индекс ветвления, равный двум; индекс ветвления концов отрезка равен единице.
2. Окружность в каждой своей точке имеет индекс ветвления два.
3. Кривая, состоящая из ${\displaystyle n}$ прямолинейных отрезков, исходящих из одной точки ${\displaystyle O}$, имеет в точке ${\displaystyle O}$ индекс ветвления ${\displaystyle n}$.
4. Кривая, состоящая из отрезков Невозможно разобрать выражение (SVG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «http://localhost:6011/ru.wikipedia.org/v1/»:): {\displaystyle OA_1, OA_2,\dots,OA_n,\dots} выходящих из начала координат ${\displaystyle O}$, имеющих длины ${\displaystyle 1,1/2,\dots ,1/n,\dots }$ и исходящие из O под углами ${\displaystyle 1,1/2,\dots ,1/n,\dots }$ к оси ${\displaystyle OX}$ имеет неограниченный индекс ветвления в ${\displaystyle O}$
   • Если при этом сделать все отрезки равной длины, то ${\displaystyle O}$ будет иметь счётный индекс ветвления.
5. Кривая, состоящая из отрезков, соединяющих точку ${\displaystyle O}$ со всеми точками канторова множества, лежащего на другом отрезке, имеет во всех своих точках континуальный индекс ветвления с.
6. Ковëр Серпинского также имеет во всех своих точках континуальный индекс ветвления.
7. Салфетка Серпинского представляет пример кривой состоящий только из точек с индексом ветвления 2, 3 и 4.
   • При этом индекс ветвления 2 имеют только вершины основного треугольника. В частности, если склеить две салфетки Серпинского по вершинам основного треугольника, получим кривую с индексами ветвления 3 и 4.

Свойства

• Определение кривой Урысона является внутренним: оно характеризуется лишь свойствами самого пространства ${\displaystyle C}$ и не зависит от того, рассматривается ли это пространство само по себе или как подмножество другого топологического пространства.

• Существуют кривые, которые не гомеоморфны никакому подмножеству плоскости.
  • Такова, например, кривая, лежащая в трёхмерном пространстве и состоящая из шести рёбер тетраэдра и четырёх отрезков, соединяющих центр тетраэдра с его вершинами.

• Всякая кривая гомеоморфна некоторому подмножеству трёхмерного евклидова пространства (теорема Менгера).
  • Более того, существует кривая ${\displaystyle M}$, обладающая тем свойством, что, какова бы ни была кривая ${\displaystyle C}$, в ${\displaystyle M}$ найдется подмножество ${\displaystyle C'}$, гомеоморфное ${\displaystyle C}$.
    • Эта кривая ${\displaystyle M}$ является трёхмерным аналогом ковра Серпинского и называется губкой Менгера.

• Если у кривой совсем нет точек ветвления, то есть если в каждой точке кривой индекс ветвления равен 1 или 2, то эта кривая есть либо простая дуга ― топологический образ отрезка, либо простая замкнутая линия ― топологический образ окружности.
  • При этом, если индекс ветвления кривой во всех точках равен 2, то это ― простая замкнутая кривая, если же у кривой, не имеющей точек ветвления, есть концевые точки (при этом оказывается, что их непременно две), то она будет простой дугой.
• Если кривая имеет лишь конечное число точек ветвления, причем индекс ветвления каждой из них также конечен, то такая кривая может быть разбита на конечное число простых дуг, не имеющих попарно никаких других общих точек, кроме своих концов.
• Окружность является единственной кривой, все точки которой имеют один и тот же конечный индекс ветвления 2; других кривых, имеющих во всех точках один и тот же конечный индекс ветвления, нет. Более того,
  • Если все точки кривой ${\displaystyle L}$ имеют индекс ветвления больший или равный ${\displaystyle n}$, то на ${\displaystyle L}$ найдется точка, индекс ветвления которой больше или равен ${\displaystyle 2n-2}$, и при всяком натуральном ${\displaystyle n}$ существует кривая, состоящая только из точек, имеющих индекс ветвления ${\displaystyle n}$ и ${\displaystyle 2n-2}$ (теорема Урысона).

Литература

• Урысон П. С. Труды по топологии и другим областям математики, т. 2, — М.― Л., 1951;