Diferenças
Aqui você vê as diferenças entre duas revisões dessa página.
| Ambos lados da revisão anterior
Revisão anterior
Próxima revisão
|
Revisão anterior
|
solucao:pontofechado [2016/10/30 14:32] caio.oliveira |
solucao:pontofechado [2020/11/06 16:05] (atual) |
| Ida:\\ | Ida:\\ |
| Dado $x \in X$, vamos mostrar que $X \backslash \{x\}$ é aberto:\\ | Tome $x \in X$. Vamos mostrar que $X \smallsetminus \{x\}$ é aberto:\\ |
| Tomando $y \in X \backslash \{x\}$ e sabendo que $X$ é $T_1$ temos que existe $A_y$ aberto em $X$ tal que $y \in A_y$ e $x \notin A_y$. Portanto, temos $A_y \subset X \backslash \{x\}$, e como $y$ é arbitrário, segue que $\bigcup_{y\in X \backslash \{x\}} A_y = X \backslash \{x\}$. Assim, $X \backslash \{x\}$ é aberto, pois é reunião de abertos, e portanto $\{x\}$ é fechado. | Seja $y \in X$ com $y \neq x$. Como $X$ é $T_1$ então existe $A_y$ aberto em $X$ tal que $y \in A_y$ e $x \notin A_y$. Logo, temos que $A_y \subset X \smallsetminus \{x\}$. Como $y$ é arbitrário, segue que $\bigcup_{y \in X} A_y = X \smallsetminus \{x\}$. Logo, $X \smallsetminus \{x\}$ é aberto, pois é união de abertos. \\ |
| Volta:\\ | Volta:\\ |
| Dado $x \in X$ temos que $\{x\}$ é fechado, logo, $X \backslash \{x\}$ é aberto e para todo $y \in X$ temos que $y \in X \backslash \{x\}$ e $x \notin X \backslash \{x\}$, logo, $X$ é $T_1$. | Dados $x, y \in X$ distintos e sabendo que $\{x\}$ é fechado temos que $X \smallsetminus \{x\}$ é aberto. Note então que $y \in X \smallsetminus \{x\}$ e que $x \notin X \smallsetminus \{x\}$, ou seja, conseguimos um aberto tal que $y$ está nesse aberto e $x$ não, logo, $X$ é $T_1$. |