MatemDiscretParaComputac Cap2

CAPÍTULO 2
CONJUNTOS, APLICACIONES Y
RELACIONES BINARIAS
El concepto de conjunto es uno de los más importantes en matemáticas,

aún más que la operación de contar, pues se puede encontrar implícita o
explícitamente, en todas las ramas de las matemáticas puras y aplicadas. En su
forma explícita, los principios y terminología de los conjuntos se utilizan para
construir teoremas matemáticos más claros y precisos y para explicar conceptos
abstractos como el infinito.
Todo matemático o filósofo ha empleado razonamientos de teoría de

conjuntos de una forma más o menos consciente. La teoría de conjuntos se debe al
Copyright © 2017. Universidad de Jaén. All rights reserved.
matemático Georg Cantor (1845-1918), aunque otros matemáticos como George

Boole (1815-1864) dieron los primeros pasos para su desarrollo.
En el último cuarto del siglo XIX se vivió un episodio apasionante de la

historia de las matemáticas que las ligaría desde entonces a la historia de la lógica.
Primero, G. Boole trató de presentar la lógica como parte de las matemáticas. Poco
después Gottlob Frege (1848-1925) intentó demostrar que la aritmética era parte de
la lógica y, dando un gran paso tanto en la historia de las matemáticas como en la
historia de la lógica, G. Cantor se adelantó a G. Frege con una fundamentación
lógica de la aritmética. Como consecuencia, G. Cantor creó una nueva disciplina
matemática entre 1874 y 1897: la Teoría de Conjuntos.
García, Muñoz, Miguel Ángel. Matemática discreta para la computación : nociones teóricas y problemas resueltos, Universidad de Jaén, 2017.
ProQuest Ebook Central, http://ebookcentral.proquest.com/lib/bibamazoniasp/detail.action?docID=5214583.
Created from bibamazoniasp on 2018-08-22 13:07:54.
García-Muñoz, M.A. 151
Cantor definió conjunto como “una colección en un todo de determinados

y distintos objetos de nuestra percepción o nuestro pensamiento, llamados los
elementos del conjunto”.
Su obra fue admirada y condenada simultáneamente por sus

contemporáneos. Desde entonces los debates en el seno de la teoría de conjuntos
han sido siempre apasionados, sin duda por hallarse estrechamente conectados con
importantes cuestiones lógicas.
La Teoría de Conjuntos empezó a influir en otras áreas de las matemáticas.

Por ejemplo, Lebesgue la utilizó en su integral. Posteriormente se intentó
axiomatizar la Teoría de Conjuntos. El primero que lo hizo fue Zermelo en 1908.
Después lo intentaron Fraenkel, von Neumann, Bernays y Gödel. Este último
terminó demostrando las limitaciones de cualquier teoría axiomática.
1. GENERALIDADES SOBRE CONJUNTOS
Llamaremos conjunto a toda colección de objetos y elemento a cada uno

de los objetos de un conjunto.
Utilizaremos las letras mayúsculas A, B, C, X, Y,... para denotar conjuntos

y las letras minúsculas a, b, c, x, y,... para representar elementos de un conjunto.

También usaremos las siguientes expresiones:
x∈A el elemento “x” pertenece al conjunto “A”,

x∉A el elemento “x” no pertenece al conjunto “A”,
∅ conjunto vacío,
U conjunto universal o conjunto formado por todos los
elementos sujetos a estudio.
Finalmente utilizamos los siguientes símbolos para los conjuntos de números:
2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS
152 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN
1 = conjunto de los números naturales = {0, 1, 2, 3, 4,.....},
= = conjunto de los números enteros = {...,-3, -2, -1, 0, 1, 2, 3,...},

a
4 = conjunto de los números racionales = { tal que a ∈ = y 0 ≠ b ∈ 1},
b
5 = conjunto de los números reales,
& = conjunto de los números complejos = { a + bL tal que a, b ∈ 5}.
Un conjunto se puede definir de dos formas:
i) Por extensión, citando cada uno de sus elementos, por ejemplo:
A = {2, 4, 6, 8, 10},
como vemos sus elementos se representan separados por comas y dentro de llaves2.
ii) Por comprensión, expresando una propiedad que caracteriza a todos sus
elementos, así:
B = {x ∈ 1 / x es par y x < 20},
es el conjunto formado por los números naturales pares y menores que 20. La barra
inclinada (/) y a veces los dos puntos (:) se leen como “tal que”.
Los conjuntos se suelen representar gráficamente mediante diagramas de

Venn, o regiones del plano delimitadas por una curva cerrada que encierra a los
elementos del conjunto, que se simbolizan por puntos. En este tipo de gráficos el
conjunto universal se representa por un rectángulo que encierra al resto de los
conjuntos. Es también común usar un diagrama en línea para representar los
conjuntos, en este caso los puntos se dibujan sobre una línea recta.
2
Cuando el conjunto, a pesar de ser finito, es tan grande que resulta imposible enumerar
cada uno de sus elementos, éste sólo lo definiremos por comprensión. Esto es lo que ocurre
por ejemplo al definir A = {x / x es un alumno matriculado en la Universidad de Jaén}.
Llamaremos cardinal de un conjunto A al número de elementos de dicho

conjunto y lo representaremos por card(A). Atendiendo al número de elementos del
conjunto hablaremos de conjunto finito si su cardinal es finito, y de conjunto
infinito en otro caso.
Diremos que dos conjuntos X e Y son iguales y lo representamos mediante

X = Y, si ambos están formados por los mismos elementos.
Proposición 2.1. La igualdad de conjuntos satisface las siguientes propiedades:
i) Reflexiva: A = A, para todo conjunto A.
ii) Simétrica: Dados A y B conjuntos, si A = B entonces B = A.
iii) Transitiva: Para A, B y C conjuntos, si A = B y B = C entonces A = C.
Diremos que A es un subconjunto de X, que A está contenido o incluido

en X, y lo notaremos mediante A ⊆ X, si todo elemento de A es un elemento de X.
Es decir,
A ⊆ X si y sólo si ∀a ∈ A, entonces a ∈ X.
En tal caso también podemos decir que X contiene a A y lo podemos representar

mediante X ⊇ A. Si A no está contenido en X se denotara por A ⊄ X. Por ejemplo,
A ⊆ B donde A y B son los conjuntos de números naturales definidos en la página
anterior.
Proposición 2.2. El conjunto vacío está contenido en cualquier conjunto X (∅ ⊆ X,

para todo conjunto X).
Proposición 2.3. La inclusión de conjuntos satisface las siguientes propiedades:
i) Reflexiva: A ⊆ A para todo conjunto A.
ii) Antisimétrica: Dados A y B conjuntos, si A ⊆ B y B ⊆ A entonces

A = B.
iii) Transitiva: Dados A, B y C conjuntos, si A ⊆ B y B ⊆ C entonces

A ⊆ C.
A los subconjuntos de X distintos de X y del ∅ se les llama subconjuntos

propios, y a X y al ∅ se les llama subconjuntos impropios de X. Denotamos A ⊂
X o X ⊃ A, si A es un subconjunto de X y A ≠ X.
Dado un conjunto X, llamaremos conjunto potencia o conjunto de las

partes de X, 0(X), al conjunto que tiene por elementos a todos los subconjuntos de
X, esto es,
0(X) = { A / A ⊆ X }
Si X es finito, el número de subconjuntos de X es 2 elevado al cardinal de X, es

decir, el cardinal del conjunto 0(X) es 2card(X) (Para una prueba de lo anterior ver
ejercicio 2.20).
Ejercicio 2.1. Expresar por extensión los siguientes conjuntos:
a) A = {x / x es una letra del alfabeto castellano y x no es una vocal}.
b) B = {x / x es una capital de provincia andaluza que no empieza por

vocal ni por las consonantes c o s}.
Solución:
a) Este conjunto está formado por las letras del alfabeto castellano que no
son vocales, es decir, por las consonantes del alfabeto castellano, por tanto:
A = {b, c, d, f, g, h, j, k, l, m, n, ñ, p, q, r, s, t, v, w, x, y, z}.
b) Como las capitales de provincial de Andalucía son: Almería, Cádiz,

Córdoba, Granada, Huelva, Jaén, Málaga y Sevilla, el conjunto B estará formado
por:
B = {Granada, Huelva, Jaén, Málaga}.

J
Ejercicio 2.2. Expresar por extensión los siguientes conjuntos:
i) A = {x ∈ 1 / x es impar y -5 < x < 7}.
ii) B = {x ∈ 5 / x2 – 3 = 0 ó x + 7 = 2}.
iii) C = {x ∈ 5 / x2 + x + 1 = 0}.
iv) D = {x ∈ = / x es múltiplo de 5} (ver definición en pg. 410).
Solución:
i) En este caso A está formado por los números naturales, por tanto
mayores o iguales a cero, que son impares y menores que 7, es decir:
A = {1, 3, 5}.
ii) B está formado por los números reales que son solución de la ecuación
2
x – 3 = 0 ó de la ecuación x + 7 = 2, por tanto:
B = {– 3 , 3 , –5}.
iii) Ahora C está formado por las soluciones reales de la ecuación x2

+ x + 1 = 0, y como esta ecuación no tiene soluciones reales, C no tendrá

ningún elemento, es decir, C = ∅.
iv) D es infinito, por lo que es imposible enumerar cada uno de sus

elementos. A veces se representa mediante un 5 con un punto encima o bien
con el producto de 5 por el conjunto de los números enteros:
D = 5 = 5= = {…, -10, -5, 0, 5, 10, 15,…}.
J
Ejercicio 2.3. Expresar por comprensión los siguientes conjuntos:
a) A = {2, 4, 6, 8, 10, 12, 14, 16, 18}.
b) B = {a, l, g, e, b, r}.
c) C = {zero, one, two, three, four, five, six, seven, eight, nine}.
d) D = {–1, 3, 7}.
Solución:
Para este ejercicio no existe una solución única. Se propone una posible
solución para cada uno de los apartados:
a) Una forma de expresar el conjunto A sería
A = {x ∈ 1 / x es par y x < 20},
pues todos los números que componen este conjunto son números naturales,
pares y menores que 20 y además son los únicos que satisfacen estas
propiedades.
b) En este caso B está formado por letras del alfabeto castellano:
B = {x / x es una letra del alfabeto que aparece en la palabra “álgebra”}.

c) Ahora:
C = {x / x es el nombre en inglés de un número natural menor que 10}.
d) En este caso es complicado obtener una característica común que

represente a los tres elementos que constituyen D, así una posible solución vendría
dada por los números que satisfacen una ecuación, aquella cuyas soluciones son
exactamente los elementos de D:
D = {x ∈ 5 / (x + 1)(x – 3)(x – 7) = 0}.

J
Ejercicio 2.4. Reescribir usando la notación de teoría de conjuntos los siguientes

enunciados:
(1) A no es un subconjunto del conjunto de los números naturales.
(2) La unidad imaginaria no es un número real.
(3) El conjunto de los números reales contiene a todos los números enteros.
(4) El conjunto sin elementos pertenece al conjunto de las partes de X.
(5) Los conjuntos {a, b, c} y {c, b, a} tienen los mismos elementos.
(6) B es el conjunto formado por el elemento 2.
Solución:
(1) A ⊄ 1. (2) L ∉ 5.
(3) 5 ⊃ = (o bien, = ⊂ 5). (4) ∅ ∈ 0(X).
(5) {a, b, c} = {c, b, a}. (6) B = {2}.

J
Ejercicio 2.5. Razonar la veracidad o falsedad de las siguientes afirmaciones:

(a) ∅ = {∅}. (b) ∅ ∈ 0(∅).
(c) ∅ ⊂ {∅}. (d) 0(∅) ⊂ 0({∅}).
Solución:
(a) Falso, el conjunto ∅ no contiene ningún elemento, es decir, card(∅) =

0, mientras que el conjunto {∅} contiene un elemento, el propio conjunto vacío,
esto es, card({∅}) = 1, por tanto son distintos. Sin embargo si se tiene que ∅ ∈
{∅}.
(b) Verdadero, de hecho 0(∅) = {∅}.
(c) Verdadero, pues cualquier conjunto contiene al conjunto vacío, en

particular el conjunto {∅} contiene al vacío.
(d) Verdadero, pues como se ha visto en (b), 0(∅) = {∅} y el conjunto
formado por el vacío siempre es un subconjunto de 0(X), sea quien sea X, en
particular si X = 0(∅). De hecho, como 0(0(∅)) = 0({∅}) = {∅, {∅}}, también
se tiene que 0(∅) ∈ 0({∅}).
Ejercicio 2.6. Representar mediante diagramas de Veen las siguientes situaciones:
i) Sean x, y ∈ X, y A ∈ 0(X) tal que x ∈ A e y ∉ A.
ii) A, B subconjuntos de X tal que A ⊆ B.
iii) A, B subconjuntos de X sin elementos comunes.
Solución:
i) ii)
X y X
A B
A x
iii)
X
A
B
Ejercicio 2.7. Razonar la veracidad o falsedad de las siguientes afirmaciones:
(a) El conjunto de los números enteros es un subconjunto propio del

conjunto de los números reales.
(b) El conjunto A = {x / x2 – x – 6 = 0} es un subconjunto de 1.
(c) El conjunto B = {x ∈ = / – 4 < x ≤ 3} no es un subconjunto del

intervalo cerrado [– 3 , 3].
Solución:
(a) Verdadero, pues todos los números enteros son también números reales.
Además es un subconjunto propio pues existen números reales, como por ejemplo
2 que no es un número entero, es decir, = ⊆ 5 y 5 ≠ = o lo que es igual = ⊂ 5.
(b) Falso, pues A tiene como elementos las soluciones de la ecuación de

segundo grado x2 – x – 6 = 0, es decir, A = {–2, 3} y por tanto A contiene un
elemento, –2 que no pertenece al conjunto de los naturales. Así A ⊄ 1.
(c) Falso, pues el intervalo cerrado [–3, 3] es el subconjunto de los número

reales comprendidos entre –3 y 3 ambos inclusive, es decir, [–3, 3] = {x ∈ 5 / –3 ≤
x ≤ 3} y el conjunto B = {–3, –2, –1, 0, 1, 2, 3}, luego todo elemento de B está en
el intervalo [–3, 3] y así podemos asegurar que B ⊂ [–3, 3].
J
Ejercicio 2.8. Demostrar la Proposición 2.2.
Solución:
Utilizando la demostración por reducción al absurdo, supongamos que

existe un conjunto A de forma que el conjunto vacío ∅ ⊄ A, entonces tiene que
existir al menos un elemento x ∈ ∅ de forma que x no pertenezca al conjunto A, lo
que es absurdo pues el conjunto ∅ no tiene elementos. Por tanto, para todo
conjunto A, ∅ ⊂ A.
J
Ejercicio 2.9. Dados los conjuntos A = {a, b, c}, B = {a, b, 4, 5} y C = {1, 2, 3, 4},
calcular conjuntos X que satisfagan las siguientes condiciones:
i) X ⊂ B, X ⊄ A y X ⊄ C pero tiene elementos comunes con A y C.
ii) B ⊂ X, X ⊄ C y A y X no tengan elementos comunes.
ii) El menor conjunto tal que A ⊂ X, C ⊂ X y X ⊄ B.
Solución:
i) Como el conjunto que buscamos es un subconjunto propio de B, tendrá

como elementos algunos de los elementos de B, pero no todos. Además debe de
contener al menos un elemento de A y otro elemento de C para que tenga
elementos comunes con ambos conjuntos. Así los conjuntos {a, 4}, {b, 4}, {a, b,
4}, {a, 4, 5} y {b, 4, 5} satisfacen las condiciones pedidas.
ii) No es posible encontrar un conjunto con estas características pues al ser

B un subconjunto de X, todo elemento de B estará en X y en particular el elemento
a tiene que estar en X por lo que A y X si tendrían elementos comunes.
iii) Como X contiene a los conjuntos A y B, los elementos de estos

conjuntos tienen que estar en X. Además X no está contenido en B, es decir, al
menos un elemento de B no está en X y como el único elemento de B que no está
en A y C es el 5, deducimos que el menor conjunto satisfaciendo las condiciones
del apartado es X = {a, b, c, 1, 2, 3, 4}.

J
Ejercicio 2.10. Calcular el conjunto potencia de los conjuntos: A = {{∅}}, B = {a,

b} y C = 0(B).
Solución:
Teniendo en cuenta que card(A) = 1, el conjunto de las partes de A tendrá

dos elementos, los dos subconjuntos impropios de A, es decir:
0(A) = {∅, {{∅}}}.
Nótese como cualquier conjunto con un solo elemento tiene subconjuntos

impropios como ocurre aquí.
El conjunto potencia de B tendrá cuatro elementos, los dos subconjuntos

impropios y dos subconjuntos propios:
0(B) = {∅, {a}, {b}, B}.
Ahora como card(C) = 4, el conjunto potencia de C estará constituido por

4
2 = 16 elementos, que serán subconjuntos de C, es decir, conjunto cuyos
elementos son subconjuntos de B:
0(C) = 0(0(B)) = {∅, {∅},{{a}}, {{b}}, {B}, {∅, {a}}, {∅, {b}}, {∅, B},
{{a}, {b}}, {{a}, B}, {{b}, B}, {∅, {a}, {b}},{∅, {a}, B}, {∅, {b}, B},
{{a}, {b}, B}, 0(B)}.
J
2. OPERACIONES CON CONJUNTOS

2.1. INTERSECCIÓN
Sea X un conjunto y A, B ∈ 0(X). Llamaremos intersección de A y B y lo
representaremos por A ∩ B, al subconjunto de X formado por los elementos que

pertenecen simultáneamente a los conjuntos A y B,
A ∩ B = { x ∈ X / x ∈ A y x ∈ B} ∈ 0(X).
Utilizando diagramas de Veen, la intersección de dos conjuntos A y B vendrá dada

por la zona sombreada:
Diremos que A y B son disjuntos si A ∩ B = ∅, es decir, si A y B no tienen

ningún elemento en común.
Dados n subconjuntos A1, A2,…, An ⊆ X, la intersección de A1, A2,…, An

vendrá dada por el subconjunto de X formado por los elementos comunes a todos
los conjuntos Ai, es decir:
n
A i = A1 ∩ A 2 ∩ ... ∩ A n = {x ∈ X / x ∈ A i para todo 1 ≤ i ≤ n} .

i =1
Proposición 2.4. La intersección de conjuntos satisface las siguientes propiedades:
a) Conmutativa: A ∩ B = B ∩ A, ∀A, B ∈ 0(X).
b) Asociativa: A ∩ (B ∩ C) = (A ∩ B) ∩ C, ∀A, B, C ∈ 0(X).
c) Idempotencia: A ∩ A = A, ∀A ∈ 0(X).
d) Elemento ínfimo: A ∩ ∅ = ∅, ∀A ∈ 0(X).
e) Elemento neutro: A ∩ X = A, ∀A ∈ 0(X).
2.2. UNIÓN
Sea X un conjunto y A, B ∈ 0(X), la unión de A y B, que representamos
mediante A ∪ B, es el subconjunto de X formado por los elementos que pertenecen
al menos a uno de dichos conjuntos, es decir:
A ∪ B = { x ∈ X / x ∈ A ó x ∈ B} ∈ 0(X). X
Gráficamente podemos observarlo en la región

sombreada de la imagen de la derecha:
Dados n subconjuntos A1, A2,…, An ⊆ X, la unión de A1, A2,…, An es el

conjunto formado por los elementos que al menos están en uno de tales conjuntos,
es decir:
n
A i = A1 ∪ A 2 ∪ ... ∪ A n = {x ∈ X / ∃i, 1 ≤ i ≤ n tal que x ∈ A i } .

i =1
Proposición 2.5. La unión de conjuntos satisface las siguientes propiedades:
a) Conmutativa: A ∪ B = B ∪ A, ∀A, B ∈ 0(X).
b) Asociativa: A ∪ (B ∪ C) = (A ∪ B) ∪ C, ∀A, B, C ∈ 0(X).
c) Idempotencia: A ∪ A = A, ∀A ∈ 0(X).
d) Elemento universal: A ∪ X = X, ∀A ∈ 0(X).
e) Elemento neutro: A ∪ ∅ = A, ∀A ∈ 0(X).
Proposición 2.6. La unión junto con la intersección de conjuntos satisface las

siguientes propiedades:
a) Leyes de absorción:
A ∪ (A ∩ B) = A,
A ∩ (A ∪ B) = A, ∀A, B ∈ 0(X).
b) Distributivas:
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C),
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C), ∀A, B, C ∈ 0(X).
2.3. COMPLEMENTO
Dado X un conjunto y A ∈ 0(X), llamaremos complemento o conjunto
complementario de A respecto de X, y lo notaremos por A’, Ac o A , al conjunto

formado por todos los elementos de X que no pertenecen a A, es decir:
A’ = Ac = A = { x ∈ X / x ∉ A} ∈ 0(X).
Gráficamente, el complemento de A vendrá representado por la zona sombreada:
A
Proposición 2.7. El complemento de conjuntos satisface las siguientes

propiedades:
a) Involución: (A’)’ = A, ∀A ∈ 0(X).
b) Complemento del universo: X’ = ∅.
c) Complemento del vacío: ∅’ = X.
Proposición 2.8. La operación complemento junto con la unión y la intersección

satisfacen las siguientes propiedades:
a) Leyes del complemento:
A ∪ A’ = X,
A ∩ A’ = ∅, ∀A ∈ 0(X).
b) Leyes de De Morgan:
(A ∪ B)’= A’ ∩ B’,
(A ∩ B)’= A’ ∪ B’, ∀A, B ∈ 0(X).
Ejercicio 2.11. Consideremos el conjunto X = {x ∈ = / –23 < x < 20 y x es

múltiplo de 4} y los subconjuntos de X dados por:
A = {0, 4, 16}, B ={x ∈ X / x > 0},
C = {x ∈ X / x ≤ 4} y D = { x ∈ X / x es múltiplo de 16}.
Calcular los conjuntos A ∪ B, A ∪ B ∪ C, C ∩ D, A ∩ B ∩ C ∩ D y sus

complementarios. ¿Son los conjuntos A ∩ C y B ∩ D disjuntos?
Solución:
Teniendo en cuenta que el conjunto X de forma explícita viene dado por

los elementos:
X = {–20, –16, –12, –8, –4, 0, 4, 8, 12, 16},
el conjunto B = {4, 8, 12, 16}, C = {–20, –16, –12, –8, –4, 0, 4} y D = {–16, 0,
16}. Así:
A ∪ B = {0, 4, 8, 12, 16}, (A ∪ B)’ = {–20, –16, –12, –8, –4},
A ∪ B ∪ C = X, (A ∪ B ∪ C)’ = ∅,
C ∩ D = {–16, 0}, (C ∩ D)’ = {–20, –12, –8, –4, 4, 8, 12, 16},
A∩B∩C∩D=∅ (A ∩ B ∩ C ∩ D)’ = X
Para estudiar si A ∩ C y B ∩ D son disjuntos, primero calculamos estos

conjuntos:
A ∩ C = {0, 4}, B ∩ D = {16}.
Luego (A ∩ C) ∩ (B ∩ D) = ∅, y por tanto estos conjuntos son disjuntos.

J
Ejercicio 2.12. Sea = el conjunto de los números enteros y sus subconjuntos dados
por:
A = {x ∈ = / x ≤ 4 y x múltiplo de 4}, B = {x ∈ = / x < 0},
C = {x ∈ = / x es múltiplo de 16}.
Calcular los conjuntos A ∪ B, B ∩ C, A’ y B’. ¿Son algunos de los subconjuntos

anterior disjuntos entre si?
Solución:
El conjunto A ∪ B está formado por los números enteros que están en A o

en B, es decir:
A ∪ B = {x ∈ = / x ≤ 0 o x = 4}
ya que A = {…, –12, –8, –4, 0, 4}, es decir, los únicos elementos de A que no están
en B son el 0 y el 4.
El conjunto B ∩ C está formado por los números enteros que están a la

vez en B y en C, por tanto:
B ∩ C = {x ∈ = / x < 0 y x es múltiplo de 16} = {…, –64, –48, –32, –16}.
El conjunto A’ está formado por los números enteros que no están en A,

por tanto,
A’ = {x ∈ = / x > 4} ∪ {x ∈ = / x < 4 y x no es múltiplo de 4}.
Análogamente, B’ está formado por los enteros que no están en B, es decir, B’ = 1.
Como B ∩ C ⊆ A ∪ B, deducimos que ambos conjuntos no son disjuntos.

A’ y A ∪ B no son tampoco disjuntos pues A’ ∩ (A ∪ B) ≠ ∅ (por ejemplo, –1 ∈
A’ ∩ (A ∪ B), de hecho, todos los números enteros negativos y no múltiplos de 4
están en dicha intersección). Lo mismo ocurre con B’ y A ∪ B pues B’ ∩ (A ∪ B)
= {0, 4}.
Sin embargo, (B ∩ C) y A’ si son disjuntos, es decir, (B ∩ C) ∩ A’ = ∅

ya que los números que son múltiplos de 16 también son múltiplos de 4 y por tanto
no están en A’. De forma análoga, (B ∩ C) y B’ son disjuntos pues B’ es el
conjunto de los números naturales y en B ∩ C no hay ningún número natural. Por
último, A’ y B’ claramente no son disjuntos pues A’ ∩ B’ está formado por todos
los números naturales menos el 0 y el 4.
J
Ejercicio 2.13. Consideremos el conjunto X = 0({1, 2, 3, 4, 5}) y los subconjuntos
de X dados por:
X1 = {C ∈ X / card(C) = 2},
X2 = {C ∈ X / 1 ∈ C o 5 ∈ C}.
Calcular X1 ∪ X2, X1 ∩ X2 y el complemento de X2.

Solución:
X es el conjunto cuyos elementos son los subconjuntos del conjunto {1, 2,

3, 4, 5}. Por tanto, el cardinal de X es 25 = 32. En efecto:
X = {∅, {1}, {2}, {3}, {4}, {5}, {1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3},
{2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}, {1, 2, 3}, {1, 2, 4}, {1, 2, 5}, {1,
3, 4}, {1, 3, 5}, {1, 4, 5}, {2, 3, 4}, {2, 3 ,5}, {2, 4, 5}, {3, 4, 5}, {1, 2,
3, 4}, {1, 2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}, {2, 3 ,4 ,5}, {1, 2, 3, 4, 5}}
Calculemos X1 y X2:
X1 = {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3}, {2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}}
X2 = {{1}, {5}, {1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {4, 5}, {1, 2, 3},
{1, 2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 3, 5}, {1, 4, 5}, {2, 3 ,5}, {2, 4, 5}, {3, 4, 5},
{1, 2, 3, 4}, {1, 2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}, {2, 3 ,4 ,5}, {1, 2, 3, 4, 5}}
Así X1 ∪ X2 vendrá dado por los subconjuntos que pertenecen a X1 o a X2,
X1 ∪ X2 = {{1}, {5}, {1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3}, {2, 4}, {2, 5}, {3, 4},
{3, 5}, {4, 5}, {1, 2, 3}, {1, 2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 3, 5}, {1, 4, 5}, {2, 3 ,5},
{2, 4, 5}, {3, 4, 5}, {1, 2, 3, 4}, {1, 2, 3, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}, {2, 3 ,4 ,5},
{1, 2, 3, 4, 5}}
Por otra parte, X1 ∩ X2 está compuesto por los subconjuntos que están a la
vez en los dos conjuntos:
X1 ∩ X2 = {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 5}, {3, 5}, {4, 5}}
Por último, el complemento de X2 está formado por los elementos de X que

no están en dicho conjunto:
(X2)’ = {∅, {2}, {3}, {4}, {2, 3}, {2, 4}, {3, 4}, {2, 3, 4}}.
J
Ejercicio 2.14. Demostrar la propiedad conmutativa de la intersección de conjuntos

(Proposición 2.4).
Solución:
Tenemos que probar que para cualesquiera conjuntos A y B ∈ 0(X), se
tiene: A ∩ B = B ∩ A.
Esta propiedad como el resto de las de la Proposición 2.4 son consecuencia

de las propiedades de la conectiva ∧ vistas en el capítulo anterior. En concreto, el
Corolario 1.5 nos asegura que la conjunción satisface la ley conmutativa, que será
la que nos permite demostrar la propiedad conmutativa para la intersección.
Para demostrar esta igualdad entre conjuntos basta con probar que el
primer conjunto A ∩ B está contenido en el segundo B ∩ A y viceversa, que B ∩
A ⊆ A ∩ B, pues de lo anterior se deduce por la propiedad antisimétrica que ambos
conjuntos son iguales.
Si tomamos un elemento arbitrario x ∈ A ∩ B, sabemos que dicho

elemento x está en A y también que x está en B. La ley conmutativa de la
conjunción permite asegurar que la afirmación anterior es igual a que x está en B y
también en A, o lo que es lo mismo que x ∈ B ∩ A. De forma análoga probamos
que B ∩ A ⊆ A ∩ B, y por tanto se tiene la igualdad entre ambos conjuntos.
J
Ejercicio 2.15. Demostrar la propiedad asociativa de la unión de conjuntos

(Proposición 2.5).
Solución:
Tenemos que probar que para cualesquiera conjuntos A, B y C ∈ 0(X), se
tiene: A ∪ (B ∪ C) = (A ∪ B) ∪ C.
Ahora esta propiedad, como el resto de las propiedades de la Proposición

2.5, es consecuencia de las propiedades de la conectiva ∨ vistas en el capítulo
anterior. En concreto, el Corolario 1.5 nos asegura que la disyunción satisface la
ley asociativa, propiedad que nos permite demostrar la asociatividad de la unión.
Como antes, al tratarse de una igualdad de conjuntos, demostraremos la

doble inclusión entre estos dos conjuntos:
Si tomamos un elemento arbitrario x ∈ A ∪ (B ∪ C), por definición de

unión sabemos que x ∈ A o bien que x ∈ (B ∪ C), y de esto último deducimos que
x ∈ B o x ∈ C. Aplicamos aquí nuestro conocimiento de lógica, como las formas

enunciativas ! ∨ (" ∨ #) y (! ∨ ") ∨ # son lógicamente equivalente (ley
asociativa de la disyunción), podemos asegurar que x ∈ (A ∩ B) y como también

pertenece a C se tiene que x ∈ (A ∩ B) ∩ C. Así hemos probado que A ∪ (B ∪ C)
⊆ (A ∩ B) ∩ C.
Análogamente probamos la otra inclusión, (A ∩ B) ∩ C ⊆ A ∪ (B ∪ C) y

de la propiedad antisimétrica de la inclusión de conjuntos se deduce la igualdad
entre estos dos conjuntos.
J
Ejercicio 2.16. Demostrar las leyes de absorción (Proposición 2.6).
Solución:
Claramente por la definición de unión, A ⊆ A ∪ (A ∩ B). Supongamos

ahora que x es un elemento arbitrario del conjunto A ∪ (A ∩ B). Entonces x ∈ A
o bien x ∈ A ∩ B. En la segunda opción, por la definición de intersección
deducimos que x pertenece a ambos conjuntos, en particular x ∈ A. Por tanto, en
cualquier caso hemos llegado a que a ∈ A, y así, A ∪ (A ∩ B) ⊆ A. Ambas
inclusiones conllevan a la igualdad buscada A ∪ (A ∩ B) = A.
Teniendo en cuenta que la intersección de dos conjuntos cualesquiera está

contenida en ambos conjuntos, se tiene A ∩ (A ∪ B) ⊆ A. Si ahora tomamos un
elemento arbitrario x ∈ A, es obvio que dicho elemento está en la unión de A y B,
por lo que x ∈ A y x ∈ A ∪ B, de donde por la definición de intersección
deducimos que x ∈ A ∩ (A ∪ B). Luego A ⊆ A ∩ (A ∪ B). A partir de lo anterior,
la propiedad antisimétrica nos prueba la igualdad A = A ∩ (A ∪ B).
J
Ejercicio 2.17. Demostrar las leyes de De Morgan (Proposición 2.8).
Solución:
Comencemos probando que el complemento de la unión de dos conjuntos

es la intersección de los complementos de dichos conjuntos, es decir, (A ∪ B)’ =
A’ ∩ B’.
Si tomamos un elemento x ∈ (A ∪ B)’, entonces x ∈ X pero no pertenece a

la unión de A y B. Por tanto, x ∉ A y x ∉ B, es decir, x ∈A’ y x ∈ B’. De donde x
∈ A’ ∩ B’. Así hemos probado que (A ∪ B)’ ⊆ A’ ∩ B’. Por otra parte, si
tomamos un elemento arbitrario y del conjunto A’ ∩ B’, por la definición de
intersección sabemos que y ∈A’ e y ∈ B’, es decir, y es un elemento de X que no
está en A ni tampoco en B. De lo anterior es sencillo deducir que y ∉ A ∪ B, y así
se tiene que y es un elemento del complementario del conjunto A ∪ B. Por tanto,
A’ ∩ B’ ⊆ (A ∪ B)’. De las dos inclusiones probadas deducimos que ambos
conjuntos tienen los mismos elementos.
De forma similar, se prueba la igualdad (A ∩ B)’ = A’ ∪ B’.

J
Ejercicio 2.18. Dado X un conjunto y A, B subconjuntos de X. Llamaremos

diferencia de A y B y lo denotamos por A – B, al conjunto formado por los
elementos de X que están en A y no en B. Se pide:
a) Representar mediante diagramas de Veen dicho conjunto.
b) Demostrar las siguientes propiedades:
b.1) (A – B)’ = A’∪ B.
b.2) (A ∪ B) – C ⊆ A ∪ (B – C) y no es cierta la igualdad.
b.3) (A – B) ∩ (C – B) = (A ∩ C) – B
Solución:
a) Si A ∩ B = ∅, el conjunto A – B = A y si A ∩ B ≠ ∅ dicho conjunto lo

podemos representar mediante el siguiente diagrama:
A
B
b) En efecto, la diferencia de conjuntos satisface:
b.1) Veamos dos demostraciones distintas que nos justifican la propiedad

(A – B)’ = A’ ∪ B.
En primer lugar podemos comprobar la igualdad por doble inclusión. Si

tomamos x ∈ (A – B)’ entonces x ∉ A – B, es decir, no es cierto que x ∈ A y x ∉
B, o lo que es igual x ∉ A o bien x ∈ B. Así x ∈ A’ ∪ B. Por otra parte, si x ∈ A’
∪ B, sabemos que x ∈ A’ o x ∈ B. Así x ∉ A o bien x ∈ B, y usando la relación
entre la negación de la conjunción y la disyunción dada por una de las leyes de De
Morgan (Corolario 1.4) se tiene que x ∉ A – B, es decir, x ∈ (A – B)’.
Por otra parte teniendo en cuenta que la diferencia de A y B se puede

definir en términos de la intersección y el complemento mediante la siguiente

igualdad
A – B = A ∩ B’,
es sencillo probar la igualdad usando una de las leyes de De Morgan de la

Proposición 2.8 y la propiedad de involución dada en la Proposición 2.7. En
efecto:
(A – B)’ = (A ∩ B’)’ = A’∪ (B’)’ = A’∪ B.
b.2) Si tomamos ahora un elemento arbitrario x ∈ (A ∪ B) – C, se tiene

que x ∈ (A ∪ B) y que x ∉ C. Así x ∈ A o x ∈ B y además x ∉ C, es decir, x ∈ A
o x ∈ B – C. Luego x ∈ A ∪ (B – C). Esto nos prueba que (A ∪ B) – C ⊆ A ∪ (B
– C). Para ver que no es cierta la igualdad tenemos que obtener un contraejemplo,
es decir, un ejemplo que nos muestre como dicha igualdad no se da: sea X = {a, b,
c, d, e} y sus subconjuntos A = {a, b, c}, B = {d, e} y C = {a, e} claramente se
tiene:
(A ∪ B) – C = X – C = C’ = {b, c, d},
mientras que:
A ∪ (B – C) = A ∪ {d} = {a, b, c, d}
Por tanto, (A ∪ B) – C ≠ A ∪ (B – C).
b.3) Teniendo en cuenta que A – B = A ∩ B’, se tiene:
(A – B) ∩ (C – B) = (A ∩ B’) ∩ (C ∩ B’),
La propiedad asociativa, conmutativa e idempotencia para la intersección

(Proposición 2.4), nos permiten asegurar:
(A – B) ∩ (C – B) = (A ∩ B’) ∩ (C ∩ B’) = A ∩ ((B’ ∩ C) ∩ B’)

= A ∩ (C ∩ (B’ ∩ B’)) = A ∩ (C ∩ B’) = A ∩ (C – B).

J
Ejercicio 2.19. Sea X un conjunto y A, B, C subconjuntos de X. Razonar la

veracidad o falsedad de las siguientes afirmaciones probándolas en caso de ser
ciertas o dando un contraejemplo en otro caso:
a) Si A ∩ B = A ∩ C entonces B = C.
b) Si A – B = ∅, entonces B’ ⊆ A’.
c) Si A ⊆ B, entonces A ∪ B = A.
Solución:
a) Falso. Tomando el conjunto X = {a, e, i, o, u} y los subconjuntos A =

{a, e, i}, B = {a, e, o} y C = {a, e, u}, claramente B y C son distintos y sin embargo
A ∩ B = A ∩ C = {a, e}.
b) Verdadero. Supongamos que A – B = ∅, entonces no existen elementos

de A que no estén en el conjunto B, o lo que es lo mismo, todo elemento de A está
en B. Así A ⊆ B. Veamos ahora que B’ ⊆ A’. Sea x ∈ B’, entonces x ∉ B y como
todo elemento de A es un elemento de B, x ∉ A, o lo que es igual x ∈ A’. Así, B’
⊆ A’.
c) Falso. Tomamos el mismo conjunto X del apartado a) y los subconjuntos

A = {a, e, i} y B = {a, e, i, o}. Claramente A ⊆ B, y sin embargo A ∪ B ≠ A. Lo
que sí es cierto es que si A ⊆ B, entonces A ∪ B = B.
J
Ejercicio 2.20. Sea X un conjunto finito con card(X) = n. Probar que el número de
elementos del conjunto potencia 0(X) es 2n.
Solución:
Este resultado podemos probarlo por inducción (ver Principio de Inducción

en Proposición 4.1) sobre el cardinal del conjunto X.
Si card(X) = 0, entonces X = ∅ y en tal caso 0(X) = {∅}, es decir,
card(0(X)) = 20 = 1.
Supuesto cierto que card(0(X)) = 2r si card(X) = r con r < n, veamos como
el resultado tambien es cierto si X = {a1, a2,…, an}, esto es, tiene exactamente n
elementos. En este caso X = X’ ∪ {an} con X’ = {a1, a2,…, an – 1} y como card(X’)
= n – 1, la hipótesis de inducción nos asegura que card(0(X’)) = 2n – 1. Ahora bien,
0(X) = 0(X’) ∪ {A ∪ {an} / A ∈ 0(X’)}
y como claramente 0(X’) ∩ {A ∪ {an} / A ∈ 0(X’)} = ∅, es decir, ambos
conjuntos son disjuntos se tiene:
card(0(X)) = card(0(X’)) + card({A ∪ {an} / A ∈ 0(X’)}) = 2n – 1 + 2n – 1 = 2n.

J
3. PRODUCTO CARTESIANO
Un par ordenado es un objeto formado por dos elementos con un orden

determinado que notaremos por (a, b). A los elementos “a” y “b” se les denomina
primera y segunda componente del par (a, b). Dos pares ordenados son iguales si
y sólo si las correspondientes componentes son iguales.
De forma análoga podemos definir una terna, una cuaterna, y en general,

una n-upla como un objeto, que denotamos por (a1, a2,..., an), formado por n
elementos a1, a2,..., an con un orden determinado.
Dados X e Y conjuntos, llamaremos producto cartesiano de X e Y, al

conjunto formado con todos los pares ordenados que pueden formarse con
elementos de X e Y y de manera que la primera componente es un elemento de X y
la segunda es un elemento de Y:
X × Y = {(a, b) / a ∈ X y b ∈ Y}.
Nótese que si X e Y son conjuntos finitos, el cardinal de X × Y es el

producto de los cardinales de X e Y (ver una prueba en Ejercicio 2.21). El producto
cartesiano se puede representar mediante diagramas cartesianos, diagramas
sagitales y tablas de doble entrada.
De igual forma, podemos definir el producto cartesiano de tres conjuntos

X, Y y Z:
X × Y × Z = {(a, b, c) / a ∈ X, b ∈ Y y c ∈ Z}.
En general, dados X1, X2,..., Xn conjuntos, definimos su producto cartesiano

como el conjunto formado por todas las n-uplas posibles (a1, a2,...,an) de forma que
ai ∈ Xi, para cada i = 1, 2,…, n.
X1 × X2 ×...× Xn = {(a1, a2,..., an) / ai ∈ Xi, ∀i = 1, 2,…,n}.
Proposición 2.9. Sean X e Y conjuntos, A, B ∈ 0(X) y C, D ∈ 0(Y), se tiene:
(i) X × Y ≠ Y × X siempre que X e Y sean distintos.
(ii) A × C ⊆ X × Y.
(iii) Distributiva respecto de la unión
X × (C ∪ D) = (X × C) ∪ (X × D)
(A ∪ B) × Y = (A × Y) ∪ (B × Y)
(iv) Distributiva respecto de la intersección
X × (C ∩ D) = (X × C) ∩ (X × D)
(A ∩ B) × Y = (A × Y) ∩ (B × Y)
(v) (X × C)’ = X × C’ y (A × Y)’ = A’ × Y.
(vi) (A × C) ∩ (B × D) = (A ∩ B) × (C ∩ D).
Ejercicio 2.21. Sean X e Y conjuntos finitos con n y m elementos respectivamente.

Probar que card(X × Y) = n ⋅ m.
Solución:
Primero observamos que el número de elementos de X coincide con el

número de elementos del producto cartesiano de X con un conjunto formado por un
solo elemento, X × {a}.
Si consideramos que Y = {b1, b2,…, bm} podemos asegurar que
m
X×Y= (X × {b }) ,
i =1
i
y como los conjuntos X × {bi} y X × {bj} son disjuntos si i ≠ j y el cardinal de la

unión de dos conjuntos disjuntos es la suma de los cardinales de dichos conjuntos,
deducimos que:
m m
card(X × Y) = ¦ card(X × {b i }) = ¦ card(X ) = card(X) ⋅ m = n ⋅ m.
i =1 i =1
J
Ejercicio 2.22. Comprobar que si X e Y son conjuntos distintos, los productos

cartesianos X × Y e Y × X también son distintos.
Solución:
Sea X = {1, 3} e Y = {2, 4, 6}, entonces card(X × Y) = card(Y × X)

aunque estos conjuntos son distintos, pues:
X × Y = {(1, 2), (1, 4), (1, 6), (3, 2), (3, 4), (3, 6)}
Y × X = {(2, 1), (2, 3), (4, 1), (4, 3), (6, 1), (6, 3)}.
que claramente son distintos pues por ejemplos los pares (1, 2) y (2, 1) son
distintos ya que componente a componente no coinciden. Esto nos prueba el
apartado (i) de la Proposición 2.9.
J
Ejercicio 2.23. Sean X = {a, e, i, o, u} e Y = {0, 1}, calcular los productos

cartesianos X × Y, Y × Y y X × Y × Y.
Solución:
X × Y está formado por todos los pares ordenados de forma que la primera
componente está en X y la segunda en Y. Es decir:
X × Y = {(a, 0), (a, 1), (e, 0), (e, 1), (i, 0), (i, 1), (o, 0), (o, 1), (u, 0), (u, 1)}.
De igual forma Y × Y, o simplificando la notación Y2 tiene como

elementos los pares ordenados de forma que ambas componentes están en Y:
Y × Y = Y2 = {(0, 0), (0, 1), (1, 0), (1, 1)}.
Por último, los elementos de X × Y × Y serán ternas cuya primera

componente es un elemento de X y las dos últimas componentes son ambas
elementos de Y. Por tanto:
X × Y × Y = {(a, 0, 0), (a, 0, 1), (a, 1, 0), (a, 1, 1), (e, 0, 0), (e, 0, 1), (e, 1, 0),
(e, 1, 1), (i, 0, 0), (i, 0, 1), (i, 1, 0), (i, 1, 1), (o, 0, 0), (o, 0, 1), (o, 1, 0), (o, 1, 1),
(u, 0, 0), (u, 0, 1), (u, 1, 0), (u, 1, 1)}.
Estos elementos se pueden obtener mediante el llamado diagrama en árbol en el

que se combina cada elemento de X primero con un elemento de Y y después con
otro elemento de Y:
Y Y X×Y×Y
0 (a, 0, 0)
0 (a, 0, 1)
1
a 0 (a, 1, 0)
1 (a, 1, 1)
1
0 (e, 0, 0)
0 (e, 0, 1)
1
e 0 (e, 1, 0)

1 (e, 1, 1)
1

0 (i, 0, 0)

0 (i, 0, 1)
1

i 0 (i, 1, 0)

……….
1
J
Ejercicio 2.24. Demostrar la propiedad (iii) de la Proposición 2.9, es decir, la

propiedad distributiva del producto cartesiano respecto de la unión.
Solución:
En primer lugar, tenemos que probar que dados X e Y conjuntos y C y D

subconjuntos de Y, se tiene:
X × (C ∪ D) = (X × C) ∪ (X × D)
Por una parte, dado un objeto (x, y) ∈ X × (C ∪ D), sabemos que su

primera componente x ∈ X y que su segunda componente y ∈ (C ∪ D). Teniendo
en cuenta la definición de la unión de dos conjuntos podemos asegurar que y está
en C o en D o en ambos conjuntos, de donde deducimos que el par ordenado (x, y)

∈ (X × C) o (x, y) ∈ (X × D) o bien pertenece a ambos conjuntos. En cualquier
caso, (x, y) es un elemento de la unión (X × C) ∪ (X × D). De esta forma hemos
probado que X × (C ∪ D) ⊆ (X × C) ∪ (X × D).
Por otra parte, si tomamos un par (x, y) ∈ (X × C) ∪ (X × D), por la

definición de unión sabemos que el par (x, y) está en (X × C) o en (X × D). En
cualquier caso, la primera componente x ∈ X, mientras que la segunda componente
y ∈ C o y ∈ D. Así deducimos que y ∈ C ∪ D y por tanto, el par ordenado (x, y) ∈
X × (C ∪ D). Tenemos así probada la inclusión (X × C) ∪ (X × D) ⊆ X × (C ∪ D),
que junto con la probada en el párrafo anterior nos asegura la igualdad.
De forma análoga se puede probar que (A ∪ B) × Y = (A × Y) ∪ (B × Y).

J
Ejercicio 2.25. Demostrar una de las igualdades del apartado (v) de la Proposición
2.9 y comprobar si para cualesquiera subconjuntos A de X y C de Y se tiene la
igualdad (A × C)’ = A’ × C’.
Solución:
Probemos por ejemplo que (X × C)’ = X × C’. Si un par ordenado (x, y) ∈

(X × C)’, sabemos que (x, y) es un elemento del producto cartesiano X × Y pero (x,
y) ∉ X × C. Como x ∈ X, deducimos que la segunda componente y ∉ C o lo que es
igual y ∈ C’. Así (x, y) ∈ X × C’. Por otra parte, dado (x, y) ∈ X × C’, sabemos
que x ∈ X y que y ∈ C’, es decir, y ∉ C. Por tanto, el par (x, y) no puede ser un
elemento de X × C, o lo que es lo mismo (x, y) ∈ (X × C)’. Así, (X × C)’ = X × C’.
En primer lugar, comprobemos usando un ejemplo si es cierta la igualdad

(A × C)’ = A’ × C’. Sea X = {a, b, c} e Y = {1, 2, 3} y consideremos los
subconjuntos A = {a, b} y C = {1, 3}. Así:
A × C = {(a, 1), (a, 3), (b, 1), (b, 3)}
y su complementario estará formado por los elementos de X × Y que no están en A
× C, es decir, los pares ordenados de X × Y con al menos una de sus componentes

fuera de A o de C. Así:
(A × C)’ = {(a, 2), (b, 2), (c, 1), (c, 2), (c, 3)}
Por otra parte, A’ = {c} y C’ = {2}, luego A’ × C’ = {(c, 2)}. Por tanto, claramente
(A × C)’ ≠ A’ × C’. Nótese que tanto en este ejemplo como en general, sí es cierta
la inclusión, A’ × C’ ⊆ (A × C)’. En efecto:
Dado (x, y) ∈ A’ × C’, sabemos que la primera componente x ∈ A’ y la

segunda y ∈ C’, esto es, x ∉ A e y ∉ C. De donde el par ordenado (x, y) ∉ A × C,
es decir, (x, y) ∈ (A × C)’.
J
Ejercicio 2.26. Demostrar la igualdad del apartado (vi) de la Proposición 2.9 y

comprobar si es cierta cambiando la intersección por la unión, es decir, si se tiene
la igualdad (A × C) ∪ (B × D) = (A ∪ B) × (C ∪ D).
Solución:
Probemos primero la propiedad (vi) de la Proposición 2.9:
(A × C) ∩ (B × D) = {(x, y) / (x, y) ∈ (A × C) y (x, y) ∈ (B × D)}
= {(x, y) / x ∈ A, y ∈ C, x ∈ B e y ∈ D}
= {(x, y) / x ∈ A ∩ B e y ∈ C ∩ D}
= (A ∩ B) × (C ∩ D).
Veamos ahora con un ejemplo como la igualdad anterior no es cierta si

cambiamos la intersección por la unión. Tomamos como X e Y los mismos
conjuntos del ejercicio anterior y consideramos los subconjuntos A = {a, c} y B =
{b} de X y C ={1} y D ={3} de Y. Así:
A∪B=X y C ∪ D ={1, 3}.
De donde:
(A ∪ B) × (C ∪ D) = {(a, 1), (a, 3), (b, 1), (b, 3), (c, 1), (c, 3)}
Por otra parte:
A × C = {(a, 1), (c, 1)} y B × D = {(b, 3)},
Luego:
(A × C) ∪ (B × D) = {(a, 1), (c, 1), (b, 3)}
Como es fácil de observar, ambos conjuntos son distintos. Sin embargo, en este
ejemplo vemos que sí es cierta una de las inclusiones. De hecho, en general el
lector puede probar que la inclusión (A × C) ∪ (B × D) ⊆ (A ∪ B) × (C ∪ D) sí es
válida.
J
4. APLICACIONES
Sean X e Y conjuntos. Una correspondencia de X en Y es una terna (X,

Y, G) donde G es un subconjunto del producto cartesiano, G ⊆ X × Y al que
llamaremos grafo o gráfica. A los conjuntos X e Y se les llama conjunto inicial y
conjunto final de la correspondencia. Si el par (x, y) ∈ G se dice que “x se
corresponde con y”.
A una correspondencia como la anterior se le suele asignar letras f, g, h,...,

Así una correspondencia f de X en Y, que vendrá dada por la terna f = (X, Y, Gf),
se representa mediante
f
f: X ⎯→ Y, o bien, X ⎯
⎯→ Y
Nótese que el grafo de tal correspondencia se denota mediante Gf para indicar que
es el grafo de f: X ⎯→ Y.
En lo que sigue consideremos f = (X, Y, Gf) una correspondencia. Si a ∈

MatemDiscretParaComputac Cap2

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

MatemDiscretParaComputac Cap2

Cargado por

Copyright:

Formatos disponibles

CAPÍTULO 2

El concepto de conjunto es uno de los más importantes en matemáticas,

Todo matemático o filósofo ha empleado razonamientos de teoría de

matemático Georg Cantor (1845-1918), aunque otros matemáticos como George

En el último cuarto del siglo XIX se vivió un episodio apasionante de la

Cantor definió conjunto como “una colección en un todo de determinados

Su obra fue admirada y condenada simultáneamente por sus

La Teoría de Conjuntos empezó a influir en otras áreas de las matemáticas.

1. GENERALIDADES SOBRE CONJUNTOS

Llamaremos conjunto a toda colección de objetos y elemento a cada uno

Utilizaremos las letras mayúsculas A, B, C, X, Y,... para denotar conjuntos

y las letras minúsculas a, b, c, x, y,... para representar elementos de un conjunto.

x∈A el elemento “x” pertenece al conjunto “A”,

Finalmente utilizamos los siguientes símbolos para los conjuntos de números:

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

1 = conjunto de los números naturales = {0, 1, 2, 3, 4,.....},

= = conjunto de los números enteros = {...,-3, -2, -1, 0, 1, 2, 3,...},

& = conjunto de los números complejos = { a + bL tal que a, b ∈ 5}.

Un conjunto se puede definir de dos formas:

i) Por extensión, citando cada uno de sus elementos, por ejemplo:

B = {x ∈ 1 / x es par y x < 20},

Los conjuntos se suelen representar gráficamente mediante diagramas de

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

Llamaremos cardinal de un conjunto A al número de elementos de dicho

Diremos que dos conjuntos X e Y son iguales y lo representamos mediante

Proposición 2.1. La igualdad de conjuntos satisface las siguientes propiedades:

i) Reflexiva: A = A, para todo conjunto A.

ii) Simétrica: Dados A y B conjuntos, si A = B entonces B = A.

iii) Transitiva: Para A, B y C conjuntos, si A = B y B = C entonces A = C.

Diremos que A es un subconjunto de X, que A está contenido o incluido

En tal caso también podemos decir que X contiene a A y lo podemos representar

Proposición 2.2. El conjunto vacío está contenido en cualquier conjunto X (∅ ⊆ X,

Proposición 2.3. La inclusión de conjuntos satisface las siguientes propiedades:

i) Reflexiva: A ⊆ A para todo conjunto A.

ii) Antisimétrica: Dados A y B conjuntos, si A ⊆ B y B ⊆ A entonces

iii) Transitiva: Dados A, B y C conjuntos, si A ⊆ B y B ⊆ C entonces

A los subconjuntos de X distintos de X y del ∅ se les llama subconjuntos

Dado un conjunto X, llamaremos conjunto potencia o conjunto de las

Si X es finito, el número de subconjuntos de X es 2 elevado al cardinal de X, es

Ejercicio 2.1. Expresar por extensión los siguientes conjuntos:

a) A = {x / x es una letra del alfabeto castellano y x no es una vocal}.

b) B = {x / x es una capital de provincia andaluza que no empieza por

b) Como las capitales de provincial de Andalucía son: Almería, Cádiz,

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

B = {Granada, Huelva, Jaén, Málaga}.

Ejercicio 2.2. Expresar por extensión los siguientes conjuntos:

i) A = {x ∈ 1 / x es impar y -5 < x < 7}.

iv) D = {x ∈ = / x es múltiplo de 5} (ver definición en pg. 410).

iii) Ahora C está formado por las soluciones reales de la ecuación x2

+ x + 1 = 0, y como esta ecuación no tiene soluciones reales, C no tendrá

iv) D es infinito, por lo que es imposible enumerar cada uno de sus

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

Ejercicio 2.3. Expresar por comprensión los siguientes conjuntos:

a) A = {2, 4, 6, 8, 10, 12, 14, 16, 18}.

a) Una forma de expresar el conjunto A sería

A = {x ∈ 1 / x es par y x < 20},

b) En este caso B está formado por letras del alfabeto castellano:

B = {x / x es una letra del alfabeto que aparece en la palabra “álgebra”}.

C = {x / x es el nombre en inglés de un número natural menor que 10}.

d) En este caso es complicado obtener una característica común que

D = {x ∈ 5 / (x + 1)(x – 3)(x – 7) = 0}.

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

Ejercicio 2.4. Reescribir usando la notación de teoría de conjuntos los siguientes

A i = A1 ∩ A 2 ∩ ... ∩ A n = {x ∈ X / x ∈ A i para todo 1 ≤ i ≤ n} .

A i = A1 ∪ A 2 ∪ ... ∪ A n = {x ∈ X / ∃i, 1 ≤ i ≤ n tal que x ∈ A i } .