Espacio discreto - Discrete space

En topología , un espacio discreto es un ejemplo particularmente simple de un espacio topológico o estructura similar, uno en el que los puntos forman una secuencia discontinua , lo que significa que están aislados entre sí en cierto sentido. La topología discreta es la mejor topología que se puede dar en un conjunto. Cada subconjunto está abierto en la topología discreta de modo que, en particular, cada subconjunto singleton es un conjunto abierto en la topología discreta.

Definiciones

Dado un conjunto :

  • la topología discreta en se define permitiendo que cada subconjunto de esté abierto (y por lo tanto también cerrado ), y es un espacio topológico discreto si está equipado con su topología discreta;
  • la discreta uniformidad en se define por dejar que cada superconjunto de la diagonal en ser un entorno , y es un espacio uniforme discreta si está equipado con su uniformidad discreta.
  • la métrica discreta en está definida por
    para cualquiera . En este caso se denomina espacio métrico discreto o espacio de puntos aislados .
  • un conjunto es discreto en un espacio métrico , porque , si para cada , existe alguno (dependiendo de ) tal que para todos ; tal conjunto consta de puntos aislados . Un conjunto es uniforme discreta en el espacio métrico , para , si existe tal que para cualquier dos distintos , .

Se dice que un espacio métrico es uniformemente discreto si existe un radio de empaquetamiento tal que, para cualquiera , uno tiene o . La topología subyacente a un espacio métrico puede ser discreta, sin que la métrica sea uniformemente discreta: por ejemplo, la métrica habitual en el conjunto .

Prueba de que un espacio discreto no es necesariamente uniformemente discreto

Deje , tenga en cuenta este conjunto usando la métrica habitual de los números reales. Entonces, es un espacio discreto, ya que para cada punto , podemos rodearlo con el intervalo , donde . La intersección es, por tanto, trivialmente el singleton . Dado que la intersección de dos conjuntos abiertos está abierta y los singleton están abiertos, se deduce que es un espacio discreto.

Sin embargo, no puede ser uniformemente discreto. Para ver por qué, supongamos que existe tal que siempre . Es suficiente para mostrar que hay por lo menos dos puntos y en la que están más cerca entre sí que . Dado que la distancia entre los puntos adyacentes y es , necesitamos encontrar un que satisfaga esta desigualdad:

Dado que siempre hay un número real mayor que cualquier dado, se deduce que siempre habrá al menos dos puntos que estén más cerca uno del otro que cualquier positivo , por lo tanto, no es uniformemente discreto.

Propiedades

La uniformidad subyacente en un espacio métrico discreto es la uniformidad discreta, y la topología subyacente en un espacio uniforme discreto es la topología discreta. Por tanto, las diferentes nociones de espacio discreto son compatibles entre sí. Por otro lado, la topología subyacente de un espacio métrico o uniforme no discreto puede ser discreta; un ejemplo es el espacio métrico (con métrica heredada de la línea real y dada por ). Esta no es la métrica discreta; Además, este espacio no es completo y, por lo tanto, no es discreto como un espacio uniforme. Sin embargo, es discreto como espacio topológico. Decimos que es topológicamente discreto pero no uniformemente discreto o métricamente discreto .

Adicionalmente:

  • La dimensión topológica de un espacio discreto es igual a 0.
  • Un espacio topológico es discreto si y solo si sus singletons están abiertos, que es el caso si y solo si no contiene ningún punto de acumulación .
  • Los singleton forman una base para la topología discreta.
  • Un espacio uniforme es discreto si y solo si la diagonal es un séquito .
  • Cada espacio topológico discreto satisface cada uno de los axiomas de separación ; en particular, todo espacio discreto es Hausdorff , es decir, separado.
  • Un espacio discreto es compacto si y solo si es finito .
  • Cada espacio discreto uniforme o métrico está completo .
  • Combinando los dos hechos anteriores, cada espacio discreto uniforme o métrico está totalmente acotado si y solo si es finito.
  • Cada espacio métrico discreto está acotado .
  • Cada espacio discreto es contable primero ; además, es contable en segundo lugar si y sólo si es contable .
  • Cada espacio discreto está totalmente desconectado .
  • Cada espacio discreto no vacío es de segunda categoría .
  • Dos espacios discretos cualesquiera con la misma cardinalidad son homeomorfos .
  • Cada espacio discreto es metrizable (según la métrica discreta).
  • Un espacio finito es metrizable solo si es discreto.
  • Si es un espacio topológico y es un conjunto que lleva la topología discreta, entonces está cubierto uniformemente por (el mapa de proyección es la cobertura deseada)
  • La topología del subespacio en los enteros como subespacio de la línea real es la topología discreta.
  • Un espacio discreto es separable si y solo si es contable.
  • Cualquier subespacio topológico de (con su topología euclidiana habitual ) que sea discreto es necesariamente contable .

Cualquier función desde un espacio topológico discreto a otro espacio topológico es continua , y cualquier función desde un espacio uniforme discreto a otro espacio uniforme es uniformemente continua . Es decir, el espacio discreto está libre en el conjunto en la categoría de espacios topológicos y mapas continuos o en la categoría de espacios uniformes y mapas uniformemente continuos. Estos hechos son ejemplos de un fenómeno mucho más amplio, en el que las estructuras discretas suelen ser libres en los conjuntos.

Con los espacios métricos, las cosas son más complicadas, porque hay varias categorías de espacios métricos, dependiendo de lo que se elija para los morfismos . Ciertamente, el espacio métrico discreto es libre cuando los morfismos son todos mapas uniformemente continuos o todos mapas continuos, pero esto no dice nada interesante sobre la estructura métrica , solo la estructura uniforme o topológica. Las categorías más relevantes para la estructura métrica se pueden encontrar limitando los morfismos a mapas continuos de Lipschitz oa mapas cortos ; sin embargo, estas categorías no tienen objetos libres (en más de un elemento). Sin embargo, el espacio métrico discreto es libre en la categoría de espacios métricos delimitados y mapas continuos de Lipschitz, y es libre en la categoría de espacios métricos delimitados por 1 y mapas cortos. Es decir, cualquier función desde un espacio métrico discreto a otro espacio métrico acotado es Lipschitz continua, y cualquier función desde un espacio métrico discreto a otro espacio métrico acotado por 1 es corta.

Yendo en la otra dirección, una función de un espacio topológico a un espacio discreto es continua si y solo si es localmente constante en el sentido de que cada punto tiene una vecindad en la que es constante.

Cada ultrafiltro en un conjunto no vacío puede estar asociada con una topología en la propiedad de que cada subconjunto apropiado no vacío de es o bien un subconjunto abierto o bien un subconjunto cerrado , pero nunca ambos. Dicho de otra manera, cada subconjunto está abierta o cerrada, pero (en contraste con la topología discreta) los únicos subconjuntos que son tanto abierto y cerrado (es decir, abierto y cerrado ) son y . En comparación, cada subconjunto de está abierto y cerrado en la topología discreta.

Usos

Una estructura discreta se usa a menudo como la "estructura predeterminada" en un conjunto que no tiene ninguna otra topología natural, uniformidad o métrica; Las estructuras discretas a menudo se pueden usar como ejemplos "extremos" para probar suposiciones particulares. Por ejemplo, cualquier grupo puede considerarse como un grupo topológico dándole la topología discreta, lo que implica que los teoremas sobre grupos topológicos se aplican a todos los grupos. De hecho, los analistas pueden referirse a los grupos ordinarios no topológicos estudiados por los algebristas como " grupos discretos ". En algunos casos, esto puede aplicarse de manera útil, por ejemplo, en combinación con la dualidad de Pontryagin . Una variedad de dimensión cero (o variedad diferenciable o analítica) no es más que un espacio topológico discreto. Por lo tanto, podemos ver cualquier grupo discreto como un grupo de Lie de dimensión 0 .

Un producto de copias infinitas numerables del espacio discreto de los números naturales es homeomorfo al espacio de los números irracionales , con el homeomorfismo dado por la expansión fraccionaria continua . Un producto de copias infinitas numerables del espacio discreto {0,1} es homeomorfo al conjunto de Cantor ; y de hecho uniformemente homeomórfico al conjunto de Cantor si usamos la uniformidad del producto en el producto. Este homeomorfismo se da mediante el uso de notación ternaria de números. (Ver espacio de Cantor ).

En los fundamentos de las matemáticas , el estudio de las propiedades de compacidad de los productos de {0,1} es fundamental para el enfoque topológico del principio del ultrafiltro , que es una forma de elección débil .

Espacios indiscretos

De alguna manera, lo opuesto a la topología discreta es la topología trivial (también llamada topología indiscreta ), que tiene la menor cantidad de conjuntos abiertos posibles (solo el conjunto vacío y el espacio en sí). Donde la topología discreta es inicial o libre, la topología indiscreta es final o cofree : toda función desde un espacio topológico a un espacio indiscreto es continua, etc.

Ver también

Referencias