Diferenças

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

--- solucao:enumcompactossetodoinfinitopontacum [2015/10/26 10:50]
trajano
+++ solucao:enumcompactossetodoinfinitopontacum [2020/11/06 16:05] (atual)
@@ Linha 19: / Linha 19: @@
 Como $x_i \neq x_j$ se $i \neq j$, o conjunto $D = \{x_1, x_2, ...\}$ é infinito. Note que, a sequência de abertos $(V_j)_{j \in \omega}$ é crescente. Além disso, temos:
 $$x_i \not \in V_j \text{ se } i \ge j \text{ $(*)$ }$$
-Note que, $(V_n)_{n \in \omega}$ é uma cobertura por abertos para $X$. Como $D \subset X$ é infinito, existe $x \in X$ ponto de acumulação de $D$ e $(V_n)_{n \in \omega}$ é uma cobertura de $X$ existe $m_0 \in \omega$, tal que $x \in V_{m_0}$. \\
+Note que, $(V_j)_{j \in \omega}$ é uma cobertura por abertos para $X$. Como $D \subset X$ é infinito, existe $x \in X$ ponto de acumulação de $D$ e $(V_j)_{j \in \omega}$ é uma cobertura de $X$ existe $m_0 \in \omega$, tal que $x \in V_{m_0}$. \\
   * **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 padrão infinitamente. Mas, ficaremos sem índices distintos para índices $\le m_0$, desde que $\{0, 1, ..., m_{0}-1\}$ é finito. O que é uma contradição.
+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