-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.tex
5743 lines (4748 loc) · 433 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\documentclass[12pt,a4paper]{article}
\usepackage{../.tex/mcs-notes}
\usepackage{todonotes}
\usepackage{multicol}
\usepackage{inkscape}
\usepackage[all]{xy}
\CompileMatrices
\settitle
{Геометрия и топология.}
{Евгений Анатольевич Фоминых}
{geometry-and-topology/main.pdf}
\date{}
\newcommand{\Id}{\ensuremath{\mathrm{Id}}\xspace}
\newcommand{\Ker}{\ensuremath{\mathrm{Ker}}\xspace}
\newcommand{\Img}{\ensuremath{\mathrm{Im}}\xspace}
\newcommand{\diam}{\ensuremath{\mathrm{diam}}\xspace}
\newcommand{\Int}{\ensuremath{\mathrm{Int}}\xspace}
\newcommand{\Ext}{\ensuremath{\mathrm{Ext}}\xspace}
\newcommand{\Cl}{\ensuremath{\mathrm{Cl}}\xspace}
\newcommand{\Fr}{\ensuremath{\mathrm{Fr}}\xspace}
\newcommand{\SCl}{\ensuremath{\mathrm{SCl}}\xspace}
\newcommand{\Lin}{\ensuremath{\mathrm{Lin}}\xspace}
\newcommand{\Homeo}{\ensuremath{\mathrm{Homeo}}\xspace}
\newcommand{\Aff}{\ensuremath{\mathrm{Aff}}\xspace}
\newcommand{\Iso}{\ensuremath{\mathrm{Iso}}\xspace}
\renewcommand{\Pr}{\ensuremath{\mathrm{Pr}}\xspace}
\newcommand{\conv}{\ensuremath{\mathrm{conv}}\xspace}
\newcommand{\RelInt}{\ensuremath{\mathrm{RelInt}}\xspace}
\DeclareMathOperator*{\bigtimes}{\text{\raisebox{-6pt}{\scalebox{3}{$\times$}}}}
\newcommand{\FAC}{\ensuremath{\mathrm{FAC}}\xspace}
\newcommand{\SAC}{\ensuremath{\mathrm{SAC}}\xspace}
\newcommand{\T}{\ensuremath{\mathrm{T}}\xspace}
\newcommand{\ex}{\ensuremath{\mathrm{ex}}\xspace}
\newcommand{\ind}{\ensuremath{\mathrm{ind}}\xspace}
\begin{document}
\maketitle
\listoftodos[TODOs]
\tableofcontents
\vspace{2em}
Литература:
\begin{itemize}
\item Виро О.Я., Иванов О.А., Нецветаев Н.Ю., Харламов В.М., ``Элементарная топология'', М.:МЦНМО, 2012.
\item Коснёвски Чес, ``Начальный курс алгебраической топологии'', М.:Мир, 1983.
\item Ю.Г. Борисович, Н.М. Близняков, Я.А. Израилевич, Т.Н. Фоменко, ``Введение в топологию'', М.:Наука. Физматлит, 1995.
\item James Munkres, ``Topology''.
\item Agusti Reventos Tarrida, ``Affine maps, Euclidean motions and quadrics''.
\item Винберг, ``Курс алгебры''.
\item Хатчер, ``Алгебраическая топология''.
\end{itemize}
\section{Метрические и топологические пространства. Базовые понятия.}
\subsection{Метрические пространства.}
\begin{definition}
Функция $d: X \times X \to \RR_+$ называется \emph{метрикой} (или \emph{расстоянием}) в множестве $X$, если:
\begin{itemize}
\item $d(x, y) = 0 \Leftrightarrow x = y$;
\item $d(x, y) = d(y, x)$;
\item $d(x, z) \leqslant d(x, y) + d(y, z)$ (``неравенство треугольника'').
\end{itemize}
Пара $(X, d)$, где $d$ --- метрика в $X$, называется \emph{метрическим пространством}.
\end{definition}
\begin{example}
Пусть $X$ --- произвольное множество. Тогда метрика
\[
d(x, y) :=
\begin{cases}
1& \text{если $x \neq y$}\\
0& \text{если $x = y$}
\end{cases}
\]
называется \emph{дискретной} метрикой на множестве $X$.
\end{example}
\begin{example}\
\begin{itemize}
\item $X := \RR$, тогда $d(x, y) := |x-y|$ --- метрика.
\item $X := \RR^n$, $x = (x_1, \dots, x_n)$, $y = (y_1, \dots, y_n)$. Тогда
\[d(x, y) := \sqrt{(x_1 - y_1)^2 + \dots + (x_n + y_n)^2}\]
называется \emph{евклидовой} метрикой.
\item $X := \RR^n$, $d(x, y) := \max_{i = 1}^n |x_i - y_i|$
\item $X := \RR^n$, $d(x, y) := \sum_{i = 1}^n |x_i - y_i|$
\item $X := C[0; 1]$, $d(x(t), y(t)) = \max_{t \in [0; 1]} |x(t) - y(t)|$. $(X, d)$ называют \emph{пространством непрерывных функций}.
\end{itemize}
\end{example}
\begin{definition}
Пусть $(X, d)$ --- метрическое пространство. Сужение функции $d$ на $Y \times Y$ является метрикой в $Y$. Метрическое пространство $(Y, d|_{Y\times Y})$ называется \emph{подпространством} пространства $(X, d)$.
\end{definition}
\begin{theorem}\label{generalised_metric_spaces_multiplication_theorem}
Пусть дана $g: \RR_+ \times \RR_+ \to \RR_+$, что
\begin{itemize}
\item $\forall x, y \in \RR_+\quad g(x, y) = 0 \leftrightarrow x = y = 0$;
\item $\forall x, y, d \in \RR_+\quad g(x + d, y) \geqslant g(x, y) \wedge g(x, y + d) \geqslant g(x, y)$;
\item $\forall x_1, y_1, x_2, y_2 \in \RR_+ \quad g(x_1 + x_2, y_1 + y_2) \leqslant g(x_1, y_1) + g(x_2, y_2)$.
\end{itemize}
Тогда для любых метрических пространств $(X, d_X)$ и $(Y, d_Y)$ функция
\[d_{X \times Y}((x_1, y_1), (x_2, y_2)) := g(d_X(x_1, x_2), d_Y(y_1, y_2))\]
будет метрикой на $X \times Y$.
\end{theorem}
\begin{proof}
Проверим, что $d_{X \times Y}$ --- метрика.
\begin{itemize}
\item $\forall x_1, x_2 \in X, y_1, y_2 \in Y$
\begin{align*}
d_{X \times Y}((x_1, y_1), (x_2, y_2)) = 0\quad
&\longleftrightarrow\quad g(d_X(x_1, x_2), d_Y(y_1, y_2)) = 0\\
&\longleftrightarrow\quad d_X(x_1, x_2) = 0 \wedge d_Y(y_1, y_2) = 0\\
&\longleftrightarrow\quad x_1 = x_2 \wedge y_1 = y_2
\end{align*}
\item $\forall x_1, x_2 \in X, y_1, y_2 \in Y$
\begin{multline*}
d_{X \times Y}((x_1, y_1), (x_2, y_2))\\
= g(d_X(x_1, x_2), d_Y(y_1, y_2)) = g(d_X(x_2, x_1), d_Y(y_2, y_1))\\
= d_{X \times Y}((x_2, y_2), (x_1, y_1))
\end{multline*}
\item $\forall x_1, x_2, x_3 \in X, y_1, y_2, y_3 \in Y$
\begin{multline*}
d_{X \times Y}((x_1, y_1), (x_3, y_3))\\
= g(d_X(x_1, x_3), d_Y(y_1, y_3))\\
\leqslant g(d_X(x_1, x_2) + d_X(x_2, x_3), d_Y(y_1, y_2) + d_Y(y_2, y_3))\\
\leqslant g(d_X(x_1, x_2), d_Y(y_1, y_2)) + g(d_X(x_2, x_3), d_Y(y_2, y_3))\\
= d_{X \times Y}((x_1, y_1), (x_2, y_2)) + d_{X \times Y}((x_2, y_2), (x_3, y_3))
\end{multline*}
\end{itemize}
\end{proof}
\begin{corollary}
Для любых метрических пространств $(X, d_X)$ и $(Y, d_Y)$ пара $(X \times Y, d_{X \times Y})$, где
\[d_{X \times Y} := \sqrt{d_X(x_1, x_2)^2 + d_Y(y_1, y_2)^2}\]
есть метрическое пространство.
\end{corollary}
\begin{proof}
Необходимо лишь проверить, что $g(x, y) := \sqrt{x^2 + y^2}$ удовлетворяет условиям теоремы.
\begin{itemize}
\item $\forall x, y \in \RR_+\quad \sqrt{x^2 + y^2} \leftrightarrow x^2 + y^2 = 0 \leftrightarrow x = 0 = y$.
\item $\forall x, y, d \in \RR_+\quad x+d \geqslant x \Rightarrow (x+d)^2 \geqslant x^2 \Rightarrow (x+d)^2 + y^2 \geqslant x^2 + y^2 \Rightarrow \sqrt{(x+d)^2 + y^2} \geqslant \sqrt{x^2 + y^2}$; для $y$ аналогично.
\item $\forall x_1, y_1, x_2, y_2 \in \RR_+$ по неравенству Коши-Буняковского-Шварца
\begin{gather*}
(x_1y_2 - x_2y_1)^2 \geqslant 0\\
x_1^2y_2^2 + x_2^2y_1^2 \geqslant 2x_1x_2y_1y_2\\
(x_1^2 + y_1^2)(x_2^2 + y_2^2) \geqslant (x_1x_2 + y_1y_2)^2\\
(x_1^2 + y_1^2) + 2\sqrt{(x_1^2 + y_1^2)(x_2^2 + y_2^2)} + (x_2^2 + y_2^2) \geqslant (x_1^2 + y_1^2) + 2(x_1x_2 + y_1y_2) + (x_2^2 + y_2^2)\\
\left(\sqrt{x_1^2 + y_1^2} + \sqrt{x_2^2 + y_2^2}\right)^2 \geqslant (x_1 + x_2)^2 + (y_1 + y_2)^2\\
\sqrt{x_1^2 + y_1^2} + \sqrt{x_2^2 + y_2^2} \geqslant \sqrt{(x_1 + x_2)^2 + (y_1 + y_2)^2}
\end{gather*}
\end{itemize}
\end{proof}
\begin{remark}
Если $g$ ассоциативна (например, $g(x, y) := \sqrt{x^2 + y^2}$; она заодно коммутативна), то аналогично можно определить метрику на $X_1 \times X_2 \times \dots \times X_n = (X_1 \times (X_2 \times (\dots \times X_n)\dots))$.
Таким образом евклидова метрика есть метрика, так как её можно получить, применяя $g(x, y) := \sqrt{x^2 + y^2}$ к пространствам $(X_i, d_i) = (\RR, d_{\RR})$ (где $d_{\RR}(x, y) = |x-y|$).
\end{remark}
\begin{definition}
Пусть
Для $g(x, y) := \sqrt{x^2 + y^2}$ из последней теоремы пространство $(X \times Y, d_{X \times Y})$ называется \emph{(декартовым) произведением} метрических пространств $(X, d_X)$ и $(Y, d_Y)$. Аналогично определяется произведение конечного числа пространств.
\end{definition}
\begin{remark}
На роль $g(x, y)$ подходят следующие функции:
\begin{itemize}
\item $(x^\alpha + y^\alpha)^{1/\alpha}$ для всех $\alpha \geqslant 1$;
\item $\max(x, y)$.
\end{itemize}
А следующие функции уже не подходят:
\begin{itemize}
\item $(x^\alpha + y^\alpha)^{1/\alpha}$ для всех $\alpha < 1$ (даже для отрицательных);
\item $\min(x, y)$;
\item $x \cdot y$ и $x / y$.
\end{itemize}
\end{remark}
\begin{definition}
Пусть $(X, d)$ --- метрическое пространство, $a \in X$, $r \in \RR$, $r > 0$. Тогда:
\begin{itemize}
\item $B_r(a) := \{x \in X \mid d(a, x) < r\}$ --- \emph{(открытый) шар пространства $(X, d)$ с центром в точке $a$ и радиусом $r$};
\item $\overline{B}_r(a) = D_r(a) := \{x \in X \mid d(a, x) \leqslant r\}$ --- \emph{замкнутой шар пространства $(X, d)$ с центром в точке $a$ и радиусом $r$};
\item $S_r(a) := \{x \in X \mid d(a, x) = r\}$ --- \emph{сфера пространства $(X, d)$ с центром в точке $a$ и радиусом $r$}.
\end{itemize}
\end{definition}
\begin{definition}
Пусть $(X, d)$ --- метрическое пространство, $A \subseteq X$. Множество $A$ называется \emph{открытым} в метрическом пространстве, если
\[\forall a \in A\ \exists r > 0: B_r(a) \subseteq A\]
\end{definition}
\begin{theorem}В любом метрическом пространстве $(X, d)$
\begin{enumerate}
\item $\varnothing$ и $X$ открыты;
\item для всяких $a \in X$ и $r > 0$ открытый шар $B_r(a)$ открыт;
\item объединение любого семейства открытых множеств открыто;
\item пересечение конечного семейства открытых множеств открыто.
\end{enumerate}
\end{theorem}
\begin{proof}\
\begin{enumerate}
\item Очевидно.
\item Для всякого $x \in B_r(a)$ верно, что $B_{r-d(x, a)}(x) \subseteq B_r(a)$, откуда утверждение очевидно следует.
\item Пусть дано семейство открытых множеств $\Sigma$. Пусть также $I = \bigcup \Sigma$. Для любого $x \in I$ верно, что существует $J \in \Sigma$, что $x \in J$, а значит есть $r > 0$, что $B_r(x) \subseteq J \subseteq I$, т.е. $x$ --- внутренняя точка $I$. Таким образом $I$ открыто.
\item Пусть $I = \bigcap_{i = 1}^n I_i$. Тогда для любого $x \in I$ верно, что существуют $r_1, \dots, r_n > 0$, что $B_{r_i}(x) \subseteq I_n$, значит $B_{\min r_i} \subseteq I$, значит $x$ --- внутренняя точка $I$. Таким образом $I$ открыто.
\end{enumerate}
\end{proof}
\subsection{Топологические пространства.}
\begin{definition}
Пусть $X$ --- некоторое множество. Рассмотрим набор $\Omega$ его подмножеств, для которого:
\begin{enumerate}
\item $\varnothing, X \in \Omega$;
\item объединение любого семейства множеств из $\Omega$ лежит в $\Omega$;
\item пересечение любого конечного семейства множеств, принадлежащих $\Omega$, также принадлежит $\Omega$.
\end{enumerate}
В таком случае:
\begin{itemize}
\item $\Omega$ --- \emph{топологическая структура} или просто \emph{топология} в множестве $X$;
\item множество $X$ с выделенной топологической структурой $\Omega$ (т.е.пара $(X, \Omega)$) называется \emph{топологическим пространством};
\item элементы множества $\Omega$ называются \emph{открытыми множествами} пространства $(X, \Omega)$.
\end{itemize}
\end{definition}
\begin{example}\
\begin{itemize}
\item Если $\Omega$ --- множество открытых множеств в метрическом пространстве $(X, d)$, то $(X, \Omega)$ --- топологическое пространство. Таким образом любое метрическое пространство можно отождествлять с соответствующим топологическим пространством.
\item Топология, индуцированная евклидовой метрикой в $\RR^n$, называется \emph{стандартной}.
\item $\Omega := 2^X$ --- \emph{дискретная} топология на произвольном множестве $X$. Именно она порождается дискретной метрикой на $X$.
\item $\Omega := \{\varnothing, X\}$ --- \emph{антидискретная} топология на произвольном множестве $X$.
\item $X := \RR$, $\Omega := \{(a; +\infty) : a \in \RR\} \cup \{\RR\} \cup \{\varnothing\}$. Такая топология называется \emph{стрелкой}.
\item $\Omega = \{\varnothing\} \cup \{A \in X: |X\setminus A| \in \NN\}$ --- топология \emph{конечных дополнений} на произвольном множестве $X$.
\end{itemize}
\end{example}
\begin{definition}
Множество $F \subseteq X$ \emph{замкнуто} в топологическом пространстве $(X, \Sigma)$, если его дополнение $X \setminus F$ открыто (т.е. если $X \setminus F \in \Sigma$).
\end{definition}
\begin{theorem}
В любом топологическом пространстве $X$
\begin{itemize}
\item $\varnothing$ и $X$ --- замкнуты;
\item объединение конечного набора замкнутых множеств замкнуто;
\item пересечение любого набора замкнутых множеств замкнуто.
\end{itemize}
\end{theorem}
\begin{theorem}
Пусть $U$ --- открыто, а $V$ --- замкнуто в $(X, \Omega)$. Тогда:
\begin{multicols}{2}
\begin{itemize}
\item $U \setminus V$ открыто;
\item $V \setminus U$ замкнуто.
\end{itemize}
\end{multicols}
\end{theorem}
\subsection{Внутренность и замыкание множества. Разные виды точек.}
\begin{definition}
Пусть $(X, \Omega)$ --- топологическое пространство и $A \subseteq X$. Тогда \emph{внутренностью} множества $A$ называется
объединение всех открытых подмножеств $A$:
\[\Int(A) := \bigcup_{\substack{U \in \Omega\\U \subseteq A}} U\]
\end{definition}
\begin{theorem}\
\begin{multicols}{2}
\begin{itemize}
\item $\Int(A)$ --- открытое множество.
\item $\Int(A) \subseteq A$.
\item $B\text{ --- открыто} \wedge B \subseteq A \Rightarrow B \subseteq \Int(A)$.
\item $A = \Int(A) \Leftrightarrow A \text{ --- открыто}$.
\item $\Int(\Int(A)) = \Int(A)$.
\item $A \subseteq B \Rightarrow \Int(A) \subseteq \Int(B)$.
\item $\Int(\bigcap_{k=1}^n A_k) = \bigcap_{k=1}^n \Int(A_k)$.
\item $\Int(\bigcup_{A \in \Sigma} A) \supseteq \bigcup_{A \in \Sigma} \Int(A)$.
\end{itemize}
\end{multicols}
\end{theorem}
\begin{definition}
\emph{Окрестность} точки $a$ в топологическом пространстве $X$ --- открытое множество в $X$, содержащее $a$.
Точка $a$ топологического пространства $X$ называется \emph{внутренней точкой} множества $A \subseteq X$, если $A$ содержит как подмножество некоторую окрестность $a$.
\end{definition}
\begin{theorem}\
\begin{itemize}
\item Множество открыто тогда и только тогда, когда все его точки внутренние.
\item Внутренность множества есть множество всех его внутренних точек.
\end{itemize}
\end{theorem}
\begin{proof}\
\begin{itemize}
\item
\begin{itemize}
\item[($\Rightarrow$)] Пусть $A$ открыто, а $a \in A$. Тогда $A$ --- та самая окрестность $a$, которая является подмножеством $A$, поэтому $a$ --- внутренняя точка $A$.
\item[($\Leftarrow$)] Пусть каждая точка $A$ внутренняя. Тогда для каждого $a \in A$ определим окрестность $I_a$, лежащую в $A$ как подмножество (такая есть по определению). Тем самым $A = \bigcup_{a \in A} I_a$, т.е. $A$ есть объединение открытых множеств, следовательно открытое множество.
\end{itemize}
\item
\begin{itemize}
\item[($\subseteq$)] Пусть $a \in \Int(A)$. Вспомним, что $\Int(A)$ --- открытое подмножество $A$. Следовательно, $a$ --- внутренняя точка $A$.
\item[($\supseteq$)] Пусть $a$ --- внутренняя точка $A$. Следовательно есть открытое $I$, что $a \in I \subseteq A$, следовательно $I \subseteq \Int(A)$, а значит $a \in \Int(A)$.
\end{itemize}
\end{itemize}
\end{proof}
\begin{definition}
Пусть $(X, \Omega)$ --- топологическое пространство, а $A \subseteq X$. \emph{Замыканием} множества $A$ называется пересечение всех замкнутых пространств, содержащих $A$ как подмножество:
\[\Cl(A) := \bigcap_{\substack{X \setminus V \in \Omega\\V\supseteq A}} V\]
\end{definition}
\begin{theorem}\
\begin{multicols}{2}
\begin{itemize}
\item $\Cl(A)$ --- замкнутое множество.
\item $\Cl(A) \supseteq A$.
\item $B\text{ --- замкнуто} \wedge B \supseteq A \Rightarrow B \supseteq \Cl(A)$.
\item $A = \Cl(A) \Leftrightarrow A \text{ --- замкнуто}$.
\item $\Cl(\Cl(A)) = \Cl(A)$.
\item $A \subseteq B \Rightarrow \Cl(A) \subseteq \Cl(B)$.
\item $\Cl(\bigcup_{k=1}^n A_k) = \bigcup_{k=1}^n \Cl(A_k)$.
\item $\Cl(\bigcap_{A \in \Sigma} A) \subseteq \bigcap_{A \in \Sigma} \Cl(A)$.
\item $\Cl(A) \sqcup \Int(X \setminus A) = X$.
\end{itemize}
\end{multicols}
\end{theorem}
\begin{definition}
Пусть $X$ --- топологическое пространство, $A \subseteq X$ и $b \in X$. Точка $b$ называется \emph{точкой прикосновения} множества $A$, если всякая её окрестность пересекается с $A$.
\end{definition}
\begin{theorem}\
\begin{itemize}
\item Множество замкнуто тогда и только тогда, когда оно является множеством своих точек прикосновения.
\item Замыкание множества есть множество всех его точек прикосновения.
\end{itemize}
\end{theorem}
\begin{definition}
Пусть $X$ --- топологическое пространство, $A \subseteq X$ и $a \in X$.
\emph{Граница} множества $A$ --- разность замыкания и внутренности $A$: $\Fr(A) := \Cl(A) \setminus \Int(A)$.
Точка $a$ --- \emph{граничная точка} множества $A$, если всякая её окрестность пересекается с $A$ и с $X \setminus A$.
\end{definition}
\begin{theorem}
Граница множества совпадает с множеством его граничных точек.
\end{theorem}
\begin{theorem}\
\begin{multicols}{2}
\begin{itemize}
\item $\Fr(A)$ замкнуто.
\item $\Fr(A) = \Fr(X \setminus A)$.
\item $A\text{ замкнуто} \Leftrightarrow A \supseteq \Fr(A)$.
\item $A\text{ открыто} \Leftrightarrow A \cap \Fr(A) = \varnothing$.
\end{itemize}
\end{multicols}
\end{theorem}
\begin{definition}
Пусть $X$ --- топологическое пространство, $A \subseteq X$ и $a \in X$.
$a$ --- \emph{предельная точка} $A$, если в любой окрестности $a$ есть точка $A \setminus \{a\}$.
$a$ --- \emph{изолированная точка} $A$, если $a \in A$ и есть окрестность $a$ без точка $A \setminus \{a\}$.
\end{definition}
\begin{theorem}\
\begin{itemize}
\item $b\text{ --- предельная} \Rightarrow b\text{ --- точка прикосновения}$.
\item $\Cl(A) = \{\text{внутренние точки $A$}\} \sqcup \{\text{граничные точки $A$}\}$.
\item $\Cl(A) = \{\text{предельные точки $A$}\} \sqcup \{\text{изолированные точки $A$}\}$.
\end{itemize}
\end{theorem}
\subsection{Сравнение топологий.}
\begin{definition}
Пусть $\Omega_1$ и $\Omega_2$ --- топологии на $X$. Тогда если $\Omega_1 \subseteq \Omega_2$, то говорят, что $\Omega_1$ \emph{слабее (грубее)} $\Omega_2$, а $\Omega_2$ \emph{сильнее (тоньше)} $\Omega_1$.
\end{definition}
\begin{example}
Из всех топологий на $X$ антидискретная --- самая грубая, а дискретная --- самая тонкая.
\end{example}
\begin{theorem}\label{metric_generated_topologies_comparation_theorem}
Топология метрики $d_1$ грубее топологии метрики $d_2$ тогда и только тогда, когда в любом шаре метрики $d_1$ содержится шар метрики $d_2$ с тем же центром.
\end{theorem}
\begin{proof}
\begin{itemize}
\item[($\Rightarrow$)] Пусть топология метрики $d_1$ грубее топологии метрики $d_2$. Тогда любой шар $B_r^{d_1}(a)$ открыт в $d_2$, следовательно по определению открытости есть шар $B_q^{d_2}(a) \subseteq B_r^{d_1}(a)$.
\item[($\Leftarrow$)] Пусть в любом шаре метрики $d_1$ содержится шар метрики $d_2$ с тем же центром. Возьмём любое открытое в $d_1$ множество $U$. Тогда для всякой точки $a \in U$ есть шар $B_r^{d_1}(a) \subseteq U$. При этом есть шар $B_q^{d_2}(a) \subseteq B_r^{d_1}(a)$, таким образом $a$ --- внутренняя точка $U$ в $d_2$. Следовательно $U$ открыто в $d_2$.
\end{itemize}
\end{proof}
\begin{corollary}
Если $d_1$ и $d_2$ --- метрики на $X$ и $d_1 \leqslant d_2$, то топология $d_1$ грубее топологии $d_2$.
\end{corollary}
\begin{definition}
Две метрики на одном множестве называются \emph{эквивалентными}, если они порождают одну топологию.
\end{definition}
\begin{lemma}
Пусть $(X, d)$ --- метрическое пространство. Тогда для всякого $C > 0$ функция $C \cdot d$ --- метрика на $X$, эквивалентная $d$.
\end{lemma}
\begin{corollary}
Если для метрик $d_1$ и $d_2$ на $X$ есть такое $C > 0$, что $d_1 \leqslant C d_2$, то $d_1$ грубее $d_2$.
\end{corollary}
\begin{definition}
Метрики $d_1$ и $d_2$ на одном множестве называются \emph{липшицево эквивалентными}, если существуют $c, C > 0$, что $c \cdot d_1 \leqslant d_2 \leqslant C \cdot d_1$.
\end{definition}
\begin{theorem}
Липшицево эквивалентные метрики просто эквивалентны.
\end{theorem}
\begin{definition}
Топологическое пространство \emph{метризуемо}, если есть метрика, её порождающая.
\end{definition}
\subsection{База и предбаза топологии.}
\begin{definition}
\emph{База} топологии $\Omega$ --- такое семейство $\Sigma$ открытых множеств, что всякое открытое $U$ представимо в виде объединения множеств из $\Sigma$.
\[\Sigma \subseteq \Omega\text{ --- база} \Longleftrightarrow \forall U \in \Omega\; \exists \Lambda \subseteq \Sigma:\quad U = \bigcup_{W \in \Lambda} W\]
\end{definition}
\begin{definition}
Множество $\Gamma$ подмножеств множества $X$ называется его \emph{покрытием}, если $X := \bigcup_{A \in \Gamma} A$. Часто покрытие записывают в виде $\Gamma = \{A_i\}_{i \in I}$.
\end{definition}
\begin{theorem}[второе определение базы]
Пусть $(X, \Omega)$ --- топологическое пространство и $\Sigma \subseteq \Omega$. Тогда $\Sigma$ --- база топологии $\Omega$ тогда и только тогда, когда для любой точки $a$ любого открытого множества $U$ есть окрестность из $\Sigma$, лежащая в $U$ как подмножество.
\end{theorem}
\begin{definition}
Пусть $(X, \Omega)$ --- топологическое пространство, $a \in X$ и $\Lambda \subseteq \Omega$. $\Lambda$ называется \emph{базой топологии (базой окрестности) в точке $a$}, если:
\begin{enumerate}
\item $\forall U \in \Lambda\; a \in U$;
\item $\forall\text{ окрестности }U\text{ точки }a\; \exists V_a \in \Lambda:\; V_a \subseteq U$.
\end{enumerate}
\end{definition}
\begin{theorem}\
\begin{itemize}
\item Если $\Sigma$ --- база топологии, то для всякой точки $a \in X$ множество $\Sigma_a := \{U \in \Sigma \mid a \in U\}$ --- база топологии в точке $a$.
\item Пусть для каждой точки $a \in X$ определена база топологии $\Sigma_a$ в ней. Тогда $\bigcup_{a \in X} \Sigma_a$ --- база топологии.
\end{itemize}
\end{theorem}
\begin{theorem}
Пусть $\Sigma$ --- семейство подмножеств $X$. Тогда есть не более одной топологии, для которой $\Sigma$ является базой.
\end{theorem}
\begin{proof}
Предположим противное: пусть $\Omega_1$ и $\Omega_2$ --- различные топологии на $X$, для которых $\Sigma$ является базой. По определению базы для всякого $U \in \Omega_1$ есть семейство $\Gamma \subseteq \Sigma$, что $U = \bigcup_{A \in \Gamma} A$; но поскольку $\Gamma \subseteq \Sigma \subseteq \Omega_2$, то всякое $A \in \Gamma$ лежит в $\Omega_2$, а значит $U$ тоже лежит в $\Omega_2$. Таким образом $\Omega_1 \subseteq \Omega_2$; аналогично наоборот, следовательно $\Omega_1 = \Omega_2$ --- противоречие.
Таким образом для всякого $\Sigma$ будет не более одной топологии, где для которой оно будет базой.
\end{proof}
\begin{corollary}
Пусть $\Sigma_1$ и $\Sigma_2$ --- базы топологий $\Omega_1$ и $\Omega_2$ на одном и том же множестве. Тогда если $\Sigma_1 = \Sigma_2$, то и $\Omega_1 = \Omega_2$.
\end{corollary}
\begin{theorem}[критерий базы]
Пусть $X$ --- произвольное множество, а $\Sigma$ --- его покрытие. $\Sigma$ --- база некоторой топологии на $X$ тогда и только тогда, когда для всяких $A, B \in \Sigma$ есть семейство $\Lambda \subseteq \Sigma$, что $A \cap B = \bigcup_{S \in \Lambda} S$.
\end{theorem}
\begin{proof}
\begin{itemize}
\item[($\Rightarrow$)] Если $\Sigma$ --- база, то для всяких $A, B \in \Sigma$ множество $A \cap B$ открыто, а поэтому представляется как объединение некоторого подсемейства $\Sigma$.
\item[($\Leftarrow$)] Рассмотрим топологию $\Omega$, образованную всевозможными объединениями множеств из $\Sigma$, т.е.
\[\Omega := \left\{\bigcup_{S \in \Lambda} S \mid \Lambda \subseteq \Sigma\right\}\]
Проверим, что это действительно топология.
\begin{enumerate}
\item $\Sigma$ --- покрытие, поэтому $X = \bigcup_{S \in \Sigma} S \in \Omega$. Также рассматривая $\Lambda = \varnothing$, получаем, что $\bigcup_{S \in \Lambda} S = \varnothing \in \Omega$.
\item Пусть $\Phi \subseteq \Omega$. Тогда для каждого $S \in \Phi$ есть семейство $\Lambda_S \subseteq \Sigma$, его образующее, т.е. $S = \bigcup_{T \in \Lambda_S} T$. В таком случае $\Lambda := \bigcup_{S \in \Phi} \Lambda_S$ является подмножеством $\Sigma$, а тогда
\[\bigcup_{S \in \Phi} S = \bigcup_{S \in \Phi} \bigcup_{T \in \Lambda_S} T = \bigcup_{T \in \Lambda} T \in \Omega\]
\item Пусть $U, V \in \Omega$. Тогда существуют $M, N \subseteq \Sigma$, что $U = \bigcup_{S \in M} S$ и $V = \bigcup_{S \in N} S$. Также для каждой $P = (A, B) \in M \times N$ существует $\Lambda_P \subseteq \Sigma$, что $A \cap B = \bigcup_{S \in \Lambda_P}$. Пусть $\Lambda := \bigcup_{P \in M \times N} \Lambda_S$. Понятно, что $\Lambda \subseteq \Sigma$. Следовательно
\[U \cap V = \left(\bigcup_{A \in M} A\right) \cap \left(\bigcup_{B \in N} B\right) = \bigcup_{(A, B) \in M \times N} A \cap B = \bigcup_{P \in M \times N} \bigcup_{S \in \Lambda_P} S = \bigcup_{S \in \Lambda} S \in \Omega\]
\end{enumerate}
\end{itemize}
\end{proof}
\begin{definition}
\emph{Предбаза} --- семейство $\Delta$ открытых множеств в пространстве $(X, \Omega)$, что $\Omega$ --- наименьшая топология по включению топология, содержащая $\Delta$.
\end{definition}
\begin{theorem}
Любое семейство $\Delta$ подмножеств множества $X$ является предбазой некоторой топологии.
\end{theorem}
\begin{proof}
Определим
\[\Sigma := \{X\} \cup \left\{\bigcap_{A \in W} A \mid W \subseteq \Delta \wedge |W| \in \NN\right\}\]
Заметим, что $\Delta \subseteq \Sigma$. Действительно, для всякого $A \in \Delta$ семейство $W := \{A\}$ является подмножеством $\Delta$, следовательно $A = \bigcap_{T \in W} T \in \Sigma$.
Покажем, что любая топология, которая содержит как подмножество $\Delta$, содержит и $\Sigma$ как подмножество. Действительно, пусть $A \in \Sigma$ (будем считать, что $A$ --- не $X$ и не $\varnothing$; иначе утверждение очевидно). Тогда есть конечное семейство $W \subseteq \Delta$, что $A = \bigcap_{T \in W} T$. Пусть $\Omega$ --- любая топология, содержащая $\Delta$ как подмножество. Тогда $W \subseteq \Omega$, а следовательно $A = \bigcap_{T \in W} T \in \Omega$. Таким образом $\Sigma \subseteq \Omega$. Поэтому для топология, для которой $\Sigma$ будет предбазой, $\Delta$ тоже будет предбазой.
Покажем, что $\Sigma$ удовлетворяет критерию базы.
\begin{itemize}
\item $X \in \Sigma$, значит $\Sigma$ --- покрытие $X$.
\item Пусть $A, B \in \Sigma$. Если $A = X$, то $A \cap B = B = \bigcup_{T \in W} T$, где $W := \{B\} \subseteq \Sigma$. Если $A = \varnothing$, то $A \cap B = \varnothing = \bigcup_{T \in W} T$, где $W := \varnothing \subseteq \Sigma$. Аналогично, если $B$ есть $X$ или $\varnothing$. Иначе есть непустые $V, U \subseteq \Delta$, что $A = \bigcap_{T \in V} T$, а $B = \bigcap_{T \in U} T$. Следовательно $A \cap B = \bigcap_{T \in V \cup U} T$. Но поскольку $V \cup U \subseteq \Delta$, то $A \cap B \in \Sigma$. Таким образом $A \cap B = \bigcup_{T \in W} T$, где $W := \{A \cap B\} \subseteq \Sigma$.
\end{itemize}
Рассмотрим
\[\Omega := \left\{\bigcup_{S \in \Lambda} S \mid \Lambda \subseteq \Sigma\right\}\]
По теореме о критерии базы $\Omega$ --- топология, где $\Sigma$ --- база. С другой стороны $\Omega$ --- множество, которое содержится как подмножество в любой топологии, которая содержит как подмножество $\Sigma$. Следовательно $\Omega$ --- минимальное топология, содержащая как подмножество $\Sigma$, а значит и $\Delta$. Поэтому $\Delta$ --- предбаза в $\Omega$.
\end{proof}
\subsection{Индуцированная топология.}
\begin{theorem}
Пусть $(X, \Omega)$ --- топологическое пространство, а $A \subseteq X$. Тогда множество
\[\Omega_A := \{U \cap A \mid U \in \Omega\}\]
есть топология на $A$.
\end{theorem}
\begin{definition}
Пусть $(X, \Omega)$ --- топологическое пространство, а $A \subseteq X$. Тогда
\[\Omega_A := \{U \cap A \mid U \in \Omega\}\]
--- топология, \emph{индуцированная} множеством $A$, а $(A, \Omega_A)$ --- подпространство $(X, \Omega)$.
\end{definition}
\begin{theorem}\
\begin{itemize}
\item Множества, открытые в подпространстве, не обязательно открыты в объемлющем пространстве.
\item Открытые множества открытого подпространства открыты и во всём пространстве.
\item Если $\Sigma$ --- база топологии $\Omega$, то
\[\Sigma_A := \{U \cap A \mid U \in \Sigma\}\]
--- база индуцированной топологии.
\item Пусть $(X, \Omega)$ --- топологическое пространство и $B \subseteq A \subseteq X$. Тогда $(\Omega_A)_B = \Omega_B$, т.е. топология, которая индуцируется в $B$ топологией, индуцированной в $A$, совпадает с топологией,индуцированной непосредственно из $X$.
\item Пусть $\Omega$ --- топология метрического пространства $(X, d)$, а $A \subseteq X$. Тогда топология, индуцированная $A$ из топологии $\Omega$, совпадает с топологией, порождённой метрикой, индуцированной $A$ из $d$.
\end{itemize}
\end{theorem}
\section{Базовые конструкции на топологических пространствах.}
\subsection{Непрерывность.}
\begin{definition}
Пусть $X$, $Y$ --- топологические пространства. Отображение $f: X \to Y$ называется \emph{непрерывным}, если прообраз всякого открытого множества из $Y$ открыт в $X$.
\end{definition}
\begin{theorem}\
\begin{itemize}
\item Отображение непрерывно тогда и только тогда, когда прообраз замкнутого замкнут.
\item Композиция непрерывных отображений непрерывно.
\item Пусть $Z$ --- подпространство $X$, а $f: X \to Y$ непрерывно. Тогда $f{\mid}_Z: Z \to Y$ непрерывно.
\item Пусть $Z$ --- подпространство $Y$, $f: X \to Y$ и $f(X) \subseteq Z$. Пусть $\widetilde f: X \to Z, x \mapsto f(x)$. Тогда $f$ непрерывна тогда и только тогда, когда $\widetilde f$ непрерывна.
\end{itemize}
\end{theorem}
\begin{definition}
Отображение $f: X \to Y$ называется непрерывным в точке $a \in X$, если для любой окрестности $U$ точки $f(a)$ существует такая окрестность $V$ точки $a$, что $f(V) \subseteq U$.
\end{definition}
\begin{theorem}
Отображение $f: X \to Y$ непрерывно тогда и только тогда, когда оно непрерывно в каждой точке пространства $X$.
\end{theorem}
\begin{proof}
\begin{itemize}
\item[($\Rightarrow$)] Очевидно, $V = f^{-1}(U)$.
\item[($\Leftarrow$)] Пусть $U \in \Omega_Y$. Тогда для всякого $a \in f^{-1}(U)$ есть окрестность $V_a$ точки $a$, что $V_a \subseteq f^{-1}(U)$. Следовательно любая точка $f^{-1}(U)$ внутренняя, а значит $f^{-1}(U)$ открыто.
\end{itemize}
\end{proof}
\begin{theorem}
Пусть $X$ и $Y$ --- топологические пространства, $a \in X$, $f: X \to Y$, $\Sigma_a$ --- база окрестностей в точке $a$ и $\Lambda_{f(a)}$ --- база окрестностей в точке $f(a)$. Тогда $f$ непрерывна в точке $a$ тогда и только тогда, когда для всякого $U \in \Lambda_{f(a)}$ есть $V \in \Sigma_a$, что $f(V) \subseteq U$.
\end{theorem}
\begin{proof}\
\begin{itemize}
\item[($\Rightarrow$)] Пусть $f$ непрерывна в $a$. Рассмотрим любое $U \in \Lambda_{f(a)}$. $U$ --- окрестность $f(a)$, соответственно есть $W$ --- окрестность $a$, что $f(W) \subseteq U$. Но тогда есть $V \in \Sigma_a$, что $V \subseteq W$. Тогда $V \in \Sigma_a$ и $f(V) \subseteq U$.
\item[($\Leftarrow$)] Пусть для всякого $U \in \Lambda_{f(a)}$ найдётся $V \in \Sigma_a$, что $f(V) \subseteq U$. Рассмотрим любую окрестность $U$ точки $f(a)$. Тогда есть семейство $W \in \Lambda_{f(a)}$, что $W \subseteq U$. Следовательно найдётся $V \in \Sigma_a$, что $f(V) \subseteq W$, а следовательно $V$ --- окрестность $a$, и $f(V) \subseteq U$.
\end{itemize}
\end{proof}
\begin{corollary}
Пусть $X$, $Y$ --- метрические пространства, $a \in X$, $f: X \to Y$. Тогда
\begin{enumerate}
\item $f$ непрерывно в точке $a$ тогда и только тогда, когда
\[\forall \varepsilon > 0\; \exists \delta > 0:\quad f(B_\delta(a)) \subseteq B_\varepsilon(f(a))\]
\item $f$ непрерывно в точке $a$ тогда и только тогда, когда
\[\forall \varepsilon > 0\; \exists \delta > 0:\quad d_X(x, a) < \delta \rightarrow d_Y(f(x), f(a)) < \varepsilon\]
\end{enumerate}
\end{corollary}
\begin{definition}
Пусть $X$, $Y$ --- метрические пространства. Отображение $f: X \to Y$ называется \emph{липшицевым}, если:
\[\exists C > 0:\; \forall a, b \in X\quad d_Y(f(a), f(b)) \leqslant C \cdot d_X(a, b)\]
Значение $C$ называют \emph{константой Липшица} отображения $f$.
\end{definition}
\begin{theorem}
Всякое липшицево отображение непрерывно.
\end{theorem}
\begin{proof}
Действительно,
\[\forall \varepsilon > 0\qquad \delta := \frac{\varepsilon}{C}\quad \Longrightarrow\quad \Bigl(d_X(x, a) < \delta\quad \longrightarrow\quad d_Y(f(x), f(a)) \leqslant C \cdot d_X(x, a) < C \cdot \delta = \varepsilon \Bigr)\]
\end{proof}
\begin{example}\
\begin{itemize}
\item Пусть фиксирована точка $x_0$ в метрическом пространстве $(X, d)$. Тогда отображение
\[f: X \to \RR,\; a \mapsto d(a, x0),\]
непрерывно.
\item Пусть $A$ --- непустое подмножество метрического пространства $(X, d)$. \emph{Расстоянием от точки $x \in X$ до множества $A$} называется число
\[d(x, A) := \inf\{d(x, a): a \in A\}.\]
Отображение
\[f: X \to \RR,\; x \mapsto d(x, A),\]
непрерывно.
\item Метрика $d$ на множестве $X$ является непрерывным отображением $X \times X \to \RR$.
\end{itemize}
\end{example}
\subsection{Фундаментальные покрытия.}
\begin{definition}
Покрытие $\Gamma$ топологического пространства $X$ называется \emph{фундаментальным}, если
\[\forall U \subseteq X:\quad \Bigl(\forall A \in \Gamma\quad U \cap A \text{ открыто в } A\Bigr) \quad \longrightarrow \quad \Bigl(U \text{ открыто в } X\Bigr)\]
\end{definition}
\begin{lemma}
Покрытие $\Gamma$ топологического пространства $X$ фундаментально тогда и только тогда, когда
\[\forall V \subseteq X \quad \Bigl(\forall A \in \Gamma\quad V \cap A \text{ замкнуто в } A\Bigr) \quad \longrightarrow \quad \Bigl(U \text{ замкнуто в } X\Bigr)\]
\end{lemma}
\begin{proof}
\begin{itemize}
\item[($\Rightarrow$)] Пусть $\Gamma$ фундаментально. Рассмотрим $V \subseteq X$, что для всякого $A \in \Gamma$ множество $V \cap A$ замкнуто в $A$. Следовательно $(X \setminus V) \cap A$ открыто в $A$, а тогда по фундаментальности $\Gamma$ множество $X \setminus V$ открыто, а значит всё $V$ замкнуто.
\item[($\Leftarrow$)] Аналогично, поменяв местами слова "открыто" и "замкнуто".
\end{itemize}
\end{proof}
\begin{theorem}
Пусть $X$, $Y$ --- топологические пространства, $\Gamma$ --- фундаментальное покрытие $X$ и $f: X \to Y$. Если сужение $f$ на всякое $A \in \Gamma$ непрерывно, то и само $f$ непрерывно.
\end{theorem}
\begin{proof}
Рассмотрим любое открытое в $Y$ множество $U$. Если $A \in \Gamma$, то $f^{-1}(U) \cap A = (f{\mid}_A)^{-1}(U)$ открыто. А в таком случае из фундаментальности $\Gamma$ следует, что $f^{-1}(U)$ открыто. Таким образом $f$ непрерывно.
\end{proof}
\begin{definition}
Покрытие топологического пространства называется
\begin{itemize}
\item \emph{открытым}, если оно состоит из открытых множеств;
\item \emph{замкнутым} --- если из замкнутых;
\item \emph{локально конечным} --- если каждая точка пространства обладает окрестностью, пересекающейся лишь с конечным числом элементов покрытия.
\end{itemize}
\end{definition}
\begin{theorem}\
\begin{enumerate}
\item Всякое открытое покрытие фундаментально.
\item Всякое конечное замкнутое покрытие фундаментально.
\item Всякое локально конечное замкнутое покрытие фундаментально.
\end{enumerate}
\end{theorem}
\begin{proof}
Пусть $\Gamma$ --- данное покрытие.
\begin{enumerate}
\item Пусть дано $U \subseteq X$, что для всякого $A \in \Gamma$ множество $U \cap A$ открыто в $A$, а значит открыто в $X$. Тогда
\[U = U \cap X = \bigcup_{A \in \Gamma} U \cap A\]
есть объединение открытых множеств, а значит само открыто. Таким образом $\Gamma$ фундаментально.
\item Пусть дано $U \subseteq X$, что для всякого $A \in \Gamma$ множество $U \cap A$ замкнуто в $A$, а значит замкнуто в $X$. Тогда
\[U = U \cap X = \bigcup_{A \in \Gamma} U \cap A\]
есть конечное объединение замкнутых множеств, а значит само замкнуто. Таким образом $\Gamma$ фундаментально.
\item Пусть дано $U \subseteq X$, что для всякого $A \in \Gamma$ множество $U \cap A$ открыто в $A$. Рассмотрим некоторую точку $u \in U$ и её окрестность $V_u$, которая пересекается с конечным набором $\Gamma_u$ элементов из $\Gamma$. Тогда для всякого $A \in \Gamma_u$ множество
\[U \cap A \cap V_u = (U \cap A) \cap (A \cap V_u)\]
открыто в $V_u \cap A$. При этом
\[\{V_u \cap A \mid A \in \Gamma_u\}\]
--- конечное замкнутое покрытие $V_u$, а значит $U \cap V_u$ открыто в $V_u$ (по предыдущему пункту), а значит и в $X$. Таким образом $U \cap V_u$ --- окрестность $u$, а значит $u$ --- внутренняя точка $U$. Значит $U$ открыто.
\end{enumerate}
\end{proof}
\subsection{Произведения топологических пространств.}
\begin{theorem}
Пусть $(X, \Omega_X)$ и $(Y, \Omega_Y)$ --- топологические пространства. Тогда
\[\Sigma := \{U \times V \mid U \in \Omega_X \wedge V \in \Omega_Y\}\]
является базой топологии на $X \times Y$.
\end{theorem}
\begin{proof}
Проверим критерий базы:
\begin{enumerate}
\item $X \in \Omega_X$, $Y \in \Omega_Y$, следовательно $X \times Y \in \Sigma$. Таким образом $\Sigma$ --- покрытие $X \times Y$.
\item Пусть $U_1 \times V_1, U_2 \times V_2 \in \Sigma$. Тогда $U_1 \cap U_2 \in \Omega_X$, $V_1 \cap V_2 \in \Omega_Y$, а значит $(U_1 \times V_1) \cap (U_2 \times V_2) = (U_1 \cap U_2) \times (V_1 \cap V_2) \in \Sigma$.
\end{enumerate}
Таким образом $\Sigma$ --- база.
\end{proof}
\begin{definition}
Пусть $(X, \Omega_X)$ и $(Y, \Omega_Y)$ --- топологические пространства, а $\Omega_{X \times Y}$ --- топология, порождённая базой $\Sigma$ из предыдущей теоремы. Тогда $(X \times Y, \Omega_{X \times Y})$ называется \emph{произведением} топологических пространств, а сама $\Omega_{X \times Y}$ называется \emph{стандартной} топологией.
\end{definition}
\begin{remark}
По аналогии если $\Sigma_X$ и $\Sigma_Y$ --- базы топологий $\Omega_X$ и $\Omega_Y$ соответственно, то
\[\Lambda := \{U \times V \mid U \in \Sigma_X \wedge V \in \Sigma_Y\}\]
также являются базой стандартной топологии на $X \times Y$.
\end{remark}
\begin{definition}
Обозначения:
\begin{itemize}
\item $X = \prod_{i \in I} X_i$ --- произведение топологических пространств.
\item Элементами $X$ являются такие функции $x: I \to \bigcup_{i \in I} X_i$, что $x(i) \in X_i$.
\item $p_i: X \to X_i$ --- координатная проекция, где $p_i(x) := x(i)$.
\end{itemize}
\end{definition}
\begin{definition}
Пусть $\{(X_i, \Omega_i)\}_{i \in I}$ --- семейство топологических пространств. \emph{Тихоновская топология} на $X = \prod_{i \in I} X_i$ задаётся предбазой, состоящей из всевозможных множеств вида $p_i^{-1}(U)$, где $i \in I$, а $U \subseteq \Omega_i$.
\end{definition}
\begin{remark}
В случае конечного произведения тихоновская топология совпадает со стандартной. Так как строимая по ней база совпадает с базой из определения конечного произведения.
\end{remark}
\begin{theorem}
Пусть $(X, d_X)$ и $(Y, d_Y)$ --- метрические пространства, $\Omega_X$ и $\Omega_Y$ --- топологии в данных метрических пространствах. Рассмотрим две топологии:
\begin{itemize}
\item $\Omega_{X \times Y}$ --- топология-произведение топологий $\Omega_X$ и $\Omega_Y$;
\item $\Omega_{\max}$ --- топология, порождённая произведением метрик по функции $g := \max$ (см. теорему \ref{generalised_metric_spaces_multiplication_theorem}).
\end{itemize}
Тогда эти топологии совпадают.
\end{theorem}
\begin{proof}
Определим
\[d_{\max}: (X \times Y) \times (X \times Y) \to \RR, ((x_1, y_1), (x_2, y_2)) \mapsto \max(d_X(x_1, x_2), d_Y(y_1, y_2))\]
Таким образом $d_{\max}$ --- метрика, порождающая $\Omega_{\max}$.
\begin{thlemma}
\[B_r^{d_{\max}}((x, y)) = B_r^{d_X}(x) \times B_r^{d_Y}(y)\]
\end{thlemma}
\begin{proof}
Очевидно.
\end{proof}
Вспомним, что
\[
\Sigma_X := \{B_r^{d_X}(x) \mid r > 0 \wedge x \in X\}
\qquad \text{ и } \qquad
\Sigma_Y := \{B_r^{d_Y}(y) \mid r > 0 \wedge y \in Y\}
\]
являются базами $\Omega_X$ и $\Omega_Y$. Следовательно
\[\Sigma_{X \times Y} := \{U_X \times U_Y \mid U_X \in \Sigma_X \wedge U_Y \in \Sigma_Y\}\]
является базой $\Omega_{X \times Y}$. Также заметим, что
\[\Sigma_{\max} := \{B_r^{d_{\max}}((x, y)) \mid r > 0 \wedge x \in X \wedge y \in Y\} = \{B_r^{d_X}(x) \times B_r^{d_Y}(y) \mid r > 0 \wedge x \in X \wedge y \in Y\}\]
является базой $\Omega_{\max}$. При этом несложно видеть, что $\Sigma_{\max} \subseteq \Sigma_{X \times Y}$, следовательно $\Omega_{\max}$ грубее $\Omega_{X \times Y}$. Осталось показать, что $\Sigma_{\max}$ порождает $\Sigma_{X \times Y}$, т.е. всякое $U \in \Sigma_{X \times Y}$ представимо в виде объединения некоторых множеств из $\Sigma_{\max}$.
Пусть $U$ --- некоторый элемент $\Sigma_{X \times Y}$. Тогда есть некоторые $r_X, r_Y > 0$ и $(x, y) \in X \times Y$, что $U = B_{r_X}^{d_X}(x) \times B_{r_Y}^{d_Y}(y)$. Пусть $(x', y') \in U$, тогда $x' \in B_{r_X}^{d_X}(x)$. Следовательно $q_X := r_X - d_X(x, x') > 0$, а $B_{q_X}^{d_X}(x') \subseteq B_{r_X}^{d_X}(x)$; аналогично для $Y$. Пусть $q := \min(q_X, q_Y) > 0$. Тогда
\[V := B_q^{d_X}(x') \times B_q^{d_Y}(y')\]
--- окрестность $(x', y')$. При этом $V \subseteq U$. Значит $U$ представляется в виде объединения всех таких окрестностей для каждой точки $(x', y')$ из него. Но $V \in \Sigma_{\max}$, поэтому $\Sigma_{\max}$ порождает $\Sigma_{X \times Y}$. Значит топология, которая порождает $\Sigma_{\max}$, --- $\Omega_{\max}$ --- содержит как подмножество топологию, которую порождает $\Sigma_{X \times Y}$, --- $\Omega_{X \times Y}$.
Таким образом $\Omega_{\max} = \Omega_{X \times Y}$.
\end{proof}
\begin{theorem}
Пусть дана $g: \RR_+ \times \RR_+ \to \RR_+$, что
\begin{itemize}
\item $\forall x, y \in \RR_+\quad g(x, y) = 0 \leftrightarrow x = y = 0$;
\item $\forall x, y, d \in \RR_+\quad g(x + d, y) \geqslant g(x, y) \wedge g(x, y + d) \geqslant g(x, y)$;
\item $\forall x_1, y_1, x_2, y_2 \in \RR_+ \quad g(x_1 + x_2, y_1 + y_2) \leqslant g(x_1, y_1) + g(x_2, y_2)$;
\item $\forall \alpha > 0\, \exists x, y > 0:\quad 0 < g(x, 0) < \alpha \wedge 0 < g(0, y) < \alpha$.
\end{itemize}
Тогда для любых метрических пространств $(X, d_X)$ и $(Y, d_Y)$ функция
\[
d_g((x_1, y_1), (x_2, y_2)) = g(d_X(x_1, x_2), d_Y(y_1, y_2))
\]
является метрикой, эквивалентной метрике
\[
d_{\max}((x_1, y_1), (x_2, y_2)) = \max(d_X(x_1, x_2), d_Y(y_1, y_2))
\]
\end{theorem}
\begin{proof}
Заметим, что по теореме \ref{generalised_metric_spaces_multiplication_theorem} функция $d_{\max}$ является метрикой. С помощью теоремы \ref{metric_generated_topologies_comparation_theorem} имеем, что нужно показать, что в каждом шаре по одной метрик $d_{\max}$ и $d_g$ есть шар с тем же центром по другой метрики.
Рассмотрим шар $B_r^{d_g}((x, y))$. Тогда по свойству $g$ есть $q_X > 0$, что $0 < g(q_X, 0) < r/2$; аналогично для $Y$. Следовательно для всех точек $x' \in B_{q_X}^{d_X}(x)$ и $y' \in B_{q_Y}^{d_Y}(y)$ верно, что
\begin{multline*}
d_g((x', y'), (x, y))\\
= g(d_X(x', x), d_Y(y', y))\\
\leqslant g(d_X(x', x), 0) + g(0, d_Y(y', y))\\
\leqslant g(q_X, 0) + g(0, q_Y)\\
< \frac{r}{2} + \frac{r}{2} = r
\end{multline*}
Пусть $q := \min(q_X, q_Y)$. Тогда
\[B_q^{d_{\max}}((x, y)) = B_q^{d_X}(x) \times B_q^{d_Y}(y) \subseteq B_{q_X}^{d_X}(x) \times B_{q_Y}^{d_Y}(y) \subseteq B_r^{d_g}((x, y))\]
Т.е. для каждого шара по $d_g$ нашёлся подшар по $d_{\max}$.
\begin{thlemma}
Для всякого $r > 0$ есть такое $q_X > 0$, что
\[\forall x \in \RR_+\qquad g(x, 0) < q_X \longrightarrow x < r\]
Аналогично для $Y$.
\end{thlemma}
\begin{proof}
Рассмотрим $q_X := g(r, 0) > 0$. Тогда если $x \geqslant r$, то $g(x, 0) \geqslant g(r, 0) = q_X$. Следовательно
\[\forall x \in \RR_+\qquad g(x, 0) < q_X \longrightarrow x < r\]
Аналогично для $Y$.
\end{proof}
Рассмотрим шар $B_r^{d_{\max}}((x, y))$. Тогда определим $q_X$ и $q_Y$ по прошлой лемме для $r$ и координат $X$ и $Y$ соответственно. Пусть также $q := \min(q_X, q_Y)$ Тогда
\begin{multline*}
\forall (x', y') \in B_q^{d_g}((x, y))\\
\left\{
\begin{aligned}
&g(d_X(x', x), 0) \leqslant g(d_X(x', x), d_Y(y', y)) = d_g((x', y'), (x, y)) < q \leqslant q_X\\
&g(0, d_Y(y', y)) \leqslant g(d_X(x', x), d_Y(y', y)) = d_g((x', y'), (x, y)) < q \leqslant q_Y
\end{aligned}
\right.\\
\Longrightarrow
\left\{
\begin{aligned}
&d_X(x', x) < r\\
&d_Y(y', y) < r
\end{aligned}
\right.\\
\Longrightarrow d_{\max}((x', y'), (x, y)) = \max(d_X(x', x), d_Y(y', y)) < r\\
\Longrightarrow (x', y') \in B_r^{d_{\max}}((x, y))
\end{multline*}
\end{proof}
\begin{corollary}
Произведения метрических пространств по функции $g(x, y) := (x^\alpha + y^\alpha)^{1/\alpha}$ для всякого $\alpha \geqslant 1$ даёт такую же топологию, что и произведение стандартных топологий на метрических пространствах. В случае $\alpha = 2$ мы имеем стандартное произведение метрических пространств.
\end{corollary}
\begin{theorem}
Пусть $X = \prod_{i \in I} X_i$ --- произведение топологических пространств. Тогда координатные проекции $p_i: X \to X_i$ непрерывны.
\end{theorem}
\begin{proof}
Для всякого открытого в $X_i$ множества $U$ множество $p_i^{-1}(U)$ --- элемент предбазы тихоновской топологии (по определению), поэтому $p_i^{-1}(U)$ открыто, а значит $p_i$ непрерывно.
\end{proof}
\begin{definition}[отображение в $X \times Y$]
Пусть $X$, $Y$, $Z$– топологические пространства. Любое отображение $f: Z \to X \times Y$ имеет вид
\[f(z) = (f_1(z), f_1(z)),\qquad \text{для всех $z \in Z$},\]
где $f_1: Z \to X$, $f_2: Z \to Y$ --- некоторые отображения, называемые \emph{компонентами} отображениями $f$.
\end{definition}
\begin{definition}[отображение в $\prod_{i \in I} X_i$]
Пусть $Z$ и $\{X_i\}_{i \in I}$ --- топологические пространства. \emph{Компонентами} отображения $f: Z \to \prod_{i \in I} X_i$ называются отображения $f_i: Z \to X_i$, задаваемые формулами
\[f_i := p_i \circ f_i\]
\end{definition}
\begin{theorem}[о покоординатной непрерывности]
Пусть $Z$ и $\{X_i\}_{i \in I}$ --- топологические пространства, $X = \prod_{i \in I} X_i$ --- тихоновское произведение.Тогда отображение $f: Z \to \prod_{i \in I} X_i$ непрерывно тогда и только тогда, когда каждая его компонента $f_i$ непрерывна.
\end{theorem}
\begin{proof}
\begin{itemize}
\item[($\Rightarrow$)] $f_i = p_i \circ f$, при этом $p_i$ и $f$ непрерывны, следовательно и $f_i$ непрерывно.
\item[($\Leftarrow$)] Пусть $U$ --- элемент предбазы тихоновской топологии. Тогда существуют $i \in I$ и $V \in \Omega_i$, что $U = p_i^{-1}(V)$, следовательно
\[f^{-1}(U) = f^{-1}(p_i^{-1}(V)) = (p_i \circ f)^{-1}(V) = f_i^{-1}(V)\]
--- открытое множество.
Теперь заметим, что для всякого открытого в $X$ множества $W$ существует семейство $\Sigma$ конечных наборов открытых множеств предбазы, что
\[W = \bigcup_{\Lambda \in \Sigma} \bigcap_{T \in \Lambda} T\]
Следовательно
\[
f^{-1}(W)
= f^{-1}\left(\bigcup_{\Lambda \in \Sigma} \bigcap_{T \in \Lambda} T\right)
= \bigcup_{\Lambda \in \Sigma} f^{-1}\left(\bigcap_{T \in \Lambda} T\right)
= \bigcup_{\Lambda \in \Sigma} \bigcap_{T \in \Lambda} f^{-1}(T)
\]
является открытым, поскольку каждое $f^{-1}(T)$ открыто (т.к. $T$ --- элемент предбазы, для него уже показали), а каждое $\Lambda$ конечно.
\end{itemize}
\end{proof}
\begin{remark}
Также для проверки на непрерывность $f: X \to Y$ достаточно проверить открытость $f^{-1}(U)$ для всякого $U$ из какой-либо базы или предбазы $Y$.
\end{remark}
\begin{remark}
Развёрнутое утверждение неверно: неверно, что если $f: \prod_{i \in I} X_i \to Y$ непрерывно по каждой координате, от непрерывно и в итоге. Для этого несложно проверить, что подходит
\[f: \RR^2 \to \RR, (x, y) \mapsto \begin{cases}
0& \text{если $(x, y) = (0, 0)$}\\
\frac{2xy}{x^2 + y^2}& \text{иначе}
\end{cases}\]
\end{remark}
\subsection{Гомеоморфность.}
\begin{definition}
Пусть $X$, $Y$ --- топологические пространства. Отображение $f: X \to Y$ называется \emph{гомеоморфизмом}, если
\begin{multicols}{3}
\begin{enumerate}
\item $f$ --- биекция,
\item $f$ --- непрерывно,
\item $f^{-1}$ --- непрерывно.
\end{enumerate}
\end{multicols}
\end{definition}
\begin{definition}
Если существует гомеоморфизм между $X$ и $Y$, то $X$ и $Y$ \emph{гомеоморфны}. Обозначение: $X \simeq Y$.
\end{definition}
\begin{theorem}
Гомеоморфность --- ``отношение эквивалентности'' на топологических пространствах.
\end{theorem}
\begin{proof}\
\begin{itemize}
\item Тождественное отображение (любого топологического пространства) есть гомеоморфизм. Следовательно $A \simeq A$.
\item Отображение, обратное гомеоморфизму, есть гомеоморфизм. Следовательно $A \simeq B \leftrightarrow B \simeq A$.
\item Композиция гомеоморфизмов есть гомеоморфизм. Следовательно $A \simeq B \simeq C \rightarrow A \simeq C$.
\end{itemize}
\end{proof}
\begin{remark}\
\begin{itemize}
\item Гомеоморфизм задаёт биекцию между открытыми множествами в $X$ и $Y$.
\item Гомеоморфные пространства неотличимы с точки зрения топологии.
\end{itemize}
\end{remark}
\section{Сложные свойства топологических пространств.}
\begin{definition}
\emph{Топологическое свойство} --- свойство топологического пространства, которое сохраняется при гомеоморфизмах.
\emph{Топологический инвариант} --- характеристика топологического пространства (например, число, группа и т.д.), сохраняющаяся при гомеоморфизмах.
\end{definition}
\begin{remark*}
Для доказательства \emph{негомеоморфности} двух топологических пространств, как правило, находят топологическое свойство или инвариант, который их различает.
\end{remark*}
\subsection{Аксиомы счётности (axioms of countability).}
\begin{remark*}
С этого момента \emph{счётным множеством} называется всякое множество $X$, что есть инъекция $X \to \NN$.
\end{remark*}
\begin{definition}
Топологическое пространство удовлетворяет
\begin{itemize}
\item \emph{первой аксиоме счётности (1АС или \FAC , first axiom of countability)}, если оно обладает счётными базами во всех своих точках (такое пространство называется ``first-countable space'');
\item \emph{второй аксиоме счётности (2АС или \SAC , second axiom of countability)}, если оно имеет счётную базу (такое пространство называется ``second-countable space'').
\end{itemize}
\end{definition}
\begin{theorem}\label{AC_conseq_theorem}
$\SAC \Rightarrow \FAC$.
\end{theorem}
\begin{proof}
Если $\Sigma$ --- база топологии, то для всякого $a \in X$ множество
\[\Sigma_a := \{U \in \Sigma \mid a \in U\}\]
--- база в точке $a$. При этом $|\Sigma_a| \leqslant |\Sigma|$, следовательно выполнена $\FAC$.
\end{proof}
\begin{theorem}
Всякое метрическое пространство удовлетворяет $\FAC$.
\end{theorem}
\begin{proof}
Множество
\[\{B_{\frac{1}{n}}(a)\}_{n=1}^\infty\]
является счётной базой топологии в точке $a$.
\end{proof}
\begin{definition}
Топологическое свойство называется \emph{наследственным}, если из того, что пространство $X$ обладает этим свойством, следует, что любое подпространство пространства $X$ тоже им обладает.
Топологическое свойство называется \emph{наследственным при произведении}, если из того, что пространства $X$ и $Y$ обладают этим свойством, следует, что пространство $X \times Y$ тоже им обладает.
\end{definition}