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

Smazaný obsah Přidaný obsah
Glivi (diskuse | příspěvky)
m kateg
Řádek 18:
<math> \{ [0,0],[0,1],[0,2] \} \cup \{ [1,0],[1,1] \} = </math><br />
<math> \{ [0,0],[0,1],[0,2],[1,0],[1,1] \} \,\!</math><br />
Typem této množiny v lexikografickém uspořádání (tj. napřed podle prvního a pak podle druhého prvku uspořádané dvojice) je ordinál 5, takže 2 + 3 = 5, což vypadá docela povědomněpovědomě.
 
Součet <math> 1 + \omega_0 \,\!</math> (jako <math> \omega_0 \,\!</math> se značí množina všech přirozených čísel)<br />