===== Algumas aplicações do axioma de Martin =====

<WRAP tip>
Você provavelmente vai querer conhecer a lista do [[lista:MA|Axioma de Martin]]. 
</WRAP>


**~~#~~** Considere $\mathcal I = \{I_n: n \in \omega\}$ a coleção de todos os intervalos abertos de extremos racionais. Dado $I$ um intervalo de extremos reais, denotamos por $diam(I) = |a - b|$ onde $a, b$ são os extremos. Fixado $\varepsilon > 0$, seja $(x_n)_{n \in \omega}$ sequência de reais positivos tais que $\sum_{n = 0}^\infty x_n = \varepsilon$. Considere $\mathbb P_{\varepsilon} = \{f \in Fn(\omega, \omega): diam(I_{f(n)}) < x_n$ para todo $n \in \omega\}$ com a ordem usual de $Fn(\omega, \omega)$ (extensão de funções).

**~~#.#~~** Note que $\mathbb P_{\varepsilon}$ é ccc. 

**~~#.#~~** Seja $r \in \mathbb R$. Mostre que $D_r = \{f \in \mathbb P_{\varepsilon}: r \in \bigcup_{n \in dom(f)} I_{f(n)}\}$ é denso em $\mathbb P_{\varepsilon}$. 

**~~#.#~~** Lembre-se (ou aprenda) que um subconjunto $X \subset \mathbb R$ tem medida nula se $\inf\{\sum_{n = 0}^\infty diam(J_n):$ cada $J_n$ é um intervalo aberto de extremos reais e $X \subset \bigcup_{n \in \omega} J_n\} = 0$. Mostre que todo conjunto enumerável tem medida nula.

**~~#.#~~** Mostre que, supondo $MA_\kappa$, se $X \subset \mathbb R$ é tal que $|X| = \kappa$, então $X$ tem medida nula.<wrap tip>[[dica:medidanula|Dica]]</wrap> <wrap help>[[Solucao:medidanula|Solução]]</wrap>

**~~#~~** Mostre que a afirmação "todo $X \subset \mathbb R$ tal que $|X| = \aleph_1$ tem medida nula" é independente de ZFC.

<WRAP tip>
Para essa parte, você provavelmente vai querer conhecer a lista das [[lista:dominante| famílias dominantes e ilimitadas]]. 
</WRAP>

**~~#~~** Sejam $\lambda < 2^{\aleph_0}$ e $(f_\alpha)_{\alpha \in \lambda}$ uma família de funções de $\omega$ em $\omega$. Considere $\mathbb P = \omega^{<\omega} \times [\lambda]^{<\omega}$ com a seguinte ordem: $(s, F) \leq (t, G)$ se 
$$s \supset t, F \supset G \ \forall \alpha \in G \ \forall n \in dom(s) \smallsetminus dom(t) \ s(n) > f_\alpha(n)$$

**~~#.#~~** Mostre que $\leq$ é de fato uma ordem ccc.

**~~#.#~~** Considere $s = \{(0, 0), (1, 0), (2, 4), (3, 7)\}$, $t = \{(0, 0), (1, 0), (2, 4)\}$ e $F = \{\alpha_1, ..., \alpha_n\} \subset \lambda$. Note que $(s, F), (t, F) \in \mathbb P$. Sob quais condições $(s, F) \leq (t, F)$?

**~~#.#~~** Mostre que $D_\alpha = \{(s, F): \alpha \in F\}$ é denso em $\mathbb P$ para todo $\alpha \in \lambda$. 

**~~#.#~~** Mostre que $E_n = \{(s, F): n \in dom(s)\}$ é denso em $\mathbb P$ para todo $n \in \omega$. 

**~~#.#~~** Suponha que $\mathcal G$ é $\mathcal D$-genérico, onde $\mathcal D = \{D_\alpha: \alpha \in \lambda\} \cup \{E_n: n \in \omega\}$, e considere $f = \bigcup_{(s, F) \in \mathcal G} s$

**~~#.#.#~~** Mostre que $f$ é uma função de $\omega$ em $\omega$.

**~~#.#.#~~** Mostre que, para qualquer $\alpha \in \lambda$, se $(s, F) \in \mathcal G \cap D_\alpha$, então $\{n \in \omega: f_\alpha(n) > f(n)\} \subset dom(s)$.<wrap help>[[Solucao:apaxma|Solução]]</wrap>

**~~#.#.#~~**  Note que $f_\alpha \leq^* f$ para todo $\alpha \in \lambda$. 

**~~#.#~~** Mostre que o axioma de Martin implica que $\mathfrak b = \mathfrak c$. 

<WRAP tip>
Para essa parte, você provavelmente vai querer conhecer a lista das [[lista:quaseDisjuntas| famílias quase disjuntas]]. 
</WRAP>

**~~#~~** Seja $A$ uma família quase disjunta infinita de subconjuntos infinitos de $\omega$. Considere $\mathbb P = \{(s, F): s \in [\omega]^{<\aleph_0}, F \in [A]^{<\aleph_0}\}$ com a relação $\leq$ dada por $(s, F) \leq (s', F')$ se
  * $s' \subset s, F' \subset F$
  * $(s \smallsetminus s') \cap G = \emptyset$ para todo $G \in F'$.

**~~#.#~~** Mostre que $\leq$ é de fato uma ordem parcial. 

**~~#.#~~** Sejam $(s, F)$ e $(s, G) \in \mathbb P$. Mostre que $(s, F)$ e $(s, G)$ são compatíveis.

**~~#.#~~** Note que $\mathbb P$ é ccc.<wrap tip>[[dica:anticadeiaGrande|Dica]]</wrap>

**~~#.#~~** Mostre que $D_k = \{(s, F) \in \mathbb P:  |s| \geq k\}$ é denso para todo $k \in \omega$.<wrap tip>[[dica:complementarGrande|Dica]]</wrap> <wrap help>[[Solucao:complementarGrande|Solução]]</wrap>

**~~#.#~~** Mostre que $E_a = \{(s, F) \in \mathbb P: a \in F\}$ é denso para todo $a \in A$.

**~~#.#~~** Suponha $MA_\kappa$ e que $|A| \leq \kappa$. Considere $G$ $\mathcal D$-genérico, onde $\mathcal D = \{D_k: k \in \omega\} \cup \{E_a: a \in A\}$. Seja $d = \bigcup_{(s, F) \in G} s$. Mostre que $A \cup \{d\}$ é quase disjunta.<wrap tip>[[dica:promessaContida|Dica]]</wrap>

**~~#.#~~** Seja $\mathfrak a$ a cardinalidade da menor família quase disjunta maximal infinita de subconjuntos infinitos de $\omega$. Conclua que se vale $MA_\kappa$, então $\mathfrak a > \kappa$.

**~~#~~** Mostre que se vale $MA$, então $\mathfrak a = \mathfrak c$.

**~~#~~** Mostre que se vale $MA$ e $A$ e $B$ são famílias quase disjuntas maximais infinitas de subconjuntos infinitos de $\omega$, então $|A| = |B|$.