Ferramentas do usuário
Espaços dispersos
Dizemos que um espaço topológico $(X, \tau)$ é espaço/disperso; disperso se todo subespaço $Y \subset X$ não vazio contém um ponto isolado (em $Y$).
1 Mostre que $\{\frac{1}{n}: n \in \mathbb N_{>0}\} \cup \{0\}$ (com a topologia usual) é disperso.
2 Mostre que $X$ é disperso se, e somente se, todo subespaço fechado não vazio de $X$ admite um ponto isolado.
Dado um espaço $(X, \tau)$, chamamos de derivado de $X$, denotado por $X'$ o subconjunto de todos os pontos não isolados de $X$. Definimos $X^{(0)} = X$ e $X^{(1)} = X'$. Se $\alpha = \beta + 1$ para algum ordinal $\alpha$, definimos $X^{(\alpha)} = (X^{(\beta)})'$. Se $\alpha$ é um ordinal limite, definimos $X^{(\alpha)} = \bigcap_{\beta < \alpha} X^{(\beta)}$. Definimos a altura de Cantor-Bendixson de $X$ o menor $\alpha$ tal que $X^{(\alpha + 1)} = X^{(\alpha)}$.
3 Mostre que a altura de Cantor-Bendixson está bem definida. Isto é, que para qualquer $X$ existe $\alpha$ tal que $X^{(\alpha + 1)} = X^{(\alpha)}$.
4 Mostre que $X$ é disperso se, e somente se $X^{(\alpha)} = \emptyset$ onde $\alpha$ é a altura de Cantor-Bendixson de $X$. Por isso, se $X$ é disperso, chamamos $\alpha$ de simplesmente a altura de $X$. Solução
5 Mostre que, para todo espaço $X$, existem $D, P \subset X$ disjuntos tais que $X = D \cup P$, onde $D$ é disperso e $P$ é fechado e sem pontos isolados.
Ferramentas da página
