===== Bases =====

<WRAP info>
Seja $(X, \tau)$ um espaço topológico. Dizemos que $\mathcal B \subset \tau$ é uma {{entry>base}} para $X$ se, para qualquer $A$ aberto e qualquer $x \in A$, existe $B \in \mathcal B$ tal que $x \in B \subset A$.
</WRAP>

 **~~#~~** Mostre que $\mathcal B = \{]a, b[: a, b \in \mathbb Q\}$ é uma base para $\mathbb R$ (com a topologia usual).
  
**~~#~~** Mostre que uma família de abertos $\mathcal B$ é uma base se, e somente se, para todo aberto $A$, existe $\mathcal B' \subset \mathcal B$ tal que $A = \bigcup_{B \in \mathcal B'} B$.<wrap help>[[Solucao:BasesExerc2|Solução]]</wrap>

**~~#~~** Seja $X$ espaço discreto. Seja $\mathcal B$ base para $X$. Dado $x \in X$, mostre que $\{x\} \in \mathcal B$. 

**~~#~~** Mostre que $\mathbb R$ com a topologia discreta não admite uma base enumerável.<wrap tip>[[dica:reaisDiscretos|Dica]]</wrap> 

**~~#~~** Existem duas bases $\mathcal B$ e $\mathcal B'$ para a topologia usual de $\mathbb R$ tais que $\mathcal B \cap \mathcal B' = \emptyset$?

**~~#~~** Mostre que se $\mathcal B$ e $\mathcal C$ são bases sendo $\mathcal B$ enumerável, então existe $\mathcal C' \subset \mathcal C$ base enumerável. <wrap tip>[[dica:subBaseEnum|Dica]]</wrap> <wrap help>[[Solucao:Bases.4|Solução]]</wrap> 

**~~#~~** Mostre que, se $Y \subset X$ é subespaço de $X$ e $\mathcal B$ é uma base para $X$, então $\mathcal B' = \{B \cap Y: B \in \mathcal B\}$ é uma base para $Y$.

<WRAP info>
Sejam $(X, \tau)$ espaço topológico e $x \in X$. Dizemos que $\mathcal B \subset \tau$ é uma {{entry>base local}} para $x$ se $x \in B$ para todo $B \in \mathcal B$ e, para todo $A$ aberto tal que $x \in A$, temos que existe $B \in \mathcal B$ tal que $B \subset A$.
</WRAP>

**~~#~~** Seja $x \in \mathbb R$. Mostre que $\{]x - \frac{1}{n}, x + \frac{1}{n}[: n \in \mathbb N_{>0}\}$ é uma base local para $x$.

**~~#~~** Seja $\mathcal B$ uma base. Mostre que $\mathcal B_x = \{B \in \mathcal B: x \in B\}$ é uma base local para $x$.<wrap help>[[Solucao:Bases_BaseLocal|Solução]]</wrap>

**~~#~~** Para cada $x \in X$, seja $\mathcal B_x$ base local para $x$. Mostre que $\mathcal B = \bigcup_{x \in X} \mathcal B_x$ é uma base para $X$.<wrap help>[[Solucao:BasesExerc8|Solução]]</wrap>

<WRAP tip>
Para esta parte, é melhor você dar uma olhada na lista de [[lista:axiomasSeparacao|axiomas de separação]].
</WRAP>

**~~#~~** Este é um roteiro para mostrar que todo espaço regular com base enumerável é normal. Sejam $X$ espaço regular e $\mathcal B$ base enumerável para $X$. Sejam $F, G \subset X$ fechados disjuntos.

**~~#.#~~** Considere $\mathcal V = \{B \in \mathcal B: B \cap F \neq \emptyset$ e $\overline B \cap G = \emptyset\}$. Note que $\mathcal V$ é enumerável (ou seja, podemos escrever $\mathcal V = \{V_n: n \in \omega\})$. 

**~~#.#~~** De maneira análoga, defina $\{W_n: n \in \omega\} = \mathcal W = \{B \in \mathcal B: B \cap G \neq \emptyset$ e $\overline B \cap F = \emptyset\}$. 

**~~#.#~~** Mostre que $F \subset \bigcup_{n \in \omega} V_n$ e $G \subset \bigcup_{n \in \omega} W_n$.<wrap tip>[[dica:userReg|Dica]]</wrap> 

**~~#.#~~** Para cada $k \in \omega$, defina $V'_k = V_k \smallsetminus \bigcup_{n \leq k} \overline{W_n}$. Note que $V'_k$ é aberto.

**~~#.#~~** De maneira análoga, defina $W'_k = W_k \smallsetminus \bigcup_{n \leq k} \overline{V_n}$. 

**~~#.#~~** Defina $V = \bigcup_{k \in \omega} V'_k$ e $W = \bigcup_{k \in \omega} W'_k$. Mostre que $V$ e $W$ são abertos disjuntos tais que $F \subset V$ e $G \subset W$.<wrap help>[[Solucao:baseenumregular|Solução]]</wrap>

**~~#.#~~** Conclua que $X$ é normal.