Diferenças

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

--- solucao:3seq [2015/08/12 00:43]
caio
+++ solucao:3seq [2020/11/06 16:05] (atual)
@@ Linha 1: / Linha 1: @@
-Seja $a_0 \in X$. Seja $c_0 > a_0$, que existe pois $X$ não possui máximo. Pela densidade da ordem, existe $b_0 \in X$ tal que $b_0 \in ]a_0,c_0[$, portanto $a_0 < b_0 < c_0$. Novamente, como $X$ não possui um elemento máximo, existe $a_1, c_1 \in X$ tais que $c_1 > a_1 > c_0$, e pela densidade da ordem existe $b_1 \in ]a_1, c_1[$. Note que $b_0 \notin ]a_1,c_1[$. Vamos construir por indução 3 sequências $(a_{\xi})_{\xi \in \omega_1}$, $(b_{\xi})_{\xi \in \omega_1}$ e $(c_{\xi})_{\xi \in \omega_1}$.
+Seja $a_0 \in X$. Seja $c_0 > a_0$, que existe pois $X$ não possui máximo. Pela densidade da ordem, existe $b_0 \in X$ tal que $b_0 \in ]a_0,c_0[$, portanto $a_0 < b_0 < c_0$.
-Suponham definidas as sequências para todo $\xi < \eta$. Como não existe elemento máximo em $X$, segue que existem $c_{\eta}$, $a_{\eta} \in X$ tais que $c_{\eta} > a_{\eta} > c_{\xi} > a_{\xi}$. Temos que $\bigcup_{\xi < \eta} ]a_{\xi}, c_{\xi}[$ é um aberto enumerável de $X$. Pela não separabilidade de $X$, existe $A \subset X$ aberto disjunto de $\bigcup_{\xi < \eta} ]a_{\xi}, c_{\xi}[$, tal que $]a_{\eta},c_{\eta}[ \subset A$. Tome $b_{\eta} \in ]a_{\eta},c_{\eta}[$. Note que $]a_{\eta}, c_{\eta}[ \cap \{b_{\xi}: \xi < \eta\} = \emptyset$ e $a_{\eta} < b_{\eta} < c_{\eta}$, como queríamos.
+Suponha definidos $a_{\eta}, b_{\eta}, c_{\eta}$ para todo $\eta < \xi$. O conjunto $B = \{b_\eta: \eta < \xi\}$ é enumerável. Pela não separabilidade de $X$, existe $A \subset X$ aberto não vazio disjunto de $B$. Note que então existe um intervalo contido em $A$. Chame de $a_\xi$ e $c_\xi$ seus extremos, obtendo assim um intervalo $]a_\xi, c_\xi[ \cap \{b_\eta: \eta < \xi\} = \emptyset$. Pela densidade da ordem, existe $b_\xi \in ]a_\xi, c_\xi[$. Assim definimos os elementos seguintes de cada sequência.

Topologia e conjuntos em exercícios

Ferramentas do usuário

Ferramentas do site

Diferenças

Ferramentas da página