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

Материал из Википедии — свободной энциклопедии

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

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

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

Существуют кривые, которые не гомеоморфны никакому подмножеству плоскости. Такова, например, кривая, лежащая в трехмерном пространстве и состоящая из шести рёбер тетраэдра и четырех отрезков, соединяющих центр тетраэдра с его вершинами. Но всякая кривая гомеоморфна некоторому подмножеству трехмерного евклидова пространства (теорема Менгера). Более того, существует кривая M, обладающая тем свойством, что какова бы ни была кривая C, в M найдется подмножество C', гомеоморфное C, это трёхмерный аналог ковра Серпиньского, называемый губкой Менгера.

Содержание 1 Индекс ветвления 1.1 Примеры 1.2 Свойства 2 Литература

[править] Индекс ветвления

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

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

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

[править] Примеры

1. Отрезок во всех своих внутренних точках имеет индекс ветвления, равный двум; индекс ветвления концов отрезка равен единице,
2. Окружность в каждой своей точке имеет индекс ветвления два.
3. Кривая, состоящая из n прямолинейных отрезков, исходящих из одной точки O, имеет в точке O индекс ветвления n.
4. Кривая, состоящая из отрезков выходящих из начала координат O, имеющих длины и исходящие из O под углами к оси OX имеет неограниченный индекс ветвления в O
   • Если при этом сделать все отрезки равной длины то O будет иметь счетный индекс ветвления.
5. Кривая, состоящая из отрезков, соединяющих точку O со всеми точками канторова множества, лежащего на другом отрезке, имеет во всех своих точках континуальный индекс ветвления с.
6. Ковер Серпиньского также имеет во всех своих точках континуальный индекс ветвления.
7. Салфетка Серпиньского представляет пример кривой состоящий только из точек с индексом ветвления 2, 3 и 4.
   • При этом индекс ветвления 2 имеют только вершины основного треугольника. В частности если склеить две салфетки серпиньского по вершинам основного треугольник получим кривую с индексами ветвления 3 и 4.

[править] Свойства

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

[править] Литература

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