METODOS DETERMINISTICOS VS ALEATORIOS

* Los fenmenos deterministicos son aquellos en los cuales podemos adelantar resultados basados en
leyes que tienen modelos establecidos, como por ejemplo: cada libre de un cuerpo que se lo puede
determinar mediante formulas. Por otro lado, los fenmenos probabilisticos generan incertidumbre al no
poder adelantar resultados.

* EJEMPLO:
1. Al realizar el lanzamiento de un dado cual es la probabilidad de obtener:
a) x=2
b) x>3
c) x5
d) x>7
e) x<1
Analizando el lanzamiento del dado tenemos 6 posibles resultados R= 1,2,3,4,5,6 ; as:

a) Prob(x=2)1/6
b) Probx>33/6
c) Prob(x5)5/6
d) Prob(x>7)0/6
e) Prob(x<1)0/6

Un evento Aleatorio es aquel cuya posibilidad de aparicin no es

totalmente conocida. Nos referimos entonces a la posibilidad de
ocurrencia del mismo, es decir una probabilidad.
Ejemplos:
-obtener tres ases de lanzamientos conjunto de tres datos
-obtencin de tres oros, al extraer tres cartas de un mazo de barajas
espaolas en una sola extraccin.
-demanda de bebidas gaseosas y refrescos en el mes de junio.
-demanda de ropa de cuero para protegerse en el mes de enero.
Pagina 4 ejercicio 1
1. Clasifique los siguientes experimentos en deterministas o aleatorios:
a) Registrar el nmero de accidentes que ocurren en una determi-

nada calle de una ciudad. DETERMINISTA

b) Observar la temperatura a la que hierve el agua a una altitud
dada. ALEATORIO
c) Registrar el consumo de electricidad de una casa-habitacion en
un da determinado .ALEATORIO
d) Registrar la hora a la que desaparece el sol en el horizonte en un
da dado visto desde una posicin geogrfica determinada. DETERMINISTA
e) Observar el precio que tendr el petrleo en un ao. DETERMINISTA
f ) Registrar la altura mxima que alcanza un proyectil lanzado verticalmente .DETERMINISTA
g) Observar el nmero de aos que vivir un bebe que nace en este
Momento. ALEATORIO
h) Observar el ngulo de reflexin de un haz de luz incidente en un
espejo. ALEATORIO
i ) Registrar la precipitacin pluvial anual en una zona geogrfica
determinada. DETERMINISTA
j ) Observar el tiempo que tarda un objeto en caer al suelo cuando
se le deja caer desde una altura dada. DETERMINISTA
k) Registrar el ganador de una eleccin en un proceso de votacin
libre y secreto. ALETORIO
l ) Observar la posicin de una molcula de oxgeno en una habitacin
despus de dejarla en libre movimiento durante un minuto. ALEATORIO
ESPACIO MUESTRAL Y EVENTOS SIMPLES
Un experimento es un suceso en el cual se lleva a cabo una observacin. Un
experimento puede ser deterministico o aleatorio.
resultado cierto o seguro
ej. la gravedad
no se puede predecir
Ej. lanzamiento de un dado
Grupo de todos los resultados especficos que se pueden obtener tras una
experimentacin de carcter aleatorio
ESPACIO MUESTRAL
S = {1, 2, 3, 4, 5, 6}.
tiene espacio muestral por los numeros y espacio muestral por los palos
Ejemplo
Si lanzamos una moneda al aire el espacio muestral de una moneda ser la

probabilidad de que salga CARA o SELLO, por tanto es:

S = {C, X}.
Un evento es un subconjunto del espacio muestral de un experimento
aleatorio. Los eventos normalmente se denotan con las letras maysculas A, B,
C; y tienen la caracterstica de ser subconjuntos de S
EVENTO
Evento simple, siendo aquel que tiene un solo punto muestral.
Evento compuesto, siendo aquel que tiene dos o ms puntos muestrales

Evento seguro, es aquel que tiene todos los posibles resultados. S = A . Por
ejemplo al tirar un dado un dado obtener una puntuacin que sea menor que 7.
Evento imposible, es aquel que no tiene un posible resultado. Por ejemplo al
tirar un dado obtener una puntuacin igual a 7.
S = {(S,S,S),(S,S,A),(S,A,S),(A,S,S),(A,A,S),(A,S,A),(S,A,A),(A,A,A)}
S es el evento seguro.
Evento simple:
A: que salgan tres sellos.
A = {(S,S,S)}
#A = 1
Evento compuesto
B: Que salgan al menos dos sellos.
B = {(S,S,S), (S,S,A), (S,A,S), (A,S,S)}
#B = 4
EJEMPLO
ESPACIO MUESTRAL
s=
Pgina 7 ejercicios 3 y 4
3.- Proponga un espacio muestral para el experimento aleatorio de lanzar
dos monedas a un mismo tiempo suponiendo que las monedas:
a) Son distinguibles

Resultados:
Primera
moneda
H
H
T
T

Segunda
moneda
H
T
H
T

resultado
HH
HT
TH
TT

espacio muestral: {HH, HT, TH,

TT}
espacio de eventos para 2 caras:
{HH}
espacio de eventos para 1 cara:
{HT, TH}

Podemos
hacer esto si
tratamos cada
moneda de
manera
diferente. Por
ejemplo, si
siempre
lanzamos
primero una
moneda, y
luego la otra,
podemos
escribir el
resultado de
cada
lanzamiento
Como los
resultados
son
igualmente
probables,
la
probabilida
d del
evento es
la razn
entre el
espacio de
eventos y
el espacio
muestral

Solucin

.
4. Considere el experimento aleatorio de lanzar dos dados distinguibles.
Escriba explcitamente los resultados asociados a los siguientes eventos
y determine su cardinalidad.

El conjunto
E = {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}

formado por todos las posibles sumas que pueden obtnerse se denomina Espacio Muestral de
dicho experimento aleatorio y suele designarse por E. Cada uno de los elementos de E es un
suceso elemental
A partir de dicho subconjunto podemos considerar distintos subconjuntos de E.

A = {2, 4, 6, 8, 10, 12} = {obtener suma par}

B = {2, 5, 7, 11} = {obtener una suma que sea nmero primo}

C = {10, 11, 12} = {obtener una suma mayor o igual que 10}

D = {3, 6, 9, 12} = {obtener suma mltiplo de 3}

F = {2, 3} = {que la suma que sea 2 3}

= {obtener una suma mayor que 15} suceso imposible

E = {Obtener una suma mayor o igual que 2 y menor o igual que 12} suceso
seguro

M = {7} = {Obtener un 7}

Entre los sucesos apuntados, existen sucesos simples (o elementales) (por ejemplo el M) y
otros sucesos compuestos constituidos por varios sucesos elementales. El conjunto de todos
estos sucesos, incluidos los sucesos seguro e imposible, se denomina Espacio de Sucesos
(constituido por todos los subconjuntos que pueden formarse a partir del espacio muestral E)
que suele designarse por P(E).
Puede probarse que si el nmero de elementos de E es n, entonces P(E) tiene 2 n elementos.

A veces, suele ser til utilizar un grfico

como el de la figura para hallar el espacio
muestral de un determinado experimento
aleatorio.
El diagrama de rbol de la figura correspode
al experimento aleatorio de lanzar una
moneda tres veces (o tres monedas) y
considerar el resultado obtenido.
El espacio muestral se obtiene fcilmente sin
ms que ir recorriendo todas las ramas y es

E = {CCC, CC+, C+C, C++, +CC, +C+, ++C, +++}

Son sucesos de dichos experimento aleatorio

A = {CCC, CC+, C+C, C++, +CC, +C+, ++C} = {obtener al menos una cara}

B = {CC+, C+C, +CC} = {obtener dos caras}

= {obtener 5 cruces} suceso imposible

C = {C++, +C+, ++C, +++} = {obtener ms cruces que caras}

Se considera el experimento aleatorio consistente en lanzar una moneda. Si sale cara se

extrae de una urna que contiene bolas azules y rojas una bola y si sale cruz se extrae una bola
de otra urna que contiene bolas rojas y verdes.
El espacio muestral de dicho experimento aleatorio es
E = {(C,R), (C,A), (+,R), (+,V)}
El espacio de sucesos consta de 2 4 = 16 elementos
que son
P(E) =
{{(C,R)}, {(C,A)}, {(+,R)}, {(+,V)}, {(C,R), (C,A)},
{(C,R), (+,R)},
{(C,R), (+,V)}, {(C,A), (+,R)}, {(C,R), (+,V)},
{(+,R), (+,V)}, {(C,R), (C,A), (+,R)},
{(C,R), (C,A), (+,V)}, {(C,R), (+,R), (+,V)}, {(C,A), (+,R), (+,V)}, , E }

Experimento aleatorio consistente en el lanzamiento de dos dados (o un dado dos veces).

Espacio muestral del experimento aleatorio consistente en el lanzamiento de dos dados (o un

dado dos veces) y observar el resultado
Como E tiene 36 elementos el espacio de sucesos tiene 236 sucesos.

En el experimento aleatorio del lanzamiento de dos dados, el suceso la suma obtenida sea 7
es
S = {(1,6), (2,5), (3,4), (4,3), (5,2), (6,1)}

En el experimento aleatorio del lanzamiento de dos dados, el suceso la suma obtenida es

nmero primo es
S = {(1,1), (1,2), (2,1), (1,4), (2,3), (3,2), (4,1), (1,6), (2,5), (3,4), (4,3), (5,2), (6,1), (5,6),
(6,5)}

En el experimento aleatorio del lanzamiento de dos dados, el suceso en los dos

lanzamientos se obtiene nmero primo es
S = {(2,2), (2,3), (2,5), (3,2), (3,3), (3,5), (5,2), (5,3), (5,5),}

Complemetario de un suceso A es el suceso que se verifica si no se verifica A.

El complemetario de A, lo designamos por Ac y tambin por (no A)
En el experimento aleatorio consistente en lanzar dos dados y considerar la suma de
ambos, los sucesos {obtener suma par} y {obtener suma impar} son complementarios.
Tambin son complementarios los sucesos {obtener suma mayor o igual que 5} y
{obtener suma menor que 5}.
En el experimento aleatorio consistente en lanzar dos monedas los sucesos {obtener al
menos una cara} y {no obtener ninguna cara} son complementarios.
El complementario del suceso A = {en los dos lanzamientos se obtiene nmero primo
} (en amarillo) es el suceso B = {en alguno de los dos lanzamientos (o en ambos) no se
obtiene nmero primo} (en verde)

ALGEBRA DE CONJUNTOS (OPERACIONES CON EVENTOS)

Un conjunto es una coleccin de objetos considerada como un objeto en s. Un conjunto

est definido nicamente por los elementos que lo componen, y no por la manera en la que
se lo representa.
Existe una serie de relaciones bsicas entre conjuntos y sus elementos:

Pertenencia. La relacin relativa a conjuntos ms bsica es la relacin de

pertenencia. Dado un elemento x, ste puede o no pertenecer a un conjunto dado A.
Esto se indica como x A.

Igualdad. Dos conjuntos son iguales si y slo si tienen los mismos elementos. Este
principio, denominado principio de extensionalidad establece el hecho de que un
conjunto queda definido nicamente por sus elementos.

Inclusin. Dado un conjunto A, cualquier subcoleccin B de sus elementos es un

subconjunto de A, y se indica como B A.

El conjunto vaco es el conjunto sin ningn elemento, y se denota por o por {}. El
conjunto universal es el conjunto que contiene todos los elementos posibles, dentro del
contexto considerado. Por ejemplo, si se estudian los nmeros naturales, el conjunto

universal es el conjunto de todos ellos, N. De manera general, el conjunto universal se

denota por U.
Las operaciones bsicas del lgebra de conjuntos son:

Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene todos los

elementos de A y de B.

Interseccin. La interseccin de dos conjuntos A y B es el conjunto A B que

contiene todos los elementos comunes de A y B.

Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que

contiene todos los elementos de A que no pertenecen a B.

Complemento. El complemento de un conjunto A es el conjunto A que contiene

todos los elementos que no pertenecen a A.

Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el conjunto

A B que contiene todos los pares ordenados (a, b) cuyo primer elemento pertenece
a A y su segundo elemento pertenece a B.

Use las propiedades bsicas de las operaciones entre conjuntos para demostrar rigurosamente las siguientes igualdades. En cada caso dibuje
un diagrama de Venn para ilustrar cada identidad.

1. A y B es el conjunto formado por todos los elementos que pertenecen a A o a B. Se

nota A B. A B = {x : x A x B} . La disyuncion, , se utiliza en el
sentido inclusivo, es decir, signica y/o. 2.1.2 Interseccion La interseccion de
dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen
a A y a B. Se nota A B. A B = {x : x A x B} Si A y B no tienen
elementos en comun, es decir, si A B = , entonces diremos que A y B son
conjuntos disjuntos. Ejemplo 2.1 Sean A, B y C tres conjuntos. (a) Demostrar que si
C A y C B, entonces C (A B), es decir, A B es el mayor conjunto que
contiene a A y a B. (b) Demostrar que si C A y C B, entonces C (A B), es
decir, A B es el conjunto mas pequeno que contiene a A y a B. Solucion (a)
Supongamos que C A y C B, entonces la proposicion x (x C = x A)
x (x C = x B) es verdad. Esta proposicion es equivalente a x [(x C
= x A) (x C = x B)] la cual, a su vez, equivale a x, [ x C = (x
A x B)] de aqu que x, x C = x [(A B)] y, por lo tanto, C A B
(b) Supongamos que C A y que C B, y sea x un elemento arbitrario de A B
entonces, x (A B) x A x B {Definicion de union} = x C x
C {Por hipotesis} x C {Idempotencia de } luego, x, (x A B =
x C) de aqu que C (A B) 16

2. 5. Matematica Discreta Francisco Jose Gonzalez Gutierrez 2.1.3 Diferencia La

diferencia entre dos conjuntos A y B es el conjunto formado por todos los elementos
que pertenecen a A y no pertenecen a B. Se nota por A B. A B = {x : x A x /
B} El conjunto A B se lee A menos B y recibe tambien el nombre de
complementario relativo del conjunto B respecto del conjunto A. 2.1.4
Complementario El complementario de un conjunto A es el conjunto formado por
todos los elementos del conjunto universal que no pertenecen a A. Se nota Ac . Ac =
{x : x U x / A} Observese que el complementario de A es igual a la
diferencia entre U y A, es decir, Ac = U A. 2.1.5 Diferencia Simetrica La diferencia
simetrica entre dos conjuntos A y B es el conjunto formado por todos los elementos
que pertenecen a A o a B pero no a ambos. Se nota por A B. A B = (A B) (B A) A
B A A B A B B A B Operaciones con conjuntos 17
3. 6. Universidad de Cadiz Departamento de Matematicas Ejemplo 2.2 Sean los
conjuntos A = {n Z+ : n 13} B = {n Z+ : n es par y n 20} C = {n Z+ : n es
par} Hallar A B, A B, Ac , Bc , A B, B A, A B, B C y B C. Solucion 18
4. 7. Matematica Discreta Francisco Jose Gonzalez Gutierrez A B = {n Z+ : n
13} {n Z+ : n es par y n 20} = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13} {2, 4,
6, 8, 10, 12, 14, 16, 18, 20} = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 18, 20}
A B = {n Z+ : n 13} {n Z+ : n es par y n 20} = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10,
11, 12, 13} {2, 4, 6, 8, 10, 12, 14, 16, 18, 20} = {2, 4, 6, 8, 10, 12} Ac = {n Z+
: n / A} = {n Z+ : n > 13} Bc = {n Z+ : n / B} = {n Z+ : (n B)} =
{n Z+ : [n es par (n 20)]} = {n Z+ : (n es par) (n 20)} = {n Z+ : (n
es impar) (n > 20)} = {1, 3, 5, 7, 9, 11, . . .} {21, 22, 23, 24, . . .} = {1, 3, 5, 7,
9, 11, 13, 15, 17, 19, 21, 22, 23, 24, . . .} A B = {n Z+ : n A n / B} = {n
Z+ : n A n Bc } = {n Z+ : n 13 n Bc } = {1, 3, 5, 7, 9, 11, 13} B A =
{n Z+ : n B n / A} = {n Z+ : n B n Ac } = {n Z+ : n es par y
n 20 y n > 13} = {n Z+ : n es par y 14 n 20} = {14, 16, 18, 20} A B = (A B) (B
A) = {1, 3, 5, 7, 9, 11, 13} {14, 16, 18, 20} = {1, 3, 5, 7, 9, 11, 13, 14, 16, 18, 20}
B C = {n Z+ : n es par y n 20} {n Z+ : n es par} = {n Z+ : n es par y n
20 y n es par} = {2, 4, 6, 8, 10, 12, 14, 16, 18, 20} B C = {n Z+ : n B y n /
C} = {n Z+ : n es par y n 20 y n es impar} = 19
5. 8. Universidad de Cadiz Departamento de Matematicas 2.2 Algebra de conjuntos.
Dualidad Bajo las operaciones definidas en los apartados anteriores, los conjuntos
satisfacen varias leyes o identi- dades. Observaremos que existe una dualidad entre
las leyes que utilizan la interseccion y las que utilizan la union. 2.2.1 Leyes
Idempotentes Dado cualquier conjunto A en un universal arbitrario U , se verica: 1.
A A = A 2. A A = A Demostracion En efecto, sea x un elemento arbitrario del
universal U . Entonces, 1. x (A A) x A x A {Definicion de uni
on} x A {Idempotencia de } De la arbitrariedad de x se sigue que x [x
(A A) x A] de aqu que A A = A 2. Analogamente se prueba que A A
= A. 2.2.2 Leyes Conmutativas Dados dos conjuntos A y B de un universal
arbitrario U , se verica: 1. A B = B A 2. A B = B A Demostracion En
efecto, 1. Sea x cualquier elemento de U . Entonces, x (A B) x A x

B {Definicion de union} x B x A {Commutatividad de } x

(B A) {Denicion de union} Como x es cualquiera de U , se sigue que x [x
A B x B A] por lo tanto, A B = B A 2. De una forma similar se
demuestra que A B = B A. 20
6. 9. Matematica Discreta Francisco Jose Gonzalez Gutierrez 2.2.3 Leyes
Asociativas Dados tres conjuntos A, B y C de un universal arbitrario, U , se verica:
1. A (B C) = (A B) C 2. A (B C) = (A B) C Demostracion En
efecto, sea x es un elemento arbitrario de U . Entonces, 1. x A (B C) x
A [x (B C)] {Definicion de union} x A (x B x C)
{Definicion de union} (x A x B) x C {Asociatividad de }
(x A B) x C {Definicion de union} x (A B) C {Definicion
de union} De la arbitrariedad de x se sigue que x [x A (B C) x (A
B) C] de aqu que A (B C) = (A B) C 2. Analogamente se demuestra
que A (B C) = (A B) C 2.2.4 Leyes Distributivas Dados tres conjuntos A,
B y C de un conjunto universal arbitrario, U , se verica: 1. A (B C) = (A B)
(A C) 2. A (B C) = (A B) (A C) Demostracion En efecto, 1. En
efecto, sea x cualquier elemento del conjunto universal U , entonces x A (B
C) x A [x (B C)] {Definicion de union} x A (x B x
C) {Definicion de interseccion} (x A x B) (x A x C)
{Distributividad} x (A B) x (A C) {Definicion de union} x
(A B) (A C) {Definicion de interseccion} Al ser x cualquier elemento de
U , se sigue que x [x A (B C) x (A B) (A C)] 21
7. 10. Universidad de Cadiz Departamento de Matematicas consecuentemente, A
(B C) = (A B) (A C) 2. De una forma similar se prueba que A (B C) =
(A B) (A C) 2.2.5 Leyes de Identidad Dado un conjunto cualquiera de un
universal arbitrario, U , se verica: 1. A = A 2. A U = U 3. A = 4. A
U = A Demostracion 1. A = A. En efecto, sea x es un elemento arbitrario de
U . Entonces, x (A ) x A x {Denicion de union} x
A {x es falso siempre} luego, x [x (A ) x A] de aqu que A
= A 2. A U = U . Sea x un elemento cualquiera de U . Entonces, x (A U )
x A x U {Denicion de union} x U {x U es verdad
siempre} luego, x [x (A U ) x U ] es decir, A U = U 3. A = .
Si x es cualquiera de U , entonces x (A ) x A x {Denicion
de union} x {x es falso siempre} luego, A = 4. A U = A.
Sea x un elemento arbitrario de U . Entonces, x A U x A x U
{Definicion de interseccion} x A {x U es verdad siempre} luego, A U
= A 22
8. 11. Matematica Discreta Francisco Jose Gonzalez Gutierrez 2.2.6 Ley Involutiva
Dado un conjunto cualquiera A de un universal U , se verica: (Ac )c = A
Demostracion Sea x cualquiera de U . Entonces, x (Ac ) c x / Ac
{Definicion de complementario} (x Ac ) {Negacion} (x / A)
{Definicion de complementario} (x A) {Negacion} x A {Doble
negacion} luego, x [x (Ac ) c x A] es decir, (Ac ) c = A 2.2.7 Leyes del

Complementario Dado un conjunto cualquiera A de un universal arbitrario U , se

verica: 1. A Ac = U 2. U c = 3. A Ac = 4. c = U Demostracion 1. A
Ac = U . En efecto, sea x cualquier elemento de U . Entonces, x (A Ac ) x
A x Ac {Definicion de union} x A x / A {Complementario}
x A (x A) {Negacion} x U {Tautologa} luego, x [x (A
Ac ) x U ] por lo tanto, A Ac = U 2. U c = . En efecto, U c = {x U :
x U c } = {x U x / U } = 23
9. 12. Universidad de Cadiz Departamento de Matematicas 3. A Ac = . En
efecto, A Ac = {x U : x A x Ac } = {x U : x A x / A} = 4.
c = U . En efecto, c = {x U : x c } = {x U : x / } = {x U } = U
2.2.8 Leyes de De Morgan Dados dos conjuntos A y B en un universal U , se
verica: 1. (A B)c = Ac Bc 2. (A B)c = Ac Bc Demostracion 1. (A B)c
= Ac Bc En efecto, sea x un elemento arbitrario del conjunto universal U .
Entonces, x (A B)c x / (A B) {Definicion de complementario}
[x (A B)] {Negacion} [(x A) (x B)] {Definicion de union}
(x A) (x B) {De Morgan para } (x / A) (x / B) {Negaci
on} (x Ac ) (x Bc ) {Definicion de complementario} x (Ac
Bc ) {Definicion de interseccion} y al ser x un elemento arbitrario de U , se sigue
que x [x (A B) c x (Ac Bc )] luego, (A B)c = Ac Bc 2. An
alogamente se prueba que (A B)c = Ac Bc Ejemplo 2.3 Sean A, B, C y D
subconjuntos arbitrarios de un conjunto universal arbitrario, U . Entonces, (a) A B
A (b) Si A B y C D, entonces (A C) (B D) (c) Si A B y C D,
entonces (A C) (B D) (d) A (A B) (e) A B A 24
10. 13. Matematica Discreta Francisco Jose Gonzalez Gutierrez (f) Si A B,
entonces A B = B (g) Si A B, entonces A B = A (h) A = A (i) A (B A) =
(j) A (B A) = A B (k) A (B C) = (A B) (A C) (l) A (B C) = (A B) (A
C) Solucion (a) A B A En efecto, sea x un elemento arbitrario de U , x A B
x A x / B {Denicion de diferencia} = x A {Simplificacion}
luego, x [x A B = x A] consecuentemente, A B A (b) Si A B y C D,
entonces (A C) (B D) En efecto, supongamos que A B y C D y sea x un
elemento arbitrario de U , entonces x A C x A x C {Definicion de
union} = x B x D {Hipotesis} x (B D) {Definicion de uni
on} luego, x [x (A C) = x (B D)] por lo tanto, A C B D (c) Si
A B y C D, entonces (A C) (B D) Se prueba de forma analoga a la
anterior. (d) A (A B) En efecto, si x es cualquiera de U , entonces x A = x
A x B {Adicion} x A B {Definicion de union} luego, x [x
A = x (A B)] de aqu que A (A B) 25
11. 14. Universidad de Cadiz Departamento de Matematicas (e) A B A En efecto,
sea x un elemento cualquiera de A B. Entonces, x A B x A x B
{Definicion de interseccion} = x A {Simplificacion} luego, x [x (A B)
= x A] de donde se sigue A B A (f) Si A B, entonces A B = B En
efecto, sea x cualquiera de U y supongamos que A B. x (A B) x A
x B {Definicion de union} = x B x B {Hipotesis} x B

{Idempotencia de } luego, x [x (A B) = x B] por lo tanto, A B B y

por (d) B (A B) De la doble inclusion se sigue la igualdad que buscamos. (g)
Si A B, entonces A B = A Por el apartado (e), tenemos que A B A Veamos
la inclusion contraria. Supongamos que A B y sea x un elemento arbitrario de
U , entonces x A = x A x B {Hipotesis} x (A B) {Definicion
de interseccion} luego, x [x A = x (A B)] de aqu que A (A B)
Tenemos, pues, que A (A B) y (A B) A por lo tanto, A = A B (h) A =
A Sea x cualquiera de U . Entonces, x A x A x / {Denicion de
diferencia} x A {Por ser x / verdad, siempre} luego, A = {x : x A}
= A 26
12. 15. Matematica Discreta Francisco Jose Gonzalez Gutierrez (i) A (B A) =
En efecto, A (B A) = A (B Ac ) {Diferencia de conjuntos} = A (Ac B)
{Conmutatividad de la union} = (A Ac ) B {Asociatividad de la interseccion}
= B {Leyes del complementario} = {Leyes de identidad} (j) A (B A) = A
B En efecto, A (B A) = A (B Ac ) {Diferencia de conjuntos} = (A B)
(A Ac ) {Distributividad} = (A B) U {Leyes del complementario} = A B
{Leyes de identidad} (k) A (B C) = (A B) (A C) A (B C) = A (B C) c
{Diferencia de conjuntos} = A (Bc Cc ) {De Morgan} = (A A) (Bc Cc )
{Idempotencia de la interseccion} = (A Bc ) (A Cc ) {Commutatividad y
asociatividad} = (A B) (A C) {Diferencia de conjuntos} (l) A (B C) = (A B)
(A C) La demostracion es similar a la del apartado anterior. Ejemplo 2.4 Probar las
identidades siguientes: (a) A (A B) = A (b) A (A B) = A (c) A B = A Bc
(d) A (Ac B) = A B (e) A (Ac B) = A B Solucion (a) A (A B) = A
Sea x un elemento cualquiera del universal U , entonces x A (A B) x
A x (A B) {Denicion de union} = x A luego x, x A (A B)
= x A es decir, A (A B) A 27
13. 16. Universidad de Cadiz Departamento de Matematicas Por otro lado, siempre se
verifica que A A X, X U en particular, A A (A B) De la doble
inclusion se sigue el resultado, A = A (A B) (b) A (A B) = A En efecto, A
(A B) = (A A) (A B) {Distributividad} = A (A B) {Idempotencia de
la interseccion} = A {Apartado (a)} (c) A B = A Bc En efecto, sea x cualquiera
del conjunto universal U , entonces x A B x A x / B {Definicion de
diferencia} x A x Bc {Definicion de complementario} x (A
Bc ) {Definicion de interseccion} luego, x, x A B x (A Bc ) por lo
tanto, A B = A Bc (d) A (Ac B) = A B En efecto, A (Ac B) = (A
Ac ) (A B) {Distributividad} = U (A B) {Leyes del complementario} = A
B {Leyes de identidad} (e) A (Ac B) = A B A (Ac B) = (A Ac )
(A B) {Distributividad} = (A B) {Leyes del complementario} = A B
{Leyes de identidad} 2.3 Conjunto de las Partes de un Conjunto Dado un conjunto
A, si nos referimos a algunos de sus subconjuntos estaramos considerando un
conjunto de conjuntos. En tales casos hablaremos de una clase de conjuntos o
coleccion de conjuntos en vez de un conjunto de conjuntos. Si quisieramos
considerar algunos de los conjuntos de una clase dada de conjuntos, entonces
hablaremos de una subclase o de una subcoleccion. 28

14. 17. Matematica Discreta Francisco Jose Gonzalez Gutierrez Ejemplo 2.5 Sea A =
{a, b, c, d, e} y sea A la clase de subconjuntos de A que contienen exactamente tres
elementos de A. Entonces, A = {{a, b, c} , {a, b, d} , {a, b, e} , {a, c, d} , {a, c, e} ,
{a, d, e} , {b, c, d} , {b, c, e} , {c, d, e}} siendo los elementos de A los conjuntos:
{a, b, c} , {a, b, d} , {a, b, e} , {a, c, d} , {a, c, e} , {a, d, e} , {b, c, d} , {b, c, e} y
{c, d, e} 2.3.1 Denicion Dado un conjunto A, llamaremos conjunto de las partes
de A a la clase o coleccion de todos los subconjuntos de A y se nota por P(A). Obs
ervese que de acuerdo con esta definicion, si X es un conjunto cualquiera de U ,
entonces X P(A) X A Ejemplo 2.6 Sea A = {1, 2, 3}. Entonces, P(A) =
{, {1} , {2} , {3} , {1, 2} , {1, 3} , {2, 3} , {1, 2, 3}} Nota 2.1 Si el conjunto A es
finito y tiene n elementos, entonces P(A) tambien es un conjunto finito y tiene 2n
elementos. En efecto, sea X un elemento arbitrario de P(A). Para cada a A, hay
dos opciones a X o a / X; como hay n elementos en A, habra n veces 2 2 2
2 = 2n diferentes conjuntos X. Es decir, P(A) tiene 2n elementos. Veremos
otra demostracion en una leccion posterior. Ejemplo 2.7 Especificar el conjunto de
las partes para cada uno de los conjuntos siguientes: (a) {a, b, c} (b) {{a, b} , {c}}
(c) {{a, b} , {b, a} , {a, b, b}} Solucion (a) {a, b, c} P ({a, b, c}) = {, {a} , {b} ,
{c} , {a, b} , {a, c} , {b, c} , {a, b, c}} (b) {{a, b} , {c}} P ({{a, b} , {c}}) = {,
{{a, b}} , {{c}} {{a, b} , {c}}} (c) {{a, b} , {b, a} , {a, b, b}} P ({{a, b} , {b, a} ,
{a, b, b}}) = P ({a, b}) = {, {a, b} {{a, b}}} 29
15. 18. Universidad de Cadiz Departamento de Matematicas 2.4 Producto cartesiano
de conjuntos El concepto matematico de relacion esta basado en la nocion de
relacion entre objetos. Algunas relaciones describen comparaciones entre
elementos de un conjunto: Una caja es mas pesada que otra, un hombre es mas
rico que otro, etc. Otras relaciones involucran elementos de conjuntos diferentes, tal
como x vive en y, donde x es una persona e y es una ciudad, x es propiedad de
y donde x es un edicio e y es una empresa, o x nacio en el pas y en el ano z.
Todos los ejemplos anteriores son de relaciones entre dos o tres objetos, sin
embargo, en principio, podemos describir relaciones que abarquen n objetos, donde
n es cualquier entero positivo. Cuando hagamos una armacion que relacione n
objetos, sera necesario no solamente especicar los objetos en s mismos sino
tambien una ordenacion de los mismos. Por ejemplo, la posicion relativa de 3 y 5
da lugar unicamente a dos armaciones 5 < 3 y 3 < 5, siendo una de ellas falsa
y la otra verdadera. Usaremos las n-tuplas ordenadas de elementos para especificar
una sucesion finita de objetos no nece- sariamente distintos; la posicion relativa de
los objetos en la sucesion nos dara la ordenacion necesaria de los mismos. 2.4.1
n-tupla ordenada Llamaremos n-tupla ordenada a una sucesion de n objetos a1,
a2, . . . , an dados en un cierto orden y la notaremos por (a1, a2, . . . , an). Obs
ervese que es fundamental el orden en que escribamos los elementos de la n-tupla,
as (a1, a2, . . . , an) = (a2, a1, . . . , an) Si n = 2, una n-tupla ordenada se llama par
ordenado y si n = 3, terna ordenada. 2.4.2 Igualdad de n-tuplas Diremos que dos
n-tuplas ordenadas son iguales si, y solo si, sus i-esimas componentes son iguales
para todo i, 1 i n, es decir, (a1, a2, . . . , an) = (b1, b2, . . . , bn) ai = bi, i, 1 i n
Muchas veces trataremos con colecciones de n-tuplas donde la componente i-esima
de cada n-tupla es un elemento de un conjunto Ai. Denimos el conjunto de todas

las n-tuplas ordenadas. 2.4.3 Producto cartesiano Dada una coleccion arbitraria de
conjuntos A1, A2, . . . , An, llamaremos producto cartesiano de los mismos y lo
notaremos por A1 A2 An, al conjunto formado por todas las n-tuplas
ordenadas, (a1, a2, . . . , an), donde ai Ai, 1 i n, es decir, A1 A2 An =
{(a1, a2, . . . , an) : ai Ai 1 i n} En el caso de dos conjuntos A y B, tendremos A
B = {(a, b) : a A b B} y este producto se llama binario si A = B, o sea, A A
= {(a, b) : a A b A} 30
16. 19. Matematica Discreta Francisco Jose Gonzalez Gutierrez y suele notarse por
A2 . Su extension a n conjuntos se dene como A A (n A = {(a1, a2, . . . ,
an) : ai A, 1 i n} y lo notaremos por An . Nota 2.2 Observese que A = . En
efecto, si A no fuese vaco, entonces existira, al menos, un par (a, b) A
de aqu que a A y b , lo cual es imposible. Ejemplo 2.8 Considerando el
conjunto R de los numeros reales, el producto cartesiano R2 = R R es el conjunto
de todos los pares ordenados de numeros reales. R R = R2 = {(x, y) : x, y R}
Cada punto P representa un par ordenado (x, y) de numeros reales y viceversa. A
R2 se le llama normalmente plano cartesiano. Ejemplo 2.9 Sean A = {x R : 1 x 2}
y B = {y R : 0 y 1}. Hallar A B y B A. Solucion A B = {(x, y) : 1 x 2 0 y
1} B A = {(y, x) : 0 y 1 1 x 2} 0 1 2 3 1 2 3 A B 0 1 2 3 1 2 3
B A Ejemplo 2.9 Cuando A y B son, como en este caso, conjuntos de numeros
reales, su producto cartesiano puede representarse como un conjunto de puntos en el
plano cartesiano. Ejemplo 2.10 Sea A = {1, 2} y B = {a, b, c}. Entonces A B =
{(1, a), (1, b), (1, c), (2, a), (2, b), (2, c)} B A = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1),
(c, 2)} 31
17. 20. Universidad de Cadiz Departamento de Matematicas tambien, A A = {(1,
1), (1, 2), (2, 1), (2, 2)} B B = {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c,
b), (c, c)} Nota 2.3 En los ejemplos anteriores se observa que el producto cartesiano
de dos conjuntos no es conmutativo. Es decir, en general, A B = B A Ejemplo
2.11 Sean A1 = {1, 2}, A2 = {a, b} y A3 = {x, y}. Calcular A1 A2 A3, A2 A1
A3 y A2 3. Solucion A1 A2 A3 = {(1, a, x), (1, a, y), (1, b, x), (1, b, y), (2, a,
x), (2, a, y), (2, b, x), (2, b, y)} A2 A1 A3 = {(a, 1, x), (a, 1, y), (a, 2, x), (a, 2,
y), (b, 1, x), (b, 1, y), (b, 2, x), (b, 2, y)} A2 3 = A3 A3 = {(x, x), (x, y), (y, x), (y,
y)} 2.4.4 Propiedades El producto cartesiano es distributivo respecto de la union y
la interseccion de conjuntos, es decir, si A, B y C son tres conjuntos cualesquiera,
se verica: (a) A (B C) = (A B) (A C) (b) A (B C) = (A B) (A
C) (c) (A B) C = (A C) (B C) (d) (A B) C = (A C) (B C)
Demostracion (a) A (B C) = (A B) (A C) En efecto, sea (x, y) un
elemento arbitrario de A (B C), entonces, (x, y) A (B C) x A y
(B C) {Def. producto cartesiano} x A (y B y C) {Def. de uni
on} (x A y B) (x A y C) {Dist. de respecto de } (x,
y) (A B) (x, y) (A C) {Def. producto cartesiano} (x, y) (A B)
(A C) {Definicion de union} luego, (x, y) ((x, y) A (B C) (x, y)
(A B) (A C)) es decir, A (B C) = (A B) (A C) Los apartados (b),
(c) y (d) se demuestran de una forma similar. Ejemplo 2.12 Si U = Z+ , A = {1, 2, 3,
4}, B = {2, 5} y C = {3, 4, 7}, determnense los conjuntos siguientes: (a) A B 32

18. 21. Matematica Discreta Francisco Jose Gonzalez Gutierrez (b) B A (c) A (B
C) (d) (A B) C (e) (A C) (B C) Solucion (a) A B = {(a, b) : a A
b B} luego, A B = {(1, 2), (1, 5), (2, 2), (2, 5), (3, 2), (3, 5), (4, 2), (4, 5)} (b) B
A = {(b, a) : b B a A} luego, B A = {(2, 1), (2, 2), (2, 3), (2, 4), (5, 1),
(5, 2), (5, 3), (5, 4)} (c) A (B C) = {1, 2, 3, 4, (2, 3), (2, 4), (2, 7), (5, 3), (5, 4),
(5, 7)} (d) (A B) C = {(1, 3), (1, 4), (1, 7), (2, 3), (2, 4), (2, 7), (3, 3), (3, 4), (3,
7), (4, 3), (4, 4), (4, 7), (5, 3), (5, 4), (5, 7)} (e) (A C) (B C) = {(1, 3), (1, 4),
(1, 7), (2, 3), (2, 4), (2, 7), (3, 3), (3, 4), (3, 7), (4, 3), (4, 4), (4, 7), (5, 3), (5, 4), (5,
7)} Ejemplo 2.13 Sean A = {a, b, c}, B = {b, c, d} y C = {a, d}. Encontrar A B
C utilizando un diagrama en arbol. Solucion a b d a c a d a d d a b
d a c b d a d d a b d a c c d a d d Ejemplo 2.13 33
19. 22. Universidad de Cadiz Departamento de Matematicas La figura muestra el
diagrama en arbol. Recorriendo cada una de las ramas obtenemos las distintas
ternas que integran el producto cartesiano de los tres conjuntos, es decir, A B C
= {(a, b, a), (a, b, d), (a, c, a), (a, c, d), (a, d, a), (a, d, d), (b, b, a), (b, b, d), (b, c, a)
(b, c, d), (b, d, a), (b, d, d), (c, b, a), (c, b, d), (c, c, a), (c, c, d), (c, d, a), (c, d, d)}
Ejemplo 2.14 Dados tres conjuntos arbitrarios A, B, C U , probar A(B C) =
(AB)(AC) Solucion A (B C) = (A B) (A C) En efecto, (a, b) A
(B C) a A b (B C) a A (b B b C) (a A b
B) (a A b C) (a, b) A B (a, b) A C (a, b) (A
B) (A C) luego, (a, b) ((a, b) A (B C) (a, b) (A B) (A C))
es decir, A (B C) = (A B) (A C) Ejemplo 2.15 Se consideran los
conjuntos A = {x Z : 3 x 8} y B = {x Z : 6 < x 4}. Hallar A B Solucion A
= {x Z : 3 x 8} = {3, 4, 5, 6, 7, 8} B = {x Z : 6 < x 4} = {5, 4} luego, A
B = {(3, 5), (4, 5), (5, 5), (6, 5), (7, 5), (8, 5), (3, 4), (4, 4), (5, 4), (6,
4), (7, 4), (8, 4)} Ejemplo 2.16 Demostrar que (A1 B1) (A2 B2) = (A1
A2) (B1 B2) Solucion En efecto, sea (a, b) un elemento arbitrario de (A1
B1) (A2 B2). Entonces, (a, b) (A1 B1) (A2 B2) (a, b) (A1
B1)) (a, b) (A2 B2) {Def. de } (a A1 b B1) (a A2 b
B2) {Def. de } (a A1 a A2) (b B1 b B2) {Asoc. y conm.}
a (A1 A2) b (B1 B2) (a, b) (A1 A2) (B1 B2) 34
20. 23. Matematica Discreta Francisco Jose Gonzalez Gutierrez luego, (a, b) ((a, b)
(A1 B1) (A2 B2) (a, b) (A1 A2) (B1 B2)) es decir, (A1
B1) (A2 B2) = (A1 A2) (B1 B2) Ejemplo 2.17 Dados los conjuntos A =
{a, b, c, d} , B = {1, 2, 3} y C = {, , }, hallar (a) A B C (b) A (B C) (c) A
(B C) Solucion (a) A B C = {(a, 1, ), (a, 1, ), (a, 1, ), (a, 2, ), (a, 2, ),
(a, 2, ), (a, 3, ), (a, 3, ), (a, 3, ), (b, 1, ), (b, 1, ), (b, 1, ), (b, 2, ), (b, 2, ), (b,
2, ), (b, 3, ), (b, 3, ), (b, 3, ), (c, 1, ), (c, 1, ), (c, 1, ), (c, 2, ), (c, 2, ), (c, 2,
), (c, 3, ), (c, 3, ), (c, 3, ), (d, 1, ), (d, 1, ), (d, 1, ), (d, 2, ), (d, 2, ), (d, 2, ),
(d, 3, ), (d, 3, ), (d, 3, )} (b) A (B C) = A = (c) A (B C) Segun
hemos visto en la leccion, A (B C) = (A B) (A C) luego, A (B C) =
{(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3), (c, 1), (c, 2), (c, 3), (d, 1), (d, 2), (d, 3) (a,
), (a, ), (a, ), (b, ), (b, ), (b, ), (c, ), (c, ), (c, ), (d, ), (d, ), (d, )}
Ejemplo 2.18 Para A, B, C U , probar que A (B C) = (A B) (A C). Solucion

En efecto, (a, b) A (B C) a A b B C a A (b B b /
C) (a A b B) (a A b / C) (a, b) A B (a, b) / (A
C) (a, b) (A B) (A C) luego, (a, b) ((a, b) A (B C) (a, b) (A
B) (A C)) es decir, A (B C) = (A B) (A C) 35