2.

2 Tychonoff

2.2 Tychonoff

2.2.1

2.2.1.
x0 ∈ X B Y {x0 } × B X ×Y N
{x0 } × B {x0 } U B V

{x0 } × B ⊂ U × V ⊂ N.
♥

(x0 , y) ∈ {x0 } × B ⊂ N X Uxy0 Y Vy

(x0 , y) ∈ Uxy0 × Vy ⊂ N.
S S
B= y∈B {y} ⊂ y∈B Vy B y1 , · · · , y k ∈ B

B ⊂ Vy1 ∪ · · · ∪ Vyk =: V.
Tk yi
U= i=1 Ux0 , U 1≤i≤k x0 ∈ U ⊂ Uxy0i
[ [ [
N⊃ (Uxy0 × Vy ) ⊃ (Uxy0i × Vyi ) ⊃ (U × Vyi ) = U × V.
y 1≤i≤k 1≤i≤k □
B
2.2.2. R×R ,

{0} × R ⊂ N = {(x, y) | |xy| < 1},

0 U U × R ⊂ N.

2.2.3.
A X B Y A×B X ×Y N
A X U B Y V

A × B ⊂ U × V ⊂ N. ♥

x0 ∈ A, , U x0 V x0

{x0 } × B ⊂ Ux0 × Vx0 ⊂ N.

A x1 , · · · , x m ∈ A

A ⊂ Ux1 ∪ · · · ∪ Uxm =: U.
Tm
V = i=1 Vxi , B⊂V V
[
A×B ⊂U ×V ⊂ (Uxi × Vxi ) ⊂ N. □
1≤i≤m

72
 2.2 Tychonoff

2.2.4.
A X B Y A×B X ×Y
♠

W A×B . x ∈ A, {x} × B ,
W1x , · · · , Wkx ∈ W

{x} × B ⊂ W1x ∪ · · · ∪ Wkx .

X x Ux

Ux × B ⊂ W1x ∪ · · · ∪ Wkx .

{Ux | x ∈ A} A x1 , · · · , x m A ⊂ Ux1 ∪· · ·∪Uxm .

1 ≤ i ≤ m, W1xi , · · · , Wk(i)
xi
∈W
xi
Uxi × B ⊂ W1xi ∪ · · · ∪ Wk(i) .

[
A × B ⊂ (Ux1 ∪ · · · ∪ Uxm ) × B ⊂ Wjxi ,
1≤i≤m,1≤j≤k(i)

{Wjxi | 1 ≤ i ≤ m, 1 ≤ j ≤ k(i)} W □

2.2.5.
A1 , · · · , A k X1 , · · · , X k A1 ×· · ·×Ak X1 ×· · ·×Xk
♥

¶ Tychonoff

Tychonoff 4

2.2.6. Tychonoff
Q
α Xα ( α Xα , Tproduct )
♥

Tychonoff

πα−1 (Uα )
α Uα

4 A. N. Tychonov, Tikhonov 1906-1993 /

1930 , Tychnoff
1935 Cech
1937 Tychonoff 1935

73
 2.2 Tychonoff

2.2.7.
Y
XN = X = {(a1 , a2 , · · · ) | ai ∈ X}.
n∈N

1.4 , XN M(N, X)
(a) X = {0, 2} XN 0 2
0 2 Cantor
Cantor 0 2
[0, 1] Cantor

2.2.8. Cantor
({0, 2}N , Tproduct ) Cantor C.
♠

({0, 2}N , Tproduct ) !

(b) X = [0, 1] XN [0, 1] a = (a1 , a2 , · · · ).
XN

XN a1 , a 2 , · · · an = (an1 , an2 , · · · ). an1

[0, 1] [0, 1] an an(1,i)
a∞
n(1,i) n(2,i)
a1 1 . a2 [0, 1]
n(2,i)
an(1,i) an(2,i) a2
a∞
2 .

an(1,1) an(2,1) an(3,1) · · ·

an(1,2) an(2,2) an(3,2) · · ·
an(1,3) an(2,3) an(3,3) · · ·
.. .. .. ..
. . . .
an(i,i) .
(an ) □

XN

2.2.9.

¶ v.s.

2.2.10. Tychonoff ⇐⇒
6

74
 2.2 Tychonoff

(a) [ 6
=⇒ ] Tychonoff , ([0, 1][0,1] , Tproduct ) = (M([0, 1], [0, 1]), Tp.c. )

fn : [0, 1] → [0, 1] x n 5
fn fnk , x0 ∈ [0, 1]
k n2k 0 n2k+1 1

fn2k (x0 ) = 0 fn2k+1 (x0 ) = 1.

fnk x0 □
(b) [ 6
=⇒ ] A (M([0, 1], [0, 1]), Tp.c. )

spaceA = {f : [0, 1] → [0, 1] | x ∈ [0, 1] f (x) 6= 0}.

A
A
:::::::::::
A (fn ) S = {x | ∃n fn (x) 6=
0} fn , fn ∈ [0, 1]S .
2.2.9 [0, 1]S fn
A
:::::::::::
t ∈ [0, 1],

At := {f ∈ A | f (t) = 1},

{At } A At = ev−1
t (1)
\
At = ∅.
t∈[0,1]

t1 , · · · , tk ∈ [0, 1]
\
k
Ati 6= ∅.
i=1
A □

2.2.2 Tychonoff

¶ Tychonoff
Q
, α Xα Tproduct
[
S= {πα−1 (Uα ) | Uα ⊂ Xα },
α
Q
πα : β Xβ → Xα Alexander6 Tychonoff

2.2.11. Alexander
(X, T ) X
♥

5 x x = 0.a1 · · · an 1 x = 0.a1 · · · an 0111 · · ·.

6 (James Waddell Alexander II, 1888-1971)
1924 Alexander

75
 2.2 Tychonoff

Tychonoff
Q
A X= α Xα A

A = {πα−1 (U ) | U ∈ Aα },
Q
Aα ⊂ Tα Xα A X = α Xα α0
Aα0 X α0
[ Y [
∀ α, Xα \ U 6= ∅ =⇒ (Xα \ U ) 6= ∅
U ∈Aα U ∈Aα
α

=⇒ A X

Xα0 , Aα0 {U1 , . . . , Um }. {πα−1

0
(U1 ), · · · , πα−1
0
(Um )}
A Alexander ,X □

Alexander

2.2.12.
X A f :A →X
A∈A f (A) ∈ A f A .
♥

7.

Hamel
Hahn-Banach ,
.

R
Banach-Tarski 3 B 3 (1) ⊂ R3
B 3 (1)

Tychonoff

7 Russell

Jerry Bona
Zorn

1924 Tarski
A A×A
Comptes Rendus Fréchet Lebesgue
. Fréchet [ ] ,
Lebesgue
Fundamenta Mathematicae

76
 2.2 Tychonoff

2.2.13.
Q
Xα α Xα ♥

Zorn

2.2.14.
(P, ) .
(1) P Q c∈P Q a ac
c Q .
(2) c∈P P b 6= c bc c P
.
♣

2.2.15. Zorn
(P, ) P P
♥

Zorn
Zorn
8

2.2.16.
(P, ) .
(1) Q P c Q c∈Q c Q
.
(2) P P
♣

N Z
Z R
1904 Zermelo

2.2.17.

8 Gowers Zorn

Zorn

77
 2.2 Tychonoff

¶ Alexander

X
X X , .
Zorn
2X
9 = {A ⊂ T | A X } ∈ 22 .

X 6= ∅.
⊂
( , ⊂) 10
S
(1) E = A ∈ A ⊂T,
(2) E X
(3) E
E ∈ , E {A1 , A2 , · · · , An }. , ∃ A1 , · · · , An ∈
Ai ∈ Ai . ∃ k ∈ {1, 2, · · · , n}

Ai  Ak , ∀ i ∈ {1, 2, · · · , n}.

A1 , · · · , An ∈ Ak , Ak
Zorn , A.
S.

2.2.18
S ∩A X
♥

X S ∩A
A
□
[ 2.2.18 ] x ∈ X, ∃ A ∈ A x ∈ A.
∃ S1 , · · · , S m ∈ S x ∈ S1 ∩ · · · ∩ Sm ⊂ A.

∃1 ≤ k ≤ m Sk ∈ A .

Sk ∈ S ∩ A x ∈ Sk ,
∀ 1 ≤ k ≤ m,

A ≺ Ak := A ∪ {Sk }.

9 wǒ kē.
a, b, x X
A, B, U X 2X
X
A,T X 22
2X
X , 22

10 nι̌ kē

78
 2.2 Tychonoff

A , Ak ∈
/ , Ak {Sk , Ak,1 , · · · , Ak,j(k) },
Ak,i ∈ A .
\
m [
X= (Sk ∪ Ak,1 ∪ · · · ∪ Ak,j(k) ) = (S1 ∩ · · · ∩ Sm ) ∪ ( Ak,j ),
k=1 k,j

(A ∪ B) ∩ (C ∪ D) ⊂ (A ∩ C) ∪ B ∪ D.

{A, Ak,j | 1 ≤ k ≤ m, 1 ≤ j ≤ j(k)}

A □

¶ Tychonoff =⇒

Tychonoff
Tychonoff Tychonoff
2.2.13 Tychonoff

2.2.19. Kelley: Tychonoff =⇒

Tychonoff , 2.2.13
Y
Xα 6= ∅, ∀ α =⇒ Xα 6= ∅.
α
♠

X‹α := Xα ∪ {∞α }, ›
T ›
α = {∅, Xα , {∞α }, Xα }
‹α
X .
Q ‹
Tychonoff ,X = Xα α . {πα−1 (Xα )} X

Y
πα−1
1
(Xα1 ) ∩ πα−1
2
(Xα2 ) ∩ · · · ∩ πα−1
k
(Xαk ) ⊃ Xα1 × · · · × Xαk × {∞α },
α̸=α1 ,··· ,αk

{πα−1 (Xα )} X
\
πα−1 (Xα ) 6= ∅.
α
Q
, ∩α πα−1 (Xα ) α Xα □

2.2.3 Tychonoff

Tychonoff

¶ 1:

2.2.20.
G G = (V, E),
V ,
E ⊂ V × V, ( ).
♣

79
 2.2 Tychonoff

2.2.21.
G = (V, E)
(1) G‹ = (V
‹, E)
‹ ‹ = V, E
V ‹⊂ E ‹
G G . a

(2) ‹
G ‹
E
(3) k ∈ N. f : V → [k] := {1, 2, · · · , k}

ab ∈ E, f (a) 6= f (b),

f G k- .
a ‹⊂V
V ‹ = V.
V ,
‹=V
V .
♣

1951 N. de
Bruijn P. Erdös 11
Gottschalk Tychonoff
:

2.2.22. de Bruijn-Erdös
G ( V ), k ∈ N. G k-
, G k- .
♥

[k] = {1, 2, · · · , k}
Y
X := [k] = {f : V → [k]}.
V
[k] , Tychonoff X F ⊂ E,

XF := {f : V → [k] | f (V, F ) k- }.

11 Paul Erdös, 1913-1996 20

1983/1984 Wolf

1940 Erdös
1,525 Euler 800 511

1
2 Erdös P. Erdös

80
 2.2 Tychonoff

F = {ab} XF

X{ab} = {f : V → [k] | f (a) 6= f (b)}

[
= {f : V → [k] | f (a) = i, f (b) = j}
1≤i̸=j≤k
[
= (πa−1 (i) ∩ πb−1 (j))
1≤i̸=j≤k

XF1 ∩ XF2 = XF1 ∪F2 F ⊂ E,

\
XF = Xab
ab∈F

F = {XF | F ⊂ E }.

F1 , · · · , F m F1 ∪ · · · ∪ Fm

XF1 ∩ XF2 ∩ · · · ∩ XFn = XF1 ∪···∪Fm 6= ∅.

F X ,
\
XF 6= ∅.
XF ∈F

, ∩XF ∈F XF f G k- □

¶ 2: Z

2.2.23.
S S

S = S1 t · · · t S c

c- .
♣

S c- S (S, ∅) c- .
1927 Van der Waerden

2.2.24. Van der Waerden

c k N = N (c, k)a [N ] = {1, · · · , N } c-

[N ] = S1 t · · · t Sc

Si k .
a
Ramsey N (c, k).
2k+9
c2
Gowers 2001 N (c, k) ≤ 22 .
♥

81
 2.2 Tychonoff

2.2.25. Van der Waerden ,

N = S1 t · · · t Sc ,

Sj k∈N Sj k
♥

2.2.24 2.2.25
2.2.24=⇒ 2.2.25
2.2.25=⇒ 2.2.24
2.2.25 2.2.24 k, c [n]

[n] = Sn,1 t · · · t Sn,c ,

Si,j k fn : Z → [c],

 j, 1≤i≤n i ∈ Sn,j ,
fn (i) =
 1, i > n.
2.2.9 fn fnl → f∞ . f∞ : N → [c] N c-

N = S∞,1 t · · · t S∞,c .

2.2.25 S∞,j k a1 , · · · , a k .
[c] i m(i) l > m(i)
fnl (i) = f∞ (i). l = max(m(a1 ), · · · , m(ak ), a1 + · · · + ak )

fnl (i) = f∞ (i), 1 ≤ i ≤ a1 + · · · + ak .

fnl nl [nl ] = Snl ,1 t · · · t Snl ,c Snl ,j

k □
1977 Furstenberg12 van der Waerden
Szemerédi 13 Szemeredi
Furstenberg Furstenberg

van der Waerden

12 Hillel Fursterberg 1935- (2006/7 ) (2020 )

1.2
1955 Yeshiva
13 Erdös Turán 1936 1975 Szemerédi
Szemerédi : N A
|A ∩ {1, · · · , n}|
lim sup > 0,
n→∞ n

k A k

82
 2.2 Tychonoff

2.2.26. van der Waerden

X T :X→X , {V1 , · · · , Vc } X .
∀ k ∈ N, ∃ n ∈ N V ∈ {V1 , · · · , Vc }

V ∩ T −n V ∩ · · · ∩ T −(k−1)n V 6= ∅.
♥

2.2.26 2.2.25 2.2.25 14

2.2.27. Van der Waerden , Z

Z = S1 t · · · t Sc ,

Sj k∈N Sj k
♥

2.2.27=⇒ 2.2.26
x0 ∈ X. f : Z → [c] T n (x0 ) ∈ Vi j<i
T n (x0 ) 6∈ Tj
f (n) = i.

2.2.27, j Sj = f −1 (j) k m, m+n, m+2n, · · · , m+

(k − 1)n f (m + in) = j, 0 ≤ i ≤ k − 1.

T m+in (x0 ) ∈ Vj , 0 ≤ i ≤ k − 1,

T m (x0 ) ∈ Vj ∩ T −n Vj ∩ · · · ∩ T −(k−1)n Vj . □
2.2.26=⇒ 2.2.27
[c] . Tychonoff ,
Y
‹=
X [c] = {f : Z → [c]}
Z

. Z c- ‹
X
‹
X
‹ → X,
T :X ‹ T (f )(n) = f (n − 1).

T
−1
T −1 (πn−1 (i)) = πn−1 (i),

{πn−1 (i)} ‹
X . T −1
T

14 2.2.25 2.2.27 2.2.25 2.2.27 2.2.25

N k Z
2k + 1

83
 2.2 Tychonoff

‹
f ∈X 2.2.27 . ‹
X

X = {T n f | n ∈ Z} = {· · · , T −2 f, T −1 f, f, T f, T 2 f, · · · }.

X ‹
X T (X)
‹
X

T (X) ⊃ {T n f | n ∈ Z},

T (X) ⊃ X. T T −1 , T −1 (X) ⊃ X.

T (X) = X.

1.61 T :X→X ‹→X

T :X ‹ X
T −1 : X → X T :X→X
i ∈ [c],
‹ | f (0) = i} = π −1 (i).
Vi = {f ∈ X 0

Vi ‹
X X 2.2.26, ∀ k ∈ N, ∃ n ∈ N Vj ∈
{Vi | 1 ≤ i ≤ c}

(Vj ∩ T −n Vj ∩ · · · ∩ T −(k−1)n Vj ) ∩ X 6= ∅.

Vj ∩ T −n Vj ∩ · · · ∩ T −(k−1)n Vj ‹
X X = {T −n f | n ∈ Z}.
m
T −m f ∈ Vj ∩ T −n Vj ∩ · · · ∩ T −(k−1)n Vj ,

f ∈ T m Vj ∩ T m−n Vj ∩ · · · ∩ T m−(k−1)n Vj .

f (m) = f (m − n) = · · · = f (m − (k − 1)n) = j.

,Sj k m, m − n, · · · , m − (k − 1)n. □

¶ 3: Banach-Alaoglu

X
k · k : X → [0, +∞) x, y ∈ X λ∈C
kxk ≥ 0, kxk = 0 ⇔ x = 0;
kx + yk ≤ kxk + kyk;
kλxk = |λ|kxk.
(X, k · k) , d(x, y) := kx − yk
X

X ∗ := {l : X → C | l }.

84
 2.2 Tychonoff

X∗ X∗

klk := sup |l(x)|.

∥x∥=1

(X ∗ , k · k) (X, k · k) .

B ∗ := {l ∈ X ∗ | klk ≤ 1}.

1.97
X X∗ X X∗ -∗ X
l∈ X∗ X∗ ∗ evx
X∗ M(X, C) -∗
M(X, C) CX
B∗ -∗

2.2.28. Banach-Alaoglu
X X∗ B∗ -∗
♥

X∗ B∗
Y
Z= {z ∈ C | |z| ≤ kxk} ⊂ CX ,
x∈X
Z Z
X∗ M(X, C) l ∈ X∗
klk ≤ 1 Z . Z f X∗
B∗ x, y ∈ X λ∈C

f (x + y) = f (x) + f (y) f (λx) = λf (x).

Z f ∈ B∗
D = {f ∈ Z | evx+y (f ) = evx (f ) + evy (f ), evαx (f ) = αevx (f ), ∀x, y ∈ X, ∀α ∈ C}
\
= (evx+y − evx − evy )−1 (0) ∩ (evαx − αevx )−1 (0).
x,y,α

D Z Z D
(B ∗ , Tweak∗ ) (D, Tproducut ) B∗ -∗
□

85