Ferramentas do usuário
solucao:exer-sub2-4
Essa é uma revisão anterior do documento!
Se $C \cup \{B_i\}$ não admitisse subcobertura finita, então $C \cup \{B_i\} \in \mathcal{C}$ e $C \subset C \cup \{B_i\}$, o que contradiz a hipótese de $C$ ser maximal, a menos que $\{ B_i \} \in C$.
Mas nesse caso $\{B_i\} \in \mathcal{B} \cap \mathcal{C}$ e $x \in B_1 \cap \cdots \cap B_n \subset A \Rightarrow x \in B_i \in \mathcal{C}$, o que contradiz a hipótese de que $x \notin B \forall B \in \mathcal B \cap C$.
Logo, $C \cup \{B_i\}$ tem subcobertura finita.
/var/www/html/pessoas/aurichi/exerc/data/pages/solucao/exer-sub2-4.txt · Última modificação: 2020/11/06 16:05 (edição externa)
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
