1 Matemticas Discretas

CONJUNTOS

La palabra conjunto generalmente la asociamos con la idea de agrupar objetos, por ejemplo un
conjunto de discos, de libros, de plantas de cultivo y en otras ocasiones en palabras como hato,
rebao, piara, parcelas, campesinado, familia, etc., es decir la palabra conjunto denota una coleccin
de elementos claramente entre s, que guardan alguna caracterstica en comn. Ya sean nmeros,
personas, figuras, ideas y conceptos.
En matemticas el concepto de conjunto es considerado primitivo y ni se da una definicin de este,
sino que se trabaja con la notacin de coleccin y agrupamiento de objetos, lo mismo puede decirse
que se consideren primitivas las ideas de elemento y pertenencia.
La caracterstica esencial de un conjunto es la de estar bien definido, es decir que dado un objeto
particular, determinar si este pertenece o no al conjunto. Por ejemplo si se considera el conjunto de los
nmeros dgitos, sabemos que el 3 pertenece al conjunto, pero el 19 no. Por otro lado el conjunto de
las bellas obras musicales no es un conjunto bien definido, puesto que diferentes personas puedan
incluir distintas obras en el conjunto.
Ejemplos:
Los meses del ao,
los alumnos de un colegio,
los nmeros impares,
los das de la semana,
los meses del ao, etc.,
siendo cada mes del ao, cada alumno del colegio, cada nmero impar, cada da de la semana, cada
mes del ao, respectivamente, elementos de cada uno de los correspondientes conjuntos.
Los conjuntos se denotan por letras maysculas : A, B, C,... por ejemplo:
A={ a, c, b }
B={ primavera, verano, otoo, invierno }
C={ 1, 3, 5, 7, 9, }
En teora de conjuntos se acostumbra no repetir a los elementos por ejemplo:
El conjunto { b, b, b, d, d } simplemente ser { b, d }.
Elementos
Los objetos que forman un conjunto son llamados miembros o elementos. Por ejemplo el conjunto
de las letras del alfabeto; a, b, c, ..., x, y, z son los elementos del conjunto mencionado y que se puede
escribir as:
{a, b, c, ..., x, y, z},
como se muestra el conjunto se escribe entre llaves {}, o separados por comas ,.

Conjuntos


2 Matemticas Discretas
Formas de determinar un conjunto
Un conjunto puede determinarse de cuatro formas:
- Por extensin: escribiendo dentro de una llave los nombres de los elementos del conjunto.
- Por comprensin: escribiendo dentro de una llave una propiedad caracterstica de los elementos
del conjunto y solamente de ellos.
- Diagramas de Venn: son regiones cerradas que sirven para visualizar el contenido de un
conjunto o las relaciones entre conjuntos.
- Por descripcin verbal: Es un enunciado que describe la caracterstica que es comn para los
elementos.
Ejemplo: Dada la descripcin verbal: el conjunto de las letras vocales expresarlo por extensin,
comprensin y por diagrama de Venn:
Por extensin:
{a, e, i, o, u}
Por comprensin:
{x/x es una vocal}, que se lee: conjunto de elementos x tales que x es una vocal.
Por Diagrama de Venn:




Ejemplo: Dada la descripcin verbal: el conjunto dedos de la mano expresarlo por extensin,
comprensin y por diagrama de Venn:
Por extensin:
{Pulgar, ndice, Mayor, Anular, Meique}
Por comprensin:
{x/x es dedo de la mano}, que se lee: conjunto de elementos x tales que x es un dedo de la mano.
Por Diagrama de Venn:




Pertenencia
Es la relacin que existe entre un elemento y un conjunto, as, un elemento pertenece o es miembro
de un conjunto, y se representa de esta forma.
<elemento> e <conjunto>
Ejemplo: Sea B = {Pulgar, Indice, Mayor, Anular, Meique}
Por lo tanto: Anular e B
Conjuntos


3 Matemticas Discretas
Cuando un elemento no est en el conjunto dicho elemento no pertenece al conjunto, y se representa
de la siguiente manera:
<elemento> e <conjunto>
Ejemplo: Sea C = {enero, febrero, marzo, abril, mayo, junio, julio, agosto, septiembre, octubre, noviembre,
diciembre}
Por lo tanto: Meique e C
Nmero cardinal
Los conjuntos pueden ser finitos o infinitos. En el caso de un conjunto finito podemos contar los
elementos del conjunto: El nmero de elementos de un conjunto finito es su cardinal
El nmero cardinal se denota por |A|, card(A) o #A. As, dado el conjunto A = {w, x, y, z}, se tiene que
|A| = 4 (cuatro nmeros). El nico conjunto cuyo cardinal es 0 es el conjunto vaco .
En un conjunto infinito no hay un nmero finito de elementos. Es el caso por ejemplo de los nmeros
naturales: N = {1, 2, 3, ...}. Sin embargo, los conjuntos infinitos pueden compararse, y resulta que
existen conjuntos infinitos ms grandes que otros. El nmero de elementos de un conjunto infinito
es un nmero transfinito.

TIPOS DE CONJUNTOS

Conjunto Finito
Se denomina as al conjunto al cual podemos nombrar su ltimo elemento.
Ejemplo: M = { x | x es mes del ao }
Porque sabemos que el ltimo elemento del conjunto es Diciembre.
Conjunto Infinito
Se denomina as al conjunto al cual no podemos nombrar su ltimo elemento.
Ejemplo: M = {x | x es nmero natural}
Porque no sabemos cul es el ltimo nmero natural del conjunto M.
Conjunto universo o universal
Se denomina as al conjunto formado por todos los elementos del tema de referencia.
Ejemplo: U={x | x es un animal}
A={x | x es un mamfero}
B={x | x es un reptil}
Conjuntos


4 Matemticas Discretas
Subconjunto
Un conjunto B es subconjunto de un conjunto A si B "est contenido" dentro de A. Recprocamente,
se dice que el conjunto A es un superconjunto de B cuando B es un subconjunto de A.
Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }
B es un subconjunto de A, y se denota B c A
A es un superconjunto de B, y se denota A B
Otras maneras de decirlo son "A est incluido en B", "B incluye a A", etc.
En caso de que B no fuera subconjunto de A, se denota B . A
Ejemplo: El "conjunto de todos los hombres" es un subconjunto del "conjunto de todas las personas".
{1, 3} {1, 2, 3, 4}
{2, 4, 6, ...} {1, 2, 3, ..} = N ( {Nmeros pares} {Nmeros naturales} )
Conjunto vaco
Se denomina as al conjunto que no tiene ningn elemento. A pesar de no tener elementos se le
considera como conjunto y se representa con las dos llaves sin ningn elemento:
{}
o con el smbolo:
C
Ejemplo: Conjunto de los meses del ao que terminan en a = {}
Conjunto de nmeros impares mltiplos de 2 = C
El conjunto vaco tiene las siguientes propiedades generales:
El conjunto vaco es nico: dado dos conjuntos sin elementos, ambos son iguales. (Esto
justifica hablar de "el conjunto vaco" y no de "un conjunto vaco").
El nico subconjunto del conjunto vaco es l mismo:
A c C solo si A = C
El nmero de elementos del conjunto vaco (es decir, su nmero cardinal) es cero; en
particular, el conjunto vaco es un conjunto finito :
|C| = 0
El conjunto vaco acta como el cero en las operaciones del lgebra de conjuntos. Para
todo conjunto A, el conjunto vaco es subconjunto de A:
Conjuntos


5 Matemticas Discretas
C c A
Para todo conjunto A, la unin de A con el conjunto vaco es A:
A C = A
Para todo conjunto A, la interseccin de A con el conjunto vaco resulta en el conjunto
vaco:
A C = C
Para todo conjunto A, el producto cartesiano de A y el conjunto vaco es vaco:
A x C = C x A = C
Adicionalmente, el conjunto potencia del conjunto vaco es el mismo . Por lo tanto, el nmero
cardinal de P()=1, considerando que el cardinal del conjunto vaco es cero.
El conjunto vaco, a pesar de contener nada, sigue siendo algo en s mismo: un conjunto. Esta
distincin es importante si situamos a los conjuntos en un contexto. Por ejemplo, si imaginamos a los
conjuntos como bolsas, capaces de contener distintos elementos, el conjunto vaco sera aquella bolsa
sin elementos dentro; pero aun as seguira siendo una bolsa.
Es por esto que el conjunto potencia siempre contiene al conjunto vaco.
Todo conjunto es subconjunto de s mismo, por lo tanto, el conjunto vaco es vaco en el sentido de
su cardinalidad (que es igual a 0), y no en el sentido de su identidad.
Conjunto potencia
Se llama as al conjunto formado por todos los subconjuntos posibles de un conjunto dado. La
totalidad de los subconjuntos de un conjunto dado A constituye el llamado conjunto potencia o
conjunto partes de A. Observamos que en l los elementos son, a su vez, conjuntos. Se representan
por p(A).
El conjunto potencia de A es el conjunto formado por todos los subconjuntos de A:
p(A) = {B | B c A}
Cuando el conjunto A tiene un nmero finito de elementos, digamos |A| = n, el conjunto potencia
tambin es finito y tiene 2
n
elementos.
Ejemplo: Dado el conjunto A = {a, b}, su conjunto potencia es:
p(A) = {C, {a}, {b}, {a,b}}
Ejemplo: Dado el conjunto: A={a,b,c,d.}, formemos todos sus subconjuntos:
M={a}, N={b}, O={c}, P={d}, Q={a,b}, R={a,c}, S={a,d}, T={b,c}, U={b,d}, V={c,d},
W={a,b,c}, X={a,b,d}, Y={a,c,d}, Z={b,c,d}.
El conjunto de las partes de A, es decir p(A), ser:
p(A) = {{ }, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A}
Conjuntos


6 Matemticas Discretas
Conjuntos iguales
Dos conjuntos son iguales si, y solamente si, todos los elementos del primero son iguales a los
elementos del segundo y todo elemento del segundo es elemento del primero.
Ejemplo: F = {x | x es un nmero natural}
G = {x | x es un nmero entero positivo}
son iguales, ya que todo nmero entero positivo es un nmero natural.
Ejemplo: El conjunto { a, b, c } tambin puede escribirse:
{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }
Conjuntos disjuntos
Se llaman conjuntos disjuntos o ajenos aquellos que no tienen ningn elemento que pertenezca a
ambos al mismo tiempo.
Ejemplo: V = {x | x es un nmero natural}
Y = {x | x es un da de la semana}
son disjuntos ya que no tienen ningn elemento comn.
Dos conjuntos A y B se dicen disjuntos si su interseccin es el conjunto vaco:
A B = C
Conjunto unitario
Es el conjunto que tiene un solo elemento.
Ejemplo: Conjunto de los meses del ao que tiene menos de treinta das:
D = {febrero}
PROPIEDADES
El conjunto vaco, denotado como , es subconjunto de cualquier conjunto.
Esto es debido a que "todo elemento de lo es de A" significa lo mismo que " no tiene ningn
elemento que no est en A", y esto es cierto sea cual sea A ya que no tiene elementos.
Si cada elemento de un conjunto A lo es de otro conjunto B, y cada elemento de B a su vez lo es de
otro conjunto C, entonces cada miembro de A pertenece tambin a C, o sea:
Dados tres conjuntos A, B y C, si A es subconjunto de B y B es subconjunto de C, entonces A es
subconjunto de C.
Adems, si dos conjuntos son subconjuntos el uno del otro, entonces todos los miembros de uno lo
son del otro y viceversa. Entonces, ambos conjuntos poseen los mismos elementos, y los
conjuntos quedan definidos nicamente por sus elementos, luego:
Conjuntos


7 Matemticas Discretas
Si A es subconjunto de B y B es subconjunto de A, entonces A = B.
FORMA ALTERNATIVA PARA INDICAR CONJUNTOS DE GRAN IMPORTANCIA
- Conjunto de nmeros naturales (enteros mayores que cero) representados por la letra N
donde
N={ 1, 2, 3, .... }
- Conjunto de nmeros enteros positivos y negativos representados por la letra Z donde
Z={..., -2, -1, 0, 1, 2, ... }
- Conjunto de nmeros racionales (nmeros que se representan como el cociente de dos
nmeros enteros {fracciones}). Estos nmeros se representan por una Q.
- Conjunto de nmeros irracionales (nmeros que no puedan representarse como el cociente
de dos nmeros enteros) representados por la letra I.
- Conjunto de los nmeros reales que son los nmeros racionales e irracionales es decir todos,
representados por R.
Todos estos conjuntos tienen un nmero infinito de elementos, la forma de simbolizarlos por extensin
o por enumeracin es de gran utilidad cuando los conjuntos a los que se hace referencia tienen pocos
elementos, para poder trabajar con ellos se emplean la notacin llamada comprensin.
Ejemplo: al denotar el conjunto de los nmeros naturales menores que 60. Aqu U es el conjunto N y
se tiene una propiedad que caracteriza a los elementos del conjunto: ser menores que 60.
Para indicar esta situacin empleamos la simbologa del lgebra de conjuntos:
{ x | x e N; x<60 }
En esta expresin se maneja un conjunto de x que pertenece a los nmeros naturales (N) y adems
que los valores de x son menores que 60.
Ahora si se desea trabajar con conjuntos que manejen intervalos estos pueden ser representados por
medio de una expresin algebraica; supongamos que se desea expresar los nmeros enteros (Z)
entre -20 y 30 el conjunto quedara de la manera siguiente:
{ x | x e Z ; -20 s x s 30 }
Tambin se puede expresar el valor de un conjunto indicando la pertenencia o no pertenencia a uno
diferente, por ejemplo:
L={ 1, 3, 4, 6, 9 }
P={ x | x e N ; x e L }
En el conjunto P se indica que los elementos x de un conjunto pertenecen a los nmeros naturales y
adems x no pertenece al conjunto L.
Conjuntos


8 Matemticas Discretas

OPERACIONES CON CONJUNTOS

UNION
La unin de dos conjuntos A y B la denotaremos por A B y es el conjunto formado por los
elementos que pertenecen al menos a uno de ellos a los dos. Lo que se denota por:
A B = { x | x e A x e B }
Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }
A B ={ 1, 3, 5, 7, 9, 10, 11, 12 }
Propiedades. De la definicin de unin puede deducirse directamente:
- Idempotencia. La unin de un conjunto A consigo mismo es el propio A :
A A = A
- Tanto A como B son subconjuntos de su unin:
A A B y B A B
- La unin de un conjunto A con un subconjunto suyo B lo deja inalterado:
B A implica que A B = A
La unin de conjuntos posee tambin propiedades similares a las operaciones con nmeros:
- Propiedad asociativa. La unin de los conjuntos A y B C es igual que la unin de los
conjuntos A B y C :
(A B) C = A (B C)
- Propiedad conmutativa. La unin de los conjuntos A y B es igual a la unin de los
conjuntos B y A :
A B = B A.
- Elemento neutro. La unin de un conjunto A con el conjunto vaco es el mismo conjunto A:
A = A
Todas estas propiedades se deducen de propiedades anlogas para la disyuncin lgica.
En relacin con la operacin de interseccin existen unas leyes distributivas:
Conjuntos


9 Matemticas Discretas
Propiedad distributiva
- A (B C) = (A B) (A C), y por tanto:
A (A B) = A
- A (B C) = (A B) (A C), y por tanto:
A (A B) = A
Ejercicios: Encontrar A B.
1. A = {-3, -2, -1, 0, 1, 2} B = {1, 2, 3, 4}
2. A = {a, c, e, g, i} B = {b, d, f, h, j}
3. A = {2, 4, 8} B = {x, y, z}
INTERSECCION
Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }
Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le llama interseccin
de A y B; y se denota por A B, algebraicamente se escribe as:
A B = { x | x e A y x e B }
Y se lee el conjunto de elementos x que estn en A y estn en B.
Ejemplo: Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }
Q P={ a, b, o, r, s, y }
Propiedades. De la definicin de interseccin puede deducirse directamente:
Idempotencia. La interseccin de un conjunto A consigo mismo es el propio A :
A A = A
La interseccin de A y B es un subconjunto de ambos:
A B A y A B B
La interseccin de un conjunto B con un conjunto A que lo contenga, deja a B inalterado:
B A implica A B = B
La interseccin de conjuntos posee tambin propiedades similares a las operaciones con nmeros:
Propiedad asociativa. La interseccin de los conjuntos A y B C es igual a la interseccin
de los conjuntos A B y C :
(A B) C = A (B C)
Conjuntos


10 Matemticas Discretas
Propiedad conmutativa. La interseccin de los conjuntos A y B es igual a la interseccin de
los conjuntos B y A :
A B = B A.
Elemento absorbente. La interseccin de un conjunto A con el conjunto vaco es :
A =
Todas estas propiedades se deducen de propiedades anlogas para la conjuncin lgica.
En relacin con la operacin de unin existen unas leyes distributivas:
Propiedad distributiva
- A (B C) = (A B) (A C), y por tanto:
A (A B) = A
- A (B C) = (A B) (A C), y por tanto:
A (A B) = A
Ejercicios: Encontrar A B.
1. A = {-3, -2, -1, 0, 1, 2} B = {1, 2, 3, 4}
2. A = {a, c, e, g, i} B = {b, d, f, h, j}
3. A = {2, 4, 8} B = {x, y, z}
DIFERENCIA
Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el conjunto de los elementos
de A que no estn en B y se representa por comprensin como:
A - B={ x | x e A ; x e B }
Ejemplo: Sea A= { a, b, c, d } y B= { a, b, c, g, h, i }
A - B= { d }
En el ejemplo anterior se observa que solo interesan los elementos del conjunto A que no estn en B.
Si la operacin fuera B - A el resultado es
B A = { g, h, i }
E indica los elementos que estn en B y no en A.
DIFERENCIA SIMTRICA
Conjuntos


11 Matemticas Discretas
La diferencia simtrica de dos conjuntos es una operacin que resulta en otro conjunto cuyos
elementos son aquellos que pertenecen a alguno de los conjuntos iniciales, sin pertenecer a ambos a
la vez.
Dados dos conjuntos A y B, su diferencia simtrica, A B, es un conjunto que contiene los elementos
de A y los de B, excepto los que son comunes a ambos:
Ejemplo: Sean: P = {nmeros pares} y C = {nmeros cuadrados perfectos}
P = {2, 4, 6, 8, 10, 12, 14, 16, ...}
C = {1, 4, 9, 16, 25,...}
La diferencia simtrica P C es un conjunto D que contiene los cuadrados impares y los pares no
cuadrados, por lo que P C = D.
D = {1, 2, 6, 9, 10, 12, 14, 18...}
Ejemplo: Sean A = {a, , 5, Z} y B = {8, #, a, , }.
La diferencia simtrica es A B = {5, , #, Z, 8}.
PRODUCTO CARTESIANO
El producto cartesiano de dos conjuntos es una operacin que resulta en otro conjunto cuyos
elementos son todos los pares ordenados que pueden formarse tomando el primer elemento del par
del primer conjunto, y el segundo elemento del segundo conjunto.
Ejemplo: dados los conjuntos A = {1, 2, 3, 4} y B = {a, b}, su producto cartesiano es:
A B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b), (4, a), (4, b)}
COMPLEMENTO
El complemento de un conjunto respecto al universo U es el conjunto de elementos de U que no
pertenecen a A y se denota como A' y que se representa por comprensin como:
A'={ x e U | x y x e A }
Ejemplo:
Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }
A= { 1, 3, 5, 7, 9 } donde A c U
El complemento de A estar dado por:
A'= { 2, 4, 6, 8 }