Wikipedie

Ordinální aritmetika: Porovnání verzí

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
Řádek 26:
<math> \{ [0,0] \} \cup \{ [1,0],[1,1],[1,2],[1,3],... \} = </math><br />
<math> \{ [0,0],[1,0],[1,1],[1,2],[1,3],... \} \,\!</math><br />
Typem této množiny v lexikografickém uspořádání je <math> \omega_0 \,\!</math>, takže <math> 1 + \omega_0 = \omega_0 \,\!</math>. Tady už je to s tou povědomostí je horší - když něco zleva přičtu k množině všech přirozených čísel, dostanu opět množinu přirozených čísel.
 
Doporučuji každému, aby si zkusil podle definice rozepsat <math> \omega_0 + 1 \,\!</math>. Dojde k překvapivému zjištění:<br />
Citováno z „https://cs.wikipedia.org/wiki/Ordinální_aritmetika“