8 votos

Conjunto de acumulación de puntos es cerrado para cada subconjunto

Yo estaba tratando de demostrar que la siguiente declaración:
Deje $(X,\mathscr{T})$ ser un espacio topológico. Si el conjunto de la acumulación de puntos de $\{x\}$ es cerrado para cada $x\in X$, entonces el conjunto de acumulación de puntos de cada subconjunto de $X$ es cerrado.

He tratado de empezar, para un subconjunto $S\subset X$, $x\in (S')'\setminus S'$, donde $S'=\{\mbox{accumulation points of }S\}$, y obtener una contradicción, pero todo lo que he mostrado es que el $x\in S$ $\{x\}'\subset S'$ (pero no parece ayudar a...): Usted puede elegir un conjunto abierto $V$ contiene $x$ que $V\cap \left(S\setminus\{x\}\right)=\emptyset$ (debido a $x\notin S'$). A continuación,$\exists y\in V\cap S'$, lo $V$ es un barrio de $y$, y, a continuación,$V\cap (S\setminus\{y\})\ne\emptyset$. Esto implica necesariamente que el$V\cap (S\setminus\{y\})=\{x\}$$x\in S$.
Si $y\in\{x\}'$, luego todo abierto vecindario $U$ $y$ es un barrio abierto de $x$ y, repitiendo el argumento, $U\cap S\setminus\{y\}$ es no nulo, por lo $y\in S'$.

Por favor, cualquier sugerencia? Gracias!

7voto

Lorin Hochstein Puntos 11816

Deje $S$ ser un conjunto arbitrario, y deje $x\notin S'$. Entonces existe un conjunto abierto $U$ tal que $x\in U$$ U\cap S \subseteq \{x\}$. Si $U\cap S=\varnothing$,$U\subseteq X-S'$, lo $x$ está en el interior de $X-S'$. Así que podemos suponer que la $x\in S$$U\cap S=\{x\}$.

Ahora, el conjunto de la acumulación de puntos de $\{x\}$ está cerrada; la llamada es $C$. Tenga en cuenta que $x\notin C$, ya que no hay abierto conjuntos de $V$ que contengan $x$ que $(V\cap\{x\})\setminus\{x\}\neq\varnothing$. Por lo tanto, $X-C$ es una vecindad de a $x$; deje $W=U\cap (X-C)$, que es abierto y contiene $x$.

Mostrar que $W\subseteq X-S'$.

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