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:
•
densosxbases6
•
ehintegravel
lista:consistenciadech
===== Forcing enumeravelmente fechado e a consistência de CH ===== <WRAP info> Dizemos que um forcing $\mathbb P$ é {{entry> enumeravelmente fechado}} se, dada uma sequência $\langle p_{n} : n\in\omega\rangle$ de elementos de $\mathbb P$ tal que $p_{n+1}\leq p_{n}$ para todo $n\in\omega$, existe $p\in\mathbb P$ tal que $p\leq p_{n}$ para todo $n\in\omega$. </WRAP> **~~#~~** Este é um roteiro para mostrar que se $\mathbb P$ é um forcing enumeravelmente fechado, $A$ um conjunto e $\dot{f}$ nome tal que $p \Vdash \dot{f} : \check{\omega}\to\check{A}$ para algum $p\in\mathbb P$. Então existem $f:\omega\to A$ e $q\leq p$ tais que $q \Vdash \check{f} = \dot{f}$. **~~#.#~~** Mostre que existe $p^{´}\in\mathbb P$, $p^{´}\leq p$ tal que $p^{´}\Vdash \dot{f}(0)=\check{a_{0}}$. **~~#.#~~** Indutivamente construa $\langle p_{n} : n\in\omega\rangle$ e $\langle a_{n} : n\in\omega\rangle$ de forma que $p_{n+1}\leq p_{n}$ e $p_{n+1}\Vdash \dot{f}(n+1)=\check{a}_{n+1}$. **~~#.#~~** Considere $f:\omega\to A$, definida por $f(n)=a_{n}$. Note que existe $q\in\mathbb P$ tal que $q\leq p_{n}$ para todo $n\in\omega$. **~~#.#~~** Conclua o resultado. **~~#~~** Este é um roteiro para mostrar que se $\mathbb P$ é um forcing enumeravelmente fechado, $A$ e $B$ são conjuntos, sendo $A$ enumerável e $\dot{f}$ nome tal que $p\Vdash \dot{f}:\check{A}\to\check{B}$ para algum $p\in\mathbb{P}$. Então existem $f:A\to B$ e $q\leq p$ tais que $q \Vdash \check{f}=\dot{f}$. **~~#.#~~** Considere $g:\omega\to A$ bijeção e defina $\dot{h}=\dot{f}\circ\check{g}:\check{\omega}\to\check{B}$. **~~#.#~~** Note que $p\Vdash \dot{h}:\check \omega\to\check{B}$. **~~#.#~~** Conclua o resultado. **~~#~~** Queremos mostrar neste exercício que se $\mathbb P$ é um forcing enumeravelmente fechado. Então $1\Vdash \check{2^{\omega}}=\dot{2^{\omega}}$. **~~#.#~~** Mostre que o conjunto $D=\{q\in\mathbb{P}:q\Vdash\check{2^{\omega}}=\dot{2^{\omega}}\}$ é denso abaixo de $1$.<wrap tip>[[dica:densidadeabaixo|Dica]]</wrap> **~~#.#~~** Conclua o resultado. **~~#~~** Mostre que se $\mathbb P$ é um forcing enumeravelmente fechado, $A$ um conjunto e $\dot{X}$ um nome tal que, para algum $p\in\mathbb P$, $p\Vdash \dot{X}\subseteq\check{A}$ é enumerável, então existem $X\subseteq A$ e $q\leq p$ tais que $q\Vdash \dot{X}=\check{X}$. **~~#~~** Este é um roteiro para mostrar que se $\mathbb P$ é um forcing enumeravelmente fechado, então $1\Vdash \dot{\omega_{1}}=\check{\omega_{1}}$. **~~#.#~~** Note que $1\Vdash \check{\omega_{1}}\leq\dot{\omega_{1}}$. **~~#.#~~** Suponha que $1\not\Vdash \check{\omega_{1}}$ não é enumerável. Mostre que existem $p\in\mathbb P$ e $\dot{f}$ nome tal que $p\Vdash\dot{f}:\check{\omega}\to\check{\omega_1} $ é sobrejetora. **~~#.#~~** Note que o item anterior é um absurdo. **~~#.#~~** Conclua o resultado. <WRAP tip> Vamos exibir um forcing que dá a consistência de $CH$. </WRAP> **~~#~~** Este é um roteiro para mostrar que existe um forcing $\mathbb P$ tal $1\Vdash CH$. **~~#.#~~** Considere $\mathbb P$ o seguinte conjunto $\{ p\subseteq \omega_{1}\times\omega\times 2 : \textrm{p é função com domínio enumerável contido em}\hspace{0.1cm} \omega_{1}\times\omega \} $. Ordene $\mathbb P$ pela extensão usual de funções, isto é, $p\leq q$ se e somente se $p\supseteq q$. Mostre que $\mathbb P$ é um forcing enumeravelmente fechado. Logo $1\Vdash \check{\omega_{1}} = \dot{\omega_{1}} \wedge \check{2^{\omega}}=\dot{2^{\omega}}\ $ **~~#.#~~** Dada $f\in 2^{\omega}$. Mostre que $D_{f}=\{p\in\mathbb P : \exists \alpha\in\omega_{1}, p(\alpha, . )=f \}$ é denso em $\mathbb P$. **~~#.#~~** Mostre que existe $\dot{\varphi}$ nome tal que $1\Vdash \dot{\varphi}:\check{\omega_{1}}\times\check \omega\to 2$. **~~#.#~~** Note que para cada $f\in 2^{\omega}$, tem-se que $1\Vdash \exists\alpha\in\check{\omega_{1}}\hspace{0.3cm} \dot \varphi(\alpha,.)=\check{f}$. Conclua que $1\Vdash \check{2^{\omega}}=\check{\omega_{1}}$. **~~#.#~~** Conclua o resultado.
lista/consistenciadech.txt
· Última modificação: 2021/06/18 17:19 por
hugo
Ferramentas da página
Mostrar página
Revisões anteriores
Links reversos
Voltar ao topo