Introduccion A La Teoria PCF

Introduccin a la Teora PCF
_________________________________
INTRODUCCIN A LA TEORA PCF
ALEXANDER AMEZQUITA OCHOA
FUNDACIN UNIVERSITARIA KONRAD LORENZ

FACULTAD DE MATEMTICAS
13 DE DICIEMBRE DE 2003

_________________________________

_________________________________
INTRODUCCIN A LA TEORA PCF
ALEXANDER AMEZQUITA OCHOA
TRABAJO DE GRADO PARA OPTAR POR EL TITULO DE MATEMTICO
DIRECTOR: JOS JOAQUN VALDERRAMA

MATEMTICO.
PROFESOR FACULTAD DE MATEMTICAS.
FUNDACIN UNIVERSITARIA KONRAD LORENZ

FACULTAD DE MATEMTICAS
13 DE DICIEMBRE DE 2003
3

_________________________________

_________________________________
RESUMEN
RESUMEN. Los problemas relacionados con la Hiptesis del Continuo son uno de los
intereses centrales de la teora de conjuntos y de la lgica. La manera en la que la primera
ha tratado de atacar este tpico ha sido a travs de la aritmtica cardinal, y en especial,
mediante el estudio de los cardinales regulares y singulares. Los resultados mas importantes
en este sentido son presentados por la denominada teora PCF, y los conceptos centrales
para tener un acercamiento a esta teora se presentan en este trabajo.
ABSTRACT. The questions related with the Continuum Hypothesis are one of the central
interests of the set theory and the logic. The way that the first one has deal with this topic
has been through the Cardinal Arithmetic, especially, by means of the study of regular and
singular cardinals. The most important products are introducing by the named PCF theory,
and the central concepts that are enough to approach this theory are introducing in this
paper.

_________________________________
ndice General
Introduccin........................................................................................
Introduccin a la Teora PCF.......................................................
Planteamiento del Problema...............................................
Una Breve Historia......................................................................
Capitulo 1. Teora Axiomtica de Conjuntos..................................
1.1 Introduccin...........................................................................
1.2 Teora Axiomtica de Conjuntos Zermelo Fraenkel...........
1.3 Funciones...............................................................................
Capitulo 2. Nmeros Ordinales.........................................................
2.1 Los Nmeros Naturales..........................................................
2.2 Los Nmeros Ordinales..........................................................
2.3 Axioma de Eleccin...............................................................
Capitulo 3. Los Nmeros Cardinales................................................
3.1 Nmeros Cardinales...............................................................
3.2 Conjuntos Finitos e Infinitos..................................................
3.3 Aritmtica Cardinal................................................................
3.4 Aritmtica Cardinal Infinita...................................................
Capitulo 4. El Problema de los Cardinales Singulares...................
4.1 La Hiptesis del Continuo......................................................
4.2 Cardinales Regulares y Singulares.........................................
4.2.1 Cofinalidad.................................................................
Capitulo 5. Conclusiones....................................................................
5.1 Conclusiones..........................................................................
5.2 Recomendaciones...................................................................
Referencias..........................................................................................
8
10
10
13
18
18
18
29
33
33
39
43
46
46
52
53
55
58
58
61
61
65
65
66
69

_________________________________

_________________________________
INTRODUCCIN
Una de las preocupaciones fundamentales de la matemtica ha sido y es todava encontrar

el orden de sus propios productos cientficos. Las matemticas produce en cada una de sus
ramas diferentes conocimientos, y estos deben ser ordenados y sistematizados de manera tal
que puedan construirse como teoras, para lo cual ella misma ha creado conceptos tales
como conjunto, coleccin, clase, cuerpo, anillo, grupo. Estos conceptos y otros mas,
algunos de ellos intuitivos, han servido para ordenar tales conocimientos, pero al constituir
ellos mismos sistemas se han encontrado paradojas, y de ellas han emergido nuevas
preocupaciones, nuevos problemas.
Uno de tales sistemas lo ha constituido la Teora de Conjuntos, aquella que se ocupa de la
definicin de los conjuntos, de la ordenacin y estructuracin de las agrupaciones de
elementos que constituyen el todo detrs de cada operacin matemtica. Baste para
demostrar esto recordar como cada axioma, teorema o proposicin comienza con una
sentencia como esta:
Sea A el conjunto de ... tal(es) que ...
Con su configuracin y desarrollo, esta teora ha tenido que enfrentarse con diferentes
paradojas e inconsistencias que han terminado por definirla como una de las ramas de la
8

_________________________________
matemtica que mas se ha desarrollado fundamentada en bases tan seguras de su veracidad
como de su falsedad. Y todo ello ha seguido siempre la misma direccin. Esta es una
afirmacin que debera demostrarse, pero la histrica matemtica de la teora de conjuntos
ha de presentar suficientes evidencias al respecto.
Tal comprobacin histrica afirma que: de una manera somera, general y amplia, la teora
de conjuntos es un estudio del concepto de infinito. Esto es as porque dentro de lo que
podramos definir como la teora de conjuntos finita, aquella que trata con colecciones de
elementos que pueden ser contados, e incluso aquella cuyo objeto de estudio es fcilmente
comparado con la realidad, las definiciones, aun cuando siguen siendo intuitivas, no
presentan contradicciones, no se presentan confusiones. Pero inmediatamente empezamos a
trabajar con cantidades infinitas, con colecciones infinitas de elementos y las
comparaciones con la realidad se hacen imposibles, las paradojas y los problemas
comienzan a aparecer.
La teora de conjuntos, por tal razn, ha construido sistemas axiomticos lo suficientemente
poderosos como para hacer manejables las operaciones a un nivel finito, mensurable. Tales
sistemas se han modificado, se han adecuado a lo largo de la historia a los diferentes
descubrimientos que la misma teora ha hecho, y ello ha permitido que se pueda hoy hablar
de un sistema axiomtico que permite realizar operaciones no triviales con conjuntos
infinitos.
Expliquemos un poco algunos de estos argumentos. Por sistema axiomtico entenderemos
al conjunto finito de afirmaciones sobre las que se sustenta una teora. Tales afirmaciones
por su carcter fundamental, no poseen medios para demostrarse a ellas mismas, son verdad
por solas, no es necesario seguir una prueba sistemtica para saber si se puede trabajar con
ellas, son las bases o verdades de la teora. A la manera de la filosofa son nuestros juicios
sintticos a priori, as, de la misma manera en que en toda ciencia hay verdades
incuestionables como todo efecto es producido por una o mltiples causas, as tambin la
9

_________________________________
teora que nos ocupa construye, por decirlo as, mundos en los que ciertas verdades son
irrefutables y sobre las que se busca ordenar el conocimiento.
Por operaciones no triviales consideramos aquellas que no tienen una solucin trivial, es
decir, ordinaria o fcilmente identificable a travs de la comparacin con otras semejantes.
En este sentido, veremos a continuacin como la teora de conjuntos ha tratado no
solamente con los problemas y el estudio sistemtico del infinito, sino tambin con sus
operaciones no triviales, aquellas que no se deducen de las operaciones con finitos, por
ejemplo.
De esta manera, a partir de un sistema axiomtico, la teora de conjuntos se ha enfrentado al
problema de ciertas operaciones no triviales relacionadas con un conjunto de nmeros
llamados transfinitos. Tal operacin no trivial se denomina exponenciacin cardinal.
Ambos, conceptos-conjunto y operacin son las herramientas claves para llevar a cabo la
labor que nos proponemos. Plantearemos la cuestin en los trminos de una propuesta de
trabajo y finalmente expondremos la manera en la que interactan estas herramientas
INTRODUCCIN A LA TEORA PCF.
Planteamiento del Problema.

Uno de los problemas centrales de la teora de conjuntos es el de la hiptesis del continuo.
Si bien la teora de conjuntos se creo con la intencin de ordenar las matemticas tanto en
su enseanza como en las demostraciones y el sentido central de la misma, las paradojas
que gener en poco o nada ayudaron a tal objetivo.
10

_________________________________
Dentro de tales problemas y paradojas, la hiptesis del continuo se eleva como un punto
central sobre el que la teora de conjuntos puede mas bien aportar, si no a la ordenacin de
las explicaciones, s a aplicaciones en amplios campos de la matemtica como la topologa.
Lo que se demuestra en el desarrollo histrico, es que ms que un catalizador universal de
ordenacin de la matemtica, la teora de conjuntos se ha convertido en una herramienta
universal para el ataque de problemas de diversos mbitos de la misma.
Lo mismo que en la fsica las teoras de luz, divididas en aquellas que consideran la luz
como un conjunto de corpsculos y aquellos que la consideran una onda, han resuelto
importantes problemas de esta ciencia de manera separada e independiente, es decir,
muchos se resuelven bajo la suposicin de la primera y la negacin de la segunda, y otros
muchos de manera inversa, en la matemtica muchos son los problemas que se resuelven
suponiendo construcciones axiomticas de la teora de conjuntos (como puede ser ZermeloFraenkel) y la veracidad de la Hiptesis del Continuo (HC de aqu en adelante) e
igualmente muchos los que encuentran solucin suponiendo las mismas construcciones
axiomticas y la nulidad de HC.
De esta manera, la HC se convierte en uno de los ncleos alrededor de los cuales la teora
de conjuntos contribuye como herramienta al desarrollo de la matemtica.
Frente a esta situacin, la matemtica contempornea ha encontrado en aquella de sus
especialidades denominada Teora avanzada de conjuntos y ms especficamente en el
campo de la exponenciacin cardinal, un posible planteamiento acerca de la hiptesis del
continuo, que oponindose a posiciones intuicionistas, ha accedido a su anlisis a travs de
la metodologa de las demostraciones por contradicciones y la presentacin de
contraejemplos.
Resultado de estos anlisis, podemos presentar la obra cumbre del matemtico Sharon
Shelah, publicada bajo el titulo de Cardinal Arithmetic, y que contiene toda una
sustentacin terica de la posibilidad de construir contraejemplos a la HC, a travs del
11

_________________________________
estudio de las posibles cofinalidades, dando origen a lo que hoy da se denomina Teora
PCF (Posibles CoFinalidades).
En tal planteamiento se encuentra el hallazgo cumbre de dicha teora y es el teorema que
Shelah plantea como el primer contraejemplo a la HC, y que se formula de la siguiente
manera:
Teorema 1. Shelah hacia 1990
< 0 < 4 .
El cual plantea que la primera cota para los contraejemplos a la hiptesis del continuo es el
cuarto cardinal limite.
Esta presentacin tiene por objeto realizar una introduccin a los conceptos de la teora de
conjuntos que son necesarios para emprender el camino de la comprensin de este resultado
de Shelah. Su aritmtica cardinal es un producto complejo, de un alto nivel de abstraccin,
por eso, el acercamiento a la teora PCF requiere de amplios conocimientos en teora de
conjuntos, teora combinatoria de conjuntos y topologa, por lo que se propone este trabajo
es presentar un acercamiento didctico a los conceptos fundamentales, realizando las
demostraciones bsicas de la teora de conjuntos y haciendo la presentacin de teoremas,
proposiciones y corolarios bsicos para hacerse una idea de los problemas de la
exponenciacin cardinal que construyen lo que se denomina el problema de los cardinales
singulares. Clarificar de manera introductoria, y con la intencin de generar inters y
preguntas acerca este problema, los conceptos centrales de este tpico son los objetivos de
esta investigacin.
12

_________________________________
UNA BREVE HISTORIA.
En el ao 1872 surgieron una serie de trabajos, escritos por G. Cantor, R. Dedekind, K.

Weierstrass, E. Heine y Ch. Meray cuyo nico objetivo era el de dotar de una teora
rigurosa al nmero real, problema ste considerado vital para una correcta fundamentacin
del anlisis.
As Dedekind defini el nmero real como una cortadura en el conjunto de los nmeros
racionales, dando al conjunto de los nmeros reales una interpretacin geomtrica en forma
de lnea recta.
Cantor, por su parte, identific al nmero real con una sucesin convergente de nmeros
racionales. La creacin de la teora de conjuntos infinitos y los nmeros transfinitos
pertenece tambin a G. Cantor. l demostr la no equivalencia de los conjuntos de nmeros
racionales y reales. Durante los aos 1879 a 1884 elabor de forma sistemtica la teora de
conjuntos, introduciendo el concepto de potencia de un conjunto, el concepto de punto
lmite, de conjunto derivado...
La teora general de las potencias de conjuntos, las transformaciones y operaciones sobre
conjuntos y las propiedades de los conjuntos ordenados constituyeron fundamentalmente la
teora abstracta de conjuntos. Las cuestiones de fundamentacin de la teora de conjuntos,
junto con la investigacin de los lmites de su aplicacin se convirtieron durante el siglo
XX en una ciencia especial, la "lgica matemtica", la cual forma una parte importante de
los fundamentos de las matemticas modernas.
El campo de aplicacin del anlisis matemtico creci rpidamente merced a un sin fin de
investigadores de los mtodos matemticos de la fsica y la mecnica: Green, Stokes,
13

_________________________________
Thomson, Hamilton, Maxwell... Entre estas aplicaciones cabe destacar la creacin del
aparato analtico para la investigacin de los fenmenos electromagnticos, la teora
matemtica de la conductividad del calor, o la construccin del aparato matemtico de la
nueva mecnica.
As, a finales del siglo XIX, Cantor desarrolla una teora formal sobre el infinito actual.
Todos los argumentos dados, seala Cantor, en contra del infinito han sido insensatos, ya
que han tratado la aritmtica de los nmeros infinitos como una extensin de la aritmtica
de los nmeros finitos. Uno de los objetivos de su obra era demostrar que no haba ninguna
razn para aceptar las viejas ideas en contra del infinito actual. Si los conjuntos infinitos se
comportan de manera diferente a los conjuntos finitos no quiere decir que estos sean
inconsistentes, sino que obedecen a una aritmtica diferente.
Cantor demostr, contra la famosa aniquilacin de lo finito por lo infinito, que los nmeros
infinitos eran susceptibles de ser modificados por los nmeros finitos. Tambin rechaz la
distincin aristotlica entre infinito actual e infinito potencial, ya que todo infinito potencial
presupone la existencia de un infinito actual. Georg Cantor, siguiendo los pasos de
Bolzano, consider que la idea de una biyeccin sera el principio bsico para comparar
conjuntos infinitos. Si existe una biyeccin entre dos conjuntos, podemos decir que dichos
conjuntos son equipolentes o tienen la misma potencia. El trmino de potencia de un
conjunto dio paso al trmino de nmero cardinal.
Bolzano introdujo las siguientes definiciones de conjunto infinito: Un conjunto no vacio A
es finito si para algn entero positivo n, A es equipolente a {1,2,....,n}; de otra forma A es
infinito. Un conjunto A es infinito si existe un subconjunto propio B de A equipolente a A;
en cualquier otro caso A es finito. Cantor y Dedekind utilizaron esta definicin reflexiva
del infinito:
Cantor: Un conjunto finito es uno cuya potencia es un entero positivo. Para tal conjunto
todo subconjunto propio tiene una potencia menor, mientras que un conjunto infinito A
14

_________________________________
tiene la misma potencia que algn subconjunto propio de A. (Implcitamente dio estas
propiedades cuando demostr que R y Rn tenan la misma potencia).
Dedekind: Un conjunto A es Dedekind-infinito si algn subconjunto propio B de A es
equipolente a A; en cualquier otro caso A es Dedekind-finito.
Cantor: Por un conjunto finito entendemos un conjunto M, el cual surge a partir de un
elemento original a travs de la adicin sucesiva de nuevos elementos de tal forma que el
elemento original puede ser obtenido a partir de M eliminando sucesivamente los elementos
aadidos en el orden reverso. (Esta es la primera definicin explcita de un conjunto finito
dada por Cantor).
Cantor: Mientras que un conjunto finito siempre retiene el mismo nmero ordinal,
independientemente de la forma en que estn ordenados sus elementos, un conjunto infinito
puede ser reordenado de tal forma que tenga ms de un ordinal.
Cantor defini que dos conjuntos tenan el mismo nmero de elementos si exista una
correspondencia biunvoca entre los miembros de ambos conjuntos; a diferencia de
Bolzano, quien concluy que la existencia de una correspondencia entre dos conjuntos
infinitos A y B no justificaba la inferencia de su igualdad, con respecto a la multiplicidad
de sus miembros. La razn por la cual la definicin de Cantor y sus consecuencias han sido
aceptadas no es porque estn, ciertamente, mas cerca del uso comn sino ms bien porque
son ms tiles para la matemtica.
An hoy en da tendemos a pensar que existen ms nmeros naturales que nmeros pares.
Cantor consideraba tres contextos donde surge el concepto de infinito actual: primero
cuando es realizado en la forma ms completa, en un ser independiente de otro mundo, en
Dios, al cual llamo el Infinito Absoluto o simplemente Absoluto; segundo cuando ocurre en
lo contingente, en el mundo fsico; tercero cuando la mente lo aprehende en abstracto como
una magnitud matemtica, nmero, o tipo de orden.
15

_________________________________
As, uno de los problemas ms importantes de la teora de conjuntos moderna y

contempornea trata con lo que se conoce como aritmtica cardinal. De una lado, como lo
afirmaba Cantor, es insensato pensar que el infinito es susceptible de ser manejado a travs
de la aritmtica finita; de otro, conocido este hecho, la construccin de una slidas bases
para una aritmtica cardinal permitirn tratar con estas cantidades y conjuntos de manera
cientfica y no solamente metafsica.
16

_________________________________
17

_________________________________
CAPITULO 1. LA TEORIA AXIOMATICA DE CONJUNTOS
1.1. INTRODUCCIN.
No podemos comenzar una explicacin coherente de los problemas derivados de los

cardinales sin llegar a su construccin clara. Tales cuestiones de constitucin del problema
debe atacarse a partir de una exposicin clara y sencilla de la teora de conjuntos que
recibi en su seno tal problema.
Esta seccin estar dedicada entonces a una explicacin de cada uno de los axiomas de la
teora de conjuntos de Zermelo Fraenkel, y de sus consecuencias ms importantes.
1.2. TEORA AXIOMTICA DE CONJUNTOS. ZERMELO FRAENKEL
Una variedad (una totalidad, un conjunto) de elementos pertenecientes a cualquier esfera

conceptual se dice bien definida" si sobre la base de su definicin y como consecuencia
18

_________________________________
del principio lgico del tercio excluido, puede ser considerado como internamente
determinado, por una parte, si cualquier objeto perteneciente a esta esfera conceptual
pertenece o no como elemento a dicha variedad y, por otra, si dos objetos pertenecientes al
agregado son o no iguales entre s, aparte de las diferencias formales en la manera en la que
estn dados. G. Cantor.
Entendemos por conjunto" cualquier agrupacin en un todo M de determinados objetos
bien diferenciados m de nuestra intuicin o de nuestro pensamiento (llamados elementos"
de M). G. Cantor.
Como decamos en la introduccin, un sistema axiomtico es una de las herramientas
fundamentales de la matemtica en su intento de dotar de claridad cientfica a sus
producciones. Los axiomas de Zermelo Fraenkel son una construccin abstracta que
permite trabajar con los conjuntos. A continuacin presentamos tales axiomas.
Pero antes de llevar a cabo esta tarea es necesario que formalicemos un leguaje que nos
permita notar claramente cada uno de estos axiomas. Tal leguaje debe estar constituido por
smbolos bsicos y por reglas que permitan crear expresiones a partir de tales smbolos.
Los smbolos que conformaran nuestro leguaje son los siguientes:
1. Variables: sern las ultimas letras del alfabeto latino, maysculas o minsculas,
con la posibilidad de usar subndices. X , Y , Z , x, y, z , x1 , x2 ,...
2. Constantes: las primeras letras del alfabeto latino; nos servirn para designar
conjuntos especficos. A, B, C, a, b, c,
3. Smbolo de pertenencia: .
4. Smbolo de igualdad: =.
19

_________________________________
5. Conectivos lgicos: los smbolos habituales para la negacin, disyuncin,

conjuncin, implicacin y equivalencia. ,,, , .
6. Cuantificadores: en su uso habitual. ,.
7. Parntesis: untados como signos de puntuacin ( , ).

Cualquier cadena finita constituida por estos smbolos representara una expresin, pero es
necesario definir las reglas de lo que constituirn las expresiones aceptables dentro de
nuestro lenguaje:
1. X Y , X = Y . Son formulas de nuestro lenguaje, y llamaremos formulas a
aquellas expresiones que pertenecen al lenguaje.
2.
Si
son
formulas
del
lenguaje,
tambin
lo
son
( ) ( ) ( ) ( ).
3. Si es una formula de nuestro lenguaje, lo es tambin . De la misma
manera, X Y o X Y representaran ( X Y ) y ( X = Y ) respectivamente.
4. Si es una formula del lenguaje, entonces x y x son formulas del
mismo, siempre y cuando x sea una variable.
5. Solo las expresiones resultado de la aplicacin finita de estas reglas es
consideradas una formula del lenguaje.
Denominemos nuestro lenguaje a travs de la letra L.
20

_________________________________
AXIOMA 1.2.1. AXIOMA DE EXTENSIONALIDAD:

Si todo elemento de X es un elemento de Y y todo elemento de Y es un elemento de X ,
entonces X es igual a Y ".
Dicho de otro modo, si dos conjuntos tienen los mismos elementos, entonces son iguales.
Este axioma nos dice que lo que caracteriza a un conjunto son sus elementos.
En L, este axioma se escribe
XY (z ( z X z Y ) X = Y ).
Debemos adems realizar una definicin adicional.
DEFINICIN 1.2.1. Si A y B son conjuntos tales que todo elemento de A es elemento de B,
entonces decimos que A est incluido en B, o de A es un subconjunto de B, lo cual se
simboliza: A B.
AXIOMA 1.2.2. AXIOMA DEL CONJUNTO VACO:
Existe un conjunto que no contiene ningn elemento".
En L escribimos
Xx x X .
Observemos que, en particular, este axioma garantiza que existe al menos un conjunto.
LEMA 1.2.1. Existe un nico conjunto que no contiene ningn elemento.
21

_________________________________
DEMOSTRACIN. Supongamos que existen dos conjuntos distintos a y b ambos sin

elementos.
Por Axioma 1.2.1 x((x a x b ) ( x a x b )) una contradiccin. Luego hay un
nico conjunto vaco.
DEFINICIN 1.2.2. El (nico) conjunto que no tiene elementos se llama el conjunto vaco y
se le denota:
AXIOMA 1.2.3. AXIOMA DE SEPARACIN:
Si ( x ) es una frmula de L y X es un conjunto, entonces existe un conjunto Y cuyos
elementos son aquellos elementos de X que verifican (x ) ".1
En L escribimos
XY z ( z Y z X ( x ))
Recordemos que la paradoja de Russell se produce al tratar de construir el conjunto de todos los conjuntos
que verifican una propiedad cualquiera ( x ) . Este axioma limita nuestra capacidad de formar conjuntos de
objetos que verifican una cierta propiedad, slo podemos referirnos a aquellos elementos que perteneciendo a
un cierto conjunto dado, verifican la propiedad en cuestin. Veamos que esta restriccin evita que se
produzca la paradoja.
Para ello tratemos de formar la clase de Russell. Dado un conjunto A , el axioma de extensionalidad nos
permite formar el conjunto R = {x A : x x} En este caso tenemos que si R R , entonces
R A y R R , lo cual es una contradiccin, luego R R lo que a diferencia de antes no es una

contradiccin, y solo implica que R A.
22

_________________________________
Este axioma nos dice que para cualquier propiedad (expresada por (x ) ) y cualquier
conjunto A, existe el subconjunto de A formado por los elementos que verifican esa
propiedad. Obviamente este conjunto es nico.
DEFINICIN 1.2.3. Si (x ) es una frmula de L y A un conjunto, el conjunto cuya
existencia est garantizada por Axioma 1.2.3. se denotar con el smbolo {x A : ( x )} y se
lee el conjunto de los elementos de A tales que (x ) ".
TEOREMA 1.2.1. No existe el conjunto de todos los conjuntos.
DEMOSTRACIN. Supongamos que si existe y llammoslo V . Entonces en virtud de
Axioma 1.2.3. podemos construir el conjunto de Russell:
R = {x V : x x} , contradiccin.
Por ltimo, cabe destacar que este no es propiamente un axioma sino ms bien un esquema.
En efecto, para cada frmula ( x ) de L tenemos un axioma distinto, o sea, hay una
cantidad ilimitada de instancias de este axioma.
AXIOMA 1.2.4. AXIOMA DE PARES:
Dados dos conjuntos X e Y, existe un conjunto cuyos nicos elementos son X e Y ".
Su expresin en L es
XYZ x( x Z x X x Y )
23

_________________________________
Resulta claro por Axioma 1.2.1. que este conjunto es nico. Lo denotamos {X , Y } y lo
llamamos el par no ordenado X, Y.
El Axioma 1.2.1. tambin garantiza la existencia del conjunto cuyo nico elemento es el
conjunto X
{X , X } = {X }
el que a menudo recibe el nombre de singleton X .
AXIOMA1.2. 5. AXIOMA DE UNIONES:
Si X es un conjunto, entonces existe un conjunto cuyos elementos son los elementos de los
elementos de X ".
En L escribimos
XY z ( z Y U ( z U U X ))
Nuevamente por Axioma 1.2.1., este conjunto es nico, se llama la unin de X y se le

denota U X .
Un caso particular que merece una notacin especial es el siguiente. Si X e Y son conjuntos,
entonces existe U {X ,Y }.
Entonces
x U{X , Y } ( x X x Y )
24

_________________________________
U {X , Y } se llama la unin de X e Y, y se le denota X U Y . Corresponde al conjunto de
todos los conjuntos que pertenecen ya sea a X o a Y (o a ambos).
Ms generalmente, dados los conjuntos X 1 , X 2 , X 3 ,..., X n de manera anloga al caso de la
unin de dos conjuntos, definimos
X 1 U X 2 U ... U X n = U{X 1 , X 2 ,..., X n }
de tal manera que
x X 1 U X 2 U ... U X n x X 1 x X 2 ... x X n .
La teora de conjuntos mas generalizada nos permite cierta familiaridad con la unin de
dos o de una cantidad finita de conjuntos; el Axioma 1.2.5. generaliza este concepto a la
unin de una familia arbitraria, incluso infinita, de conjuntos. Observemos que para definir
la unin de dos conjuntos son necesarios el Axioma de Pares, el Axioma de Uniones y el
Axioma de Extensionalidad (para garantizar unicidad).
DEFINICIN 1.2.4. Otra generalizacin de un concepto familiar es el de interseccin de un
conjunto no-vaco X, en smbolos, I X , definida por
I X = {x U X : B(B X x B )}
Observemos que en virtud del Axioma 1.2.5. y del Axioma 1.2.3., I X es efectivamente
un conjunto.
DEFINICIN 1.2.5. La interseccin de dos conjuntos X e Y , X I Y , se define por
25

_________________________________
X I Y = I{X , Y }
y en general
X 1 I X 2 I ... I X n = I{X 1 , X 2 ,..., X n }
Diremos tambin que dos conjuntos X e Y son disjuntos si
X IY =
TEOREMA 1.2.2. I A U A.
DEMOSTRACIN. Si x I A , entonces, por definicin 1.2.4.,
1).
B(B A x B ) B(B A)
de lo cual se puede afirmar que

B(B A x B )
as, por el axioma 1.2.5., x U A , y por la definicin 1.2.1. I A U A.
AXIOMA 1.2.6. AXIOMA DEL CONJUNTO POTENCIA.
Si X es un conjunto, entonces existe el conjunto de todos los subconjuntos de X ". Esto es:
XY Z ( Z Y Z X )
26

_________________________________
El (nico) conjunto cuya existencia garantiza este axioma se designa por PX y se llama el
conjunto potencia de X .
AXIOMA 1.2.7. AXIOMA DE REGULARIDAD.
Todo conjunto no vaco contiene un elemento con el que no comparte ningn elemento."
En L escribimos
x( x y ( y x y I x = ))
A pesar de que no resulta evidente a partir de su formulacin, este axioma impide la
existencia de un conjunto a tal que a a o incluso a b a , etc.
TEOREMA 1.2.3.
i) x x x.
ii) xy ( x y y x).
iii) En general, no existen a1 , a2 , a3 ,..., an tales que a1 a2 a3 ... an a1.
iv) No existen conjuntos a1 , a2 ,..., an tales que ... an ... a2 a1.
DEMOSTRACIN.
i) Supongamos que existe a tal que a a, entonces A = {a}, lo que contradice el
Axioma 1.2.7.
ii) Idem i) con A = {x, y}
iii) Idem i) con A = {a1 , a2 ,..., an }
iv)
Supongamos
que
existe
el
conjunto
cuyos
elementos
son
precisamente a1 , a2 , a3 ,... Llammoslo A . Entonces A contradice al Axioma 1.2.7. ya

que para cualquier y A, digamos y = am para algn m , am +1 am y am +1 X , o
sea y I X .
27

_________________________________
AXIOMA 1.2.8. AXIOMA DEL CONJUNTO INFINITO.

Existe un conjunto que tiene infinitos elementos". Para escribirlo en el lenguaje L
debemos usar una expresin no muy transparente.
X ( X y ( y X y U {y} X ))
Es claro que el conjunto as formado es intuitivamente infinito.
, {}, {, {}}, {, {}, {, {}}},...
Para introducir el ltimo axioma de ZF, debemos estudiar antes un cierto tipo de frmula de
L. Una frmula ( x, y ) de L con dos variables libres x e y se denominar funcin
proposicional si para todo conjunto a existe un nico conjunto b tal que ( x, y ) se verifica.
Ejemplos de stas son las frmulas ( x, y ) siguientes:
y = U x.
y = x.
y = x U {x}.
y = x I a.
donde a es un conjunto fijo, etc.
AXIOMA 1.2.9. AXIOMA DE REEMPLAZO.
Si ( x, y ) es una funcin proposicional y A es un conjunto, entonces existe el conjunto de
los elementos b que verifican ( x, y ) para algn a A". Expresado en L, tenemos
28

_________________________________
XY y ( y Y x( x X ( x, y )))
La idea intuitiva es que si tenemos un conjunto A y una funcin f cuyo dominio es
A, f [A] = { f ( x ) : x A} , es tambin un conjunto. El problema se suscita cuando vemos
que en nuestra teora la funcin" x a x no es un objeto de la misma, es decir, no es un
conjunto, sino que corresponde a lo que llamamos una clase propia. Nuestro lenguaje nos
permite referirnos a dichos objetos mediante la frmula que los define. As, ( x, y ) no es
una funcin dentro de nuestra teora sino ms bien una regla que nos permite asociar a cada
elemento de un conjunto A un nico elemento. El problema aqu es que el dominio de esta
funcin es la clase de todos los conjuntos que, como ya vimos, no es un conjunto. Sin
embargo, cuando restringimos dicho dominio" a un conjunto A, el Axioma 9 garantiza que
existe el recorrido de la funcin.
Deberamos ahora definir el concepto matemtico que da origen al problema del continuo:
la Funcin.
1.3. FUNCIONES.
Siendo uno de los conceptos mas importantes de la matemtica, la funcin puede ser
definida intuitivamente como la regla que asigna a cada elemento de un conjunto un nico
elemento de otro conjunto, no necesariamente distinto.
Pero de manera mas formal, deberamos definir
29

_________________________________
DEFINICIN 1.3.1. Una relacin2 F es una funcin si y solo si
xyz (( x, y ) F ( x, z ) F y = z )
DEFINICIN 1.3.2.
i) Si F es una funcin, Dom F = a, y Re c F b decimos que F es una funcin de a
en b, y escribimos
F :a ab
x a f (x )
ii) F es una funcin inyectiva o uno a uno si
xy (F ( x ) = F ( y ) x = y )
iii) Una funcin F de a en b se dice sobreyectiva si
y ( y b x( x a y = F ( x )))
El inters fundamental de este capitulo es poner algunos elementos centrales que ayuden a
la comprensin del problema del continuo y sobretodo de la propuesta de la teora de
posibles cofinalidades.
En ese objetivo, es necesario presentar a continuacin una definicin que si bien podra
hacer parte de otra seccin del trabajo, nos ayudara a comprender mejor la seccin
inmediatamente siguiente, antes de entrar en el concepto de cardinalidad.
Cantor propone una nocin referente a la potencia de los conjuntos. Podemos decir segn
esto, que dos conjuntos tienen el mismo nmero de elementos si existe una funcin de
correspondencia 1-1 entre ellos. Esta situacin se denomina equipotencia.
Debemos asumir aqu las definiciones regulares de relaciones como puede ser la del conjunto formado por
pares ordenados. Asumimos as mismo las definiciones usuales de producto cartesiano y par ordenado. En ese
sentido, las definiciones de Dominio, Recorrido, Funcin Inversa, Imagen, etc., deben ser tomadas de la
misma manera que en las relaciones.
30

_________________________________
Definicin 1.3.3.
i) A B bajo f, si y solo si f es una funcin 1-1 cuyo dominio es A y cuyo recorrido
es B.
ii) A B , si y solo si existe una funcin f tal que A B bajo f.
En este caso, el smbolo representa equipotencia, y se utilizara as en adelante.
31

_________________________________
32

_________________________________
CAPITULO 2. NMEROS ORDINALES
Como se introdujo en la seccin inicial, el problema del continuo se refiere en primera

instancia al cardinal de los nmeros naturales. La nocin de cardinalidad, aunque ya ha sido
de cierta manera introducida intuitivamente, posteriormente ser clarificada y formalizada,
lo que nos deja frente a la necesidad de formalizar los conceptos relacionados con los
nmeros naturales.
2.1. LOS NMEROS NATURALES.
Dentro de la formalizacin de los nmeros naturales de nuestra teora axiomtica ZF, es

necesario recurrir a una definicin inicial.
DEFINICIN 2.1.1. El sucesor de un conjunto x es el conjunto Sx = x {x} . Debemos
observar adems, que su x es un conjunto, Sx tambin lo es. Esto es por Axioma 1.2.1. y
Axioma de Uniones.
33

_________________________________
DEFINICIN 2.1.2.
0=
1 = S 0 = {}
2 = S1 = {, {}}
3 = S 2 = {, {}, {, {}}}
.
.
.
Cada uno de estos conjuntos es un nmero natural.

En general, podramos decir que
Sn = {0,1,2,..., n}
todo nmero natural est formado por los naturales que lo preceden, exceptuando el 0, que
no posee elementos. De aqu, la definicin de nmero natural, como la clase de todos los
conjuntos que poseen tal cantidad de elementos.
La pregunta que cabra ahora, existe un conjunto que contenga a todos y solamente a los
nmeros naturales?. Esta respuesta no es obvia. El conjunto de los nmeros naturales se
construye de la siguiente manera.
DEFINICIN 2.1.3. Decimos que X es inductivo si
i) 0 X .
ii) Si x X , entonces Sx X .
Gracias al Axioma de Infinito, sabemos que existe al menos un conjunto inductivo.

Denominmoslo I.
34

_________________________________
DEFINICIN 2.1.4. El conjunto de los nmeros naturales se define como sigue:
= I{x PI : x es inductivo}
Debemos observar que es inductivo, y que si X es inductivo, X , de lo cual, es el
mas pequeo de los conjuntos inductivos.
Debe quedar claro que ningn otro conjunto que no sea un nmero natural pertenece a .
Para que esto sea mas evidente, demostremos el siguiente teorema, denominado principio
de induccin. Este principio puede enunciarse bien a travs de formulas o bien a travs de
relaciones. Por su simplicidad enunciaremos el principio a travs de relaciones.
TEOREMA 2.1.1. Sea B un conjunto tal que. (Principio de Induccin)
i) 0 B.
ii) Para todo n, si n B , entonces Sn B.
Entonces B.
DEMOSTRACIN. Sea
B = {x : x = 0 x es el sucesor de un nmero natural}
como, es claro que, B es inductivo, tenemos que B .
Ntese que
0 1 2 3 ... y tmbien que 0 1 2 3 ...
35

_________________________________
L o que nos podra dar una nocin de orden apropiado para los nmeros naturales. Pero las
cosas son al revs, los naturales se definen as para que la relacin de pertenencia posea
buenas propiedades de orden.
DEFINICIN 2.1.5. La relacin se define en por:
mn
mn
si y solo si
m=n
Diremos que m es menor o igual que n. Tambin debemos usar el smbolo < para denotar
m<n
si y solo si
mn y mn
Podemos decir de otra manera, que m<n si y solo si m n.

Dentro de los objetivos de este trabajo, es necesario demostrar que esta relacin es de orden
lineal, y mas aun, que se trata de un buen orden, para ello es lo siguiente.
LEMA 2.1.1. Para todo n, m ,
i) 0 n.
ii) Si x n, entonces x .
iii) m < Sn si y solo si m n.
iv) Si n < m, entonces Sn m.
DEMOSTRACIN.
i) Por induccin con (x ) = 0 x.
- (0 ) se verifica.
- Supongamos ahora que se verifica ( x ).
36

_________________________________
Es
decir,
0 x, es
decir
0 n 0 = n.
En
cualquier
caso
0 n {n} = Sn, o sea (Sn ) se verifica. Luego, en virtud del principio de

induccin, para todo n , 0 n.
ii) Por induccin sobre n. Sea

( x ) = y ( y < x y )
- (0 ) se verifica trivialmente.
- Supongamos (m ) y sea y Sm . Entonces y m y = m .
Si y m , entonces por hiptesis de induccin, y .
Si y = m, entonces y . En cualquier caso y .
Luego por principio de induccin, todo n verifica ( x ) .
iii) m < Sn
si y solo si
m Sn = n {n}
si y solo si
m n.
iv) Por induccin sobre m. Consideramos

( x ) = y ( y < x Sy x )
- (0 ) se verifica trivialmente.
- Supongamos (m ) , o sea, y ( y < m Sy m ) . Supongamos que y < Sm ,
entonces, y m y = m .
Si y m , por hiptesis de induccin, Sy m y luego Sy Sm .
Si y = m, entonces Sy = Sm . En cualquier caso, si
Sy Sm , es decir, (Sm ) se verifica.
Luego por principio de induccin, para todo m verifica (m ) .
TEOREMA 2.1.2. es un orden total sobre .
37
y < Sm , entonces,

_________________________________
DEMOSTRACIN.
i). es obviamente reflexiva.
ii). es antisimtrica. En efecto, supongamos que m n y n m , pero m n .
Entonces m n y n m . Esto contradice el teorema 1.2.3.
iii). es transitiva. Supongamos que k m y m n . Demostraremos que k n
por induccin sobre n. Para ello sea
( x ) = y z (( z y y x ) z x )
- (0 ) se verifica puesto que si k m y m 0 , m = 0 luego k 0 .
- Si (n ) se verifica, consideremos k m y m Sn . Entonces
m < Sn
m = Sn.
Si m < Sn , entonces por el lema 2.1. iii), m n y por hiptesis de induccin
k n . Es decir k n k = n. En cualquier caso k Sn , o sea, k Sn .
Si m = Sn, como k m k = m, tenemos k Sn
k = Sn, es decir,
k Sn .
Esto completa la induccin, por lo que todo nmero natural n verifica (n ) , o
sea, es transitiva.
iv). es un orden total. Sean m y n dos nmeros naturales. Demostraremos por
induccin n que m < n m = n n < m. Para ello sea
( x ) = y ( y < x y = x x < y )
- (0 ) se verifica por el lema 2.1. i).
- Supongamos que (n ) se verifica. Entonces para todo m, m < n m = n n
< m.
Si m < n m = n, entonces m Sn , luego m < Sn.
Si n < m, entonces Sn m por el lema 2.1.1. iv).
Luego, por principio de induccin, es un orden total sobre .
38

_________________________________
A travs de un planteamiento del principio de induccin denominado principio de
induccin completa, es posible demostrar que es un buen orden. Pero en nuestra
presentacin es necesario utilizar el axioma de eleccin y el principio de buen
ordenamiento, a partir de los cuales podremos decir que cualquier conjunto infinito puede
ser bien ordenado, por lo que a partir de que los nmeros naturales es un conjunto inductivo
infinito, podemos decir que puede ser bien ordenado. Pasaremos de esta manera a los
conceptos fundamentales de ordinales, dejando a su tiempo la presentacin del axioma de
eleccin y el principio de buen ordenamiento.
2.2. LOS NMEROS ORDINALES
Los ordinales son conjuntos asociados con buenos ordenes, de hecho, son los ejemplos
tpicos de estos ltimos en el sentido que todo buen orden es isomorfo a algn ordinal.
DEFINICIN. 2.2.1.
i). a es transitivo si
xy (( x y y a ) x a )
ii). a es un ordinal si a es transitivo y todo elemento de a es transitivo . Si
x es un ordinal escribiremos Ord ( x ) . Obsrvese que Ord ( x ) es una frmula de
nuestro lenguaje en la que x aparece libre.
Notacin: usaremos las letras griegas minsculas para denotar ordinales.
Pero hasta el momento no hemos demostrado que los ordinales existan, o que haya un
conjunto que se les equipare. Observemos el siguiente desarrollo tratando de analizar este
problema.
39

_________________________________
TEOREMA 2.2.1.
i). 0 es un ordinal.
ii). Ord ( x ) Ord (Sx ) .
iii). x( x Ord ( x )) .
iv). Ord ( ) .
DEMOSTRACIN.
i). Ord (0) trivialmente ya que 0 = .
ii). Supongamos que x es ordinal. Entonces x es transitivo y todo elemento de x
es transitivo . Como Sx = x {x} , todo elemento de Sx es transitivo .
iii). Consideramos la frmula ( x ) = Ord ( x ) . Por i) y ii) y por principio de
induccin, todo nmero natural es un ordinal.
iv). El lema 2.1.1. ii) demuestra que es transitivo . Si n iii) nos
demuestra que n es transitivo . Luego Ord ( ) .
Podemos pensar en conjuntos como
{{0}}
y darnos cuenta fcilmente que no es
transitivo , lo que nos dice que no todo conjunto es un cardinal, lo mismo que, por
ejemplo, ningn par ordenado a, b es un ordinal.
TEOREMA 2.2.2. Si C es un conjunto de ordinales, entonces U C tambin es un ordinal.

DEMOSTRACIN. Supongamos x y UC . Entonces existe C tal que y . Como
x y y este ltimo es transitivo , x a y por lo tanto x UC , es decir, U C es
transitivo .
Sea x UC . Entonces existe C tal que x , entonces, x tambin es transitivo .
Por lo tanto U C es un ordinal.
40

_________________________________
Aunque se podran trabajar muchas mas propiedades de los nmeros ordinales, es preciso
llegar al tema central de esta presentacin, por lo que avanzaremos hacia las definiciones
principales.
DEFINICIN 2.2.2. Sea un ordinal. Definimos la relacin en como sigue. Para
x, y
x y
si y solo si
x y x = y
El siguiente teorema resume algunas de las propiedades de este orden.

TEOREMA 2.2.3. Sea un ordinal
i). es un buen orden en .
ii). Si A y A , entonces I A es el menor elemento de A.
iii). 0 es el menor elemento de .
iv) < S si y solo si .
v). = { : < } .
vi). No existe un ordinal tal que < < S .
vii). si y solo si .
viii). Si A , entonces U A es el supremo de A.
ix). < si y solo si S .
x). S = S si y solo si = .
xi). S < S si y solo si < .
41

_________________________________
DEMOSTRACIN.
i) es obviamente reflexiva. Es antisimtrica por el teorema 1.2.3. Es transitiva por la
transitividad de . Es decir, es un orden. Adems podemos decir que se trata de un
orden total3.
Para ver que es un buen orden, consideremos un subconjunto no vaco A .
Por una de los teoremas de nmeros ordinales, tenemos que I A A . Supongamos
x A (I A) . Entonces para todo x A, x , en particular x x , lo que es una
contradiccin. Luego A (I A) = , o sea, es un buen orden4.
ii). Qued demostrado en i) que I A es el menor elemento de A.
iii), iv) y v) son obvio por las demostraciones hechas hasta ahora.
vi). Supongamos que existe tal que < < S , o lo que es lo mismo,
Sa . Si suponemos que x U S , entonces x y para algn y S .
Luego, y y = ; en cualquier caso x . Entonces x S , por lo
tanto x x U S . Lo que demuestra que = U S . Ahora, si decimos que
S , decimos que U S = , lo que es una contradiccin.
vii). Existe un teorema que nos dice que si y solo si , del cual es
consecuencia inmediata la propiedad vii).
viii). Supongamos A , entonces U A es un ordinal y para x A es claro que
x U A , o sea, por vii), x U A , es decir, U A es cota superior.
Sea otra cota superior de A. Entonces para todo x U A , como x U A , y
es otra cota superior de A, x , es decir, x , o sea, U A , por lo tanto
U A es la menor de las cotas superiores de A.
ix). Si , entonces por transitividad S , o sea, S . Si S ,
como < S , < por transitividad de <.
3
Existe un teorema que dice que para cualquier par de ordinales
se tiene que
= , y lo que es mas, solo una de estas posibilidades se verifica. La demostracin

de este teorema es algo extensa, por lo que se omite en esta presentacin.
Podemos definir el buen orden como que todo subconjunto no vaco del conjunto objetivo tiene elemento
menor, que es lo que busca la demostracin.
4
42

_________________________________
x). Supongamos S = S
y . Entonces como S = S , S .
Pero entonces . Anlogamente , lo cual es imposible con la hiptesis

propuesta, por lo que concluimos que = .
xi). < si y solo si S
si y solo si S < S , por ix). y iv).
respectivamente.
De esta manera concluimos nuestra presentacin de los nmeros ordinales. La aritmtica, lo
mismo que los problemas relacionados con la jerarqua acumulativa de los conjuntos son
aspectos muy importantes de la teora de conjuntos, pero no lo suficientemente pertinentes
para la introduccin a la teora PCF.
2.3. AXIOMA DE ELECCIN
DEFINICIN 2.3.1. La funcin f : x V es una funcin de eleccin sobre x si

( y x )( y f ( y ) y ) .
AXIOMA 2.3.1. AXIOMA
DE
ELECCIN. Para cada conjunto x, existe una funcin de
eleccin sobre x.
Observemos que si definimos el axioma de eleccin como: Si A es un conjunto de
conjuntos no vacos, entonces existe una funcin F cuyo dominio es A y tal que para todo
x A, Fx x. , podemos tener que
F : A UA
x a Fx x
43

_________________________________
La existencia de una funcin de eleccin implica elegir simultneamente un elemento de
cada conjunto que pertenece a A. Esto no representa ningn problema si A es finito, sin
embargo si A es infinito, no es en absoluto intuitivo que se pueda hacer. Ntese tambin
que el axioma no da ninguna idea de cmo se puede construir la funcin.
Este axioma es equivalente con el teorema del buen orden, segn el cual, todo conjunto
puede ser bien ordenado.
44

_________________________________
45

_________________________________
CAPITULO 3. LOS NMEROS CARDINALES
3.1 NMEROS CARDINALES
Uno de los problemas centrales de la teora de conjuntos, es el de la cardinalidad de un

conjunto, o lo que es equivalente, del numero de elementos del mismo. En este capitulo
clarificaremos los conceptos fundamentales relacionados con este, y debemos notar que
muchos de ellos dependen del axioma de eleccin. Por esto, en este capitulo se mostrara la
relevancia de la ordinalidad y del axioma de eleccin, lo mismo que la pertinencia o no de
los conceptos presentados y los que no lo fueron.
DEFINICIN 3.1.1.
i). Reescribiendo la definicin 1.3.3., podemos decir que, dos conjunto A y B son
equipotentes si y solo si existe una biyeccin entre A y B. en tal caso escribiremos
A B.
ii). Un ordinal es un cardinal si y solo si no es equipotente con ninguno de sus
elementos.
46

_________________________________
Si es un cardinal escribimos Car ( ) . En general usaremos letras gticas minsculas m, n,
p, ..., para designar nmeros cardinales.
Por otro lado, la definicin de Frege-Russell de nmeros cardinales es bella en su
simplicidad. El numero cardinal A del conjunto A es la clase de todos los conjuntos
equipotentes con A, esto es
A = {B : B A} .
Cantor uso la doble barra para indicar dos niveles de abstraccin. La primera barra significa
que se abstrae de la naturaleza particular de los elementos del conjunto; la segunda barra,
que se abstrae de su orden. Podemos, como ejemplo, definir los cardinales finitos cero, uno
y dos.
0 f = {0},
o sea que 0 f es el conjunto de todos los conjuntos que no tienen elementos;

1 f = {A : x( x A y ( y A x = y ))},
esto es, 1 f es el conjunto de todos los conjuntos unitarios; una definicin equivalente,
usando la relacin de equipotencia, es:
1 f = {A : A {0}}.
Procedemos en forma similar para definir:

2 f = {A : A {0, {0}}}
El problema surge cuando, asumiendo esta definicin, tratamos de encontrar clases de

equivalencia para conjuntos infinitos. Como no se pueden encontrar tales clases apropiadas,
47

_________________________________
el camino sugerido es suponer el axioma de eleccin y escoger un representante de cada
una de las clases de equivalencia, a saber, el menor ordinal perteneciente a ella.
Procedemos as.
TEOREMA 3.1.1. Si m n , entonces m y n no son equipotentes.
DEMOSTRACIN. Como m y n son ordinales distintos, entonces m n
n m , luego m y
n no son equipotentes por definicin 3.1.1. ii).

TEOREMA 3.1.2. Para todo conjunto A existe un nico cardinal n tal que A y n son
equipotentes.
DEMOSTRACIN. Por el principio de enumeracin existe un cardinal tal que A es
equipotente con . Sea:
m = I{ S : A B}
o sea, m es el menor elemento del conjunto no vaco { S : A B} . Es claro entonces
que A m .
Por ultimo, si existiera B m tal que B m , tendramos que B A , luego m no es el
menor elemento del conjunto anterior, lo cual es una contradiccin. Por lo tanto m es un
cardinal.
Queda claro que m no depende del ordinal usado en la definicin.
DEFINICIN 3.1.2. La cardinalidad A de un conjunto A es el nico cardinal m tal que
A m . Decimos tambin que m es el cardinal de A.
48

_________________________________
TEOREMA 3.1.3. Si A, B son conjuntos y es un ordinal
i). A B si y solo si A = B .
ii). A A .
iii). .
iv). Si A , entonces A .
v). es un cardinal si y solo si = .
vi). Si , entonces + 1 = .
DEMOSTRACIN. Los numerales del i). al v). son solo formalizaciones de definiciones y
teoremas anteriores.
vi). Si , entonces = + . Definimos f : + 1 como sigue
f (x )
= x + 1
x
si x =
si x
si x , x
Es claro que se trata de una biyeccin.

El siguiente teorema es el resultado mas importante de la cardinalidad que no utiliza el
axioma de eleccin.
TEOREMA 3.1.4. CANTOR SCHROEDER BERNSTEIN. Si A y B son conjuntos tales que
existen funciones inyectivas f : A B y g : B A entonces A = B .
Podemos ahora hacer una presentacin breve de ciertos teoremas relacionados con el
axioma de eleccin, y que nos sirven de introduccin a los conjuntos finitos e infinitos, lo
mismo que a la presentacin del problema del continuo.
49

_________________________________
TEOREMA 3.1.5. Las siguientes tres condiciones son equivalentes.
i). A B .
ii). Hay una funcin inyectiva f : A B .
iii). A = o hay una funcin sobreyectiva g : B A .
DEMOSTRACIN.
i). ii). Sean f : A A , g : B B biyecciones, entonces g o f : A B es
inyectiva.
ii). iii). Sea A , a A y f : A B inyectiva. Definimos g : B A
como sigue.
f 1 ( x ),
g (x ) =
a ,
si x f * A,
si no
entonces g es sobreyectiva.
iii). i). Supongamos A 0 y sea g : B A sobreyectiva. Entonces g 1* A
induce una particin de B, a saber, g 1* {a} : a A . Por el axioma de eleccin,

escogemos un sistema de representaciones para esta particin. Definimos
f : A B asignando a x A el representante de g 1* {x} anteriormente elegido. Es
claro que f es inyectiva, luego, A f * A y f * A B , luego A = f * A B .
Todava no hemos dado ningn ejemplo de cardinal. Los siguientes teoremas darn
solucin a ello.
TEOREMA 3.1.6. Si n , entonces n es un cardinal.
DEMOSTRACIN. Es claro que 0 es un cardinal. Supongamos que n es un cardinal y n + 1
no lo es. Entonces existe m < n + 1 tal que m n + 1 , es claro que m 0 . Sea
50

_________________________________
f : n + 1 m una biyeccin. Podemos suponer que f(n)=m-1, porque si no, mediante una
permutacin apropiada lo podemos lograr. Entonces f n : n m 1 es una biyeccin,
luego, por hiptesis de induccin, m 1 = n, o sea, m = n + 1, lo que es una contradiccin.
Por lo tanto n + 1 es un cardinal, lo que completa la induccin.
TEOREMA 3.1.7. es un cardinal.
DEMOSTRACIN. Sabemos por teorema 3.1.3. iii). que . Si < , =m para
algn natural m. Pero m m + 1 , luego
= m = m m +1 = m +1
as, m = m + 1, lo cual es una contradiccin.
Luego = .
TEOREMA 3.1.8. CANTOR. Para todo A, A < PA .

DEMOSTRACIN. Es claro que A PA ya que la asignacin a a {a} define una funcin
inyectiva de A en PA. Supongamos que existe una funcin sobreyectiva f : A PA y sea
B = {x A : x f ( x )}.
Como B A y f es sobreyectiva, existe a A tal que B = f (a ) . Entonces si a B , por
definicin a f (a ) , luego a B . Si a B , entonces a f (a ) , o sea, a B , es decir,
a B si y solo si a B ,
lo que es una contradiccin, luego tal funcin sobreyectiva no puede existir y A PA .
COROLARIO 3.1.1. Dado un ordinal , existe un cardinal m > .

DEMOSTRACIN. Basta considerar m = P .
51

_________________________________
3.2. CONJUNTOS FINITOS E INFINITOS.
Estudiaremos en esta seccin, apenas algunas nociones fundamentales acerca de los

conjuntos finitos e infinitos.
Definicin 3.2.1. Para todo ordinal , + es el menor cardinal mayor que .
Definimos la operacin (aleph ) recursivamente para todo ordinal.
0 =
+1 = ( )
U ,
si es lmite.
DEFINICIN 3.2.2.
i). Un conjunto A es finito si A < 0 .
ii). A es infinito si A 0 .
iii). A es enumerable si A = 0 .
TEOREMA 3.2.1. Si A es finito y B A , entonces B < A .
Aunque son varios los teoremas que podramos demostrar a partir de esta definicin, es
importante acercarnos a una de las definiciones mas importantes de infinito: se puede
definir conjunto infinito como un conjunto que es equipotente con uno de sus subconjuntos
propios. Un conjunto que satisface esta propiedad se dice Dedekind-infinito.
52

_________________________________
TEOREMA 3.2.2. Un conjunto A es infinito si y solo si A es equipotente con uno de sus

subconjuntos propios.
DEMOSTRACIN.
). Por el teorema 3.2.1.
).
Como A es infinito, A 0 = , luego, existe una funcin inyectiva
f : A . Definamos
h : A A { f (0 )} como sigue
h( x )
f f 1 (x ) + 1 si x f * ,
=
x
si x f *
Es claro que h es biyectiva.
3.3. ARITMTICA CARDINAL.
Se trata ahora de definir la suma, producto y exponenciacin cardinales, para acercarnos

finalmente al problema del continuo y los aspectos centrales de la teora PCF.
El inters didctico de esta presentacin no cubre la extensin y complejidad de las
demostraciones acerca de la aritmtica cardinal, por lo que haremos una presentacin de los
teoremas centrales de la misma, para llegar al problema de la exponenciacin cardinal mas
rpidamente.
LEMA 3.3.1. Si x x, y y, x y = , x y= , entonces x y x y .
53

_________________________________
DEFINICIN 3.3.1. CANTOR (1887). La suma de los cardinales a y b se define por
a + b = c xy ( x = a y = b x y = x y = c ) .
Nota La suma de cardinales est bien definida.

PROPOSICIN 3.3.1.
1. La suma de cardinales es asociativa y conmutativa.
2. a + 0 = 0 + a = a.
3. b a c (a = b + c ) .
4. a a b b a + b a+ b .
PROPOSICIN 3.3.2.
1. n (0 + n = 0 ) .
2. a 0 a + n = a .
3. + n = .
4. a + 1 = a 0 a .
LEMA 3.3.2. Si x x e y y , entonces x * y x*y.
DEFINICIN 3.3.2. CANTOR (1887). El producto de los cardinales a y b se define por
a b = c xy ( x = a y = b x * y = c )
Nota. El producto de cardianles est bien definido.

PROPOSICIN 3.3.3.
1. El producto de cardinales es asociativo y conmutativo.
2. a0 = 0a =0.
3. a1=a.
54

_________________________________
4. Distributiva: a ( b + c ) = ab + ac.
5. a ab b ab ab .
LEMA 3.3.3. Si x x e y y , entonces x y xy .
DEFINICIN 3.3.3. CANTOR (1895). La exponenciacin de los cardinales a y b se define por
a b = c xy x = a y = b x y = c
Nota. La exponenciacin cardinal est bien definida.

PROPOSICIN 3.3.4.
( )
1. a b
= a bc .
2. (ab ) = a cb c .
c
3. a b + c = a b a c .
4. 00 = 1. Si a 0 entonces 0a = 0 .
5. a1 = a 1a = 1 .
6. a c b d a b c d .
3.4. ARITMTICA CARDINAL INFINITA
DEFINICIN 3.4.1. La relacin R definida sobre la clase Ord x Ord por:

max ( , ) < max (, )
( , )R(, ) max( , ) = max(, ) <
max ( , ) = max (, ) = <
se llama el orden cannico de Ord x Ord.

55

_________________________________
PROPOSICIN 3.4.1.
1. = .
2. = max ( , ) .
3. + = max ( , ).
COROLARIO 3.4.1.
1. Si n 0, entonces n = .
2. ab a b .
PROPOSICIN 3.4.2.
1.
= 2 .
2. 2 n n = 2 .
n
3. n > 0 = .
56

_________________________________
57

_________________________________
CAPITULO 4. EL PROBLEMA DE LOS CARDINALES SINGULARES
4.1. LA HIPTESIS DEL CONTINUO
En la matemtica son muy conocidos dos tipos de conjuntos de infinitos: aquellos que
podemos equiparar a la cantidad de nmeros naturales , tambin denominados
enumerables, y aquellos que son equiparados a la cantidad de nmeros reales , o a la
cantidad de puntos de la recta real, lo que significa que tienen cardinalidad (clase que
representan, o cantidad que contienen) c.
De esta manera, Cantor a travs de su mayor aporte a la teora de conjuntos (TC en
adelante), la funcin biyectiva que establece si dos conjuntos tienen la misma cantidad de
elementos o si no, y en caso tal si son mas o menos, estableci que el cardinal de es
estrictamente mayor que el de N, e incluso igual al de P(N), pero genero una pregunta
fundamental: Qu tan estrictamente mayor es c de
(forma estndar de denominar el
cardinal de los nmeros naturales y que adems se lee como aleph sub cero)? Existe un
conjunto de cardinales que sean mayores que 0 y menores que c, o acaso c es el sucesor
estricto de 0 ?
58

_________________________________
Cantor de esta manera planteo la HC como la hiptesis segn la cual, el sucesor estricto de
es c, y por sucesor estricto entendemos nosotros aquel sucesor que no admite la
existencia de ningn otro sucesor anterior a l.

Dentro de la matemtica, este problema fue histricamente presentado por Hilbert hacia el
ao 1900, como uno de los problemas fundamentales que esta ciencia debera resolver
durante el siglo que para l se avecinaba.
A respecto apunta Jos Alfredo Amor: El hecho de que fracasaran todos los intentos por
resolver el problema no fue accidental; los trabajos de Kurt Gdel (1939) y P.J. Cohen
(1963) al respecto, mostraron que la afirmacin de que no hay un conjunto cardinal
intermedio no contradice a la teora de conjuntos, es decir, es consistente con ella, pero
tampoco se puede deducir de ella; es decir, su negacin tambin es consistente con ella. Si
dicho enunciado no contradice a la teora de conjuntos, entonces su negacin no se deduce
de la teora por lo que ninguna de las dos afirmaciones de que si haya o de que no haya un
conjunto cardinal intermedio, se deduce de la Teora de Conjuntos TC, es decir son
indecidibles de la TC
Para Gdel, la TC estndar, es decir, aquella que funciona bajo los axiomas de Zermelo
Fraenkel unidos al axioma de eleccin (Choise Axiom) ZFC, representa de modo
incompleto la realidad matemtica, de lo que se deduce que aadiendo nuevos axiomas ser
posible resolver el problema del continuo.
Cuando pensamos en la formulacin de la HC por parte de Cantor debemos tener en cuenta
que ella se formula antes que su presentacin cumbre de nmeros transfinitos. Es decir,
hasta el momento especifico de la formulacin de la HC, los nicos cardinales infinitos con
los que trabajaba el autor eran 0 y c, por lo que es natural que su hiptesis plantee que el
siguiente cardinal infinito a 0 sea c.
59

_________________________________
Pero en la formulacin de los nmeros transfinitos, en la que podemos tener una
construccin de la forma:
, , , ,...
0
= , es el cardinal de la primera clase numrica, la de los nmeros finitos.

El siguiente cardinal es , que es el cardinal de la segunda clase numrica, la de los
enumerables. Luego, es el cardinal de la tercera clase numrica, la de los cardinales
.
En la que
En esta construccin, podemos hacer nuestros primeros acercamientos a la aritmtica

cardinal:
Sabemos que , el cardinal de cumple que > 0 , por lo tanto se cumpla tambin que
1 . Adems, la aritmtica cardinal nos dice que:
A. 0 = 0 + 1 = ... = 0 + n = ... = 0 + 0 = 2 0 = ... = n 0 = ... = 0 0 = ... =
= ... = = ... < .
B. < c = 2 = 3 = ... = n = ... = 0 = 1 .

2
C. 1 < 21 = 31 = ... = n1 = ... = 0 1 = 1 1 = 2 1 .
Pero paradjicamente no podemos concluir, a partir de A. B. y C. Que
2 = .
0
As, cuando pensamos en las posibles vas de explicacin de esta situacin tenemos que
encontrarnos con dos conceptos claves.
60

_________________________________
Primero, que existe un conjunto de nmeros infinitos, el que se denomina transfinito, y y
que de l debe poder construirse un sistema numrico. Los nmeros transfinitos se
definirn, como se explicara mas adelante, como el conjunto de las cardinalidades infinitas,
es decir, aquellas que no son equiparables con ningn entero positivo.
Segundo, que la aritmtica cardinal es trivial en las operaciones finitas de suma y
multiplicacin, pero en el caso de la exponenciacin cardinal lo mismo que problemas de
definicin, se presentan posibles vas de solucin a la hiptesis del continuo.
La explicacin de tales conceptos a la luz de una teora especifica, la teora de posibles
cofinalidades o PCF, es la intencin del presente capitulo.
4.2. CARDINALES REGULARES Y SINGULARES
4.2.1.Cofinalidad
DEFINICIN. 4.2.1.1. Diremos que x
1.
Est acotado en si < y x( y < ) .
2.
Es cofinal en si < y x( y ) .
DEFINICIN. 4.2.1.2.
1.
Diremos que f : es cofinal, si rang(f) es cofinal en .
2.
La cofinalidad de es cf ( ) = inf { : f f : cofinal}.
LEMA. 4.2.1.1. Si es cofinal con entonces existe una funcin f : tal que
61

_________________________________
U f ( ) =
DEFINICIN. 4.2.1.3. Un cardinal infinito se dice regular y es igual a su cofinalidad, en

caso contrario, diremos que el cardinal es singular.
Presentemos algunos ejemplos:
1.
es regular.
2. es sin gular , ya que cf ( ) = 0 .

3. Mas generalmente, es singular si y solo si es limite.
DEFINICIN. 4.2.1.4. Un cardinal k es limite si y solo si no es sucesor. k es limite fuerte si y
solo si para todo < k , 2 < k .
Estas nociones no sirven para plantear el problema central. Los cardinales singulares son un
problema que la matemtica trata de resolver desde sus dos ramas mas abstractas, la lgica
y la teora de conjuntos, en la medida en que cardinales como el del segundo ejemplo
presentado arriba comienzan a ser interesantes en la teora de conjuntos. Esto en razn a
que la hiptesis del continuo los pone de relieve. Si observamos nuestras definiciones, nos
damos cuenta que todo sucesor es regular, por lo que posterior a aleph sub-cero las
operaciones bsicas ya expuestas son de alguna manera triviales, hasta que nos
encontramos con un limite, como omega, que por su carcter enumerable nos permite salir
del circulo de los regulares.
Los cardinales regulares se limitan solo por el teorema de Easton, como sigue.
TEOREMA. 4.2.1.1. EASTON (1964). Dada F definida de Reg (clase de los regulares) en
Card (clase de los cardinales) tal que
62

_________________________________
a). k (cfF (k ) k ) .
b). k , (k F (k ) F ( )) .
Existe una nocin de forcing P tal que
1p k 2k = F (k )
Se conoce como forcing al proceso mediante el cual Cohen demostr la consistencia de la

teora de conjuntos de Zermelo Fraenkel sin Axioma de Eleccin y de ZFC sin la Hiptesis
del Continuo. Lo esencial de este teorema es que establece los limites del comportamiento
de los cardinales regulares.
Pero si la hiptesis del continuo plantea un problema para los limites, es en los cardinales
singulares donde podremos empezar a construir su solucin. Los cardinales singulares son
la base de la Teora PCF que planteo el contraejemplo expuesto en la introduccin. .
Esperamos que con esta somera y superficial introduccin e lector, tanto especializado
como principiante, se interese por la Hiptesis del Continuo, las pruebas de independencia,
la aritmtica cardinal, y en general por la teora de conjuntos, cuyo nivel de abstraccin, si
bien puede alejarse un poco de la realidad, si propone formas de pensamiento y de
raciocinio que componen el pensamiento matemtico mas puro tanto en la historia de la
matemtica como su contemporaneidad.
63

_________________________________
64

_________________________________
CAPITULO 5. CONCLUSIONES
5.1. CONCLUSIONES
Al finalizar esta presentacin es necesario presentar algunos puntos importantes, que el

autor en su realizacin considera de vital importancia al introducirse al estudio de la teora
PCF:
Es absolutamente necesario un estudio pormenorizado de la teora de conjuntos
clsica, de la teora axiomtica de conjuntos y de la teora combinatoria de
conjuntos. Esto en razn a que conceptos tales como cardinales regulares y
singulares, como se ha demostrado en esta presentacin, requieren para su
comprensin un recorrido por la teora clsica. Las teoras contemporneas y
alternativas solo son el resultado de los xitos y fracasos del recorrido
conceptual anterior a ellos.
Uno de los elementos centrales que debemos tener en cuenta es que teoras
como la que se trato de introducir en este trabajo, se construyen de una manera
particular. Heredera del mtodo de demostracin conocido como forcing, que
consiste en tomar una teora axiomtica y obligarla a producir cierto tipo de
proposiciones y teoremas, es decir, forzarla a construir resultados especficos
(no deducibles directamente), la teora PCF no es ajena a esta realidad. A partir
65

_________________________________
de construcciones conceptuales como las pruebas de independencia de la
hiptesis del continuo respecto de la teora de conjuntos clsica, teoras como la
nuestra construyen sus productos realizando tambin suposiciones como pueden
ser la hiptesis de cardinales singulares (Singular Cardinal Hipothesis):
SCH : k singular k cf (k ) = k + + 2cf (k )
sobre la que la teora PCF edifica su trabajo relacionado con ultrapotencias de

cardinales regulares. La conclusin entonces es precisamente que el trabajo que
se realiza en la exponenciacin cardinal tiene mucho que ver con ideas que se
plantean como tiles para el trabajo, pero que no pueden en si mismas ser
comprobadas; la caracterstica que define el trabajo con los cardinales infinitos
es precisamente su nivel de abstraccin, que determina la imposibilidad de
ver, de tener referentes concretos acerca de sus objetos. Por esto, es casi
normal y lgico que la exponenciacin cardinal infinita trabaje bajo supuestos,
pues aunque matemticamente se haya comprobado su existencia, nadie podra
decir que conoce el infinito.
5.2. RECOMENDACIONES
El trabajo propuesto en esta presentacin tenia un objetivo fundamental: servir de

herramienta didctica y divulgativa acerca de la teora PCF, pero mas especficamente
acerca de la Hiptesis del Continuo y de los retos que sta le representa a la matemtica. La
introduccin de una teora no puede ser otra cosa que la presentacin de sus problemas
fundamentales, su objeto de estudio y los principales conceptos que hacen que estos dos
primeros elementos sean comprensibles. Esperamos haber logrado en alguna medida este
objetivo.
66

_________________________________
Pero el verdadero avance que es necesario hacer, tiene que ver con comprender qu hace
falta, qu es necesario para completar el acercamiento propuesto. En ese camino, lo que
presentaremos ahora es una lista de recomendaciones conceptuales que debern guiar un
estudio mas profundo de la teora PCF y el teorema de Shelah:
El primer tema central que debe ser asumido en la comprensin de la teora

PCF, es el de la exponenciacin cardinal, para lo que recomendamos
especialmente el estudio de la teora combinatoria de conjuntos: [DiP, 91],
[Erd, 84].
El siguiente paso tiene que ver con la comprensin del problema de los
cardinales singulares, para lo que es necesario un estudio pormenorizado de el
mtodo de demostracin conocido como forcing, para lo que se recomienda el
estudio de las demostraciones de Cohen acerca de la independencia de la
Hiptesis de Continuo: [Coh, 63], [Coh, 64], [God, 40], [Am, 99], [Eas, 70],
[She, 82], [Sol, 70].
Posteriormente, seria necesario el manejo de los mtodos de construccin de la

teora PCF, que tienen que ver con conceptos tanto del algebra abstracta como
con la topologa. Se recomienda en estudio de conceptos tales como filtros y
ultrafiltros, ideales, rangos ideales y finalmente ultrapotencias: [DiP, 91], [Cai,
96].
Estas recomendaciones son apenas unas cotas o limites que definen una
comprensin del alcance de la teora PCF. Los dems temas relacionados sern
evidentes durante el estudio propuesto en los puntos anteriores.
67

_________________________________
68

_________________________________
REFERENCIAS
[Am, 99]
AMOR MONTAO, Jos Alfredo, El problema del continuo y las

pruebas de independencia, Departamento de Matemticas, Facultad
de Ciencias UNAM, (1999).
[Cai, 96]
CAICEDO, Andrs, El problema de los cardinales singulares, Tesis

de Grado, Universidad de los Andes, (1996)
[Can, 1895]
CANTOR, Georg, Contributions to the founding of the theory of

transfinite numbers, Dover Publications INC., New York. (1895)
[Coh, 63]
COHEN, P, The independence of the Continuum Hypothesis, Proc.

Nat. Acad. Sci., 50, (1963)
[Coh, 64]
COHEN, P, The independence of the Continuum Hypothesis, Proc.

Nat. Acad. Sci., 51, (1964)
[DiP, 91]
DI PRISCO, Carlos A, Desarrollos recientes en la Teora de

Particiones, Boletn dela Asociacin Matemtica Venezolana, Vol.
VI, No. 1, (1991)
[Eas, 70]
EASTON, W, Powers of
Mathematical Logic, 1, (1970)
[Erd, 84]
ERDS, P; HAJNAL, A; MT, A; RADO, R, Combinatorial set

theory: Partition relations for cardinals, Studies in Logic and the
foundation of Mathematics, vol. 106, North Holland, (1984)
[Git, 89]
GITIK, Moti, The Negation of SCH from o(k ) = k + + , Annals of

Pure and Applied Logic, No. 43, (1989)
[God, 40]
GDEL, K, The consistence of the Axiom of Choice and the

Generalized Continuum Hypothesis, Princeton, (1940)
69
Regular
Cardinals,
Annals
of

_________________________________
[Jech, 90]
JECH, Thomas, Singular Cardinal Problem: Shelahs Theorem on

2 , (1990)
[Kan, 94]
KANAMORI, Akihiro, The Higher Infinite, New York, Sringer,

(1994)
[Kan, 96]
KANAMORI, Akihiro, The mathematical development of set theory

from Cantor to Cohen, The Bulletin of Symbolic Logic, Volume 2,
Number 1, March, (1996)
[Koj, 95]
KOJMAN, Menachem, The A, B, C of PCF: A Companion to a PCF

Theory, Part I, Noviembre. (1995)
[She, 82]
SHELAH, S, Proper Forcing, Lecture Notes in Mathematics, vol.

940, Springer Verlag, Berlin, (1982)
[Sol, 70]
SOLOVAY, R, A model of set theory in which every set of reals is

Lebesque measurable, Annals of Mathematics, 92, (1970)
[Tak, 71]
TAKEUTI, G; ZARING, W. M., Introduction to Axiomatic Set

Theory, Springer - Verlag. (1971)
[Vill, 97]
VILLAVECES, Andrs, de aleph a omega, Boletn de

Matemticas, Nueva Serie, Volumen IV, (1997), pp. 19-29.
70

Introduccion A La Teoria PCF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Introduccion A La Teoria PCF

Caricato da

Copyright:

Formati disponibili

Introduccin a la Teora PCF

INTRODUCCIN A LA TEORA PCF

ALEXANDER AMEZQUITA OCHOA

FUNDACIN UNIVERSITARIA KONRAD LORENZ

Introduccin a la Teora PCF

Introduccin a la Teora PCF

INTRODUCCIN A LA TEORA PCF

ALEXANDER AMEZQUITA OCHOA

TRABAJO DE GRADO PARA OPTAR POR EL TITULO DE MATEMTICO

DIRECTOR: JOS JOAQUN VALDERRAMA

FUNDACIN UNIVERSITARIA KONRAD LORENZ

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Una de las preocupaciones fundamentales de la matemtica ha sido y es todava encontrar

Introduccin a la Teora PCF

Introduccin a la Teora PCF

INTRODUCCIN A LA TEORA PCF.

Planteamiento del Problema.

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Introduccin a la Teora PCF

UNA BREVE HISTORIA.

En el ao 1872 surgieron una serie de trabajos, escritos por G. Cantor, R. Dedekind, K.

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Introduccin a la Teora PCF

As, uno de los problemas ms importantes de la teora de conjuntos moderna y

Introduccin a la Teora PCF

Introduccin a la Teora PCF

CAPITULO 1. LA TEORIA AXIOMATICA DE CONJUNTOS

No podemos comenzar una explicacin coherente de los problemas derivados de los

1.2. TEORA AXIOMTICA DE CONJUNTOS. ZERMELO FRAENKEL

Una variedad (una totalidad, un conjunto) de elementos pertenecientes a cualquier esfera

Introduccin a la Teora PCF

Introduccin a la Teora PCF

5. Conectivos lgicos: los smbolos habituales para la negacin, disyuncin,

7. Parntesis: untados como signos de puntuacin ( , ).

Introduccin a la Teora PCF

AXIOMA 1.2.1. AXIOMA DE EXTENSIONALIDAD:

Introduccin a la Teora PCF

DEMOSTRACIN. Supongamos que existen dos conjuntos distintos a y b ambos sin

R A y R R , lo cual es una contradiccin, luego R R lo que a diferencia de antes no es una

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Nuevamente por Axioma 1.2.1., este conjunto es nico, se llama la unin de X y se le

Introduccin a la Teora PCF

Introduccin a la Teora PCF

de lo cual se puede afirmar que

Introduccin a la Teora PCF

precisamente a1 , a2 , a3 ,... Llammoslo A . Entonces A contradice al Axioma 1.2.7. ya

Introduccin a la Teora PCF

AXIOMA 1.2.8. AXIOMA DEL CONJUNTO INFINITO.

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Introduccin a la Teora PCF

Introduccin a la Teora PCF

CAPITULO 2. NMEROS ORDINALES

Como se introdujo en la seccin inicial, el problema del continuo se refiere en primera

2.1. LOS NMEROS NATURALES.