===== Vizinhanças =====

Comecemos com uma noção quantitativa de proximidade:

<WRAP info>
Seja $X$ um conjunto. Dizemos que uma função $d: X \times X \rightarrow \mathbb R$ é uma {{entry>métrica}} sobre $X$ se, dados $x, y, z \in X$, temos:
  - $d(x, y) \geq 0$
  - $d(x, y) = 0$ se, e somente se, $x = y$
  - $d(x, y) = d(y, x)$
  - $d(x, y) \leq d(x, z) + d(z, y)$
  Ao par $(X, d)$ nesta condições, damos o nome de {{entry>espaço/métrico; espaço métrico}}
</WRAP>

**~~#~~** Mostre que $d(x, y) = |x - y|$ é uma métrica sobre $\mathbb R$ (esta é a métrica usual sobre $\mathbb R$).

Agora vejamos uma noção qualitativa de proximidade:

<WRAP info>
Seja $X$ um conjunto. Dizemos que uma família não vazia $\mathcal F$ de subconjuntos de $X$ é um {{entry>filtro}} sobre $X$ se
  - $\emptyset \notin \mathcal F$;
  - se $A, B \in \mathcal F$ então $A \cap B \in \mathcal F$;
  - se $A \in \mathcal F$ e $A \subset B$, então $B \in \mathcal F$.
</WRAP>

Os elementos do filtro em algum sentido indicam a proximidade com relação a um ponto:

<WRAP info>
Sejam $X$ um conjunto e $x \in X$. Dizemos que uma família $\mathcal V$ de subconjuntos de $X$ forma um {{entry>sistema de vizinhanças*}} de $x$ se $\mathcal V$ é um filtro sobre $X$ e, para todo $V \in \mathcal V$ temos que $x \in V$. Cada elemento de $\mathcal V$ é chamado de {{entry>vizinhança*}} de $x$. 
</WRAP>

**~~#~~** Seja $X$ um conjunto qualquer e seja $x \in X$. Mostre que $\mathcal V = \{V \subset X: x \in V\}$ é um sistema de vizinhanças* de $x$.<wrap tip>[[solucao:vizinhancas|Solução]]</wrap>

**~~#~~** Considere $\mathbb N$ o conjunto dos naturais. Dado $n \in \mathbb N$, considere $\mathcal V_n = \{A \subset \mathbb N: \exists m \in \mathbb N_{> 0} \ n + km \in A$ para todo $k \in \mathbb N\}$. 

**~~#.#~~** Mostre que $\mathcal V_n$ é um sistema fundamental de vizinhanças* para $n$. Essas são as {{entry> vizinhanças de Zariski}} de $n$.

**~~#.#~~** O conjunto $\mathbb N$ é uma vizinhança* de $1$? O conjunto dos pares é uma vizinhança* de $8$? O conjunto das potências de $2$ é uma vizinhança* de $2$?
 
<WRAP info>
Seja $(X, d)$ um espaço métrico. Seja $x \in X$ e $r \in \mathbb R_{>0}$. Denotamos por {{entry>$B_r(x)$}} o conjunto $\{y \in X: d(x, y) < r\}$. Chamamos tal conjunto de {{entry>bola aberta}} de raio $r$ e centro $x$.
</WRAP>

**~~#~~** Considere $\mathbb R^2$ com a métrica dada por $d((x, y), (a, b)) = \sqrt{(x - a)^2 + (y - b)^2}$. Desenhe $B_1((0, 0))$.

**~~#~~** Seja $(X, d)$ um espaço métrico. Seja $x \in X$. Mostre que $\mathcal V = \{V \subset X: \exists r \in \mathbb R_{>0} B_r(x) \subset V\}$ é um sistema de vizinhanças* de $x$ (essas são as vizinhanças usuais em métricos).<wrap tip>[[solucao:vizi_bolaaberta|Solução]]</wrap>

**~~#~~** Considere a métrica usual de $\mathbb R$ e suas respectivas vizinhanças. Verifique se $]-\sqrt{2}, \sqrt{3}[$, $[0, 1[$ e $[-4, 3]$ são vizinhanças* de $0$.

<WRAP info>
Seja $X$ um conjunto e para cada $x \in X$, seja $\mathcal V_x$ um sistema de vizinhanças* para $x$. Dizemos que $A \subset X$ é {{entry>aberto*}} se para todo $a \in A$, $A$ é uma vizinhança* de $a$. 
</WRAP>

**~~#~~** Considere $\mathbb R$ com as vizinhanças* definidas acima. Verifique quais dos seguintes conjuntos são abertos^*: $[0, 1]$, $]0, 1[$, $\mathbb R \smallsetminus \{0\}$, $\mathbb R$.
 

**~~#~~** Seja $X$ um conjunto qualquer e, para cada $x \in X$ seja $\mathcal V_x$ um sistema fundamental de vizinhanças* para $x$. Mostre que:
 
 **~~#.#~~** $\emptyset$ e $X$ são abertos*;

 **~~#.#~~** Se $A$ e $B$ são abertos* em $X$, então $A \cap B$ também é aberto*.

 **~~#.#~~** Se $\mathcal A$ é uma família qualquer de abertos*, então $\bigcup_{A \in \mathcal A} A$ também é aberto*. 

<WRAP info>
A coleção de todos os abertos de um espaço é chamada de {{entry>topologia}} e normalmente é denotada pela letra $\tau$. O par $(X, \tau)$ é chamado de {{entry>espaço/topológico; espaço topológico}}. Normalmente, se define um espaço topológico de maneira direta, isto é, considera-se um conjunto $X$ e uma família $\tau$ de tal maneira que satisfaça as condições do último exercício. Neste caso, uma {{entry>vizinhança}} de um ponto $x$ nada mais é que um conjunto $V$ tal que exista um aberto $A \in \tau$ tal que $x \in A \subset V$. Vamos chamar de {{entry>sistema fundamental de vizinhanças}} de um ponto $x$, uma coleção $\mathcal V$ de vizinhanças de $x$ tal que, para todo $A$ aberto tal que $x \in A$, existe $V \in \mathcal V$ tal que $V \subset A$. Vamos ver que os tais conceitos são equivalentes nos próximos exercícios.
</WRAP>


**~~#~~** Seja $(X, \tau)$ é um espaço topológico e, para cada $x \in X$, seja $\mathcal V_x$ o conjunto de todas as vizinhanças de $x$.

**~~#.#~~** Mostre que cada $\mathcal V_x$ é um filtro.

**~~#.#~~** Considere $\sigma = \{A \subset X: A$ é aberto*$\}$. Mostre que $\sigma = \tau$.

**~~#~~** Seja $X$ um conjunto e, para cada $x \in X$ seja $\mathcal V_x$ sistema fundamental de vizinhanças* de $x$. Suponha que $(\mathcal V_x)_{x \in X}$ satisfaça a seguinte condição de compatibilidade: Para todo $x \in X$ e todo $V \in \mathcal V_x$, existe $A \in \mathcal V_x$ tal que $A \subset V$ e $A$ é aberto*. 

**~~#.#~~** Mostre que $\tau = \{A \subset X: A$ é aberto*$\}$ é uma topologia sobre $X$.

**~~#.#~~** Para cada $x \in X$, seja $\mathcal W_x$ o conjunto das vizinhanças de $x$. Mostre que, para cada $x \in X$, $\mathcal W_x = \mathcal V_x$.

<WRAP info>
Seja $(X, \tau)$ espaço topológico. Seja $Y \subset X$. Chamamos de {{entry>topologia/subespaço;topologia de subespaço}} para $Y$ a coleção $\{Y \cap A: A \in \tau\}$.
</WRAP>

**~~#~~** Mostre que a topologia de subespaço de fato é uma topologia sobre $Y$.<wrap tip>[[solucao:subespaco|Solução]]</wrap>

<WRAP tip>
Normalmente, usaremos as topologias usuais de cada espaço (a menos de menção contrária). Por exemplo, $\mathbb R$ normalmente terá a topologia apresentada aqui. Se $Y \subset X$ e $X$ é um espaço topológico, então adotaremos a topologia de subespaço em $Y$. Se $(X, d)$ é um espaço métrico, então usaremos a topologia induzida pela métrica $d$ etc.
</WRAP>