Diferenças

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

--- solucao:exer2-compactos [2017/04/24 22:36]
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$. Seja $A \in \mathcal{A}$, para cada $x \in A \cap X$ tome $B_x \in \mathcal{B}$. Note que $\mathcal{C} = \{ B_x | x \in A \cap X \land A \in \mathcal{A}\} $ é uma cobertura de $X$. Da hipótese, temos que existe $\mathcal{C}'= \{C_1,...,C_1\} \subset \mathcal{C}$ subcobertura finita de $X$.Para cada $C_i \in \mathcal{C}'$ escolhemos $A_i \in \mathcal{A}$ tal que $C_i \in A_i$ de modo que cada $C_i$ esteja associado a um único $A$,  $i \in \{1, ..., n \}$. Portanto $\mathcal{A}$ possui uma subcobertura finita de $X$.
+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