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

Alterações recentes
Gerenciador de mídias
Índice

Visitou:

dica:pi_ccc

Suponha que não. Note que então existe $A\subset \mathbb P_i$ anticadeia não enumerável de elementos dois a dois disjuntos. 

Tome $E\subset A$ enumerável infinito e note que $E\in M_\xi$ para algum $\xi<\omega_1$. 

Tome $X\in A$ tal que $\min X > \sup E$ e escreva $X=\{\alpha_0, \dotsc, \alpha_{n-1}\}$, com $\alpha_i<\alpha_{i+1}$.

Defina $E_0= E$ e, para cada $k<n-1$, defina:
\[E_{k+1}=\{Y\in E_k: \forall\beta\in Y, f(\{\beta, \alpha_k\})=i\}.\]

Mostre que cada $E_k$ é infinito e, por fim, que qualquer $Y\in E_n$ é compatível com $X$, uma contradição.

dica/pi_ccc.txt · Última modificação: 2020/11/06 16:05 (edição externa)

Ferramentas da página

Mostrar página
Revisões anteriores
Links reversos
Voltar ao topo

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

CC Attribution-Share Alike 4.0 International