Dimensión de Lebesgue

La dimensión de Lebesgue o dimensión topológica  es la dimensión definida por medio de recubrimientos, la invariante más importante del espacio topológico . La dimensión de Lebesgue de un espacio generalmente se denota por .

Definición

Para espacios métricos

Para un espacio métrico compacto , la dimensión de Lebesgue se define como el entero más pequeño que tiene la propiedad de que, para cualquiera , existe un abierto finito -recubrimiento- que tiene multiplicidad ;

Donde

Para espacios topológicos

Para un espacio normal arbitrario (en particular, metrizable ) , la dimensión de Lebesgue es el entero más pequeño tal que para cada cubierta abierta finita del espacio existe una cubierta (abierta finita) de multiplicidad inscrita en él .

Se dice que una tapa está inscrita en una tapa si cada elemento de la tapa es un subconjunto de al menos un elemento de la tapa .

Ejemplos

Propiedades

se cumple bajo uno de los siguientes requisitos sobre espacios topológicos y : Hay ejemplos de pares de espacios en los que se viola esta desigualdad; [1] esta desigualdad también puede resultar estricta, por ejemplo, para algunos pares de superficies de Pontryagin .

Historia

Presentado por primera vez por Henri Lebesgue . Conjeturó que la dimensión de un cubo bidimensional es . Leutzen Brouwer lo demostró por primera vez. Pavel Samuilovich Uryson dio una definición exacta de un invariante (para la clase de conjuntos compactos métricos) .

Notas

  1. Wage, Michael L. La dimensión de los espacios de productos // Proc. Nat. Academia ciencia EE.UU. - 1978. - T. 75 , N º 10 . — S. 4671–4672 . -doi : 10.1073/ pnas.75.10.4671 .

Literatura