Está en la página 1de 33

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


Copyright © 2017. Universidad de Jaén. All rights reserved.

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

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:06:39.
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


Copyright © 2017. Universidad de Jaén. All rights reserved.

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}.

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 153

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
Copyright © 2017. Universidad de Jaén. All rights reserved.

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.
2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
154 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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}.
Copyright © 2017. Universidad de Jaén. All rights reserved.

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:

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 155

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


Copyright © 2017. Universidad de Jaén. All rights reserved.

+ 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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
156 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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”}.


Copyright © 2017. Universidad de Jaén. All rights reserved.

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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 157

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:


Copyright © 2017. Universidad de Jaén. All rights reserved.

(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 ∅ ∈
{∅}.

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
158 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

(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
Copyright © 2017. Universidad de Jaén. All rights reserved.

iii)
X
A
B

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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 159

(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
Copyright © 2017. Universidad de Jaén. All rights reserved.

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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
160 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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
Copyright © 2017. Universidad de Jaén. All rights reserved.

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:
2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 161

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


Copyright © 2017. Universidad de Jaén. All rights reserved.

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:

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
162 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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).
Copyright © 2017. Universidad de Jaén. All rights reserved.

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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 163

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).
Copyright © 2017. Universidad de Jaén. All rights reserved.

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,

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
164 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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
Copyright © 2017. Universidad de Jaén. All rights reserved.

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.

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 165

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:
Copyright © 2017. Universidad de Jaén. All rights reserved.

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)’ = ∅,

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
166 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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}
Copyright © 2017. Universidad de Jaén. All rights reserved.

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}.

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 167

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.


Copyright © 2017. Universidad de Jaén. All rights reserved.

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}}

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
168 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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


Copyright © 2017. Universidad de Jaén. All rights reserved.

(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á

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 169

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.
Copyright © 2017. Universidad de Jaén. All rights reserved.

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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
170 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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.
Copyright © 2017. Universidad de Jaén. All rights reserved.

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).

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 171

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:
Copyright © 2017. Universidad de Jaén. All rights reserved.

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:

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
172 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓ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


Copyright © 2017. Universidad de Jaén. All rights reserved.

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.

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 173

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’)


Copyright © 2017. Universidad de Jaén. All rights reserved.

= 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’.

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
174 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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:
Copyright © 2017. Universidad de Jaén. All rights reserved.

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’)

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 175

= 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.
Copyright © 2017. Universidad de Jaén. All rights reserved.

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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
176 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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)
Copyright © 2017. Universidad de Jaén. All rights reserved.

(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:

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 177

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)


Copyright © 2017. Universidad de Jaén. All rights reserved.

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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
178 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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
Copyright © 2017. Universidad de Jaén. All rights reserved.

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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 179

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.
Copyright © 2017. Universidad de Jaén. All rights reserved.

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á

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
180 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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
Copyright © 2017. Universidad de Jaén. All rights reserved.

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

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
García-Muñoz, M.A. 181

× 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}
Copyright © 2017. Universidad de Jaén. All rights reserved.

= {(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}.

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.
182 MATEMÁTICA DISCRETA PARA LA COMPUTACIÓN

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”.
Copyright © 2017. Universidad de Jaén. All rights reserved.

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 ∈

2. CONJUNTOS, APLICACIONES Y RELACIONES BINARIAS

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:06:39.