David Hilbert (1862-1943)
Dibujemos un cuadrado de lado unidad. Lo dividimos en cuatro partes iguales. Unimos los centros de los cuatro cuadrados como muestra la figura inferior. Volvemos a dividir cada cuadrado en cuatro cuadrados idénticos y unimos de nuevo los centros de todos los cuadrados mediante una sola curva siguiendo el patrón mostrado en el segundo paso de la figurada inferior (Orden 2). Observemos cómo la curva serpentea comenzando en el cuadrado superior izquierdo y acabando en el cuadrado superior derecho. En la figura alcanzamos la tercera iteración. Con paciencia, repetimos el procedimiento infinitamente. En el límite obtendremos la curva de Hilbert.
La curva tiene la curiosa propiedad de ser una curva continua que pasa por todos los puntos del cuadrado unidad. Pero, si una curva es unidimensional, ¿cómo es posible que llene un espacio bidimensional? ¿Podemos decir entonces que esta curva es también bidimensional?
A finales del siglo XIX Cantor intentaba encontrar un conjunto infinito de un número de elementos mayor que el intervalo [0, 1]. Parecía obvio que el cuadadro de lado unidad poseía más puntos. Pero de forma contraintuitiva demostró que eran conjuntos del mismo "tamaño". Se disponía entonces de una manera de establecer una biyección entre los puntos de un segmento y un cuadrado, aunque esta función no era continua. Otros matemáticos como Giuseppe Peano y Hilbert desarrollaron funciones continuas del intervalo [0, 1] al cuadrado unidad de modo que se establecieran correspondencias exhaustivas (hay puntos en el cuadrado unidad que poseen más de una imagen en el intervalo unidad), es decir, perdiendo la biyección. Tales funciones se denominaron curvas que llenan el espacio (space-filling curves). ¿Existían correspondencias continuas y biyectivas? ¿Si fuera así el concepto de dimensión quedaría en entredicho?
En 1911 Luitzen Brouwer probó que no existen tales correspondencias, biyectivas y continuas al mismo tiempo. La dimensión era un invariante topológico y no podía ser alterada por deformaciones continuas. Como resultado se llegó a una definición rigurosa de dimensión topológica del espacio. Como veremos en el siguiente capítulo otra línea de razonamiento llevó a otras definiciones de dimensión.
Abajo podemos observar otro ejemplo: la curva de Peano. De hecho, Peano la descubrió en 1891 y Hilbert hizo una variación sobre ella (la curva de Hilbert) un año después.
En 1911 Luitzen Brouwer probó que no existen tales correspondencias, biyectivas y continuas al mismo tiempo. La dimensión era un invariante topológico y no podía ser alterada por deformaciones continuas. Como resultado se llegó a una definición rigurosa de dimensión topológica del espacio. Como veremos en el siguiente capítulo otra línea de razonamiento llevó a otras definiciones de dimensión.
Abajo podemos observar otro ejemplo: la curva de Peano. De hecho, Peano la descubrió en 1891 y Hilbert hizo una variación sobre ella (la curva de Hilbert) un año después.
