Dôkaz Cantor-Bernsteinovej vety

Zhrnutie prednášky

Prednáška podáva jeden z dôkazov Cantor-Bernsteinovej vety: ak existujú injekcie f: X → Y a g: Y → X, tak existuje bijekcia medzi X a Y. Dôkaz sa delí na dve časti. V prvej sa ukáže, že ak existuje množina C ⊆ X s vlastnosťou X \ g[Y \ f[C]] = C, možno z f a g poskladať bijekciu. V druhej sa existencia takej množiny C zdôvodňuje pomocou zobrazenia F: P(X) → P(X), F(A) = X \ g[Y \ f[A]]. Dokáže sa jeho monotónnosť (z A ⊆ B vyplýva F(A) ⊆ F(B)) a C sa definuje ako zjednotenie všetkých množín B, pre ktoré platí B ⊆ F(B). Zvyšok dôkazu ukazuje, že C je pevný bod zobrazenia F.

• - Cantor-Bernsteinova veta: z |X| ≤ |Y| a |Y| ≤ |X| vyplýva |X| = |Y|.
• - Dané sú injekcie f: X → Y a g: Y → X, ktoré nemusia byť bijekcie.
• - Stačí nájsť C ⊆ X také, že X \ g[Y \ f[C]] = C; potom sa z f na C a g mimo C poskladá bijekcia.
• - Zavedie sa F: P(X) → P(X), F(A) = X \ g[Y \ f[A]], a hľadá sa jeho pevný bod F(C) = C.
• - F je monotónne: A ⊆ B ⇒ F(A) ⊆ F(B), lebo obraz zachováva inklúziu a doplnok ju obracia.
• - C sa definuje ako zjednotenie všetkých B ⊆ X s vlastnosťou B ⊆ F(B).
• - Z monotónnosti a B ⊆ C vyplýva F(B) ⊆ F(C), čo vedie k C ⊆ F(C) a v ďalšom kroku k rovnosti.

Zhrnutie pripravené s pomocou AI z prepisu videa.