=== Definições === Uma árvore é dita de Aronszajn se ela * Possuir altura não enumerável * Não possuir ramos não enumeráveis * Não possuir níveis não enumeráveis Tal árvore é dita especial se * Existe uma função $f$ da árvore para os racionais que preserva a ordem, ou seja, se $x === Resultado parcial === Se vale a hipótese do contínuo generalizada e se toda árvore de aronszajn for especial, então $|\mathcal{I}(G)|= 2^{\omega_1}$ para todo $G \in \mathcal{K}$. A hípotese do contínuo generalizada diz que : * $\aleph_{\alpha+1} = 2^{\aleph_\alpha}$ Partition Tree: *Para todo $v \in \omega_1$, definimos $\gamma_v \in \omega_1$ e uma sequência $\langle \xi_\gamma^v : \gamma < \gamma_v \rangle$ da seguinte forma: *$\xi_0^v = 0$ e se $\langle \xi_\alpha^v : \alpha < \gamma \rangle$ é bem definido, então: * $ \xi_\gamma^v = min \{\xi :\forall \alpha < \gamma, \xi > \xi_\alpha^v \text{ e } (\{\xi_\alpha^v,\xi\} \in E \text{ sse } \{\xi_\alpha^v,v\}\in E)\}$ \item E se $\xi_\gamma^v = v$, então $\gamma_v = \gamma$ * Dados $u,v \in \omega_1$ escrevemos $v \prec^G u \iff \xi_\gamma^v = \xi_\gamma^u$ para todo $ \gamma < \gamma_v$ * $\mathcal{T}^G = \langle \omega_1,\prec^G \rangle$ é a Partition Tree de $G$. Diamond (Ouros): *Tomemos $F:(2^\omega)^{<\omega_1}\rightarrow 2$ e e $A \subset \omega_1$, dizemos que uma função $g : \omega_1 \rightarrow 2$ é $A$-ouros para $F$ para todo $h \in (2^\omega)^{\omega_1}$ se $\{\alpha \in A: F(h\lceil \alpha) = g(\alpha)\}$ é um subconjunto estacionário de $\omega_1$. Pequeno subconjunto : * $A \subset \omega_1$ é dito um pequeno subconjunto de $\omega_1$ se para algum $F:(2^\omega)^{<\omega_1}\rightarrow 2$ nenhuma função é $A$-ouros para $F$. * $\tau = \{ A \subset \omega_1 : A \text{ é pequeno subconjunto de } \omega_1 \}$ === Lema === Tomando $G \in \mathcal{K}$, $A \in [\omega_1]^{\omega_1}$ e $|\{G(x)\cap A:x \in \omega_1\}| = \omega_1$, então $|\mathcal{I}(G)| \geq 2^{\omega_1}$ [[Solucao:lema1almistsmoothgrahs|Solução]] === Lema === Se $G = (\omega_1,E) \in \mathcal{K}$ com $|\mathcal{I}(G)| < 2^{\omega_1}$, então $\mathcal{T}^G$ é uma árvore de Aronazajn. [[Solucao:lema2almistsmoothgrahs|Solução]] === Teorema === Se $2^\omega < 2^{\omega_1}$ então $\tau$ é enumeravelmente completo $(\forall H \subset F, H \text{ é enumerável } \implies \cap H \in F)$, próprio e ideal em $\omega_1$. [[Solucao:teo1almistsmoothgrahs|Solução]] === Resolução resultado parcial === Se vale a hipótese do contínuo generalizada e se toda árvore de aronszajn for especial, então $|\mathcal{I}(G)|= 2^{\omega_1}$ para todo $G \in \mathcal{K}$. *Tomemos $G=(\omega_1,E) \in \mathcal{K}$ e vamos supor por absurdo que $|\mathcal{I}(G)| < 2^{\omega_1}$ *Pela hipótese do contínuo generalizada $2^{\omega_1} = \omega_2$ e assim podemos criar a sequência $\langle G_v : v < \omega_1 \rangle$ de grafos tal que para cada $Y \in [\omega_1]^{\omega_1}$ existe $v < \omega_1$ com $G[Y] \simeq G_v$, assim criamos $G_v = (\omega_1,E_v)$ *Consideremos então a árvore de Aronszajn $\mathcal{T}_G = (\omega_1,\prec^G)$, por suposição temos que ela é especial e pelo teorema anterior como $\tau = \{ A \subset \omega_1 : A \text{ é pequeno subconjunto de } \omega_1 \}$ é enumeralvelmente completo e ideal, existe uma anticadeia $S \in \mathcal{T}_G$ tal que $S \notin \tau$ * Vamos então criar o conjunto $A = \{\alpha \in \omega_1 : \exists \gamma \in S \text{ tq } \alpha \prec^G \gamma \}$ *Segue dele a seguinte propriedade: $$\forall \gamma \in S \forall p \in (S\cup A)\setminus(\gamma + 1), \exists \alpha \in A\cap \gamma \text{ tq } (\{\gamma,\alpha\} \in E \text{ sse } \{p,\gamma\} \notin E)$$ Realmente, se para cada $\alpha \in A\cap \gamma$ temos $\{\gamma,\alpha\} \in E$ sse $\{p,\alpha\} \in E$, temos $\gamma \prec^G p$, é assegurado pela contrução de $\mathcal{T}^G$. *Tomemos então $v\in \omega_1$, $\gamma \in S$, $T \subset S\cap \gamma$ e $f: G[(A\cap \gamma)\cup T] \rightarrow G_v$ um mergulho, vamos definir então $F(v,\gamma,T,f) \in 2$ da seguinte forma: $$F(v,\gamma,T,f)= 1 \text{ se } \exists x \in G_v \text{ tq } \forall \alpha \in A\cap \gamma \{x,f(\alpha)\} \in E_v \text { sse } \{\gamma,\alpha\} \in E$$ *Podemos ver $F$ como uma função de $(2^\omega)^{\omega_1}$ para 2. Já que $S \notin \tau$, existe $g \in 2^{\omega_1}$ $S$-ouros para $F$ tal que para todo $v \in \omega_1$, $T\subset S$, $f:G[A\cup T]\simeq G_v$ e o conjunto $$S_T = \{\gamma \in S : g(\gamma) = F(v,\gamma,T\cap \gamma,f\lceil \gamma)\}$$ é estacionário, possuindo intersecção com todo os conjuntos Clubs (Subconjuntos dos ordinais limites). Tomemos então $T = \{\gamma \in S:g(\gamma) = 0\}$ * Tomemos também um ordinal $v < \omega_1$ e uma função $f:G[A\cup T]\simeq G_v$ * Para cada $\gamma < \omega_1$ tal que $\gamma = \omega \gamma$ pela propriedade $$\forall \gamma \in S \forall p \in (S\cup A)\setminus(\gamma + 1), \exists \alpha \in A\cap \gamma \text{ tq } (\{\gamma,\alpha\} \in E \text{ sse } \{p,\gamma\} \notin E)$$ * Segue que : $$\gamma \in T \text{ sse } \exists x \in \omega_1 \forall \alpha \in S \cap \gamma \text{ tq } \{x,f(\alpha)\} \in E_v \text{ sse } \{\gamma,\alpha\} \in E$$ * Assim $g(\gamma) = 0$ se e somente se $F(v,\gamma,T\cap \gamma,f\lceil \gamma) = 1$ para cada $\gamma \in S$, ou seja, $S_t = \emptyset$, o que gera uma contradição.