Introduccion A La Teoria de Conjuntos

Introduccion a la Teora de Conjuntos
Algebra
Araceli Guzman y Guillermo Garro
Facultad de Ciencias
UNAM
Semestre 2018-1
doyouwantmektalwar.wordpress.com
Logica y conjuntos Algebra
Referencias basicas
1. Armando O. Rojo, Algebra, 1978. Bajar aqu.

2. Bravo, Rincon, Rincon, Algebra superior, 2006. Bajar aqu.
3. Carmen Gomez, Algebra superior, 2014. Bajar aqu.
4. Alvaro Perez Raposo, Logica, conjuntos, relaciones y funciones,
2010. Bajar aqu
5. Cardenas, Lluis, Raggi, Tomas, Algebra Superior, 1990. Bajar aqu.
6. Paul Halmos, Teora intuitiva de los conjuntos, 1965. Bajar aqu.
Otras referencias
1. M. OLeary, A first course in mathematical logic and set theory,

2016. Bajar aqu.
2. Willard Van Orman Quine, Mathematical Logic, 1981. Bajar aqu.
3. Fernando Hernandez, Teora de conjuntos, 2003. Bajar aqu.
Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Que es la Teora de Conjuntos?
La Teora de Conjuntos es un lenguaje. Sin ella, no solo es imposible hacer matematicas,

sino que ni siquiera podemos decir de que se trata esta. Es los mismo que intentar
estudiar literatura francesa sin saber algo de frances. Hewitt y Stromberg en su libro
Real and Abstract Analysis dicen: Desde el punto de vista de un logico, las matematicas
son la Teora de Conjuntos y sus consecuencias.
Fernando Hernandez, Teora de conjuntos.

Conjuntos
La palabra conjunto se usa como sinonimo de familia o coleccion de objetos. Usamos

las letras mayusculas A, B, C, X, Y , etc, para denotar conjuntos.
Los objetos que conforman un conjunto son llamados elementos, y escribimos x A

para denotar que el objeto x es un elemento (un miembro) del conjunto A, lo que
leemos como x pertenece a A.
Si x no es elemento del conjunto A, escribimos x / A, lo que leemos como x no

pertenece a A. Formalmente, definimos
/ con la sentencia:
x
/ A (x A).
Generalmente usamos llaves {, } para describir conjuntos, pues dentro de ellas suele
enlistarse los elementos que componen un conjunto, o bien, alguna propiedad distintiva
de sus elementos.

Conjuntos
La palabra conjunto se usa como sinonimo de familia o coleccion de objetos. Usamos

las letras mayusculas A, B, C, X, Y , etc, para denotar conjuntos.
Los objetos que conforman un conjunto son llamados elementos, y escribimos x A

para denotar que el objeto x es un elemento (un miembro) del conjunto A, lo que
leemos como x pertenece a A.
Si x no es elemento del conjunto A, escribimos x / A, lo que leemos como x no

pertenece a A. Formalmente, definimos
/ con la sentencia:
x
/ A (x A).
Generalmente usamos llaves {, } para describir conjuntos, pues dentro de ellas suele
enlistarse los elementos que componen un conjunto, o bien, alguna propiedad distintiva
de sus elementos.
Ejemplos
1) Si A = {2, 3, 4}, entonces 2 A, pero 5

/ A.
2) Si A = {2, 3, 4}, entonces 2 A pero {2}

/ A.
3) Si A = {R}, entonces R A, pero 2

/ A.

Un conjunto A puede estar integrado por aquellos objetos x que satisfacen una
propiedad p(x). En tal caso escribimos
A = {x : p(x)},
lo que leemos como A es igual al conjunto de todas las x tales que p(x) es
verdadero.

A = {x : p(x)},
verdadero.
Que es una propiedad?
Con animo de no entrar en demasiadas precisiones, seguiremos al Prof.

Fernando Hernandez (en su libro Teora de conjuntos) que al respecto dice:
Para nosotros, una propiedad es una proposicion tal que para cualquier
objeto es posible decidir, sin ambiguedad si dicho objeto la verifica. Si
un objeto x verifica la propiedad p(x) decimos que la propiedad es ver-
dadera; en caso contrario decimos que la propiedad es falsa. Cuando p(x)
es verdadera tambien decimos que el objeto x tiene la propiedad p(x).

A = {x : p(x)},
verdadero.
Ejemplos
1) Sobre la recta real R, el intervalo unitario cerrado es el conjunto
[0, 1] = {x R : 0 x 1}.

A = {x : p(x)},
verdadero.
Ejemplos
[0, 1] = {x R : 0 x 1}.

A = {x : p(x)},
verdadero.
Ejemplos
[0, 1] = {x R : 0 x 1}.
2) Sobre el plano R2 , la circunferencia unitaria es el conjunto
S 1 = {(x, y) R2 : x2 + y 2 = 1}.
Note que solo estamos tomando el crculo, no la bola completa.

A = {x : p(x)},
verdadero.
Ejemplos
[0, 1] = {x R : 0 x 1}.
S 1 = {(x, y) R2 : x2 + y 2 = 1}.

A = {x : p(x)},
verdadero.
Ejemplos
[0, 1] = {x R : 0 x 1}.
S 1 = {(x, y) R2 : x2 + y 2 = 1}.
3) Sobre el espacio R3 , la esfera unitaria es el conjunto
S 2 = {(x, y, z, ) R3 : x2 + y 2 + z 2 = 1}.
Note que solo estamos considerando la cascara, o sea, la superficie, mas no el solido.

A = {x : p(x)},
verdadero.
Ejemplos
[0, 1] = {x R : 0 x 1}.
S 1 = {(x, y) R2 : x2 + y 2 = 1}.
3) Sobre el espacio R3 , la esfera unitaria es el conjunto
S 2 = {(x, y, z, ) R3 : x2 + y 2 + z 2 = 1}.
Note que solo estamos considerando la cascara, o sea, la superficie, mas no el solido.

Contencion
Si A y B son conjuntos, decimos que A esta contenido en B, o que B contiene a A,
o que A es un subconjunto de B, lo que escribimos como A B, o en algunos casos
B A, si todo elemento de A es un elemento de B.
Rigurosamente definimos la relacion de contencion con la sentencia:
A B x(x A x B). (1)
El smbolo es un cuantificador logico, se lee para todo. Se llama cuatificador

universal. La formula (1) se lee
el conjunto A es subconjunto del conjunto B si y solo si, para todo x, si x esta en A

entonces x esta en B
Convenio notacional
Tambien podemos escribir (aunque con menos formalidad)
A B (x A) (x B) ,
lo cual se lee:
el conjunto A es un subconjunto del conjunto B si y solo si, para todo x que esa en
A, x esta en B

Contencion
Si A y B son conjuntos, decimos que A esta contenido en B, o que B contiene a A,
o que A es un subconjunto de B, lo que escribimos como A B, o en algunos casos
B A, si todo elemento de A es un elemento de B.
Una aclaracion
Rigurosamente definimos la relacion de contencion con la sentencia:
Cuando decimos que definimos la relacion de contencion con la sentencia:
A B x(x A x B). (1)
A B x(x A x B).
El smbolo es un cuantificador logico, se lee para todo. Se llama cuatificador
queremos
universal. decir que
La formula (1) admitimos
se lee que tal bicondicional es tautologico, es decir,
es V, sin importar quienes sean A y B.
el conjunto A es subconjunto del conjunto B si y solo si, para todo x, si x esta en A
Por lo tanto, el valor de verdad de A
entonces x B en
esta estaB
determinado por el valor de
verdad de la proposicion x(x A x B).
Convenio notacional
Probar que A B se cumple, equivale a porbar que x(x A x B)
se cumple.
A B para
Vale esta misma observacion (x A) (x analogas
definiciones B) , en lo sucesivo.
lo cual se lee:
el conjunto A es un subconjunto del conjunto B si y solo si, para todo x que esa en
A, x esta en B

Contencion
Ejemplos
1. La relacion tpica (a veces por construccion o a veces por definicion) entre conjuntos
de numeros:
N Z Q R C.
2. {1, 2} {1, 2, 3}. En este ejemplo es suficiente una inspeccion visual (como se
acostumbra decir en ejemplos triviales) para comprobar la validez de la contencion.
3. {x R : x < 1} {x R : x2 > 1}. La validez de esta desigualdad se sigue de

las propiedades de los numeros reales. Veamos:
Si x es un numero real tal que x < 1, entonces x > 1, y por lo tanto
x2 = (x)(x) > (1)(1) = 1.
Observe que 22 = 4 > 1, por lo que 2 {x R : x2 > 1} pero 2

/ {x R : x < 1}.

Contencion
Ejemplos
1. La relacion tpica (a veces por construccion o a veces por definicion) entre conjuntos
Como probar una contencion?
de numeros:
N Z Q R C.
En la practica, cuando queremos probar que un conjunto A esta contenido
en un conjunto B, generalmente procedemos as:
2. {1, 2} {1, 2, 3}. En este ejemplo es suficiente una inspeccion visual (como se
1. Se parte
acostumbra decir en un x Atriviales)
de ejemplos fijo peropara
arbitrariamente elegido.
comprobar la validez de la contencion.
3. {x 2.
R Se: prueba,
x < 1}a partir
{x deRla: condicion
x2 > 1}. x Lavalidez x
A, quede B. desigualdad se sigue de
esta
las propiedades de los numeros reales. Veamos:
Este metodo corresponde precisamente a corroborar la verdad (o validez)
Si x esdeunlanumero
proposicion
real tal que x < 1, entonces x > 1, y por lo tanto
x(x A x B).
x2 = (x)(x) > (1)(1) = 1.
Observe que 22 = 4 > 1, por lo que 2 {x R : x2 > 1} pero 2

/ {x R : x < 1}.

Contencion propia
Decimos que el conjunto A esta contenido propiamente en B (o que A es un subconjunto

propio de B), si A es un subconjunto de B pero no es igual. Esto es
A $ B (A B A 6= B)
O equivalentemente
A $ B A B (x(x
/ A x B))
Ejemplos
1. N $ Z $ Q $ R. En efecto,
1
1
/ N,
/ Z, 2
/Q
2

Negacion de la Contencion
Para decir que un conjunto no es un subconjunto de un conjunto B, escribimos A 6 B.
Mas precisamente, definimos
A 6 B (A B),
o en otras palabras,
A 6 B x(x A x
/ B) (2)
El smbolo es un cuantificador logico, se lee existe. Se llama cuantificador existen-
cial. De manera que la sentencia (2) se lee
el conjunto A no es un subconjunto del conjunto B si y solo si, existe algun x, tal

que x A y x / B
Convenio notacional
A 6 B (x B)(x
/ A),
lo cual se lee:
el conjunto A no esta contenido en B (o no es un subconjuto de B) si y solo si, para

algun x en B, x no esta en A.
Logica de Predicados
Antes de seguir vamos a estudiar brevemente algunas de la reglas que aplican para
la logica de predicados (propiedades) y los cuantificadores. Primero veamos algunos
ejemplos: Poner ejemplos de cuantificadores y propiedades. Ejemplos de como formar
propiedades con otras propiedades y los conectivos logicos

Principios de verdad para cuantificadores logicos

Principios de la Logica de Predicados
Admitiremos como axiomas los siguientes principios de la Logica de Predicados. (Nota:

vamos a omitir tener que estar diciendo que los condicionales o bicondicionales siguientes
son tautologas)
Particularizacion:
1. xp(x) xq(x).
Negacion (Leyes de De Morgan):
2. x p(x) x p(x)
3. x p(x) x p(x).
Ejemplos
ejemplitos


son tautologas).
Negacion (Leyes de De Morgan) cont.:
4. x[p(x) q(x)] x[p(x) q(x)]
5. x[p(x) q(x)] x[p(x) q(x)]
6. x[p(x) q(x)] x[p(x) q(x)]
7. x[p(x) q(x)] x[p(x) q(x)]
Ejemplos
Ejemlitos


son tautologas).
Leyes asociativas
8. x(p(x) q(x)) (x p(x) x q(x))
9. x(p(x) q(x)) (x p(x) x q(x)) .
Ejemplos
ejemplitos
No obstante


son tautologas)
Leyes del Reemplazo
10. x[p(x) q(x)] [x p(x) x q(x)]
11. x[p(x) q(x)] [x p(x) x q(x)]
12. x[p(x) q(x)] [xp(x) xq(x)]
13. [x p(x) x q(x)] x[p(x) q(x)]
Ejemplos
ejemplitos
No obstante


son tautologas)
Transitividad del bicondicional y el condicional

10. x (p(x) q(x)) (q(x) r(x)) x [p(x) r(x)]

11. x (p(x) q(x)) (q(x) r(x)) x [p(x) r(x)]
Ejemplos
ejemplitos

El axioma de extension
Un conjunto esta determinado por su extension. En otras palabras, dos conjuntos son
iguales si y solo si tienen los mismos elementos.

En smbolos, dados A y B conjuntos, definimos la relacion de igualdad:
A = B A B B A.

A = B A B B A.
Como probar que dos conjuntos son iguales?
En concordancia directa con esta defincion, para comprobar que dos con-
juntos A y B son iguales, equivale a comprobar simultaneamente la validez
de las contenciones
AB y B A.
Este es uno de los metodos tpicos para probar igualdades de conjuntos.

A = B A B B A.
Teorema
Dados A y B conjuntos,
A = B x(x A x B).

A = B A B B A.
Teorema
Dados A y B conjuntos,
A = B x(x A x B).
Demostracion.
A=B ABB A definicion de =
(x (x A x B)) (x (x B x A)) definicion de
x ((x A x B) (x B x A)) axiomas de los cuantificadores
x (x A x B) definicion de
Por transitividad A = B x (x A x B).

A = B A B B A.
Como probar que dos conjuntos son iguales?
Teorema
El teorema
Dados establece una forma directa de probar una igualdad entre dos
A y B conjuntos,
conjuntos: Para probar una igualdad de dos conjuntos A = B, bastara
comprobar que se cumple
A=B unbicondicional
x(x A dexlaforma
B).
xAxB
Demostracion.
para todo x (cualquier cosa que sea x).
A=B ABB A definicion de =
(x (x A x B)) (x (x B x A)) definicion de
x ((x A x B) (x B x A)) axiomas de los cuantificadores
x (x A x B) definicion de
Por transitividad A = B x (x A x B).

Propiedades de la contencion
Teorema : Propiedades de
La relacion de contencion tiene las siguientes propiedades:
1. Reflexiva: A A, para todo conjunto A.
2. Anti-simetrica: A B y B A entonces A = B.
3. Transitiva: Si A B y B C, entonces A C.
Demostracion.
1. Si A es un conjunto, entonces para todo x, la proposicion
xAxA
es siempre V. Por lo que la proposicion
x(x A x A)
es siempre V. Y en consecuencia A A es V.
2. Es inmediato por definicion.

Demostracion.
3.
(A B B C) x (x A x B) x (x B x C))
x ((x A x B) (x B x C))
x(x A x B)
A C.
Por transitividad
(A B B C) A C.

Demostracion.
3. Otra prueba de la tercera propiedad: La prueba de 3. anterior es logicamente
(simbolicamente) rigurosa, y podemos tambien explicarla del modo siguiente:
Si A, B y C son conjuntos tales A B y B C, entonces para todo x, los condicionales
xAxB y x B x C,
son siempre V, as que por transitividad de , el condiconal
x A x C,
es siempre V. Lo que prueba que A C es V.

Demostracion.
3. Una forma mas de probar la tercera propiedad: Mas comunmente, para probar
algunos de los teoremas de de la teora de conjuntos, se sigue un razonamiento como
el que sigue:
Si x A, entonces x B, porque A B. Pero como B C, se sigue que x C.

Luego A C.

Propiedades de la igualdad de conjuntos
Teorema
La igualdad de conjuntos tiene las siguientes propiedades: Sean A , B y C
conjuntos.
Reflexiva A = A.
Simetrica A = B B = A.
Transitiva A = B B = C A = C.
Demostracion.
Reflexiva: A A es siempre V para todo conjunto A. (Consecuencia de que

a A a A es siempre V).
Simetrica: Para cualesquieera conjuntos A yB,
A=B ABB AABB AB =A
Transitiva: Si A = B y B = C, entonces A B C y C B A, y
consecuentemente A C y C A, esto es, A = C.

Una nota antes de seguir
De aqu en adelante vamos a evitar, hasta donde sea posible, tener que estar diciendo
cuando los condicionales o bicondicionales, o contenciones e igualdades entre conjutos,
de una demostracion son tautologicos.

El Axioma del Conjunto Vaco
Generalmente aceptamos como axioma (o como consecuencia directa de otros axiomas)

que existe un conjunto que no tiene elementos, que llamamos (apropiadamente)
conjunto vaco, y denotamos como .
El conjunto vaco cumple entonces que, para todo x (cualquier cosa que sea x), x
/ .
Aunque este conjunto puede parecer extrano, podemos caracterizarlo simplemente como
= {x R : x2 < 0}.


/ .
= {x R : x2 < 0}.
Teorema
El conjunto vaco esta contenido en cualquier otro conjunto. Esto es, si A es un
conjunto, entonces A.


/ .
= {x R : x2 < 0}.
Teorema
Demostracion.
Si A es un conjunto tal que 6 A, entonces debera existir un x tal que x y x / A,

pero esto es en s contradictorio con la propiedad que define al conjunto vaco (que no
tiene elementos).


/ .
= {x R : x2 < 0}.
Teorema
Demostracion de otra forma.
Para toda x, el condicional (x ) (x A) es V por ser el antecedente F. Por lo

tanto, x[(x ) (x A)] es V. Esto es, A es V.

Corolario
El conjunto vaco es unico.

Corolario
Demostracion.
Si 0 es otro conjunto con la propiedad de que para todo x, x / 0 , entonces cumple

tambien con la propiedad expuesta en el teorema anterior, es decir, estara contenido en
cualquier otro conjunto, en particular
0 ,
y dado que tambien se cumple

0 ,
se sigue
= 0 .

Corolario
Demostracion.
Si 0 es otro conjunto con la propiedad de que para todo x, x / 0 , entonces cumple

tambien con la propiedad expuesta en el teorema anterior, es decir, estara contenido en
cualquier otro conjunto, en particular
0 ,
y dado que tambien se cumple

0 ,
se sigue
= 0 .
Ejemplo
{} {{}} .

Algebra de Conjuntos
Las operaciones basicas entre conjuntos son las siguientes:
La union de los conjuntos A y B es el conjunto
A B = {x : x A o x B}.
La interseccion de los conjuntos A y B es el conjunto
A B = {x : x A y x B}.
En particular, si A B = decimos que A y B son disjuntos o ajenos.
La diferencia de los conjuntos A y B es el conjunto
A\B = {x : x A y x
/ B}.

Algebra de Conjuntos
Las operaciones basicas entre conjuntos son las siguientes:
La union de los conjuntos A y B es el conjunto
A B = {x : x A o x B}.
Observacion:
La interseccion de los conjuntos A y B es el conjunto
Asumiremos
A B =como{x : xverdaderas en todo
A y x B}.
caso las siguientes sentencias
En particular, si A B = decimos que A y B son disjuntos o ajenos.
xAB xAxB
La diferencia de los conjuntosx A
AyBB es
el conjunto
xAxB
x A\B x A x /B
A\B = {x : x A y x
/ B}.

Diferencia simetrica
La diferencia simetrica de los conjuntos A y B es el conjunto
A4B = {x : x A Y x B}.
Pero recordemos (ver tarea) que
(x A) Y (x B) (x A x
/ B) (x B x
/ A).
De donde es inmediato que
A4B = (A\B) (B\A).

Diferencia simetrica
La diferencia simetrica de los conjuntos A y B es el conjunto
A4B = {x : x A Y x B}.
Pero recordemos (ver tarea) que
(x A) Y (x B) (x A x
/ B) (x B x
/ A).
Observacion:
De donde es inmediato que
Admitiremos como
A4Bverdadera
= (A\B)en todo caso la siguiente
(B\A).
sentencia:
x A4B (x A x
/ B) (x B x
/ A)

El complemento
Algunas veces se considera un conjunto universal, digamos U , como un conjunto

tal que todos los demas conjuntos que nos interesan estan contenidos en este, aunque
generalmente no se menciona de forma explcita. En tal caso, si A es un subconjunto
de U , definimos el complemento de A como el conjunto
Ac = U \A.
Se cumple entonces que para cualesquiera conjuntos A y B contenidos en U ,
A B c = A\B.

El complemento
Algunas veces se considera un conjunto universal, digamos U , como un conjunto

tal que todos los demas conjuntos que nos interesan estan contenidos en este, aunque
generalmente no se menciona de forma explcita. En tal caso, si A es un subconjunto
de U , definimos el complemento de A como el conjunto
Ac = U \A.
Observacion:
Se cumple entonces que para cualesquiera conjuntos A y B contenidos en U ,
Si conocemos el universo U , sin ser expltico, entonces
A B c = A\B.
podemos escribir simplemente
x Ac x
/A

Ejemplo
Sea U el conjunto de los numeros dgitos, i.e.
U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9},
y sean
A = {1, 2, 3, 5, 6, 9} y B = {0, 2, 4, 6, 8}
subconjuntos de U . Entonces
A B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} = U
A B = {2, 6}
A\B = {1, 3, 5, 9}
B\A = {0, 4, 8}
A4B = {0, 1, 3, 4, 5, 8, 9}
Ac = {0, 4, 7, 8}
B c = {1, 3, 5, 7, 9}

Por que es paradojico el conjunto de todos los conjuntos?
Generalmente, un conjunto de todos los conjuntos no es admitido en una teora de

conjuntos que hable unicamente de conjuntos.
Es decir, si los objetos de una teora de conjuntos son solo conjuntos, entonces aquella
coleccion que reune a todos los conjuntos, no es un conjunto.
Aunque en realidad, ello depende de los axiomas que estemos suponiendo para una
teora de conjuntos.
Hay modelos aximomaticos que admiten un conjunto universal.
Y hay otras teoras de conjuntos que admiten otros objetos mas que conjuntos, y en tal
caso hablamos de la clase de todos los conjuntos.

Pero, en donde radica la controversia?
En realidad el conjunto de todos los conjuntos no es el principal problema, como se

usualmente se piensa. Mas bien resulta excluido como una consecuencia necesaria de
expulsar otro tipo de conjuntos que s resultan paradojicos.
Estas paradojas son resultado de la vision intuitiva de un conjunto, como coleccion

arbitraria de objetos. Vision que resulta demasado amplia para caracterizarse rigurosa-
mente.
Pensemos por ejemplo en el conjunto
B = {C : C
/ C}.
Es decir, B reune todos aquellos conjuntos que no se pertenecen a s mismos.
En la vision intuitiva, el conjunto B se forma arbitrariamente de aquellos otros conjuntos

que cumplen la propiedad
P (C) : C
/ C.

Pero cabe preguntarse que tipo de conjunto es B, de los que se pertenecen a s mismos,
o de los que no. En otras palabras
B B o B
/ B?
Veamos que esta pregunta no tiene respuesta!
Si sucede que B B, entonces por definicion B

/ B. Contradiccion.
Si sucede que B
/ B, entonces por negacion de la definicion de B mismo, B B.
Contradiccion.
As que B B y B
/ B son ambas verdaderas en contra del principio de no con-
tradiccion.

Resulta as que no cualquier propiedad p(x) arbitraria puede usarse para formar un
conjunto.
Esta observacion nos lleva a preguntar que propiedades s definen conjuntos? Desafor-
tunadamente no hay manera de conocer esto, y algunos resultados de logica, especial-
mente el llamdo teorema de incompletitud de Godel, indican que una respuesta plena
es imposible. Fernando Hernandez, Teora de conjuntos.
Axioma de Separacion (Esquema de Comprension)
Una solucion es limitar la amplitud de la idea intuitiva de conjunto: Para formar un

conjunto a partir de una propiedad p(x), no vamos a considerar todos aquellos x que
cumplen p(x), sino solo aquellos x que, de hecho, ya pertenecen a otro conjunto y que
cumplen p(x). Mas especficamente: Si A es un conjunto y p(x) es una propiedad,
entonces admitimos que
B = {x : x A p(x)} preferimos escribir B = {x A : p(x)}
es un conjunto, en lugar de admitir
{x : p(x)}.

De esta forma, el conjunto
B = {C : C A C
/ C}
no es paradojico.
En efecto, ello se sigue de que la proposicion
[(B
/ B) (B
/ A B B)] [(B
/ B) (B
/ A)]
es Verdadera.

Teora formal de conjuntos
Antes de seguir, se hace necesario aclarar que, formalmente, un conjunto es concepto

primitivo, es decir es un concepto no definido. Ello es as porque intentar definirlo
nos llevara a razonamientos circulares del tipo que uno encuentra cuando recurre a un
diccionario para definir aalguno concepto, por ejemplo, segun el diccionario de la RAE,
conjnto es...
Conjunto: Agregado de varias cosas o personas / Totalidad de los elementos o cosas

poseedores de una propiedad comn, que los distingue de otros.
Y si ahora buscamos que es agregado y totalidad encontramos
Agregado: Conjunto de cosas homogneas que se consideran formando un cuerpo //

Totalidad: Conjunto de todas las cosas o personas que forman una clase o especie
Primitivo tambien es la unica relacion no definida entre conjuntos, denotada con la letra
griega , e interpretada coloquialmente como pertenencia.
El algebra de conjuntos es un ejemplo eminente de logica aplicada a la teora de ciertos

objetos, los conjuntos. Veremos en lo que sigue como en practicamente cada uno
de los resultados del algebra de conjuntos, subyace un resultado analogo de la logia
proposicional.

Teorema
Para todo conjunto A,
A\A = .
Demostracion.
Por la ley de no contradiccion, la proposicion x(x A\A) es falsa. En efecto, para

toda x,
x A\A (x A) (x
/ A)
(x A) (x A),
y (x A) (x A) es absurdo (es F). Por lo tanto @x(x A\A) es verdadera. As

que A\A no tiene elementos. Pero el unico conjunto que no tiene elementos es el vaco,
en consecuencia, A\A = .

Teorema
A\ = A y \A = .
Demostracion.
Para todo x, x es F y x
/ es V.
Luego, para toda x,
x A (x A) (x
/ ) x A\.
Por transitividad x A x . Lo que prueba que A\ = A.
Por otra parte, para toda x,
x \A x x
/ A x ,
Por transitividad x \A x . Lo que prueba \A = .

Teorema : Idempotencia
A A = A = A A.
Demostracion.
Para todo x,
xAAxAxA definicion de
xA idempotencia: p p p
xAxA idempotencia: p p p
xAA definicion de .
Luego, por transitividad, para todo x.
xAAxA y x A A x A.
Lo que prueba que

AA=A y AA=A

Teorema : Conmutatividad de y
Sean A y B conjuntos. Entonces
AB =BA y A B = B A.
Demostracion.
Para todo x,
xAB xAxB definicion de
xBxA conmutatividad: p q q p
xBA definicion de .
Por transitividad,
xAB xBA
Lo que prueba que A B = B A.

Teorema
A B A A B.
Demostracion.
Para toda x,
xAB xAxB definicion de
xA simplificacion: p q p
xAxB adicion: p p q
xAB definicion de .
Por transitividad,
xAB xA y x A x A B.
Lo que prueba que A B A y A A B.

Teorema
Sean A y B conjuntos. Entonces A B si y solo si A B = A.
Demostracion.
[] Hipotesis: A B. Por demostrar: A B = A.
Que significa la hipotesis? Recordemos que
A B x A(x B).
De modo que asumiremos que el condiconal siguiente es verdadero para toda x:
x A x B.
Luego, para toda x,

xAxAxA
xAxB
x A B.
Por transitividad x A x A B. Lo que prueba que A A B. Pero ya sabemos

que A B A. Luego A = A B.

Teorema
Sean A y B conjuntos. Entonces A B si y solo si A B = B.

Conjuntos Algebra
Teorema : Asociatividad de y
Sean A, B y C conjuntos. Entonces
A (B C) = (A B) C
A (B C) = (A B) C
Demostracion.
Para todo x,
x A (B C) x A x (B C) definicion de
x A (x B x C) definicion de
(x A x B) x C asoc.: (p q) r p (q r)
(x A B) x C definicion de
x (A B) C definicion de .
Por transitividad,
x A (B C) x (A B) C.
Lo que prueba la igualdad
A (B C) = (A B) C.

Conjuntos Algebra
A (B C) = (A B) C
Convenio: A (B
Eliminacion de parentesis
C) = (A B) C
Para tres conjuntos A, B y C, definimos

Demostracion.
A B C = (A B) C
Para todo x,
A B C = (A B) C.
x A (B C) x A x (B C) definicion de
En general, para una coleccion finita de conjuntos A1 , A2 , ..., An , definimos
recursivamente
(x A x B) x C asoc.: (p q) r p (q r)
A1 A2 (x
A ((A
nA=(B) x 1CA2 ) A3)definicion
de An1
) An
A1 A2
x
An ((A
(A=(B) C1 A2 ) A3)definicion
de . ) An
An1
Por transitividad,
A (B C) = (A B) C.

Conjuntos Algebra
A (B C) = (A B) C
A (B C) = (A B) C
Convenio
Demostracion.
Otra notacion para uniones e intersecciones finitas
Para todo x,
n
[
x A (B C) x A Axi A1C)
= (B A2 A n
definicion de
i=1
x An (x B x C) definicion de
\
(x A Aix=AB)
1Ax 2C Aasoc.:
n (p q) r p (q r)
(x i=1
A B) x C definicion de
Por transitividad,
A (B C) = (A B) C.

Conjuntos Algebra
A (B C) = (A B) C
A (B C) = (A B) C
Uniones e intersecciones numerables

Demostracion.
Si para cada i 1, Ai es un conjunto, definimos
Para todo x,
[
x A (B C) x A x A =
i(B A2 definicion de
A1C)
i=1
\
(x A xAi B)
= A1 xAC
2 asoc.: (p q) r p (q r)
(x Ai=1
B) x C definicion de
Por transitividad,
A (B C) = (A B) C.

Conjuntos Algebra
A (B C) = (A B) C
A (B C) = (A B) C
Uniones e intersecciones numerables

Demostracion.
Con mas precision: Si Ai , i 1, son conjuntos, definimos
Para todo x,

[
x A (B C) x A xA (B{x
i = i(x Ai)}definicion de
:C)
i=1
\
(x A A
x i=B)
{x: xi(x
C Ai)}asoc.: (p q) r p (q r)
i=1
(x A B) x C definicion de
Por transitividad,
A (B C) = (A B) C.

Teorema : es neutro para y nulo para

A=A y A=
Demostracion.
Para toda x, x es F, por lo que se cumple
xAxAx
x A .
Lo que prueba que A = A.
Por otra parte,

A .
De donde A = .

Teorema : Leyes distributivas

A (B C) = (A B) (A C) y A (B C) = (A B) (A C).
Demostracion.
Para toda x,
x A (B C) x A x B C definicion de
(x A x B) (x A x C) dist.: p (q r) (p q) (p r)
xABxAC definicion de
x (A B) (A C) definicion de .
Por transitividad,
x A (B C) x (A B) (A C).


Leyes distributivas por la derecha

Demostracion.
Lo que probamos son leyes distributivas por la izquierda. No obstante,
Para toda x,
se sigue de inmediato, por conmutatividad, las leyes distributivas por la
derecha:

(AxB)
AC C
(x = B (A
x C)
B) definicion
conm.de de
(x A x =
(C
B) A) (C
(x A xB)
C) dist.: p izq.
dist. (q r) (p q) (p r)
xAB=
x(AAC)
C (B C) definicion
conm.de de.
Por transitividad,
x A (B C) x (A B) (A C).


Demostracion.
Para toda
Perox,no dejemos de observar que...
... las leyes distributivas respecto a y son consecuencia directa de las
leyes distributivas de los conectivos y :
(x A x B) (x A x C) dist.: p (q r) (p q) (p r)
xABxAC definicion de
Por transitividad,
x A (B C) x (A B) (A C).

Teorema : Leyes de De Morgan

A\(B C) = (A\B) (A\C) y A\(B C) = (A\B) (A\B).


Demostracion.
Para toda x,
x A\(B C) x A x
/ BC definicion de \


Demostracion.
Para toda x,
x A\(B C) x A x
xAx
/ Bx
/C x
/ BC x
/ Bx
/ C


Demostracion.
Mas de cerca:
Para toda x,
x A\(B
x/B C)
Cx (x
A B
x BC
/ C) definicionde
definicion
/ de \
x (x
A B
x/x
B C)
x/C definicionde
x
/ BC x
/ Bx
/ C
(x B) (x C) De Morgan: (p q) p q
x
/ Bx
/C definicion de .


Demostracion.
Para toda x,
x A\(B C) x A x
xAx
/ Bx
/C x
/ BC x
/ Bx
/ C
xAxAx
/ Bx
/C pq ppq


Demostracion.
Para toda x,
x A\(B C) x A x
xAx
/ Bx
/C x
/ BC x
/ Bx
/ C
xAxAx
/ Bx
/C pq ppq
xAx
/ BxAx
/C conm.: p q q p


Demostracion.
Para toda x,
x A\(B C) x A x
xAx
/ Bx
/C x
/ BC x
/ Bx
/ C
xAxAx
/ Bx
/C pq ppq
xAx
/ BxAx
/C conm.: p q q p
x A\B x A\C definicion de \ (y asoc.)


Demostracion.
Para toda x,
x A\(B C) x A x
xAx
/ Bx
/C x
/ BC x
/ Bx
/ C
xAxAx
/ Bx
/C pq ppq
xAx
/ BxAx
/C conm.: p q q p
x (A\B) (A\C) definicion de .


Demostracion.
Para toda x,
x A\(B C) x A x
xAx
/ Bx
/C x
/ BC x
/ Bx
/ C
xAxAx
/ Bx
/C pq ppq
xAx
/ BxAx
/C conm.: p q q p
Por transitividad,
x A\(B C) x (A\B) (A\C).
A\(B C) = (A\B) (A\C).


Demostracion.
Para toda x, Otra forma tpica de las Leyes de De Morgan:
x A\(B Si
C)Ay xBson
A subconjuntos
x/ B C de un universo U
definicion
, entoncesde \
xAx / Bx /C x / BC x / Bx
/ C
(A B)c = Ac B c
xAxAx / Bx / C pq ppq
(A B)c = Ac B c
xAx / BxAx / C conm.: p q q p
Por transitividad,
x A\(B C) x (A\B) (A\C).
A\(B C) = (A\B) (A\C).

Algunas propiedades casi inmediatas
Corolario
A\B = A\(A B).
Demostracion.
A\(A B) = (A\A) (A\B) De Morgan
= (A\B) A\A =
= A\B es neutro para .

Teorema : \ se distribuye sobre por la derecha

(A B)\C = (A\C) (B\C).
Demostracion.
Para toda x,
x (A B)\C x A B x
/C definicion de \
(x A x B) x
/C definicion de
(x A x
/ C) (x B x
/ C) dist.: (p q) r (p r) (q r)
x A\C x B\C definicion de \
x (A\C) (B\C) definicion de .
Por transitividad
x (A B)\C x (A\C) (B\C).
Lo que prueba
(A B)\C = (A\C) (B\C).

Teorema : \ se distribuye sobre por la derecha

(A B)\C = (A\C) (B\C).
Otra demostracion.
Asumiendo que A, B y C son subconjuntos de un universo U ,
(A B)\C = (A B) C c A(A\B = A B )
c
c c
= (A C ) (B C ) dist.
c
= (A\C) (B\C) A(A\B = A B ).

Corolario
A\B = (A B)\B.
Demostracion.
(A B)\B = (A\B) (B\B) \ se distribuye sobre por la derecha
= (A\B) B\B =
= A\B es neutro para .

Corolario
A4B = (A B)\(A B).
Demostracion.
A4B = (A\B) (B\A) definicion de 4

= A\(A B) B\(A B) A\B = A\(A B) y B\A = B\(A B)
= (A B)\(A B) \ se distribuye sobre por la derecha.

Corolario
A4B = (A B)\(A B).
Demostracion.
Otra prueba:
Desde luego, esta igualdad es consecuencia directa de la tautologa

(ver tarea)
A4B = (A\B) (B\A) definicion de 4
A Y x B) [(x A x B) (x A x B)]
= (x
A\(A B) B\(A B) A\B = A\(A B) y B\A = B\(A B)
= (A B)\(A B) \ se distribuye sobre por la derecha.

Teorema
(A B)\C = A (B\C) = (A\C) (B\C).
Demostracion.
Para la primera igualdad:
Para toda x,
x (A B)\C x A B x
/C definicion de \
xAxBx
/C definicion de
x A x B\C definicion de \ (y asoc.)
x A (B\C) definicion de .
Por transitividad,
x (A B)\C x A (B\C).
(A B)\C = A (B\C).

Teorema
(A B)\C = A (B\C) = (A\C) (B\C).
Demostracion.
Para la segunda igualdad:
Para toda x,
x (A B)\C x A B x
/C definicion de \
xAxBx
/C definicion de
xAxBx
/ Cx
/C pq ppq
xAx
/ CxBx
/C conm.: p q q p
x A\C x B\C definicion de \ (y asoc.)
x (A\C) (B\C) definicion de .
Por transitividad,
x (A B)\C x (A\C) (B\C).
Lo que prueba
A (B\C) = (A\C) (B\C).

Una particion frecuente
Teorema
A = (A B) (A\B)
prueba con dibujitos.

Teorema
A = (A B) (A\B)
prueba con notacion de complementos.

Teorema
A = (A B) (A\B)
prueba usando ley de no contradiccion

Otra particion tpica
Teorema
A = (A B)\(B\A)
prueba usando dibujitos

Teorema
A = (A B)\(B\A)
prueba usando notacion complementaria

Teorema
A = (A B)\(B\A)
prueba ley del tercero excluido

Un ultimo hecho importante
Teorema : se distribuye sobre 4

A (B4C) = (A B)4(A C).
Demostracion con dibujitos.


A (B4C) = (A B)4(A C).
Demostracion.

A (B4C) = A (B\C) (C\B) definicion de 4

= A (B\C) A (C\B) se distribuye sobre

= (A B)\C (A C)\B Teorema anterior

= (A B)\(A B C) (A C)\(A B C) A, B(A\B = A\(A B))

= (A B) (A C) \(A B C) \ se distribuye sobre por la der.

= (A B) (A C) \ (A C) (B C) (A C) (B C) = A B C
= (A B)4(A C) definicion de 4.


A (B4C) = (A B)4(A C).
se distribuye sobre 4 por la derecha

Demostracion.
Lo que probamos es que se distribuye sobre 4 por la izquierda. No obstante,
se sigue de inmediato, por conmutatividad, que tambien lo hace por la derecha:

A (B4C) =(A4B)
A (B\C)
C =C(C\B)
(A4B) conm. de
definicion de 4

= A (B\C)= A (C\B)
(C A)4(C B) se
se distribuye sobre 4 pordistribuye sobre
la izquierda

= (A B)\C= (A(A C)\B C)
C)4(B conm. de . Teorema anterior





A (B4C) = (A B)4(A C).
Otra prueba:
Demostracion.
Nuevamente, esta ley conjuntista tambien proviene de una ley de la logica

proposicional
(ver tarea):
A (B4C) = A (B\C) (C\B) definicion de 4
= A (B\C) Ap(C\B)(q Y r) (p q) Y (p r)

se distribuye sobre
(p Y q) r (p r) Y (q r)
= (A B)\C (A C)\B Teorema anterior




Algunas frases bonitas de Paul Halmos

Los matematicos estan de acuerdo en que cada uno de ellos debe saber algo
de teora de conjuntos; el desacuerdo comienza al tratar que tanto es algo.

Es un hecho en matematicas que un teorema es menos profundo cuando mas

generalmente se aplica.


La tarea del estudiante al aprender teora de conjuntos es la de empaparse en

generalidades poco familiares, pero esencialmente superficiales, hasta que se
acostumbre tanto a ellas que pueda usarlas casi sin esfuerzo consciente.


La tarea del estudiante al aprender teora de conjuntos es la de empaparse en

generalidades poco familiares, pero esencialmente superficiales, hasta que se
acostumbre tanto a ellas que pueda usarlas casi sin esfuerzo consciente.
En otras palabras, la teora general de los conjuntos en realidad es un material

bastante trivial, pero, si usted quiere ser un matematico, necesita algo de esta
teora, y aqu esta; leala, absorbala y olvdela.

Introduccion A La Teoria de Conjuntos

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Introduccion A La Teoria de Conjuntos

Diunggah oleh

Hak Cipta:

Format Tersedia

Introduccion a la Teora de Conjuntos

Araceli Guzman y Guillermo Garro

1. Armando O. Rojo, Algebra, 1978. Bajar aqu.

1. M. OLeary, A first course in mathematical logic and set theory,

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Que es la Teora de Conjuntos?

La Teora de Conjuntos es un lenguaje. Sin ella, no solo es imposible hacer matematicas,

Fernando Hernandez, Teora de conjuntos.

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

La palabra conjunto se usa como sinonimo de familia o coleccion de objetos. Usamos

Los objetos que conforman un conjunto son llamados elementos, y escribimos x A

Si x no es elemento del conjunto A, escribimos x / A, lo que leemos como x no

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

La palabra conjunto se usa como sinonimo de familia o coleccion de objetos. Usamos

Los objetos que conforman un conjunto son llamados elementos, y escribimos x A

Si x no es elemento del conjunto A, escribimos x / A, lo que leemos como x no

1) Si A = {2, 3, 4}, entonces 2 A, pero 5

2) Si A = {2, 3, 4}, entonces 2 A pero {2}

3) Si A = {R}, entonces R A, pero 2

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Con animo de no entrar en demasiadas precisiones, seguiremos al Prof.

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

1) Sobre la recta real R, el intervalo unitario cerrado es el conjunto

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

1) Sobre la recta real R, el intervalo unitario cerrado es el conjunto

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

1) Sobre la recta real R, el intervalo unitario cerrado es el conjunto

2) Sobre el plano R2 , la circunferencia unitaria es el conjunto

Note que solo estamos tomando el crculo, no la bola completa.

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

1) Sobre la recta real R, el intervalo unitario cerrado es el conjunto

2) Sobre el plano R2 , la circunferencia unitaria es el conjunto

Note que solo estamos tomando el crculo, no la bola completa.

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

1) Sobre la recta real R, el intervalo unitario cerrado es el conjunto

2) Sobre el plano R2 , la circunferencia unitaria es el conjunto

Note que solo estamos tomando el crculo, no la bola completa.

3) Sobre el espacio R3 , la esfera unitaria es el conjunto

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

1) Sobre la recta real R, el intervalo unitario cerrado es el conjunto

2) Sobre el plano R2 , la circunferencia unitaria es el conjunto

Note que solo estamos tomando el crculo, no la bola completa.

3) Sobre el espacio R3 , la esfera unitaria es el conjunto

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Rigurosamente definimos la relacion de contencion con la sentencia:

A B x(x A x B). (1)

El smbolo es un cuantificador logico, se lee para todo. Se llama cuatificador

el conjunto A es subconjunto del conjunto B si y solo si, para todo x, si x esta en A

Tambien podemos escribir (aunque con menos formalidad)

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

3. {x R : x < 1} {x R : x2 > 1}. La validez de esta desigualdad se sigue de

Si x es un numero real tal que x < 1, entonces x > 1, y por lo tanto

x2 = (x)(x) > (1)(1) = 1.

Observe que 22 = 4 > 1, por lo que 2 {x R : x2 > 1} pero 2

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Observe que 22 = 4 > 1, por lo que 2 {x R : x2 > 1} pero 2

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Decimos que el conjunto A esta contenido propiamente en B (o que A es un subconjunto

Araceli Guzman y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Para decir que un conjunto no es un subconjunto de un conjunto B, escribimos A 6 B.

Mas precisamente, definimos