¿Por qué una transfinita dada parece ser una exponencial de la transfinita anterior?

Esta pregunta solo tiene sentido en el modelo de transfinitas de Cantor. Para un conjunto finito A con n elementos, el número de subconjuntos de A es [matemática] 2 ^ n [/ matemática]. Entonces, decimos libremente que si la cardinalidad de los enteros es [math] \ aleph_0 [/ math], entonces la cardinalidad del conjunto de todos los subconjuntos de enteros es [math] 2 ^ {\ aleph_0} [/ math]. Parece ser exponencial porque así es como elegimos escribirlo.

Sin embargo, no se debe tomar el modelo de Cantor como evangelio. Hay otros modelos que se ven muy diferentes, por ejemplo, los números surrealistas de Conway. Para Cantor, hay una transfinita más pequeña ([math] \ aleph_0 [/ math]); para Conway, hay una transfinita más simple ([matemáticas] \ omega [/ matemáticas]), pero no hay una más pequeña porque [matemáticas] \ omega-1 [/ matemáticas], [matemáticas] \ omega-2 [/ matemáticas] , [math] \ omega / 2 [/ math], [math] \ sqrt {\ omega} [/ math] y demás también existen. Para Cantor, no hay mayor transfinito; para Conway, hay ( On ). Para Cantor, restar infinitos es absurdo e indefinido; para Conway, está perfectamente bien definido (por ejemplo, es fácil demostrar que [math] \ omega- \ omega = 0 [/ math]).

“Por ejemplo: aleph 1 es” la cardinalidad del conjunto de todos los conjuntos de enteros “.

No. Aleph 1 es el próximo cardenal después de Aleph 0. Lo que eso realmente significa está abierto a interpretación. No puede probar que Aleph 1 es igual a la cardinalidad como el conjunto de todos los subconjuntos en enteros (comúnmente llamado c). Puede crear modelos válidos de teoría de conjuntos donde c es Aleph 1, pero también puede crear modelos válidos donde c es Aleph 2 o Aleph cualquier número natural.

En cuanto a por qué tomar el conjunto de potencia aumenta al menos un cardenal, eso se debe a que no puede biyectar un conjunto con su conjunto de potencia, por lo que no pueden tener la misma cardinalidad. Tenga en cuenta el “al menos un cardenal más alto”, esto ciertamente no prueba que sea el próximo cardenal, solo un cardenal más grande.

More Interesting

¿Cómo se usa el inverso de un elemento de identidad para identificarse?

Cómo calcular el costo por unidad

Un hombre viaja en bote con una velocidad promedio de 5 km / h durante 6 horas. ¿Probar que habría un intervalo de 1 hora en el que el hombre habría recorrido 5 kilómetros?

Conozco la teoría pero no puedo realizar operaciones básicas como sumar y restar en las pruebas.

Quiero volver a ser bueno en matemáticas, ¿qué debo hacer?

¿Hay alguna similitud entre el lenguaje humano y el lenguaje matemático?

¿Cuál es la matemática detrás de la realidad virtual?

¿Cómo difiere la investigación de defensa de la forma en que se realiza la investigación en los servicios financieros? ¿Cómo se traducen estas diferencias en impacto social?

¿Qué piensan los profesores de matemáticas del libro de Marilyn Vos Savant, 'El problema matemático más famoso del mundo: la prueba del último teorema de Fermat'?

¿Existe un protocolo de seguridad alternativo que pueda reemplazar semipreciosos grandes en caso de que se resuelva la factorización en tiempo polinómico?

Cómo dividir 1000 (x) cosas en 20 (y) pilas, cada una más pequeña que la última por la misma cantidad, de manera lineal, donde la pila 21 es 0 en un gráfico

Cómo expresar un patrón en notación sigma

¿Es la media general de la señal siempre proporcional a la transformada de Fourier a una frecuencia de 0, y cómo puedo explicar eso usando las matemáticas?

2 * 2 = 4 y 2 + 2 = 4 así que dime algunos pares más cuyo producto y suma son iguales?

¿Dónde se han colocado los estudiantes de ciencias puras de BITS (todas las ramas) en el pasado?