Топология
[92/100%]Пусть и — связные подпространства топологического пространства , такие что . Докажите, что связно. Если и линейно связны, обязано ли быть линейно связным?
Пусть и — компактные подпространства пространств и соответственно, и пусть — открытая окрестность множества
Докажите, что существуют открытые множества и , такие что
Пусть — локально компактное хаусдорфово пространство. Пусть и — непересекающиеся подмножества , причём компактно, а замкнуто. Существует ли непрерывная функция , такая что и ?
Для этой задачи требуются только правильные ответы на поставленные вопросы, без доказательств.
Если и — топологические пространства, то соединением и называется факторпространство
где
и гомеоморфны хорошо известным пространствам. Каким?
Опишите для произвольного пространства .
Дайте определение факторотображения.
Покажите, что если компактно, хаусдорфово и непрерывно и сюръективно, то является замкнутым отображением.
Покажите, что если удовлетворяет условию из (b), то является факторотображением.
Пусть — непрерывная функция из пространства в хаусдорфово пространство . Пусть — замкнутое подпространство , а — открытая окрестность в .
Докажите, что если компактно, то существует открытая окрестность множества в , такая что .
Приведите контрпример, показывающий, что если некомпактно, то такой окрестности может не существовать.
Пусть — нормальное топологическое пространство и — замкнутое подпространство.
Покажите, что факторпространство , полученное стягиванием в точку, нормально.
Сохранится ли этот результат, если нормальность заменить регулярностью?
Пусть — накрытие, где локально линейно связно и односвязно. Пусть — связное пространство, — непрерывное отображение, а — два поднятия . Докажите, что существует накрывающее преобразование , такое что .
Пусть — -листное накрытие, . Предположим, что компактно. Докажите, что компактно.
Пусть и — две различные топологии на , такие что компактно и хаусдорфово относительно обеих. Докажите, что .
(Напомним, что означает, что каждое множество из топологии содержится в .)
Пусть — топологическое пространство и . Покажите, что если — связное подмножество , пересекающееся как с , так и с , то пересекается с . (Напомним, что .)
Пусть — метрическое пространство. Для любого подпространства и вещественного числа положим
Докажите, что — открытое подпространство .
Если компактно, покажите, что замкнуто в . Обязано ли быть замкнутым для произвольного подпространства пространства ?
Предположим, что — плотное подпространство топологического пространства . Докажите или опровергните следующие утверждения:
Если хаусдорфово, то хаусдорфово.
Если связно, то связно.
Пусть и — топологические пространства, , а — функция, такая что и непрерывны.
Если и открыты в , покажите, что непрерывна.
Приведите пример, когда и не открыты в , а разрывна.
Пусть — проекция-факторотображение из топологического пространства на связное топологическое пространство . Предположим, что связно для каждого .
Покажите, что связно.
Обязано ли быть связным, если отображение не предполагается факторотображением? Обоснуйте свой ответ.
Пусть и — топологические пространства, причём компактно. Пусть — обычная проекция на первый множитель. Покажите, что — замкнутое отображение.
Пусть — связное подмножество топологического пространства, а — множество, такое что является подмножеством , а является подмножеством замыкания . Докажите, что связно.
Пусть — связное подпространство связного множества . Если — компонента , покажите, что связно.
Метрическое пространство обладает свойством , если для любого существует покрытие связными множествами, каждое из которых имеет диаметр .
Докажите, что метрическое пространство обладает свойством , если имеет плотное подмножество со свойством .
Предположим, что — подмножество метрического пространства. Предположим, что замыкание обладает свойством . Обязано ли обладать свойством ?
Пусть — кривая топологов "синус", определённая формулой
Изобразите .
Пусть непрерывно. Покажите, что либо , либо найдётся , такое что
Пусть обозначает тор.
Покажите, что можно покрыть 3 стягиваемыми открытыми подмножествами.
Покажите, что нельзя покрыть 2 стягиваемыми открытыми подмножествами.
Пусть — открытое покрытие пространства .
Дайте определение того, что локально конечно.
Если локально конечно, покажите, что для любого подмножества множество замкнуто.
Пусть — множество, а — семейство вещественнозначных функций на , такое что из для всех следует . Докажите, что существует слабейшая топология на среди всех тех, относительно которых все элементы непрерывны. Покажите далее, что полученное топологическое пространство удовлетворяет аксиоме отделимости Хаусдорфа.
Пусть — компактное подмножество , а — последовательность открытых шаров, покрывающих . Докажите, что существует положительное число , такое что любой -шар с центром в точке содержится в одном из шаров .
Пусть и — метрические пространства, а — непрерывное сюръективное отображение, такое что для любой пары точек из .
-
Если полно, обязано ли быть полным? Приведите доказательство или контрпример.
-
Если полно, обязано ли быть полным? Приведите доказательство или контрпример.
Пусть — непустое полное метрическое пространство. Пусть отображает в , и запишем для , т.е. . Предположим, что — строгое сжатие, т.е. существует константа , такая что для всех точек выполнено . Покажите, что имеет единственную неподвижную точку в .
Пусть — непрерывная функция на единичном квадрате , удовлетворяющая для всех и . Покажите, что существует непрерывная функция на , такая что
Может ли существовать более одной такой функции ?
Приведите образующие и соотношения для фундаментальных групп тора и ориентируемой поверхности рода 2.
Вычислите фундаментальную группу восьмёрки и изобразите фрагмент её универсального накрытия.
Пусть — связное замкнутое подпространство компактного хаусдорфова пространства , и пусть — непрерывное отображение. Для каждого положительного целого положим .
Покажите, что связно.
Предположим, что — нуль-гомотопное отображение. Покажите, что существует положительное целое , такое что и такое что индуцированное отображение ( для ) также нуль-гомотопно.
Пусть — вещественное проективное -пространство, а — -мерный тор ( множителей). Докажите, что любое непрерывное отображение нуль-гомотопно.
Пусть — факторпространство, полученное стягиванием в точку.
Вычислите и .
Предположим, что . Существует ли непрерывное отображение , не гомотопное постоянному?
Предположим, что . Существует ли непрерывное отображение , не гомотопное постоянному?
Пусть — тор. Существует ли непрерывное отображение , не гомотопное постоянному?
Непрерывное отображение топологических пространств называется расслоением, если оно обладает свойством накрывающей гомотопии — т.е. для любой пары непрерывных отображений и , таких что , существует непрерывное отображение , такое что и . Пусть — расслоение, — базовая точка, (слой), и . Пусть обозначает отображение включения.
Если линейно связно, докажите, что сюръективно.
Докажите, что в общем случае трёхчленная последовательность
в которой гомоморфизмы суть и соответственно, точна.
Является ли каноническое отображение (отождествляющее антиподальные точки ) нуль-гомотопным? Почему да или почему нет?
Пусть — универсальное накрытие, где и линейно связны и локально линейно связны. Пусть — отображение, такое что и для некоторого . (Здесь , раз.) Покажите, что существует отображение , такое что и .
Пусть , и пусть — подмножество . Докажите, что не существует ретракции на .
Пусть — объединение осей и ,
и пусть .
Вычислите .
Докажите, что неабелева.
Пусть — регулярное накрытие, т.е. — нормальная подгруппа . Предположим, что — непрерывная функция из линейно связного пространства в с , и что существует поднятие , . Покажите, что существует второе поднятие, . ( не обязано отличаться от .)
Пусть — пространство отождествления, полученное из единичного 2-диска отождествлением точек его границы, если дуговое расстояние между ними на граничной окружности равно . Вычислите фундаментальную группу .
Наметьте доказательство основной теоремы алгебры (всякий многочлен положительной степени с комплексными коэффициентами имеет комплексный корень) с использованием методов алгебраической топологии.
Пусть обозначает подпространство , являющееся объединением единичной сферы , единичного диска в плоскости , и части оси , лежащей внутри — обозначим её .
Вычислите фундаментальную группу .
Вычислите целочисленные группы гомологий .
Пусть — линейно связное пространство, — непрерывная функция, а . Предположим, что индуцированный гомоморфизм
сюръективен. Покажите, что
также сюръективен.
Пусть обозначает пространство-восьмёрку. Пусть и — двулистные накрытия, где и , и связны. Докажите, что и гомотопически эквивалентны, но не обязательно гомеоморфны.
Вычислите фундаментальную группу пространства .
Пусть обозначает пространство-восьмёрку, , где и — окружности. Пусть — элементы , определённые , где обозначает вершину.
Пусть — гомоморфизм, удовлетворяющий и , и пусть обозначает накрытие, соответствующее ядру . (.) Если — линейно связная компонента , а — линейно связная компонента , сколько точек пересечения у и ? (Т.е. какова мощность множества ?)
Если — конечная группа, — сюръекция, а — соответствующее накрытие, докажите, что число точек пересечения линейно связной компоненты множества с линейно связной компонентой множества делит порядок .
Пусть — результат приклеивания 2-клетки к окружности отображением , заданным в терминах комплексных чисел формулой .
Вычислите, с доказательством, фундаментальную группу .
Вычислите, с доказательством, гомологии универсального накрытия .
Если — произвольное топологическое пространство, а обозначает единичную окружность на комплексной плоскости с её обычной топологией как топологической группы с умножением, задаваемым умножением комплексных чисел, то известно, что множество классов гомотопности отображений из в наследует естественную групповую структуру.
Явно определите эту групповую операцию и укажите единицу группы и способ образования обратных элементов. Доказывать утверждения не требуется.
Явно вычислите эту группу для , , и .
Если — линейно связное пространство, универсальное накрытие которого компактно, покажите, что конечна.
Докажите, что если локально линейно связно и односвязно, то любое отображение гомотопно постоянному. Что можно сказать, если предположить лишь, что линейно связно, локально линейно связно и фундаментальная группа конечна?
Предположим, что 6-элементная группа , изоморфная группе перестановок трёх элементов , действует на свободно. Вычислите и , где .
Пусть — двумерный тор, а — гладкое отображение. Покажите, что для любого класса когомологий де Рама верхней степени имеем .
Замкнутой поверхностью называется компактное связное метризуемое 2-многообразие без края.
Сформулируйте теорему классификации замкнутых поверхностей. Включите определение связной суммы.
Ниже показаны три поверхности с краем. Если к каждой компоненте их краёв приклеить 2-диски, получатся замкнутые поверхности. Определите эти 3 замкнутые поверхности среди модельных поверхностей, приведённых в вашей формулировке теоремы классификации.
$$$$-0.5em] Три поверхности с краем (PDF стр.168)
Дайте определение того, что означает — накрытие.
Пусть — хорошо знакомое подпространство-восьмёркав : — объединение двух окружностей с единственной общей точкой . Приведите рассуждение из теории накрытий, показывающее, что содержит элементы и , такие что . Дайте аккуратную формулировку любых используемых вами теорем теории накрытий. Не используйте результаты теории свободных групп.
Докажите лемму .
Рассмотрим следующую коммутативную диаграмму абелевых групп
Если все 3 столбца и первые две строки точны, то последняя строка также точна.
Докажите, что если — компактное многообразие нечётной размерности, то . Приведите примеры компактных 4-многообразий с .
Пусть — топологическое пространство. Надстройкой пространства называется пространство отождествления, полученное из стягиванием в точку и в другую точку. Например, сфера является надстройкой над , где северный и южный полюсы соответствуют двум точкам отождествления.
Вычислите гомологии через гомологии .
Рассмотрим цепной комплекс
Вычислите для всех .
Постройте CW-комплекс со следующими -группами гомологий:
Вычислите , , для всех .
Постройте CW-комплекс , приклеив две 2-клетки к : одну отображением , другую отображением . Каковы гомологии этого пространства?
Пусть
Вычислите .
Докажите, что любой гомеоморфизм обязан оставлять начало координат неподвижным.
Выпишите последовательность Майера--Вьеториса в приведённых гомологиях, связывающую пространства , и диск в вокруг точки . (-сфера.)
Используя (a), вычислите гомологии .
Пусть вещественная проективная плоскость вложена стандартным образом в вещественное проективное 5-пространство . Вычислите , где — пространство, полученное из стягиванием в точку.
Пусть
Докажите, что не гомеоморфно .
Пусть — непустое подмножество , а — объединение с конусом над ; т.е. получается из подмножества пространства стягиванием в точку.
Докажите, что приведённая группа гомологий изоморфна для каждого .
Для произвольного топологического пространства обозначим через его (неприведённую) надстройку. ( — факторпространство , где обозначает отношение эквивалентности, порождённое условием , если или .) Если — отображение, пусть — отображение надстроек, индуцированное отображением пространства .
Докажите, что если — гомотопическая эквивалентность, то также является гомотопической эквивалентностью.
Используя только аксиомы Эйленберга--Стинрода (гомотопии, точности, вырезания, размерности) для теории гомологий, докажите, что естественно изоморфна . (Здесь обозначает приведённые сингулярные гомологии.)
Рассмотрим следующую коммутативную диаграмму абелевых групп, в которой строка и столбец являются точными последовательностями.
Предположим, что и сюръективны. Докажите, что инъективен.
Предположим, что топологическое пространство представлено в виде объединения двух открытых линейно связных подпространств, таких что линейно связно, , и включение индуцирует сюръективный гомоморфизм . (Здесь обозначает сингулярные гомологии.)
Докажите, что .
Приведите пример, показывающий, что аналогичное утверждение становится неверным в общем случае, если всюду заменить на .
Пусть
обозначает стандартный единичный шар в евклидовом пространстве , а
обозначает стандартную -сферу. Предположим, что — непрерывное отображение, такое что ограничение на является гомеоморфизмом из на . Докажите, что сюръективно.
Пусть — связный CW-комплекс с двумя 0-клетками, тремя 1-клетками, тремя 2-клетками и без клеток более высокой размерности. Предположим, что . Вычислите эйлерову характеристику и определите (с доказательством) все возможности для .
Пусть — CW-комплекс ровно с одной -клеткой. Докажите, что если — нетривиальная конечная группа, то .
Пусть
и
Пусть . Вычислите относительные группы гомологий для всех .
Пусть — линейно связное и локально линейно связное пространство, и пусть . Пусть . Покажите, что если конечна, то любое непрерывное отображение индуцирует тривиальное отображение для всех , отличных от 0 и 2.
Назовём коммутативную диаграмму абелевых групп
точной, если последовательность групп и гомоморфизмов
Интересен тот факт, что если
и
точны, то точна и
Докажите точность
Пусть — непустое компактное хаусдорфово пространство, а — непрерывное отображение. Докажите, что существует непустое замкнутое подмножество пространства , такое что . Приведите пример, показывающий, что компактность существенна для этого утверждения.
Напомним, что
( — -мерное вещественное проективное пространство.) Докажите, что не существует функции , индуцирующей изоморфизм на третьих гомологиях.
Пусть
Вычислите .
Используя (a), покажите, что не гомеоморфно .
Докажите или опровергните: гомотопически эквивалентно .
Пусть — стандартная пара шар-сфера в , . Предположим, что — непрерывное отображение, и — гомеоморфизм. Покажите, что если , то .
Опишите CW-структуру на и используйте её для вычисления гомологий .
Вычислите гомологии с 2 удалёнными точками.
Пусть — подпространство , гомеоморфное 2-сфере . Укажите, чему равны группы гомологий (доказательства не требуется). Что можно сказать о возможностях для относительных групп гомологий ?
Вычислите группы гомологий пространства , полученного как объединение 2-сферы и оси в .
Определим неприведённую надстройку пространства как факторпространство , полученное стягиванием в одну точку и в другую точку. (Это объединение двух конусовнад .) Покажите, что существует естественный изоморфизм для всех .
Обозначим через объединение тора с диском , где приклеен к отождествлением с меридиональной кривой на торе, где .
Вычислите для всех .
Является ли ретрактом ? Почему да или почему нет?
Даны гомоморфизмы и ; расслоенным произведением (pull back) вдоль называется группа
Пусть — гомоморфизм, полученный ограничением проекции на первый множитель на . Докажите, что ядро изоморфно ядру .
Пусть , , и пусть — сюръекция, определённая формулой . Пусть , и пусть — сюръекция, определённая формулой . Определите группу с пояснением.
Напомним, что если — гомеоморфная копия окружности в , то бесконечно циклична при , равном 0 или 1, и равна нулю в остальных случаях. Используя этот факт, вычислите
Гомологии , когда — гомеоморфная копия окружности в .
Гомологии , где — гомеоморфная копия пространства-восьмёрки(т.е. одноточечного объединения двух окружностей).
Известно, что если гомеоморфно , то . Используя этот факт, вычислите гомологии , где — подпространство , гомеоморфное несвязному объединению двух копий .
Изобразите универсальное накрытие одноточечного объединения и связное двулистное накрытие (доказательств не требуется).
Вычислите гомологии связного двулистного накрытия .
Вычислите гомологии .
Предположим, что следующая диаграмма коммутативна, строки точны, и — изоморфизм для всех .
Постройте точную последовательность
Выпишите доказательство точности в .
Предположим, что — пространство, а , — два отображения в стягиваемые пространства и . Пусть — цилиндр отображений и , т.е. — пространство отождествления, полученное из несвязного объединения , и отождествлением каждого с , а каждого с . Докажите, что .
Пусть — бесконечная последовательность топологических пространств, а — отображения. Телескопом отображений этой последовательности называется пространство отождествления , где , если , и , описывает отождествление. Рассмотрим случай, когда все (), а — отображение степени .
Вычислите при .
Вычислите при .
Пусть — коммутативное кольцо с 1. Определим -гомологическую сферу как хаусдорфово топологическое пространство , такое что для некоторой сферы .
Пусть — компактное связное -многообразие, и пусть . Предположим, что для всех . Докажите, что — -гомологическая сфера.
Приведите пример и -гомологической сферы, являющейся неориентируемым связным компактным многообразием. Обоснуйте ответ, ссылаясь на соответствующие теоремы. Можно приводить стандартные вычисления без доказательства.