Ir al contenido principal

El teorema de Poincaré - Perelman (antes Conjetura de Poincaré)

Mucha gente piensa que las matemáticas son aburridas, y no les puedo negar algo de razón ya que en mi etapa escolar era bueno en matemáticas, pero siendo realista, muchas veces me aburría. Ahora a mis 20 años soy estudiante de Computación Científica, y por tanto estoy llevando un plan curricular con mucha (en mayusaculas: MUCHA) matemática (soy matemático aunque me cueste admitirlo), y aunque me gusta ver Numb3rs y The Big Bang Theory no me considero un nerd (aunque me gusta eso de estar en busca del Nerdvana). Dejando de lado mi historia y la discución de si los números son aburridos o no, en matemáticas podemos encontrar historias muy interesantes, una de ellas es la de un ruso llamado Gregory Perelman que tras 8 años de trabajo logra demostrar uno de los problemas del milenio, por lo que él se hacia ganador de un millón de dolares, pero como él no está en el grupo que se suele conocer como Personas Normales rechazó el premio (a pesar estar desempleado en ese momento y de aun vivir con su madre) diciendo que si la demostración es correcta entonces ese sería el mayor premio.

Un historia muy interesante la de Perelman, pero el teorema es algo complicado de entender y algo mas de enunciar. Así que paso a copiar todo un articulo completo de tiopetrus.blogia.com que me pareció muy explicativo. Si sabes poco o nada de matemática lo puedes entender. Los que hemos llevado Analisis Real (y los que hemos desaprobado también) podremos entenderlo con algo más de claridad, así que ahí va:

Como ya dijimos en alguna ocasión una conjetura es un teorema al que le falta la parte más interesante: la demostración. Dicho de otro modo: una conjetura nada tiene que ver con un teorema; es una simple afirmación. Aunque a veces se pervierta la nomenclatura, como en el caso del “Último teorema de Fermat”, que no tuvo tal rango hasta que Wiles lo demostró hace pocos años.

Visto así, parece que una conjetura tiene poco valor, y es poco más que una opinión. Así es en parte, de hecho muchas conjeturas resultaron falsas a la postre. Sin embargo normalmente tienen el valor de ser agudas observaciones realizadas por especialistas, retos lanzados al mundo para que las mejores mentes del planeta se esfuercen en desentrañar sus misterios. Así ocurre con una de las más famosas: la Conjetura de Poincaré.

Pasamos a explicar en qué consiste la conjetura, tan de moda últimamente a raíz de la demostración (pendiente de refrendar por lo que yo sé, pero probablemente correcta) del matemático ruso Grigory Perelman.

La Conjetura de Poincaré es una afirmación topológica. Una vez explicamos aquí que la topología tiene un estatus muy especial dentro de la matemática. Supondremos que el lector sabe qué estudia la topología por tanto.

A veces, los matemáticos tienen algo de naturalistas; taxónomos más concretamente. Les gusta clasificar cosas y ponerles etiquetas. Este gusto es totalmente lógico; para clasificar atendemos a las propiedades más esenciales de las cosas e investigamos la diversidad de las mismas. El procedimiento básico suele ser el siguiente: se establecen relaciones de equivalencia entre los objetos; no relaciones cualesquiera, sino relaciones que se consideran relaciones importantes precisamente porque atienden a propiedades que consideramos esenciales de las mismas. Dichas relaciones inducen clases de equivalencia dentro de las cuales todos los objetos están “emparentados”, y estudiamos el conjunto cociente de clases obtenido. Ese es el esquema esencial de clasificación en matemáticas, si bien su aplicación práctica puede variar, y así se han establecido clasificaciones para los grupos simples finitos, para las superficies en Rn , las formas cuadráticas, los grupos de Lie, etc, etc.

La relación más habitual que se emplea en topología es la relación “ser homeomorfo” . Pocas veces se ha escondido detrás de una palabra tan fea un concepto tan bello. Dado un espacio de trabajo X, dos objetos A y B de dicho espacio (dos subconjuntos de “puntos” de X) son homeomorfos si pueden transformarse el uno en el otro mediante una transformación continua especial llamada homeomorfismo. Diremos que una aplicación de A a B es un homeomorfismo si es biyectiva, continua e inversible, siendo su inversa igualmente continua. Dado que si A y B son homeomorfos, entonces para un topólogo “son” esencialmente el mismo objeto, se comprende la importancia de la clasificación atendiendo a tal concepto.

Pues bien; la capacidad simplificatoria de este procedimiento es impresionante: al tratar a todos los objetos de cada clase como uno sólo (su representante canónico), obtenemos un panorama mucho más racional del universo que estamos estudiando. Es de esperar (de hecho, está asegurado) que todos los objetos de una misma clase de homeomorfia exhiban las mismas propiedades topológicas.

El problema es que lo que vale para un espacio topológico no tiene porqué valer para otro. Dado que un espacio de tres dimensiones no es homeomorfo a uno de siete, cabe esperar que ciertas cosas (cosas topológicas, entiéndanme) que ocurran en un universo de tres dimensiones no ocurrirán o al menos no tienen porqué ocurrir en otro de siete, y viceversa. Y aquí está el quid de la cuestión en lo que a la Conjetura de Poincaré se refiere.

Pero vayamos con calma.

Consideremos una esfera. Es muy importante explicar que entendemos que una esfera es el conjunto de puntos del espacio que equidistan de otro, llamado centro. Esto viene a cuento porque con esta definición una esfera es una superficie. No una bola maciza sino la superficie que la delimita. Esto es básico para entender lo que sigue. Para dejar más claro el asunto, la llamaremos 2-esfera por ser un objeto bidimensional, aunque esté inmerso en un espacio de tres dimensiones.


Todo objeto homeomorfo (topológicamente equivalente) a una esfera tendrá las mismas propiedades topológicas que una esfera; esto es una perogrullada. Lo que no lo es es preguntarse si una determinada colección de propiedades de la esfera es una caracterización topológica de la misma. Esto no es nada trivial. Y de eso va la conjetura.

Una caracterización es un conjunto de propiedades que definen sin ambigüedad un objeto. Tres propiedades topológicas son importantes en una esfera:

1.- Es compacta
2.- Es orientable
3.- Es simplemente conexa

Hace mucho tiempo que quedó claro que este conjunto de tres propiedades es una caracterización de una 2-esfera, pero ¿qué ocurre en dimensiones superiores?

Una 3-esfera NO ES una esfera maciza, como alguno podría pensar. Una 3-esfera es una variedad diferenciable de tres dimensiones, que podemos definir como el conjunto de los 4-puntos de R4 que equidistan de uno dado (centro). Es una 3-variedad inmersa en un espacio de 4 dimensiones, por tanto.

Pues bien; ¿sigue siendo el conjunto de las tres propiedades una caracterización de las 3-esferas?

La Conjetura de Poincaré afirma que para cualquier número de dimensiones el conjunto de las tres propiedades es en efecto una caracterización de las n-esferas.

Y eso es lo que ha debido conseguir el bueno de Grigory Perelman.
Pueden encontrar el articulo completo en tiopetrus.blogia.com

Entradas populares de este blog

Bloquear / Desbloquear Resolución de Pantalla

¿No detestan la resolución de pantalla de 800x600?  Yo sí, y espero no ser el único . Sabemos que cambiarla es facil:  Click derecho en el escritorio, Propiedades, Configuración y Resolución de pantalla . Pero qué pasa si no podemos porque está bloqueado por el registro, la tarea se nos complica. Ahora pongamonos del otro lado:  Estoy arto de que me cambién la Resolución de pantalla, necesito bloquearla sí o sí. Claro, la respuesta debe estar en mover algo del registro. Listo, ya vimos que ambos bandos tienen buenas razones para meterse con el Registro, así que te puede parecer útil este post. Ahora paso a explicar como hacer ambas tareas:  Bloquear y desbloquear la Resolución de pantalla. Desbloquear Resolución de Pantalla Abre el registro: Inicio - Ejecutar - regedit - Aceptar Ahora seguimos la siguiente clave: HKEY_CURRENT_USER/ Software/ Microsoft/ Windows/ CurrentVersion/ Policies/ System. Si la Resolución de pantalla está bloqueada veraz que en la pantalla de la derecha hay nombr

Solución al error 80072745 del MSN

Contenidos Relacionados Msn Messenger: Error 81000314 Msn Messenger: Error 81000306 Solución al error 80072745 del MSN Msn Messenger: Error 80072745 Msn Messenger: Error 8e5e05f6 En muchos comentarios del post Msn Messenger: Error 80072745 aparecen consultas diciendo que habían seguido los pasos indicados y aun así no podían acceder al MSN , la solución dada era la oficial y segura, pero aún así a algunos les falló y el error 80072745 continua ahí. Para suerte de todos en un comentario dan un enlace a blog Nadie me escucha el cual nos da una solución alternativa que si funciona, aunque para ello tengamos que quitar la seguridad de transferencia que le dan los antivirus y cortafuegos al MSN. Aquí vamos a detallar la solución en el caso que uses el Nod 32: Ingresa al Nod 32 y luego a la sección Configuración . Al lado derecho dale click al enlace: Muestra opciones de configuración avanzada. En la columna de la izquierda sigue la ruta: Antivirus y antiespía – Prote

LHC: Noticias, vídeos, fotos … ¿Fin del mundo?

Actualización: Ya inició el LHC Gran Colisionador de Habrones (click aquí) A estas alturas muchos ya deben saber detalles sobre el LHC (Large Hadron Collider – Gran Colisionador de Hadrones), y si aun eres de los que se preguntan “¿Qué es el LHC?” puedes encontrar información aquí , aquí y aquí , también aquí . Además de un vídeo de Álvaro de Rújula , físico teórico del CERN, acá . Pero como estoy casi seguro que no vas a leer ninguno de los enlaces, te dejo uno muy fácil de entender acá , aunque quizás tampoco lo vas a leer, así que copio lo mejor: El propósito del LHC es algo increíble, pues va a ser la primera máquina que podrá "ver" lo que pasa a escalas diez mil millones de veces más pequeñas que la millonésima parte de un metro. Esto, esperan los científicos, nos permitirá por fin entender qué es lo que llamamos "materia", de qué está compuesta, y de si interactúa con otras dimensiones ultra pequeñas (11 en total, junto con las 3 de