Псевдодуга

Псевдодуга — простейший пример континуума $K$, который наследственно несжимаем, то есть любой подконтинуум $K$ не может быть представлен как объединение двух собственных подконтинуумов.

Построение

Непрерывное отображение $f:[a,b]\to [c,d]$ из отрезка на отрезок называется $\epsilon$-скрюченным если для любых значений $t_1<t_2$ в интервале $[a,b]$ найдутся значения $t_1<{t_2}^{\prime }<{t_1}^{\prime }<t_2$ такие, что

$|f(t_1)-f({t_1}^{\prime })|<\epsilon$ и $|f(t_2)-f({t_2}^{\prime })|<\epsilon$.

Псевдодугу можно построить как проективный предел последовательности ${\epsilon }_n$-скрюченных отображений $f_n:[0,1]\to [0,1]$ для подходящей последовательности ${\epsilon }_n$ достаточно быстро сходящейся к нулю.

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

• Континуум называется змеевидным, если для любого его покрытия найдётся конечное вписанное покрытие $U_i$, $i\in \{1,2,\dots ,n\}$ такое, что $U_i\cap U_j=\varnothing$ тогда и только тогда, когда $|i-j|\le 1$.

Свойства

• Псевдодуга вкладывается в евклидову плоскость.
• Никакие две точки псевдодуги не могут быть соединены путём,
  • В частности, псевдодуга не содержит жордановых дуг
• Существует область $\mathrm{\Omega }$ в евклидовой плоскости гомеоморфная диску такая, что каждый нетривиальный собственный подконинуум $\partial \mathrm{\Omega }$ гомеоморфен псевдодуге.
• Любой нетривиальный подконтинуум псевдодуги гомеоморфен псевдодуге.
• В пространстве всех подконтинуумов куба $[0,1{]}^n$, $n>1$ с метрикой Хаусдорфа псевдодуги образуют плотное G-дельта-множество.
• Псевдодуга является единственным с точностью до гомеоморфизма змеевидным наследственно несжимаем континуумом.

История

Первый пример несжимаемого континуума был построен Брауэром в 1910 году. Вопрос о существовании наследственно несжимаемого континуума был поставлен Куратовским и Кнастером. Вскоре пример был построен Кнастером.

См. также

• Озёра Вады

Литература

• Шаблон:Книга