Increíble pero cierto
¡Lo veo, pero no lo creo!
Georg Cantor
Demostró que el conjunto de los números reales no es numerable (es decir, que no se puede poner en correspondencia biunívoca con el conjunto
de los números naturales). Pero no se quedó ahí. Al demostrar que los números reales sí se pueden poner en correspondencia biunívoca con los puntos del plano, es decir, que hay tantos puntos en una recta como en un plano, o que el cardinal de
es igual al cardinal de
. Se quedó tan perplejo que no pudo hacer más que pronunciar esta frase.
08/06/2010
¿Entonces el cardinal de los números complejos es el mismo que el de los reales??
08/06/2010
08/06/2010
El hermoso teorema de Cantor–Bernstein–Schroeder dice que si tenemos aplicaciones inyectivas
y
entonces existe una aplicación biyectiva
. En términos de cardinales con la definición:
inyectiva,
biyectiva,
es de orden incluso cuando los cardinales no son finitos.
podemos concluir
De esta manera resulta que la relación
08/06/2010
Yo tampoco me creía que habría tantos puntos en una recta como en un plano, el día que se lo oí decir al profesor no concebía que fuese así.
08/06/2010
La verdad es que cuesta asimilarlo al principio. Supongo que el hecho de que el cuerpo de los complejos tenga el mismo cardinal que el de los reales es similar a que el de los racionales sea numerable.
08/06/2010
Ahora me asalta la duda de si para todo conjunto infinito
existe una bijección entre
y
.
09/06/2010
Mmm no se mucho de matemáticas así que lo mismo digo una burrada… pero ¿hay algún otro conjunto “mas denso” (o como se diga) con el que el conjunto de los números reales no pueda corresponderse de forma biunívoca? Es decir, que el conjunto R sea a ese otro conjunto como N a R… ¿me explico? ¿tiene algún sentido?
09/06/2010
Tiene mucho sentido lo que dices. Ese conjunto puede ser por ejemplo el conjunto formado todos los subconjuntos de R.
P(R) = {subconjuntos de R} llamado conjunto de partes de R
N es a R
como R es a P(R)
09/06/2010
A mí lo que más me llamó la atención fué que, siendo Q denso en R, fuera la cardinalidad de Q igual que la de N.
Yo creo que, símplemente, no he entendido el alcance real de la numerabilidad de conjuntos infinitos y que lo más que puede hacer mi pobre intuición es equiparar la cardinalidad de conjuntos infinitos con la de los finitos. De ahí que me quede con que “en cualquier ‘trozito’ de espacio, siempre hay más reales que racionales”.
En fin…
09/06/2010
argh! ^DiAmOnD^ se me ha borrado un comentario bastante largo que escribí ayer! alguna idea de qué ha pasado?
09/06/2010
A mí lo que me asombra es que haya cerebros por ahí capaces de sorprenderse con nada relacionado con el infinito. Yo en ese terreno me pierdo tanto que pierdo cualquier capacidad de sorpresa, sean cuales sean las conclusiones a las que lleguen las demostraciones.
Las acepto sin más, igual que podría haber aceptado las contrarias (previa prueba, claro).
10/06/2010
Dani, ni idea. He mirado en spam, porque a veces a Akismet se le va la olla y mete ahí comentarios buenos, pero no está :(.
10/06/2010
¿Por qué dos conjuntos con el mismo cardinal,en uno podemos definir una relación de orden (reales) y en otro no (complejos).
10/06/2010
¡claro que podemos definir una relación de orden en los complejos! de hecho si se acepta el axioma de elección resulta que todo conjunto admite no sólo un orden, si no un orden bueno! (Un orden en un conjunto
se dice un buen orden si todo subconjunto
tiene un mínimo relativo a ese orden:
está bien ordenado (¿demostración?) pero
no, puesto que ni siquiera el propio conjunto tiene un mínimo). De hecho el Principio de la Buena Ordenación es equivalente al axioma de elección (y ambos lo son también al Lema de Zorn y otros principios maximales).
de los reales no se pueda extender a los complejos conservando sus propiedades básicas. La demostración es un ejercicio divertido.
Otra cosa muy distinta es el hecho de que el orden usual
Si quieres un orden explícito en
puedes tomar el orden lexicográfico o “orden del diccionario”:
o
y
.
11/06/2010
Dani, ya publiqué algo sobre ese tema en este post.
11/06/2010
:)…
16/06/2010
Fascinante, el infinito deslumbra.
es precioso el hotel de hilbert y sus variantes. Estas cosas son las que hacen hermosa a la matemática.