ir para o conteúdo
Topologia e conjuntos em exercícios
Mantido pelo grupo "Topologia do Interior"
Ferramentas do usuário
Entrar
Ferramentas do site
Pesquisar
Ferramentas
Mostrar página
Revisões anteriores
Links reversos
Alterações recentes
Gerenciador de mídias
Índice
Entrar
>
Alterações recentes
Gerenciador de mídias
Índice
Visitou:
lista:deltasistema
===== Lema do $\Delta$-sistema ===== <WRAP tip> Provavelmente você vai querer saber os resultados da [[lista:Enumerabilidade|lista de enumerabilidade]] e da [[lista:BoaOrdem|lista de boa ordem]]. </WRAP> <WRAP info> Seja $\mathcal F$ uma família de conjuntos. Dizemos que $\mathcal F$ forma um {{entry>$\Delta$-sistema}} de raiz $\Delta$ se, para todo $F, G \in \mathcal F$ distintos, temos que $F \cap G = \Delta$. </WRAP> **~~#~~** Seja $\mathcal F$ uma família de conjuntos. Mostre que são equivalentes:<wrap help>[[Solucao:fDeltaEquivalencia|Solução]]</wrap> - $\mathcal F$ forma um $\Delta$-sistema. - Dados $A, B \in \mathcal F$ distintos, se $a \in A \cap B$, então $a \in F$ para todo $F \in \mathcal F$. **~~#~~** Seja $\mathcal F$ uma família não enumerável de conjuntos finitos. Mostre que existem $n \in \omega$ e $\mathcal F' \subset \mathcal F$ não enumerável tais que $|F| = n$ para todo $F \in \mathcal F'$. <wrap help>[[Solucao:fExisteNaoEnumeravel|Solução]]</wrap> **~~#~~** Seja $A \subset \omega_1$ enumerável. Mostre que existe $\gamma \in \omega_1$ tal que, para todo $a \in A$ $a < \gamma$. <wrap tip>[[dica:enumeravelEhLimitado|Dica]]</wrap> <wrap help>[[Solucao:aMenorGama|Solução]]</wrap> **~~#~~** Seja $\{F_\xi: \xi \in \omega_1\}$ família de conjuntos finitos. Suponha que não exista $a$ tal que $\{\xi: a \in F_\xi\}$ seja não enumerável. Mostre que, para cada $a$ existe $\gamma$ tal que, para todo $\eta \geq \gamma$ temos que $a \notin F_\eta$. <wrap help>[[Solucao:aXiMenorGama|Solução]]</wrap> **~~#~~** Seja $\{F_\xi: \xi \in \omega_1\}$ família de conjuntos finitos. Suponha que não exista $a$ tal que $\{\xi: a \in F_\xi\}$ seja não enumerável. Mostre que, para cada $\xi$ existe $\gamma$ tal que $F_\xi \cap F_\eta = \emptyset$ para todo $\eta \geq \gamma$. <wrap help>[[Solucao:aXiEmptySet|Solução]]</wrap> **~~#~~** Mostre o {{entry>Lema/$\Delta$-sistema; Lema do $\Delta$-sistema}}: Seja $\mathcal F$ uma família não enumerável de conjuntos finitos. Então existe $\mathcal F' \subset \mathcal F$ não enumerável que forma um $\Delta$-sistema. <wrap tip>[[dica:lemaDeltaSistema|Dica]]</wrap> <wrap help>[[Solucao:lemaDeltaSistemaRima|Solução]]</wrap> **~~#~~** Mostre que não vale a seguinte versão do lema do $\Delta$-sistema: Seja $\mathcal F$ uma família enumerável infinita de conjuntos finitos. Então existe uma subfamília $\mathcal F' \subset \mathcal F$ infinita que forma um $\Delta$-sistema. <wrap tip>[[dica:DeltaEnum|Dica]]</wrap>
lista/deltasistema.txt
· Última modificação: 2021/01/26 14:30 por
aurichi
Ferramentas da página
Mostrar página
Revisões anteriores
Links reversos
Voltar ao topo