Puede interesarle la aritmética ordinal y cardinal. Aritmética ordinal – Wikipedia, Número cardinal – Wikipedia
Llamamos al ordinal infinito más bajo [math] \ omega. [/ Math] Establecer teóricamente son solo los números de conteo [math] \ omega = \ {0,1,2, \ ldots \} [/ math].
Lo importante para los ordinales es ordenar. Todos los ordinales son pedidos (de pozo) y todas las sumas y productos de pedidos son pedidos nuevos (de pozo).
El tipo de orden de [math] \ omega [/ math] es muy simple (solo el orden de los números de conteo). El tipo de orden de [math] \ omega ^ 2 [/ math] es (contablemente) infinitamente muchos tipos de orden [math] \ omega [/ math] puestos de extremo a extremo. Se parece a esto:
- ¿Cuál es la expansión de Taylor de un semicírculo?
- ¿Por qué es 0 ^ 0 = 1?
- ¿Cómo integraría [math] \ displaystyle \ int_ {0} ^ {1} \ dfrac {\ log (1-x) (\ log (1 + x)) ^ 2} {x} \, dx [/ math] ?
- ¿Cómo es [matemáticas] ([/ matemáticas] [matemáticas] -1) \ cdot (-1) = 1 [/ matemáticas]?
- ¿Cuál es la solución para [matemáticas] 3 ^ x = 3-x [/ matemáticas]?
La imagen es de Wikimedia.
La aritmética cardinal es un poco diferente. Los cardenales tienen que ver con las cardinalidades. Cuando sumas o multiplicas dos cardinales, obtienes otra cardinalidad. El cardenal infinito más pequeño es [math] \ aleph_0. [/ Math] Establecido teóricamente, también son solo los números de conteo.
La interpretación de [math] \ aleph_0 ^ 2 = \ aleph_0 \ cdot \ aleph_0 [/ math] es la siguiente:
[matemáticas] \ aleph_0 ^ 2 = | \ aleph_0 \ times \ aleph_0 | [/ matemáticas]
donde [math] \ times [/ math] denota el producto cartesiano, y las barras verticales indican cardinalidad. En otras palabras, la respuesta es la cardinalidad de todos los pares de números naturales.
¡Pero esto resulta ser simplemente [math] \ aleph_0 [/ math] nuevamente! (https://math.stackexchange.com/q…).