Теорема Уитни о вложении

Теорема Уитни о вложении — утверждение дифференциальной топологии, согласно которому произвольное гладкое $m$-мерное многообразие со счётной базой допускает гладкое вложение в $2m$-мерное евклидово пространство. Установлено Хасслером Уитни в 1938 году.

Этот результат оптимален, например, если $m$ — степень двойки, то $m$-мерное проективное пространство невозможно вложить в $(2m-1)$-мерное евклидово пространство.

Схема доказательства

Случаи $m=1$ и $m=2$ устанавливаются напрямую.

Для доказательства случая $m⩾3$ используется факт, что гладкое отображение общего положения $f:M\to {ℝ}^{2m}$ является погружением с конечным количеством точек трансверсального самопересечения.

Избавиться от этих точек самопересечения можно, несколько раз применив трюк Уитни. Шаблон:ЯкорьОн состоит в следующем. Возьмем точки $p,q\in {ℝ}^{2m}$ самопересечения отображения $f$, имеющие разные знаки. Возьмем точки $x_p,y_p,x_q,y_q\in M$, для которых $f(x_p)=f(y_p)=p$ и $f(x_q)=f(y_q)=q$. Соединим $x_p$ и $x_q$ гладкой кривой $x\subset M$. Соединим $y_p$ и $y_q$ гладкой кривой $y\subset M$. Тогда $f(x\cup y)$ есть замкнутая кривая в ${ℝ}^{2m}$. Далее построим отображение $h:D^2\to {ℝ}^{2m}$ с границей $h(\partial D^2)=f(x\cup y)$. В общем положении, $h$ является вложением и $h(D^2)\cap f(M)=h(\partial D^2)$ (как раз здесь используется то, что $m⩾3$). Тогда можно изотопировать $f$ в маленькой окрестности диска $h(D^2)$ так, чтобы эта пара точек самопересечения исчезла. В последнее утверждение легко поверить, представив картинку для $m=1$ (в которой свойства диска оказались выполнены случайно, а не по общему положению). Аккуратное доказательство приведено в пункте 22.1 книги Прасолова.

Приведем набросок другого способа избавиться от точек самопересечения отображения общего положения $f:M\to {ℝ}^{2m}$. Он основан на важной идее поглощения. (Иногда данное применение этой другой идеи ошибочно называют трюком Уитни.) Возьмем точку $p\in {ℝ}^{2m}$ самопересечения отображения $f$. Возьмем точки $x,y\in M$, для которых $f(x)=f(y)=p$. Соединим $x$ и $y$ гладкой кривой $l\subset M$. Тогда $f(l)$ есть замкнутая кривая в ${ℝ}^{2m}$. Далее построим отображение $h:D^2\to {ℝ}^{2m}$ с границей $h(\partial D^2)=f(l)$. В общем положении, $h$ является вложением и $h(D^2)\cap f(M)=h(\partial D^2)$ (как раз здесь используется то, что $m⩾3$). Теперь можно изотопировать $f$ в маленькой окрестности диска $h(D^2)$ так, чтобы эта точка самопересечения исчезла. См. детали и обобщения в книге Рурке и Сандерсона и параграфе 8 обзора Скопенкова. Это рассуждение обычно проводят в кусочно-линейной категории. В гладкой же категории (как здесь) для последней деформации нужно использовать теорему Хефлигера о незаузленности сфер (см. [1]).

Вариации и обобщения

Пусть $M$ есть гладкое $m$-мерное многообразие, $m>1$.

• Если $m$ не является степенью двойки, тогда существует вложение $M$ в ${ℝ}^{2m-1}$
• $M$ может быть погружено в ${ℝ}^{2m-1}$
  • Более того $M$ может быть погружено в ${ℝ}^{2m-a}$, где $a$ есть число единиц в двоичном представлении $m$.
    • Последний результат оптимален, для любого $m$ можно построить $m$-мерное многообразие (произведение вещественных проективных пространств), которое невозможно погрузить в ${ℝ}^{2m-a-1}$.
• Шаблон:Не переведено даёт эквивариантный вариант теоремы Уитни о вложении.

Литература

Оревков С. Ю. Физическое доказательство теоремы Уитни о плоских кривых// Сборник «Математическое Просвещение». Третья серия. 1997. Выпуск 1 . С. 96-102