5 Теорема Кантора- Бернштейна

С;tелуIощая теорема ,II]JIяе,гсrI олной из осIIоl]lIых lj теории мlIожестI].

Теорема 5.1,. Пусrп,ь А,u В

(Теоулелtа Ka,Hrrloyla, Берн,uL,rпейна. ) dва rtулоuз-
вольньLr непусrпьm лul,о)юесrпва. Еслnl, суul,,есmвуюm по0.1rаноэ+сесmва At С А u,
& С В 1пакlIе, чmо А- Bt u В - At, по А"- В.
.Щоказательство.

7,
)--'.
 Пуст,ь а, - llроl4зi]оJlыrый э"rtешtеltт,, приtlадлежащий Mtlo;KecTBy ,4. По"ltожим
а0 : а. Рассл,tотриtr,l и.l.ерациол]lьlй uроцесс:

l,,
- 9-1(о9), а, -
1-1(tэr), Ь, - g-l(ar), а2
- f -|(Ь2),. . ,,
bn : g-' (on_r). а,,: [-l (Ь")....,

'//
/ lJ//
/ /l/l//
// /)
Ф
/А

2
Этот процесс "lrибо oбpr,rBaeTcrl llocJle llоJ.lучеIIиrl посJIелttеI.о аr, либо IозIJоJI:I-
ет построить бескоltе.Iтlуtо послелователыIость. CooTBeTcTBertrro мпожество А
разбиваетс:t fiа .Iри llеlIересекаIоЩИХСЯ 1IОЛIVIllожес.гва

А: д" U,4,, U ,,4"о.

Злесь ,4., сос'оит из эJlемен'о}J 0,) лJIя которых tlроцесс заtsершается за tle.'.-
'ех
ное чисJlО шагоts; ,4r, состоиТ из,l,ех эJlемен,Iов, лJIя Ko1,opblx 1Iроцесс заtsершае.Iсrl
за нече,гное чисJIо шагоts; А.. cocT,ot,rT из,fех эJIеN,Iентов, лJlrl Ko,I,opblx 1Iроцесс
позволяет построить бескоlте,тпуIо последовательIIость.

3
 Ана;lогичное разбиение
B--B.UB,'UB-
множестtsа В ttроизволи"l,ся с 11омощью итерационшого процесса
\(а2),...,
Ьо-Ьсв, аr:; 1(bu), ь1 -9-1(о1), а2_ f-l(b1), br-g
un:J '(L,, ,). Ь,,:9- '(on'.....

/l,
Эý,
'Ц;

/l
 1 An па В.,
Заметиtчt, ,lTo 9 осуцес1,Iз jlrle,г взаимtlо олItозlIачное отображеIIие
и ,4- lIa Bn, а f осуществляет взаимllо одI{ознаIпIое отображеIIие А., на Вr.

Такилt образоrчr отображение

9 '("), если r€А",

]\
ф(r) - 9'(J), ec,,ll l r€ Аоо,

./ (,r), если r€А.,

осущdствляет взаиNIIто олIтозIIаIIIIос соответствие п,rежду ,4 lr Д
Теорема доказана,

5
 Прu
".ро,
@
т-/,,-,

V/r,,\
1
lfr,uu,,,ч" 4уЧ
1ГD!,лrъопйцк l+a h 4оСrюбЧ

Ац.

{ф-

,чr
*6u4q,re/lTe"l

/"I
6 Понятие о мощности множества
,го l,оtsорr{т, ч1,о они имею,I оли-
Опр. Если множестtsа ,4 и В эквивыlен,Iнь1.
накоRчю ,моu4но(,пlъ (Д - В <+А --Bt.
llоtlятием чисJlа эJlе-
fi;tя коttечtrых MIIoжec.I.B llоllяl.ие IuощIIости совIIалает с
меIIтов мIIожества. Все счетltые мIIожества IIо определеtIиIо имеIот одинаковуIо
мощность. которая обозначается сиNIВолоIVI N9 ("алеф нуль'l),
IIро мrrожества, эквивалеlIтЕые мIIожеству чисел из отрезка [0, 1], говорят,
t{.fo оIlи иNIеlот ЛlюlЦllОСmt) ко]l7пuнууп4а. Эта пtощltость обозttа,tаетсrl сим1JоJIом
с или символом N (llалефl').
Таким образом,

Опр. Пусть мIlожество -4 эквивалентпо ]Iекоторому подмIIожеству мlIоже-

ства В. Тоtда r,оворЯтJто -\1ощность множества ,4 не IIревосхолит мощности
мllожес,l,]Jа В и rtишут А_{ В_
Опр. Если 7 <Е, ноА; В, ,о гоо9!,т) aITo MoITIHocTb множества А меныllе
мощностИ IvIHoжecTBa В и пишуТ А < в. Например, N9 ( С,

использова]lием введеных попятий теорему Каrттора-БерлIштейна можпо

с
переформулировать следуIощим образом.

Теорема 6. t. ( П ер еф о рлl,у лuр о вка TrL е ор е,\4ъL I{ анm ора- Б ер нlлm ейна, )

6
 Срели бескоrtечпых мl{ожес.l.IJ llаиfulеIlьшуtо tr4ощttость имее.l сче.IIIое мIlоже-
ство, Существует ли мIIожество rrаибольшей мощrтости? Оказывается, .tTo IIет,

Пусть 9Jt
мпожество, элеN4еIIтами которого являтотся всевозмож]lые под-
МНОЖеС'гtsа ланного l\,Iножес,гtsа -,4z1. Моцность мilожес,Itsа DJt обозна.лае,гся через
2М. Множество всех подмножеств чисел из отрезка [0, 1] имеет мощность 2.
(лl,оulносmь тurlерко,нrп,uнуу м,а).

Теорема 6.2. л[ -nM

.Щоказательство. Ясно, .,rо Й q Й. Доr.u*еNI, что Й +m

Предtlо.llожим IIро.гиt]tIое; существует ]]заиNllIо олнозfiаIIлое соо.Iве.гс.гtsие
,p:M +lJl.

До=у(ъ)
Рассмсlтtrlим N,I ножес.I.во

Аg-{а€М|аfе(о)},
Пусть об - 9-1(19) Тогда

а0 € Ag + а0 Фр(00)
- Ag + а0 ф Ag,
аоФДо-р(tz0) эо9€,49,
Полу.тепIIое противоречие доказывает теорему.

Следствие. flrя ",rrобоt.о N,IIIожес].гIJа су u_lес,гIJуе.l. MIloжec,l,]Jo боlrьшей мощно-

с,l,и .