====== Homeomorfismo ======

Na topologia, dois espaços são considerados iguais quando são homeomorfos, mas o que seria isso?
<WRAP round box 100%>
=== Definição: Homeomorfismo ===
Sejam $(X, \tau )$ e $(Y,\sigma)$ espaços topológicos. Dizemos que uma função $f : X \rightarrow Y$ é um **homeomorfismo**, se $f$ é bijetora, contínua e
$f^{−1}$ é contínua. Neste caso, dizemos que $(X, \tau )$ e $(Y,\sigma)$ são **homeomorfos**.
</WRAP>

<WRAP round box 100%>
=== Definição: Invariante topológico ===
Chamamos uma propriedade $P$ de um **invariante topológico**, se ela é preservada por homeomorfismos (isto é, se $(X, \tau )$ e $(Y,\sigma)$ são espaços homemorfos, então $(X, \tau )$ tem a propriedade $P$ se, e somente se, $(Y,\sigma)$ tem).
</WRAP>

Invariantes topológicos são muito úteis para provar que espaços não são homeomorfos, uma vez que, como deveriam ser preservadas por homeomorfismos, achando um invariante que vale em um espaço topológico $X$ e não vale em um $Y$, temos que $X$ e $Y$ não são homeomorfos.

    * Mostre por contra-exemplo que um espaço métrico completo não é um invariante topológica.
    * Mostre que uma circunferência $S_1$ não é homeomorfo ao intervalo $[0,1)$.
<WRAP tip>
Lembre-se de verificar a continuidade de $f^{-1}$, simplesmente $f$ ser bijetora e contínua não implica isso.
</WRAP>
    * Mostre que a composição de homeomorfismos é um homeomorfismo
<WRAP tip>
Verfique que a composta de contínuas é contínua, a composta de bijetora é bijetora e a inversa da composta é contínua.
</WRAP>
    * Mostre que uma circunferência $S_1 = \{(x,y) : x^2+y^2=1\}$ é homeomorfa ao quadrado $Q=\{(x,y) \in \mathbb{R} : |x|+|y|=1\}$ {{:topologia:whatsapp_image_2022-04-13_at_17.22.00.jpeg?nolink&400|}}
<WRAP tip>
**Passo a passo** \\
**i.** Considere a função $f:Q \rightarrow S_1$ tq $f(x,y):= (\frac{x}{\sqrt{x^2+y^2}},\frac{y}{\sqrt{x^2+y^2}})$ \\
**ii.** Prove que $f$ é contínua, bijetora e $f^{-1}$ é contínua. \\

</WRAP>
<WRAP round box 100%>
=== Definição: Ordem total ===
Seja $(X, \leq)$ um conjunto ordenado. Dizemos que $\leq$ é uma ordem total se, para todo $x, y \in X$, vale $x \leq y $ ou $y \leq x$.
</WRAP>
<WRAP round box 100%>
=== Definição: Topologia da ordem ===
Seja $(X, \leq)$ um conjunto totalmente ordenado. Chamamos de topologia da ordem sobre $(X, \leq)$ a topologia gerada pelos seguintes conjuntos (para todo $a, b \in X$): \\
(a) $]a, +\infty[ = \{x \in X : a < x\}$; \\
(b) $] -\infty, b[ = \{x \in X : x < b\}$.
</WRAP>
    * Mostre que se $X$ é um conjunto totalmente ordenado completo e $F$ é um subconjunto de $X$ fechado na topologia da ordem então $F$ é completo.
<WRAP tip>
Note que se $A \subset F$ tq $A \neq \emptyset$ e $|A|\leq M$, então $\sup A \subset X$, o mesmo ocorre para o ínfimo. 
</WRAP>
<WRAP round box 100%>
=== Definição: Ordem densa ===
Seja $(X, \leq)$ um conjunto ordenado. Dizemos que $\leq$ é uma ordem densa se, para todo $x, y \in X$, com $x < y$, existe $z \in X$ tal que $x < z < y$.
</WRAP>
    * Mostre que seja $(X, \leq)$ um conjunto totalmente ordenado e conexo, sendo $\leq$ a topologia da ordem, admite $\leq$ uma ordem densa. 
<WRAP tip>
Prove por contradição.
</WRAP>
<WRAP round box 100%>
=== Teorema ===
Todo espaço totalmente ordenado, com ordem densa, sem maior nem menor elementos, completo e separável é homeomorfo a $\mathbb{R}$.
</WRAP>
    * Mostre que $(a,b)$ tq $a<b$ em $\mathbb{R}$ é homeomorfo a $\mathbb{R}$
<WRAP tip>
Prove utilizando o teorema acima.
</WRAP>
    * Mostre que todo aberto em $R^n$ é homeomorfo a $R^n$.