Forzado de Sacks

La técnica de forcing, introducida por Paul Cohen, es utilizada para generar modelos de ZFC. La técnica comienza con un modelo $V$, conocido como modelo base, después fijando un orden parcial $\mathbb{P}\in V$, conocido como forcing, que codifica las condiciones deseadas del modelo que se desea construir, entonces se fuerza con $\mathbb{P}$ sobre $V$ para obtener un modelo genérico $V[G]$.

El forcing de Sacks, denotado por $𝕊$, es uno de estos órdenes parciales. Fue introducido en 1971 por el matemático estadounidense Gerald Enoch Sacks para producir un real a con mínimo grado real de constructibilidad (minimal real degree of constructibility). También es conocido como forcing de árboles perfectos.

Definición del forcing de Sacks

Para definir el forcing de Sacks, primero debemos definir la noción de árboles perfectos (un árbol $T$ de $2^{<\omega }$ es un conjunto de funciones finitas de $\omega$ en $2$ cerrado bajo segmentos iniciales de tal manera que para cualquier función en $T$ el conjunto de antecesoras es un orden lineal). Sea $p\subseteq 2^{<\omega }$ un árbol y $s\in p$, decimos que $s$ es un nodo de ramificación (nodo splitting) de $p$ si $s^{⌢}0$, $s^{⌢}1\in p$. Por otra parte $p$ es un árbol perfecto o un árbol de Sacks si $\mathrm{\forall }s\in p\mathrm{\exists }t\in p:s\subseteq t$ y $t$ es nodo de ramificación.

De esta manera el forcing de Sacks, denotado $𝕊$, es el conjunto de todos los árboles de Sacks ordenado por la contención, es decir, dados $p,q\in 𝕊$, se cumple que $p\le q⟺p\subseteq q$.

Real de Sacks

Dado un árbol $T$ de $2^{<\omega }$, denotamos por $[T]$ al conjunto de las ramas de $T$, es decir, $[T]=\{x\in 2^{\omega }|\mathrm{\exists }y\in T:y\subseteq x\}$.

Sea $G\subseteq 𝕊$ un filtro genérico. En $V[G]$ se define al real de Sacks, $S_{gen}^G$, como el único elemento de $\bigcap _{p\in G}[p]$. Como su nombre lo indica $𝕊⊩S_{gen}^G\in 2^{\omega }$.

Es conocido que dado $p\in 𝕊$, entonces $p\in G$ si y solo si $S_{gen}^G\in [p]$. Con lo cual $G$ y $S_{gen}^G$ son interdefinibles, lo cual implica que $V[G]=V[S_{gen}^G]$.

Más que lo anterior se cumple dados $G\subseteq 𝕊$ un filtro $(V,𝕊)$-genérico y $x\in V[G]$ un real nuevo, existe $H\subseteq 𝕊$ filtro $(V,𝕊)$-genérico tal que $v[H]=V[G]$ y $x=S_{gen}^H$ con lo cual $V[x]=V[H]=V[G]$ por tanto $𝕊$ tiene mínimo grado de constructibilidad real.

Propiedades del forcing de Sacks

• No es un forcing c.c.c. (es decir, no satisface la condición de cadena contable).
• Tiene estructura de axioma A, también conocido como axioma de Baumgartner. Para verificar esto, primero para cada $p\in 𝕊$ denotamos $𝗌𝗉𝗅𝗂𝗍(p)=\{s\in p|s\text{ es de ramificación en }p\}$ y ${𝗌𝗉𝗅𝗂𝗍}_n(p)=\{s\in 𝗌𝗉𝗅𝗂𝗍(p)|s\text{ tiene exactamente }n\text{ antesesores en }𝗌𝗉𝗅𝗂𝗍(p)\}$. Ahora, dados $n\in \omega$, $p,q\in 𝕊$, se define $p{\le }_{n}q$ si y solo si $p\le q$ y ${𝗌𝗉𝗅𝗂𝗍}_n(q)={𝗌𝗉𝗅𝗂𝗍}_n(p)$. Con esta estructura, $𝕊$ es axioma A.

• No colapsa a ${\mathrm{\aleph }}_1$.
• Es forcing propio.
• Es ${\omega }^{\omega }$ bounding.
• Tiene la propiedad de Sacks
• Preserva p-puntos
• No añade splitting reals
• Preserva ultrafiltros de Ramsey

El modelo de Sacks

Dado $\alpha$ un ordinal, ${𝕊}_{\alpha }$ es la iteración de longitud $\alpha$ de $𝕊$ con soporte numerable, de este modo, el modelo de Sacks es el modelo obtenido al forzar con ${𝕊}_{{\omega }_2}$ sobre un modelo de CH.

Bibliografía

Halbeisen L. J. (2012). Combinatorial Set Theory. Springer. https://doi.org/10.1007/978-1-4471-2173-2

Geschke S., Quickert S. (2004) On Sacks forcing and the Sacks property. In: Löwe B., Piwinger B., Räsch T. (eds) Classical and New Paradigms of Computation and their Complexity Hierarchies. Trends in Logic, vol 23. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-2776-5_7 Plantilla:Control de autoridades