Diferenças

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

--- solucao:exer2-compactos [2017/04/14 22:54]
mayk
+++ solucao:exer2-compactos [2020/11/06 16:05] (atual)
@@ Linha 6: / Linha 6: @@
 $1 \Longleftarrow 2$
-Seja $ \mathcal{A} $ uma cobertura aberta qualquer de $X$. Para cada $ x \in X$ tome $B_x \in \mathcal{B} $ tal que $x \in B_x$. Obeserve que $\mathcal{C} = \{ B_x |x \in X \}$ é uma cobertura aberta de $X$, e por hipótese existe subcobertura $\mathcal{C}' \subset \mathcal {C}$ finita. Uma vez que $\mathcal{A}$ é cobertura aberta de $X$, para cada $C \in \mathcal{C}'$ escolhemos um único $A \in \mathcal{A}$ tal que $C \subset A$ . Obtemos assim uma subcobertura finita de $X$ por elementos de $\mathcal{A}$, portanto $X$ é compacto.
+Queremos mostrar que para uma cobertura $\mathcal{A}$ aberta qualquer de $X$ existe uma subcobertura $\mathcal{A}' \subset \mathcal{A} $ finita.
+Seja $ \mathcal{A} $ uma cobertura aberta qualquer de $X$. Para cada $x \in X$ tome $A_x \in \mathcal{A}$ , tal que $x \in A_x $. Note que $\mathcal{A_x} = \{ A_x | A_x \in \mathcal{A} \} $ é uma cobertura de $X$. Agora, para cada $x \in X$ tome $B_x \in \mathcal{B}$ tal que $ x \in B_x \subset A_x$. Tal $B_x$ existe pois $\mathcal{B}$ é uma base de $X$. Observe que $\mathcal{K} = \{B_x | x \in X\}$ é uma cobertura de $X$. Por hipótese, existe $\mathcal{K}' = \{B_{x_1}, ..., B_{x_n}\} \subset \mathcal{K}$ cobertura finita de $X$. Então $ \mathcal{A}'= \{ A_{x_1}, ..., A_{x_n} \} \subset \mathcal{A}$ é uma cobertura já que cada $B_{x_i} \subset A_{x_i} \forall i \in \{1,...,n\}$.

Topologia e conjuntos em exercícios

Ferramentas do usuário

Ferramentas do site

Diferenças

Ferramentas da página