Приложения сингулярных гомологий
[21/100%]Используя теорему 6.6.2 (гомотопическая эквивалентность пар индуцирует изоморфизм в гомологиях) и свойство размерности, покажите, что
Покажите, что
Используя длинную точную последовательность пары , покажите, что
Приведите явный сингулярный симплекс , представляющий образующую группы (вычисленной в упражнении 6.8.3).
Он должен переходить под действием в образующую ядра отображения .
Покажите, что существует гомеоморфизм , и с его помощью вычислите для всех .
Пусть — верхняя полуокружность , а — нижняя полуокружность.
Используя упражнение 6.7.7, покажите, что существует изоморфизм . Укажите, как найти множества , использованные в том упражнении.
Используя упражнение 6.7.8, покажите, что существует изоморфизм . Укажите, как найти требуемую биворотниковую окрестность.
Используя упражнения 6.8.5 и 6.8.6, вычислите .
Приведите явный сингулярный симплекс , представляющий образующую группы (вычисленной в упражнении 6.8.7).
Существенное свойство образующей состоит в том, что она соответствует образующей группы , а эта образующая должна переходить в образующую . Из более ранней работы (упражнение 6.8.4) известно, что порождается элементом . Существует простая тригонометрическая формула, подходящая для .
Используя упражнения 6.8.7 и 6.8.8, вычислите с помощью длинной точной последовательности пары .
Приведите явную сингулярную цепь, являющуюся суммой двух сингулярных симплексов, один из которых — ответ упражнения 6.8.8, а другой — сингулярный симплекс в , представляющую образующую группы . Объясните, как это связано с изоморфизмом между и .
Пусть . Покажите, что , . Покажите, что .
Упражнения 6.8.1--6.8.10 устанавливают цепочку изоморфизмов . При существует также изоморфизм . При рассуждение немного отличается, поскольку не линейно связно, и вместо этого используется изоморфизм . Это упражнение и следующие за ним обобщают эти рассуждения для вычисления гомологий и при посредством индуктивного рассуждения. Поскольку линейно связны, , и часть точной последовательности показывает, что , поскольку первое отображение является изоморфизмом.
Пусть . Покажите, что , . Здесь обозначает часть сферы, где последняя координата .
Пусть . Покажите, что , .
Пусть . Покажите, что , .
Пусть . Объединив упражнения 6.8.11--6.8.14, покажите, что при , и .
Используя индуктивное рассуждение (опираясь на упражнения 6.8.11--6.8.15), покажите, что
Если с вложением , отображение называется ретракцией, если . Покажите, что если — ретракция, то сюръективно для каждого .
Покажите, что если существует такое, что и , то не существует ретракции (в смысле упражнения 6.8.17) на .
Покажите, что не ретрагируется на , .
Покажите, что если непрерывно, то существует неподвижная точка с .
См. доказательство теоремы 3.5.4.
Если обозначает лист Мёбиуса с границей , покажите, что и изоморфны , но индуцированное отображение задаётся умножением на .
Используя (а), покажите, что лист Мёбиуса не ретрагируется на свою границу, хотя они имеют изоморфные гомологии.