Теорема об иссечении
-
Теорема об удалении
- Теорема об удалении утверждает, что при определенных условиях можно исключить подпространство из топологического пространства.
- Это помогает в вычислении сингулярных групп гомологий.
-
Условия для удаления подпространства
- Подпространство U может быть удалено, если его замыкание содержится во внутренней части A.
- Часто подпространства, не удовлетворяющие этому критерию, могут быть удалены с помощью деформационного втягивания.
-
Доказательство теоремы
- Доказательство интуитивно понятно, но детали сложны.
- Идея состоит в разделении симплексов в относительном цикле и продолжении процесса до полного удаления U.
- Процесс оставляет исходный класс гомологии неизменным.
-
Приложения теоремы
- Теорема об удалении является одной из аксиом Эйленберга-Стинрода.
- Последовательность Майера-Виеториса может быть получена с помощью теоремы об удалении и длинной точной последовательности.
- Теорема о приостановке гомологии может быть выведена с помощью теоремы об удалении.
-
Неизменность размерности
- Если непустые открытые множества U и V гомеоморфны, то m = n.
- Это следует из теоремы об удалении, длинной точной последовательности и деформации втягивания.
-
Дополнительные сведения
- Теорема о гомотопическом вырезании также связана с теоремой об удалении.