Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoriadeconjuntos PDF
Teoriadeconjuntos PDF
Febrero 2002
ii
ndice general
0.1. Prefacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
2. lgebra de Conjuntos 9
2.1. El lenguaje de la Teora de Conjuntos . . . . . . . . . . . . . . . 9
2.2. Igualdad, inclusin y conjunto vaco . . . . . . . . . . . . . . . . 10
2.3. Operaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3. Relaciones y Funciones 13
3.1. Clases unitarias, pares y dadas . . . . . . . . . . . . . . . . . . . 13
3.2. Conjunto potencia (o conjunto de las partes de un conjunto) . . 13
3.3. Gran unin y gran interseccin . . . . . . . . . . . . . . . . . . . 14
3.4. Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.5. Relaciones binarias . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.6. Relacin inversa, producto relativo y restriccin . . . . . . . . . . 15
3.7. Imagen bajo una relacin y relacin identidad. . . . . . . . . . . 16
3.8. Propiedades de ciertas relaciones . . . . . . . . . . . . . . . . . . 16
3.9. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . . 17
3.10. Relaciones de Orden . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.11. Funciones, composicin . . . . . . . . . . . . . . . . . . . . . . . 19
3.12. Funciones de A en B . . . . . . . . . . . . . . . . . . . . . . . . . 19
iii
iv NDICE GENERAL
6. La Jerarqua de Zermelo 31
6.1. Construccin de la Jerarqua . . . . . . . . . . . . . . . . . . . . 31
6.2. Axiomas involucrados en la construccin de la jerarqua . . . . . 32
8. Ejercicios 39
8.1. Igualdad, Inclusin y Conjunto vaco . . . . . . . . . . . . . . . . 39
8.2. Operaciones: Algebra de conjuntos . . . . . . . . . . . . . . . . . 39
8.3. Clases Unitarias, Pares y Dadas . . . . . . . . . . . . . . . . . . 40
8.4. Conjunto Potencia (o Conjunto de las Partes de un Conjunto) . . 40
8.5. Gran Unin y Gran Interseccin . . . . . . . . . . . . . . . . . . 40
8.6. Producto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . 41
8.7. Relaciones Binarias . . . . . . . . . . . . . . . . . . . . . . . . . . 41
8.8. Relacin Inversa, Producto Relativo y Restriccin . . . . . . . . . 42
8.9. Imagen bajo una Relacin y Relacin de Identidad . . . . . . . . 42
8.10. Propiedades de ciertas relaciones . . . . . . . . . . . . . . . . . . 43
8.11. Relaciones de Equivalencia . . . . . . . . . . . . . . . . . . . . . . 43
8.12. Relaciones de Orden . . . . . . . . . . . . . . . . . . . . . . . . . 43
8.13. Funciones, Composicin . . . . . . . . . . . . . . . . . . . . . . . 43
8.14. Funciones de A en B . . . . . . . . . . . . . . . . . . . . . . . . . 44
8.15. Induccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
9. Bibliografa 49
0.1. PREFACIO v
0.1. Prefacio
Las notas que siguen constituyen una gua para un curso bsico de teora de
conjuntos. La primera parte, formada por tres captulos, se podran insertar en
un curso de introduccin de lgica, entre la lgica proposicional y la de primer
orden. Si el curso se piensa dar en Facultades de Letras, se puede complementar
con una serie de ejercicios an ms elementales (que estamos elaborando) cuyo
objetivo es que el alumno sepa trasegar con conjuntos y relaciones concretas. No
se incluyen las demostraciones, que son la parte fundamental del curso, ya que
las hacemos en la pizarra. Esto no es un libro, son unos apuntes que esperamos
os sean de alguna ayuda.
El bloque completo de estas notas constituye un curso de 20 horas para
alumnos de primer ciclo. Por tratarse de una asignatura de las denominadas
de LIBRE CONFIGURACIN (esto quiere decir que no es de ninguna carrera
en particular, que la pueden elegir alumnos de cualquier titulacin) no se puede
suponer un conocimiento previo homogneo, de ah proviene su estilo mestizo.
vi NDICE GENERAL
Parte I
TEORA BSICA DE
CONJUNTOS
1
Captulo 1
Introduccin
3
4 CAPTULO 1. INTRODUCCIN
a, b y c.
B = {, , , , }. Donde B es el conjunto formado exactamente por
esos cinco crculos.
Entonces es cierto que b A y que b
/ B.
El inconveniente para este mtodo de listado o enumeracin de los elemen-
tos del conjunto es que stos deben poseer un nmero finito de elementos
y, en la prctica, un nmero muy pequeo
Qu hacer cuando la coleccin es infinita, o cuando es finita pero nu-
merosa?
Describir los objetos. Cuando el nmero de elementos del conjunto es in-
finito (como el de los nmero impares) o demasiado numeroso (como el de
todas las palabras que pueden formarse con el alfabeto latino) se utiliza
el mtodo de definicin por intensin, que consiste en la descripcin de
un conjunto como la extensin de un predicado, esto es, mediante una o
varias propiedades (el predicado) que caracterizan a los elementos de ese
conjunto.
En principio podra tomarse cualquier lengua natural para describir los ob-
jetos (espaol, ingls, italiano, vasco, cataln, etc), sin embargo es preferible
utilizar un lenguaje formal que ofrezca rigor y precisin. Dicho lenguaje debe
ser suficientemente rico; esto es, lo suficientemente expresivo como para poder
describir todas las colecciones matemticas. Pero tambin lo suficientemente re-
strictivo como para limitarse a slo las colecciones de objetos matemticos. Para
expresar predicados utilizaremos el lenguaje formal de la la lgica de predica-
dos de primer orden (el lenguaje de la lgica de proposiciones con los smbolos
lgicos de las conectivas , , , , ms los cuantificadores universal y exis-
tencial ) al que se aade variables, igualdad y el relator binario de pertenencia.
Este lenguaje puede ser ampliado con los smbolos propios de las operaciones,
relaciones o funciones del lenguaje especfico de teora de conjuntos.
En la primera parte, al presentar la Teora bsica de conjuntos, utilizaremos
con frecuencia el lenguaje natural para describir propiedades. Estas propiedades
pueden ser aritmticas (<, , /, etc.) o matemticas en general, pero tambin
pueden ser propiedades expresadas en lenguaje natural (nombres, verbos,...) que
describan colecciones no estrictamente matemticas.
Ejemplo:
C = {x / 0 < x < 230000 2/x}, donde es el conjunto de los nmeros
naturales con la ordenacin habitual, < significa menor que y 2/x significa
que 2 divide a x.
D = {x/ x es una palabra de 2 letras del alfabeto griego (pueden estar repetidas)}
E = {x/ P2 (x) P3 (x) P10 (x)} . Donde Pi (x) significa x es una palabra
de i letras del alfabeto griego (pueden estar repetidas).
6 CAPTULO 1. INTRODUCCIN
3. Los teoremas, que son todas las proposiciones demostrables con herramien-
tas lgicas a partir de los axiomas.
lgebra de Conjuntos
Con estos signos bsicos se generan todas las frmulas de la teora de con-
juntos. Las reglas de formacin de frmulas son las habituales en la lgica de
primer orden. A saber:
9
10 CAPTULO 2. LGEBRA DE CONJUNTOS
A
/ B es la abreviacin de no pertenencia (A B)
1. A( A)
2. A (A A)
3. AB ((A B) (B A) (A = B))
2.3. Operaciones
Definiciones
Teoremas
1. AB (A A B)
2. AB (A B A)
3. AB ((A B) (A B = B))
4. AB ((A B) (A B = A))
5. A (A A = A). Idempotencia.
6. A (A A = A). Idempotencia.
7. AB (A (A B) = A). Absorcin.
8. AB (A (A B) = A). Absorcin.
9. AB (A B = B A). Commutatividad.
10. AB (A B = B A). Commutatividad.
11. AB (A B = B A)
12. A ( A = )
13. A (A = A)
14. A (A = )
15. ABC ((A B) C = A (B C)). Asociatividad.
16. ABC ((A B) C = A (B C)). Asociatividad.
12 CAPTULO 2. LGEBRA DE CONJUNTOS
Captulo 3
Relaciones y Funciones
Teoremas
2. xy (x = y hx, yi = {{x}})
13
14 CAPTULO 3. RELACIONES Y FUNCIONES
Teoremas
1. A ( PA)
2. A (A PA)
3. AB ((PA PB) P(A B))
4. AB (PA PB = P(A B))
Teoremas
[
1. AB ( {A, B} = A B)
\
2. AB ( {A, B} = A B)
[
3. AA ((A A) (A A))
[
4. A ( PA = A)
Teoremas
1. ABC (A (B C) = (A B) (A C))
2. ABCD ((A B) (C D) = (A C) (B D))
3. ABC ((A B) C = (A C) (B C))
4. AB (A B PP(A B))
3.5. RELACIONES BINARIAS 15
Teoremas
1. xy (hx, yi R1 hy, xi R)
2. R (R1 es una relacin)
3. R ( (R1 )1 R )
4. R ( R es una relacin R = (R1 )1 )
16 CAPTULO 3. RELACIONES Y FUNCIONES
Teoremas
1. x ((x R [A]) (y (hy, xi R y A)))
2. RAB (R [A B] = R [A] R [B])
3. RAB ((R [A B]) (R [A] R [B]))
4. RAB (R [A B] = R [A] R [B])
5. RAB ((R[A B] (R [A] R [B])
6. RAB (R [A B] 6= R [A] R [B])
Teoremas
RH = {hx, yi | B (B H x B y B)}
Teoremas
1. R ((R es un orden lineal ) (R es un orden parcial))
2. Si hA, i esta linealmente ordenado y Y A entonces (a es elemento
minimal de Y si y slo si a es primer elemento de Y )
3. hA, i est bien ordenado syss (para cada Y A se cumple x(x Y x
es primer elemento de Y ))
4. Sea hA, i un conjunto parcialmente ordenado. hA, i esta bien fundado
syss no hay ninguna sucesion {an }
n=0 de elementos de A tal que an+1 < an
para cada n (no hay a0 > a1 > a2 > ...)
3.11. FUNCIONES, COMPOSICIN 19
Composicin: f g = g/f
Teoremas
3.12. Funciones de A en B
Definiciones
Teoremas
1. f ((f es inyectiva ) (f es una funcin f 1 es una funcin))
2. f xy (((f es inyectiva) (x, y Dom f )) ((f (x) = f (y) (x = y)))
3. f g ((f es inyectiva g es inyectiva ) (f g es inyectiva))
Parte II
Teora de Conjuntos
Axiomtica
21
Captulo 4
Primeros Axiomas
23
24 CAPTULO 4. PRIMEROS AXIOMAS
Construccin de los
Ordinales
{n | P(n)} 6= .
Por el buen orden de los naturales habra un primer elemento de este con-
junto; es decir habra un m para el que valdra P(m) pero tambin, por ser m
el primer elemento, valdra P(m 1).
Esto es justamente lo que queda excludo en la prueba por induccin; por
ello demostramos
Se puede extender este mtodo para que sirva no slo con los conjuntos
numerables, sino tambin con los transfinitos (supernumerables)? La respuesta
es afirmativa, lo veremos ahora.
25
26 CAPTULO 5. CONSTRUCCIN DE LOS ORDINALES
entonces E = X
= hX 0 , 0 i o bien X
Notacin: Escribiremos hX, i = X 0 , o incluso f : X
= X0
Teoremas
1. Sea hX, i un conjunto bien ordenado, Y X y f : X
= Y. Entonces
x f (x), para todo x X.
2. Sean hX, i y hX 0 , 0 i buenos rdenes. Si hX, i
= hX 0 , 0 i , entonces el
isomorfismo es nico.
5.2.2. Segmento
Definicin Sea hX, i un conjunto bien ordenado y a X. Llamamos seg-
mento de X determinado por a al conjunto Xa = {x X | x < a}
Teoremas
1. Sea hX, i un conjunto bien ordenado. No hay ningn isomorfismo de X
en un segmento de X.
2. Sea hX, i un conjunto bien ordenado y sea A = {Xa | a A} . Entonces
hX, i
= hA, i .
5.2.3. Ordinal
Definicin Un ordinal es un conjunto bien ordenado hX, i tal que Xa = a,
para todo a X
Teoremas
1. Sea hX, i un conjunto bien ordenado. Entonces (x, y X)(x < y
Xx Xy x y)
2. Sea X un ordinal. Si a X, entonces Xa es un ordinal.
28 CAPTULO 5. CONSTRUCCIN DE LOS ORDINALES
Esta unicidad nos permite usar a los ordinales como vara de medir con-
juntos bien ordenados; es decir, Ord(X) es la longitud de X.
si y slo si X = a (pues Ya = a)
si y slo si X Y (pues a Y )
Por consiguiente, la relacin coincide en los ordinales con la relacin
x = {, {}}
y = {, {} , {, {}}}
5.3. OBSERVACIONES ACERCA DE LOS ORDINALES 29
Aqu x y porque
{, {}} {, {} , {, {}}}
{, {} , {, {}}}
{} {, {} , {, {}}}
{X(n)}n=0
tal que
{X(n + 1)}n=0
Usaremos letras griegas minsculas para denotar ordinales. Puesto que el or-
den es siempre no hace falta especificarlo. Sin embargo, recordaremos siempre
que un ordinal no es slo un conjunto, sino un conjunto y un orden.
Para denotar el orden de los ordinales se usa indistintamente < ,
o .
Puesto que los ordinales miden conjuntos bien ordenados, en particular
medirn conjuntos finitos. Definiremos a los naturales como ordinales finitos.
Cmo es un ordinal?
Si es un ordinal, entonces = { | < }
Ordinales finitos
Primer ordinal Denotacin 0
{0} = {} Segundo ordinal Denotacin 1
{0, 1} = {, {}} Tercer ordinal Denotacin 2
.. .. .. ..
. . . .
{0, 1, 2, ..., n 1} Ordinal ensimo+1 Denotacin n
.. .. .. ..
. . . .
La Jerarqua de Zermelo
V+1 = P(V )
31
32 CAPTULO 6. LA JERARQUA DE ZERMELO
que no es un conjunto.
dice que dado un conjunto A hay un conjunto cuyos elementos son los el-
ementos de los elementos de A. El axioma de la unin nos permite formar
V , cuando es un ordinal lmite, haciendo
[
V = V
<
[
Es decir, V = {V : < } . Pero, sabemos si {V : < } es un con-
junto?. En realidad, podramos conseguirlo a partir de { : < } reem-
plazando cada por V . Para ello necesitaramos contar con los ordinales
y utilizar el axioma del reemplazamiento. Dejemos de momento de lado a
los ordinales, supongamos que ya contamos con ellos.
3. El axioma de reemplazamiento dice que si tenemos una frmula (x, y)
tal que a cada conjunto a le asigna un nico conjunto b tal que (a, b) en-
tonces, a partir de un conjunto A cualquiera podemos definir otro, B, en
el que los elementos a de A son reemplazados por los b que cumplen (a, b)
Bx(x
/ B)
5. Tambin necesitamos el axioma de infinitud, que dice que hay un conjunto
que contiene al y que est cerrado bajo la operacin del siguiente
AB(x(x A x B) A = B)
x(x 6= y(y x y x = ))
Captulo 7
35
36CAPTULO 7. LOS AXIOMAS DE ELECCIN Y CONSTRUCTIBILIDAD
muestra que si ZFC fuera inconsistente tambin lo sera ZF. Por tanto slo es
necesario suponer que ZF es consistente para asegurar tambin que ZFC lo es.
3. Para cada conjunto A hay una funcin f (llamada funcin de eleccin) tal
que el dominio de f es el conjunto de los subconjuntos no vacos de A y
tal que f (B) B para cada B A.
V+1 = P(V )
esto es, V+1 es el conjunto de todos los subconjuntos de V . Sin embargo
la nocin de subconjunto no fue definida en realidad y cuando nos hacemos
preguntas como qu es un subconjunto arbitrario del conjunto de los nmeros
naturales y cuntos de ellos hay, no es posible responder sin determinar lo que
se entiende por subconjunto. Podemos tomar como nocin de conjunto la de
una coleccin descriptible por una frmula expresada en el lenguaje formal de
la tera de conjuntos. De esta manera obtendremos los conjuntos necesarios
en matemticas, excepto quizs los conjuntos indescriptibles provenientes del
axioma de eleccin. ?? se puede redefinir la jerarqua de conjuntos substituyendo
la nocin de conjunto de las partes de un conjunto por la de conjunto descriptible
de las partes de un conjunto. Indicaremos el nivel Ord de la jerarqua por
la nueva notacin L .
L0 =
L+1 =todas las colecciones de elementos de L que son describibles con
frmulas del lenguaje de la teora de conjuntos)
Y cundo es un ordinal lmite:
[
L+1 = L
<
Axioma de Constructibilidad: L = V.
Ejercicios
1. AB ((A B) (B A))
2. A ((A ) (A = ))
3. AB ((A B) (B A))
4. AB ((A B) ((B A)))
5. ABC (((A B) (B C)) (A C))
6. A (( A A))
39
40 CAPTULO 8. EJERCICIOS
9. AB ((A B) (A (B A) = B))
10. AB (A B = A (A B))
1. ABC (A (B C) 6= (A B) (A C))
4. AB (A B = B A A = B A = B = )
\ \
5. AB (A B = {A z | z B})
\
6. AB (( (A B) 6= ) (x (A = {x})))
1. es una funcin
2. f g ((f es funcin g es funcin Domf = Domg x((x
Domf ) (f (x) = g(x))) f = g)
44 CAPTULO 8. EJERCICIOS
3. f gA (((f g) A) = (f (g A)))
6. f gh ((f g) h = f (g h))
8.14. Funciones de A en B
Demostrad lo siguiente:
2. f ((f : A B A 6= ) ( (f es inyectiva ) (g (g : B
A g f = IA ))))
3. f ((f : A B A 6= ) ( (f es exhaustiva ) (g (g : B
A f g = IB ))))
8.15. Induccin
Resulvanse los siguients ejercicios sobre induccun:
(i) probar que la conjetura es vlida para el menor de los nmeros naturales n0 a
que hace referencia (en (a) n0 = 1,(b) y (c) n0 = 0, pero en (c) n0 = 2, en (d) es
n0 = 3 y en (e) es n0 = k), esta fase habr sido ya probada en las comprobaciones
para enunciar la conjetura; (ii) suponiendo que la conjetura es cierta para un
nmero natural arbitrario p n0 probar que tambin lo es para p + 1.
Bibliografa
49