Está en la página 1de 5

CONJUNTOS

Durante esta unidad pretendemos ayudarte a hacer una aproximacin inicial a la Teora de
Conjuntos, teniendo en cuenta que habr muchas oportunidades de ampliar estos conceptos a lo
largo del curso cuando el mismo as lo requiera. Lo que buscamos es determinar claramente cul es
la estructura sobre la que se articula esta teora, asegurando la coherencia lgica y encadenando los
conceptos relacionados.
Para el captulo de Conjuntos, el texto de referencia ser lgebra I, de A. Rojo, que figura
en la bibliografa del curso. Indudablemente encontrars muchos textos con este tema, pero es muy
probable que varen las formas de notacin de los conceptos: debes prestar mucha atencin por si
encuentras un buen material, pero expresado de diferente manera.
Te proponemos que en primer lugar leas este captulo de la gua, y luego realices las tareas
propuestas al final, recurriendo permanentemente a las definiciones de los conceptos requeridos.

1 Preliminares
1.1 Conceptos primitivos
Para poder edificar una teora, debemos establecer un punto de partida que sea
incuestionable, sustentado por el sentido comn y que refleje ciertos conceptos consensuados por la
comunidad a quien interesa este conocimiento. Estos conceptos no sern puestos en cuestin, y
sern el fundamento para elaborar los nuevos, y los llamamos conceptos primitivos.
En nuestro caso, consideramos tres conceptos primitivos: conjunto, elemento y pertenencia.
Para la notacin, utilizaremos (por lo general, aunque no siempre) letras maysculas para los
conjuntos, letras minsculas para los elementos, y el smbolo " " e para decir pertenece (o bien
" " e para decir no pertenece). De este modo, a B e se lee el elemento a pertenece al
conjunto B , y x R e se lee el elemento x no pertenece al conjunto R .
1.2 Formas de determinacin y representacin de un conjunto
Consideraremos que un conjunto est determinado, cuando es posible identificar
inequvocamente cules son los elementos que pertenecen a ese conjunto. Es decir, dado un
elemento cualquiera de un conjunto universal (que habitualmente se nota con la letra U ), el
conjunto estar bien determinado si es posible decidir si ese elemento le pertenece o no.
Es comn definir los conjuntos de dos maneras: por extensin y por comprensin.
Definir un conjunto por extensin implica nombrar todos y cada uno de los elementos que le
pertenecen. Como notacin, escribimos los elementos entre llaves y separados por comas. Por
ejemplo, { } , , , , A a e i o u = .
Definir un conjunto por comprensin implica dar una caracterstica que sea exclusiva de
todos sus elementos. Esta condicin ser verdadera para cada elemento del conjunto, y ser falsa
para cualquier elemento que no pertenezca al conjunto. Por ejemplo, { } | es una vocal A x x = .
Tambin, y sin miedo a perder la formalidad de la matemtica, podemos referirnos a un
conjunto utilizando cuidadosamente el lenguaje natural: A es el conjunto de las vocales.
Para representar un conjunto, tambin es usual aprovechar los diagramas de Venn-Euler. En
este caso:

1.3 Conjunto vaco
Llamaremos conjunto vaco a aqul que no tiene elementos, es decir, que no existe ningn
elemento que le pertenezca. Los simbolizamos { } C= .

1.4 I nclusin
Dados dos conjuntos A y B , decimos que A est incluido en B (lo notamos A B c

)
cuando todos los elementos de A pertenecen a B .
En smbolos: ( ), A B x x A x B c e e .
Hemos utilizado aqu una notacin simblica que ser esencial durante todo el curso: no es
simplemente un conjunto de abreviaturas, sino un sistema simblico con reglas de sintaxis propias.
En este caso, utilizamos una doble implicacin ( ), que habitualmente leemos si y slo si, y
expresa que las proposiciones que se encuentran a cada uno de sus lados son equivalentes. Tambin
aparece un cuantificador ( ) , que leemos para todo. Est expresin se puede leer como: A est
incluido en B si, y slo si, para todo elemento x que pertenezca a A, se cumple que tambin x
pertenece a B . Si deseas profundizar en aspectos de la notacin de la lgica simblica usada en la
matemtica, puedes leer el captulo de Introduccin a la lgica.
Volviendo a la inclusin de conjuntos, en este caso, es equivalente decir que A est incluido
en B , y decir que A es un subconjunto de B .
Cabe aclarar que la inclusin es una relacin entre dos conjuntos, no as la pertenencia que
vincula un elemento con un conjunto. Muchas veces un conjunto puede adoptar el rol de elemento,
de acuerdo a cmo se utilice. Por ejemplo, si tomamos { } { }
1, 2 , 3, 4 A= es correcto decir que 3 A e ,
o que { } 3, 4 A c , o que { } 1, 2 A e ; pero no es correcto decir que 3 A c , tampoco que { } 1, 2 A c .
Si un conjunto A no est incluido en B , lo anotamos A B . . En este caso, la negacin de
la relacin de inclusin ser: ( ), A B x x A x B . - e . e .
Utilizamos en esta notacin otro cuantificador ( ) - y la conjuncin lgica ( ) . ; la
proposicin expresada puede leerse: A no est incluido en B si, y slo si, existe un elemento x
que pertenece a A y no pertenece a B .
1.5 I gualdad
Decimos que dos conjuntos son iguales, cuando les pertenecen los mismos elementos.
Una definicin vlida puede ser la siguiente: A B A B B A = c . c . En especial, entender
la igualdad como una doble inclusin puede dar pistas concretas para ser utilizada como
herramienta a la hora de demostrar simblicamente la igualdad de dos conjuntos.

Varios autores utilizan la expresin A B para decir A est incluido en B


A a
e i o
u

1.6 Cardinal
El cardinal de un conjunto es la cantidad de elementos que le pertenecen. Por ejemplo, el
cardinal del conjunto { } , , , A a b c d = es 4, y lo anotamos # 4 A=
2 Operaciones y propiedades
2.1 Unin
Dados dos conjuntos A y B , llamamos unin de A y B al conjunto que anotamos
A B formado por todos elementos de A y de B .
{ } | A B x x A x B = e v e

Por ejemplo, si { } , , , A a b c d = y { } , , B c d e = , entonces { } , , , , A B a b c d e =
2.2 I nterseccin
Dados dos conjuntos A y B , llamamos interseccin de A y B al conjunto que anotamos
A B formado por los elementos de A que tambin son elementos de B .
{ } | A B x x A x B = e . e

Por ejemplo, si { } , , , A a b c d = y { } , , B c d e = , entonces { } , A B c d =
Decimos que dos conjuntos son disjuntos cuando no tienen elementos en comn, es decir,
y son disjuntos A B= A B C.
2.3 Diferencia
Dados dos conjuntos A y B , llamamos diferencia de A menos B al conjunto que
anotamos A B formado por los elementos de A que no pertenecen a B .
{ } | A B x x A x B = e . e

Por ejemplo, si { } , , , A a b c d = y { } , , B c d e = , entonces { } , A B a b = . Notemos que la
diferencia no es una operacin conmutativa, es decir, no necesariamente los conjuntos A B y
B A son iguales. En este ejemplo, { } B A e = .

A B
A B
A B
A B
A B
A B
A B
B A
2.4 Diferencia simtrica
Dados dos conjuntos A y B , llamamos diferencia simtrica de A menos B al conjunto
que anotamos A B A formado por los elementos que pertenecen a uno de los dos conjuntos, y no
pertenecen al otro.
{ } | ( ) ( ) A B x x A x B x B x A A = e . e v e . e

Por ejemplo, si { } , , , A a b c d = y { } , , B c d e = , entonces { } , , A B a b e A = .
2.5 Complemento
Dado un conjunto A, llamamos complemento de A al conjunto que anotamos ' A
formado por los elementos que no pertenecen a A.
{ } ' | A x x A = e
A
U
A

Vale aclarar que el complemente de un conjunto siempre depende del conjunto universal que
se tome como referencia. Si llamamos U a este conjunto universal, podemos decir que ' A A = U .
Por ejemplo, en el universo de los nmeros naturales , si consideramos
{ }
| 2 A x x = =


tendremos { } ' | es impar A x x = .
2.6 Propiedades
A continuacin enunciamos algunas propiedades sobre conjuntos, que pueden ser deducidas
de las definiciones ya conocidas.
Conmutativas: A B B A = ; A B B A =
Asociativas: ( ) ( ) A B C A B C = ; ( ) ( ) A B C A B C =
Distributivas: ( ) ( ) ( ) A B C A B A C = ; ( ) ( ) ( ) A B C A B A C =
Idempotentes: A A A = ; A A A =
Complementos: ( ) ' ' A A =
Leyes de De Morgan: ( )' ' ' A B A A = ; ( )' ' ' A B A B =
Neutros: A A C= ; A A = U
Simtricos: ' A A = U ; ' A A =C
Dominacin: A = U U; A C =C
Absorcin: ( ) A A B A = ; ( ) A A B A =
2.7 Conjunto de Partes
Dado un conjunto A, llamamos conjunto de partes de A

al conjunto que notamos ( ) A P


y cuyos elementos son todos los subconjuntos de A.

Tambin puede llamarse conjunto potencia de A .


A B
A B
Por ejemplo, si consideramos { } , , A a b c = , entonces
{ } { } { } { } { } { } { }
( ) , , , , , , , , , , A A a b a c b c a b c = C P
2.8 Par ordenado
Recordemos que en la determinacin de conjuntos no nos interesa el orden en que son
mencionados los elementos que lo componen, pero en ciertas ocasiones es necesario trabajar con
ciertos conjuntos discriminando sus elementos de acuerdo al orden.
Definiremos entonces par ordenado de esta manera: { } { }
( , ) , , a b a b a = .
De este modo, hemos utilizado un conjunto que tiene dos elementos, uno de ellos es a su vez
otro conjunto con dos elementos (las componentes del par), y el segundo elemento nos indica cul
de ellas es la primera componente.
Queda evidente entonces que los pares ordenados ( , ) a b y ( , ) b a son diferentes, puesto que
{ } { } { } { }
, , , , a b a a b b =
Extendiendo esta definicin a conjuntos de ms elementos, podemos definir una n-upla,
como un conjunto de n elementos que se han ordenado estrictamente.
2.9 Producto cartesiano
Dados dos conjuntos A y B , llamamos producto cartesiano de A por B (lo notamos
A B ) al conjunto de todos los pares ordenados formados por un elemento de A como primera
componente, y un elemento de B como segunda componente.
O sea, { } ( , ) | A B x y x A x B = e . e
Por ejemplo, si { } , , A a b c = y { } , B d e = , entonces
{ } ( , ), ( , ), ( , ), ( , ), ( , ), ( , ) A B a d a e b d b e c d c e =
Tambin podemos representarlo con un sistema de ejes, ubicando en el eje horizontal los
elementos de A y en el eje vertical los elementos de B .

( , ) ( , ) ( , )
( , ) ( , ) ( , )
a d b d c d
d
a e b e c e
e
a b c

B
A