Часть 2

Топология

[92/100%]
Показать
LaTeX
§
Задача 2.1.1

Пусть AA и BB — связные подпространства топологического пространства XX, такие что A∩B‾≠∅A \cap \overline{B} \neq \emptyset. Докажите, что A∪BA \cup B связно. Если AA и BB линейно связны, обязано ли A∪BA \cup B быть линейно связным?

?
Задача 2.1.2

Пусть AA и BB — компактные подпространства пространств XX и YY соответственно, и пусть NN — открытая окрестность множества

A×B⊂X×Y. A \times B \subset X \times Y.

Докажите, что существуют открытые множества U⊂XU \subset X и V⊂YV \subset Y, такие что

A×B⊂U×V⊂N. A \times B \subset U \times V \subset N.
?
Задача 2.1.3

Пусть XX — локально компактное хаусдорфово пространство. Пусть AA и BB — непересекающиеся подмножества XX, причём AA компактно, а BB замкнуто. Существует ли непрерывная функция f:X→[0,1]f : X \to [0,1], такая что f∣A=0f|_{A} = 0 и f∣B=1f|_{B} = 1?

?
Задача 2.1.4

Для этой задачи требуются только правильные ответы на поставленные вопросы, без доказательств.

Если XX и YY — топологические пространства, то соединением XX и YY называется факторпространство

X∗Y=(X×Y×[0,1])/∼, X * Y = (X \times Y \times [0,1])/{\sim },

где

(x,y,t) эквивалентно (x′,y′,t′) тогда и только тогда, когда x=x′ и t=t′=0, или y=y′ и t=t′=1. (x,y,t) \text{ эквивалентно } (x',y',t') \text{ тогда и только тогда, когда } x = x' \text{ и } t = t' = 0, \text{ или } y = y' \text{ и } t = t' = 1.
?
(a)

S0∗S0S^{0} * S^{0} и S1∗S0S^{1} * S^{0} гомеоморфны хорошо известным пространствам. Каким?

(b)

Опишите X∗S0X * S^{0} для произвольного пространства XX.

Задача 2.1.5
?
(a)

Дайте определение факторотображения.

(b)

Покажите, что если XX компактно, YY хаусдорфово и f:X→Yf : X \to Y непрерывно и сюръективно, то ff является замкнутым отображением.

(c)

Покажите, что если ff удовлетворяет условию из (b), то ff является факторотображением.

Задача 2.1.6

Пусть f:X→Yf : X \to Y — непрерывная функция из пространства XX в хаусдорфово пространство YY. Пусть CC — замкнутое подпространство YY, а UU — открытая окрестность f−1(C)f^{-1}(C) в XX.

?
(a)

Докажите, что если XX компактно, то существует открытая окрестность VV множества CC в YY, такая что f−1(V)⊂Uf^{-1}(V) \subset U.

(b)

Приведите контрпример, показывающий, что если XX некомпактно, то такой окрестности VV может не существовать.

Задача 2.1.7

Пусть XX — нормальное топологическое пространство и A⊂XA \subset X — замкнутое подпространство.

?
(a)

Покажите, что факторпространство YY, полученное стягиванием AA в точку, нормально.

(b)

Сохранится ли этот результат, если нормальность заменить регулярностью?

Задача 2.1.8

Пусть p:E→Bp : E \to B — накрытие, где EE локально линейно связно и односвязно. Пусть XX — связное пространство, f:X→Bf : X \to B — непрерывное отображение, а f1,f2:X→Ef_{1}, f_{2} : X \to E — два поднятия ff. Докажите, что существует накрывающее преобразование g:E→Eg : E \to E, такое что f2=gf1f_{2} = g f_{1}.

?
Задача 2.1.9

Пусть p:X~→Xp : \tilde{X} \to X — nn-листное накрытие, n<∞n < \infty. Предположим, что XX компактно. Докажите, что X~\tilde{X} компактно.

?
Задача 2.1.10

Пусть T\mathcal{T} и U\mathcal{U} — две различные топологии на XX, такие что XX компактно и хаусдорфово относительно обеих. Докажите, что T⊄U\mathcal{T} \not\subset \mathcal{U}.

(Напомним, что T⊂U\mathcal{T} \subset \mathcal{U} означает, что каждое множество из топологии T\mathcal{T} содержится в U\mathcal{U}.)

?
Задача 2.1.11

Пусть XX — топологическое пространство и A⊂XA \subset X. Покажите, что если CC — связное подмножество XX, пересекающееся как с AA, так и с X−AX - A, то CC пересекается с BdA\mathrm{Bd}A. (Напомним, что BdA=A‾∩(X−A)‾\mathrm{Bd}A = \overline{A} \cap \overline{(X-A)}.)

?
Задача 2.1.12

Пусть (X,d)(X,d) — метрическое пространство. Для любого подпространства A⊂XA \subset X и вещественного числа ε>0\varepsilon > 0 положим

Oε(A)={x∈A:d(x,a)<ε для некоторого a∈A}, O_{\varepsilon }(A) = \left\{ x \in A : d(x,a) < \varepsilon \text{ для некоторого } a \in A\right\} , Cε(A)={x∈A:d(x,a)≤ε для некоторого a∈A}. C_{\varepsilon }(A) = \left\{ x \in A : d(x,a) \leq \varepsilon \text{ для некоторого } a \in A\right\} .
?
(a)

Докажите, что Oε(A)O_{\varepsilon }(A) — открытое подпространство XX.

(b)

Если AA компактно, покажите, что Cε(A)C_{\varepsilon }(A) замкнуто в XX. Обязано ли Cε(A)C_{\varepsilon }(A) быть замкнутым для произвольного подпространства AA пространства XX?

Задача 2.1.13

Предположим, что XX — плотное подпространство топологического пространства YY. Докажите или опровергните следующие утверждения:

?
(a)

Если XX хаусдорфово, то YY хаусдорфово.

(b)

Если XX связно, то YY связно.

Задача 2.1.14

Пусть XX и YY — топологические пространства, X=U∪VX = U \cup V, а f:X→Yf : X \to Y — функция, такая что f∣Uf|_{U} и f∣Vf|_{V} непрерывны.

?
(a)

Если UU и VV открыты в XX, покажите, что ff непрерывна.

(b)

Приведите пример, когда UU и VV не открыты в XX, а ff разрывна.

Задача 2.1.15

Пусть q:X→Yq : X \to Y — проекция-факторотображение из топологического пространства XX на связное топологическое пространство YY. Предположим, что q−1(y)q^{-1}(y) связно для каждого y∈Yy \in Y.

?
(a)

Покажите, что XX связно.

(b)

Обязано ли XX быть связным, если отображение qq не предполагается факторотображением? Обоснуйте свой ответ.

Задача 2.1.16

Пусть XX и YY — топологические пространства, причём YY компактно. Пусть p:X×Y→Xp : X \times Y \to X — обычная проекция на первый множитель. Покажите, что pp — замкнутое отображение.

?
Задача 2.1.17

Пусть YY — связное подмножество топологического пространства, а ZZ — множество, такое что YY является подмножеством ZZ, а ZZ является подмножеством замыкания YY. Докажите, что ZZ связно.

?
Задача 2.1.18

Пусть AA — связное подпространство связного множества XX. Если CC — компонента X∖AX \setminus A, покажите, что X∖CX \setminus C связно.

?
Задача 2.1.19

Метрическое пространство XX обладает свойством SS, если для любого ε>0\varepsilon > 0 существует покрытие XX связными множествами, каждое из которых имеет диаметр <ε< \varepsilon.

?
(a)

Докажите, что метрическое пространство XX обладает свойством SS, если XX имеет плотное подмножество со свойством SS.

(b)

Предположим, что XX — подмножество метрического пространства. Предположим, что замыкание XX обладает свойством SS. Обязано ли XX обладать свойством SS?

Задача 2.1.20

Пусть XX — кривая топологов "синус", определённая формулой

X={(x,sin⁡πx)∣0<x≤1}∪{(0,y)∣−1≤y≤2} X = \left\{ \left(x, \sin \tfrac {\pi }{x}\right) \mid 0 < x \leq 1\right\} \cup \left\{ (0,y) \mid -1 \leq y \leq 2\right\} ∪ {(x,2)∣0≤x≤1}∪{(1,y),0≤y≤2}⊂R2. \cup \, \left\{ (x,2) \mid 0 \leq x \leq 1\right\} \cup \left\{ (1,y), 0 \leq y \leq 2\right\} \subset \mathbb {R}^{2}.
?
(a)

Изобразите XX.

(b)

Пусть f:X→Xf : X \to X непрерывно. Покажите, что либо f(X)=Xf(X) = X, либо найдётся δ>0\delta > 0, такое что

f(X)∩{(x,y)  |  0<x<δ,  −32≤y≤32}=∅. f(X) \cap \left\{ (x,y) \; \middle |\; 0 < x < \delta , \; -\tfrac {3}{2} \leq y \leq \tfrac {3}{2}\right\} = \emptyset .
Задача 2.1.21

Пусть T=S1×S1T = S^{1} \times S^{1} обозначает тор.

?
(a)

Покажите, что TT можно покрыть 3 стягиваемыми открытыми подмножествами.

(b)

Покажите, что TT нельзя покрыть 2 стягиваемыми открытыми подмножествами.

Задача 2.1.22

Пусть U={Uα}α∈J\mathcal{U} = \left\{ U_{\alpha }\right\}_{\alpha \in J} — открытое покрытие пространства XX.

?
(a)

Дайте определение того, что U\mathcal{U} локально конечно.

(b)

Если U\mathcal{U} локально конечно, покажите, что для любого подмножества K⊂JK \subset J множество ⋃β∈KUβ‾\bigcup_{\beta \in K} \overline{U_{\beta }} замкнуто.

Задача 2.1.23

Пусть SS — множество, а FF — семейство вещественнозначных функций на SS, такое что из f(s1)=f(s2)f(s_{1}) = f(s_{2}) для всех f∈Ff \in F следует s1=s2s_{1} = s_{2}. Докажите, что существует слабейшая топология на SS среди всех тех, относительно которых все элементы FF непрерывны. Покажите далее, что полученное топологическое пространство удовлетворяет аксиоме отделимости Хаусдорфа.

?
Задача 2.1.24

Пусть KK — компактное подмножество Rn\mathbb {R}^{n}, а {Bj}\left\{ B_{j}\right\} — последовательность открытых шаров, покрывающих KK. Докажите, что существует положительное число ε\varepsilon, такое что любой ε\varepsilon-шар с центром в точке KK содержится в одном из шаров BjB_{j}.

?
Задача 2.1.25

Пусть (X1,d1)(X_{1}, d_{1}) и (X2,d2)(X_{2}, d_{2}) — метрические пространства, а f:X1→X2f : X_{1} \to X_{2} — непрерывное сюръективное отображение, такое что d1(p,q)≤d2(f(p),f(q))d_{1}(p,q) \leq d_{2}(f(p), f(q)) для любой пары точек p,qp, q из X1X_{1}.

  1. Если X1X_{1} полно, обязано ли X2X_{2} быть полным? Приведите доказательство или контрпример.

  2. Если X2X_{2} полно, обязано ли X1X_{1} быть полным? Приведите доказательство или контрпример.

?
Задача 2.1.26

Пусть (M,d)(M,d) — непустое полное метрическое пространство. Пусть SS отображает MM в MM, и запишем S2S^{2} для S∘SS \circ S, т.е. S2(x)=S(S(x))S^{2}(x) = S(S(x)). Предположим, что S2S^{2} — строгое сжатие, т.е. существует константа λ<1\lambda < 1, такая что для всех точек x,y∈Mx, y \in M выполнено d(S2(x),S2(y))≤λd(x,y)d(S^{2}(x), S^{2}(y)) \leq \lambda d(x,y). Покажите, что SS имеет единственную неподвижную точку в MM.

?
Задача 2.1.27

Пусть KK — непрерывная функция на единичном квадрате 0≤x,y≤10 \leq x, y \leq 1, удовлетворяющая ∣K(x,y)∣≤1\left|K(x,y)\right| \leq 1 для всех xx и yy. Покажите, что существует непрерывная функция f(x)f(x) на [0,1][0,1], такая что

f(x)+∫01K(x,y)f(y) dy=ex2. f(x) + \int _{0}^{1} K(x,y) f(y) \, dy = e^{x^{2}}.

Может ли существовать более одной такой функции ff?

?
§
Задача 2.2.1
?
(a)

Приведите образующие и соотношения для фундаментальных групп тора и ориентируемой поверхности рода 2.

(b)

Вычислите фундаментальную группу восьмёрки и изобразите фрагмент её универсального накрытия.

Задача 2.2.2

Пусть AA — связное замкнутое подпространство компактного хаусдорфова пространства XX, и пусть f:A→Af : A \to A — непрерывное отображение. Для каждого положительного целого nn положим fn(A)=f∘f∘⋯∘f⏟n раз(A)f^{n}(A) = \underbrace{f \circ f \circ \cdots \circ f}_{n \text{ раз}}(A).

?
(a)

Покажите, что B=⋂n=1∞fn(A)B = \bigcap_{n=1}^{\infty } f^{n}(A) связно.

(b)

Предположим, что γ:S1→X−B\gamma : S^{1} \to X - B — нуль-гомотопное отображение. Покажите, что существует положительное целое nn, такое что γ(S1)⊂X−fn(A)\gamma (S^{1}) \subset X - f^{n}(A) и такое что индуцированное отображение γ′:S1→X−fn(A)\gamma ' : S^{1} \to X - f^{n}(A) (γ′(s)=γ(s)\gamma '(s) = \gamma (s) для s∈S1s \in S^{1}) также нуль-гомотопно.

Задача 2.2.3

Пусть RPn\mathbb {R}^{P^{n}} — вещественное проективное nn-пространство, а TmT^{m} — mm-мерный тор S1×⋯×S1S^{1} \times \cdots \times S^{1} (mm множителей). Докажите, что любое непрерывное отображение RPn→Tm\mathbb {R}^{P^{n}} \to T^{m} нуль-гомотопно.

?
Задача 2.2.4

Пусть XX — факторпространство, полученное стягиванием {pt.}×S1⊂S1×S1\left\{ \mathrm{pt.}\right\} \times S^{1} \subset S^{1} \times S^{1} в точку.

Вычислите π1(X)\pi_{1}(X) и H∗(X)H_{*}(X).

?
Задача 2.2.5
?
(a)

Предположим, что n≥2n \geq 2. Существует ли непрерывное отображение f:Sn→S1f : S^{n} \to S^{1}, не гомотопное постоянному?

(b)

Предположим, что n≥2n \geq 2. Существует ли непрерывное отображение f:RPn→S1f : \mathbb {R}^{P^{n}} \to S^{1}, не гомотопное постоянному?

(c)

Пусть T=S1×S1T = S^{1} \times S^{1} — тор. Существует ли непрерывное отображение f:T→S1f : T \to S^{1}, не гомотопное постоянному?

Задача 2.2.6

Непрерывное отображение топологических пространств p:E→Bp : E \to B называется расслоением, если оно обладает свойством накрывающей гомотопии — т.е. для любой пары непрерывных отображений G:X×I→BG : X \times I \to B и h:X×{0}→Eh : X \times \left\{ 0\right\} \to E, таких что ph=G∣X×{0}ph = G|_{X \times \left\{ 0\right\} }, существует непрерывное отображение H:X×I→EH : X \times I \to E, такое что H∣X×{0}=hH|_{X \times \left\{ 0\right\} } = h и pH=GpH = G. Пусть p:E→Bp : E \to B — расслоение, b0∈Bb_{0} \in B — базовая точка, F=p−1(b0)F = p^{-1}(b_{0}) (слой), и e0∈Fe_{0} \in F. Пусть i:F→Ei : F \to E обозначает отображение включения.

?
(a)

Если FF линейно связно, докажите, что p#:π1(E,e0)→π1(B,b0)p_{\# } : \pi_{1}(E, e_{0}) \to \pi_{1}(B, b_{0}) сюръективно.

(b)

Докажите, что в общем случае трёхчленная последовательность

π1(F,e0)→π1(E,e0)→π1(B,b0) \pi _{1}(F, e_{0}) \to \pi _{1}(E, e_{0}) \to \pi _{1}(B, b_{0})

в которой гомоморфизмы суть i#i_{\# } и p#p_{\# } соответственно, точна.

Задача 2.2.7

Является ли каноническое отображение q:S2→RP2q : S^{2} \to \mathbb {R}^{P^{2}} (отождествляющее антиподальные точки S2S^{2}) нуль-гомотопным? Почему да или почему нет?

?
Задача 2.2.8

Пусть p:E→Bp : E \to B — универсальное накрытие, где EE и BB линейно связны и локально линейно связны. Пусть T:B→BT : B \to B — отображение, такое что Tn=IdT^{n} = \mathrm{Id} и T(b)=bT(b) = b для некоторого b∈Bb \in B. (Здесь Tn=T∘T∘⋯∘TT^{n} = T \circ T \circ \cdots \circ T, nn раз.) Покажите, что существует отображение T~:E→E\tilde{T} : E \to E, такое что p∘T~=T∘pp \circ \tilde{T} = T \circ p и T~n=Id\tilde{T}^{n} = \mathrm{Id}.

?
Задача 2.2.9

Пусть T2=S1×S1T^{2} = S^{1} \times S^{1}, и пусть X⊂T2X \subset T^{2} — подмножество S1×{1}∪{1}×S1S^{1} \times \left\{ 1\right\} \cup \left\{ 1\right\} \times S^{1}. Докажите, что не существует ретракции T2T^{2} на XX.

?
Задача 2.2.10

Пусть A⊂R3A \subset \mathbb {R}^{3} — объединение осей xx и yy,

A={(x,y,z)∣(y2+z2)(x2+z2)=0}, A = \left\{ (x,y,z) \mid (y^{2}+z^{2})(x^{2}+z^{2}) = 0\right\} ,

и пусть p=(0,0,1)p = (0,0,1).

?
(a)

Вычислите H1(R3−A)H_{1}(\mathbb {R}^{3} - A).

(b)

Докажите, что π1(R3−A,p)\pi_{1}(\mathbb {R}^{3} - A, p) неабелева.

Задача 2.2.11

Пусть p:(Y~,y~)→(Y,y)p : (\tilde{Y}, \tilde{y}) \to (Y,y) — регулярное накрытие, т.е. p∗(π1(Y~,y~))p_{*}(\pi_{1}(\tilde{Y}, \tilde{y})) — нормальная подгруппа π1(Y,y)\pi_{1}(Y,y). Предположим, что f:X→Yf : X \to Y — непрерывная функция из линейно связного пространства XX в YY с f(x0)=f(x1)=yf(x_{0}) = f(x_{1}) = y, и что существует поднятие ff, f~0:(X,x0)→(Y~,y~)\tilde{f}_{0} : (X,x_{0}) \to (\tilde{Y}, \tilde{y}). Покажите, что существует второе поднятие, f~1:(X,x1)→(Y~,y~)\tilde{f}_{1} : (X,x_{1}) \to (\tilde{Y}, \tilde{y}). (f~1\tilde{f}_{1} не обязано отличаться от f~0\tilde{f}_{0}.)

?
Задача 2.2.12

Пусть XX — пространство отождествления, полученное из единичного 2-диска отождествлением точек его границы, если дуговое расстояние между ними на граничной окружности равно 2π3\tfrac {2\pi }{3}. Вычислите фундаментальную группу XX.

?
Задача 2.2.13

Наметьте доказательство основной теоремы алгебры (всякий многочлен положительной степени с комплексными коэффициентами имеет комплексный корень) с использованием методов алгебраической топологии.

?
Задача 2.2.14

Пусть XX обозначает подпространство R3\mathbb {R}^{3}, являющееся объединением единичной сферы S2S^{2}, единичного диска D2D^{2} в плоскости x−yx-y, и части оси zz, лежащей внутри S2S^{2} — обозначим её AA.

?
(a)

Вычислите фундаментальную группу XX.

(b)

Вычислите целочисленные группы гомологий XX.

Задача 2.2.15

Пусть XX — линейно связное пространство, f:X→Yf : X \to Y — непрерывная функция, а x0,x1∈Xx_{0}, x_{1} \in X. Предположим, что индуцированный гомоморфизм

f∗:π1(X,x0)→π1(Y,f(x0)) f_{*} : \pi _{1}(X, x_{0}) \to \pi _{1}(Y, f(x_{0}))

сюръективен. Покажите, что

f∗:π1(X,x1)→π1(Y,f(x1)) f_{*} : \pi _{1}(X, x_{1}) \to \pi _{1}(Y, f(x_{1}))

также сюръективен.

?
Задача 2.2.16

Пусть BB обозначает пространство-восьмёрку. Пусть p:X→Bp : X \to B и q:Y→Bq : Y \to B — двулистные накрытия, где и XX, и YY связны. Докажите, что XX и YY гомотопически эквивалентны, но не обязательно гомеоморфны.

?
Задача 2.2.17

Вычислите фундаментальную группу пространства RP2×S2\mathbb {R}^{P^{2}} \times S^{2}.

?
Задача 2.2.18

Пусть ZZ обозначает пространство-восьмёрку, Z=X∨YZ = X \vee Y, где XX и YY — окружности. Пусть x,y∈π1(Z,∗)x, y \in \pi_{1}(Z, *) — элементы ZZ, определённые X,YX, Y, где ∗* обозначает вершину.

?
(a)

Пусть h:π1(Z,∗)→Z/6Zh : \pi_{1}(Z, *) \to \mathbb {Z}/6\mathbb {Z} — гомоморфизм, удовлетворяющий h(x)=2h(x) = 2 и h(y)=3h(y) = 3, и пусть p:Z~→Zp : \tilde{Z} \to Z обозначает накрытие, соответствующее ядру hh. (p∗(π1(Z~,∗))=ker⁡(h)p_{*}(\pi_{1}(\tilde{Z}, *)) = \ker (h).) Если AA — линейно связная компонента p−1(X)p^{-1}(X), а BB — линейно связная компонента p−1(Y)p^{-1}(Y), сколько точек пересечения у AA и BB? (Т.е. какова мощность множества A∩BA \cap B?)

(b)

Если GG — конечная группа, h:π1(Z,∗)→Gh : \pi_{1}(Z, *) \to G — сюръекция, а p:Z~→Zp : \tilde{Z} \to Z — соответствующее накрытие, докажите, что число точек пересечения линейно связной компоненты AA множества p−1(X)p^{-1}(X) с линейно связной компонентой BB множества p−1(Y)p^{-1}(Y) делит порядок GG.

Задача 2.2.19

Пусть XX — результат приклеивания 2-клетки D2D^{2} к окружности S1S^{1} отображением f:S1→S1f : S^{1} \to S^{1}, заданным в терминах комплексных чисел формулой z→z6z \to z^{6}.

?
(a)

Вычислите, с доказательством, фундаментальную группу XX.

(b)

Вычислите, с доказательством, гомологии универсального накрытия XX.

Задача 2.2.20

Если XX — произвольное топологическое пространство, а S1S^{1} обозначает единичную окружность на комплексной плоскости с её обычной топологией как топологической группы с умножением, задаваемым умножением комплексных чисел, то известно, что множество [X,S1][X, S^{1}] классов гомотопности отображений из XX в S1S^{1} наследует естественную групповую структуру.

?
(a)

Явно определите эту групповую операцию и укажите единицу группы и способ образования обратных элементов. Доказывать утверждения не требуется.

(b)

Явно вычислите эту группу для X=pointX = \mathrm{point}, S1S^{1}, S2S^{2} и T2=S1×S1T^{2} = S^{1} \times S^{1}.

Задача 2.2.21

Если XX — линейно связное пространство, универсальное накрытие которого компактно, покажите, что π1(X,x0)\pi_{1}(X, x_{0}) конечна.

?
Задача 2.2.22

Докажите, что если XX локально линейно связно и односвязно, то любое отображение X→S1X \to S^{1} гомотопно постоянному. Что можно сказать, если предположить лишь, что XX линейно связно, локально линейно связно и фундаментальная группа XX конечна?

?
Задача 2.2.23

Предположим, что 6-элементная группа Γ\Gamma, изоморфная группе перестановок трёх элементов S3S_{3}, действует на X=S3X = S^{3} свободно. Вычислите π1(Y)\pi_{1}(Y) и H1(Y,Z)H_{1}(Y, \mathbb {Z}), где Y=X/ΓY = X/\Gamma.

?
Задача 2.2.24

Пусть T2T^{2} — двумерный тор, а φ:S2→T2\varphi : S^{2} \to T^{2} — гладкое отображение. Покажите, что для любого класса когомологий де Рама верхней степени [v]∈H2(T2)[v] \in H^{2}(T^{2}) имеем φ∗[v]=0\varphi^{*}[v] = 0.

?
Задача 2.2.25

Замкнутой поверхностью называется компактное связное метризуемое 2-многообразие без края.

?
(a)

Сформулируйте теорему классификации замкнутых поверхностей. Включите определение связной суммы.

(b)

Ниже показаны три поверхности с краем. Если к каждой компоненте их краёв приклеить 2-диски, получатся замкнутые поверхности. Определите эти 3 замкнутые поверхности среди модельных поверхностей, приведённых в вашей формулировке теоремы классификации.

$$$$-0.5em] Три поверхности с краем M1,M2,M3M_1, M_2, M_3 (PDF стр.168)

Задача 2.2.26
?
(a)

Дайте определение того, что означает p:E→Bp : E \to B — накрытие.

(b)

Пусть XX — хорошо знакомое подпространство-восьмёркав R2\mathbb {R}^{2}: XX — объединение двух окружностей с единственной общей точкой x0x_{0}. Приведите рассуждение из теории накрытий, показывающее, что π1(X,x0)\pi_{1}(X, x_{0}) содержит элементы aa и bb, такие что (ab)2≠a2b2(ab)^{2} \neq a^{2}b^{2}. Дайте аккуратную формулировку любых используемых вами теорем теории накрытий. Не используйте результаты теории свободных групп.

§
Задача 2.3.1

Докажите лемму 3×33 \times 3.

Рассмотрим следующую коммутативную диаграмму абелевых групп

Если все 3 столбца и первые две строки точны, то последняя строка также точна.

?
Задача 2.3.2

Докажите, что если MM — компактное многообразие нечётной размерности, то χ(M)=0\chi (M) = 0. Приведите примеры компактных 4-многообразий с χ=0,1,2,3,4\chi = 0, 1, 2, 3, 4.

?
Задача 2.3.3

Пусть XX — топологическое пространство. Надстройкой ΣX\Sigma X пространства XX называется пространство отождествления, полученное из X×[−1,1]X \times [-1,1] стягиванием X×{−1}X \times \left\{ -1\right\} в точку и X×{1}X \times \left\{ 1\right\} в другую точку. Например, сфера SnS^{n} является надстройкой над Sn−1S^{n-1}, где северный и южный полюсы соответствуют двум точкам отождествления.

Вычислите гомологии ΣX\Sigma X через гомологии XX.

?
Задача 2.3.4

Рассмотрим цепной комплекс

C={Cn∣n≥0},Cn=Z3, C = \left\{ C_{n} \mid n \geq 0\right\} , \qquad C_{n} = \mathbb {Z}^{3}, ∂n:Cn→Cn−1 определён формулой \partial _{n} : C_{n} \to C_{n-1} \text{ определён формулой} (r,s,t)→(s−t,0,0)n чётно, (r,s,t) \to (s-t, 0, 0) \quad n \text{ чётно}, (r,s,t)→(0,s+t,s+t)n нечётно. (r,s,t) \to (0, s+t, s+t) \quad n \text{ нечётно}.

Вычислите Hn(C)H_{n}(C) для всех nn.

?
Задача 2.3.5

Постройте CW-комплекс со следующими Z\mathbb {Z}-группами гомологий:

H0(X)=Z, H_{0}(X) = \mathbb {Z}, H1(X)=Z⊕Z/2Z, H_{1}(X) = \mathbb {Z} \oplus \mathbb {Z}/2\mathbb {Z}, H2(X)=Z/3Z, H_{2}(X) = \mathbb {Z}/3\mathbb {Z}, H3(X)=Z, H_{3}(X) = \mathbb {Z}, Hn(X)=0,если n≥4. H_{n}(X) = 0, \quad \text{если } n \geq 4.
?
Задача 2.3.6

Вычислите Hp(Sn∨Sn∨⋯∨Sn)H_{p}(S^{n} \vee S^{n} \vee \cdots \vee S^{n}), n≥0n \geq 0, для всех pp.

?
Задача 2.3.7

Постройте CW-комплекс XX, приклеив две 2-клетки к S1S^{1}: одну отображением z→z4z \to z^{4}, другую отображением z→z6z \to z^{6}. Каковы гомологии этого пространства?

?
Задача 2.3.8

Пусть

X={(x,y,z)∈R3∣xyz=0}. X = \left\{ (x,y,z) \in \mathbb {R}^{3} \mid xyz = 0\right\} .
?
(a)

Вычислите H∗(X,X−{0})H_{*}(X, X - \left\{ 0\right\} ).

(b)

Докажите, что любой гомеоморфизм h:X→Xh : X \to X обязан оставлять начало координат неподвижным.

Задача 2.3.9
?
(a)

Выпишите последовательность Майера--Вьеториса в приведённых гомологиях, связывающую пространства S1×R1S^{1} \times \mathbb {R}^{1}, S1×R1−{p}S^{1} \times \mathbb {R}^{1} - \left\{ p\right\} и диск DD в S1×R1S^{1} \times \mathbb {R}^{1} вокруг точки pp. (S1=1S^{1} = 1-сфера.)

(b)

Используя (a), вычислите гомологии S1×R1−{p}S^{1} \times \mathbb {R}^{1} - \left\{ p\right\}.

Задача 2.3.10

Пусть вещественная проективная плоскость RP2\mathbb {R}^{P^{2}} вложена стандартным образом в вещественное проективное 5-пространство RP5\mathbb {R}^{P^{5}}. Вычислите Hq(RP5/RP2)H_{q}(\mathbb {R}^{P^{5}}/\mathbb {R}^{P^{2}}), где RP5/RP2\mathbb {R}^{P^{5}}/\mathbb {R}^{P^{2}} — пространство, полученное из RP5\mathbb {R}^{P^{5}} стягиванием RP2\mathbb {R}^{P^{2}} в точку.

?
Задача 2.3.11

Пусть

Y={(x1,x2)∈R2∣x1x2=0 и x2≥0}. Y = \left\{ (x_{1}, x_{2}) \in \mathbb {R}^{2} \mid x_{1}x_{2} = 0 \text{ и } x_{2} \geq 0\right\} .

Докажите, что Y×RY \times \mathbb {R} не гомеоморфно R2\mathbb {R}^{2}.

?
Задача 2.3.12

Пусть AA — непустое подмножество XX, а X∪CAX \cup CA — объединение XX с конусом над AA; т.е. X∪CAX \cup CA получается из подмножества X×{0}∪A×[0,1]X \times \left\{ 0\right\} \cup A \times [0,1] пространства X×[0,1]X \times [0,1] стягиванием A×{1}A \times \left\{ 1\right\} в точку.

Докажите, что приведённая группа гомологий H~n(X∪CA)\tilde{H}_{n}(X \cup CA) изоморфна Hn(X,A)H_{n}(X, A) для каждого nn.

?
Задача 2.3.13

Для произвольного топологического пространства XX обозначим через ΣX\Sigma X его (неприведённую) надстройку. (ΣX\Sigma X — факторпространство (X×[0,1])/∼(X \times [0,1])/{\sim }, где ∼\sim обозначает отношение эквивалентности, порождённое условием (x,t)∼(y,s)(x,t) \sim (y,s), если s=t=0s = t = 0 или s=t=1s = t = 1.) Если f:X→Yf : X \to Y — отображение, пусть Σf:ΣX→ΣY\Sigma f : \Sigma X \to \Sigma Y — отображение надстроек, индуцированное отображением (x,t)→(f(x),t)(x,t) \to (f(x), t) пространства X×[0,1]X \times [0,1].

?
(a)

Докажите, что если f:X→Yf : X \to Y — гомотопическая эквивалентность, то Σf\Sigma f также является гомотопической эквивалентностью.

(b)

Используя только аксиомы Эйленберга--Стинрода (гомотопии, точности, вырезания, размерности) для теории гомологий, докажите, что H~i(ΣX)\tilde{H}_{i}(\Sigma X) естественно изоморфна H~i−1(X)\tilde{H}_{i-1}(X). (Здесь H~i\tilde{H}_{i} обозначает приведённые сингулярные гомологии.)

Задача 2.3.14

Рассмотрим следующую коммутативную диаграмму абелевых групп, в которой строка и столбец являются точными последовательностями.

Предположим, что γ\gamma и β0\beta_{0} сюръективны. Докажите, что α3\alpha_{3} инъективен.

?
Задача 2.3.15

Предположим, что топологическое пространство XX представлено в виде объединения U∪VU \cup V двух открытых линейно связных подпространств, таких что U∩VU \cap V линейно связно, H1(U)=0H_{1}(U) = 0, и включение U∩V→VU \cap V \to V индуцирует сюръективный гомоморфизм H1(U∩V)→H1(V)H_{1}(U \cap V) \to H_{1}(V). (Здесь HH обозначает сингулярные гомологии.)

?
(a)

Докажите, что H1(X)=0H_{1}(X) = 0.

(b)

Приведите пример, показывающий, что аналогичное утверждение становится неверным в общем случае, если всюду заменить H1H_{1} на H2H_{2}.

Задача 2.3.16

Пусть

Dn={x∈Rn∣∣x∣≤1} D^{n} = \left\{ x \in \mathbb {R}^{n} \mid |x| \leq 1\right\}

обозначает стандартный единичный шар в евклидовом пространстве Rn\mathbb {R}^{n}, а

Sn−1={x∈Rn∣∣x∣=1} S^{n-1} = \left\{ x \in \mathbb {R}^{n} \mid |x| = 1\right\}

обозначает стандартную (n−1)(n-1)-сферу. Предположим, что f:Dn→Dnf : D^{n} \to D^{n} — непрерывное отображение, такое что ограничение ff на Sn−1S^{n-1} является гомеоморфизмом из Sn−1S^{n-1} на Sn−1S^{n-1}. Докажите, что ff сюръективно.

?
Задача 2.3.17

Пусть XX — связный CW-комплекс с двумя 0-клетками, тремя 1-клетками, тремя 2-клетками и без клеток более высокой размерности. Предположим, что H1(X)≈Z⊕Z/3H_{1}(X) \approx \mathbb {Z} \oplus \mathbb {Z}/3. Вычислите эйлерову характеристику XX и определите (с доказательством) все возможности для H2(X)H_{2}(X).

?
Задача 2.3.18

Пусть XX — CW-комплекс ровно с одной k+1k{+}1-клеткой. Докажите, что если Hk(X;Z)H_{k}(X; \mathbb {Z}) — нетривиальная конечная группа, то Hk+1(X;Z)=0H_{k+1}(X; \mathbb {Z}) = 0.

?
Задача 2.3.19

Пусть

A={(x1,x2,x3,x4)∈R4∣x1=0} A = \left\{ (x_{1},x_{2},x_{3},x_{4}) \in \mathbb {R}^{4} \mid x_{1} = 0\right\}

и

B={(x1,x2,x3,x4)∈R4∣x4=0}. B = \left\{ (x_{1},x_{2},x_{3},x_{4}) \in \mathbb {R}^{4} \mid x_{4} = 0\right\} .

Пусть X=A∪BX = A \cup B. Вычислите относительные группы гомологий Hi(X,X−(0,0,0,0))H_{i}(X, X - (0,0,0,0)) для всех ii.

?
Задача 2.3.20

Пусть XX — линейно связное и локально линейно связное пространство, и пусть x∈Xx \in X. Пусть Y=S1×S1×S2Y = S^{1} \times S^{1} \times S^{2}. Покажите, что если π1(X,x)\pi_{1}(X, x) конечна, то любое непрерывное отображение f:X→Yf : X \to Y индуцирует тривиальное отображение f∗:Hi(X,Z)→Hi(Y,Z)f_{*} : H_{i}(X, \mathbb {Z}) \to H_{i}(Y, \mathbb {Z}) для всех ii, отличных от 0 и 2.

?
Задача 2.3.21

Назовём коммутативную диаграмму абелевых групп

точной, если последовательность групп и гомоморфизмов

0→A→(α,β)B⊕C→γ−δD→0 точна. 0 \to A \xrightarrow {(\alpha ,\beta )} B \oplus C \xrightarrow {\gamma - \delta } D \to 0 \text{ точна.}

Интересен тот факт, что если

и

точны, то точна и

Докажите точность

0→A→(β,α’α)C⊕E→δ’δ−εF→0 в C⊕E. 0 \to A \xrightarrow {(\beta , \alpha ’\alpha )} C \oplus E \xrightarrow {\delta ’\delta - \varepsilon } F \to 0 \text{ в } C \oplus E.
?
Задача 2.3.22

Пусть XX — непустое компактное хаусдорфово пространство, а f:X→Xf : X \to X — непрерывное отображение. Докажите, что существует непустое замкнутое подмножество AA пространства XX, такое что f(A)=Af(A) = A. Приведите пример, показывающий, что компактность существенна для этого утверждения.

?
Задача 2.3.23

Напомним, что

H3(S3;Z)≈H3(RP3;Z)≈Z. H_{3}(S^{3}; \mathbb {Z}) \approx H_{3}(\mathbb {R}^{P^{3}}; \mathbb {Z}) \approx \mathbb {Z}.

(RPn\mathbb {R}^{P^{n}} — nn-мерное вещественное проективное пространство.) Докажите, что не существует функции f:S3→RP3f : S^{3} \to \mathbb {R}^{P^{3}}, индуцирующей изоморфизм на третьих гомологиях.

?
Задача 2.3.24

Пусть

X={(x,y,z)∣xy=0}. X = \left\{ (x,y,z) \mid xy = 0\right\} .
?
(a)

Вычислите H1(X−(0,0,0))H_{1}(X - (0,0,0)).

(b)

Используя (a), покажите, что XX не гомеоморфно R2\mathbb {R}^{2}.

(c)

Докажите или опровергните: XX гомотопически эквивалентно R2\mathbb {R}^{2}.

Задача 2.3.25

Пусть (Bn,Sn−1)(B^{n}, S^{n-1}) — стандартная пара шар-сфера в Rn\mathbb {R}^{n}, n>1n > 1. Предположим, что f:(Bn,Sn−1)→(X,A)f : (B^{n}, S^{n-1}) \to (X,A) — непрерывное отображение, и f∣Sn−1:Sn−1→Af|_{S^{n-1}} : S^{n-1} \to A — гомеоморфизм. Покажите, что если Hn(X)=0H_{n}(X) = 0, то Hn(X,A)=ZH_{n}(X,A) = \mathbb {Z}.

?
Задача 2.3.26
?
(a)

Опишите CW-структуру на S2×S5S^{2} \times S^{5} и используйте её для вычисления гомологий S2×S5S^{2} \times S^{5}.

(b)

Вычислите гомологии S2×S5S^{2} \times S^{5} с 2 удалёнными точками.

Задача 2.3.27

Пусть AA — подпространство S2×S2S^{2} \times S^{2}, гомеоморфное 2-сфере S2S^{2}. Укажите, чему равны группы гомологий Hq(S2×S2)H_{q}(S^{2} \times S^{2}) (доказательства не требуется). Что можно сказать о возможностях для относительных групп гомологий Hq(S2×S2,A)H_{q}(S^{2} \times S^{2}, A)?

?
Задача 2.3.28

Вычислите группы гомологий пространства XX, полученного как объединение 2-сферы S2S^{2} и оси xx в R3\mathbb {R}^{3}.

?
Задача 2.3.29

Определим неприведённую надстройкуΣX\Sigma X пространства XX как факторпространство I×XI \times X, полученное стягиванием {0}×X\left\{ 0\right\} \times X в одну точку и {1}×X\left\{ 1\right\} \times X в другую точку. (Это объединение двух конусовнад XX.) Покажите, что существует естественный изоморфизм σX:H~i(X)→H~i+1(ΣX)\sigma_{X} : \tilde{H}_{i}(X) \to \tilde{H}_{i+1}(\Sigma X) для всех i≥0i \geq 0.

?
Задача 2.3.30

Обозначим через XX объединение тора S1×S1S^{1} \times S^{1} с диском D2D^{2}, где D2D^{2} приклеен к T2T^{2} отождествлением ∂D2\partial D^{2} с меридиональной кривой S1×{x0}S^{1} \times \left\{ x_{0}\right\} на торе, где x0∈S1x_{0} \in S^{1}.

?
(a)

Вычислите Hn(X)H_{n}(X) для всех n≥0n \geq 0.

(b)

Является ли T2T^{2} ретрактом XX? Почему да или почему нет?

Задача 2.3.31

Даны гомоморфизмы h:A→Bh : A \to B и g:C→Bg : C \to B; расслоенным произведением (pull back) hh вдоль gg называется группа

g∗(A)={(c,a)∈C×A∣g(c)=h(a)}. g^{*}(A) = \left\{ (c,a) \in C \times A \mid g(c) = h(a)\right\} .
?
(a)

Пусть g∗(h):g∗(A)→Cg^{*}(h) : g^{*}(A) \to C — гомоморфизм, полученный ограничением проекции на первый множитель C×A→CC \times A \to C на g∗(A)g^{*}(A). Докажите, что ядро g∗(h)g^{*}(h) изоморфно ядру hh.

(b)

Пусть A=Z/4ZA = \mathbb {Z}/4\mathbb {Z}, B=Z/2ZB = \mathbb {Z}/2\mathbb {Z}, и пусть h:A→Bh : A \to B — сюръекция, определённая формулой h(1)=1h(1) = 1. Пусть C=Z/8ZC = \mathbb {Z}/8\mathbb {Z}, и пусть g:C→Bg : C \to B — сюръекция, определённая формулой g(1)=1g(1) = 1. Определите группу g∗(A)g^{*}(A) с пояснением.

Задача 2.3.32

Напомним, что если CC — гомеоморфная копия окружности в S3S^{3}, то Hi(S3−C)H_{i}(S^{3} - C) бесконечно циклична при ii, равном 0 или 1, и равна нулю в остальных случаях. Используя этот факт, вычислите

?
(a)

Гомологии R3−C\mathbb {R}^{3} - C, когда CC — гомеоморфная копия окружности в R3\mathbb {R}^{3}.

(b)

Гомологии Y=R3−XY = \mathbb {R}^{3} - X, где X⊂R3X \subset \mathbb {R}^{3} — гомеоморфная копия пространства-восьмёрки(т.е. одноточечного объединения двух окружностей).

Задача 2.3.33

Известно, что если X⊂S3X \subset S^{3} гомеоморфно S1S^{1}, то H∗(S3−X)≈H∗(S1)H_{*}(S^{3} - X) \approx H_{*}(S^{1}). Используя этот факт, вычислите гомологии S3−YS^{3} - Y, где YY — подпространство S3S^{3}, гомеоморфное несвязному объединению двух копий S1S^{1}.

?
Задача 2.3.34
?
(a)

Изобразите универсальное накрытие одноточечного объединения S1∨S2S^{1} \vee S^{2} и связное двулистное накрытие (доказательств не требуется).

(b)

Вычислите гомологии связного двулистного накрытия S1∨S2S^{1} \vee S^{2}.

Задача 2.3.35

Вычислите гомологии S1×S1−pointS^{1} \times S^{1} - \mathrm{point}.

?
Задача 2.3.36

Предположим, что следующая диаграмма коммутативна, строки точны, и γn\gamma_{n} — изоморфизм для всех nn.

Постройте точную последовательность

⋯→An→An′⊕Bn→Bn′→An−1→⋯ . \cdots \to A_{n} \to A_{n}' \oplus B_{n} \to B_{n}' \to A_{n-1} \to \cdots .

Выпишите доказательство точности в Bn′B_{n}'.

?
Задача 2.3.37

Предположим, что XX — пространство, а f:X→Yf : X \to Y, g:X→Zg : X \to Z — два отображения XX в стягиваемые пространства YY и ZZ. Пусть MM — цилиндр отображений ff и gg, т.е. MM — пространство отождествления, полученное из несвязного объединения YY, X×IX \times I и ZZ отождествлением каждого (x,0)(x,0) с f(x)f(x), а каждого (x,1)(x,1) с g(x)g(x). Докажите, что H~qM≅H~q−1X\tilde{H}_{q}M \cong \tilde{H}_{q-1}X.

?
Задача 2.3.38

Пусть {Xi,i=1,2,3,…}\left\{ X_{i}, i = 1,2,3,\ldots \right\} — бесконечная последовательность топологических пространств, а fi:Xi→Xi+1f_{i} : X_{i} \to X_{i+1} — отображения. Телескопом отображений этой последовательности называется пространство отождествления T=(∏i=1∞Xi×[0,1])/∼T = \left(\prod_{i=1}^{\infty } X_{i} \times [0,1]\right)/{\sim }, где (x,1)∼(y,0)(x,1) \sim (y,0), если x∈Xix \in X_{i}, y∈Xi+1y \in X_{i+1} и y=fi(x)y = f_{i}(x), описывает отождествление. Рассмотрим случай, когда все Xi=SmX_{i} = S^{m} (m>0m > 0), а fi:Xi→Xi+1f_{i} : X_{i} \to X_{i+1} — отображение степени dd.

?
(a)

Вычислите H∗(T)H_{*}(T) при d=0d = 0.

(b)

Вычислите H∗(T;Q)H_{*}(T; \mathbb {Q}) при d≠0d \neq 0.

Задача 2.3.39

Пусть RR — коммутативное кольцо с 1. Определим RR-гомологическую сферу как хаусдорфово топологическое пространство XX, такое что Hi(X;R)≅Hi(Sn;R)H_{i}(X;R) \cong H_{i}(S^{n}; R) для некоторой сферы SnS^{n}.

?
(a)

Пусть WW — компактное связное (n+1)(n+1)-многообразие, и пусть X=∂WX = \partial W. Предположим, что Hi(W,Z2)=0H_{i}(W, \mathbb {Z}_{2}) = 0 для всех i>0i > 0. Докажите, что XX — Z2\mathbb {Z}_{2}-гомологическая сфера.

(b)

Приведите пример RR и RR-гомологической сферы, являющейся неориентируемым связным компактным многообразием. Обоснуйте ответ, ссылаясь на соответствующие теоремы. Можно приводить стандартные вычисления без доказательства.