Captulo 1

Teora axiomtica
1.1. La Paradoja de Russell
El matemtico alemn Georg Cantor desarroll la teora de conjuntos en base a la siguiente denicin, dada por l en 1895:

Se entiende por conjunto la agrupacin en un todo de objetos bien diferenciados de nuestra percepcin o de nuestro pensamiento.
As, en principio, se podra considerar el conjunto de todos los caballos blancos, o el conjunto de todos los tringulos equilteros. Pero esta nocin tan amplia de conjunto lleva a paradojas, como lo demostr el lgico ingls Bertrand Russell a principios del siglo XX. En efecto, la denicin cantoriana permite concebir conjuntos que sean elementos de s mismos: por ejemplo, el conjunto de todas las ideas abstractas es una idea abstracta. Siguiendo a Russell, llamaremos mismos, y slo si

ordinarios a los conjuntos que no son elementos de si extraordinarios a los dems. Esto es, un conjunto X es ordinario si y
y extraordinario si y slo si

X X . De acuerdo con la denicin A de todos los conjuntos ordinarios. Como A es un conjunto, deber ser ordinario o extraordinario. Si A fuese ordinario, entonces debera ser A A, lo que signica que A sera extraordinario. Luego no puede ser A ordinario. Pero tampoco puede ser extraordinario, pues si A fuese extraordinario, entonces A A, y por lo tanto sera ordinario. En otras palabras, hemos derivado la contradiccin A A si y slo si A A.
de Cantor podemos considerar el conjunto La nocin cantoriana de conjunto est ligada a la nocin de una propiedad satisfacen

XX

propiedad: Dada

P,

podemos formar el conjunto

(y, recprocamente, dado un

{x : P (x)} de los objetos que conjunto C , le podemos asociar la

propiedad pertenecer a

C ).

En 1908, en su trabajo sobre los fundamentos de la teora de conjuntos, el matemtico alemn Ernest Zermelo seala que la paradoja de Russell muestra que no es admisible asignarle a cualquier propiedad lgicamente bien denida un conjunto como su extensin. Por lo tanto la denicin original de Cantor 1

CAPTULO 1.

TEORA AXIOMTICA

debe restringirse, y como esta denicin no ha podido ser reemplazada por otra que sea igualmente simple y que no de lugar a paradojas, Zermelo concluye que:

Bajo estas circunstancias no nos queda en este punto ms que proceder en la direccin opuesta y, partiendo del desarrollo histrico de la teora de conjuntos, buscar los principios requeridos para fundamentar esta disciplina matemtica. Para resolver este problema debemos, por un lado, restringir estos principios sucientemente para excluir contradicciones y, por el otro, elegirlos sucientemente amplios para retener todo lo de valor que tenga la teora.
En otras palabras, para eliminar la paradoja, Zermelo propone considerar como conjuntos slo aquellos objetos que satisfagan las condiciones impuestas por ciertos axiomas. El propsito de este curso es desarrollar esta idea. Intuitivamente, podemos pensar que los conjuntos se van formando en etapas: para poder formar un conjunto, todos sus posibles elementos deben ya estar denidos. Habra dos tipos de objetos: individuos (llamados

urelemente) y con-

juntos. En la etapa inicial slo habra individuos. Los conjuntos de la primera etapa estaran formados por individuos. Los de la segunda etapa, por individuos y conjuntos de la primera etapa. En general, los conjuntos de una etapa estaran formados por individuos y conjuntos denidos en etapas anteriores. Vamos a considerar una teora

pura

de conjuntos, esto es,

sin individuos.
, {},

Entonces en la primera etapa tendremos el conjunto vaco y el conjunto que tiene por nico elemento al vaco de objetos, que llamaremos el remos por

en la segunda

{},

en la tercera

{{}}, {, {}} y as siguiendo. De esta manera podemos concebir una coleccin

pertenencia y denotaremos por . Si a, b son objetos de U , a b se lee como

 a pertenece a si

U.

En

tenemos una relacin binaria, que llamaremos

universo de la teora de conjuntos y denotarelacin de

b.
La relacin

b

o  a es un elemento de

ab

puede darse slo

aparece en una etapa anterior a la aparicin de

b. U
y la

La teora axiomtica que desarrollaremos, debida esencialmente a Zermelo, tiene como propsito formalizar estas ideas intuitivas sobre el universo relacin

Para conseguir este propsito, debemos jar algunas propiedades bsicas como axiomas. Pero aqu se plantea otra cuestin Qu tipo de propiedades son admisibles? Obviamente deben ser propiedades que se reeran a conjuntos. La siguiente paradoja, debida a Berry y divulgada por Russell, si bien se reere a nmeros y no a conjuntos, muestra que hay que ser cuidadosos: Sea

la propiedad se puede denir por medio de una oracin en idioma

castellano de no ms de treinta palabras. La propiedad nmeros naturales: si si

tiene sentido para

es un nmero natural,

P (n)

ser verdadera si y slo

puede denirse en castellano con no ms de treinta palabras. Como hay

slo un nmero nito de oraciones castellanas que se pueden formar con no ms de treinta palabras, debe haber nmeros naturales que no satisfacen el primer nmero natural que no satisface

P.

Sea

P.

Esto es, m es el primer nmero

natural que no puede denirse en castellano por medio de una oracin con no

1.2.

EL LENGUAJE DE LA TEORA

ms de treinta palabras. Pero esta oracin dene a veintitrs palabras. Por lo tanto

satisface

P,

Esta no es una verdadera paradoja, pues si

m, est en castellano y tiene m. bien P tiene sentido para nmecontrariando la denicin de

ros, no es una propiedad de los nmeros sino del lenguaje. Para estar seguros de que hay un primer nmero que satisface una cierta propiedad, sta debe poder expresarse en trminos de las operaciones aritmticas. Anlogamente, al hablar de propiedades de conjuntos, queremos decir propiedades que se puedan expresar en trminos de la relacin

Comenzaremos entonces por denir

precisamente un lenguaje adecuado para expresar tales propiedades.

1.2.

El lenguaje de la teora

Un lenguaje est formado por listas (nitas) de smbolos. Luego para denir un lenguaje debemos dar un nmero nito de smbolos bsicos, que constituyen el

alfabeto y las reglas que nos indiquen que listas de smbolos son admisibles.
El lenguaje que vamos a denir para formalizar la teora de conjuntos es un

caso particular de los lenguajes de primer orden, estudiados en lgica matemtica. El alfabeto que usaremos est formado por los smbolos:

v, |, , , , , , (, ), , , =, .
Todos estos smbolos, con excepcin de Llamaremos

, v
1

provienen de la lgica bsica y

deberan ser bien conocidos por el lector . formadas por el smbolo

variables individuales o simplemente variables a las listas

v
seguido de un nmero nito de barras |. Para simpli-

car la escritura, usaremos

vn

como abreviatura de

seguido de

barras. As

v0 = v , v1 = v |, v2 = v ||,
Llamaremos y

etc.

frmula atmica a las listas de smbolos de la forma: (x y)

x
e

(x = y ),

donde

denotan variables.

Podemos dar ahora las reglas de formacin de los elementos principales de nuestro lenguaje, que se llaman

frmulas.

Una lista de smbolos es una frmula si se la puede generar mediante un nmero nito de pasos respetando las siguiente reglas: F1) Las frmulas atmicas son frmulas. F2) Si F3) Si F4) Si

es una frmula, entonces y

tambin lo es.

son frmulas, tambin lo son

( ), ( ), ( ). x, x
son frmulas.

es una frmula y

una variable, entonces

1 En rigor, los smbolos , , podran denirse en funcin de los otros, pero para nuestro propsito no es necesario entrar en esos detalles.

CAPTULO 1.

TEORA AXIOMTICA

Qu signica que una lista de smbolos se obtenga aplicando un nmero nito de veces las reglas F1)  F4)? La respuesta precisa es la siguiente:
Definicin: Llamaremos

cadena de formacin de frmulas

i, 1 i n, Xi

a una lista

nita

X1 , X2 ,

...

Xn ,

donde para cada

es una lista nita de

smbolos del alfabeto que satisface una ( y slo una) de las siguientes condiciones: CFF1)

Xi

es una formula atmica,

CFF2) o bien existe

1j<i

tal que

Xi

es

Xj , Xi x
es

CFF3) o bien existen

1j<k<i

tales que

(Xj Xk ) Xi
es

donde

es

, 1j<i
y una variable tal que

CFF4) o bien existe

xXj

xXj .

Una lista X de smbolos del alfabeto es una frmula si y slo si existe una cadena de formacin de frmulas X1 , . . . , Xn tal que X = Xn .
Debemos notar que los cuanticadores se aplican nicamente a las variables y no a otro tipo de expresiones. Esta propiedad caracteriza a los

primer orden.
llaves

lenguajes de

En algunas ocasiones, para mayor claridad en frmulas anidadas, usaremos

{, }

y corchetes [,

adems de parntesis como smbolos de puntuacin,

o simplemente no usaremos ningn smbolo si la puntuacin queda sobreentendida. Usaremos las letras negaciones

x, y, z

(posiblemente con subndices) para designar

variables. Adems seguiremos el uso habitual en matemtica y abreviaremos las

(x = y )

(x y )

por

x=y

x / y,

respectivamente.

Para poder denir los enunciados de nuestro lenguaje, que nos permitirn expresar las propiedades de los conjuntos, necesitamos introducir los conceptos apariciones libres y ligadas de una variable en una frmula. Una variable cuanticador

x
o

aparece

ligada

en una frmula

si est afectada por un

x.

En caso contrario, se dice que aparece

libre

en

Por ejemplo, consideremos la frmula

((y (y x)) (x((x y )))).

La primera y segunda aparicin de aparicin de Un

es ligada y la tercera, libre. La primera

En todo este curso supondremos que las variables representan conjuntos, esto es, individuos del universo U . Los smbolos , , , , se interpretan como los conectivos lgicos de disyuncin, conjuncin, implicacin, si y slo si y negacin, respectivamente, mientras que cador universal para todo y

enunciado es una frmula sin variables libres.

es libre, mientras que la segunda y tercera son ligadas.

se interpreta como es el cuanti-

como el cuanticador existencial existe. Por

lo tanto los enunciados expresan propiedades del universo que dependen slo de la relacin de pertenencia y de las relaciones lgicas (incluyendo entre stas la

1.2.

EL LENGUAJE DE LA TEORA

igualdad). Estos enunciados sern verdaderos si y slo si expresan una propiedad del universo de acuerdo a la mencionada interpretacin . Escribiremos libres en la frmula

(x1 , . . . , xn ) para . A diferencia

indicar que las variables de los enunciados,

x1 , . . . , xn guran (x1 , . . . , xn ) no expre-

sa una proposicin verdadera o falsa. Ser verdadera o falsa segn los valores que tomen las variables (esto es anlogo a lo que ocurre con las expresiones algebraicas del tipo

5x + 3 = 2y ).

pueden ser reem sin cambiar el signicado de la frmula. Si y es una variable que no gura en , escribiremos (x|y ) para indicar la frmula que se obtiene reemplazando todas las apariciones libres de x por la variable y , y dejando el resto inalterada.
Las apariciones libres de una variable en una frmula plazadas por otra variable que no gure en Usaremos tambin la siguiente notacin, comn en los textos de matemtica, para indicar que hay un nico objeto que hace verdadera a una frmula: si es una frmula con

(x)

libre,

!x(x)

abrevia la frmula

(x(x)) (xy (((x) (x|y )) (y = x))).

Dada una frmula con una nica variable libre, la coleccin de objetos en la clase

verdadera, y escribiremos

(x), llamaremos clase a U formada por los x tales que (x) es C = {x : (x)}. Diremos informalmente que x est
del universo

si

(x)

es verdadero.

La idea de clase se corresponde con la idea de conjunto en el sentido de la denicin de Cantor: son los objetos que satisfacen una cierta propiedad. Pero en nuestra teora, los conjuntos son los colecciones de individuos, que son las clases . Tanto las clases, como el universo

individuos

del universo, y

no

las

U , no constituyen objetos de la teora. Son

nociones intuitivas que ayudan a entender los conceptos tratados. En realidad, todo el desarrollo de la teora se basa en la manipulacin formal de frmulas. En lo que sigue no expresaremos todas nuestras frmulas usando slo smbolos del alfabeto, sino que introduciremos nuevos smbolos como abreviaturas de frmulas enteras e incluso expresaremos algunas ideas en lenguaje coloquial. Sera sumamente trabajoso (e innecesario) expresar todos los enunciados y teoremas en trminos del lenguaje de la teora. Sin embargo debemos tener siempre presente que todo puede expresarse en el lenguaje formal que acabamos de denir, y en ocasiones puede ser necesario vericarlo para corroborar que estamos trabajando correctamente. Es un interesante ejercicio, tomar una expresin compleja de las que encontraremos ms adelante y traducirla paso a paso hasta que quede completamente escrita con smbolos del alfabeto.

2 El lector interesado podr encontrar los detalles sobre las interpretaciones de los lenguajes de primer orden y la nocin de verdad para los mismos en cualquier texto de lgica matemtica. 3 Existen tratamientos de la teora de conjuntos donde las clases intervienen como objetos que conforman la teora. Este tratamiento es seguido en el libro de Suppes [15] y en el Apndice de [6]

CAPTULO 1.

TEORA AXIOMTICA

1.3.

Primeros axiomas

de conjuntos,

Los axiomas de esta seccin se los llama con frecuencia

axiomas del lgebra

ya que con ellos es posible denir las operaciones elementales de

unin, interseccin, producto cartesiano, etc. Es razonable pensar que si dos conjuntos tienen los mismos elementos, entonces deben ser iguales. El siguiente axioma concuerda con esta idea de igualdad. Formalmente, relaciona el smbolo de igualdad

con el de pertenencia

Axioma de Extensionalidad: x y (t (t x
en la teora.
Definicin: Sean

t y ) x = y ).

La denicin que sigue es un ejemplo de introduccin de un smbolo nuevo

o que

a y b conjuntos. Diremos que a es un subconjunto de b a est incluido o contenido en b y lo escribiremos a b, si y slo si x(x a x b). Escribiremos a b para indicar que a b y a = b.
Utilizando el nuevo smbolo sarse as:

el Axioma de Extensionalidad puede expre(1.1)

xy (((x y ) (y x)) (x = y )).

Axioma del Vaco: y x (x y).

Si a es vaco y b es un conjunto, entonces a b. En efecto, es cierto que x(x a x b) debido a que (x a) es falso cualquiera sea x. De ac resulta que el conjunto vaco es nico. En efecto, si a y b son ambos vacos, tendremos que a b y b a, y por (1.1), resulta que a = b. El conjunto vaco ser simbolizado por .

Axioma (esquema) de Especicacin: Si es una frmula con la variable

t
libre, entonces el enunciado siguiente es un axioma:

x y (t (t x (t) ) t y ).
Los axiomas deben ser enunciados del lenguaje de la teora de conjuntos. El axioma anterior no es un axioma, sino un esquema para formar axiomas. Para cada frmula

tenemos un axioma. Como hay innitas frmulas, el esquema

nos da innitos axiomas. Observemos que del Axioma de Extensionalidad se deduce fcilmente que para toda frmula

(t) y todo conjunto x, el conjunto y cuya existencia garantiza

el Esquema de Especicacin es nico. Ser designado con la siguiente notacin:

{t x : (t)}.
Intuitivamente, el Esquema de Especicacin signica que dada una propiedad

P,

podemos formar un conjunto

con los elementos de un conjunto a

P

que

satisfacen la propiedad. Esta restriccin de la propiedad un conjunto del universo

a los elementos de

a previamente dado es coherente con nuestra descripcin intuitiva U : todos los elementos de a deben haberse denido en etapas an-

teriores, por lo tanto estn disponibles para ser elementos de un conjunto. Esta

1.3.

PRIMEROS AXIOMAS

restriccin es la idea fundamental de Zermelo para evitar paradojas del tipo de la de Russell. En efecto, para poder demostrar que la clase el enunciado

{x : x / x}

es un

conjunto aplicando el Esquema de Especicacin, habra que demostrar primero

y x(x / x) x y ) ,

esto es, que hay un conjunto que contiene

a todos los conjuntos ordinarios. Volveremos sobre este punto en el Captulo 8. Ahora nos contentaremos con ver que el universo esto es, que no puede existir un conjunto veamos que:

U no puede ser un conjunto, u tal que x(x u). Ms generalmente,

xy (y / x).
En efecto,sea

a un conjunto y sea b = {x a : x / x}. Si b a, b / b b a b b b a, que una contradiccin. Luego b / a.

entonces

Axioma del Par: x y z (t (t = x t = y)

mentos

t z ).

Usando este axioma y el de Especicacin podemos obtener, dados dos ele-

y,

un conjunto con exactamente estos dos elementos. Adems, ste

conjunto es nico por el axioma Extesionalidad, por lo tanto podemos establecer la siguiente denicin.
Definicin: Llamaremos

par (desordenado) al conjunto

{x, y } = {y z : t = x t = y }
donde

es uno de los conjuntos cuya existencia est garantizada por el Axioma

del Par. Cuando

x=y

obtenemos el

conjunto unitario {x} = {t z : t = x}.

Observemos que el Axioma del Par est de acuerdo con nuestra idea intuitiva del universo: Si hemos denido los conjuntos ser elementos de un conjunto. Notemos tambin que no hay una etapa nal. Antes de proseguir con el listado de axiomas, diremos algo respecto de deniciones y expresiones como la del par.

a y b, en una etapa posterior podrn x(x {x}). Esto signica

que todo conjunto es elemento de otro conjunto, y concuerda con la idea de que

(x, y ) es una frmula con dos variables libres x e y y C una clase, y suponx (C (x) !y(x, y )) (ver la notacin introducida en la pgina 5), entonces diremos que (x, y ) es funcional en C . En estas circunstancias tiene sentido introducir el smbolo F y la notacin y = F (x), para simbolizar que dado x en C , entonces y es el nico conjunto para el cual (x, y ) es verdadera. A F la llamaremos operacin o relacin funcional sobre C . Es
Si gamos que es verdadero fcil generalizar esta idea para obtener frmulas funcionales de mltiples variables. La denicin de par es justamente una operacin en cualesquiera siguen.

asigna el conjunto

tal que

U que a dos conjuntos z = {x, y }. Otros ejemplos de

operaciones los veremos a continuacin con la presentacin de los axiomas que

Axioma de Unin: x z (t (y (y x t y))

t x)

CAPTULO 1.

TEORA AXIOMTICA

Definicin: Sea

un conjunto, llamaremos

unin de a al conjunto

a = {x z : y (y a x y )},
donde

es uno de los conjuntos cuya existencia est garantizada por el Axioma

de la Unin. Una notacin que puede resultar ms familiar para la unin es ms adelante. Si remos

ca c.

Esta

notacin est ligada a la nocin de familia de conjuntos, que veremos un poco

c es un par, digamos c = {a, b}, a b en vez de {a, b}.

entonces siguiendo la costumbre escribi-

Segn nuestra idea intuitiva, los elementos de un conjunto

son conjuntos

obtenidos en etapas anteriores. A su vez, los elementos de estos conjuntos deben haber sido obtenidos en etapas previas a su denicin. Por consiguiente todos ellos estn disponibles para formar la unin, por lo que el Axioma de la Unin es compatible con nuestra intuicin del universo

U.

Observemos que de los Axiomas del Par y de la Unin resulta fcilmente que dado un nmero nito de conjuntos ser denotado por

a1 , . . . an ,

podemos formar un conjunto que

los contiene como elementos. El (nico) conjunto formado por estos elementos

{a1 , . . . , an }.

Otra operacin importante en el lgebra de conjuntos es la interseccin. Pero para denirla no necesitamos un nuevo axioma.
Definicin: Sea

un conjunto no vaco, llamaremos

interseccin

de

al

conjunto

a = {x b : y (y a x y )}
donde

es cualquier elemento de

a.

a = , a es un con a no depende del conjunto b a elegido para denirla. En efecto, si b y c son elementos de a, entonces los conjuntos {x b : y (y a x y )} y {x c : y (y a x y )} tienen
El Esquema de Especicacin asegura que para todo junto, y el Axioma de Extensionalidad asegura que los mismos elementos. Como en el caso de la unin, escribiremos vacos es el siguiente: Dado un conjunto probar que existe un tener que

ab

en vez de

{a, b}.

El motivo por el que la denicin de interseccin se aplica slo a conjuntos no

tal que

x, para probar que x / deberamos x / y . Como esto no es posible, debemos

= U,

que ya sabemos que no es un conjunto.

Definicin: La

diferencia de los conjuntos a y b es el conjunto

a \ b = {x a : x / b}.

Siguiendo con nuestra idea intuitiva de formacin de los conjuntos, tenemos que si un conjunto

ha sido obtenido en una cierta etapa, entonces todos sus

elementos deben haber sido obtenidos en etapas anteriores. Luego en la misma

1.3.

PRIMEROS AXIOMAS

etapa en la que est disponible juntos de

estn tambin disponibles todos los subcon-

a,

lo que permite tomarlos como elementos de un nuevo conjunto en

una etapa posterior. Resulta entonces natural el axioma siguiente:

Axioma del Conjunto Potencia: x y (t (t x

Definicin: Sea

t y ))

conjuntos de de

como

a un conjunto e y un conjunto que contenga a todos los suba, cuya existencia asegura el axioma anterior; denimos las partes el conjunto P (a) = {x y : x a}.

Ejemplo:

P () = {}, P (P ()) = {, {}}. 2n

subconjuntos. Partiendo del ejemplo anterior, vemos

Es un resultado elemental de la teora intuitiva de conjuntos que un conjunto con

elementos tiene

as que tomando partes de partes podemos formar conjuntos nitos tan grandes como queramos. Con los axiomas vistos hasta ahora no slo se puede desarrollar el lgebra elemental de conjuntos, sino que tambin permiten denir dentro de la teora las nociones de producto cartesiano, de relacin y de funcin. Para denir el producto cartesiano necesitamos la nocin de par ordenado. La propiedad fundamental de los pares ordenados es que permite distinguir entre el primero y el segundo elemento del par, esto es, y

a, b = c, d si y slo si a = c b = d. La nica justicacin de la siguiente denicin de par ordenado, debida a

y

a Kuratowski, es la satisfaccin de esta propiedad.

Definicin: Dados dos conjuntos

b,

se llama

par ordenado

con primer

elemento

y segundo elemento

al conjunto

a, b = {{a}, {a, b}}. a, b = c, d

si y

No es difcil probar que la denicin anterior implica que slo si

a=c

b = d. (x, y, z ) del lenguaje de primer orden de la z = x, y , suponiendo que x = v0 , y = v1

La denicin de par ordenado es sucientemente simple como para poder mostrar explcitamente la frmula y teora de conjuntos que expresa que

z = v2 : v3 [(v3 v2 ) ((v5 ((v5 v3 ) (v5 = v0 ))) (v6 ((v6 v3 ) ((v6 = v0 ) (v6 = v1 )))))].

Definicin: Dados dos conjuntos

por

al conjunto

a y b llamaremos producto cartesiano a b = { x, y P (P (a b)) : (x a) (y b)}.

de

La nocin de producto cartesiano permite denir las nociones de relacin binaria y de funcin.
Definiciones: Llamaremos

relacin entre los conjuntos a y b a cualquier suba b.

Dada la relacin

conjunto del producto cartesiano

dominio de r al conjunto

r a b,

se llama

dom(r) = {x a : y ((y b) ( x, y r))}

10

CAPTULO 1.

TEORA AXIOMTICA

y se lama

imagen de r al conjunto
img (r) = {y b : x(x a x, y r}.

Una relacin

r aa

se dir una

relacin binaria sobre

a. a b, pa-

Observacin 1.3.1.

Al denir una relacin como un subconjunto de

recera que estamos restringiendo la idea intuitiva de relacin binaria a aquellas relaciones entre elementos de dos conjuntos previamente dados. Parecera ms natural denir una relacin binaria simplemente como un conjunto de pares ordenados, sin referencia a los conjuntos los conjuntos por hiptesis

que satisfacen la siguiente propiedad:

a y b. Esto es, llamar relaciones binarias a z r xy (z = x, y ).

Pero en realidad esta denicin no sera ms general que la dada. En efecto, como

r es un conjunto, podemos denir r, y si x, y = {{x}, {x, y }} r, entonces {x, y } r. Luego x r e y r, lo que signica que r r r. En particular tenemos que dom(r) r e img (r) r.
La observacin anterior sugiere extender la nocin de dominio e imagen para

conjuntos arbitrarios del modo siguiente: Dado un conjunto

a,

se llama

dominio de a al conjunto
(1.2)

dom(a) = {x a : y x, y a}
y se llama

imagen de a al conjunto
img (a) = {y a : x x, y a}.
(1.3)

Notacin: En lo sucesivo, para simplicar la escritura, utilizaremos las abre-

viaturas:

x y(x) y x y(x) x((x y ) (x), respectivamente.

en lugar de

x((x y ) (x)

y de

Deniremos dos tipos de relaciones que sern utilizadas con frecuencia.

Definiciones: Una relacin binaria

relacin de orden, o, implemente, un orden sobre a si satisface las siguientes

propiedades: 1. 2. 3.

denida en un conjunto

se llama una

Reexiva: x a ( x, x r), Antisimtrica: xy ((( x, y r) ( y, x r) x = y )), Transitiva: xy z ((( x, y r) ( y, z r)) ( x, z r)).

r
denido en

Un orden

se dice

total si cumple que

x a y a ( x, y r) ( y, x r)).
Un

conjunto ordenado es un par ordenado

es un orden sobre

ordenado.

a, r a. Cuando r es total, el par a, r

tal que es un

conjunto totalmente

es un conjunto y

1.3.

PRIMEROS AXIOMAS

11

Si

es un conjunto con por lo menos dos elementos, entonces

P (a),

es

un ejemplo de un conjunto ordenado que no es totalmente ordenado, donde simboliza la relacin de inclusin.
Definicin: Una

relacin de orden estricto

relacin

o un

orden estricto

sobre

un conjunto

a es una x a ( x, x / r ).

r aa

que es transitiva y anti-reexiva:

El siguiente lema, cuya fcil demostracin dejamos a cargo del lector, establece las relaciones entre rdenes y rdenes estrictos.

Lema 1.3.2. Sea

i ii

a un conjunto, r a a y = { x, y a a : x = y }. Entonces se tiene que:

) r es un orden estricto si y slo si r = y r es un orden,

) r es un orden si y slo si r \ es un orden estricto.

r es una relacin de orden sobre a, escribiremos x r y para x, y r, y x < r y para indicar que x r y y x = y . Cuando lugar a confusin, omitiremos el subndice r . Ms an, siguiendo la

Notacin: Si

indicar que no haya por

costumbre en matemtica designaremos las relaciones de orden directamente

y diremos simplemente

conjunto ordenado a para indicar al par a,

tal que

Definiciones: Una

funcin es una relacin f

y x, y f

xy z ((( x, y f ) ( x, z f )) y = z ).
Si

x dom(f ),
Sea

el nico

tal que

ser indicado por

f (x).

f a b una funcin. Si c dom(f ), la imagen de c por f es el f (c) = {y b : x c(y = f (x))}. La imagen de dom(f ) por f se llama la imagen de f y se la simboliza por img (f ). La notacin f : a b signica que f es una funcin tal que dom(f ) = a e img (f ) b.
conjunto Una funcin

f :ab

se dice

inyectiva si y slo si

x at a((f (x) = f (t)) (x = t)),

se dice

sobreyectiva si y slo si img(f ) = b y se dice biyectiva o una biyeccin

f
es inyectiva y sobreyectiva.

si y slo si

Supondremos al lector familiarizado con las propiedades bsicas de las relaciones y funciones. En este punto slo queremos destacar que relaciones y funciones pueden denirse como conjuntos dentro de la teora axiomtica que estamos desarrollando. Sean de una

familia de conjuntos indexada por I , {xi }iI , donde xi

f, a
tal que

conjuntos. Una funcin

f :Ia

suele representarse en la forma

= f (i).

Con

esta notacin se omite mencionar a la funcin

pero hay que tener presente

que para que tenga sentido, debe existir un conjunto

xi a

para todo

12

CAPTULO 1.

TEORA AXIOMTICA

i I.

familia como el conjunto iI xi = img(f ), interseccin como iI xi = img(f ).

es una funcin sobreyectora, identidad,

En este caso

f = {t I a : t = i, xi }.

Denimos la

unin de una
denimos la

y si

img (f ) = ,

Todo conjunto puede representarse como familia de sus elementos: Si

f: I a

a = {xi }iI . En particular si I = a y f

es la funcin

a = {xx }xa .

1.4.

Ejercicios

Ejercicio 1. Escriba una frmula que exprese

smbolos lgicos, = y .

a, b , c, d

usando slo los

Ejercicio 2. Sea (x, y) = ((y(y x)) (x((x y)))).

A) Escriba la frmula (x|z, y ). B) Si reemplazamos las apariciones libres de x por y, la frmula que se obtiene Expresar lo mismo que la original?

Ejercicio 3. De cuales de los siguientes conjuntos es x un elemento, un subconjunto o ninguna de las dos cosas? A) {{x}, y }, B) x, C) x, D) {x} \ {{x}}, E) {x} x, F) {x} .

Ejercicio 4. Verique las siguientes igualdades, donde las letras a, b, . . . indican

conjuntos: A) = , B) {a} = a, C) Si a c, entonces a c. D) E)
{{a, b, c}, {a, d, e}, {a, f }} = {a, b, c, d, e, f }, {{a, b, c}, {a, d, e}, {a, f }} = {a},

F) {a} = a para todo conjunto a, G) {a} = a para todo conjunto a.

1.4.

EJERCICIOS

13

Ejercicio 5. Muestre que si a, b son conjuntos, entonces (a) (b) (a b),

y muestre con ejemplos que la inclusin puede ser propia.
P (b).

Ejercicio 6. De un ejemplo de dos conjuntos a, b tales que P (a b) = P (a) Ejercicio 7. Demuestre que
x P (x) = x, y que x(x P ( x), y muestre con ejemplos que esta ltima inclusin puede ser propia.

Ejercicio 8. Dado un conjunto a, pruebe que {a} es un conjunto sin utilizar el Axioma del Par. Ejercicio 9. Recordar que el par ordenado
piedad:
a, b = c, d si y slo si a = c y b = d. a, b est caracterizado por la pro-

A) Demostrar que la denicin dada en clase, a, b = {{a}, {a, b}} es adecuada. B) Determinar cuales de estas posibles deniciones de par ordenado seran adecuadas: (1) a, b 1 = {{a, }, {b, {}}}, (2) a, b 2 = {{a, }, {b}}, (3) a, b 3 = {{a, }, b}.

Ejercicio 10. Todo par ordenado, por denicin, es un conjunto. Muestre con ejemplos que un par ordenado puede tener un nico elemento. Ejercicio 11. Demuestre las siguientes igualdades, donde a, b son conjuntos:
A) B) (
a, b = a. a, b ) ( a, b \ a, b ) = b.

Ejercicio 12. Dados los conjuntos a, b, c, pruebe que:

A) a a = b b implica a = b, B) a b = a c y a = implican b = c.

Ejercicio 13. Sean a, b, c conjuntos, r a b y s b c. La composicin de las relaciones r y s es la relacin

r s = { x, z a c : y ( x, y r y, z ) s}.

Pruebe que A) dom(r s) = si y slo si img (r) dom(s) = . B) dom(r s) dom(r) e img (r s) img (s). De ejemplos que muestren que las inclusiones pueden ser propias.

14

CAPTULO 1.

TEORA AXIOMTICA

C) Si r y s son funciones, entonces r s es funcin. Puede ser que la relacin r s sea funcin sin que lo sea alguna de ellas o ambas?

Ejercicio 14. Sean a, b conjuntos y sean pa : a b a y pb : a b b deni-

das por pa ( x, y ) = x y pb ( x, y ) = y para todo x, y a b. Pruebe que pa y pb son ambas sobreyectivas y que vale la siguiente propiedad: Si c es un conjunto y f : c a y g : c b, entonces existe una nica h : c a b tal que pa h = f y pb h = g .

Bibliografa
[1] M. Balanzat, El nmero natural y sus generalizaciones, Universidad Nacional de San Luis: San Luis, 1953. [2] N. Boubaki, Elementos de historia de las matemticas, Alianza Universidad: Madrid, 1972 (Es traduccin del francs). [3] C. A. Di Prisco, Una introduccin a la teora de conjuntos y los fundamentos de la matemtica, Centro de Lgica, Epistemologia e Histria da Cincia, Universidade Estadual de Campinas: Campinas, S. P., 1997. [4] J. Dugundji, Topology, Allyn and Bacon: Boston, 1966. [5] P. R. Halmos, Naive Set Theory, Van Nostrand: Princeton, 1960. Springer: New York, 1974. (Hay traduccin castellana con el nombre de Teora ingenua de conjuntos). [6] J. Kelley, Topologa general, EUDEBA, Buenos Aires, 1962. (Es traduccin del ingls). [7] J. L. Krivine, Introduction to Axiomatic Set Theory, D. Reidel: Dordrecht, 1971. (Es traduccin del francs). [8] K. Kunen, Set Theory. An introduction to Independence Proofs, NorthHolland: Amsterdam - New York - Oxford, 1980. [9] E. G. H. Landau, Foundations of Analysis, Chelsea, New York, 1951. (Es traduccin del alemn). [10] S. Lipschutz, Teora de conjuntos y temas anes, Mc Graw Hill: Mjico Buenos Aires, 1991. (Es traduccin del ingls). [11] L. Oubia, Introduccin a la teora de conjuntos, EUDEBA: Buenos Aires, 1965. [12] J. R. Shoeneld, Mathematical Logic, Addison-Wesley: Reading, Ma., 1967. [13] L. E. Sigler, Exercises in Set Theory, Springer International Student Edition: Berlin, 1979. 15

16

BIBLIOGRAFA

[14] W. Sierpinski, Cardinal and Ordinal Numbers, Hafner: New York City, 1958. [15] P. Suppes, Axiomatic Set Theory. Van Nostrand: Princeton, 1960.