Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Основные структуры классической математики

.pdf
Скачиваний:
24
Добавлен:
01.05.2015
Размер:
2.59 Mб
Скачать

% * [2],

1923 , 1929 .

) A X, t ,

, *

) ) AÇU, UÎt,

X.

) ! ' *

.

*. +

. *

* +83 1935 :

. 1930 5. .. + ,

( %)

% ( ). $ 7. $), )

. 5

%

X ) X.

) * .

2. :# * '

%.

! , ". X *

) A B. * )

A B . aÎA. 0

bÎB * *

Ub Vb a b . ) BÇVb

B (

 

 

).

$1

BÍV = VbÈV ȼ ÈVd b, c,…, dÎB.

 

) UbÇU Ǽ ÇUd ) a V.

 

83 $ ! 5. .. + (1906± 1993).

171

X

A

 

 

 

Uc

 

B

V

 

 

 

 

 

U

 

 

 

Ub

 

 

 

Ud

Vb

Vc

Vd

 

. 2

- , aÎA ) B

* Ua Va. 2 ) Ua, aÎA, )

A. $1 AÍU = UaÈUxȼ ÈUz

 

a, x,…, zÎA. )

V = VaÇVxǼ ÇVz

) B U ) A

( . 3), ! .

 

 

Vx

X

Uz

A

 

 

 

 

V

 

Uy

B

 

 

 

Ux

 

 

 

Va

Vy

Ua

U

 

 

Vz

 

 

. 3

 

+ X, t ,

X ) , )

172

) τ. (,

!

* ( ) . $ . *. 1. $ X ±

, . . τ={ , X}. , * X

! 2, X T0- .

2.X = {0, 1} τ={ , {0}, X}. $

T0-

T1- .

3.) X

), *

X ) (

3 .). $ % T1- .

4.. [0, 1] !

, )

) {1, 1/2, 1/3,¼ , 1/n,¼ }. 9

%, .

5. 4 * , *

( . [14, 2.4.21]).

).

6. + 5 ( .

8), ,

. $

) ) )

R [3, II, 392].

7. : ' . .

(0, 1)× (0, 1) ) % : M = (a, b)< (c, d) = N , a< c b< d a = c. " 1

) (M, N), M< N. $

, * !

. ' % )

% [14, . 183], . .

.

8.+ !. $ [0, 1) ,

) [a, b),

0≤ a< b≤ 1. 0 !

, . 4., , [3, II, 104].

9.+ X B(X)

. ) -

173

, . . .

., ,

- ). $1 *, ! 1, .

. 2. $ 7±9

. $ 10±14 . 0

, .

. ) *

.

& 5. &, X

:

, ) x X

* (Un) ( ) ,

x ) -

Un;

, X . $ 8. $),

. : 1 ? $ 9. # 6±14

, ?

& 6. ) f: X Y

, f-1(U)

) U Y ) X.

) f: X Y

' (X Y),

± ' (X Y).

. )

* )

. 5 %

* . (

, * , . . ) .

, %

. $1

[0, 1] %

(0, 1);

. # [0, 1] ) )

% ( ?). 5 ) ,

, %

(0, 1).

174

$ . 10. $ %

, ) * .

11.$), )

,

. # 1 ) ?

12.0 ),

) % %

% 1 .

13.C(X) )

* %, X. $),

) ) % C(X)

1.

14.$ , ) Mx={f C(X): f(x)=0}, x X,

C(X).

15.0 ), X 1 , C(X)

Mx ( ) x X.

16. , ϕ: XY ± )

, αϕ: C(Y)→C(X), αϕ(g)=ϕg=gAϕ g C(Y),

%, * 1. , ) Y ± ,

% C(Y)→C(X), * 1,

αϕ

) ϕ: XY. + ,

1 ) X

) C(X)

%, * 1, %. 0 ) 1 ). 4. [15].

1

*

, , . 7 x

X ) [x] = [{x}] ±

! ) X, ) * x. +

, *

). . ) X

,

2 ). $) A ( ) X,

[A] = X. ;, x

175

X ) [x] {x}

[x].

+ X : TD- , [x]\{x}

);

, );

, *

) ;

, T0-

) X [x];

,

) ) .

, «1»

(1 , ), )

) ,

[6]. $ 17. 0 ) * ).

TD- ) ) )

T0- T1- . T0-

(T1- ) ,

( ,

). # T0-

TD- . T0-

. ( )

X )

X, ) . $ . 18 [6, . 135]. 0

X * :

1)X ;

2)) ) X

X;

3)) X .

19 [6, . 139]. $

,

).

20. . 1 1

%. *. 10. N

,

[1, n], n N. ( [n] = {n, n+1, n+2,¼ }, n N,

176

) N. $

TD-

1 ) {1}. ,

, T1- .

11.$* .

N*.

TD-

1.

12.Spec R

R 1,

( * (,

). % R

T0- . .

) .

.,

. . Spec R R

1 R. 5 % Spec R

R. 4. [5, . II, § 4].

$ 21. * .

. 3. . # [16]

Spec R ± 1

, )

. + ) , 1

T1- .

+ ) , *

. + X :

,

* - ) X, ) *

1 ;

%, X T1- -

) ;

% %, X T1-

* -) A B * -

) U X, * 1 ): AÍU BÇU = Æ;

2 % ,

) ;

177

P- ,

) X ).

, , %

1 P- ,

. 4 *

, , ) ,

. 4. [3, 14]. $ . 22. $ ,

* .

23.0 ), 1

* ) .

?

24.$), P- .

25.0 ), P- . 0 1

, -) P- .

26.$ ,

.

*. 13. $ Q

( R) .

14.% Max B B

.

. $

Max B 1 ,

B . 9 . 4

[17].

15.$ X = Y {p}, Y ±

* p Y. p

X 2 ) ) U X,

X\U .

P- X

p ( . . ) {p}

)). 1 . $ ?

. 4. ( )

% ( . [15, 17, 18]). 9 P- , F- , 1

.

, ) ,

) * 1 *

.

178

# 4

1.! . +. ) *

. ± .: . , 1977. ± 368 .

2.! . +., , . +.

. ± .: . , 1971. ± 144 .

3. ! * % !. ., . (. *

). ± .: . , 1974. ± 424 .

4.7. (., & ' (. . + . ± .: . , 1985.± 504 .

5.. . ± .: - -

. ., 1963. ± 292 .

6.. # . ± .: , 1971. ± 708 .

7.0. . . ± #: - -

&&, 2004. ± 215 .

8.1 $. * . ± .: , 1981. ± 432 .

9.1 !. ., 3 +. . 9 % % . ± .: . , 1989. ± 624 .

10.1 <. . . ±

.: , 1983. ± 304 .

11.1 1. +: 2 . ± .: , 1966. ± +. 1. ± 595 .; 1969. ± +. 2. ± 624 .

12.+ ., < ,. $ . ± .: , 1967. ± 224 .

13.) ' 3. + ). ± .: # #, 2006. ±

304 .

14.8 % . * . ± .: , 1986. ± 752 .

15.Gillman L., Jerison M. Rings of continuous functions. ± N. Y.: Springer-Verlag, 1976. ± 302 p.

16.Hochster M. Prime ideal structure in commutative ring // Trans. Amer. Math. Soc. ± 1969. ± V. 142. ± < 8. ± P. 43±60.

17.Stone M. Applications of the theory of Boolean rings to general topology // Trans. Amer. Math. Soc. ± 1937. ± V. 41. ± < 3. ± P. 375±481.

18.Vechtomov E. M. Rings of continuous functions with values in topological division ring // J. Math. Sciences (USA). ± 1996. ± V. 78. ±

<6. ± P. 702±753.

179

5. )

' , ,

,

.

,

! . -

* %,

) ).

5.1. ( &. ( +

4 ) .

1 % ) X

) ) X, -

) 2 È, Ç \:

 

A, BÎ AÈB, AÇB, A\BÎ .

 

;, )

) X )

) Æ AÅB=(A\B)È(B\A)

A, BÎ ,

 

) Å ) Ç84.

X

 

#

)

 

)

 

X, XÎ .

 

X

 

 

 

 

)

)

1 A ) X\A, . .

± B(X).

 

 

& 1. ) X

% m:

®R+, )

X

* # : "A, BÎ AÇB=Æ m(AÈB)=m(A)+m(B).

+ X, , m , m: ®R+ ± ,

; ) μ- . $

) X, m , m-

) ) * ) X. ' m: ®R+ X * .

1.m(Æ)=0.

2."A, BÎ : AÍ B m(A)£ m(B) (% ).

84 # ± B(X), Å, Ç .

180