You are on page 1of 18

Mixba’al Rev. Met. de Mat. No 1, Vol. I, Junio 2010.

23 – 40

Constructibilidad relativizada y el Axioma de Elecci´ on
Franklin C. Galindo Carlos A. Di Prisco

Resumen El objetivo de este trabajo es presentar en un solo cuerpo tres maneras de relativizar (o generalizar) el concepto de conjunto constructible de G¨ odel que no suelen aparecer juntas en la literatura especializada y que son importantes en la Teor´ ıa de Conjuntos, por ejemplo para resolver problemas de consistencia o independencia. Presentamos algunos modelos resultantes de las diferentes formas de relativizar el concepto de constructibilidad, sus propiedades b´ asicas y algunas formas d´ ebiles del Axioma de Elecci´ on v´ alidas o no v´ alidas en ellas. Palabras clave: Constructibilidad, Axioma de Elecci´ on, Forcing. Clasificaci´ on de la AMS: Primary: 03E45, Secondary: 03E25, 03E35

1.

Introducci´ on

El objetivo de este trabajo es presentar en un solo cuerpo tres maneras de relativizar (o generalizar) el concepto de conjunto constructible de G¨ odel que no suelen aparecer juntas en la literatura especializada y que son importantes en la Teor´ ıa de Conjuntos, por ejemplo para resolver problemas de consistencia o independencia. Presentamos los modelos resultantes de las diferentes formas de relativizar el concepto de constructibilidad, sus propiedades b´ asicas y algunas formas d´ ebiles del Axioma de Elecci´ on v´ alidas o no v´ alidas en ellas. El orden de la exposici´ on es el siguiente: En la secci´ on 2 presentamos algunos conceptos preliminares y la clase de los conjuntos constructibles de G¨ odel (L), la cual es un modelo transitivo de ZFC1 m´ as la Hip´ otesis Generalizada del Continuo. En la secci´ on 3, definimos para cada conjunto
ZFC la Teor´ ıa Axiom´ atica de conjuntos de Zermelo-Fraenkel y el Axioma de Elecci´ on. ZF es ZFC sin el Axioma de Elecci´ on
1

Axioma de Extensionalidad: Si X y Y son dos conjuntos que tienen los mismos elementos. un modelo transitivo de ZF m´ as el Principio de Elecci´ on Dependiente. Axioma del conjunto potencia: Para todo conjunto X . existe un conjunto Y = P (X ). En la secci´ on 4 describimos. un modelo transitivo de ZF que no satisface el Axioma de Elecci´ on y que contiene a A como elemento. En la secci´ on 5 describimos. un modelo transitivo L(A) de ZF.24 F. con la ayuda del forcing de Levy (el Colapso de Levy) y la hip´ otesis “existe un cardinal inaccesible”. al Modelo de Solovay. La clase de los conjuntos constructibles de G¨ odel (L) ZFC est´ a constituida por los siguientes axiomas: 1. 6. un modelo transitivo de ZF que no satisface el Axioma de Elecci´ on y tal que A no pertenece al mismo. Axioma de pares: Si X y Y son dos conjuntos. entonces existe un conjunto Y = X . el conjunto de los subconjuntos de X . 3. Tambi´ en este L(A) permite construir. para cada conjunto A. con la ayuda del forcing de Cohen el Modelo de Feferman. para cada conjunto A. Galindo y C. 2. entonces ellos son iguales. Axioma del infinito: Existe un conjunto infinito. 4. Prisco A. . A. la uni´ on de todos los elementos de X . con la ayuda del forcing de Cohen. Tal modelo permite construir. entonces para cualquier conjunto X existe un conjunto Y = {Z ∈ X : P (Z )}. 2. 5. otro modelo transitivo L(A) de ZF. Y }. Axioma de comprensi´ on: Si P (X ) es una propiedad bien definida. Dicho modelo permite construir. donde vale que cualquier conjunto de reales es medible seg´ un Lebesgue (o Lebesgue medible). C. al Modelo B´ asico de Cohen. Finalizamos (secci´ on 6) mencionando algunos problemas abiertos de la Teor´ ıa de Conjuntos relacionados con el tema. Axioma de la uni´ on: Si X es un conjunto. tiene la propiedad de Baire y cada subconjunto de reales no numerable contiene un subconjunto perfecto. cuyos elementos son exactamente X y Y. al modelo L[A] de ZFC. entonces existe un conjunto Y = {X.

Un ordinal α es sucesor si α = β + 1. 2. Un ordinal es l´ ımite si no es cero ni sucesor. . donde ∈α = {(γ. para alg´ un ordinal β . ∈α ) es un buen orden estricto. Ord := {x : x es un ordinal}. . . . ω + 3 := {0. 9. ω + 1}. en particular todo conjunto es una clase pues si x es un conjunto.Constructibilidad relativa y Axioma de Elecci´ on 25 7. . Axioma de reemplazo: Si F es una funci´ on definible. . n − 1}. los cardinales. . 1. ZFC se puede presentar como una teor´ ıa de primer orden. .} = N. . . . 3. . Un conjunto α es un ordinal si es transitivo y est´ a estrictamente bien ordenado por ∈. ω. 1. Sean α y β dos ordinales. 1. ω + 2}. ω + ω := {0. es decir. 1. Se define α < β ↔ α ∈ β. [13] ). ω := {0. .. . . ya que el suponer que son conjuntos implica una contradicci´ on. . si es transitivo y el par (α.. 3. La clase de los ordinales la podemos definir intuitivamente as´ ı: 0 := ∅. . ω + 1 := {0. ω. 2. . hay clases que no son conjuntos (clases propias). ω + 1 y ω + 2.. 2. ω + 1. . De esta forma se ve claramente que cada ordinal es igual al conjunto de los ordinales que lo preceden. . . Ord est´ a estrictamente bien ordenada por ∈. . entonces para cualquier conjunto X existe un conjunto Y = F (X ) = {F (x) : x ∈ X }.n = {0.. ω. 3. ZF es la teor´ ıa axiom´ atica de conjuntos constitu´ ıda por los axiomas 1-8. . . . 8. 1. los conjuntos bien fundamentados. . 3. δ ) ∈ α × α : γ ∈ δ }. . Hay clases que son conjuntos. . cuyo lenguaje tiene como u ´nico s´ ımbolo no l´ ogico al relacional binario ∈. . . . . Axioma de regularidad: Cualquier conjunto no vac´ ıo tiene un elemento ∈-minimal.}. ω y ω + ω.[12] . Sin embargo. el universo y los constructibles de G¨ odel (clase definida por G¨ odel para probar la consistencia de ZF con el Axioma de Elecci´ on y la Hip´ otesis Generalizada del continuo[11] . . y x = {z ∈ x : z = z } por el axioma de extensionalidad. . . A continuaci´ on damos algunos ejemplos de ellas: Los ordinales. . ω + 2. 2. 2. Por ejemplo. Dada una f´ ormula ϕ(x) del lenguaje de ZFC decimos que la colecci´ on {x : ϕ(x)} es una clase. . ω + 2 := {0. 1 := {0}. . ω + 3. ω }. entonces la clase {z ∈ x : z = z } es un conjunto por el axioma de comprensi´ on. ω + 1. Los ordinales (Ord) : Se dice que un conjunto x es transitivo si ∀z (z ∈ x → z ⊆ x). Axioma de elecci´ on: Cualquier familia de conjuntos no vac´ ıos tiene una funci´ on de elecci´ on. Por ejemplo: 5. .

x es numerable si |x| ≤ ℵ0 . κ ≤ η ↔ existe una funci´ on f : κ −→ η que sea inyectiva. Un cardinal es sucesor si es de la forma ℵα+1 para alg´ un ordinal α. la cofinalidad de α. Se puede demostrar que para cada ordinal α. si α para todo cardinal α < κ se tiene que 2 < κ. Sea x un conjunto. Un cardinal κ es un l´ ımite fuerte. el cardinal ℵα+1 es regular. x es infinito si no es finito. la imagen de f es no acotada en α). si γ es l´ ımite Card := {ℵα : α ∈ Ord}. Decimos que β < α es cofinal con α si existe una funci´ on creciente f : β −→ α tal que para todo ξ < α. Por ejemplo ℵω y ℵω+ω . Decimos que κ es d´ ebilmete inaccesible si es regular y . η dos cardinales. Se denotar´ a por |x| al u ´nico cardinal κ equipotente con x. Dado α. x es finito si existe un n ∈ ω tal que |x| = n. Con respecto a la cofinalidad se cumple lo siguiente: cof (α) es el menor cardinal β tal que existe una partici´ on de α en β pedazos cada uno de los cuales tiene cardinalidad estrictamente menor que α. Por ejemplo ℵ1 . cof (α). A. Cardinales regulares e inaccesibles: Sea α un ordinal l´ ımite. si no es equipotente a ninguno de sus elementos). Galindo y C. pues la clase Card se puede definir por inducci´ on tranfinita en los ordinales de la siguiente forma: ℵ0 := ω ℵα+1 := (ℵα )+ := {β ∈ Ord : β es equipotente a alg´ un subconjunto de ℵα } ℵγ := β<γ ℵβ . para alg´ un ordinal l´ ımite γ . para alg´ un ordinal α. Cada cardinal tiene la forma ℵα . ℵ2 y ℵ3 . Prisco Los cardinales (Card): Dos conjuntos v y w son equipotentes si existe una funci´ on f : v −→ w que sea biyectiva. Sean κ. C. es el menor ordinal cofinal con α.26 F. Tal cardinal existe por el Axioma de Elecci´ on. Un cardinal κ > ω es fuertemente inaccesible (o simplemente inaccesible) si es regular y l´ ımite fuerte. Un conjunto κ es un cardinal si es un ordinal y no es equipotente a ning´ un ordinal menor (Es decir. Un cardinal infinito κ es regular si es igual a su cofinalidad. Y es l´ ımite si es de la forma ℵγ . Ejemplos: ω es regular y ℵω es singular. Decimos que es singular en caso contrario. existe un δ < β tal f (δ ) ≥ ξ (es decir. Card := {x : x es un cardinal}.

. Decimos que un subconjunto B ⊆ A es definible en A si existe una f´ ormula ϕ(x) del lenguaje LA tal que B = {z ∈ A : A |= ϕ[z ]}. ρ(x). Si x ∈ W F entonces el rango de x. Sea M una clase.Constructibilidad relativa y Axioma de Elecci´ on 27 l´ ımite. b : b ∈ Lα ” supone que se tiene un lenguaje de . Los conjuntos bien fundamentados W F : Se define por inducci´ on transfinita en los ordinales as´ ı: R0 := ∅ Rα+1 := P (Rα ) Rλ := W F := α∈Ord β<λ Rβ . . . < ak >k∈K una estructura y LA un lenguaje de primer orden para la misma. a1 . . λ l´ ımite. . Se dice que B es definible en A con par´ ametros si existe f´ ormula ϕ(x. Ord y W F son clases transitivas. λ l´ ımite Lα α∈Ord L := Es claro que en el paso sucesor la expresi´ on “X es definible en la estructura Lα . . pero antes daremos una definici´ on previa que vamos a utilizar: Sea A := A. < Rj >j ∈J . Rα . Pero Card no es transitiva pues. es el menor ordinal α tal que x ∈ Rα+1 . . Por el Axioma de Fundamentaci´ on se tiene que V = W F . an ]}. an ∈ A tal que B = {z ∈ A : A |= ϕ[z. los ℵα para α > 0 tienen como elementos ordinales que no son cardinales. . . Ahora definiremos a la clase de los conjuntos constructibles. ∈. . M es transitiva si ∀z (z ∈ M → z ⊆ M ). b : b ∈ Lα )} Lλ := β λ Lβ . por ejemplo. < fi >i∈I . xn ) del lenguaje LA y existen a1 . . x1 . ∈. L se define intuitivamente usando inducci´ on transfinita sobre los ordinales de la siguiente manera [19] : L0 := ∅ Lα+1 := {X ⊆ Lα : X es definible en(Lα . El universo (V): V := {x : x = x}. . Es conocido que la existencia de cardinales inaccesibles no se puede demostrar en ZF C .

Sea Z un clase. . . Un demostraci´ on de este teorema puede encontrarse en [19] o [16]. y una constante relacional binario ∈ para la relaci´ b para cada b ∈ Lα . . . L es un modelo del Axioma de Elecci´ on. Sean M . . Galindo y C. . entonces Z (α) ⊂ Z (β ). es la siguiente proposici´ on: ∀α ∈ Ord(2ℵα = ℵα+1 ). ∀xn ∈ M [(M. (2) Si γ es un ordinal l´ ımite. . La Hip´ otesis del Continuo (HC) es la HGC para el caso α = 0. . Teorema 2. .28 F. entonces Z (γ ) = α<γ Z (α). L es un modelo transitivo de ZF que contiene a los ordinales. . La idea es definir un buen orden para L utilizando la definici´ on formal del mismo. Esta definici´ on se puede formalizar en ZF. ∈) |= ϕ(x1 .2 (Teorema de Reflexi´ on). Prisco primer orden con identidad. . . Z ). ϕn son absolutas para Z (β ). . y para cada ordinal α. xn ) es absoluta para M y N si y s´ olo si. C. . . y una prueba del mismo puede encontrarse en: [19] o [16]. Teorema 2. el cual enunciaremos luego de la siguiente definici´ on. . . es decir. . (3) Z = α∈Ord Z (α). . xn ) ↔ (N. cuyos s´ ımbolos no l´ ogicos son: Un s´ ımbolo on de pertenencia ∈. . . Una demostraci´ on de este resultado puede encontrarse en [19] o [16]. xn ) una f´ ormula. xn )]. ∈) |= ϕ(x1 . N dos clases tal que M ⊆ N y ϕ(x1 . L es un modelo de la HGC. . Teorema 2. . 2ℵ0 = ℵ1 . . ϕn . Z (α) un conjunto. . Supongamos que: (1) α < β .4. . Vale la pena resaltar que un importante resultado que es usado en esta prueba es el Teorema de Reflexi´ on. Teorema 2.3. HGC. Entonces: Para cualquier f´ ormulas ϕ1 . ∀α∃β > α(ϕ1 . ver [19] y [16]. . ∀x1 . La Hip´ otesis Generalizada del Continuo. A.1. Se dice que ϕ(x1 .

∀x∃α(x ∈ Lα ). M y G son u ´nicas. d : d ∈ Lα (A) } Lλ (A) := β ∈λ Lβ (A) . 3.1. {y ∈ A : (y. y ∈ A(∀z ∈ A(zRx ↔ zRy ) → x = y ). Primera relativizaci´ on del concepto de conjunto constructible de G¨ odel (L(A)) Sea A un conjunto. L0 (A) := ∅ Lα+1 (A) := {X ⊆ Lα (A) : X es definible en la estructura Lα (A). ∀x. es decir. ∈). Asumiendo V = L. Teorema 2.Constructibilidad relativa y Axioma de Elecci´ on 29 Una prueba de este Teorema puede encontrarse en [19] o [16]. Y como por el Teorema de Cantor se tiene que ℵ1 ≤ 2ℵ0 . Dado que | L(ω1 ) |= ω1 se tiene que 2ℵ0 ≤ ℵ1 .5 (Teorema del Colapsamiento de Mostowski). Tal prueba usa el Axioma de Constructibilidad el cual afirma que todo conjunto es constructible. el cual enunciamos a continuaci´ on luego de la siguiente definici´ on: Sean R una relaci´ on binaria sobre una clase A. Un importante Teorema que se usa para la demostraci´ on de que L |= HGC es el Teorema de Colapsamiento de Mostowski. 2 = ℵ1 . es decir. Entonces existe una clase transitiva M y una funci´ on biyectiva G : A −→ M tal que G es un isomorfismo entre (A. se concluye que 2ℵ0 = ℵ1 . R) y (M. y ) ∈ R)). es decir. x) ∈ R} es un conjunto. El y anterior se llama R-m´ ınimal en X. R es semejante a un conjunto sobre A si y s´ olo si ∀x ∈ A. Se define intuitivamente a la clase L(A) por inducci´ on en los ordinales as´ ı: Definicion 3. L |= V = L. se sigue del hecho de que cualquier subconjunto constructible de ω es construido en alg´ un paso numerable. λ l´ ımite . ∈. El Axioma de Constructibilidad se simboliza as´ ı: V = L. P (ω ) ⊆ L(ω1 ). a ∩ Lα (A) : a ∈ A . semejante a un conjunto y extensional. y ∈ A[xRy ↔ G(x) ∈ G(y )]. R es extensional sobre A si y s´ olo si ∀x. Una prueba de este Teorema puede encontrarse en [19] o [16]. Sea A una clase y R una relaci´ on binaria sobre A tal que R es bien fundamentada. ℵ0 el caso base de la HGC. R es bien fundamentada sobre A si y s´ olo si para todo conjunto X ⊆ A : X = ∅ → ∃y ∈ X (∀z ∈ X ((z.

Denotamos por 2N al conjunto de todas las sucesiones de ceros y unos. entonces A ⊆ L(A). donde s ∈ N<ω . donde a ∈ A. donde t1 es la topolog´ ıa generada por los conjuntos b´ asicos de la forma Us := {f ∈ N∞ : s ⊆ f }. es decir. Una formalizaci´ on de la definici´ on de L(A) en ZF puede hacerse siguiendo las ideas expuestas por [19] para formalizar el concepto de L.30 F. L(A) es un modelo transitivo de ZF que contiene los ordinales. es decir. Esto implica que si A es un conjunto transitivo. d : d ∈ Lα (A) ” supone que se tiene un lenguaje de primer orden con identidad. C. Una prueba de este resultado se puede hacer de manera similar a la que realiza [19] para demostrar que L es un modelo transitivo de ZF que contiene a los ordinales. Una prueba de este resultado puede hacerse por inducci´ on en el rango (en V ) de A (ρ(A)). y un s´ ımbolo relacional binario ∈ para la relaci´ on de pertenencia ∈. t1 ). 2N := {f : f : N −→ 2}. A. Teorema 3. t1 es la topolog´ ıa producto de N∞ que se obtine al dotar a N con la topolog´ ıa discreta. 3. es decir. Es decir. entonces L(A) es el menor modelo transitivo de ZF que contiene a los ordinales y a A. Consideremos el espacio topol´ ogico (N∞ .3. donde Nn := {s : s : n −→ N}. Con L(A) y el forcing de Cohen que agrega infinitos reales gen´ ericos se pueden construir modelos tipo Feferman Denotamos por N<ω al conjunto de todas las sucesiones finitas de n´ uneros naturales. ∈. a ∩ Lα (A) : a ∈ A . Prisco L(A) := α∈Ord Lα (A) Es claro que en el paso sucesor la expresi´ on “X es definible en la estructura Lα (A). Galindo y C. N<ω := n∈N Nn . El espacio (N∞ . t1 ) se denomina Espacio de Baire. un s´ relaci´ on unario Pa por cada conjunto a ∩ Lα (A). Teorema 3. N∞ := {f : f : N −→ N}. 2N ⊆ N∞ y con la topolog´ ıa producto heredada de N∞ se denomina . Denotamos por N∞ al conjunto de todas las sucesiones de n´ umeros naturales.1.2. Si A es transitivo. cuyos s´ ımbolos ımbolo de no l´ ogicos son: Una constante d para cada d ∈ Lα (A).

2N y N[∞] nosotros tambi´ en los llamamos n´ umeros reales. por ejemplo. espacios m´ etricos. una t´ ecnica para construir modelos: Sea (P. Entonces. Tambi´ en que ellos son homeomorfos a los irracionales. Cuando el orden parcial P satisface que ∀p ∈ P ∃ q. Denotamos por N[∞] a la familia de todos los subconjuntos infinitos de N.N[∞] y R tienen la misma cardinalidad(2ℵ0 ) y son espacios polacos. es el menor modelo transitivo de ZFC que es cerrado bajo las operaciones usuales de la Teor´ ıa de Conjuntos y contiene a M ∪ {G}. El conjunto a tambi´ en es llamado un real de Cohen. la extensi´ on gen´ erica de M . D ⊆ P es denso en P si y s´ olo si ∀p ∈ P ∃q ∈ D(q ≤ p). q ∈ G ∃r ∈ G(r ≤ p ∧ r ≤ q ) y (2) ∀p ∈ G ∀q ∈ P (p ≤ q → q ∈ G). separables y completos [16]. G ⊆ P es un filtro sobre P si y s´ olo si: (1) ∀p. Donde q ⊥ r significa que q y r son incompatibles. donde a es un subconjunto finito de N y es la relaci´ on de segmento inicial. P ∈ M un orden parcial y G un filtro P -gen´ erico sobre M . es decir. (en este caso M se llama modelo base). Sean M un modelo transitivo de ZFC. ¬∃s ∈ P (s ≤ q ∧ s ≤ r). es decir. Todos los espacios mencionados. Sea a := {n : f (n) = 1}. entonces G ∈ M . Consideremos el espacio topol´ ogico (N[∞] . el cual definiremos a continuaci´ on. N∞ . Entonces M [G]. M [G] puede tener n´ umeros reales que no estan en M y en este caso se dice que el orden parcial P (o el forcing P ) agrega nuevos reales a M . Sea G un C gen´ erico sobre un modelo transitivo M de ZFC. y se cumple que . Forcing de Cohen que agrega un real al modelo base: El forcing de Cohen es el orden parcial (C . f = ∪G ∈ M [G] y f : ω −→ 2 se llama real de Cohen. cuando P tiene la condici´ on antes descrita el nuevo modelo M [G] es una extensi´ on propia del modelo base M . Y p ≤ q ↔ p ⊇ q . G es un filtro P -gen´ erico sobre M si y s´ olo si G es un filtro sobre P y para todo denso D ⊆ P : Si D ∈ M → G ∩ D=∅. r ∈ P (q ≤ p ∧ r ≤ p ∧ q ⊥ r). considerados como un subespacio del conjunto de los n´ umeros reales R [16].Constructibilidad relativa y Axioma de Elecci´ on 31 Espacio de Cantor. t2 ). ≤) donde C es el conjunto de todas las secuencias finitas de ceros y unos. Es conocido que los espacios N∞ y N[∞] son homeomorfos [6]. Un ejemplo de un orden parcial que agrega nuevos n´ umeros reales al modelo base es el forcing de Cohen. 2N . donde t2 es la topolog´ ıa generada por los conjuntos b´ asicos de la forma Ua := {X ∈ N[∞] : a X }. Presentaci´ on intuitiva del M´ etodo de forcing. A los elementos de los ∞ espacios N . Es decir. Sean M un modelo transitivo de ZFC y P ∈ M un orden parcial. ≤) un orden parcial.

≤) el siguiente orden parcial: Cα := {p :| p |< ω ∧ p ⊆ α × ω × 2}. . A. aβ := {m ∈ ω : ∃p ∈ G(p(β. Los α nuevos reales gen´ ericos tambi´ en pueden ser definidos de la siguiente manera: Sea β ∈ α. Y sea L[G] la extensi´ on gen´ erica de L que se obtiene utilizando el forcing de Cohen que agrega ℵ0 nuevos reales gen´ ericos (Cℵ0 ). C tambi´ en se puede definir como el conjunto de todas las secuencias finitas de n´ umeros naturales.1. Sea A el conjunto de dichos ℵ0 reales gen´ ericos. m) = 1)}. A ∈ L(A). Tal forcing agrega la funci´ on F := G = α × ω −→ 2. La cual permite definir α nuevos reales gen´ ericos de la siguiente forma: Para cada β < α definimos la funci´ on fα : ω −→ 2 as´ ı: fα (n) := F (β. p≤q↔q⊆p Sea G un Cα -gen´ erico sobre M y M [G] la extensi´ on gen´ erica resultante.1. Los aβ asi definidos son subconjuntos de ω y estan en M [G]. entonces L(A) en L[G] es el Modelo de Feferman. G = {p ∈ C : p ⊂ f }.1. para cada n ∈ ω . es decir. C. A la extensi´ on M [G] la denotamos a veces por M [{aβ : β < α}] para resaltar los reales gen´ ericos que agregamos. Galindo y C. p ≤ q ↔ p ⊇ q . Obviamente los fβ son las funciones caracter´ ısticas de los aβ . porque G puede ser recuperado a partir de f . L(A) no satisface el Axioma de Elecci´ on. Sea L la clase de los conjuntos constructibles. Prisco M [G] = M [f ] = M [a]. Teorema 3. Y se cumple que M [G] = M [f ] = M [a] = M [H ] = M [g ]. El Modelo de Feferman es un modelo transitivo de ZF que contiene a los ordinales y tiene las siguientes dos propiedades: A ∈ L(A) y L(A) no satisface el Axioma de Elecci´ on [9] .32 F.2. Se define. Con el mismo orden anterior. Estos resultados se enuncian en forma de teorema a continuaci´ on: Teorema 3. Una manera de hacerlo es la siguiente: Sea M un modelo transitivo de ZFC. [17]. entonces la funci´ on g : ω −→ ω tal que g = ∪H es tambi´ en llamada un real de Cohen. En este caso si H es un C -gen´ erico sobre un modelo transitivo M de ZFC. n). El forcing de Cohen C se puede generalizar para agregar una cantidad infinita (α ≥ ω ) de reales gen´ ericos. Sea (Cα .

L(A) es un modelo transitivo de ZF que contiene los ordinales. d : d ∈ Lα (A) } Lλ (A) := β ∈λ Lβ (A) .2. Como en el caso anterior. entonces Σ tiene un modelo) de la L´ ogica de Primer Orden [17]. ∈. la prueba es similar a la que se realiza en [19] para demostrar que L es un modelo transitivo de ZF que contiene a los ordinales. Es conocido que el Teorema del Ideal Primo es equivalente al Teorema de Compacidad (si cada subconjunto finito de Σ tiene un modelo. ∈. Tambi´ en se puede encontrar en [15] una lista de formas d´ ebiles que no son v´ alidas en el mismo. Segunda manera de relativizar el concepto de conjunto constructible de G¨ odel (L(A)) Sea A un conjunto. cuyos s´ ımbolos no l´ ogicos ımbolo relacional son: Una constante d para cada d ∈ Lα (A) y un s´ binario ∈ para la relaci´ on de pertenencia ∈. d : d ∈ Lα (A) ” supone que se tiene un lenguaje de primer orden con identidad. Teorema 4. entonces Σ tiene un modelo) y al Teorema de Completitud (si Σ es un conjunto consistente de sentencias. Dentro de las no v´ alidas se encuentra por ejemplo el Teorema del Ideal Primo: Toda a ´lgebra booleana tiene un ideal primo (o todo filtro se puede extender a un ultrafiltro) [9]. Una formalizaci´ on de la definici´ on de L(A) en ZF puede darse siguiendo las ideas expuestas en [19] para el caso de L. .1. 4.Constructibilidad relativa y Axioma de Elecci´ on 33 En [15] puede encontrarse una lista de versiones d´ ebiles del Axioma de Elecci´ on v´ alidas en el Modelo de Feferman. λ l´ ımite Lα (A) α∈Ord L(A) := Es claro que en el paso sucesor la expresi´ on “X es definible en la estructura Lα (A). Se define intuitivamente otra clase L(A) por inducci´ on en los ordinales as´ ı: Definicion 4. L0 (A) := CT ({A}) Lα+1 (A) := {X ⊆ Lα (A) : X es definible en la estructura Lα (A).

Entre las versiones d´ ebiles del AE que satisface el Modelo B´ asico de Cohen se encuentra el Teorema del Ideal Primo[10]. Una lista de versiones d´ ebiles del Axioma de elecci´ on v´ alidas en el Modelo B´ asico de Cohen puede encontrarse en [15]. M´ as todav´ ıa: . el cual afirma que cualquier conjunto infinito X tiene la siguiente propiedad: Para cualquier partici´ on del conjunto [X ]2 := {{a. Este es un modelo transitivo de ZF que contiene a los ordinales y tiene las siguientes dos propiedades:A ∈ L(A) y L(A) no satisface el Axioma de Elecci´ on. es decir. tiene una funci´ on de elecci´ on[17]. por lo que λ tiene cardinalidad κ en la extensi´ on gen´ erica.34 F. Sea κ un cardinal regular y λ > κ otro cardinal. Esto ocurre por construcci´ on e implica que L(A) es el menor modelo transitivo de ZF que contiene a los ordinales y a A.3. b} : a.1. entonces L(A) en L[G] es el Modelo B´ asico de Cohen. C. Prisco A ⊆ L(A).2. Otra forma d´ ebil del AE es el Teorema de Ramsey. 4. Galindo y C. b ∈ X } en dos pedazos. <) que colapsa a λ onto κ. Entonces existe un orden parcial (P. existe un subconjunto infinito Y de X tal que [Y ]2 est´ a incluido en una de las piezas de la partici´ on. 4. Sea A el conjunto de dichos ℵ0 reales gen´ ericos. Tambi´ en se puede encontrar en [15] otra lista de versiones d´ ebiles del AE que no son v´ alidas en tal modelo. Y sea L[G] la extensi´ on gen´ erica de L que se obtiene utilizando el forcing de Cohen que agrega ℵ0 nuevos reales gen´ ericos (Cℵ0 ). (P. Con L(A) y el forcing de Cohen que agrega ℵ0 reales gen´ ericos se puede construir el Modelo B´ asico de Cohen Sea L la clase de los conjuntos constructibles.3. Una prueba de que L(A) no satisface el Axioma de Elecci´ on usa argumentos de simetr´ ıa y puede realizarse procediendo an´ alogamente a como se hace en [16] . Otra versi´ on d´ ebil del AE v´ alida en el Modelo B´ asico de Cohen es: Cualquier familia de conjuntos bien ordenables no vac´ ıos. A. p´ aginas 221-223. <) agrega una fuci´ on sobreyectiva de κ en λ. Con L(A) y el Colapso de L´ evy m´ as la hip´ otesis de que existen cardinales inaccesibles se puede construir el Modelo de Solovay El siguiente teorema nos ofrece una t´ ecnica para colapsar un cardinal aplicando forcing: Teorema 4. El Teorema de Ramsey es falso en el modelo B´ asico de Cohen [3].

ym son variables libres que toman valores en N∞ . y (b) Si λ<κ = λ. El orden parcial (P. . y1 . <)(se denota Col(κ. < λ)) utilizado es el siguiente: P son todas las funciones p cuyo dominio esta contenido en λ × κ tal que: (i) | dom(p) |< κ. y todos los cuantificadores de ψ tienen rango sobre ω . .Constructibilidad relativa y Axioma de Elecci´ on 35 (a) Cualquier cardinal α ≤ κ en el modelo base M sigue siendo un cardinal en M[G]. La t´ ecnica anterior nos dice como colapsar un cardinal λ en un cardinal regular menor κ. xn . . Una demostraci´ on de este teorema puede encontrarse en [16]. . El orden parcial (P. ξ ) ∈ dom(p). ψ (x1 . Conjuntos proyectivos y borelianos [2] : Una f´ ormula del lenguaje 1 de la teor´ ıa de conjuntos es n si es de la forma: ∃x1 ∀x2 ∃x3 . . (ii) ran(p) ⊆ λ. y (b) Cualquier cardinal ≤ κ y cualquier cardinal ≥ λ siguen siendo cardinales en M[G]. Una demostraci´ on de este teorema puede encontrarse en [16]. Esto es el contenido del siguiente teorema: Teorema 4. y1 . . . κ ≤ α < λ. <) utilizado es el siguiente: P es el conjunto de todas las funciones p tal que: (i) dom(p) ⊆ κ y | dom(p) |< κ. (ii) p(α. as´ ı λ es un cardinal sucesor en la extensi´ on gen´ erica. <) tal que: (a) Cualquier α.3. . Y el orden < es: p < q si y s´ olo si p ⊇ q . donde los cuantificadores ∃x1 ∀x2 ∃x3 . ym ).). En particular M [G] |= λ = κ+ . tiene cardinal κ en M[G]. . . . . Sea κ un cardinal regular y λ > κ un cardinal inaccesible. . . . entonces cualquier α > λ sigue siendo un cardinal en M[G].2. ξ ) < α para cada (α. Donde λ<κ := {λα : α < λ}. . tienen rango sobre N∞ (es decir: ∃x1 ∈ N∞ ∀x2 ∈ N∞ ∃x3 ∈ N∞ . . . . L´ evy nos presenta una t´ ecnica de colapsamiento de los cardinales menores que un cardinal inaccesible λ preservando a λ. Entonces existe un orden parcial (P.

En L[G] todo conjunto proyectivo de reales es medible Lebesgue. an . A. a2 . Y sea L[G] la extensi´ on gen´ erica de L que se obtiene usando el Colapso de L´ evy: Col(ℵ0 . entonces existe una secuencia a0 . En [15] se puede encontrar una lista de formas d´ ebiles del Axioma de Elecci´ on que valen en el modelo de Solovay. < κ). tal que A = {b ∈ N∞ : ϕ(x. d : d ∈ Lα [A] } . .36 F. . . ym ). C. a1 . 5. donde R son los reales en L[G]. . . . y1 . Tambi´ en se puede encontrar otra lista de formas d´ ebiles que no valen en el mismo. . . y si es no numerable. . 1 1 Una f´ ormula es proyectiva si es un n´ umero n o n . El Principio de Elecci´ on Dependiente es la versi´ on d´ ebil del AE que afirma lo siguiente: Si E es una relaci´ on binaria sobre un conjunto no vac´ ıo A. y a1 . para todo n ∈ N. y si para cualquier a ∈ A existe un b ∈ A tal que bEa. Un conjunto proyectivo B ⊆ N∞ es boreliano si es definible con una f´ ormula 1 en es definible 1 y tambi´ 1 con una f´ ormula 1 . am )}. tiene la propiedad de Baire. A ∩ Lα [A]. tiene la propiedad de Baire y cada subconjunto de reales no numerable contiene un subconjunto perfecto”[22]. Tercera manera de relativizar el concepto de conjunto constructible de G¨ odel (L[A]) Definici´ on intuitiva de L[A]: Sea A un conjunto. . a1 . m´ as el Principio de Elecci´ on Dependiente(DC). . DC implica El Axioma de Elecci´ on Numerable (Cualquier familia numerable de conjuntos no vac´ ıos tiene una funci´ on de elecci´ on). entonces contiene un subconjunto perfecto[22]. Prisco Una f´ ormula es 1 on de una f´ ormula 1 n si es la negaci´ n. . L0 [A] := ∅ Lα+1 [A] := {X ⊆ Lα [A] : X es definible en la estructura Lα [A]. .1. . . Se define intuitivamente a la clase L[A] por inducci´ on sobre los ordinales as´ ı: Definicion 5. Entonces L(R) satisface ZF. ϕ(x. Decimos que un conjunto A ⊆ N∞ es proyectivo si y s´ olo si existe 1 1 una f´ ormula n o n . para alg´ natural n. m´ as “cualquier conjunto de reales es medible Lebesgue. . Sea L(R) en L[G](L(R) es llamado el Modelo de Solovay). am ∈ N∞ . Sea κ un cardinal inaccesible en L. en A tal que: an+1 Ean . . Galindo y C. . . ∈.

∈. Algunos problemas abiertos de la teor´ ıa de conjuntos que tienen relaci´ on con este tema 1. cuyos s´ ımbolos no l´ ogicos ımbolo de relaci´ on son: Una constante d para cada d ∈ Lα [A]. d : d ∈ Lα [A] ” supone que se tiene un lenguaje de primer orden con identidad. A ∩ Lα [A]. Una formalizaci´ on de L[A] en ZF ∈ para la relaci´ puede hacerse siguiendo las ideas expuestas en [19] para L. (i) L[A] satisface el Axioma ∃X (V = L[X ]). y un s´ ımbolo relacional binario on de pertenencia ∈. Teorema 5. λ l´ ımite Lα [A] α∈Ord L[A] := Es claro que en el paso sucesor la expresi´ on “X es definible en la estructura Lα [A]. Una prueba puede realizarse de manera an´ aloga a como se hace en [19] o [16] para L.2. Es conocido que esta propiedad es falsa si vale el . Como en los casos anteriores la prueba es similar a la que se realiza para demostrar que L es un modelo transitivo de ZF que contiene a los ordinales. L[A] satisface el Axioma de Elecci´ on. entonces L[A] ⊆ M. (iii) Existe un ordinal α0 tal que para todo α ≥ α0 . Otras propiedades de L[A] se expresan a partir del siguiente teorema.Constructibilidad relativa y Axioma de Elecci´ on 37 Lλ [A] := β ∈λ Lβ [A] . una prueba del mismo puede encontrarse en [16] : Teorema 5. L[A] |= 2ℵα = ℵα+1 . La Propiedad de Ramsey se denota as´ ı: ω → (ω )ω . Definici´ on de la Propiedad de Ramsey: Para toda (partici´ on) [∞] F : N −→ 2 existe un conjunto infinito H ⊆ N tal que F es constante en H [∞] . un s´ unario P para el conjunto A ∩ Lα [A].4. (ii) Si M es un modelo transitivo de ZF que contiene a los ordinales y tal que A ∩ M ∈ M .3. 6. Teorema 5. L(A) es un modelo transitivo de ZF que contiene los ordinales.

C. A. de esta forma demostr´ o que si ZFC + “existe un cardinal inaccesible” es consistente. C. Notas para un curso dictado en el XI Simposio Latinoamericano de L´ ogica Matem´ atica. The many faces of the Continuum. Consejo de Desarrollo Cient´ ıfico y Human´ ıstico. Master’s Course. entonces sigue abierto el problema sobre c´ omo aumentar el poder deductivo de ZFC agregando nuevos axiomas para determinar cu´ al es el cardinal del continuo [8]. Set Theory and the Continuum Hypothesis. tambi´ en es consistente ZF + DC + ω → (ω )ω . Models of Set Theory. Ramsey’s theorem in the hierarchy of choice principles. 3.. Es decir. Universidad de Barcelona. 387-390. [2] Bagaria. 1977. donde ℵ1 ≤ 2ℵ0 es una versi´ on d´ ebil del AE que significa: Existe una funci´ on inyectiva de ℵ1 en el conjunto de los n´ umeros reales R. INC.. [3] Blass. [4] Cohen.A. 1998. podemos mencionar que es conocido por los trabajos de K. G¨ odel [11] y P. No. ¿ se puede construir un modelo para ZF + ω → (ω )ω utilizando solamente ZFC ?. Prisco Axioma de Elecci´ on [5] y que Mathias prob´ o que en el Modelo de Solovay vale la misma [20]. 2008. A. 42. Cohen [4] que la Hip´ otesis del Continuo (HC) es independiente de ZFC. Caracas. The Journal of Symbolic Logic. Referencias [1] Bagaria.. la HC es una proposici´ on verdadera o falsa. Benjamin. Universidad de los Andes. Galindo y C. Venezuela. J.. Para fianlizar.. W. 2009. [5] Di Prisco. [14]. New York. Pero desde una perspectiva platonista de la matem´ atica. Universidad Central de Venezuela. 2. Teor´ ıa de Conjuntos. 1966. (Carlos Di Prisco) ¿ ω → (ω )ω es compatible con ℵ1 ≤ 2ℵ0 ?. Problema [18]: ¿ Se puede eliminar la hip´ otesis de la existencia del cardinal inaccesible para probar la consistencia de la propiedad de Ramsey con ZF?. .38 F. J. P. Espa˜ na.

[15] Howard. Dag Westerstalhl.. (Petr Hajek. 1981. Rubin. S.. Luis Valdes-Villanueva. [7] Di Prisco. ¿ Qu´ e es el Problema del continuo de Cantor?. G¨ odel. T.. Proccedings of the twelfth International Congress. K. 2001. K. 28. Axiomatic Set Theory.. 325-345.). L´ evy.2. No. 2005. 1981. of California... New York. [16] Jech. Manuscrito .. Alianza. Obras Completas. EEUU. Int. Notas para un curso dictado en el Postgrado de Matem´ aticas de la Facultad de Ciencias de la Universidad Central de Venezuela. (D. K. Alianza. Los Angeles. Proceedings of Symposia in Pure Mathematics. G¨ odel.. Madrid... [12] G¨ odel. G¨ odel. [9] Feferman. 83-134. 13. Methology and Phylosophy of Science. J. Alianza.. [10] Halpern. C. A. Obras Completas. Fil. 1998. 331350. The boolean prime theorem does not imply the axiom of choice. Alianza. Temas Avanzados de Teor´ ıa de Conjuntos. Some applications of notion of forcing and generic sets . Set Theory. K. Are we closer to a solution of the antinuum problem?. 1981. K. . 1981. P.Constructibilidad relativa y Axioma de Elecci´ on 39 [6] Di Prisco. London. [8] Di Prisco. Obras Completas. Campinas. Scott ed.. Madrid. Madrid. Prueba de la consistencia de la hip´ otesis generalizada del continuo .Rev. Madrid. 2005.. Obras Completas.. 56. Eds). G¨ odel. Logic. La consistencia del axioma de elecci´ on y la hip´ otesis generalizada del continuo. 1964/65. Caracas. [11] G¨ odel. [13] G¨ odel. C. Springer. K. [14] G¨ odel. 1967. J. Fundamenta Mathematicae. La consistencia del axioma de elecci´ on y de la hip´ otesis generalizada del continuo con los axiomas de la teor´ ıa de conjuntos. American Mathematical Society.. 2000. C.. K. K. Mathematics versus metamathematics in Ramsey theory of the real numbers. part 1.. Consecuences of the Axiom of Choice. Kings College Publications. Univ.

An Introduction to Independence Proofs. Galindo Universidad Central de Venezuela. [22] Solovay. 1973. P. [21] Ramsey. The Axiom Choice. Amsterdam. 1977. 92.ve . p. 264-286. 30. North Holland. Facultad de Humanidades y Educaci´ on.galindo@ucv.. The Higler Infinite. R. C. Direcci´ on de los autores Franklin C.ve Carlos A. e-mail: cdiprisc@ivic.. 1970.. Di Prisco Instituto Venezolano de Investigaciones Cient´ ıficas Venezuela.. A model of set theory where every set of reals is Lebesgue measurable . Annals of Mathematics. Proceedings of the London Mathematical Society. [20] Mathias. Venezuela. K. e-mail: franklin.. Happy families. On a problem of formal logic. A. 59-111. 12. A. 1-56.. [18] Kanamori. Galindo y C. 1980. Annals of Mathematical Logic. Amsterdam. [19] Kunen. A. New York. Prisco [17] Jech. Set Theory. 1929/30. Escuela de Filosof´ ıa. 1.40 F. Springer. No. T. North Holland. 1997.