Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

--- solucao:enumcompactossetodoinfinitopontacum [2015/10/26 12:20]
trajano
+++ solucao:enumcompactossetodoinfinitopontacum [2020/11/06 16:05] (atual)
@@ Linha 22: / Linha 22: @@
   * **Construção dos pontos $x_{m_i}$:** Como $x$ é um ponto de acumulação de $D$, existe $m_1 \in \omega$ tal que $x_{m_1} \neq x \text{ e } x_{m_1} \in V_{m_0}$. Pela afirmação $ (*) $, temos $m_1 < m_0$. Como $X$ é $T_1$, o conjunto $X \setminus \{x_{m_1}\}$ é aberto e:
 $$x \in V_{m_0} \cap (X \setminus \{x_{m_1}\})$$
-Como $x$ é um ponto de acumulação de $D$, existe $m_2 \in \omega$ tal que $x_{m_2} \in  V_{m_0} \cap (X \setminus \{x_{m_1}\})$. Particularmente $x_{m_2} \neq x_{m_1}$, então $m_2 \neq m_1$ e $x_{m_2} \neq x$. Pela afirmação $(*)$, temos $m_2 < m_0$. Como $X$ é $T_1$, o conjunto $X \setminus \{x_{m_2}\}$ é aberto e:
+Então, existe $m_2 \in \omega$ tal que $x_{m_2} \in  V_{m_0} \cap (X \setminus \{x_{m_1}\})$. Particularmente $x_{m_2} \neq x_{m_1}$, então $m_2 \neq m_1$ e $x_{m_2} \neq x$. Pela afirmação $(*)$, temos $m_2 < m_0$. Como $X$ é $T_1$, o conjunto $X \setminus \{x_{m_2}\}$ é aberto e:
 $$x \in V_{m_0} \cap (X \setminus \{x_{m_1}\} \cup \{x_{m_2}\})$$
-Como $x$ é um ponto de acumulação podemos continuar esse processo infinitamente. O conjunto $\{0, 1, ..., m_{0}-1\}$ é finito, o que implica que ficaremos sem índices distintos do estágio $m$ em diante.
+Como $x$ é um ponto de acumulação podemos continuar esse processo infinitamente. O conjunto $\{0, 1, ..., m_{0}-1\}$ é finito, o que implica que ficaremos sem índices distintos do estágio $m$ em diante, o que contradiz o fato de $x$ ser ponto de acumulação de $D$.\\

Topologia e conjuntos em exercícios

Ferramentas do usuário

Ferramentas do site

Diferenças

Ferramentas da página