Ìîñêîâñêèé ôèçèêî-òåõíè÷åñêèé èíñòèòóò Ôàêóëüòåò èííîâàöèé è âûñîêèõ òåõíîëîãèé Ìàòåìàòè÷åñêàÿ ëîãèêà, îñåíü 2013 Ëåêöèÿ 3: ìîùíîñòè ìíîæåñòâ Àííîòàöèÿ Êîëè÷åñòâî ýëåìåíòîâ â êîíå÷íîì ìíîæåñòâå. Êîððåêòíîñòü îïðåäåëåíèÿ. Ðàâíîñèëüíîñòü ñóùåñòâîâàíèÿ áèåêöèè ìåæäó êîíå÷íûìè ìíîæåñòâàìè è ðàâåíñòâà êîëè÷åñòâ ýëåìåíòîâ â íèõ. Ðàâíîìîùíîñòü ìíîæåñòâ. Ñðàâíåíèå ìíîæåñòâ ïî ìîùíîñòè. Îñíîâíûå ñâîéñòâà. Òåîðåìà ÊàíòîðàÁåðíøòåéíà. Ñ÷¼òíûå ìíîæåñòâà. Ñ÷¼òíîå îáúåäèíåíèå ñ÷¼òíûõ ìíîæåñòâ ñ÷¼òíî. Íåñ÷¼òíîñòü ìíîæåñòâà âñåõ áåñêîíå÷íûõ ïîñëåäîâàòåëüíîñòåé èç íóëåé è åäèíèö. Òåîðåìà Êàíòîðà. Êîíòèíóàëüíûå ìíîæåñòâà. Êîíòèíóóì-ãèïîòåçà. 1 Êîëè÷åñòâî ýëåìåíòîâ â êîíå÷íîì ìíîæåñòâå Åñëè ìíîæåñòâî A êîíå÷íî, òî ÷åðåç |A| îáîçíà÷àåòñÿ êîëè÷åñòâî ýëåìåíòîâ â í¼ì. Èñïîëüçóþò òàêæå îáîçíà÷åíèå #A, îñîáåííî êîãäà A çàïèñàíî ïðè ïîìîùè ôèãóðíûõ ñêîáîê. Ôîðìàëüíî êîëè÷åñòâî ýëåìåíòîâ êîíå÷íîãî ìíîæåñòâà ìîæíî îïðåäåëèòü ïî èíäóêöèè: Ïóñòîå ìíîæåñòâî ÿâëÿåòñÿ 0-ýëåìåíòíûì ìíîæåñòâîì. Åñëè a ∈ A è A \ {a} ÿâëÿåòñÿ n-ýëåìåíòíûì ìíîæåñòâîì, òî ìíîæåñòâî A ÿâëÿåòñÿ (n + 1)ýëåìåíòíûì. Îïðåäåëåíèå 1. Ìíîæåñòâî A íàçûâàåòñÿ äëÿ íåêîòîðîãî n ∈ N. Îïðåäåëåíèå 2. êîíå÷íûì, åñëè îíî ÿâëÿåòñÿ n-ýëåìåíòíûì Íóæíî äîêàçàòü, ÷òî îïðåäåëåíèå êîððåêòíî, ò.å. íå çàâèñèò îò âûáîðà a. Åñëè a1, a2 ∈ A è A \ {a1} ÿâëÿåòñÿ n-ýëåìåíòíûì, òî A \ {a2} òîæå ÿâëÿåòñÿ n-ýëåìåíòíûì. Äîêàçàòåëüñòâî. Áóäåì äîêàçûâàòü óòâåðæäåíèå ïî èíäóêöèè.  êà÷åñòâå áàçû âîçü- Óòâåðæäåíèå 3. ì¼ì ñëó÷àé n = 0.  ýòîì ñëó÷àå A \ {a1 } ïóñòî, îòêóäà A = {a1 }. Ïîñêîëüêó a2 ∈ A, ïîëó÷àåì, ÷òî a2 = a1 . Îòñþäà A\{a2 } = A\{a1 } = ∅, òî åñòü A\{a2 } òîæå 0-ýëåìåíòíî. Ïóñòü äëÿ n óòâåðæäåíèå äîêàçàíî. Äîêàæåì äëÿ n + 1. Ñëó÷àé a1 = a2 î÷åâèäåí, ïîýòîìó ðàññìîòðèì ñëó÷àé a1 6= a2 .  òàêîì ñëó÷àå a2 ∈ A \ {a1 }. Ïîñêîëüêó A \ {a1 } ÿâëÿåòñÿ (n + 1)-ýëåìåíòíûì, ïî ïðåäïîëîæåíèþ èíäóêöèè ïîëó÷àåì, ÷òî A \ {a1 , a2 } = (A \ {a1 }) \ {a2 } ÿâëÿåòñÿ n-ýëåìåíòíûì. À ïîñêîëüêó a1 ∈ A \ {a2 } è (A \ {a2 }) \ {a1 } = A \ {a1 , a2 }, ïîëó÷àåì, ÷òî ìíîæåñòâî A \ {a2 } òîæå ÿâëÿåòñÿ (n + 1)-ýëåìåíòíûì, ÷òî è òðåáîâàëîñü äîêàçàòü. Ñëåäñòâèå 4. Êîíå÷íîå ìíîæåñòâî A ÿâëÿåòñÿ n-ýëåìåíòíûì ðîâíî äëÿ îäíîãî n. Ýòî ÷èñëî n íàçûâàåòñÿ êîëè÷åñòâîì ýëåìåíòîâ â ìíîæåñòâå è îáîçíà÷àåòñÿ |A|. 1 Ïóñòü A è B ñóòü êîíå÷íûå ìíîæåñòâà. Òîãäà ìåæäó íèìè ñóùåñòâóåò áèåêöèÿ â òîì è òîëüêî òîì ñëó÷àå, êîãäà |A| = |B|. Äîêàçàòåëüñòâî. Áóäåì äîêàçûâàòü óòâåðæäåíèå ïî èíäóêöèè. Ïóñòü ñóùåñòâóåò áèÓòâåðæäåíèå 5. åêöèÿ F : A → B è |A| = n. Åñëè n = 0, òî A = ∅ è â ñèëó áèåêòèâíîñòè B òîæå äîëæíî áûòü ïóñòî. Èíà÷å ýëåìåíòó B íè÷åãî áû íå ñîîòâåòñòâîâàëî. Åñëè n > 0, òî A ñîäåðæèò íåêîòîðûé ýëåìåíò a.  ñèëó áèåêòèâíîñòè åìó ñîîòâåòñòâóåò íåêîòîðûé ýëåìåíò b. Òîãäà A \ {a} ÿâëÿåòñÿ (n − 1)-ýëåìåíòíûì, à F A\{a} ÿâëÿåòñÿ áèåêöèåé ìåæäó A \ {a} è B \ {b}. Ïî ïðåäïîëîæåíèþ èíäóêöèè |B \ {b}| = n − 1 è ïîòîìó |B| = n, ÷òî è òðåáîâàëîñü. Îáðàòíî, ïóñòü |A| = |B| = n. Åñëè n = 0, òî A = B = ∅ è åäèíñòâåííîå îòîáðàæåíèå F : ∅ → ∅ ÿâëÿåòñÿ áèåêöèåé. Åñëè n > 0, òî âûáåðåì ïðîèçâîëüíûå a ∈ A è b ∈ B . Òîãäà |A \ {a}| = |B \ {b}| = n1 è ñóùåñòâóåò áèåêöèÿ F : A \ {a} → B \ {b}. Äîïîëíèâ å¼ çíà÷åíèåì F (a) = b, ïîëó÷èì áèåêöèþ ìåæäó A è B . 2 Ñðàâíåíèå ìíîæåñòâ ïî ìîùíîñòè Ïî ñëîâàì Þðèÿ Áóðìàíà, ñóäüáà âñåõ õîðîøèõ òåîðåì ñòàíîâèòüñÿ îïðåäåëåíèÿìè. Ýòî ñëó÷èëîñü è ñ ïîñëåäíåé òåîðåìîé ïðåäûäóùåãî ðàçäåëà: îíà ñòàëà îïðåäåëåíèåì ðàâåíñòâà êîëè÷åñòâà ýëåìåíòîâ â äâóõ ìíîæåñòâàõ. Îïðåäåëåíèå 6. Ìíîæåñòâà A è B íàçûâàþòñÿ åêöèÿ ìåæäó A è B . Îáîçíà÷åíèå: A ∼ = B. ðàâíîìîùíûìè, åñëè ñóùåñòâóåò áè- Ìû íå áóäåì ïîêà ãîâîðèòü î ìîùíîñòÿõ ìíîæåñòâ (êàðäèíàëüíûõ ÷èñëàõ) ñàìèõ ïî ñåáå, à áóäåì ãîâîðèòü ëèøü î ñðàâíåíèè ìîùíîñòåé. Ëåãêî íàáëþñòè ñëåäóþùèå ñâîéñòâà. Ïðè âñåõ A, B è C âûïîëíåíû óòâåðæäåíèÿ: a) A ∼= A (ðåôëåêñèâíîñòü ∼=); b) Åñëè A ∼= B , òî B ∼= A (cèììåòðè÷íîñòü ∼=); c) Åñëè A ∼= B è B ∼= C , òî A ∼= C (òðàíçèòèâíîñòü ∼=). Äîêàçàòåëüñòâî.  ïåðâîì ïóíêòå â êà÷åñòâå áèåêöèè íóæíî âçÿòü idA, âî âòîðîì Óòâåðæäåíèå 7. îáðàòíóþ áèåêöèþ, â òðåòüåì êîìïîçèöèþ áèåêöèé. íå áîëåå ìîùíî, ÷åì ìíîæåñòâî B , åñëè Ãîâîðÿò, ÷òî ìíîæåñòâî A ∼ A = B1 äëÿ íåêîòîðîãî B1 ⊂ B . Îáîçíà÷åíèå: A 6 ∼ B. Îïðåäåëåíèå 8. Ëåãêî ïîíÿòü, ÷òî ñðàâíåíèå ìíîæåñòâ ïî ìîùíîñòè ðåôëåêñèâíî (A 6 ∼ A) è òðàíçè6 6 òèâíî (Åñëè A 6 ∼ B è B ∼ C , òî A ∼ C ). Âìåñòî ñèììåòðè÷íîñòè áóäåò ñâîéñòâî, ïîõîæåå íà àíòèñèììåòðè÷íîñòü, óñòàíàâëèâàåìîå íåòðèâèàëüíîé òåîðåìîé: Òåîðåìà 9 (Òåîðåìà ÊàíòîðàÁåðíøòåéíà). 2 Åñëè A 6∼ B è B 6∼ A, òî A ∼= B . Äîêàçàòåëüñòâî. Åñëè A 6∼ B , òî A ∼= B1 äëÿ íåêîòîðîãî B1 ⊂ B . Îáîçíà÷èì ÷åðåç f ñîîòâåòñòâóþùóþ áèåêöèþ èç A â B1 . Àíàëîãè÷íî B ∼ = A1 äëÿ íåêîòîðîãî A1 ⊂ A, îáîçíà÷èì ÷åðåç g áèåêöèþ èç B â A1 . Îïðåäåëèì A2 êàê g(B1 ). Ïîñêîëüêó B1 ⊂ B , òî A2 = g(B1 ) ⊂ g(B) = A1 , ïðè ýòîì A2 ∼ = B1 ∼ = A. Ïîëó÷èì óòâåðæäåíèå, ýêâèâàëåíòíîå èñõîäíîé òåîðåìå: åñëè A2 ⊂ A1 ⊂ A0 è A2 ∼ = A0 , òî A1 ∼ = A0 . Ýòî óòâåðæäåíèå ìû è áóäåì äîêàçûâàòü. Îáîçíà÷èì ÷åðåç h áèåêöèþ èç A0 â A2 . Äëÿ âñåõ íàòóðàëüíûõ k > 2 îïðåäåëèì ðåêóðñèâíî Ak êàê h(Ak−2 ). Òàêæå îïðåäåëèì ñëîè Ck êàê Ak \ Ak+1 . Ïîñêîëüêó h áèåêöèÿ, òî h(Ck ) = Ck+2 è h çàäà¼ò áèåêöèþ ìåæäó Ck è Ck+2 . Îäíàêî íå îáÿçàòåëüíî ëþáîé ýëåìåíò A0 âîéä¼ò â êàêîé-òî ñëîé. Áóäåò åù¼ ÿäðî C = ∩∞ k=0 Ak . Òîãäà A0 = C ∪ C0 ∪ C1 ∪ C2 ∪ C3 ∪ . . . è A1 = C ∪ C1 ∪ C2 ∪ C3 ∪ . . . . Íàêîíåö, ïîñòðîèì áèåêöèþ α ìåæäó A0 è A1 : ( x, x ∈ C ∪ C1 ∪ C3 ∪ C5 ∪ . . . α(x) = h(x), x ∈ C0 ∪ C2 ∪ C4 ∪ . . . Ýòî äåéñòâèòåëüíî áèåêöèÿ: âñå ýëåìåíòû ñëî¼â ñ íå÷¼òíûìè íîìåðàìè, à òàêæå ýëåìåíòû ÿäðà, îñòàþòñÿ íà ìåñòå, à âñå ñëîè ñ ÷¼òíûìè íîìåðàìè áèåêòèâíî îòîáðàæàþòñÿ â ñëîè ñ íîìåðàìè, íà 2 áîëüøèìè. Òàêèì îáðàçîì, ýêâèâàëåíòíîå óòâåðæäåíèå, à ñ íèì è èñõîäíàÿ òåîðåìà, äîêàçàíû. Íà ìîùíîñòÿõ ìîæíî ðàññìîòðåòü è ñòðîãèé ïîðÿäîê. Îïðåäåëåíèå 10. ÷åíèå: A . B . Ìíîæåñòâî A ìåíåå ìîùíî, ÷åì B , åñëè A 6∼ B , íî A 6∼= B . Îáîçíà- Ñòðîãîå ñðàâíåíèå ìíîæåñòâ ïî ìîùíîñòè àíòèðåôëåêñèâíî (A 6. A äëÿ ëþáîãî A), àíòèñèììåòðè÷íî (÷òî â äàííîì ñëó÷àå îçíà÷àåò, ÷òî åñëè A . B , òî B 6. A) è òðàíçèòèâíî. Ìîæíî äîêàçàòü, ÷òî äëÿ ëþáûõ ìíîæåñòâ A è B âåðíî îäíî èç òð¼õ óòâåðæäåíèé: A . B , A ∼ = B èëè B . A, íî äîêàçàòåëüñòâî èñïîëüçóåò òåîðåìó Öåðìåëî, êîòîðàÿ âûõîäèò çà ðàìêè ýòîãî êóðñà. 3 Ñ÷¼òíûå ìíîæåñòâà Îïðåäåëåíèå 11. N = {0, 1, 2, 3, . . . }. Ìíîæåñòâîì íàòóðàëüíûõ ÷èñåë íàçûâàåòñÿ ìíîæåñòâî Îïðåäåëåíèå 12. Ìíîæåñòâî A íàçûâàåòñÿ ñòâó íàòóðàëüíûõ ÷èñåë. ñ÷¼òíûì, åñëè îíî ðàâíîìîùíî ìíîæå- Ñî ñ÷¼òíûìè ÷èñëàìè ñâÿçàí èçâåñòíûé ïàðàäîêñ Ãàëèëåÿ. Îí ñîñòîèò â ñëåäóþùåì: ðàññìîòðèì ìíîæåñòâî âñåõ êâàäðàòîâ íàòóðàëüíûõ ÷èñåë {n2 | n ∈ N}. Ñ îäíîé ñòîðîíû, â ýòîì ìíîæåñòâå ìåíüøå ýëåìåíòîâ, ÷åì â ìíîæåñòâå íàòóðàëüíûõ ÷èñåë, ïîñêîëüêó ëþáîé êâàäðàò ÿâëÿåòñÿ íàòóðàëüíûì ÷èñëîì, íî íå âñå íàòóðàëüíûå ÷èñëà ñóòü êâàäðàòû. Ñ äðóãîé ñòîðîíû, êâàäðàòîâ ñòîëüêî æå: êàæäîìó ÷èñëó âçàèìíî îäíîçíà÷íî ñîîòâåòñòâóåò åãî êâàäðàò. Îäíàêî, äëÿ áåñêîíå÷íûõ ìíîæåñòâ íå âîçíèêàåò 3 ïðîòèâîðå÷èÿ â òîì, ÷òî ìíîæåñòâî ðàâíîìîùíî ñâîåìó ïîäìíîæåñòâó, ÷òî è ðàçðåøàåò ïàðàäîêñ. Ñ÷¼òíûå ìíîæåñòâà óäîáíî ïðåäñòàâëÿòü êàê ìíîæåñòâà ïðîíóìåðîâàííûõ ýëåìåíòîâ: åñëè A ∼ = N, òî â ÷àñòíîñòè ñóùåñòâóåò áèåêöèÿ a : N → A, ïîýòîìó A = {a(0), a(1), a(2), . . . }. Îáû÷íî íîìåðà ïèøóò íå â ñêîáêàõ, à â èíäåêñå: A = {a0 , a1 , a2 , . . . }. Èçâåñòíà ñëåäóþùàÿ ìåòàôîðà, ïðåäëîæåííàÿ Äàâèäîì Ãèëüáåðòîì. Èìååòñÿ ãðàíäîòåëü, â êîòîðîì äëÿ êàæäîãî íàòóðàëüíîãî ÷èñëà åñòü (îäíîìåñòíàÿ) êîìíàòà ñ òàêèì íîìåðîì. Ìíîæåñòâî íàçûâàåòñÿ ñ÷¼òíûì, åñëè åãî ìîæíî ðàññåëèòü â ýòîì îòåëå. Èìåÿ â âèäó ýòó ìåòàôîðó, óäîáíî äîêàçûâàòü ñâîéñòâà ñ÷¼òíûõ ìíîæåñòâ. Óòâåðæäåíèå 13. Ïóñòü A ñ÷¼òíî, à B ⊂ A. Òîãäà B ëèáî êîíå÷íî, ëèáî ñ÷¼òíî.  òåðìèíàõ ãðàíä-îòåëÿ: åñëè â îòåëå áåñêîíå÷íîå ÷èñëî ïîñòîÿëüöåâ, òî ìîæíî çàíÿòü èìè âñå êîìíàòû îòåëÿ. Äåéñòâèòåëüíî, íóæíî óïëîòíèòüðàññåëåíèå, à èìåííî ïåðåñåëèòü ïîñòîÿëüöà èç êîìíàòû n â êîìíàòó ñ íîìåðîì, ðàâíûì ÷èñëó ïîñòîÿëüöåâ â êîìíàòàõ ñ íîìåðàìè ìåíüøå n. Äîêàçàòåëüñòâî. Äîêàæåì, ÷òî åñëè A ñ÷¼òíî, B ⊂ A è B áåñêîíå÷íî, òî B òàêæå ñ÷¼òíî. Ïóñòü α : A → N áèåêöèÿ. Ðàññìîòðèì β : B → N, îïðåäåë¼ííóþ ðàâåíñòâîì β(b) = #{c ∈ B | α(c) < α(b)}. Òîãäà, âî-ïåðâûõ, β êîððåêòíî îïðåäåëåíà. Âî-âòîðûõ, β ÿâëÿåòñÿ èíúåêöèåé. Åñëè b1 6= b2 , òî α(b1 ) 6= α(b2 ). Åñëè, íàïðèìåð, α(b1 ) < α(b2 ), òî β(b1 ) < β(b2 ), ïîñêîëüêó {c ∈ B | α(c) < α(b2 )} ⊃ {c ∈ B | α(c) < α(b1 )} ∪ {b1 }. Ñëó÷àé α(b1 ) > α(b2 ) àíàëîãè÷åí, òàê ÷òî β(b1 ) 6= β(b2 ) ïðè b1 6= b2 . Íàêîíåö, β ÿâëÿåòñÿ ñþðúåêöèåé. Ðàññìîòðèì ðÿä ÷èñåë #{c ∈ B | α(c) < N }. Ýòî íåóáûâàþùàÿ ïîñëåäîâàòåëüíîñòü, ñîñåäíèå ÷ëåíû êîòîðîé ðàçëè÷àþòñÿ íå áîëüøå, ÷åì íà 1. Çíà÷èò, åñëè îíà íå ïðèíèìàåò êàêîãî-òî çíà÷åíèÿ K , òî îíà íå ïðèíèìàåò è âñåõ á îëüøèõ çíà÷åíèé.  òàêîì ñëó÷àå B íå ìîæåò ñîäåðæàòü áîëüøå K ýëåìåíòîâ, ÷òî ïðîòèâîðå÷èò åãî áåñêîíå÷íîñòè. Òàêèì îáðàçîì, ìû äîêàçàëè èíúåêòèâíîñòü è ñþðúåêòèâíîñòü β , à çíà÷èò è áèåêòèâíîñòü. Óòâåðæäåíèå 14. ñ÷¼òíî. Ïóñòü A ñ÷¼òíîå ìíîæåñòâî, à b 6∈ A. Òîãäà A ∪ {b} òîæå  òåðìèíàõ ãðàíä-îòåëÿ óòâåðæäåíèå ìîæíî ñôîðìóëèðîâàòü òàê: íåñìîòðÿ íà òî, ÷òî âñå êîìíàòû çàíÿòû, â îòåëü ìîæíî ïîäñåëèòü åù¼ îäíîãî ïîñòîÿëüöà. Äåéñòâèòåëüíî, íóæíî ïîïðîñèòü êàæäîãî ïåðåñåëèòüñÿ â ñëåäóþùóþ êîìíàòó, à íîâîãî ïîñòîÿëüöà ïîñåëèòü â íóëåâóþ. Äîêàçàòåëüñòâî. Ôîðìàëüíî, ïóñòü α : N → A áèåêöèÿ. Òîãäà îïðåäåëèì áèåêöèþ β : N → (A ∪ {b}) òàê: β(0) = b è β(n) = α(n − 1) äëÿ n > 0. ßñíî, ÷òî òàêèì îáðàçîì ìîæíî ïîäñåëèòü ëþáîå êîíå÷íîå ÷èñëî ïîñòîÿëüöåâ, îòêóäà ìîæíî âûâåñòè ñëåäóþùåå Óòâåðæäåíèå 15. Åñëè A ñ÷¼òíî, à B êîíå÷íî, òî A ∪ B òîæå ñ÷¼òíî. Îêàçûâàåòñÿ, ìîæíî ïîäñåëèòü è ñ÷¼òíîå ÷èñëî ïîñòîÿëüöåâ. Îáû÷íî ãîâîðÿò òàê: ðÿäîì ñòîÿëè äâà ãðàíä-îòåëÿ, îáà ïîëíîñòüþ çàñåë¼ííûå, à ïîòîì îäèí çàêðûëñÿ íà ðåìîíò. Êàê âñåõ ðàññåëèòü â îñòàâøåìñÿ îòåëå? Ðåøåíèå: íóæíî ïîñòîÿëüöåâ îäíîãî îòåëÿ ðàññåëèòü ïî ÷¼òíûì íîìåðàì, à äðóãîãî ïî íå÷¼òíûì. Ôîðìàëüíî, âåðíî 4 Óòâåðæäåíèå 16. Åñëè A è B ñóòü ñ÷¼òíûå ìíîæåñòâà, òî A ∪ B òîæå ñ÷¼òíî. Äîêàçàòåëüñòâî. ßñíî, ÷òî A ∪ B = A ∪ (B \ A). Åñëè ìíîæåñòâî B \ A êîíå÷íî, òî óòâåðæäåíèå ñëåäóåò èç ïðåäûäóùåãî. Èíà÷å îíî ñ÷¼òíî ïî óòâåðæäåíèþ 13. Òàêèì îáðàçîì, óòâåðæäåíèå äîñòàòî÷íî äîêàçàòü äëÿ íåïåðåñåêàþùèõñÿ A è B .  ýòîì ñëó÷àå ïóñòü α : N → A è β : N → B ñóòü áèåêöèè. Òîãäà ïîñòðîèì áèåêöèþ γ : N → A ∪ B ïî ïðàâèëó: γ(2k) = α(k), à γ(2k + 1) = β(k). Ïî èíäóêöèè ìîæíî äîêàçàòü, ÷òî íå òîëüêî äâà, íî è ëþáîå êîíå÷íîå îáúåäèíåíèå ñ÷¼òíûõ ìíîæåñòâ ñ÷¼òíî. Îêàçûâàåòñÿ, ýòî âåðíî è äëÿ ñ÷¼òíîãî îáúåäèíåíèÿ. Ïðîäîëæàÿ ìåòàôîðó, èìååòñÿ ãðàíä-àâåíþ ãðàíä-îòåëåé, íà êîòîðîé äëÿ êàæäîãî íàòóðàëüíîãî ÷èñëà åñòü ãðàíä-îòåëü ñ òàêèì íîìåðîì. Âñå íîìåðà âñåõ îòåëåé çàïîëíåíû, è âäðóã âûøåë óêàç, çàïðåùàþùèé íàõîæäåíèå áîëåå îäíîãî îòåëÿ íà îäíîé óëèöå. Êàê ïåðåñåëèòü âñåõ â îäèí îñòàâøèéñÿ îòåëü? Îäèí èç âàðèàíòîâ òàêîâ: ïîñòîÿëüöàìè îäíîãî îòåëÿ çàñåëèòü âñå íå÷¼òíûå íîìåðà, ñëåäóþùåãî âñå ÷¼òíûå, íî íå äåëÿùèåñÿ íà 4, ñëåäóþùåãî âñå äåëÿùèåñÿ íà 4, íî íå íà 8, è òàê äàëåå. Áîëåå ôîðìàëüíî, âåðíî Ïóñòü äëÿ êàæäîãî n ∈ N ìíîæåñòâî An ñ÷¼òíî. Òîãäà ìíîæåñòâî ∪∞n=0An òàêæå ñ÷¼òíî. Äîêàçàòåëüñòâî. Âíîâü áóäåì ïðåäïîëàãàòü, ÷òî âñå ýëåìåíòû âñåõ ìíîæåñòâ ðàçëè÷Óòâåðæäåíèå 17. íû. Ïóñòü αn : N → An ñóòü áèåêöèè. Ïîñòðîèì áèåêöèþ β : N → ∪∞ n=0 An ñëåäóþùèì n îáðàçîì: β(2 (2k + 1)) = αn (k). Áèåêòèâíîñòü ñëåäóåò èç òîãî, ÷òî ëþáîå íàòóðàëüíîå ÷èñëî åäèíñòâåííûì îáðàçîì ïðåäñòàâëÿåòñÿ â âèäå 2n (2k + 1). Âìåñòî ñ÷¼òíîãî îáúåäèíåíèÿ ñ÷¼òíûõ ìíîæåñòâ ìîæíî ãîâîðèòü î äåêàðòîâîì ïðîèçâåäåíèè äâóõ ñ÷¼òíûõ ìíîæåñòâ: îäíî èç íèõ çàäà¼ò íîìåð ìíîæåñòâà, à äðóãîå íîìåð ýëåìåíòà â ìíîæåñòâå. Ïî èíäóêöèè ìîæíî äîêàçàòü, ÷òî è ëþáàÿ êîíå÷íàÿ äåêàðòîâà ñòåïåíü ñ÷¼òíîãî ìíîæåñòâà áóäåò ñ÷¼òíûì ìíîæåñòâîì. Îäíàêî, â ýòîì ñëó÷àå ïåðåéòè ê ñ÷¼òíîé ñòåïåíè óæå íå ïîëó÷èòñÿ: åñëè A è B ñ÷¼òíû, òî AB óæå íå áóäåò ñ÷¼òíûì. Ýòî ìû äîêàæåì â ñëåäóþùåì ðàçäåëå. 4 Äèàãîíàëüíûé ìåòîä Êàíòîðà  ýòîì ðàçäåëå ìû ïîçíàêîìèìñÿ ñ äèàãîíàëüíûì ìåòîäîì äîêàçàòåëüñòâà òîãî, ÷òî íåêîòîðîãî îáúåêòà íå ñóùåñòâóåò.  äàííîì ñëó÷àå ìû äîêàæåì, ÷òî äëÿ ñ÷¼òíîãî ìíîæåñòâà A åãî áóëåàí 2A íå ñ÷¼òåí. Íåñóùåñòâóþùèé îáúåêò â äàííîì ñëó÷àå áèåêöèÿ ìåæäó 2A è N. Ïîä ïîíÿòèåì íåñ÷¼òíîå ìíîæåñòâå ìû áóäåì ïîíèìàòü ìíîæåñòâî, êîòîðîå áîëåå ìîùíî, ÷åì N: ôîðìàëüíî êîíå÷íîå ìíîæåñòâî òîæå íå ÿâëÿåòñÿ ñ÷¼òíûì, íî ïî ñóòè åãî ýëåìåíòû âïîëíå ìîæíî ïåðåñ÷èòàòü. Ïóñòü A ñ÷¼òíîå ìíîæåñòâî. Òîãäà åãî áóëåàí 2A íåñ÷¼òåí. Äîêàçàòåëüñòâî. Äîñòàòî÷íî äîêàçàòü, ÷òî ìíîæåñòâî {0, 1}N íåñ÷¼òíî. Ýòî ìíîæå- Òåîðåìà 18. ñòâî åñòü ìíîæåñòâî âñåõ ôóíêöèé èç N â {0, 1}, ò.å. áåñêîíå÷íûõ ïîñëåäîâàòåëüíîñòåé íóëåé è åäèíèö. Ïðåäïîëîæèì îáðàòíîå: ýòî ìíîæåñòâî ñ÷¼òíî. Òîãäà α0 , α1 , α2 , . . . ñóòü 5 âñå òàêèå ïîñëåäîâàòåëüíîñòè. ×åðåç αij îáîçíà÷èì j -ûé ýëåìåíò i-îé ïîñëåäîâàòåëüíîñòè. Òîãäà ðàññìîòðèì ïîñëåäîâàòåëüíîñòü, îáðàòíóþ äèàãîíàëüíîé: di = 1 − αii . Ýòî áóäåò òàêæå ïîñëåäîâàòåëüíîñòü íóëåé è åäèíèö, íî ïðè ýòîì îíà íå ìîæåò âñòðåòèòüñÿ â íàøåì ïåðå÷íå. Âåäü åñëè d = αn , òî dn = αnn , íî ïî îïðåäåëåíèþ dn = 1 − αnn . Îòñþäà αnn = 1 − αnn , ÷òî íåâåðíî íè äëÿ íóëÿ, íè äëÿ åäèèíöû. Ïîëó÷åííîå ïðîòèâîðå÷èå ïîêàçûâàåò, ÷òî ìíîæåñòâî {0, 1}N íåñ÷¼òíî. Äèàãîíàëüíûé ìåòîä â òåõ èëè èíûõ âàðèàöèÿõ âñòðå÷àåòñÿ â òåîðèè âû÷èñëèìûõ ôóíêöèé, ôîðìàëüíîé àðèôìåòèêå, òåîðèè ñëîæíîñòè âû÷èñëåíèé è äðóãèõ íàóêàõ. Êàíòîð ïðèìåíèë äèàãîíàëüíûé ìåòîä è â áîëåå îáùåé ñèòóàöèè. Äîêàçàòåëüñòâî òàêæå íàïîìèíàåò ïàðàäîêñ Ðàññåëà. Ëþáîå ìíîæåñòâî A ìåíåå ìîùíî, ÷åì åãî áóëåàí 2A. Äîêàçàòåëüñòâî. Âíà÷àëå çàìåòèì, ÷òî A 6∼ 2A. Äåéñòâèòåëüíî, A ðàâíîìîùíî ìíîæå- Òåîðåìà 19. ñòâó âñåõ îäíîýëåìåíòíûõ ïîäìíîæåñòâ A. Îñòàëîñü äîêàçàòü, ÷òî A ∼ 6= 2A . Ïðåäïîëîæèì ïðîòèâíîå, ò.å. ÷òî ñóùåñòâóåò áèåêöèÿ f : A → 2A . Ðàññìîòðèì ìíîæåñòâî M = {x | x 6∈ f (x)}. Ýòî ìíîæåñòâî êîððåêòíî îïðåäåëåíî, ïîñêîëüêó f (x) ∈ 2A , ò.å. f (x) ⊂ A, à çíà÷èò âîïðîñ î òîì, ïðèíàäëåæèò ëè x ìíîæåñòâó f (x), ïðàâîìåðåí. Ïîñêîëüêó f ÿâëÿåòñÿ áèåêöèåé, ñàìî ìíîæåñòâî M ðàâíî f (x0 ) äëÿ íåêîòîðîãî x0 . Åñòü äâà âàðèàíòà: x0 ∈ M è x0 6∈ M . Îáà ïðèâîäÿò ê ïðîòèâîðå÷èþ. Äåéñòâèòåëüíî, åñëè x0 ∈ M , òî x 6∈ f (x) äëÿ x = x0 , ò.å. x0 6∈ f (x0 ), ò.å. x0 6∈ M â ñèëó f (x0 ) = M , ÷òî ïðîòèâîðå÷èò ïðåäïîëîæåíèþ. Åñëè æå x0 6∈ M , òî x 6∈ f (x) íåâåðíî äëÿ x = x0 , ò.å.x0 ∈ f (x0 ), îòêóäà x0 ∈ M , ñíîâà èìååì ïðîòèâîðå÷èå. Òàêèì îáðàçîì, ïðîòèâîðå÷èå âîçíèêàåò âî âñåõ ñëó÷àÿõ, è òåîðåìà äîêàçàíà. 5 Êîíòèíóàëüíûå ìíîæåñòâà Èç ïðåäûäóùåãî ðàçäåëà ñëåäóåò, ÷òî ìíîæåñòâî 2N íåñ÷¼òíî. Ýòî ìíîæåñòâî ìîæíî ïðåäñòàâèòü ñåáå êàê ìíîæåñòâî ôóíêöèé èç N â {0, 1}, ò.å. ìíîæåñòâî áåñêîíå÷íûõ ïîñëåäîâàòåëüíîñòåé íóëåé è åäèíèö. Ýòî ìíîæåñòâî òåñíî ñâÿçàíî ñ ìíîæåñòâîì âñåõ òî÷åê íà îòðåçêå. Âíà÷àëå ìû äîêàæåì âñïîìîãàòåëüíóþ ëåììó: Åñëè A áåñêîíå÷íî, à B ñ÷¼òíî, òî A ∪ B ∼= A. Äîêàçàòåëüñòâî. Êàê è ðàíüøå, áóäåì ñ÷èòàòü, ÷òî A ∩ B = ∅. Åñëè A áåñêîíå÷íî, Ëåììà 20. òî â í¼ì íàéä¼òñÿ ñ÷¼òíîå ïîäìíîæåñòâî A1 . Äåéñòâèòåëüíî, åñëè A áåñêîíå÷íî, òî îíî íåïóñòî, ò.å. ñîäåðæèò íåêîòîðûé ýëåìåíò a0 . Ïîñêîëüêó A áåñêîíå÷íî, òî A \ {a0 } òàêæå íåïóñòî, ïîýòîìó ñîäåðæèò íåêîòîðûé ýëåìåíò a1 . Äàëåå, A \ {a0 , a1 } ñîäåðæèò íåêîòîðûé ýëåìåíò a2 , è òàê äàëåå. Ïîëó÷àåì ñ÷¼òíîå ìíîæåñòâî A1 = {a0 , a1 , a2 , . . . }, âêëþ÷¼ííîå â A. Òåïåðü A ∪ B = (A \ A1 ) ∪ A1 ∪ B ∼ = (A \ A1 ) ∪ N ∼ = (A \ A1 ) ∪ A1 = A. Âòîðîå ðàâåíñòâî ñëåäóåò èç òîãî, ÷òî îáúåäèíåíèå äâóõ ñ÷¼òíûõ ìíîæåñòâ ñ÷¼òíî. Ïî òðàíçèòèâíîñòè A∪B ∼ = A, ÷òî è òðåáîâàëîñü. 6 Ìíîæåñòâî òî÷åê íà îòðåçêå [0, 1] ðàâíîìîùíî ìíîæåñòâó áåñêîíå÷íûõ ïîñëåäîâàòåëüíîñòåé íóëåé è åäèíèö. Äîêàçàòåëüñòâî. Êàæäîìó ÷èñëó èç îòðåçêà [0, 1] ìîæíî ñîïîñòàâèòü áåñêîíå÷íóþ ïî- Òåîðåìà 21. ñëåäîâàòåëüíîñòü íóëåé è åäèíèö, ïðåäñòàâëÿþùåå ýòî ÷èñëî â äâîè÷íîé çàïèñè. Áîëåå êîíêðåòíî, åñëè ÷èñëî ëåæèò íà îòðåçêå [0, 21 ], òî ïåðâûé ñèìâîë áóäåò íóë¼ì, èíà÷å åäèíèöåé. Åñëè ÷èñëî ëåæèò íà ëåâîé ïîëîâèíå ñîîòâåòñòâóþùåãî îòðåçêà, òî âòîðîé ñèìâîë áóäåò íóë¼ì, èíà÷å åäèíèöåé, è òàê äàëåå. Ýòî îòîáðàæåíèå ÿâëÿåòñÿ èíúåêòèâíûì, à åãî îáðàç ñîäåðæèò âñå ïîñëåäîâàòåëüíîñòè, êðîìå îêàí÷èâàþùèõñÿ áåñêîíå÷íîé ïîñëåäîâàòåëüíîñòüþ åäèíèö è ñîäåðæàùèõ õîòÿ áû îäèí íîëü (ïîñëåäîâàòåëüíîñòü èç îäíèõ åäèíèö ñîîòâåòñòâóåò ÷èñëó 1). Îäíàêî ïîñëåäîâàòåëüíîñòåé, îêàí÷èâàþùèõñÿ áåñêîíå÷íûì ÷èñëîì åäèíèö, ñ÷¼òíîå ÷èñëî: äîñòàòî÷íî çàäàòü íà÷àëî, ïîñëå êîòîðîãî èäóò îäíè åäèíèöû. Òàêèì îáðàçîì, ìíîæåñòâî òî÷åê íà îòðåçêå [0, 1] îòëè÷àåòñÿ îò {0, 1}N íà ñ÷¼òíîå ìíîæåñòâî. Èñïîëüçóÿ ëåììó, ïîëó÷àåì, ÷òî îíè ðàâíîìîùíû. Îïðåäåëåíèå 22. Ìíîæåñòâà, ðàâíîìîùíûå 2N , íàçûâàþòñÿ êîíòèíóàëüíûìè. Íàçâàíèå êîíòèíóàëüíîå ìíîæåñòâî ïðîèñõîäèò îò ëàòèíñêîãî ñëîâà continuum íåïðåðûâíîå. Âûáîð ýòîãî íàçâàíèÿ ñâÿçàí ñ äîêàçàííîé íàìè òåîðåìîé: êîíòèíóàëüíîå ìíîæåñòâî ðàâíîìîùíî íåïðåðûâíîìó îòðåçêó [0, 1]. Áîëåå òîãî, êîíòèíóàëüíûìè áóäóò âñå ïðîòÿæ¼ííûå ôèãóðû â êîíå÷íîìåðíîì ïðîñòðàíñòâå, â òîì ÷èñëå ïðîñòðàíñòâà öåëèêîì: ïðÿìàÿ R, ïëîñêîñòü R2 è òàê äàëåå. Ýòî ñëåäóåò èç ñëåäóþùèõ äâóõ ëåìì: Ìíîæåñòâî R êîíòèíóàëüíî. Äîêàçàòåëüñòâî. Äåéñòâèòåëüíî, îòðåçîê [0, 1] ðàâíîìîùåí èíòåðâàëó (0, 1), ïîñêîëüËåììà 23. êó îòëè÷àåòñÿ îò íåãî ëèøü íà äâå òî÷êè. À áèåêöèþ èç (0, 1) â R çàäà¼ò ôóíêöèÿ 1 tg π(x − 2 ) . Åñëè A êîíå÷íî èëè ñ÷¼òíî, òî RA êîíòèíóàëüíî. Äîêàçàòåëüñòâî. Óòâåðæäåíèå ñëåäóåò èç ñâîéñòâ ñòåïåíåé ìíîæåñòâ: RA ∼= Ëåììà 24. 2N A ∼ = 2N×A ∼ = 2N ∼ = R. A Íî ìîæíî è íåïîñðåäñòâåííî óêàçàòü áèåêöèþ ìåæäó {0, 1}N è {0, 1}N . Äëÿ ýòîãî A íóæíî ñíà÷àëà ðàññìîòðåòü áèåêöèþ g : N × A → N, à áèåêöèþ f : {0, 1}N → {0, 1}N ïîñòðîèòü òàê: f (b) = (a0 , a1 , a2 , . . . ), ãäå aij = bg(i,j) . Åñëè æå â êà÷åñòâå A âçÿòü êîíòèíóàëüíîå ìíîæåñòâî, íàïðèìåð òî æå R, òî ïîëóR ÷èòñÿ ìíîæåñòâî ìîùíåå êîíòèíóóìà: äåéñòâèòåëüíî, RR ∼ = 2N ∼ = 2N×R ∼ = 2R & R, ãäå ïîñëåäíåå ñîîòíîøåíèå âåðíî ïî òåîðåìå Êàíòîðà. Çàêîí÷èì ëåêöèþ èñòîðè÷åñêèì ðàññêàçîì ïðî êîíòèíóóì-ãèïîòåçó. Ýòà ãèïîòåçà, âûäâèíóòàÿ Ãåîðãîì Êàíòîðîì â 1877 ãîäó, ãëàñèò, ÷òî ëþáîå áåñêîíå÷íîå ïîäìíîæåñâî R ëèáî ñ÷¼òíî, ëèáî êîíòèíóàëüíî. Èíûìè ñëîâàìè, íåò ìíîæåñòâ A, óäîâëåòâîðÿþùèõ ñîîòíîøåíèþ N . A . R.  1900 ãîäó Äàâèä Ãèëüáåðò âêëþ÷èë å¼ â çíàìåíèòûé ñïèñîê èç 23 íåðåø¼ííûõ ïðîáëåì, êîòîðûé XIX âåê îñòàâëÿåò XX-ìó, ïðè÷¼ì ïîä ïåðâûì 7 íîìåðîì. Îäíàêî âïîñëåäñòâèè îêàçàëîñü, ÷òî êîíòèíóóì-ãèïîòåçó íåëüçÿ íè äîêàçàòü, íè îïðîâåðãíóòü â àêñèîìàòèêå ÖåðìåëîÔðåíêåëÿ ñ àêñèîìîé âûáîðà (ZFC).  1940 ãîäó Êóðò üäåëü äîêàçàë, ÷òî â ZFC íåëüçÿ äîêàçàòü îòðèöàíèå êîíòèíóóì-ãèïîòåçû, à â 1963 ãîäó Ïîë Êîýí ïðè ïîìîùè îòêðûòîãî èì ìåòîäà ôîðñèíãà äîêàçàë, ÷òî è ñàìó ãèïîòåçó íåëüçÿ äîêàçàòü â ZFC. 8