Первая итерация
Вторая итерация
Ожерелье Антуана (антуановское множество [ 1] ) — пример подмножества евклидова пространства , гомеоморфного канторову множеству ,
но при этом имеющего неодносвязное дополнение.
Построен Луи Антуаном в 1921 году [ 2] .
Построение
Ожерелье получается как пересечение убывающей последовательности компактных множеств:
K
1
⊃ ⊃ -->
K
2
⊃ ⊃ -->
… … -->
{\displaystyle K_{1}\supset K_{2}\supset \dots }
такой, что каждое
K
n
{\displaystyle K_{n}}
является объединением конечного числа непересекающихся полноториев .
Если максимальный диаметр полнотория в
K
n
{\displaystyle K_{n}}
стремится к нулю при
n
→ → -->
∞ ∞ -->
{\displaystyle n\to \infty }
, то пересечение:
K
=
⋂ ⋂ -->
n
K
n
{\displaystyle K=\bigcap _{n}K_{n}}
является компактным вполне несвязным множеством без изолированных точек и значит гомеоморфно канторову множеству .
С другой стороны, можно выбрать последовательность
K
n
{\displaystyle K_{n}}
так, что дополнение к полученному
K
{\displaystyle K}
неодносвязно,
для этого пересечение
K
n
+
1
{\displaystyle K_{n+1}}
с каждым полноторием в
K
n
{\displaystyle K_{n}}
должно образовывать замкнутую цепь как на картинке.
См. также
Примечания