Vlastnosti súčtu a súčinu kardinálnych čísel

Zhrnutie prednášky

Prednáška ukazuje, že sčitovanie kardinálnych čísel má obvyklé vlastnosti: A + 0 = A, komutatívnosť a asociatívnosť. Tieto vlastnosti vyplývajú z toho, že pre disjunktné množiny sú zjednotenia na oboch stranách rovnaké, takže hľadanou bijekciou je identita. Ďalej sa dokazuje monotónnosť súčtu: ak B ≤ C, tak A + B ≤ A + C, a to konštrukciou injekcie, ktorá je na A identitou a na B je daná pôvodnou injekciou. Zjednodušený dôkaz využíva voľbu reprezentanta B ako podmnožiny C. Na záver sa dokazuje ℵ₀ + ℵ₀ = ℵ₀ pomocou bijekcie, ktorá dve kópie prirodzených čísel zobrazí na párne a nepárne čísla, a ako dôsledok sa naznačuje, že n + ℵ₀ = ℵ₀ pre konečné n.

• - Sčitovanie kardinálov je definované cez kardinalitu zjednotenia disjunktných množín.
• - Komutatívnosť a asociatívnosť plynú z toho, že obe strany sú tá istá množina, bijekciou je identita.
• - Dôkazy o kardináloch sa často prekladajú na hľadanie vhodnej bijekcie alebo injekcie.
• - Súčet zachováva neostrú nerovnosť: z B ≤ C vyplýva A + B ≤ A + C.
• - Reprezentanta kardinálu možno zvoliť ľubovoľne, napríklad B ako podmnožinu C.
• - ℵ₀ + ℵ₀ = ℵ₀: dve kópie ℕ sa zobrazia na párne a nepárne čísla (f(n,0)=2n, f(n,1)=2n+1).
• - Pre konečné n platí n + ℵ₀ = ℵ₀, čo sa odvodí pomocou nerovností.

Zhrnutie pripravené s pomocou AI z prepisu videa.