En el infinito, las cosas no son lo que parecen

Dividir un número entre cero no da como resultado un número infinitamente grande. La razón es que la división se define como una multiplicación a la inversa: si se divide entre cero, y luego se multiplica por cero, debería recuperarse el número con el que se comenzó. Sin embargo, multiplicar infinito por cero da como resultado cero, y ningún otro número. No hay nada que pueda ser multiplicado por cero para dar un resultado que no sea cero; por tanto, el resultado de una división entre cero está literalmente “indefinido”.

Ted Chiang. Dividido entre cero.

Cuando se estudian matemáticas en el bachillerato y en la universidad, el infinito aparece en todo su esplendor. Nos acostumbramos tanto a calcular límites cuando x tiende a infinito y a obtener límites cuyo resultado es “infinito”, que acabamos considerándolo como algo normal.

Sin embargo, el infinito es un concepto peliagudo, que nos puede llevar a paradojas que van contra la propia razón. Georg Cantor dedicó gran parte de su carrera al estudio del infinito y obtuvo resultados que van en contra del sentido común y que le acarrearon más de un enemigo y muchos disgustos personales.

El campo de estudio de George Cantor fue la teoría de conjuntos, y utilizó esta teoría para acercarse al infinito. Por ejemplo, para demostrar que los números enteros pares e impares son conjuntos con el mismo número de elementos, Cantor asignaba a cada número del conjunto de los pares, un número del conjunto de los impares:

pares

Asignación entre los números pares e impares positivos

Si conseguimos que esta asignación sea biunívoca, es decir que a cada elemento de un conjunto le pertenezca un único elemento del otro conjunto y viceversa, habremos demostrado que ambos conjuntos tienen el mismo número de elementos. Una idea elegante y sencilla, pero veamos a dónde nos lleva esta idea si seguimos avanzando.

¿Qué os parece si ahora comparamos los números enteros con los números racionales? Los números racionales son aquellos formados por una fracción en la que numerador y denominador son números enteros. Por ejemplo, 2/1 es un número racional, que a la vez es 2, un número entero. Sin embargo 1/2 es un número racional, pero no es un número entero, ya que tiene parte decimal. Todos los números enteros pueden expresarse como un número racional, simplemente tenemos que dividirlos entre uno, pero no ocurre a la inversa.

Pero ahora comparemos ambos conjuntos a la manera de Cantor. En esta ocasión, Georg ordenó los números racionales de la siguiente forma:

En primer lugar los números cuyo numerador y denominador suman 2, luego los números cuyo numerador y denominador suman 3, y así sucesivamente, colocando primero las fracciones con un numerador menor:

racionales1

Fracciones para las que la suma de denominador y numerador es 2, 3, 4 y 5.

Ahora que hemos conseguido un orden, nos bastará con ir asociando números enteros positivos a cada número racional positivo:

racionales2

Vamos situando las fracciones según la suma de denominador y numerador y vamos asignando a cada una un número entero.

Y como a cada fracción podemos asociarle un número entero y viceversa, podemos deducir que el conjunto de los números racionales tiene el mismo número de elementos que el de los números enteros.

contando

No me miréis así, a Cantor le criticaron tanto que el hombre acabó un poco deprimido, así que ahora no os paséis conmigo, que soy un simple mensajero y queda lo mejor por contar.

Puntos, puntos y más puntos

Vamos ahora a comparar los números enteros con los números reales. Tomemos una recta cualquiera, como esta:

recta

En esta recta hay infinitos puntos: tenemos el 0, el 1, el 0.5, el 0.5000000001, etc. Un día me preguntaron cómo representaría el concepto de infinito, pinté esta misma recta y solté una charla. Sí, tal como estáis pensando, no tengo muchos amigos.

Vamos a ver si podemos relacionar el conjunto de puntos de esta recta con los números enteros. Lo primero será buscar una forma de ordenar los puntos de la recta para poder asociarle, a cada uno, un número entero.

Veamos, podemos empezar por el cero, luego podemos coger el 0.1 y entonces mmmh… No.  Si ponemos luego el 0.1 nos dejamos por el camino el 0.01, y el 0.001, y el 0.o001 y ¡UFF! ¡Podemos seguir hasta tener infinitos ceros antes de poner un miserable 1! Y bueno, estos ejemplos son números racionales, podríamos usar un truco parecido al anterior, pero es que por medio también habrá números irracionales y cada vez que queramos realizar una ordenación, el listo de turno podrá añadir un nuevo decimal y reírse de nosotros.

tfacepalm

Cuando abrimos el tarro de las esencias de los números reales, nos aparece un número infinito de decimales y en muchas ocasiones sin ningún tipo de periodicidad.

No podemos conseguir una ordenación de los puntos que hay dentro de nuestra recta que nos permita asociar cada uno de ellos a un número entero. Para realizar la demostración, Cantor pensó en un orden cualquiera asociado a los números reales entre 0 y 1, por ejemplo:

ordenacionimposible4

En esta matriz estarían todos los números reales entre cero y uno, con un número entero asociado. Ahora bien, formemos un número de la siguiente forma: del primer número escogemos el primer decimal, le sumamos uno y lo colocamos en el primer decimal de nuestro nuevo número; del segundo número escogemos el segundo decimal, le sumamos uno y lo situamos en el lugar del segundo decimal y así sucesivamente. En nuestro caso tendríamos: 0.309448498…

Pues bien, el número que acabamos de crear, no forma parte de la ordenación anterior. En cualquier lugar que lo coloquemos, el decimal correspondiente a esa posición será incorrecto. Por ejemplo, si lo colocáramos en la posición 9, el noveno decimal es diferente, ya que su valor es el de ese mismo decimal más uno. El número que hemos creado siempre “chocará” en la diagonal independientemente de donde queramos colocarlo. La ordenación que hemos supuesto inicialmente es imposible.

Ante este hecho, Cantor declaró que el infinito del número de puntos que se encuentran en una recta es de un orden superior al infinito del número de elementos de los números enteros.

Pero, ¿y si comparamos nuestra pequeña recta con una más grande?

triángulo

En este simple esquema, podemos ver cómo siempre podremos asignar a cada punto de la recta más grande (roja), uno de la recta más pequeña (azul). Solo hay que colocar las rectas formando un triángulo y lanzar líneas paralelas como las que vemos en el esquema.

¿Y si la segunda recta es infinitamente larga? Para verlo mejor me vais a permitir un truco: doblar la primera recta hasta formar un círculo, y lo  colocamos así en nuestra recta infinita:

lineaycirculo

Bueno, imaginad que la línea roja sigue hacia el infinito por la derecha y por la izquierda, tampoco seamos tiquismiquis.

Ahora ponemos un punto fijo arriba, en la parte del círculo más alejada de la recta, y un punto móvil abajo:

lineacirculointerseccion

Al trazar una recta que atraviesa ambos puntos, tenemos una intersección con la línea roja. Ahora movamos el punto móvil bordeando el semicírculo que queda debajo de la línea roja:

infinitoabajo0

Al mover el punto sobre el semicírculo de abajo, podemos obtener cada uno de los puntos de la recta que quedan dentro del círculo. Solo tenemos que tomar pasos cada vez más pequeños si queremos más precisión. ¿Pero qué pasa cuando movemos el punto por el semicírculo que queda encima de la recta?

infinitoarriba0

Podemos obtener todos los puntos que hay en la recta y que han quedado fuera del círculo jugando con el desplazamiento del punto móvil; a medida que lo hagamos con más precisión, podremos obtener cualquier punto que deseemos. Si queremos obtener los puntos negativos, solo tenemos que recorrer el resto del semicírculo.

Así que el conjunto de puntos de cualquier recta que elijamos tiene la misma cardinalidad, independientemente de su tamaño, incluso si tenemos una recta de un tamaño infinito.

cantorinfinito2

Subiendo de dimensión

¿Y los puntos de un cuadrado? Evidentemente el conjunto de los puntos de un cuadrado tendrá un número infinito de elementos, pero ¿será comparable a una recta?

Habrá que buscar una forma de ordenar los pares de puntos de un cuadrado de forma que cada uno se corresponda con un único punto de la recta. Vamos a escoger un cuadrado de lado 1 y una recta de longitud 1:

cuadradoyrecta

Escogemos un punto del cuadrado y obtenemos sus coordenadas, por ejemplo (0.25, 0.33). Podríamos crear a partir de estas coordenadas el siguiente número: 0.2533, incluyendo primero los decimales de la primera coordenada y luego los de la segunda.

cuadradomal1

Pero ¿y si cogemos el par de puntos (0,2 ,0,533)? Pues no, no funciona, porque el punto de la recta que obtendríamos sería 0.2533, el mismo que habíamos obtenido antes.

cuadradomal2

¿Cómo podemos conseguir una ordenación que nos permita asignar a cada par de puntos del cuadrado un punto de la recta? Piénsalo un poco, intenta dar con la forma correcta para formar el valor asignado a la recta y, cuando quieras ver la solución, ve al final del artículo.

La solución existe y llevó a Cantor a proclamar que el segundo orden de infinito era el formado por el conjunto de puntos de cualquier objeto geométrico, en un número de dimensiones cualquiera. Es decir, el conjunto de los puntos que se encuentra dentro de un cubo de cualquier tamaño tiene la misma cardinalidad que el conjunto de los puntos que hay dentro de una pequeña recta.

Hay un tercer orden de infinito descubierto por Cantor, pero esa es otra historia que merece ser contada en otra ocasión, ahora os dejo con una última paradoja.

La paradoja final

Si has llegado hasta aquí, te estoy infinitamente agradecido, aunque debo confesarte que en todo lo que he contado hay oculta una paradoja muy curiosa.

Hemos visto cómo a partir de un círculo podemos obtener todos los puntos de la recta real. ¿Todos?, ¿seguro?

A medida que acercamos el punto móvil al fijo, por la derecha o por la izquierda, obtenemos cada vez valores más grandes, prácticamente imposibles de transcribir. ¿Cuándo alcanzaremos el valor infinito exactamente? Lo lógico sería pensar que lo obtendremos cuando los dos puntos se junten, ocupando el mismo espacio.

paradoja

Pero si se trata del mismo punto, ¿cómo podemos trazar la línea recta que servía para conseguir la intersección con la recta real? No, no se puede. Con un solo punto no puede definirse una línea porque, amigos, el infinito es indefinido.

bart

MULTIPLÍCATE POR CERO

Hay una forma de llegar a formar esa línea recta, al prescindir del punto móvil y usar “otra cosa”, pero también llegaríamos a una paradoja. ¿Te animas a intentarlo?

La solución al cuadrado

Para obtener un solución al problema del cuadrado hay que utilizar un truco muy ingenioso:

Tenemos 0.25 y 0.5. Pues bien, lo que haremos será ir escogiendo en cada ocasión un decimal de cada uno de los puntos. Primero cogeremos el 2 de 0.25, luego el 5 de 0.53, a continuación el 5 de 0.25 y así sucesivamente. De esta forma tendremos:

coordenadas1

Cuando una de las coordenadas no tiene el mismo número de cifras significativas que la otra, utilizaremos el cero. Por ejemplo (0.200, 0.553)

Mediante este sistema, podemos situar cada par de puntos del cuadrado en un único punto de la recta. Además, si nos fuéramos a un número mayor de dimensiones, solo tendríamos que ir repitiendo el proceso para más coordenadas, por ejemplo:

coordenadas2

En definitiva, Cantor era un genio.

Este artículo participa en la edición 5.6: Paul Erdős del Carnaval de Matemáticas. El carnaval tiene lugar en el blog Cifras y teclas, un lugar que no os podéis perder.

Más información

One Two Three . . . Infinity: Facts and Speculations of Science (Dover Books on Mathematics). George Gamow.

Georg Cantor en Wikipedia en español, Wikipedia en inglés (más completo).

La historia de tu vida. Recopilatorio de relatos de ciencia ficción en el que aparece división por cero.

@SamuelDalva este artículo le ha recordado la paradoja de la rueda de Aristóteles.

@Gaussianos nos ha recordado un artículo sobre la diagonalización de Cantor.

Por último, tengo que agradecer a mi profesor de Métodos Matemáticos I en la UNED, Juan Perán, por descubrirme esta historia en una de sus magníficas clases.

Meme(z): Descripción musical

Pues sí, he caído en las redes de un meme(z) por culpa de DrLitos, de hecho tengo pendiente varios. Como este iba de música, me ha picado el gusanillo y voy a salir de mi retiro mediático para dar respuesta al desafío.

  • Normas : Escoge una banda/grupo favorito, y responde solo con títulos de sus canciones.
  • Nominado por: DrLitos
  • Banda o grupo elegido: Dream Theater, últimamente están un poco cascadetes, pero que años 20 me hicieron pasar :_)

¿Eres hombre o mujer?

As I Am.

Descríbete

Caught in a web.

¿Qué sienten las personas acerca de ti?

Enigma Machine.

¿Cómo describirías tu anterior relación sentimental?

6:00.

Describe tu actual relación con tu pareja

The dance of eternity.

¿Dónde quisieras estar ahora?

Peruvian skies (visitando cierto array de telescopios).

¿Cómo eres respecto al amor?

Through her eyes.

¿Cómo es tu vida?

Genial, digo stream of consciousness.

¿Qué pedirías si tuvieras un solo deseo?

A change of seasons (como el de las elecciones europeas, pero a lo bestia).

Escribe una cita o frase sabia

Lines in the sand.

Ahora despídete

Finally free.

Y ahora solo queda nominar a alguien para que perpetúe este ejercicio de egoblogoirrelevancia en el que nos embarcó inicialmente eulez. Y los nominados son:

 

Aquí tenéis la lista de canciones para los que disfrutéis de Spotify: meme(z).

Nos vemos al final de los exámenes : )

¡VIVA LA EGOBLOGOIRRELEVANCIA!

¿Vacaciones?

En realidad, de vacaciones, poco. Estamos de mudanza, con exámenes, con el trabajo y con un niño que solo quiere estar en la calle con su moto de plastiquete y su pelota de spiderman.

inauguracion

El pequeño zombi inaugurando el nuevo hogar.

Así que la acumulación de todos estos hechos ha provocado que el blog tenga que mantenerse en barbecho durante unas semanas.

BARBECHO, BARBECHO. ¡Te dije que buscaras imágenes de barbecho!

BARBECHO, BARBECHO. ¡Te dije que buscaras imágenes de barbecho!

Volveremos con mucha fuerza y alguna locura el 15 de junio. Suponiendo que la mudanza y los exámenes no hayan acabado conmigo antes :S

Поехали!

#Trending Ciencia: Desarrollan un filtro que solo deja pasar la luz que incide en un determinado ángulo

NewsImage_Optical1

 

Investigadores del MIT han desarrollado un filtro que únicamente deja pasar la luz que llega a él en un determinado ángulo. Hasta ahora no teníamos problemas para filtrar la luz según su color o su polarización, pero había muchas dificultades para hacerlo según el ángulo y solo se había conseguido para ciertas longitudes de onda fuera del espectro visible. Este nuevo filtro funciona con todo el espectro visible. Podéis saber más del tema escuchando mi Trending Ciencia de hoy:

e0189bd6b17fe1f9a135d858a97a3315

04/04/2014. Desarrollan un filtro de luz basado en el ángulo de incidencia.

Más información

Artículo en MIT news.

Enlace al podcast.

Aquí tenéis un vídeo en el que se puede ver el filtro en funcionamiento:

 

Carnaval de la física #49: el mejor artículo

El precioso logo del carnaval que preparó con mucho amor mi media manzana-de-Newton

El día 15 se cerraron las votaciones para el mejor artículo de la edición 49 del Carnaval de la Física, así que hoy toca entregar el premio. La votación has sido muy reñida y no se ha decidido hasta la llegada del último voto.

Vamos con los que habéis elegido como los mejores artículos del Carnaval. En el quinto puesto y empatados a 9 puntos tenemos:

En el tercer puesto, con 10 puntos, tenemos a nuestro científico de relumbron Javi Guardiola:

En el segundo lugar con 11 puntos y tras una lucha encarnizada contra el artículo que ha acabado primero, tenemos a nuestro sueco favorito montando en bici:

Y el ganador con 13 puntos es nuestro tertuliano científico favorito:

premio

Mi más sincera enhorabuena a @2qblog por este premio que espero que luzca orgulloso en su blog.

Y para finalizar este Carnaval os dejo con una carta que me ha hecho llegar Antonio Lorenzo (@torpedofotonico), flamante vencedor del concurso de microrrelatos:

VOSOTROS SOIS LOS GIGANTES.

Siempre me he considerado una persona curiosa. Y siempre he tirado más por el lado de la ciencia que por el del humanismo. No es que no me atraiga este último, pero es una simple cuestión de prioridades. Por supuesto, me encantaría leer y profundizar en las obras de Kant, Bergson o Borges, pero por  culpa de la rigidez que caracteriza al tiempo, no puedo dedicar todo el que yo quisiera a todos esos temas. Y porque mi procesador, desde luego, está limitado, y ni practicándole un poderoso “overclocking” podría procesar todo lo que está en cola.

Esa curiosidad siempre la he alimentado, pues como se alimentan casi todas las curiosidades, al menos en su etapa inicial: yendo a la librería y cambiando conocimientos por dinero. Pero ahora también existe eso que se ha dado en llamar redes sociales. Y lo bueno que tienen es que sirven de nexo y de puerta de entrada a más conocimiento. Sigues a una persona, que tiene un blog, que hace referencia a un libro, en el que lees otra cosa distinta que despierta tu curiosidad, y sobre la que seguro que encuentras otro blog, y así sucesivamente, de forma que cada vez vás profundizando un poco más, y cuando te das cuenta estás virtualmente rodeado de gente que lo único que hace es alimentar tus ansias de conocimiento. Lo cual es absolutamente maravilloso.

Y sí, me estoy refiriendo a todos vosotros que empleáis vuestro precioso tiempo en ennoblecer el arte de la divulgación científica.

Gracias a vosotros puedo sentir esa dulce impotencia que me provoca saber que nunca podré viajar a la nebulosa de Orión, a pesar de que la puedo ver con mis ojos desnudos y empequeñecidos. Acercarme un poco a una ligerísima concepción de lo inabarcables que son las escalas que miden el tiempo geológico o el tamaño del universo. Comprobar que esas escalas aplican en sentido inverso cuando hablamos de la probabilidad de que algo tan asombrosamente aleatorio como la vida exista o de la medida de las partículas que no vemos pero que gracias al tejido matemático sabemos y tenemos la suficiente certeza de que están ahí. Y  que esas mismas partículas, formando un conjunto e interactuando entre si, dan lugar a esa fascinante emergencia que llamamos mente, esa recursiva herramienta que intenta autoexplicarse y que nos permite maravillarnos de nuestro entorno.

Todo esto es mucho más fácil desde que personas como vosotros ponéis a mi disposición y de todo aquel que sienta un mínimo de curiosidad todas esas colecciones de datos,  experimentos,  pensamientos, hipótesis y razones para refutarlas, y que me permiten darme cuenta de que cada vez soy más pequeño, y que cada vez hay más cosas que no sé, y que cuanto menor se hace la proporción cosas que sé/cosas que ignoro, más emocionante y asombroso me resulta cada nuevo descubrimiento.

El otro día me concedisteis un premio. Nunca había ganado antes un concurso de nada. El premio oficial es un libro de relatos de ciencia ficción, gracias al Carnaval de Física que organizó este blog y su esforzado y generoso dueño. Pero el mayor premio para mí ya me lo lleváis concediendo desde que os leo. Acrecentado con la sensación de que el otro día pasé a formar parte de algo, que puede que sea efímero, virtual y subjetivo, pero cuya huella es ya indeleble.

Hago poco ruido, no soy conocido y me gusta vivir en la penumbra. Y como yo, seguro que hay mucha gente que os lee y que piensa lo mismo. Me permito desde aquí apropiarme de su opinión durante un breve instante, para expresaros mi eterno  agradecimiento por el simple hecho de haceros visibles y ser generosos.

Vosotros sois los verdaderos gigantes. Ni se os ocurra nunca pensar lo contrario.

:-)

Me apetecía muchísimo compartir todo esto.

Desde el profundo aprecio que ya siento por vosotros,

Antonio Lorenzo.

Personalmente me siento más molino de viento que gigante ; ) . Se agradecen mucho las palabras de Antonio para todos los que intentamos poner nuestro granito de arena en el loco mundo de la divulgación. Nos vemos dentro de unos meses en otro Carnaval, pero esta vez no será de física.

tumblr_m3lum5TCS01qznffv (1)

Seguir

Recibe cada nueva publicación en tu buzón de correo electrónico.

Únete a otros 1.390 seguidores

%d personas les gusta esto: