===== Fechados e pontos de acumulação =====

<WRAP info>
Seja $(X, \tau)$ um espaço topológico. Dizemos que $F \subset X$ é um {{entry>fechado}} se $X \smallsetminus F$ é aberto.
</WRAP>

**~~#~~** Seja $(X, \tau)$ espaço topológico. 

**~~#.#~~** Mostre que $\emptyset$ e $X$ são fechados.

**~~#.#~~** Mostre que, se $F$ e $G$ são fechados, então $F \cup G$ é fechado.<wrap help>[[Solucao:uni-fechados|Solução]]</wrap>


**~~#.#~~** Mostre que, se $\mathcal F$ é uma família não vazia de fechados, então $\bigcap_{F \in \mathcal F} F$ é fechado. <wrap tip>[[dica:DeMorgan|Dica]]</wrap><wrap help>[[Solucao:intersec-fechados|Solução]]</wrap>


<WRAP info>
Seja $(X, \tau)$ um espaço topológico. Sejam $Y \subset X$ e $x \in X$. Dizemos que $x$ é um {{entry>ponto/aderente; ponto aderente}} a $Y$ se, para todo aberto $A$ tal que $x \in A$, temos que $A \cap Y \neq \emptyset$. 
</WRAP>

**~~#~~** Considere $\mathbb R$ com a topologia usual. Determine os pontos aderentes aos seguintes conjuntos: $[0, 1[$, $\{1\}$, $\mathbb N$ e $\mathbb Q$.

<WRAP info>
Seja $(X, \tau)$ espaço topológico. Dado $Y \subset X$, denotamos por $\overline{Y}$ (o {{entry>fecho}} de $Y$) o conjunto de todos os pontos aderentes a $Y$. 
</WRAP>

**~~#~~** Mostre que $\overline A$ é fechado.<wrap help>[[Solucao:exer3|Solução]]</wrap>

**~~#~~** Mostre que $A \subset \overline A$.

**~~#~~** Mostre que $\overline A = \bigcap_{F \in \mathcal F} F$, onde $\mathcal F = \{F: A \subset F$ e $F$ é fechado$\}$.<wrap help>[[Solucao:intersec-fecha|Solução]]</wrap>

**~~#~~** Mostre que $X \smallsetminus \overline A = \bigcup_{V \in \mathcal V} V$, onde $\mathcal V = \{V: A \cap V = \emptyset$ e $V$ é aberto$\}$ (esse é o mesmo exercício que o anterior, mas é bom para praticar complementares).

**~~#~~** Mostre que, se $A \subset B$, então $\overline A \subset \overline B$.

**~~#~~** Dê um exemplo de $A, B \subset \mathbb R$ tais que $A \cap B = \emptyset$ mas $\overline A \cap \overline B \neq \emptyset$. 

<WRAP tip>
Para o próximo exercício, você precisa saber a definição de sequência convergente, que está nesta [[lista:sequencias|lista]].
</WRAP>

**~~#~~** Seja $A \subset X$, onde $(X, d)$ é um espaço métrico. Se $x \in \overline A$, mostre que existe $(a_n)_{n \in \mathbb N}$ tal que cada $a_n \in A$ e $a_n \rightarrow x$.<wrap help>[[Solucao:existseqparaxnofecho|Solução]]</wrap>

<WRAP info>
Seja $(X, \tau)$ espaço topológico. Sejam $Y \subset X$ e $x \in X$. Dizemos que $x$ é um {{entry>ponto/acumulação; ponto de acumulação}} de $Y$ se, para todo $A$ aberto tal que $x \in A$, temos que existe $y \in A \cap Y$ com $y \neq x$.
</WRAP>

**~~#~~** Mostre que todo ponto de acumulação é um ponto aderente.

**~~#~~** Considere $\mathbb R$ com a topologia usual. Mostre que o conjunto $\{\frac{1}{n}: n \in \mathbb N_{>0}\}$ tem apenas um ponto de acumulação. 

**~~#~~**  Seja $A \subset X$, onde $(X, d)$ é um espaço métrico. Se $x$ é um ponto de acumulação de $A$, mostre que existe $(a_n)_{n \in \mathbb N}$ tal que cada $a_n \in A$, $a_n \neq a_m$ se $n \neq m$ e $a_n \rightarrow x$.