introducción al razonamiento matemático

unidad 1

el lenguaje de los conjuntos

23 de junio de 2024
 Universidad Abierta y a Distancia de México
Rectora
Lilian Kravzov Appel
Coordinador Académico y de Investigación
Edgar Alcantar Corchado
Dirección de Ciencias Exactas, Ingeniería y Tecnología
Dolores Alejandra Vasquez Carbajal
Responsable del Programa Educativo
Carlos Alberto Serrato Hernández
Autor del proyecto
Manuel López Mateos

Esta obra está bajo una licencia Creative Commons «Atribución-NoComercial-

CompartirIgual 4.0 Internacional».

Material desarrollado y/o recopilado con fines educativos por académicos externos a la Institución,
perteneciente a la DCEIT de la Universidad Abierta y a Distancia de México (UnADM)
Ciudad de México, 2024
Índice general

1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . 1
2. Estar o no estar . . . . . . . . . . . . . . . . . . . . . . 1
3. Diagramas intuitivos
Diferencia entre Euler y Venn . . . . . . . . . . . . . . 5
4. Complemento y contención . . . . . . . . . . . . . . . 6
5. Igualdad . . . . . . . . . . . . . . . . . . . . . . . . . . 11
6. Intersección y unión. Conjuntos ajenos . . . . . . . . . 13
7. Leyes distributivas y de absorción . . . . . . . . . . . 16
8. Leyes de De Morgan . . . . . . . . . . . . . . . . . . . 16
9. Diferencia y diferencia simétrica . . . . . . . . . . . . 17

Bibliografía 21

Índice de figuras 22

iii
1. Introducción
Esta descripción de la Unidad 1: El lenguage de los conjuntos, está
basada en el libro de texto: Conjuntos, lógica y funciones López Mateos
2024, pero no lo substituye; es ahí donde se desarrolla el temario, con
amplias explicaciones, ejercicios, problemas y su solución. Aquí sólo
se mencionan las definiciones y resumen los aspectos más importantes
del temario. Sin embargo, se incluyen citas a fuentes originales de
la bibliografía del libro. Se mencionan Propiedades y se enuncian
Teoremas. Su demostración será tema de la Unidad 3: Razonamiento.

2. Estar o no estar
No es posible definir el concepto de conjunto por medio del lenguaje
cotidiano. Cada vez que lo intentamos definir empleamos sinónimos
como reunión, agregado, colección u otros.
El mismo Cantor, en su artículo «Beiträge zur Begründung der
transfiniten Mengenlehre» (Contribuciones a la fundamentación de
la teoría de conjuntos transfinitos) escribió:
Por “conjunto” entendemos toda combinación M de ciertos obje-
tos bien diferenciados m de nuestra visión o nuestro pensamien-
to (que se denominan “elementos” de M) en un todo. Cantor
1895, p. 481.1
Es muy útil la caracterización que dió Richard Dedekind, aunque
usó la vaga descripción de que “un conjunto es un objeto de nuestro
pensamiento, es como una cosa”, Dedekind 1893, advirtió a continua-
ción que un conjunto C está bien definido si dado cualquier objeto, está
determinado si es un elemento del conjunto C o no lo es, lo cual permite
trabajar con conjuntos sin tener que definirlos estrictamente, tenien-
do cuidado de no colocarnos en situaciones paradójicas, como en la
llamada paradoja del barbero. Ver Paradoja de Russell 2023.
1
Unter einer ,Menge’ verstehen wir jede Zusammenfassung M von bestimmten wohlunters-
chiedenen 0bjecten m unsrer Anschauung oder unseres Denkens (welche die ,Elemente’
von M genannt werden) zu einem Ganzen.

1
 El creador de la Teoría de Conjuntos fue Georg Cantor, nació
en Saint Petersburg, Rusia, el 3 de marzo de 1845 y murió el 6
de enero de 1918 en Halle, Alemania. Su trabajo se considera
un “asombroso producto del pensamiento matemático y una
de las más bellas realizaciones de la actividad humana”,
Hilbert 1926, p.167

Julius Wilhelm Richard Dedekind nació en Brunswick, Alemania,

el 6 de octubre de 1831 y murió ahí mismo el 12 de febrero
de 1916. Completó el proceso de aritmetización del análi-
sis al caracterizar los números naturales, y por lo tanto a los
números racionales, en términos de conjuntos. A History of
Mathematics, Katz 2009, p. 794.

Al usar el lenguaje de los conjuntos trataremos con objetos pertene-

cientes a un universo, o total, denotado con Ω —omega mayúscula, la
última letra del alfabeto griego— con los cuales formaremos (siempre)
conjuntos bien definidos, es decir:
Dado un conjunto C y un objeto x de Ω, está determinado
si x es un elemento de C o no lo es.
Usaremos letras mayúsculas, como A, B, C, …, X, Y, Z, para denotar
conjuntos y letras minúsculas para denotar elementos, como a, b, c,
…, x, y, z.
Definición 1. Pertenencia: Si C es un conjunto y x es un objeto (de
Ω) que pertenece a C escribimos
x ∈ C,
que se lee x es un elemento de C, x pertenece a C, o simplemente x
está en C. El símbolo ‘∈’ para denotar pertenencia viene de la letra
griega epsilon, ε, se usa como abreviación de la palabra griega esti que
significa está.
En caso de que el objeto x no pertenezca al conjunto C, es decir
no sea un elemento de C, escribimos
x ∉ C.

2
 Al referirnos a los elementos de un conjunto podemos describirlos:

El conjunto de los nombres de mis hermanos y hermanas,

o podemos listarlos:

Miguel Ángel, Rocío y Amelia.

Consideramos los nombres de personas como el universo Ω.

La descripción la escribimos así:

H = { nombres ∣ son los de mis hermano(a)s },

que se lee: H es el conjunto de nombres tales que (la raya vertical “∣” se
lee tal, o tales, que) son los de mis hermano(a)s.
La lista la colocamos entre llaves:

H = {Miguel Ángel, Rocío, Amelia}.

Con símbolos escribimos

Amelia ∈ H, mientras que Dora ∉ H.

Ejemplo 1. Escribimos la descripción del conjunto de los continentes

de nuestro planeta como:

C = { continentes ∣ son del planeta Tierra },

los listamos como:

C = {Africa, América, Asia, Europa, Oceanía}.

Simbólicamente,

Asia ∈ C, mientras que Italia ∉ C.

Podemos considerar el conjunto universo Ω como los nombres de

continentes, sin importar el planeta. ,

3
 Recuerden que para usar conjuntos, estos deben estar bien defi-
nidos; es decir, C está bien definido si dado un objeto cualquiera x
del universo Ω, está determinado si el objeto x pertenece o no al
conjunto C.

Cuando se listan los elementos de un conjunto, basta hacerlo una vez.

No hay distinción entre {3, 3, 3, 2, 2} y {2, 3}, se trata del mismo

conjunto. En la lista de los elementos de un conjunto aparecen ellos,
no cuántas veces están considerados.

Ejemplo 2. Si P es el conjunto de las letras en la palabra colorada,

tenemos que P = {c, o, l, r, a, d}. No importa que en la palabra aparezca
dos veces la letra ’o’, o la letra ’a’. ,

No importa el orden en que se coloquen los elementos de un

conjunto.

Ejemplo 3. Acerca del conjunto P del ejemplo anterior,

P = {c, o, l, r, a, d} = {a, c, d, l, o, r}. ,

Hay un conjunto que no vemos, el conjunto vacío, que no tiene
elementos y denotamos con ∅. Dado cualquier objeto x del universo
Ω tenemos que x ∉ ∅.
No debe asustarnos este conjunto sin elementos, lo podemos pen-
sar análogo al número cero: Si tengo 4 naranjas, doy 3 a Lupita y 1
a Juanito, ¿con cuántas naranjas me quedo? Pues con 0 naranjas. De
manera análoga, si tengo una caja con pelotas rojas, amarillas y verdes,
¿cuál es el conjunto de las pelotas azules en la caja? Pues el conjunto
vacío.

4
Definición 2. El conjunto vacío, que denotamos con ∅, es el conjunto
que no tiene elementos. En su obra Foundations of Modern Analysis,
Dieudonné 1960, p. 2, define al conjunto vacío como

∅ = { x ∈ Ω ∣ x ≠ x }.

Ejemplo 4. Si Ω = {1, 3, 5, 7, 9} encuentra el conjunto

P = { x ∈ Ω ∣ x es par }.

Solución Al examinar los elementos de Ω, vemos que no hay ahí nú-

meros pares, así el conjunto de elementos de Ω que son números
pares es el conjunto vacío, es decir P = ∅. ,
No confundan el conjunto vacío, ∅, con el conjunto cuyo único
elemento es el conjunto vacío, A = {∅}. El conjunto vacío no tiene
elementos, mientras que el conjunto A tiene un elemento.

3. Diagramas intuitivos
Diferencia entre Euler y Venn
En el lenguaje de los conjuntos y en lógica se usan diagramas, lla-
mados en la mayoría de los libros de texto, Diagramas de Euler o
Diagramas de Venn o, lo que es más, Diagramas de Venn–Euler, y usan
los nombres de manera indistinta para ilustrar la ubicación de ele-
mentos de varios conjuntos y para representar proposiciones lógicas.
Los usamos para describir situaciones no sólo en matemáticas. En los
más diversos ámbitos se usan diagramas para describir situaciones
de conjuntos y lógica.
Nos ocuparemos de ellos más adelante, en la Unidad 3: Razona-
miento y demostraciones; no son lo mismo, veremos cómo se usan y
cuáles son sus diferencias. Mientras, usaremos inocentes diagramas
intuitivos (idi) como en la figura siguiente, donde vemos conjun-
tos y objetos o puntos; de hecho, a los elementos de un conjunto les
llamaremos puntos del conjunto.

5
 Figura 1 En el universo Ω vemos conjuntos y puntos.

En la Figura 1 se notan las siguientes relaciones de pertenencia,

z ∈ B, z ∉ A, y ∉ C, u ∈ A, u ∈ B, x ∈ C.

4. Complemento y contención
Dado un conjunto A, los objetos del universo Ω pueden clasificarse
en dos, los que pertenecen a A y los que no pertenecen a A.

Definición 3. Complemento: El conjunto de los objetos de Ω que no

pertenecen a A es el complemento de A, lo denotamos con Ac , que se
lee “𝐀 complemento”. Esto es,

Ac = { x ∈ Ω ∣ x ∉ A },

que se lee: A complemento es igual al conjunto de los elementos x de

Ω tales que no pertenecen a A. También se escribe ∁A ó ∁Ω A.

Figura 2 A y el complemento de A.

6
Ejemplo 5. Sea Ω el conjunto de los meses del año y M el conjunto
de meses que tienen 31 días. ¿Cuál es Mc ?
Solución El conjunto universo Ω es el conjunto de los meses del año, y
M el conjunto de los meses que tienen 31 días, nos piden que digamos
cuál es el conjunto complemento de M, es decir los meses que no
tienen 31 días. Para ello podemos hacer una tabla con los nombres de
los meses en una columna y el número de días que tiene cada uno,
en otra. Así podremos ver cuáles son los nombres que nos piden. Es
decir, la respuesta será el conjunto de meses del año que no tienen 31
días.

Mes Días Mes Días Mes Días

Enero 31 Mayo 31 Septiembre 30
Febrero 28/29 Junio 30 Octubre 31
Marzo 31 Julio 31 Noviembre 30
Abril 30 Agosto 31 Diciembre 31

En la tabla anterior vemos que los meses que no tienen 31 días son
febrero, abril, junio, septiembre y noviembre. Aunque en la historia
ha habido 30 de febrero2 , no habrá 31. Así, la respuesta es

Mc = { febrero, abril, junio, septiembre, noviembre }. ,

En la Figura 1 de la página 6, vemos que hay objetos del universo
Ω que pertenecen a varios conjuntos, u ∈ A pero además u ∈ B, de
hecho en esa figura todos los puntos de A pertenecen, a su vez, a
B, es decir, A está contenido en B, ó A es un subconjunto de B y lo
escribimos A ⊆ B.

Definición 4. Subconjunto: Sean A, B dos conjuntos en Ω, decimos

que A es un subconjunto de B, o que A está contenido en B, y lo escri-
bimos A ⊆ B, si cada elemento de A es también un elemento de B.
Simbólicamente se escribe,

A⊆B si, y sólo si, x ∈ A ⇒ x ∈ B,

2
Véase 30 de febrero en Wikipedia.

7
lo cual se lee “A es un subconjunto de B si, y sólo si, x es un elemento
de A entonces x es un elemento de B (o simplemente, x en A implica x
en B)”.

Sea C un conjunto, a un elemento de C. No es lo mismo el elemento

a de C que el subconjunto de C formado sólo por el elemento a, es
decir a ≠ {a}. Las relaciones válidas son: a ∈ C, a ∈ {a} y {a} ⊆ C.

Ejemplo 6. Sea el conjunto universo

Ω = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

consideremos los conjuntos

A = { x ∈ Ω ∣ x es múltiplo de 4 } = {4, 8},

B = { x ∈ Ω ∣ x es múltiplo de 2 } = {2, 4, 6, 8, 10}.

Claramente cada múltiplo de 4 es un múltiplo de 2, es decir, cada
elemento de A es un elemento de B, luego A está contenido en B. ,
Usamos el símbolo “⇒” que se lee implica. La frase: “Si x ∈ A
implica que x ∈ B, entonces A ⊆ B” la escribimos:

x ∈ A ⇒ x ∈ B, luego A ⊆ B.

Decimos también que B contiene a A, lo cual escribimos B ⊇ A,

también decimos que B es un supraconjunto de A.

Ejemplo 7. Inspirados en el ejemplo anterior, si nuestro universo es ℕ,

el conjunto de los números naturales, es decir el conjunto de números
que usamos para contar,

ℕ = {1, 2, 3, … }

tenemos que todo múltiplo de 4 es un múltiplo de 2.3

3
¡Claro! si un número natural p es múltiplo de 4 entonces debe ser de la forma
4n para algún n ∈ ℕ, pero 4n = (2 × 2)n = 2(2n), es decir que 4n es de la
forma 2(2n) que es un múltiplo de 2.

8
 Si C es el conjunto de los múltiplos de 4 y D es el conjunto de
múltiplos de 2 en el pie de página hemos demostrado que C ⊆ D.
Ahora bien, ¿es cierto que 32 es múltiplo de 4? La respuesta es sí, pues
32 = 4 × 8. Luego, por la contención C ⊆ D, 32 es múltiplo de 2:
Todo múltiplo de 4 es un múltiplo de 2, el número 32 es un múltiplo
de 4, luego el 32 es un múltiplo de 2.
En el lenguaje de los conjuntos:

Si C ⊆ D y x ∈ C se tiene que x ∈ D. ,
Apliquemos el razonamiento ilustrado en el ejemplo anterior al
muy conocido silogismo.

Ejemplo 8. Sea M el conjunto de los seres mortales y H el conjunto

de los seres humanos. Denotemos con s a Sócrates.
Damos por sentado que Todos los humanos son mortales, es decir,
que el conjunto de los seres humanos es un subconjunto de los seres mortales,
H ⊆ M; lo cual significa que si x ∈ H entonces x ∈ M, que se lee: si x
es humano entonces x es mortal. En particular s ∈ H, es decir, Sócrates es
humano; por la definición de contención tenemos que x ∈ M, es decir,
Sócrates es mortal.

s M

Figura 3 Todos los humanos son mortales.

Todos los humanos son mortales, H⊆M, (es decir x ∈ H ⇒ x ∈ M)

Sócrates es humano, s ∈ H,
Luego Sócrates es mortal. Luego s ∈ M.

,
9
Definición 5. Subconjunto propio: Sean A, B, dos conjuntos tales que
A ⊆ B. Si existe algún elemento y ∈ B tal que y ∉ A, decimos que A
es un subconjunto propio de B; lo escribimos

A ⊂ B.

Para que A sea un subconjunto propio de B, se debe cumplir:

i) A ⊆ B,

ii) exista x ∈ B, tal que x ∉ A.

Ejemplo 9. En el Ejemplo 6 de la página 8, tenemos que A ⊆ B,

además, el número 6 ∈ B (es un múltiplo de 2) pero 6 ∉ A (6 no es
múltiplo de 4), es decir, A es un subconjunto propio de B. ,
Si A es un subconjunto propio de B, el conjunto A no abarca todo
B, luego hay elementos de B que no están en A.

Propiedad 1. Sea Ω un conjunto universo, A, B, C ⊆ Ω, tenemos que:

1. ∅ ⊆ A, para cualquier A ⊆ Ω.

2. A ⊆ A, para cualquier A ⊆ Ω, la contención es reflexiva.

Así, tenemos que: ∅ ⊆ ∅. El conjunto vacío es un subcon-

junto del conjunto vacío. Pero, mucho OJO:
No es un subconjunto propio; es decir, no es cierto que
∅ ⊂ ∅. Lo cual se escribe ∅ ⊄ ∅.

3. Si A ⊆ B entonces Bc ⊆ Ac .

Figura 4 A ⊆ B ¿pueden ver que Bc ⊆ Ac ?

10
 4. Si A ⊆ B y B ⊆ C entonces A ⊆ C, la contención es transitiva.

Ω
C
A
B

Figura 5 A es subconjunto de B, y B es subconjunto de C, luego A es subcon-

junto de C.

,
Definición 6. Conjunto potencia: Al conjunto de todos los subconjun-
tos de un conjunto dado A se le llama el conjunto potencia de A y se
denota con 2A .
Los elementos de 2A son conjuntos. A un conjunto de conjuntos
se le llama familia.

Ejemplo 10. Sea A = {a, b, c}. Halla todos los subconjuntos de A.

Solución Los subconjuntos son ∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c} y el
mismo A = {a, b, c}. Son ocho subconjuntos.
Así, el conjunto potencia de A es la familia de todos los subconjuntos
de A,
2A = {∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}.

Así, tenemos que {b, c} ∈ 2A mientras que {{b}, {c}} ⊆ 2A . ,

5. Igualdad
Sea Ω un conjunto universo, A, B, C ⊆ Ω.

Definición 7. Dos conjuntos A, B, son iguales, lo escribimos A = B,

si se cumple que
A ⊆ B y B ⊆ A.

11
 Expresamos la definición de igualdad entre conjuntos usando
el símbolo “ ⟺ ” que representa la equivalencia lógica entre dos
afirmaciones:
A = B ⟺ A ⊆ B y B ⊆ A,
que se lee

A es igual a B si, y sólo si,

A está contenido en B y B está contenido en A.

Para demostrar que dos conjuntos son iguales hay que demostrar
que se cumple la doble contención, es decir que el primer conjunto
está contenido en el segundo y que el segundo está contenido en el
primero.
Propiedad 2. Dado un conjunto A, el complemento del complemento
del conjunto es el conjunto, es decir (Ac )c = A.
Demostración Como se trata de una igualdad de conjuntos, hay que
demostrar que se cumple la doble contención, es decir, que (Ac )c ⊆ A
y que A ⊆ (Ac )c .
Para demostrar que se cumple cada una de las contenciones de
conjuntos, hay que verificar que cada elemento del primer conjunto es
un elemento del segundo conjunto, así, sea x ∈ (Ac )c , por definición
de complemento x ∉ Ac , nuevamente por definición de complemento
tenemos que x ∈ A, luego (Ac )c ⊆ A.
De manera recíproca, si x ∈ A entonces no puede estar en su
complemento, es decir x ∉ Ac , pero si x no está en ese conjunto
entonces está en su complemento, es decir x ∈ (Ac )c , concluimos que
A ⊆ (Ac )c y con ello la igualdad deseada.
,
Propiedad 3. Sea Ω un conjunto universo, A, B, C ⊆ Ω,
1. ∅c = Ω, y viceversa:

2. Ωc = ∅.

12
Propiedad 4. La relación de igualdad entre conjuntos es

1. Reflexiva, es decir A = A,

2. Simétrica, es decir si A = B entonces B = A y

3. Transitiva, es decir, si A = B y B = C entonces A = C,

es decir, se trata de una relación de equivalencia.4 ,

6. Intersección y unión. Conjuntos ajenos

Las dos operaciones principales entre conjuntos son la intersección y
la unión. La primera describe a los objetos comunes a los dos conjun-
tos, la segunda describe a los objetos de los dos conjuntos.

Definición 8. Intersección: El conjunto intersección de los conjuntos

A, B, está formado por los objetos que pertenecen a A y que pertenecen
a B. Lo denotamos con A ∩ B y escribimos:

A ∩ B = {x ∈ Ω ∣ x ∈ A y x ∈ B },

que se lee A intersección B es igual al conjunto de los puntos x en Ω tales

que x pertenece a A y x pertenece a B.

Definición 9. Unión: El conjunto unión de los conjuntos A, B, está

formado por los objetos que pertenecen a A ó que pertenecen a B, ó
pertenecen a ambos. Lo denotamos con A ∪ B y escribimos

A ∪ B = {x ∈ Ω ∣ x ∈ A ó x ∈ B },

que se lee A unión B es igual al conjunto de los puntos x en Ω tales que x

pertenece a A ó x pertenece a B, ó pertenece a ambos.

4
Tema del curso de Álgebra superior.

13
 Para que un objeto x pertenezca a A ∩ B
debe estar en A y en B, debe estar en los dos conjuntos.
Para que un objeto x pertenezca a A ∪ B
basta con que pertenezca a alguno de los dos,
basta con que esté en uno de ellos.

Figura 6 Las partes sombreadas representan la intersección y la unión de

dos conjuntos, respectivamente.

Ejemplo 11. Sea Ω = {1, 2, 3, 4, 5, 6} y los conjuntos A = {2, 3, 5, 6},

B = {1, 2, 4, 5}, C = {1, 3, 5}.
Tenemos que A ∩ B = {2, 5}, A ∩ C = {3, 5}, que A ∪ C = {1, 2, 3, 5, 6}
y que A ∪ B = Ω. ,
Definición 10. Ajenos: Dos conjuntos A, B, son ajenos si su intersección
es el conjunto vacío, es decir
A, B, son ajenos ⟺ A ∩ B = ∅.
Ejemplo 12. El mejor ejemplo de conjuntos ajenos es A y su comple-
mento. Son ajenos porque A ∩ Ac = ∅. Dado x ∈ A tenemos que
x ∉ Ac y viceversa, si x ∈ Ac por definición x ∉ A, así A y Ac no tienen
elementos en común. ,
Ejemplo 13. Sea X el conjunto de países que limitan con la Bahía
de Bengala, Y el conjunto de países que limitan con el Mar Caribe;
claramente los conjuntos X, Y, son ajenos.

14
 ,
Propiedades de la intersección
Sea Ω un conjunto universo, A, B, C ⊆ Ω
Propiedad 5. La operación de intersección de conjuntos es:
1. Idempotente, es decir A ∩ A = A,
2. Conmutativa, es decir A ∩ B = B ∩ A,
3. Asociativa, es decir (A ∩ B) ∩ C = A ∩ (B ∩ C).
Teorema 1. Si A, B, son conjuntos; A ⊆ B si, y sólo si, A ∩ B = A.
Teorema 2. Demuestra que se cumplen las siguientes propiedades de
la intersección.
1. A ∩ ∅ = ∅. La intersección de un conjunto con el vacío es el
vacío.
2. A ∩ Ω = A. La intersección de un conjunto con el total es el
conjunto.
3. A ∩Ac = ∅. La intersección de un conjunto con su complemento
es el vacío.

Propiedades de la unión
Propiedad 6. La operación de unión de conjuntos es:
1. Idempotente, es decir A ∪ A = A,
2. Conmutativa, es decir A ∪ B = B ∪ A,
3. Asociativa, es decir (A ∪ B) ∪ C = A ∪ (B ∪ C).
Para la unión tenemos una propiedad análoga al Teorema 1,
Teorema 3. Para dos conjuntos A, B, tenemos que A ⊆ B si, y sólo si,
A ∪ B = B.

15
7. Leyes distributivas y de absorción
Las operaciones de intersección y unión se relacionan mediante las
leyes distributivas que enunciamos a continuación.

Teorema 4. Si A, B, C, son conjuntos formados con elementos de Ω,

se cumple que

1. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C), la unión distribuye a la inter-

sección.

2. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C), la intersección distribuye a la

unión.

Leyes de absorción
Mediante los resultados enunciados en los teoremas 1 y 3 de la pági-
na 15, podemos demostrar.

Teorema 5. Leyes de absorción: Si A, B, son dos conjuntos, tenemos

que

1. (A ∩ B) ∪ B = B.

2. (A ∪ B) ∩ B = B.

8. Leyes de De Morgan
Dos importantes propiedades relacionan las operaciones de intersec-
ción y unión con el concepto de complemento.

Teorema 6. Leyes de De Morgan: Sean A, B, dos conjuntos, se tiene

que

1. (A ∩ B)c = Ac ∪ Bc ,

2. (A ∪ B)c = Ac ∩ Bc .

16
 La primera se lee: el complemento de la intersección es la unión de los
complementos y la segunda, el complemento de la unión es la intersección
de los complementos.

Augustus De Morgan nació el 27 de junio de 1806 en Madurai,

India, y murió el 18 de marzo de 1871 en Londres. Matemático
y lógico, sostenía que es posible crear un sistema algebrai-
co a partir de símbolos arbitrarios y leyes bajo las cuales se
operaran estos símbolos, y que posteriormente se podían dar
interpretaciones de esas leyes. Ver Katz 2009, p. 732.

9. Diferencia y diferencia simétrica

Definición 11. Diferencia: La diferencia A ∖ B, se lee “𝐀 diferencia
𝐁”, es el conjunto de puntos de A que no están en B, es decir,

A ∖ B = {x ∈ Ω ∣ x ∈ A y x ∉ B}.

En la Figura 7, presentamos un diagrama en donde la parte som-

breada ilustra la diferencia A ∖ B.

Figura 7 Los puntos de A que no están en B.

Al conjunto A ∖ B también se le llama el complemento de B respecto

de A, que se escribe ∁AB.

Propiedad 7. La diferencia A ∖ B se puede expresar como A ∩ Bc , es

decir
A ∖ B = A ∩ Bc .

17
Demostración De la definición de diferencia vemos que

x∈A∖B⇔x∈A y x∉B
⇔x∈A y x ∈ Bc
⇔ x ∈ A ∩ Bc . ,
Contrario a lo que sucede con las operaciones de intersección y
unión de conjuntos, la diferencia de dos conjuntos no es una operación
conmutativa, es decir, no se cumple que A ∖ B = B ∖ A.

Ejemplo 14. Si en un salón de clase llamamos A al conjunto de las

alumnas y B al conjunto de quienes usan pantalón, no es lo mismo
A ∖ B, el conjunto de alumnas que no usan pantalón, que B ∖ A, el
conjunto de quienes usan pantalón que no son alumnas. El primero
es el conjunto de las alumnas que usan falda y el segundo es el de
los alumnos. El universo Ω es el conjunto de personas inscritas en la
clase.
,
Propiedad 8. Si A, B ⊆ Ω, los conjuntos A ∖ B y B ∖ A son ajenos.

Ejemplo 15. Si A, B, C, son conjuntos que no son ajenos dos a dos,

ilustra con diagramas el conjunto (A ∖ B) ∖ C. ¿De qué otra manera se
puede expresar ese conjunto?
Solución Que los conjuntos A, B y C no sean ajenos dos a dos significa
que la intersección entre cualesquiera dos de ellos es distinta del vacío,
es decir que los tres conjuntos se intersecan entre sí5 . En la figura
vemos sombreada en dos colores la parte A ∖ B y de ella quitamos el
sombreado más claro que corresponde a los puntos en C.
Ahora bien, si aplicamos las Propiedad 7 de la página 17 al conjunto
(A ∖ B) ∖ C, obtenemos

(A ∖ B) ∖ C = (A ∖ B) ∩ Cc ,
aplicando de nuevo la propiedad mencionada,
5
Significa que A ∩ B ≠ ∅, A ∩ C ≠ ∅ y B ∩ C ≠ ∅.

18
 = (A ∩ Bc ) ∩ Cc ,
como la intersección es una operación asociativa,
= A ∩ (Bc ∩ Cc ),
aplicamos las leyes de de Morgan y obtenemos una primera expresión
(A ∖ B) ∖ C = A ∩ (B ∪ C)c .
Y, por la definición de diferencia, el lado derecho se transforma en
(A ∖ B) ∖ C = A ∖ (B ∪ C).

¿Puedes ubicar estas dos expresiones en el diagrama? ,

Definición 12. Diferencia simétrica: La diferencia simétrica A △ B, se
lee “𝐀 diferencia simétrica 𝐁”, es el conjunto de puntos que están en
A ó están en B pero no están en ambos, se define como

A △ B = (A ∖ B) ∪ (B ∖ A).

La diferencia simétrica de dos conjuntos se puede expresar de

varias maneras como combinación de uniones e intersecciones de
conjuntos, así como de sus complementos.

Ω
B
A

Figura 8 El sombreado obscuro representa los puntos de A ∖ B que no están

en C.

19
 Ω
B
A

Figura 9 Los puntos que están en A ó en B pero no en ambos.

Propiedad 9. La diferencia simétrica A △ B se puede expresar como:

1. A △ B = (A ∪ B) ∩ (A ∩ B)c .

2. A △ B = (A ∪ B) ∖ (A ∩ B).

Propiedad 10. Para conjuntos arbitrarios A, B, C, se cumple:

1. A ∖ (A ∖ B) = A ∩ B.

2. A ∩ (B ∖ C) = (A ∩ B) ∖ (A ∩ C).

3. A ∖ (B ∩ C) = (A ∖ B) ∪ (A ∖ C).

En la Unidad 3: Razonamiento, relacionaremos las operaciones de

conjuntos con las de proposiciones lógicas. Haremos la liga mediante
el concepto de conjunto de verdad de una proposición abierta.

20
Bibliografía

Cantor, Georg (nov. de 1895). «Beiträge zur Begründung der transfiniten

Mengenlehre». En: Mathematische Annalen xlvi, págs. 481-512. url: http
s://zenodo.org/record/1428392/files/article.pd
f?download=1 (visitado 15-03-2023).
Dedekind, Richard (1893). Was sind und was sollen die Zahlen? Drud und Berlag
von Friedrich Biemeg und Sohn. url: https://archive.org/de
tails/wassindundwasso00dedegoog (visitado 13-02-2023).
Dieudonné, Jean (1960). Foundations of Modern Analysis. Academic Press. url:
https://archive.org/details/FoundationsOfModer
nAnalysis/page/n17/mode/2up (visitado 14-02-2023).
Hilbert, David (1926). «Über das Unendliche». En: Mathematische Annalen 95,
págs. 161-190. url: https://eudml.org/doc/159124 (visitado
13-02-2023).
Katz, Victor J. (2009). A History of Mathematics. Third. Addison-Wesley. isbn:
978-0321387004. url: https://www.pearson.com/en-us/s
ubject-catalog/p/history-of-mathematics-a-cla
ssic-version/P200000006222/9780321997036 (visitado
14-02-2023).
López Mateos, Manuel (12 de ene. de 2024). Conjuntos, lógica y funciones. 3ª
edición. Descarga libre. MLM editor. url: https://clf.mi-libr
o.club/ (visitado 08-03-2024).
Paradoja de Russell (2023). Wikipedia. url: https://es.wikipedia.o
rg/wiki/Paradoja_de_Russell (visitado 13-02-2023).

21
Índice de figuras

1. En el universo Ω vemos conjuntos y puntos. . . . . . . . . 6

2. A y el complemento de A. . . . . . . . . . . . . . . . . . . 6
3. Todos los humanos son mortales. . . . . . . . . . . . . . . 9
4. A ⊆ B ¿pueden ver que Bc ⊆ Ac ? . . . . . . . . . . . . . . 10
5. A es subconjunto de B, y B es subconjunto de C, luego A
es subconjunto de C. . . . . . . . . . . . . . . . . . . . . . 11
6. Las partes sombreadas representan la intersección y la
unión de dos conjuntos, respectivamente. . . . . . . . . . 14
7. Los puntos de A que no están en B. . . . . . . . . . . . . . 17
8. El sombreado obscuro representa los puntos de A ∖ B que
no están en C. . . . . . . . . . . . . . . . . . . . . . . . . . 19
9. Los puntos que están en A ó en B pero no en ambos. . . . 20

22