1.7

Факторпространства

[10/100%]
Показать
LaTeX
Задача 1.7.1

Пусть q:X→Yq : X \to Y, и YY имеет фактортопологию относительно (X,q)(X, q) (т.е. U⊂YU \subset Y открыто тогда и только тогда, когда q−1(U)⊂Xq^{-1}(U) \subset X открыто). Покажите, что C⊂YC \subset Y замкнуто тогда и только тогда, когда q−1(C)⊂Xq^{-1}(C) \subset X замкнуто.

?
Задача 1.7.2

Рассмотрим X=[0,1]X = [0, 1] с YY — факторпространством, образованным отождествлением 00 с 11, и X′=RX' = \mathbb {R} с Y′Y' — факторпространством, образованным отождествлением xx с x+nx + n для всех n∈Zn \in \mathbb {Z}. Пусть q:X→Yq : X \to Y, q′:X′→Y′q' : X' \to Y' — отображения отождествления, и пусть i:X→X′i : X \to X' — вложение. Поскольку [i(0)]=[0]=[1]=[i(1)][i(0)] = [0] = [1] = [i(1)], ii индуцирует отображение iˉ:Y→Y′\bar{i} : Y \to Y', определённое как iˉ([x])=[i(x)]\bar{i}([x]) = [i(x)], которое является непрерывной биекцией на Y′Y'.

Постройте обратное к iˉ\bar{i} и покажите, что оно непрерывно.

?
Примечание.
?

Рассмотрите разрывную функцию из X′X' в XX, определённую отправкой xx в x−[x]x - [x], где [x][x] обозначает наибольшее целое число, не превосходящее xx; т.е. единственное целое число, удовлетворяющее [x]≤x<[x]+1[x] \leq x < [x] + 1.

Задача 1.7.3

Опишите базисные открытые множества в факторпространстве [0,1]×[0,1]/(0,t)∼(1,t),(s,0)∼(s,1)[0, 1] \times [0, 1] / (0, t) \sim (1, t), (s, 0) \sim (s, 1) вокруг каждой из точек [(0,0)][(0, 0)], [(12,0)][(\tfrac {1}{2}, 0)], [(0,12)][(0, \tfrac {1}{2})] и [(12,12)][(\tfrac {1}{2}, \tfrac {1}{2})]. Опишите прообраз q−1(U)q^{-1}(U) каждого из этих базисных открытых множеств.

?
Задача 1.7.4

Покажите, что факторпространство, образованное из квадрата отождествлением всех точек нижней стороны квадрата друг с другом, гомеоморфно треугольнику.

Треугольник как факторпространство квадрата.Треугольник как факторпространство квадрата.

?
Примечание.
?

Начните с отображения из прямоугольника в треугольник, сохраняющего уровни yy и отправляющего нижнюю сторону прямоугольника в нижнюю вершину треугольника. См. рисунок выше, где нижняя линия, которая должна быть стянута в точку, утолщена, как и точка-образ.

Задача 1.7.5

Пусть Ai∪fiBi=Ai⊔Bi/x∼fi(x),x∈Ki⊂BiA_i \cup_{f_i} B_i = A_i \sqcup B_i / x \sim f_i(x), x \in K_i \subset B_i — факторпространство Ai∪BiA_i \cup B_i, полученное отождествлением x∈Ki⊂Bix \in K_i \subset B_i с f(x)∈Aif(x) \in A_i посредством гомеоморфизма fi:Ki→f(Ki)f_i : K_i \to f(K_i), i=1,2i = 1, 2.

Предложение 1.7.6: Предположим, существуют гомеоморфизмы FA:A1→A2F_A : A_1 \to A_2, FB:B1→B2F_B : B_1 \to B_2 с FB(K1)=K2F_B(K_1) = K_2 и FAf1=f2FBF_A f_1 = f_2 F_B. Тогда отображение F:A1∪f1B1→A2∪f2B2F : A_1 \cup_{f_1} B_1 \to A_2 \cup_{f_2} B_2, заданное как F(x)=FA(x)F(x) = F_A(x), если x∈A1x \in A_1, и F(x)=FB(x)F(x) = F_B(x), если x∈B1x \in B_1, является гомеоморфизмом.

Докажите предложение 1.7.6.

?
Задача 1.7.6

Рассмотрим пространство XX, образованное из двух копий R=D1×D1R = D^1 \times D^1 отождествлением {−1,1}×D1\left\{ -1, 1\right\} \times D^1 с самим собой посредством dd, где d(1,y)=(1,−y)d(1, y) = (1, -y) и d(−1,y)=(−1,−y)d(-1, y) = (-1, -y); то есть X=R∪dRX = R \cup_d R. Постройте гомеоморфизм между XX и кольцом.

?
Задача 1.7.7

Предположим, X=A∪gBX = A \cup_g B, Y=A∪g′BY = A \cup_{g'} B, где g,g′:K⊂B→g(K),g′(K)⊂Ag, g' : K \subset B \to g(K), g'(K) \subset A — гомеоморфизмы. Предположим, (g′)−1g:K→K=h∣K(g')^{-1} g : K \to K = h|_K, где h:B→Bh : B \to B — гомеоморфизм. Покажите, что тождественное отображение на AA и hh на BB склеиваются, давая гомеоморфизм из XX в YY.

?
Задача 1.7.8

Покажите, что лист Мёбиуса также можно описать как факторпространство D1×D1∪fD1×D1D^1 \times D^1 \cup_f D^1 \times D^1, где f(−1,t)=(−1,t)f(-1, t) = (-1, t), f(1,t)=(1,−t)f(1, t) = (1, -t).

?
Задача 1.7.9

Отождествите все точки нижней половины окружности друг с другом. Покажите, что получившееся факторпространство S1/∼S^1 / \sim гомеоморфно S1S^1.

?
Примечание.
?

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

Задача 1.7.10

Введите отношение эквивалентности на единичном диске, объявив все точки граничной окружности эквивалентными друг другу. Покажите, что полученное фактор-пространство D2/∼D^2 / \sim гомеоморфно S2S^2.

?
Примечание.
?

Отправьте диаметры на большие окружности так, чтобы начало координат переходило в южный полюс, а граничная окружность — в северный полюс.