Teorema de Netto

En análisis matemático , el teorema de Netto establece que las biyecciones continuas de variedades suaves conservan la dimensión . Es decir, no existe una biyección continua entre dos variedades suaves de diferente dimensión. Recibe su nombre en honor a Eugen Netto . ^[1]

En 1878, Jacob Lüroth demostró que es posible aplicar funciones de una variedad de dimensiones superiores a una variedad unidimensional , utilizando el teorema del valor intermedio para demostrar que ninguna variedad que contenga un círculo topológico puede aplicarse de forma continua y biyectiva a la línea real . Tanto Netto en 1878 como Georg Cantor en 1879 dieron pruebas erróneas del teorema general. Las fallas fueron reconocidas y corregidas más tarde. ^[2]

Un caso especial importante de este teorema se refiere a la no existencia de biyecciones continuas desde espacios unidimensionales, como la línea real o el intervalo unitario , a espacios bidimensionales, como el plano euclidiano o el cuadrado unitario . Las condiciones del teorema se pueden relajar de diferentes maneras para obtener clases interesantes de funciones desde espacios unidimensionales a espacios bidimensionales:

• Las curvas que rellenan el espacio son funciones continuas sobreyectivas que van desde espacios unidimensionales a espacios bidimensionales. Cubren cada punto del plano, o de un cuadrado unitario, mediante la imagen de una línea o intervalo unitario. Algunos ejemplos son la curva de Peano y la curva de Hilbert . Ninguno de estos ejemplos tiene autocruces, pero según el teorema de Netto hay muchos puntos del cuadrado que están cubiertos varias veces por estas curvas. ^[1]
• Las curvas de Osgood son biyecciones continuas de espacios unidimensionales a subconjuntos del plano que tienen un área distinta de cero . Forman curvas de Jordan en el plano. Sin embargo, según el teorema de Netto, no pueden cubrir todo el plano, el cuadrado unitario ni ninguna otra región bidimensional . ^[1]
• Si se relaja el requisito de continuidad, entonces todas las variedades suaves de dimensión acotada tienen igual cardinalidad , la cardinalidad del continuo . Por lo tanto, existen biyecciones discontinuas entre dos de ellas, como demostró Georg Cantor en 1878. ^{[2] [3]} El resultado de Cantor sorprendió a muchos matemáticos e inició la línea de investigación que condujo a las curvas que llenan el espacio, las curvas de Osgood y el teorema de Netto. ^[2] Se puede obtener una casi-biyección del cuadrado unitario al intervalo unitario intercalando los dígitos de las representaciones decimales de las coordenadas cartesianas de los puntos en el cuadrado. Las ambigüedades del decimal, ejemplificadas por las dos representaciones decimales de 1 = 0,999... , hacen que esto sea una inyección en lugar de una biyección, pero este problema se puede reparar utilizando el teorema de Schröder-Bernstein . ^[3]