Русская Википедия:Лемма Дена

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Ле́мма Де́на — ключевое утверждение трёхмерной топологии.

Формулировка

Пусть <math>f</math> — кусочно-линейное отображение диска в 3-мерное многообразие. Предположим, что образ границы вложен и не пересекает образ внутренности диска. Тогда существует кусочно-линейное вложение диска, совпадающее с исходным на граничной окружности.

История

Доказательство было опубликовано Деном. Существенные пробелы в его доказательстве обнаружил Шаблон:Нп1. Полное доказательство было получено Папакирьякопулосом[1].

Папакирьякопулос доказал лемму Дена с помощью построения башни накрытий. Вскоре после этого Шаблон:Нп1 и Уайтхед дали более простое доказательство и при этом обобщили результат. Их доказательство использует башни двойных накрытий.

Следствия

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

Примечания

Шаблон:Примечания

Ссылки