24 votos

¿Es un conjunto discreto dentro de un espacio compacto necesariamente finito?

¿Es cierto que si $A$ es discreto como subespacio de $X$ et $X \;$ es compacto, entonces $A$ ¿es finito?

Si esto no se cumple, ¿entonces se cumple para $X\;$ ¿Múltiple?

33voto

DiGi Puntos 1925

No es cierto en general. Sea $X = \{0\}\cup\{2^{-n}:n\in\mathbb{N}\}$ con la topología heredada de $\mathbb{R}$ Entonces $X$ es compacto, y $X\setminus \{0\}$ es un subconjunto discreto infinito de $X$ . Por supuesto, cada cerrado subconjunto discreto de un espacio compacto es finito, por lo que los subconjuntos discretos infinitos no serán cerrados, pero en general existirán. Por ejemplo, el espacio $X$ que acabamos de describir puede incrustarse en cualquier espacio métrico compacto infinito.

0 votos

¡Muchas gracias! Para mi propósito el hecho de que "todo subconjunto discreto cerrado de un espacio compacto es finito" es justo lo que necesito

0 votos

Gracias señor por su ayuda

0 votos

@Theoneandonly ¿Cómo es este conjunto compacto? Cada punto es en sí mismo un conjunto abierto, así que puedo definir una cubierta infinita de X que no tenga una subcubierta finita.

9voto

freespace Puntos 9024

Tomemos el subespacio $\{0\}\cup\{\frac1n; n\in\mathbb N\}$ de la línea real. Es compacto y contiene un subespacio discreto infinito $\{\frac1n; n\in\mathbb N\}$ .

Se puede construir un ejemplo similar como un subespacio del círculo unitario, así que esto falla también para los colectores. (Basta con hacer un cociente de $[0,1]$ identificando cero y uno, lo que deja el subespacio anterior sin cambios).

De forma más general, para un espacio discreto arbitrario se puede construir un compactación

1 votos

¡¡Me encantó la parte de la compactación!!

9voto

Greg Puntos 111

Abramodj: Sólo quiero señalar que subconjunto discreto cerrado de un espacio compacto es finito es consecuencia de un hecho más general que un espacio discreto es compacto si es finito. Ahora bien, como el subconjunto cerrado de un espacio compacto es compacto, entonces el subconjunto discreto cerrado de un espacio compacto es compacto y por tanto finito.

-7voto

Aman Puntos 1

Los conjuntos unitarios son abiertos, su unión es una cubierta para X, así que esta es la cubierta que no tiene una subcubierta, por lo tanto X no es compacto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X