Ešte raz Cantor-Bernsteinova veta

Zhrnutie prednášky

Prednáška opäť rozoberá Cantor-Bernsteinovu vetu: ak existujú injekcie f: X → Y aj g: Y → X, existuje bijekcia medzi X a Y. Základná myšlienka dôkazu spočíva vo výbere niektorých šípok zodpovedajúcich f (modré) a niektorých zodpovedajúcich g (červené) tak, aby dokopy tvorili bijekciu. Na konečnom príklade sa ukazuje, že voľba v jednom bode môže vynútiť voľby v ďalších bodoch, no niekedy ostáva viac možností. Na nekonečnom príklade s množinou prirodzených čísel a posunutím o jedna je výber jednoznačný: pre párne čísla vľavo treba modré šípky a pre nepárne červené. Možnosť viacerých výberov vzniká pri cykloch, kde sa vyberá každá druhá šípka.

• - Cantor-Bernsteinova veta: z |X| ≤ |Y| a |Y| ≤ |X| vyplýva |X| = |Y|.
• - Plán dôkazu: z injekcií f a g vybrať niektoré šípky tak, aby vznikla bijekcia.
• - Výber šípky v jednom bode môže vynútiť výber v iných bodoch, pretože šípky sa nesmú zraziť.
• - V konečnom príklade existuje viac možností výberu, lebo šípky tvoria cykly.
• - V cykle sa vyberá každá druhá šípka, preto sú možné dva rôzne výbery.
• - V príklade s prirodzenými číslami je výber jednoznačný: modré šípky pre párne, červené pre nepárne čísla.
• - Príklady slúžia na motiváciu všeobecného dôkazu.

Zhrnutie pripravené s pomocou AI z prepisu videa.