Nerovnosť kardinálnych čísel je dobre definovaná

Zhrnutie prednášky

Prednáška pripomína, že dve množiny majú rovnakú kardinalitu, ak medzi nimi existuje bijekcia, a nerovnosť kardinálov sa definuje pomocou injekcie: |X| ≤ |Y| platí, keď existuje injekcia z X do Y. Ostrá nerovnosť |X| < |Y| znamená, že injekcia z X do Y existuje, no množiny nemajú rovnakú kardinalitu. Hlavným výsledkom je dôkaz, že táto nerovnosť je dobre definovaná, teda nezávisí od výberu reprezentantov: ak |X| ≤ |Y| a |X'| = |X|, |Y'| = |Y|, tak |X'| ≤ |Y'|. Dôkaz skladá injekciu f z X do Y s bijekciami medzi X' a X a medzi Y a Y' do injekcie z X' do Y'. Ide o prípravu na zavedenie súčtu a súčinu kardinálnych čísel, pri ktorých bude treba overiť dobrú definovanosť rovnako.

• - Rovnaká kardinalita množín znamená existenciu bijekcie medzi nimi.
• - |X| ≤ |Y| platí, ak existuje injekcia z X do Y.
• - Ostrá nerovnosť |X| < |Y|: existuje injekcia z X do Y, ale nie bijekcia.
• - Dobrá definovanosť nerovnosti: výsledok nezávisí od výberu reprezentantov kardinálnych čísel.
• - Dôkaz: zloženie bijekcií a injekcie dáva injekciu z X' do Y'.
• - Príklad: 2 < ℵ₀, nemôže platiť aj opačná nerovnosť pri inom výbere reprezentantov.
• - Dobrú definovanosť bude treba overiť aj pri súčte a súčine kardinálov.

Zhrnutie pripravené s pomocou AI z prepisu videa.