4 votos

Conectado subespacio de un espacio desconectado

Mi amigo y yo no puedo averiguar algo que parece bastante simple. Por lo que cualquier ayuda se agradece :)

¿Existe un espacio topológico $X$ y un subespacio $A \subseteq X$ tal forma que:

  1. $X$ está conectado;
  2. $A$ está conectado;
  3. $\forall a \in A$ el subespacio $A\smallsetminus \{a\}$ está conectado y el subespacio $X \smallsetminus \{a\}$ no está conectado.

Editar:

Para hacerla menos trivial, podemos encontrar una "interesante" es un ejemplo de un subespacio $A$? Supongamos que uno con los no-vacío interior?

Gracias!

5voto

DiGi Puntos 1925

Hay al menos un trivial tipo de ejemplo. Deje $X$ por el Knaster-Kuratowski ventiladory deje $A=\{p\}$ donde $p$ es la dispersión punto de $\left\langle\frac12,\frac12\right\rangle$. (Me tome el conjunto vacío, ya que no es la unión de dos no-vacío, de a pares distintos bloques abiertos.)

Añadido: Aquí hay un mejor ejemplo. Deje $X=S^1\times\Bbb R$ con la siguiente métrica: para $\langle x_0,y_0\rangle,\langle x_1,y_1\rangle\in Y$ vamos

$$\big(\langle x_0,y_0\rangle,\langle x_1,y_1\rangle\big)=\begin{cases} |y_0-y_1|,&\text{if }x_0=x_1\\ |y_0|+|y_1|+\rho(x_0,x_1),&\text{if }x_0\ne x_1\;, \end{casos}$$

donde $\rho$ es cualquier métrica en el círculo de $S^1$ generación de la topología usual, por ejemplo, la restricción de la métrica Euclidiana en el plano. Vamos $A=S^1\times\{0\}$. $X$, $A$, y $A\setminus\{a\}$ $a\in A$ son todos trayectoria-conectado y por lo tanto conectado. Sin embargo, para $a=\langle x,0\rangle\in A$ el conjunto $X\setminus\{a\}$ tiene tres componentes, $\{x\}\times(0,\to)$, $\{x\}\times(\leftarrow,0)$, y $(S^1\setminus\{a\})\times\Bbb R$, por lo que no está conectado.

2voto

Stefan Hamcke Puntos 16889

Brian ya ha demostrado cómo esto es posible incluso para los infinitos subconjuntos $A$ en espacios métricos. Estoy escribiendo mi ejemplo, sin embargo, que vino a mi mente antes de que Brian edición, y que me gusta debido a su simple descripción.

En la línea real de identificar todos los puntos entre el$0$$1$, lo $X=\mathbb R/(0,1)$. Deje $b$ denota la clase de equivalencia del intervalo, y $A=\{0,b\}$. Claramente $X$ está conectado. $A$ tiene la topología de Sierpiński, por lo que está conectado, también. Pero la eliminación de cualquier punto de $A$ desconecta $X$.

Un finito versión de este ejemplo sería el de $X=\{-1,0,b,1\}$ con la topología $\tau$ generado por la base de la $\{\{-1\},\{-1,0,b\},\{b\},\{b,1\}\}$. Deje $A=\{0,b\}$. Entonces cada punto en $A$ divide $X$ en dos componentes.

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