Sí, sorprendentemente, hay diferentes tipos de infinito. Generalmente los llamamos órdenes del infinito.
Mi conferencia favorita en UT Dallas es la que doy sobre las órdenes del infinito. Es sorprendente para casi todos que “algunos infinitos son más grandes que otros”.
Para decir esto rigurosamente, debe definir lo que esto significa. Y no es tan difícil de hacer. Aquí hay una definición fácil de entender (y precisa) de lo que significa que dos conjuntos tengan el mismo tamaño (o la misma cardinalidad).
- ¿Quién fue alguna vez un estudiante promedio que se convirtió en un genio de las Matemáticas con el tiempo?
- ¿Cuál es la fórmula de la media?
- ¿Es el núcleo de coseno (como se indica en Kernel (estadísticas)) un núcleo de función de base radial?
- ¿Qué recurso ha hecho que los escritores del concurso de matemáticas de la escuela secundaria tengan un mejor desempeño en los concursos de matemáticas?
- Matemáticamente, ¿qué criterio definiría un distrito compacto en el contexto de gerrymandering? ¿Compacto igual justo?
Deje B y C ser conjuntos. Decimos que B y C tienen la misma cardinalidad (escrita | B | = | C |) si hay una correspondencia uno a uno entre ellos. Esto simplemente significa que puede emparejar los elementos entre los dos conjuntos para que no queden elementos de ninguno de los conjuntos.
Esta es una gran definición, y se ha utilizado de manera informal durante miles de años. Piense en un pastor hace 2000 años que no podía contar más de 10. ¿Cómo podría mostrarle a alguien cuántas ovejas tenía en su rebaño? Podía llevar una bolsa de guijarros con un guijarro por cada oveja. Entonces el conjunto de ovejas era del mismo tamaño que el conjunto de guijarros.
Mira estos dos conjuntos, X e Y.
Las flechas muestran un emparejamiento entre ellas que usa cada elemento de ambos conjuntos exactamente una vez. En otras palabras, muestra una correspondencia uno a uno entre ellos. (Tenga en cuenta que hay muchas formas de emparejar estos elementos).
Puede preguntar: “¿Por qué no definimos dos conjuntos con el mismo tamaño al decir que tienen el mismo número de elementos?” La respuesta es que la definición dada funciona tanto para conjuntos infinitos como para conjuntos finitos.
Así que aquí está el primer resultado no intuitivo. Veamos el conjunto de números naturales, N, y el conjunto de múltiplos de 10, T.
N = {0, 1, 2, 3, 4, …}
T = {0, 10, 20, 30, 40, 50, …}
No dejes que los puntos te confundan. Observe que cada elemento en el conjunto T también está en el conjunto N. Y hay muchos elementos en N que no están en T. Por lo tanto, T es un subconjunto apropiado de N.
Entonces parece claro que | N | > | T |. Pero si eso fuera cierto, estaría diciendo que el conjunto infinito N es “más grande que” el conjunto infinito T. Eso parece ridículo. Que haremos
Ve a la definición. Si podemos emparejar los elementos de N y T, entonces, por definición, son del mismo tamaño. Y podemos. Aquí hay una forma de hacerlo:
Nuevo Testamento
0 0
1 10
2 20
3 30
4 40
… …
Y ahí lo tienes. Como estos conjuntos se pueden emparejar, | N | = | T |. Puede que te sorprenda o no, ya que podrías pensar que infinito es infinito.
Hagamos uno más. ¿Cómo se compara N con el conjunto de enteros, Z, donde Z es:
Z = {… -3, -2, -1, 0, 1, 2, 3, …}
¿Podemos emparejar esto con N? ¡Si! Aquí hay una forma de hacerlo:
Nueva Zelanda
0 0
1 -1
2 1
3 -2
4 2
5 -3
6 3
… …
Entonces ahora sabemos | Z | = | N |.
¿Puede haber un conjunto infinito que no se pueda emparejar con N? Si. Y se ha mostrado en Quora antes. Es uno de los teoremas más famosos y bellos de las matemáticas. Se puede encontrar aquí: el argumento diagonal de Cantor. Una cosa que Cantor demostró (a fines del siglo XIX) fue que | R | > | N | donde R es el conjunto de números reales. Para hacer esto, tenía que demostrar que no existía un emparejamiento entre N y R. Por lo tanto, tiene uno de los resultados más sorprendentes en matemáticas: algunos infinitos son mayores que otros .
Es aun peor. No importa qué conjunto infinito elija, podemos crear otro conjunto infinito que tenga una mayor cardinalidad. Estos diferentes tamaños de infinito se llaman órdenes del infinito.
Déjame confundirte diciendo que hay un número infinito de órdenes de infinito. En otras palabras, hay conjuntos infinitos tales que: | A | <| B | <| C | <| D | <…
Si S es un conjunto infinito y define P (S) como el conjunto de potencia de S, encontrará que | P (S) | > | S |.
Aquí hay un hecho interesante: si definimos el conjunto S = {todos los conjuntos}, este no es un objeto bien definido. Esto se debe a que S, el conjunto de todos los conjuntos, debe tener la mayor cardinalidad de cualquier conjunto. Pero esto contradice el hecho de que, para cualquier conjunto infinito dado, existe un conjunto infinito de mayor cardinalidad. Tristemente, debemos purgar nuestras mentes de pensar en el conjunto de todos los conjuntos.