UNIVERSIDAD NACIONAL DE EDUCACIÓN

Enrique Guzmán y Valle

Alma Máter del Magisterio Nacional
FACULTAD DE CIENCIAS
Escuela Profesional de Matemática e Informática

MONOGRAFÍA

CONJUNTOS
Enfoque axiomático de la teoría de conjuntos. La paradoja de Russell
Inclusión. Conjunto de partes de un conjunto. Operaciones con
conjuntos y sus propiedades. Resolución de problemas basado en
conjuntos. Familia de conjuntos y operaciones básicas generalizadas.
Partición y Cubrimiento.

Examen de Suficiencia Profesional Res. N° 1091-2021-D-FAC

Presentada por:
Tintaya Huallpa, Percy

Para optar al Título Profesional de Licenciado en Educación

Especialidad: Matemática e Informática

Lima, Perú

2021
 ii

MONOGRAFÍA

CONJUNTOS

Enfoque axiomático de la teoría de conjuntos. La paradoja de

Russell Inclusión. Conjunto de partes de un conjunto. Operaciones
con conjuntos y sus propiedades. Resolución de problemas basado en
conjuntos. Familia de conjuntos y operaciones básicas generalizadas.
Partición y Cubrimiento.

Designación de Jurado Resolución N° 1091-2021-D-FAC

______________________________________________

Dra. Mesías Borja, Dora Escolástica

Presidente

______________________________________________

Mg. Giles Nonalaya, Modesto Isidoro

Secretario

______________________________________________

Lic. Dávila Huamán, Vicente Carlos

Vocal

Línea de investigación: Currículum y formación profesional en educación

 iii

Dedicatoria

A Dios, por darme la vida.

A mis padres, con mucho amor, por el

apoyo, cariño y enseñarme a ser un hombre

de bien.

A mis hermanos, que me acompañan y

comprenden.

A los docentes de la UNE, por guiarme a la

docencia.

A mis amigos y compañeros que partieron.

 iv

Índice de contenidos

Portada ................................................................................................................................... i

Hoja de firmas de jurado ....................................................................................................... ii

Dedicatoria............................................................................................................................ iii

Índice de contenidos ............................................................................................................ iv

Lista de figuras .................................................................................................................... vii

Introducción ........................................................................................................................ viii

Capítulo I. Enfoque axiomático de la teoría de conjuntos..................................................... 9

1.1 Breve reseña de la teoría de conjuntos ............................................................................ 9

1.2 Teoría axiomática de conjuntos ..................................................................................... 10

1.2.1 Términos primitivos ............................................................................................ 10

1.2.2 Términos definidos ............................................................................................. 11

1.2.3 Axiomas ............................................................................................................. 11

1.2.4. Teorema ............................................................................................................. 11

1.3 Lenguaje de la teoría de conjuntos ................................................................................ 11

1.4 Nociones sobre el concepto de conjunto ....................................................................... 12

1.5 Determinación de un conjunto....................................................................................... 13

1.6 Axiomas de la teoría de conjuntos ................................................................................. 14

1.6.1 Axioma de extensión ......................................................................................... 14

1.6.1.1 Definición de inclusión .................................................................................... 14

1.6.1.1.1 Propiedades de la Inclusión ........................................................................... 15

1.6.2 Axioma de existencia ......................................................................................... 15

1.6.2.1 Teorema ............................................................................................................ 15

1.6.3 Axioma de separación ........................................................................................ 16

1.6.3.1 Definición de intersección ................................................................................ 17

 v

1.6.4 Axioma del par ................................................................................................... 17

1.6.5 Axioma de la unión ............................................................................................ 17

1.6.6 Axioma de las partes .......................................................................................... 18

1.7 La Paradoja de Russell ................................................................................................. 18

1.7.1 Teorema 1 ............................................................................................................ 19

1.7.1 Teorema 2 ............................................................................................................ 20

1.8 Algunos conjuntos especiales ....................................................................................... 20

1.8.1 Conjunto referencial o universal ........................................................................ 20

1.8.1.1 Definición de conjunto universal...................................................................... 20

1.8.2 Conjunto disjuntos .............................................................................................. 21

1.8.3 Conjunto de partes o conjunto potencia ............................................................. 22

1.8.3.1 Propiedades del conjunto potencia ................................................................... 22

1.8.3.2 Teorema de conjunto potencia 1 ...................................................................... 22

1.8.3.3 Teorema de conjunto potencia 2 ...................................................................... 22

Capítulo II. Operaciones con conjuntos .............................................................................. 24

2.1 Unión de conjuntos ....................................................................................................... 24

2.1.1 Propiedades de unión de conjuntos ..................................................................... 25

2.2 Intersección de conjuntos ............................................................................................. 26

2.2.1 Propiedades de intersección de conjuntos ........................................................... 27

2.3 Diferencia de conjuntos ................................................................................................. 27

2.3.1 Propiedades de diferencia de conjuntos ............................................................ 28

2.4 Complemento de conjuntos .......................................................................................... 29

2.4.1 Propiedades del complemento de conjuntos........................................................ 29

2.5 Diferencia simétrica de conjuntos ................................................................................ 31

2.5.1 Propiedades de diferencia simétrica de conjuntos ............................................... 31

 vi

2.6 Resolución de Problemas............................................................................................. 32

Capítulo III. Operaciones Generalizadas ............................................................................. 36

3.1 Introducción .................................................................................................................. 36

3.2 Conjuntos indizados ..................................................................................................... 36

3.3 Familia de conjuntos ..................................................................................................... 37

3.4.. Operaciones básicas generalizadas ............................................................................. 37

3.4.1 Unión de familia de conjuntos............................................................................. 37

3.4.2 Intersección de familia de conjuntos ................................................................... 38

3.4.2.1 Propiedades generales de la familia de conjuntos ............................................ 39

3.5 Partición y cubrimiento ................................................................................................ 40

3.5.1 Cubrimiento ........................................................................................................ 40

3.5.2 Partición ............................................................................................................. 40

3.5.2.1 Propiedad ........................................................................................................ 40

Aplicación didáctica ............................................................................................................ 42

Síntesis ................................................................................................................................. 44

Apreciación crítica y sugerencias ........................................................................................ 45

Referencias .......................................................................................................................... 46

Apéndices ........................................................................................................................... 48
 vii

Lista de figuras

Figura 1. Conjunto universal ............................................................................................... 21

Figura 2. Conjuntos disjuntos A y B ................................................................................... 21

Figura 3. Unión conjuntos ................................................................................................... 25

Figura 4. Intersección de conjuntos ..................................................................................... 26

Figura 5. Diferencia de conjuntos ....................................................................................... 28

Figura 6. Complemento de un conjunto .............................................................................. 29

Figura 7. Diferencia simétrica de conjuntos ........................................................................ 31

Figura 8. Ejercicio de conjuntos .......................................................................................... 34

Figura 9. Partición de una familia de conjuntos .................................................................. 40

 viii

Introducción

Desde los inicios de nuestra historia, para poder subsistir era necesario agruparse en

comunidades, por eso cabe destacar que ya se tenía la idea de algunos conceptos

matemáticos en esos tiempos. Dentro de estas sociedades donde se vivía, sus habitantes se

relacionaban entre dos o más de ellos, para poder formar un conjunto de personas, de

manera que así estuvieran en condiciones depoder satisfacer sus necesidades, ya sea

sociales, económicas, culturales, entre otras.

Todo esto conllevaba a reunirse entre ellos, a elegir a personas en común, a sacar a

alguno que no estaba de acuerdo, pero no solo podemos hablar de personas sino también

de ideas, objetos, grupos étnicos y más.

Es por eso que este trabajo monográfico tiene el propósito de generar el interés de

los estudiantes sobre los conceptos básicos, con un enfoque axiomático en la teoría de

conjunto.

Para poder cumplir con este propósito, el presente trabajo está compuesto por tres

capítulos. El capítulo I está dedicado a abordar las generalidades básicas para entender la

idea de conjuntos, para luego continuar con todos aquellos axiomas que dan origen a la

teoría axiomática de conjuntos y, finalmente, nos da a conocer una paradoja que hizo

temblar el mundo de las matemáticas.

En el capítulo II se establecen formalmente todas las operaciones con conjuntos y

también algunas de sus consecuencias. El capítulo III está relacionado con las

generalizaciones de las operaciones básicas de conjuntos, para luego abordar aquellos

conjuntos que cubren otros conjuntos.

Finalmente, planteamos una situación didáctica, para luego terminar con la síntesis,

apreciación crítica, sugerencias y las referencias bibliográficas.

 9

Capítulo I

Axiomático de la teoría de conjuntos

1.1 Breve reseña de la teoría de conjuntos

La teoría de conjuntos empezó a surgir aproximadamente en los años de la década de

1870, con los trabajos del notable matemático Alemán George Cantor, como producto de

las investigaciones sobre algunas clases de conjuntos no finitos en los reales.

Como consecuencia de esta investigación, Cantor creó una nueva disciplina

matemática llamada: la teoría de conjuntos. Muchos matemáticos admiraban esta nueva

disciplina, pero, a la vez, otros la miraban con cierto grado de desconfianza. Recién en

1900 esta disciplina se reconoció como una rama de las matemáticas.

Los problemas comenzaron en el momento que empezaron a salir paradojas en

aquella teoría (proposiciones que son ciertas y falsas al mismo tiempo), siendo la más

saltante la paradoja de Bertrand Russell. Esto causó un cierto desconcierto en el mundo de

las matemáticas, donde muchos se preguntaban si las matemáticas verdaderamente eran

consistentes.

Motivo por el cual se reconstruyó dicha teoría, con sólidas bases, con el ya conocido

método de axiomatización.
 10

1.2 Teoría axiomática de conjuntos

El método axiomático apareció aproximadamente hace 2000 años, y fue Euclides,

con el gran libro Elementos, el que utilizó este método para presentar la geometría.

Euclides empezó su gran obra usando proposiciones cuya veracidad se aceptan sin la

necesidad de ser demostradas, al cual llamo axiomas o postulados.

Las teorías requieren escribirse con definiciones más exactas sobre los conceptos a

utilizar, un concepto se define usando otro concepto y este concepto por medio de otros

anteriores; por eso se selecciona de forma conveniente el concepto en dicho resultado

teórico del cual no es definido, aquellos conceptos se les llama términos primitivos de la

teoría. Estos términos primitivos dan origen a los términos definidos.

Por ejemplo, la geometría euclidiana tiene como bases sólidas 5 términos primitivos:

punto, recta, también las relaciones de incidencia, estar entre y de congruencia.

Lo fundamental en una teoría es que tiene proposiciones que proporcionan

propiedades en términos definidos o primitivos, aquellas proposiciones se demostrarán,

todas deben cumplir la demostración. Por lo general aparecerán círculos viciosos, para

evitar ello se seleccionarán proposiciones cumpliendo de forma abrumadora su aceptación,

pero que no sea demostrada, es por ello que las proposiciones son los axiomas y

postulados de un contexto teórico, la proposición que es consecuencia lógicas de axiomas

son llamados teoremas (Zaenz, Gil, Lopez, Romero, y Bethelmy, 2001).

Por lo tanto, el sistema axiomático en matematica se clasifica en:

1.2.1 Términos primitivos.

Son aquellos conceptos que no tiene definición y que se dan en un contexto

determinado. Por ejemplo, en la geometría euclidiana tenemos el punto, la recta y el plano.

 11

1.2.2 Términos definidos.

Son aquellos conceptos que se dan partiendo de los términos primitivos. Por

ejemplo, en geometría, por medio del punto y la recta se puede tener el concepto de

segmento.

1.2.3 Axiomas.

Son proposiciones verdaderas tan evidentes que son aceptadas sin demostración.

Los axiomas tienen un papel fundamental en la totalidad de la teoría, es la piedra en

la cual se va construyendo la teoría; un ejemplo: los muy conocidos axiomas de Peano,

axioma de elección y axioma de especificación (Murillo, 2010).

1.2.4 Teoremas.

Son proposiciones verdaderas que se deducen de los axiomas y que sí requieren

demostración. Por ejemplo, tenemos el famoso teorema de Pitágoras.

La teoría de conjuntos se basa en 3 nociones primitivas: que son conjuntos, elemento

y la relación de pertenencia; se simboliza por ∈, el cual relaciona cada elemento con el

conjunto.

Un ejemplo: conjunto de Naturales denotado por ℕ, que son pares y menores e

iguales que 10, entonces sus elementos serian el 2, 4, 6, 8 y 10; y usando la relación de

pertenencia tendremos que 2 pertenece a dicho conjunto.

1.3 Lenguaje de la teoría de conjuntos

Para estudiar de manera formal la teoría de conjuntos es necesario conocer un

lenguaje también formal que nos permita entender todo lo antes expuesto. Un lenguaje
 12

formalizado está compuesto por un grupo de símbolos y reglas que nos ayudan a formar

expresiones más complicadas, teniendo como base los símbolos originales.

En general, podemos decir que un lenguaje conocido como primer orden está

constituido para manifestar acontecimientos de la teoría de las matemáticas, y están

organizados en dos clases: el lenguaje lógico, que se usa en todas las teorías, y también el

lenguaje específico parametrizado, lo que significa que son todos los símbolos propios en

un lenguaje particular y sea interpretada de forma subjetiva, esto quiere decir que en

diversas estructuras tendrián diversos significados (Muñoz, 2002).

Los símbolos del lenguaje formalizado lógico son:

Variables: 𝑥, 𝑦, 𝑧, 𝑋, 𝑌, 𝑍, x1 , x 2 , …, generalmente se usan las últimas letras del

alfabeto latino, y pueden ser con subíndice o sin subíndice.

Contantes: 𝑎, 𝑏, 𝑐, 𝐴, 𝐵, 𝐶, …, generalmente se usan letras iniciales del alfabeto latino

y se empleanen la representación de conjuntos específicos.

El símbolo de pertenencia: ∈.

El símbolo de igualdad: =.

Los conectivos lógicos: ~ negación, ∧ conjunción, ∨ disyunción, ⟹ implicación y

⟺ equivalencia.

Los cuantificadores: ∀ cuantificador universal y ∃ cuantificador existencial

El paréntesis: ( , ) usado como símbolo de agrupación

Entonces, para una cadena finita cualquiera que se forma por medio de símbolos se

considera una expresión del lenguaje (Lewin, 2006).

1.4 Nociones sobre el concepto de conjunto

La noción sobre la conceptualización de conjunto es muy amplia, ya que es un

término primitivo. A continuación, mencionaremos algunas:

 13

De manera intuitiva, un conjunto se verá como una lista, una colección o clase de

objetos que está bien definido (Lipschutz, 1970).

La idea de un conjunto es algo ya entendido, podemos identificarlo como una

agrupación o colección de cualquier tipo de entidades u objetos que tienen propiedades

comunes (Figueroa, 2013).

El conjunto se puede entender como una forma de agrupar dentro de un todo varios

objetos con diferencias a la percepción o del pensamiento de la persona (Cignoli, 2016).

Entonces, podemos entender por conjunto que es una agrupación o reunión de

objetos o elementos que comparten una propiedad en común.

1.5 Determinación de un Conjunto

Normalmente los conjuntos se escriben con alfabetos latino en mayúsculas

𝐴, 𝐵, … 𝑌, 𝑍; y a sus elementos se les escribe en minúscula del alfabeto latino

𝑎, 𝑏, 𝑐, … , 𝑦, 𝑧; o también con números.

Podemos decir que, si un conjunto 𝑇 está conformado por elementos, y si 𝑥 viene a

ser un elemento del conjunto 𝑇, entonces lo podemos denotar por 𝑥 ∈ 𝑇; y si 𝑥 no es un

elemento del conjunto 𝑇, lo denotaremos por 𝑥 ∉ 𝑇.

Por ejemplo, si tenemos el conjunto 𝐴, que tiene por elementos a los pares 2, 4, 6, 8 y

se representa de la siguiente manera: 𝐴 = {2,4,6,8}.

Si 2 pertenece al conjunto 𝐴, su representación tiene la forma 2 ∈ 𝐴; y si un

elemento no pertenece al conjunto A, lo representamos 3 ∉ 𝐴.

El conjunto se determina de dos maneras:

Por extensión: el conjunto se determina dando a conocer cada uno de los elementos

que lo conforman. Ejemplo: 𝑇 = {3,6,9,12,15,18}.

 14

Por comprensión: cuando un conjunto se determina dando una condición o

condiciones suficientemente precisas, el cual cada uno de sus elementos deben de cumplir.

Por ejemplo: 𝑇 = {𝑥 ∈ ℕ / 0 < 𝑥 < 20 ∧ 𝑥 = 3̇}.

Si se denota por 𝑝(𝑥), una condición o propiedad de un elemento 𝑥 cualquiera de un

conjunto 𝐴, se escribe: 𝐴 = {𝑥 / 𝑝(𝑥)} o también 𝐴 = {𝑥 ∶ 𝑝(𝑥)}.

1.6 Axiomas de la teoría de conjuntos

1.6.1 Axioma de extensión.

Dados 2 conjuntos cualesquiera 𝐴 y 𝐵, se dice que 𝐴 = 𝐵, si todo elemento de 𝐴

pertenece a 𝐵, y además todo elemento de 𝐵 pertenece a 𝐴, expresado de manera lógica

diremos: 𝐴 = 𝐵 ⟺ ∀𝑥(𝑥 ∈ 𝐴 ⟺ 𝑥 ∈ 𝐵).

A partir de este axioma podemos introducir la siguiente definición.

1.6.1.1 Definición de inclusión.

Dados 𝐴 y 𝐵 conjuntos. Se dice que 𝐴 es un subconjunto de otro 𝐵 o que 𝐴 está

incluido o contenido en otro 𝐵, el cual se denota: 𝐴 ⊆ 𝐵, si solo si todo elemento de 𝐴 es

elemento de 𝐵., expresado en el lenguaje lógico diremos: 𝐴 ⊆ 𝐵 ⟺ ∀𝑥(𝑥 ∈ 𝐴 ⇒ 𝐴 = 𝐵).

Con esta definición, el axioma de extensión puede ser reescrito de la siguiente

manera: ∀𝐴 ∀𝐵 (𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐴 ⇒ 𝐴 = 𝐵).

Nota1: si 𝐴 no está incluido en 𝐵, se escribe 𝐴 ⊄ 𝐵, se establece del siguiente modo:

𝐴 ⊄ 𝐵 ⇔ ∃𝑥(𝑥 ∈ 𝐴 / 𝑥 ∉ 𝐵).

Nota 2: si 𝐴 ⊆ 𝐵 y además 𝐴 ≠ 𝐵, diremos que 𝐴 es subconjunto propio de 𝐵 y lo

denotaremos 𝐴 ⊂ 𝐵.
 15

1.6.1.1.1 Propiedades de la Inclusión.

La inclusión cumple las siguientes propiedades:

Propiedad reflexiva: 𝐴 ⊂ 𝐴.

Demostración: si 𝐴 es un conjunto, y suponiendo que ∀𝑥, 𝑥 ∈ 𝐴, la implicación:

∀𝑥 ∈ 𝐴: 𝑥 ∈ 𝐴 ⇒ 𝑥 ∈ 𝐴 es siempre verdadera (cabe recordar que: 𝑝 ⇒ 𝑝 es una

tautología); en consecuencia, por definición, se tiene: 𝐴 ⊂ 𝐴

Propiedad antisimétrica: si 𝐴 ⊂ 𝐵 ∧ 𝐵 ⊂ 𝐴 ⇒ 𝐴 = 𝐵.

Demostración: es una consecuencia de la definición en los conjuntos con igualdad,

en efecto, sea 𝐴 y 𝐵 conjuntos. Si ⊂ 𝐵 y 𝐵 ⊂ 𝐴, supongamos que 𝐴 ≠ 𝐵. Entonces, por

definición: ∃𝑥 ∈ 𝐴 / 𝑥 ∉ 𝐵 ó ∃𝑥 ∈ 𝐵 / 𝑥 ∉ 𝐴, es decir 𝐴 ⊄ 𝐵 o 𝐵 ⊄ 𝐴, que es lo contrario

a la hipótesis. Por lo tanto, 𝐴 = 𝐵.

Propiedad transitiva: 𝐴 ⊂ 𝐵 ∧ 𝐵 ⊂ 𝐶 ⇒ 𝐴 ⊂ 𝐶.

Demostración: en efecto, sea 𝐴, 𝐵 y 𝐶 conjuntos. Si 𝑥 ∈ 𝐴 por hipótesis se tiene: 𝑥 ∈

𝐴 ⇒ 𝑥 ∈ 𝐵 (por hipótesis es verdadero) y 𝑥 ∈ 𝐵 ⇒ 𝑥 ∈ 𝐶 (por hipótesis es verdadero).

Entonces, por la ley de silogismo hipotético: 𝑥 ∈ 𝐴 ⇒ 𝑥 ∈ 𝐶 (es verdadera). En

consecuencia, 𝐴 ⊂ 𝐶 (por la definición de inclusión) (Figueroa, 2013).

Ejemplo: {7,3,5} ⊆ {3,5,7}, {𝑐} ⊆ {𝑎, 𝑏, 𝑐}, ℕ ⊆ ℝ.

1.6.2 Axioma de existencia.

Se refiere a que existe un conjunto con la particularidad de que no tiene elementos,

expresado en el lenguaje lógico diremos: ∃𝐴 ∀𝑥 (𝑥 ∉ 𝐴). Al conjunto sin elementos se le

dice conjunto vacío con notación 𝐴 = ∅.

1.6.2.1 Teorema.

Existe un único conjunto que no tiene elementos.

 16

∅ ⊂ 𝐴, ∀𝐴 (es decir, el conjunto se incluye en cualquier conjunto).

Demostración de que existe un único conjunto, el cual no tiene elementos: Sean 𝐴 y

𝐵 dos conjuntos vacíos, tal que ∀𝑥 (𝑥 ∉ 𝐴 ∧ 𝑥 ∉ 𝐵), entonces tendríamos que probar 𝐴 =

𝐵; en efecto, por el axioma de extensión tendríamos:

Por demostrar 𝐴 ⊂ 𝐵. Supongamos que 𝐴 ≠ 𝐵, entonces existe al menos un 𝑥 ∈ 𝐴

tal que 𝑥 ∉ 𝐵, por lo tanto 𝐴 ⊄ 𝐵. Luego observamos que 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐴 (contradicción).

Por lo tanto, 𝐴 ⊂ 𝐵.

Por demostrar 𝐴 ⊃ 𝐵, análogo al anterior. Finalmente: 𝐴 = 𝐵 = ∅ y es único.

Demostración de ∅ ⊂ 𝐴, ∀𝐴: en efecto, sea 𝑥 cualquier elemento ∀𝑥 ∈ ∅, de la

condicional 𝑥 ∈ ∅ ⇒ 𝑥 ∈ 𝐴, como 𝑥 ∈ ∅, al final el enunciado es verdadero ∴ ∅ ⊂ 𝐴, ∀𝐴.

Ejemplo: determinar el conjunto 𝑇 = {𝑥 ∈ ℤ / 18𝑥 2 − 2 = 0}.

Resolución: efectuando la ecuación 18𝑥 2 − 2 = 0 tiene como soluciones solo a los

1 1
valores 𝑥 = − 3 ∧ 𝑥 = 3 , se nota que las soluciones no están en ℤ, entonces la ecuación no

posee solución en ℤ. Por lo tanto, se tiene el conjunto 𝑇 = ∅.

1.6.3 Axioma de separación.

Sea 𝐴 un conjunto y 𝑃(𝑥) una fórmula, entonces existe un conjunto 𝐵 cuyos

elementos son aquellos elementos de 𝐴 que verifican 𝑃(𝑥), por axioma de extensionalidad,

𝐵 es único y se denota por 𝐵 = {𝑥 ∈ 𝐴 / 𝑃(𝑥)}.

Expresado el axioma de separación en el lenguaje lógico, se representa como:

(∀𝐴) (∃𝐵) ∀𝑥 (𝑥 ∈ 𝐵 ⇔ (𝑥 ∈ 𝐴 ∧ 𝑃(𝑥))).

El axioma de separación en particular nos permite construir a la intersección de dos

conjuntos, pues al intersectar 2 conjuntos se construye empezando a separar del primer

conjunto aquellos elementos pertenecientes al otro conjunto.

 17

1.6.3.1 Definición de intersección.

Sean A y B conjuntos, entonces la intersección se define así:𝐴 ∩ 𝐵 = {𝑥 ∈ 𝐴: 𝑥 ∈ 𝐵}.

Ejemplo: sean 𝑃 y 𝑄 dos conjuntos cualesquiera, por consiguiente existe un conjunto

𝐻 tal que 𝑥 ∈ 𝐻 sí y solo si 𝑥 ∈ 𝑃 ∧ 𝑥 ∈ 𝑄.

En efecto, se considera la caracteristica 𝑃(𝑥, 𝑄) de 𝑥 y 𝑄, ⇒ 𝑥 ∈ 𝑄, por el teorema

de separación tenemos, para todo conjunto 𝑄 y cualquier otro 𝑃 existe un H tal que 𝑥 ∈ 𝐻

si y solo si 𝑥 ∈ 𝑃 ∧ 𝑃(𝑥, 𝑄), lo que indica que si y solo si 𝑥 ∈ 𝑃 ∧ 𝑥 ∈ 𝑄.

1.6.4 Axioma del par.

Sean 2 conjuntos cualquiera, entonces existe un conjunto con elementos que son los

2 conjuntos iniciales, es decir si A y B son conjuntos entonces se tiene {𝐴, 𝐵} es un

conjunto, expresado el axioma del par en el lenguaje lógico se representa:

(∀𝐴)(∃𝐵)(∃𝐶)∀𝑥 (𝑥 ∈ 𝐶 ⇔ 𝑥 = 𝐴 ∨ 𝑥 = 𝐵)

A partir del axioma de extensionalidad y de este axioma, se garantiza la existencia

del conjunto que tiene un solo elemento, el cual llamaremos conjunto unitario o singletón.

En efecto, si consideramos el par no ordenado {𝑎, 𝑏}, es suficiente considerar 𝑎 = 𝑏,

entonces {𝑎, 𝑎} = {𝑎}.

Ejemplo: sean 𝐴 y 𝐵 dos conjuntos y considerando que 𝐴 = ∅ y 𝐵 = ∅ , notamos

que {∅} = {∅, ∅} es un conjunto el cual ∅ ∈ {∅}, luego podemos notar que ∅ ≠ {∅},

puesto que ∅ no tiene elementos y {∅} contiene un elemento.

1.6.5 Axioma de la unión.

Dado cualquier conjunto A, existe otro 𝐵 con 𝑥 ∈ 𝐵 si y solo si 𝑥 ∈ 𝑋, para algún

𝑥 ∈ 𝐵. Mediante el axioma de extensión esta unión es única y se denota : 𝐵 = ⋃ 𝐴.

Expresado en el lenguaje lógico, diremos: (∀𝐴)(∃𝐵)∀𝑥 (𝑥 ∈ 𝐵 ⇔ ∃𝜔(𝑥 ∈ 𝜔 ∧ 𝑥 ∈ 𝐴)).

 18

Ejemplo: los conjuntos 𝐴 y 𝐵 cualesquiera, 𝑥 ∈ ⋃{𝐴, 𝐵} si y solo si 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵.

El conjunto ⋃{𝐴, 𝐵} es le dice unión de A y B, se denota por 𝐴 ∪ 𝐵 (Espinoza, 2005).

1.6.6 Axioma de las partes.

Dado cualquier conjunto 𝐴, existe un conjunto 𝑃, que está compuesto por todo

subconjunto de 𝐴, el cual se denota por 𝑃(𝐴) y se llamará como el conjunto de partes. Es

decir, si 𝑥 ∈ 𝑃(𝐴) ⇔ 𝑋 ⊆ 𝐴. Por el axioma de extensión se asegura de la unicidad del

conjunto de partes. Expresado en el lenguaje lógico: (∀𝐴)(∃𝐵)∀𝑋 (𝑋 ∈ 𝐵 ⇔ 𝑋 ⊆ 𝐴).

Del siguiente esquema se resalta que al conjunto B se le dice conjunto potencia de 𝐴.

Este axioma es uno de los más potentes, pues nos permite construir muchos

conjuntos importantes en matemáticas; por ejemplo, el conjunto cociente, el producto

cartesiano.

Ejemplo: el conjunto formado por 2 elementos tiene su conjunto de partes así:

𝑃({𝑎, 𝑏}) = {∅, {𝑎}, {𝑏}, {𝑎, 𝑏}}.

Ejemplo: dado un conjunto 𝐴, se tiene que el ∅ ⊂ 𝐴, 𝐴 ∈ 𝑃(𝐴). De manera

particular se da que el conjunto de partes es diferente del vacío (𝑃(𝐴) ≠ ∅) para cualquier

𝐴.

1.7 La paradoja de Russell

A principios del siglo XX, la noción tan amplia que se tenía de conjunto trajo

algunos problemas, es así que el filósofo y matemático ingles Bertrand Russell descubrió

una paradoja que puso en grandes dificultades a la teoría de conjuntos.

Russell dio a conocer la siguiente paradoja. Si consideramos un conjunto 𝑅 que se

define como: dado un objeto que pertenece al conjunto 𝑅 si y solo si no pertenece al

mismo conjunto. Expresado en el lenguaje lógico, sería: 𝑅 = {𝑥: 𝑥 ∉ 𝑥}.

 19

La pegunta entonces sería: ¿𝑅 es o no elemento de sí mismo?, expresado en símbolos

¿ 𝑅 ∈ 𝑅? Veamos que, si 𝑅 no pertenece al mismo 𝑅, mediante la definición de 𝑅, 𝑅 si

pertenece a sí mismo. Asimismo, si 𝑅 pertenece al mismo 𝑅, por lo tanto, de la definición

de 𝑅 se tiene que 𝑅 no pertenece al mismo conjunto. Para cualquier caso de los dos casos,

se ve que se contradicen, entonces 𝑅 ∈ 𝑅 ⇔ 𝑅 ∉ 𝑅.

Esta es llamada la paradoja de Russell, y que surgió debido a que se pueden tener en

cuenta conjuntos muy grandes, con mucha libertad en escoger las condiciones en que se

estructura el conjunto (Muñoz, 2002).

Es importante señalar el peligro que se tiene al no especificar adecuadamente el

conjunto universo. Entonces, esta paradoja se evita, definiendo apropiadamente el conjunto

universo.

Esta paradoja es de cierto modo similar a la paradoja popular siguiente: En un pueblo

existe un peluquero que afeita sola a los hombres que no se pueden afeitar por su cuenta.

La preguntas sería: ¿Quién afeita al peluquero? (Lipschutz, 1970).

1.7.1 Teorema 1.

Sea 𝐴 un conjunto. Entonces hay un conjunto 𝑅 tal que 𝑅 ∉ 𝐴.

Demostración: definimos 𝑅 = {𝑥 ∈ 𝐴 / 𝑥 ∉ 𝑥}, tal que 𝑅 es un conjunto por el

axioma de separación.

Supongamos que 𝑅 ∈ 𝐴.

Caso 1: Si 𝑅 ∈ 𝑅 ⇒ 𝑅 ∉ 𝑅 (contradicción).

Caso 2: Si 𝑅 ∉ 𝑅 ⇒ 𝑅 ∈ 𝑅 (contradicción).

Notamos que en ambos casos tenemos una contradicción y esto se da por haber

supuesto que 𝑅 ∈ 𝐴. Finalmente ∴ 𝑅 ∉ 𝐴.

 20

1.7.2 Teorema 2.

No existe un conjunto formado de todos los conjuntos.

Prueba: se supone lo contrario, se tiene el conjunto 𝑈 de todos los conjuntos y

consideramos de la definición 𝑃(𝑥): 𝑥 ∉ 𝑥. Del axioma de separación, indica que existe

algún conjunto 𝑅 con 𝑥 ∈ 𝑅 ⇔ 𝑥 ∈ 𝑈 ∧ 𝑥 ∉ 𝑥; o sea, 𝑥 es elemento de 𝑅 si y solo si 𝑥 es

conjunto y 𝑥 no pertenece a sí mismo. Además, 𝑅 es un conjunto, por ello 𝑅 ∈ 𝑈; por

consiguiente, 𝑅 verifica o no la propiedad 𝑃.

Luego, si 𝑅 ∉ 𝑅 por ello 𝑅 ∈ 𝑅, es decir 𝑅 ∈ 𝑅 ⇒ 𝑅 ∉ 𝑅, lo que contradice.

Además, si 𝑅 ∈ 𝑅 ⇒ 𝑅 si cumple la propiedad 𝑃, por ello 𝑅 ∉ 𝑅, luego se tiene 𝑅 ∉ 𝑅 ⇒

𝑅 ∈ 𝑅, se contradice. Finalmente, el haber supuesto que existe el conjunto 𝑈 de todos los

conjuntos y considerando la propiedad 𝑃, con eso nos lleva a contradecir. Entonces, se

concluye la no existencia del conjunto 𝑈 de todos los conjuntos.

La moraleja indica que no es posible en matemáticas hallar algo de la nada. Si se va

a caracterizar un conjunto, no solo se debe tener una propiedad; es necesario tener un

conjunto en el que se aplique a los elementos la propiedad (Hernández, 1998).

1.8 Algunos conjuntos especiales

1.8.1 Conjunto referencial o universal.

En la teoría de conjuntos, cualquier aplicación se tiene que los conjuntos estudiados

están incluidos a otro conjunto que se toma como base o referencia, al cual se le denomina

universo o referencial. No existe un conjunto universal absoluto.

1.8.1.1 Definición de conjunto universal.

Dados 2 conjuntos 𝐴 y 𝑈, se dice que a 𝑈 conjunto universal o referencial para 𝐴 si y

solo si 𝐴 ⊂ 𝑈.
 21

Un recurso didáctico, en la comprensión intuitiva de conjuntos, se representa a los

llamados diagramas de Venn- Euler, siendo diagramas de figuras cerradas.

Figura 1. Conjunto universal. Fuente: Autoría propia.

1.8.2 Conjunto disjuntos.

Sean 2 conjuntos A y B, se dirá disjuntos, si ningún elemento de A se encuentra en B

y ningún elemento de B se encuentra en A, es decir, no existen elementos en común.

Figura 2. Conjuntos disjuntos A y B. Fuente: Autoría propia.

Ejemplo: el conjuntos de los racionales (ℚ) y de los irracionales (𝕀), son conjuntos

disjuntos, pues no tienen elementos en común.

 22

1.8.3 Conjunto de partes o conjunto potencia.

Sea el conjunto 𝐴, se define al conjunto potencia o de partes de 𝐴, como el conjunto

conformado por subconjuntos totales de 𝐴, denotado: 𝑃(𝐴), esto es 𝑃(𝐴) = {𝑋/ 𝑋 ⊂ 𝐴}.

1.8.3.1 Propiedades del conjunto potencia.

𝑥 ∈ 𝐴 ⇔ {𝑥} ∈ 𝑃(𝐴).

∅ ∈ 𝑃(𝐴) ∧ 𝐴 ∈ 𝑃(𝐴).

𝐵 ⊂ 𝐴 ⇔ 𝐵 ∈ 𝑃(𝐴).

Ejemplo: para el conjunto 𝐴 = {2,3,4}, tendremos que su conjunto potencia está

formado por todos los subconjuntos de A: 𝑃(𝐴) = {∅, {2}, {3}, {4}, {2,3}, {2,4}, {3,4}, 𝐴}.

1.8.3.2 Teorema de conjunto potencia 1.

Sean 𝐴 y 𝐵 dos conjuntos, entonces se cumple que si 𝐴 ⊂ 𝐵 ⇔ 𝑃(𝐴) ⊂ 𝑃(𝐵).

Demostración: observamos que tenemos una doble implicación, entonces:

Primero que si 𝐴 ⊂ 𝐵 ⇒ 𝑃(𝐴) ⊂ 𝑃(𝐵), sea 𝑋 un conjunto cualquiera, usamos la

definición de 𝑃(𝐴): 𝑋 ∈ 𝑃(𝐴) ⇒ 𝑋 ⊂ 𝐴, luego de la hipótesis 𝐴 ⊂ 𝐵 ⇒ 𝑋 ⊂ 𝐵, ahora de

la definición de 𝑃(𝐵) ⇒ 𝑋 ∈ 𝑃(𝐵). Por ello 𝑃(𝐴) ⊂ 𝑃(𝐵).

Segundo que 𝑃(𝐴) ⊂ 𝑃(𝐵) ⇒ 𝐴 ⊂ 𝐵, en efecto: 𝐴 ∈ 𝑃(𝐴) y por hipótesis tenemos

que 𝑃(𝐴) ⊂ 𝑃(𝐵) ⇒ 𝐴 ∈ 𝑃(𝐵) ⇒ 𝐴 ⊂ 𝐵.

Finalmente, se concluye que 𝐴 ⊂ 𝐵 ⇔ 𝑃(𝐴) ⊂ 𝑃(𝐵).

1.8.3.3 Teorema de conjunto potencia 2.

Se el conjunto 𝐴 con 𝑛 elementos, el conjunto potencia 𝑃(𝐴) tiene 2𝑛 elementos.

Sea el conjunto 𝐴 de la siguiente manera: 𝐴 = {𝑥1 , 𝑥2 , 𝑥3 … 𝑥𝑛 }.

 23

Se inicia al tomar el elemento 𝑥1 , este elemento, junto con el conjunto vacío, nos da

los dos primeros elementos de 𝑃(𝐴). Cabe recordar que a partir del axioma de existencia

habíamos demostrado la inclusión del conjunto vacío en todo conjunto. Entonces, los

elementos del conjunto potencia 𝑃(𝐴) son: ∅, {𝑥1 }.

Se toma el elemento 𝑥2 , este elemento, agregado a los dos elementos de los dos

subconjuntos anteriores, nos da otros dos, siendo {𝑥2 } y {𝑥1 , 𝑥2 } estos 2 nuevos

subconjuntos y los 2 anteriores dan los 4 = 22 subconjuntos de 𝐴: ∅, {𝑥1 }, {𝑥2 }, {𝑥1 , 𝑥2 }.

Ahora el elemento 𝑥3 . Este elemento, más los elementos de los 4 subconjuntos

anteriores, nos dan 4 nuevos subconjuntos de 𝐴: {𝑥3 }, {𝑥2 , 𝑥3 }, {𝑥1 , 𝑥3 }, {𝑥1 , 𝑥2 , 𝑥3 }.

Estos 4 nuevos subconjuntos y los 4 antiguos nos dan los 8 = 23 siguientes

subconjuntos de 𝐴: ∅, {𝑥1 }, {𝑥2 }, {𝑥3 }, {𝑥1 , 𝑥2 }, {𝑥2 , 𝑥3 }, {𝑥1 , 𝑥3 }, {𝑥1 , 𝑥2 , 𝑥3 }.

De esta manera podemos continuar hasta llegar al paso 𝑛, en el cual tomamos el

último elemento, que es 𝑥𝑛 . Si se sigue los pasos anteriores, obtendremos al fin de cuentas

2𝑛 subconjuntos de 𝐴. Como ya no hay más elementos en 𝐴, entonces estos 2𝑛

subconjuntos son todos los subconjuntos de 𝐴, por lo tanto 𝑃(𝐴) tiene 2𝑛 elementos

(Zaenz et al., 2001).

Ejemplo: sea 𝐴 un conjunto, tal que :

Si A no tiene elementos, es decir 𝐴 = ∅, entonces 𝑃(𝐴) tiene 20 = 1 elemento, en

efecto 𝑃(𝐴) = {∅}.

Si A tiene un elemento, es decir 𝐴 = {𝑎}, entonces 𝑃(𝐴) tiene 21 = 2 elementos, en

efecto 𝑃(𝐴) = {∅, {𝑎}}.

Si A tiene dos elementos, es decir 𝐴 = {𝑎, 𝑏}, entonces 𝑃(𝐴) tiene 22 = 4

elementos, en efecto 𝑃(𝐴) = {∅, {𝑎}, {𝑏}, {𝑎, 𝑏}}.

Si A tiene tres elementos, es decir 𝐴 = {𝑎, 𝑏, 𝑐}, entonces 𝑃(𝐴) tiene 23 = 8

elementos, en efecto 𝑃(𝐴) = {∅, {𝑎}, {𝑏}, {𝑎, 𝑏}, {𝑎, 𝑐}, {𝑏, 𝑐}, {𝑎, 𝑏, 𝑐}}.
 24

Capítulo II

Operaciones con conjuntos

En este capítulo se estudiará y definirá las operaciones más importantes y

conocidas de los conjuntos, tales como la intersección, la unión, la diferencia, la diferencia

simétrica y el complemento, pues ya tenemos como base los axiomas antes mencionados

en el capítulo anterior. Para poder definir dichas operaciones y poder estudiar dichas

operaciones, se va a considerar que se tiene al conjunto 𝑈 como el conjunto universal, que

va a contener como subconjuntos a la totalidad de los subconjuntos, que se usa para

definir dichas operaciones (Zaenz et al., 2001).

2.1 Unión de conjuntos

Sean 2 conjuntos 𝐴 y 𝐵 cualesquiera, se define la unión de conjuntos, al conjunto de

todos los elementos pertenecientes a 𝐴 o 𝐵 o a ambos, denotado por el símbolo 𝐴 ∪ 𝐵, es

decir: 𝐴 ∪ 𝐵 = {𝑥 ∈ 𝑈 / 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵}.

Su caracterización lógica es: 𝑥 ∈ 𝐴 ∪ 𝐵 ⇔ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵.

O también su equivalente: 𝑥 ∉ 𝐴 ∪ 𝐵 ⇔ 𝑥 ∉ 𝐴 ∧ 𝑥 ∉ 𝐵.

Su representación gráfica, mediante el diagrama de Venn, es:

 25

Figura 3. Unión de conjuntos. Fuente: Lipschutz, 1970.

2.1.1 Propiedades de unión de conjuntos.

Sean tres conjuntos 𝐴, 𝐵 y 𝐶 cualesquiera, se cumple que:

𝐴 ∪ 𝐴 = 𝐴.

𝐴 ∪ ∅ = 𝐴.

𝐴 ∪ 𝑈 = 𝑈.

𝐴 ∪ 𝐵 = 𝐵 ∪ 𝐴.

(𝐴 ∪ 𝐵) ∪ 𝐶 = 𝐴 ∪ (𝐵 ∪ 𝐶).

𝐴 ∪ (𝐵 ∪ 𝐶) = (𝐴 ∪ 𝐵) ∪ (𝐴 ∪ 𝐶).

𝐴 ⊂ (𝐴 ∪ 𝐵); 𝐵 ⊂ (𝐴 ∪ 𝐵).

Si 𝐴 ∪ 𝐵 = ∅ ⇒ 𝐴 = ∅ ∧ 𝐵 = ∅.

Nota: se demuestra algunas de las propiedades, y los demás se lo deja para el lector.

Prueba de 𝐴 ∪ 𝐴 = 𝐴: por probar que (𝐴 ∪ 𝐴) ⊂ 𝐴 y 𝐴 ⊂ (𝐴 ∪ 𝐴). Primero se

probará que (𝐴 ∪ 𝐴) ⊂ 𝐴, sea 𝑥 ∈ (𝐴 ∪ 𝐴) ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐴 (recordar que 𝑝 ∨ 𝑝 ≡ 𝑝),

sea 𝑥 ∈ 𝐴, luego 𝑥 ∈ (𝐴 ∪ 𝐴) ⇒ 𝑥 ∈ 𝐴, por lo tanto (𝐴 ∪ 𝐴) ⊂ 𝐴. Segundo, se probará

que 𝐴 ⊂ (𝐴 ∪ 𝐴), sea 𝑥 ∈ 𝐴 , entonces se sigue que (𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐴 ), luego 𝑥 ∈ 𝐴 ⇒ 𝑥 ∈

(𝐴 ∪ 𝐴). Por lo tanto, 𝐴 ⊂ (𝐴 ∪ 𝐴). Finalmente, tenemos que 𝐴 ∪ 𝐴 = 𝐴.

 26

Prueba de 𝐴 ∪ 𝑈 = 𝑈. Por demostrar que 𝐴 ∪ 𝑈 ⊂ 𝑈 y 𝑈 ⊂ 𝐴 ∪ 𝑈. Primero se

probará que 𝐴 ∪ 𝑈 ⊂ 𝑈, sea 𝑥 ∈ (𝐴 ∪ 𝑈) ⇒ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝑈, por definición de 𝑈: 𝑥 ∈ 𝑈,

luego 𝑥 ∈ (𝐴 ∪ 𝑈) ⇒ 𝑥 ∈ 𝑈, por lo tanto 𝐴 ∪ 𝑈 ⊂ 𝑈. Segundo, se probará que 𝑈 ⊂ 𝐴 ∪ 𝑈,

en efecto sea 𝑥 ∈ 𝑈, entonces es válido: 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝑈, luego 𝑥 ∈ 𝑈 ⇒ 𝑥 ∈ (𝐴 ∪ 𝑈), por

lo tanto 𝑈 ⊂ 𝐴 ∪ 𝑈. Finalmente, tenemos que 𝐴 ∪ 𝑈 = 𝑈.

Prueba de 𝐴 ⊂ (𝐴 ∪ 𝐵): sea 𝑥 ∈ 𝐴, usaremos 𝑝 ⇒ (𝑝 ∨ 𝑞), que es una tautología,

luego 𝑥 ∈ 𝐴 ⇒ 𝑥 ∈ (𝐴 ∪ 𝐵), por lo tanto 𝐴 ⊂ (𝐴 ∪ 𝐵), el segundo caso 𝐵 ⊂ (𝐴 ∪ 𝐵), se

demuestra de forma análoga.

Prueba de que si 𝐴 ∪ 𝐵 = ∅ ⇒ 𝐴 = ∅ ∧ 𝐵 = ∅, en efecto, por la propiedad sabemos

que A  ( A  B) , si 𝐴 ∪ 𝐵 = ∅ ⇒ 𝐴 ⊂ ∅, pero también sabemos que ∅ ⊂ 𝐴, entonces

como tenemos que 𝐴 ⊂ ∅ y ∅ ⊂ 𝐴 ⇒ 𝐴 = ∅. De forma análoga se demuestra que 𝐵 = ∅.

2.2 Intersección de conjuntos

Dados los conjuntos 𝐴 y 𝐵, se define la intersección de conjuntos al conjunto de

todos los elementos que están en 𝐴 y en 𝐵, denotado: 𝐴 ∩ 𝐵, es decir: 𝐴 ∩ 𝐵 =

{𝑥 ∈ 𝑈/ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵}. Su caracterización lógica es: 𝑥 ∈ (𝐴 ∩ 𝐵) ⇔ (𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵).

O su equivalente es: 𝑥 ∉ (𝐴 ∩ 𝐵) ⇔ (𝑥 ∉ 𝐴 ∨ 𝑥 ∉ 𝐵).

Su representación gráfica mediante el diagrama de Venn es:

Figura 4. Intersección de conjuntos. Fuente: Lipschutz, 1970.

 27

2.2.1 Propiedades de intersección de conjuntos.

Sean tres conjuntos 𝐴, 𝐵 y 𝐶 cualesquiera, se cumple que:

𝐴 ∩ 𝐴 = 𝐴.

𝐴 ∩ ∅ = ∅.

𝐴 ∩ 𝑈 = 𝐴.

𝐴 ∩ 𝐵 = 𝐵 ∩ 𝐴.

(𝐴 ∩ 𝐵) ∩ 𝐶 = 𝐴 ∩ (𝐵 ∩ 𝐶).

(𝐴 ∩ 𝐵) ⊂ 𝐴; (𝐴 ∩ 𝐵) ⊂ 𝐵.

Si 𝐴 ⊂ 𝐵 ⇒ (𝐴 ∩ 𝐶) ⊂ 𝐵 ∩ 𝐶), ∀𝐶.

Si 𝐴 ⊂ 𝐵 ⇔ 𝐴 ∩ 𝐵 = 𝐴.

Nota: se demostrará algunas de las propiedades, y los demás se lo deja para el lector.

Prueba de 𝐴 ∩ ∅ = ∅ : primero se probará 𝐴 ∩ ∅ ⊂ ∅ , en efecto sea 𝑥 ∈ (𝐴 ∩ ∅),

entonces 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ ∅, luego 𝑥 ∈ ∅, 𝑥 ∈ (𝐴 ∩ ∅) ⇒ 𝑥 ∈ ∅, por lo tanto 𝐴 ∩ ∅ ⊂ ∅.

Segundo, se probará que ∅ ⊂ 𝐴 ∩ ∅, en efecto, sabemos que el ∅ está incluido en cualquier

conjunto, entonces ∅ ⊂ 𝐴 ∩ ∅ . Finalmente, tenemos que 𝐴 ∩ ∅ = ∅

Prueba de (𝐴 ∩ 𝐵) ⊂ 𝐴: sea 𝑥 ∈ (𝐴 ∩ 𝐵), entonces 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵, luego 𝑥 ∈ 𝐴, es

decir si 𝑥 ∈ (𝐴 ∩ 𝐵) ⇒ 𝑥 ∈ 𝐴, por lo tanto (𝐴 ∩ 𝐵) ⊂ 𝐴. Similar para (𝐴 ∩ 𝐵) ⊂ 𝐵.

Prueba de que: si 𝐴 ⊂ 𝐵 ⇒ (𝐴 ∩ 𝐶) ⊂ (𝐵 ∩ 𝐶), ∀𝐶. En efecto, si 𝑥 ∈ (𝐴 ∩ 𝐶) ⇒

𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐶, además 𝐴 ⊂ 𝐵 ⇔ 𝑥 ∈ 𝐴 ⇒ 𝑥 ∈ 𝐵, ahora 𝑥 ∈ 𝐵 ⇒ 𝑥 ∈ 𝐶 ⇒ 𝑥 ∈ (𝐵 ∩ 𝐶),

luego 𝑥 ∈ (𝐴 ∩ 𝐶) ⇒ 𝑥 ∈ (𝐵 ∩ 𝐶). Por lo tanto (𝐴 ∩ 𝐶) ⊂ 𝐵 ∩ 𝐶).

2.3 Diferencia de conjuntos

Dados los conjuntos 𝐴 y 𝐵, se define la diferencia de conjuntos al conjunto de

todos los elementos en 𝐴 y no en 𝐵, denotado: 𝐴 − 𝐵, es decir: 𝐴 − 𝐵 = {𝑥 ∈ 𝑈 / 𝑥 ∈ 𝐴 ∧

𝑥 ∉ 𝐵}.
 28

Su caracterización lógica es: 𝑥 ∈ (𝐴 − 𝐵) ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵.

O su equivalente es: 𝑥 ∉ (𝐴 − 𝐵) ⇒ 𝑥 ∉ 𝐴 ∨ 𝑥 ∈ 𝐵.

Su representación gráfica, mediante el diagrama de Venn, es:

Figura 5. Diferencia de conjuntos. Fuente: Lipschutz, 1970.

2.3.1 Propiedades de diferencia de conjuntos.

Sean tres conjuntos 𝐴, 𝐵 y 𝐶 cualesquiera, se cumple que:

𝐴 − 𝐴 = ∅.

𝐴 − ∅ = 𝐴.

∅ − 𝐴 = ∅.

(𝐴 − 𝐵) ⊂ 𝐴.

𝐴 − 𝐵 = (𝐴 ∪ 𝐵) − 𝐵 = 𝐴 − (𝐴 ∩ 𝐵).

𝐵 ∩ (𝐴 − 𝐵) = ∅.

Si 𝐴 ⊂ 𝐵 ⇒ 𝐵 ⊂ (𝐴 − 𝐶) ⊂ (𝐵 − 𝐶), ∀𝐶.

(𝐴 ∪ 𝐵) − 𝐶 = (𝐴 − 𝐶) ∪ (𝐵 − 𝐶).

Nota: se probará algunas de las propiedades, y los demás se lo deja para el lector.

Prueba de 𝐴 − 𝐴 = ∅: en efecto, sea 𝑥 ∈ (𝐴 − 𝐴) ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐴 ⇒ 𝑥 ∈ ∅. Por lo

tanto 𝐴 − 𝐴 = ∅.
 29

Prueba de 𝐵 ∩ (𝐴 − 𝐵) = ∅: sea 𝑥 ∈ 𝐵 ∩ (𝐴 − 𝐵), luego 𝑥 ∈ 𝐵 ∧ 𝑥 ∈ (𝐴 − 𝐵) ⇒

𝑥 ∈ 𝐵 ∧ (𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵) por ello ⇒ (𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐵) ∧ 𝑥 ∈ 𝐴. Entonces 𝐵 ∩ (𝐴 − 𝐵) = ∅.

Prueba que si 𝐴 ⊂ 𝐵 ⇒ 𝐵 ⊂ (𝐴 − 𝐶) ⊂ (𝐵 − 𝐶), ∀𝐶: Por demostrar que si 𝑥 ∈

(𝐴 − 𝐶) entonces 𝑥 ∈ (𝐵 − 𝐶). En efecto, si 𝑥 ∈ (𝐴 − 𝐶) ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐶, luego

tenemos que 𝐴 ⊂ 𝐵 ⇒ 𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐶 ⇒ 𝑥 ∈ (𝐵 − 𝐶). Por lo tanto (𝐴 − 𝐶) ⊂ (𝐵 − 𝐶).

2.4 Complemento de conjuntos

Dados los conjuntos 𝐴 y 𝐵, tal que 𝐴 ⊂ 𝐵, se define el complemento del conjunto 𝐴

con respecto del conjunto 𝐵, al conjunto conformado por la diferencia de 𝐵 − 𝐴, el cual es

denoto por 𝐶𝐵 𝐴, es decir: 𝐶𝐵 𝐴 = 𝐵 − 𝐴 = {𝑥 / 𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴}.

Su caracterización lógica es: 𝑥 ∈ 𝐶𝐵 𝐴 ⇔ 𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴.

Nota: si 𝐵 = 𝑈, entonces el complemento del conjunto 𝐴 con respecto a 𝑈, se podría

denotar de las siguientes maneras: 𝐶(𝐴) = 𝐴′ = 𝐴𝐶 = 𝐴̅

Su representación gráfica, mediante el diagrama de Venn, es:

Figura 6. Complemento de un conjunto. Fuente: Lipschutz,

1970.

2.4.1 Propiedades del complemento de conjuntos.

Sean dos conjuntos 𝐴, y 𝐵, en el conjunto universal 𝑈, se tiene que:

 30

(𝐴𝑐 )𝑐 = 𝐴.

∅𝑐 = 𝑈 ∧ 𝑈 𝑐 = ∅.

𝐴 ∩ 𝐴𝑐 = ∅.

𝐴 ∪ 𝐴𝑐 = 𝑈.

𝐴 − 𝐵 = 𝐴 ∩ 𝐵𝑐 .

𝐴 ⊂ 𝐵 ⇔ 𝐵 𝑐 ⊂ 𝐴𝑐 .

(𝐴 ∪ 𝐵)𝑐 = 𝐴𝑐 ∩ 𝐵 𝑐 .

(𝐴 ∩ 𝐵)𝑐 = 𝐴𝑐 ∪ 𝐵 𝑐 .

Nota: se probará algunas de las propiedades, y los demás se lo deja para el lector.

Prueba de 𝐴 ∩ 𝐴𝑐 = ∅: entonces se probará que 𝐴 ∩ 𝐴𝑐 ⊂ ∅ y ∅ ⊂ 𝐴 ∩ 𝐴𝑐 . Primero

se probará que 𝐴 ∩ 𝐴𝑐 ⊂ ∅, en efecto, si 𝑥 ∈ (𝐴 ∩ 𝐴𝑐 ) ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐴𝑐 luego se obtiene

⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐴 ⇒ 𝑥 ∈ ∅, por lo tanto 𝐴 ∩ 𝐴𝑐 ⊂ ∅. Segundo, se probará que ∅ ⊂ 𝐴 ∩

𝐴𝑐 . En efecto, se sabe que el conjunto vacío se incluye en todo conjunto, entonces ∅ ⊂ 𝐴 ∩

𝐴𝑐 . Finalmente tenemos que 𝐴 ∩ 𝐴𝑐 = ∅.

Prueba de 𝐴 − 𝐵 = 𝐴 ∩ 𝐵 𝑐 : primero se probará que (𝐴 − 𝐵) ⊂ (𝐴 ∩ 𝐵 𝑐 ), en efecto,

sea 𝑥 ∈ (𝐴 − 𝐵) ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵 ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵 𝑐 ⇒ 𝑥 ∈ (𝐴 ∩ 𝐵 𝑐 ), por lo tanto se

obtiene (𝐴 − 𝐵) ⊂ (𝐴 ∩ 𝐵 𝑐 ). Segundo, se probará que (𝐴 ∩ 𝐵 𝑐 ) ⊂ (𝐴 − 𝐵), en efecto,

sea 𝑥 ∈ (𝐴 ∩ 𝐵 𝑐 ) ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵 𝑐 ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵 luego se tiene ⇒ 𝑥 ∈ (𝐴 − 𝐵), por

lo tanto 𝐴 ∩ 𝐵 𝑐 ⊂ 𝐴 − 𝐵. Finalmente, tenemos que 𝐴 − 𝐵 = 𝐴 ∩ 𝐵 𝑐 .

Prueba de (𝐴 ∪ 𝐵)𝑐 = 𝐴𝑐 ∩ 𝐵 𝑐 : primero se probará (𝐴 ∪ 𝐵)𝑐 ⊂ 𝐴𝑐 ∩ 𝐵 𝑐 , en efecto,

sea 𝑥 ∈ (𝐴 ∪ 𝐵)𝑐 ⇒ 𝑥 ∉ (𝐴 ∪ 𝐵) ⇒ 𝑥 ∉ 𝐴 ∧ 𝑥 ∉ 𝐵 ⇒ 𝑥 ∈ 𝐴𝑐 ∧ 𝑥 ∈ 𝐵 𝑐 ⇒ 𝑥 ∈ (𝐴𝑐 ∩ 𝐵 𝑐 ),

por lo tanto (𝐴 ∪ 𝐵)𝑐 ⊂ 𝐴𝑐 ∩ 𝐵 𝑐 . Segundo, se probará (𝐴𝑐 ∩ 𝐵 𝑐 ) ⊂ (𝐴 ∪ 𝐵)𝑐 , en efecto,

sea 𝑥 ∈ (𝐴𝑐 ∩ 𝐵 𝑐 ) luego se tiene ⇒ 𝑥 ∈ 𝐴𝑐 ∧ 𝑥 ∈ 𝐵 𝑐 ⇒ 𝑥 ∉ 𝐴 ∧ 𝑥 ∉ 𝐵 ⇒ 𝑥 ∉ (𝐴 ∪ 𝐵) ⇒

𝑥 ∈ (𝐴 ∪ 𝐵)𝑐 , por lo tanto 𝐴𝑐 ∩ 𝐵 𝑐 ⊂ (𝐴 ∪ 𝐵)𝑐 . Finalmente, se tiene el resultado que se

pedía (𝐴 ∪ 𝐵)𝑐 = 𝐴𝑐 ∩ 𝐵 𝑐 .
 31

2.5 Diferencia simétrica de conjuntos

Sean los conjuntos 𝐴 y 𝐵 cualesquiera, se define la diferencia simétrica de los

conjuntos 𝐴 y 𝐵 al conjunto de todos los elementos que están en 𝐴 o 𝐵, pero no en ambos,

denotado por 𝐴∆𝐵, es decir: 𝐴∆𝐵 = {𝑥 ∈ 𝑈 / (𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵) ∨ (𝑥 ∉ 𝐴 ∧ 𝑥 ∈ 𝐵)}.

Su caracterización lógica es: 𝑥 ∈ 𝐴∆𝐵 ⇔ (𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵 ) ∨ (𝑥 ∉ 𝐴 ∧ 𝑥 ∈ 𝐵 )

Otra manera equivalente se define: 𝐴∆𝐵 = {𝑥 ∈ 𝑈 / 𝑥 ∈ (𝐴 ∪ 𝐵) ∧ 𝑥 ∉ (𝐴 ∩ 𝐵)}.

𝐴∆𝐵 = (𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵).

Su representación gráfica, mediante el diagrama de Venn, es:

Figura 7. Diferencia simétrica de conjuntos. Fuente:

Espinoza, 2005. .

2.5.1 Propiedades de diferencia simétrica de conjuntos.

Sean tres conjuntos 𝐴, 𝐵 y 𝐶 cualesquiera, se cumple que:

𝐴∆𝐴 = ∅.

𝐴∆∅ = 𝐴.

𝐴∆𝐵 = 𝐵∆𝐴.

𝐴∆𝐵 = (𝐴 − 𝐵) ∪ (𝐵 − 𝐴).

(𝐴∆𝐵)∆𝐶 = 𝐴∆(𝐵∆𝐶).

(𝐴∆𝐵) ∩ 𝐶 = (𝐴 ∩ 𝐶)∆(𝐵 ∩ 𝐶).

Nota: se probará algunas de las propiedades, y los demás se lo deja para el lector.
 32

Prueba de 𝐴∆𝐴 = ∅: en efecto, como 𝐴∆𝐵 = (𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵), para conjuntos

iguales 𝐴∆𝐴 = (𝐴 ∪ 𝐴) − (𝐴 ∩ 𝐴) = (𝐴) − (𝐴). Por lo tanto 𝐴∆𝐴 = ∅.

Prueba de 𝐴∆𝐵 = 𝐵∆𝐴: en efecto, como 𝐴∆𝐵 = (𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵), la unión e

intersección de 𝐴 y 𝐵 es conmutativa (𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵) = (𝐵 ∪ 𝐴) − (𝐵 ∩ 𝐴), entonces

𝐴∆𝐵 = (𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵) = (𝐵 ∪ 𝐴) − (𝐵 ∩ 𝐴) = 𝐵∆𝐴. Por lo tanto 𝐴∆𝐵 = 𝐵∆𝐴.

2.6 Resolución de Problemas

Dados los siguientes conjuntos 𝐴 = {𝑎, 𝑏, 𝑐, 𝑒}, 𝐵 = {𝑏, 𝑐, 𝑑} y 𝐶 = {𝑎, 𝑐, 𝑒, 𝑓}.

Calcular lo siguiente: 𝐴 ∪ 𝐵, 𝐴 ∩ 𝐶, 𝐴 − 𝐵, 𝐶 − 𝐵, 𝐵 − 𝐴, 𝐴∆𝐵, (𝐴 ∪ 𝐶) − (𝐵 ∩ 𝐶) y

(𝐴 ∩ 𝐵) ∪ (𝐴 − 𝐵).

Resolución:

Así: 𝐴 ∪ 𝐵 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒}; 𝐴 ∩ 𝐶 = {𝑎, 𝑐, 𝑒}; 𝐴 − 𝐵 = {𝑎, 𝑒}; 𝐶 − 𝐵 = {𝑎, 𝑒, 𝑓};

𝐵 − 𝐴 = {𝑑}; 𝐴∆𝐵 = {𝑎, 𝑑, 𝑒}; (𝐴 ∪ 𝐶) − (𝐵 ∩ 𝐶) = {𝑏, 𝑐} ∪ {𝑎, 𝑒} = {𝑎, 𝑏, 𝑐, 𝑒} y

(𝐴 ∩ 𝐵) ∪ (𝐴 − 𝐵) = {𝑎, 𝑏, 𝑐, 𝑒, 𝑓} − {𝑎𝑐} = {𝑎, 𝑏, 𝑒, 𝑓}.

2𝑥+1
Determinar por extensión el conjunto 𝐴 = { / 𝑥 ∈ ℚ ∧ 6 < x < 12}.
3

Resolución:
2𝑥+1
Podemos observar que 𝑥 ∈ {7,8,9,10,11}. Luego reemplazando en se tiene 𝐴
3

15 17 19 21 23 17 19 23
por extensión, es decir 𝐴 = { 3 , , , , 3 }. Finalmente 𝐴 = {5, , , 7, 3 }.
3 3 3 3 3

Si el conjunto 𝐴 es unitario. Halle 𝑎 × 𝑏, si 𝐴 = {𝑎 + 𝑏, 12, 3𝑏 − 2𝑎 + 1}.

Resolución:

Como 𝐴 es unitario: 𝑎 + 𝑏 = 12 ∧ 3𝑏 − 2𝑎 + 1 = 12 ⇒ 3𝑏 − 2𝑎 = 11,

resolviendo el sistema de ecuaciones tenemos que: 𝑎 = 5 ∧ 𝑏 = 7 ∴ 𝑎 × 𝑏 = 35.

Dado el conjunto 𝐴 = {𝑎, 𝑏, {𝑎, 𝑏}, {∅}, 𝑐}, indicar si es verdadero o falso, según

corresponda: 𝑎 ∈ 𝐴 ( ) {∅} ⊂ 𝐴 ( ) {𝑐} ∈ 𝐴 ( ) ∅∈𝐴 ( ) {∅} ∈ 𝐴 ( )

 33

{𝑏} ⊂ 𝐴 ( ) ∅∈𝐴( ) {𝑎, 𝑏, 𝑐} ⊂ 𝐴 ( ) {𝑎, 𝑏} ∈ 𝐴 ( ) {{𝑎, 𝑏}} ⊂ 𝐴 ( )

Resolución:

𝑎 ∈ 𝐴 (𝑉) {∅} ⊂ 𝐴 (𝐹) {𝑐} ∈ 𝐴 (𝐹) ∅ ⊂ 𝐴 (𝑉) {∅} ∈ 𝐴 (𝑉)

{𝑏} ⊂ 𝐴 (𝑉) ∅ ∈ 𝐴 (𝐹) {𝑎, 𝑏, 𝑐} ⊂ 𝐴 (𝑉) {𝑎, 𝑏} ∈ 𝐴 (𝑉) {{𝑎, 𝑏}} ⊂ 𝐴 (𝑉).

𝑏
Si los conjuntos 𝐴 y 𝐵 son iguales 𝐴 = {3𝑎 + 5; 7} y 𝐵 = {3 − 2; 5}. Halle 𝑏 − 𝑎.

Resolución:

Como 𝐴 y 𝐵 son iguales, por ello tienen los mismos elementos, se toma por

𝑏
conveniente: 3𝑎 + 5 = 5 y − 2 = 7 ⇒ 𝑎 = 0 ∧ 𝑏 = 27. Se pide 27 − 0 = 27.
3

Sean los conjuntos siguientes definidos: 𝐴 = {2,3,4,5}; 𝐵 = {4,5,6,7,8}; 𝐶 = {7,8,9}

y 𝑈 = {𝑥 / 𝑥 ∈ ℤ+ ∧ 0 < 𝑥 < 10}. Calcular 𝐴𝑐 , 𝐵 𝑐 , (𝐴 ∩ 𝐵)𝑐 y 𝐵 𝑐 − 𝐴

Resolución:

El conjunto universal 𝑈 = {1,2,3,4,5,6,7,8,9}, operando los conjuntos 𝐴, 𝐵 y 𝐶 se

tiene: 𝐴𝑐 = {1,6,7,8,9}, 𝐵 𝑐 = {1,2,3,9}, (𝐴 ∩ 𝐵)𝑐 = {4,5}𝑐 = {1,2,3,6,7,8,9} y 𝐵 𝑐 − 𝐴 =

{1,2,3,9} − {2,3,4,5} = {1,9}.

Cuántos subconjuntos tiene: 𝐴 = {𝑥 2 + 1 / 𝑥 ∈ ℤ, −3 ≤ 𝑥 < 5}

Resolución:

Al operar 𝑥 ∈ {−3, −2, −1,0,1,2,3,4} ⇒ 𝑥 2 + 1 ∈ {10,5,2,1,2,5,10,17}, finalmente

𝐴 = {1,2,5,10,17}, el número de subconjuntos de 𝐴 = 2𝑛(𝐴) = 25 = 32.

En una encuesta realizada a 50 ciudadanos sobre los gustos de las revistas 𝐴 y 𝐵, los

que leen 𝐴 y 𝐵 son el doble a los que leen solo 𝐴, el triple a los que leen solo 𝐵 y el

cuádruplo a los que no leen ninguna de 𝐴 y 𝐵. ¿Cuántos ciudadanos leen la revista 𝐴?

Resolución:
 34

Figura 8. Ejercicio de conjuntos. Fuente: Autoria propia.

6𝑥 + 12𝑥 + 4𝑥 + 3𝑥 = 50 ⇒ 𝑥 = 2 ⇒ 𝑛(𝐴) = 18 × 2 = 36.

Demostrar: 𝑃(𝐴 ∩ 𝐵) = 𝑃(𝐴) ∩ 𝑃(𝐵) y (𝑃(𝐴) ∩ 𝑃(𝐵)) ⊂ 𝑃(𝐴 ∪ 𝐵).

Demostración:

Se probará que 𝑃(𝐴 ∩ 𝐵) = 𝑃(𝐴) ∩ 𝑃(𝐵): primero 𝑃(𝐴 ∩ 𝐵) ⊂ (𝑃(𝐴) ∩ 𝑃(𝐵)), sea

𝑥 ∈ 𝑃(𝐴 ∩ 𝐵) ⇒ 𝑥 ⊂ (𝐴 ∩ 𝐵) ⇒ 𝑥 ⊂ 𝐴 ∧ 𝑥 ⊂ 𝐵, luego ⇒ 𝑥 ∈ 𝑃(𝐴) ∧ 𝑥 ∈ 𝑃(𝐵), por

consiguiente ⇒ 𝑥 ∈ 𝑃(𝐴) ∧ 𝑥 ∈ 𝑃(𝐵), ahora ⇒ 𝑥 ∈ (𝑃(𝐴) ∩ 𝑃(𝐵)), por lo tanto se tiene

𝑃(𝐴 ∩ 𝐵) ⊂ (𝑃(𝐴) ∩ 𝑃(𝐵)). Segundo: (𝑃(𝐴) ∩ 𝑃(𝐵)) ⊂ 𝑃(𝐴 ∩ 𝐵), sea 𝑥 ∈

(𝑃(𝐴) ∩ 𝑃(𝐵)) ⇒ 𝑥 ∈ 𝑃(𝐴) ∧ 𝑥 ∈ 𝑃(𝐵) ⇒ 𝑥 ⊂ 𝐴 ∧ 𝑥 ⊂ 𝐵 ⇒, es por ello que 𝑥 ⊂

(𝐴 ∩ 𝐵) ⇒ 𝑥 ∈ 𝑃(𝐴 ∩ 𝐵), luego se tiene que (𝑃(𝐴) ∩ 𝑃(𝐵)) ⊂ 𝑃(𝐴 ∩ 𝐵). Segundo se

probará (𝑃(𝐴) ∩ 𝑃(𝐵)) ⊂ 𝑃(𝐴 ∪ 𝐵), sea 𝑥 ∈ (𝑃(𝐴) ∪ 𝑃(𝐵)), luego se tiene ⇒ 𝑥 ∈

𝑃(𝐴) ∨ 𝑥 ∈ 𝑃(𝐵) ⇒ 𝑥 ⊂ 𝐴 ∨ 𝑥 ⊂ 𝐵 ⇒ 𝑥 ⊂ 𝐴 ∪ 𝐵 ⇒ 𝑥 ∈ 𝑃(𝐴 ∪ 𝐵). Por lo tanto

(𝑃(𝐴) ∩ 𝑃(𝐵)) ⊂ 𝑃(𝐴 ∪ 𝐵). Al final: 𝑃(𝐴 ∩ 𝐵) = 𝑃(𝐴) ∩ 𝑃(𝐵).

Demostrar la siguiente propiedad: 𝐴 − 𝐵 = 𝐴 ∩ 𝐵 𝑐 .

Demostración:

Primero se probará 𝐴 − 𝐵 ⊂ 𝐴 ∩ 𝐵 𝑐 : en efecto sea 𝑥 ∈ 𝐴 − 𝐵 ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵,

luego ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵 𝑐 ⇒ 𝑥 ∈ 𝐴 ∩ 𝐵 𝑐 . Por lo tanto 𝐴 − 𝐵 ⊂ 𝐴 ∩ 𝐵 𝑐 . Segundo se probará

 35

𝐴 ∩ 𝐵 𝑐 ⊂ 𝐴 − 𝐵, sea 𝑥 ∈ 𝐴 ∩ 𝐵 𝑐 ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵 𝑐 , luego ⇒ 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵 ⇒ 𝑥 ∈ 𝐴 −

𝐵. Por lo tanto 𝐴 ∩ 𝐵 𝑐 ⊂ 𝐴 − 𝐵. Finalmente: 𝐴 − 𝐵 = 𝐴 ∩ 𝐵 𝑐 .

 36

Capítulo III

Operaciones Generalizadas

3.1 Introducción

En este capítulo hablaremos de un tipo especial de conjuntos, el cual tiene como

elementos a otros conjuntos. Esta idea también nos va a permitir poder generalizar algunos

conceptos como la unión e intersección de conjuntos, pero ya no con dos conjuntos sino

incluso con una cantidad infinita de ellos, al cual llamaremos familia de conjuntos.

La familia de conjuntos tiene un rol muy importante en otras teorias de las matemáticas,

pues su objetivo es estudiar a las familias especiales de los conjuntos.

3.2 Conjuntos indizados

Sean los conjuntos: 𝐴1 = {4,8}, 𝐴2 = {1,3,6,9}, 𝐴3 = {5,8}, 𝐴4 = {4,7,10} y el

conjunto 𝐼 = {1,2,3,4, }, podemos notar que para cada elemento 𝑖 ∈ 𝐼 le corresponde un

conjunto 𝐴1 . Entonces, se dice que I es el conjunto de índices, además que los elementos

{𝐴1 , 𝐴2 , 𝐴3 , 𝐴4 } están indizados y que la 𝑖 está suscrita de 𝐴𝑖 , es decir, que cada 𝑖 ∈ 𝐼 es un

índice. Esto se puede denotar de la siguiente manera:{𝐴𝑖 }𝑖∈𝐼 (Lipschutz, 1970).

Ejemplo: definimos el conjunto 𝐵𝑖 = {𝑥 / 𝑥 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 𝑖}, donde 𝑖 ∈ ℤ+ ,

entonces tenemos que: 𝐵1 = {1,2,3 … }, 𝐵2 = {2,4,6 … }, 𝐵3 = {3,6,9 … }, 𝐵4 = {4,8,12 … }

 37

Podemos observar que el conjunto de índices i es también 𝐵1 y, asimismo, es el conjunto

universal para los conjuntos indizados.

3.3 Familia de conjuntos

Sea una familia de conjuntos A que se define como aquel conjunto donde sus

elementos son exclusivamente conjuntos. Generalmente se representa con letras

mayúsculas caligrafiadas y, además, se pueden expresar a través de un conjunto de índices

I de la forma siguiente: 𝐴 = {𝐴𝑖 : 𝑖 ∈ 𝐼}.

Ejemplo: sea 𝐷 = {{0}, {1,3}, {𝑎, 𝑏, 𝑐}, {4, 𝑎}} una familia finita de conjuntos, donde

se puede tomar como elementos de esta familia a los conjuntos 𝐷1 , 𝐷2 , 𝐷3 , 𝐷4 definidos:

𝐷1 = {0}, 𝐷2 = {1,3}, 𝐷3 = {𝑎, 𝑏, 𝑐}, 𝐷4 = {4, 𝑎} y el conjunto de índices 𝐼 = {1,2,3,4}.

Se escribe notación de la siguiente forma: 𝐷 = {𝐷𝑖 }𝑖∈𝐼 , es decir 𝐷 = {𝐷1 , 𝐷2 , 𝐷3 , 𝐷4 }.

Ejemplo: hallar los elementos de las siguientes familias de conjuntos 𝐴𝑖 definido

como: 𝐴𝑖 = {2𝑖 + 𝑛 / 𝑛 = 2̇ ∧ 1 < 𝑛 ≤ 6}, además 𝑖 = {1,2,3,4}

Solución: los elementos del conjunto serán 𝐴𝑖 = {𝐴1 , 𝐴2 , 𝐴3 , 𝐴4 }, de donde se tiene:

𝐴1 = {2 + 𝑛/𝑛 = 2̇ ∧ 𝑛 ∈ (1,6]} = {4,6,8}, 𝐴2 = {4 + 𝑛/𝑛 = 2̇ ∧ 𝑛 ∈ (1,6]} = {6,8,10},

𝐴3 = {6 + 𝑛 / 𝑛 = 2̇ ∧ 1 < 𝑛 ≤ 6} = {8,10,12} y 𝐴4 = {8 + 𝑛 / 𝑛 = 2̇ ∧ 1 < 𝑛 ≤ 6} =

{10,12,14}.

3.4 Operaciones básicas generalizadas

3.4.1 Unión de familia de conjuntos.

Dada una familia finita de conjuntos 𝐴 = {𝐴𝑖 : 𝑖 ∈ 𝐼} es decir 𝐴 = {𝐴1 , 𝐴2 , 𝐴3 , … , 𝐴𝑛 }

la unión de conjuntos de 𝐴, se define como aquel conjunto de todos los elementos que

están en algún conjunto de 𝐴.

 38

n
La unión de todos los 𝐴 tiene se denota: A1  A2  A3 , . . . ,  An = Ai
i =1

n
Entonces: Ai =  x /  i  I tal que x  Ai .
i =1
n
Su caracterización lógica es: x  Ai   i  I / x  Ai .
i =1
n
O su equivalente: x  Ai   i  I / x  Ai .
i =1

3.4.2 Intersección de familia de conjuntos.

Dada una familia finita de conjuntos 𝐴 = {𝐴𝑖 : 𝑖 ∈ 𝐼} es decir 𝐴 = {𝐴1 , 𝐴2 , 𝐴3 , … , 𝐴𝑛 },

la intersección en todos los conjuntos de 𝐴 se define como aquel conjunto de todos los

elementos que están en todos los conjuntos de 𝐴.

n
La intersección se denota: A1  A2  A3 , . . . ,  An = Ai .
i =1
n
Entonces: Ai =  x /  i  I tal que x  Ai .
i =1
n
Su caracterización lógica es: x  Ai   i  I / x  Ai .
i =1
n
O su equivalente: x  Ai   i  I / x  Ai .
i =1

Ejemplo: sean los siguientes conjuntos 𝐴1 , 𝐴2 , 𝐴3 , 𝐴4 y 𝐴5 que se definen como:

𝐴1 = {4,8}, 𝐴2 = {1,3,6,9}, 𝐴3 = {5,6,8}, 𝐴4 = {4,7,10}, 𝐴5 = {3,5,6,9} y el conjunto de

índices 𝐼 = {2,3,5}, entonces: Ai = 1, 3, 5, 6, 8, 9 y Ai = 6 .

iI iI

1 1 1
Ejemplo: se denota a 𝐷𝑛 = [0, 𝑛] tal que 𝑛 ∈ ℕ, entonces: 𝐷1 = [0, 𝑛], 𝐷2 = [0, 2],

1 1 1
𝐷3 = [0, 3], 𝐷4 = [0, 4],…, 𝐷𝑛 = [0, 𝑛].

Luego observamos que: Dn =  0, 1 y Dn = 0 .

n n
 39

3.4.2.1 Propiedades generales de la familia de conjuntos.

Sea {𝐴𝑖 }𝑖∈𝐼 una familia de los conjuntos y 𝐸 un conjunto cualquiera, se cumple:

n n
a. E  ( Ai ) = ( E  Ai )
i =1 i =1
n n
b. E  ( Ai ) = ( E  Ai )
i =1 i =1
n n
c. E  ( Ai ) = ( E  Ai )
i =1 i =1
n n
d. E  ( Ai ) = ( E  Ai )
i =1 i =1
n n
e. ( Ai )c = ( Ai )c .
i =1 i =1
n n
si x  ( Ai )c  x  Ai  i / x  Ai
i =1 i =1
n n
f. ( Ai )c = ( Ai )c
i =1 i =1
n n
si x  ( Ai )c  x Ai  i / x  Ai
i =1 i =1
n n
Demostración: a) Si E  ( Ai ) = ( E  Ai ) , entonces por demostrar que
i =1 i =1
n n n n
E ( Ai )  ( E  Ai ) y ( E  Ai )  E  ( Ai )
i =1 i =1 i =1 i =1
n n n
Demostraremos que E  ( Ai )  ( E  Ai ) , en efecto: sea x  E  ( Ai )
i =1 i =1 i =1
n
→ x E  x  Ai → x E  x  Ai , para algún 𝑖. → x  E  Ai
i =1
n n n
→ x ( E  Ai ) . Por lo tanto E  ( Ai )  ( E  Ai )
i =1 i =1 i =1
n n n
Demostraremos que ( E  Ai )  E  ( Ai ) , en efecto: sea x  ( E  Ai )
i =1 i =1 i =1
n
→ x  E  Ai , para algún 𝑖. → x E  x  Ai → x  E  x  ( Ai )
i =1
n n n
→ x E  ( Ai ) . Por lo tanto ( E  Ai )  E  ( Ai ) .
i =1 i =1 i =1
n n
Finalmente, de ambos resultados concluimos que E  ( Ai ) = ( E  Ai ) .
i =1 i =1
 40

3.5 Partición y cubrimiento

3.5.1 Cubrimiento.

Decimos que una familia de conjuntos {𝐴𝑖 }, 𝑖 ∈ 𝐼, con 𝐴𝑖 ≠ ∅, es un cubrimiento de

un conjunto 𝐵 (o que cubre un conjunto 𝐵), si su unión contiene a 𝐵, es decir B  i I

Ai

Ejemplo: sean el conjunto 𝐵 = {𝑥 ∈ 𝑍 + / 𝑥 = 2̇ ∧ 1 < 𝑥 ≤ 8} y la familia de

conjuntos 𝐴1 = {2,3,5,7}, 𝐴2 = {5,6,8,9}, 𝐴3 = {1,4,10} se nota que B es un cubrimiento

de 𝐴1 ∪ 𝐴2 ∪ 𝐴3 pues 𝐵 = {2,4,6,8} ⊂ {1,2,3,4,5,6,7,8,9,10} = 𝐴1 ∪ 𝐴2 ∪ 𝐴3

3.5.2 Partición.

Se dice que una familia de conjuntos {𝐴𝑖 }, 𝑖 ∈ 𝐼, con 𝐴𝑖 ≠ ∅, es una partición de un

conjunto B, si:

B= iI
Ai

Los conjuntos de la forma Ai son disjuntos dos a dos ( Ai  Aj =  , si i  j ).

3.5.2.1 Propiedad.

Toda partición es un cubrimiento. En efecto, pues si B = i I

Ai → B  i I
Ai

Figura 9. Partición de una familia de conjuntos. Fuente:

Lipschutz, 2009. .
 41

Ejemplo: sea el conjunto 𝐵 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔} y la familia de conjuntos: 𝐴1 , 𝐴2 y

𝐴3 definidas como: 𝐴1 = {𝑎, 𝑏, 𝑐}, 𝐴2 = {𝑑, 𝑒}, 𝐴3 = {𝑓, 𝑔} conforman una partición del

conjunto B, pues:

𝐴1 ⊂ 𝐵, 𝐴2 ⊂ 𝐵 y 𝐴3 ⊂ 𝐵.

𝐴1 ∩ 𝐴2 = ∅ y 𝐴1 ∩ 𝐴3 = ∅ y 𝐴2 ∩ 𝐴3 = ∅.

𝐴1 ∩ 𝐴2 ∩ 𝐴3 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔} = 𝐵.
 42

Aplicación didáctica

Experiencia de aprendizaje

I. Datos generales
1.1. Nivel : Secundaria
1.2. Área : Matemática
1.3. Grado : 5to.
1.4. Tiempo : 40 minutos
1.5. Fecha : 16 – 09- 2021
1.6. Docente : Percy Tintaya Huallpa
1.7. Título : El mundo de los conjuntos

II. Aprendizaje esperado

Competencia Resuelve problemas de cantidad

Traduce cantidades a expresiones numéricas.
Comunica su comprensión sobre los números y las operaciones.
Capacidades
Argumenta afirmaciones sobre las relaciones numéricas y las
operaciones.
Plantear, establecer relaciones y resolver problemas en mérito a los
tipos y operaciones de conjuntos. Asimismo, combinamos y
Propósito
empleamos estrategias heurísticas, métodos gráficos y propiedades
sobre conjuntos.

III. Proyección de actividades

Actividad 1 Actividad 2
Se reconoce los tipos y operaciones de Repesentamos a los conjuntos mediante
conjuntos en los problemas y se ejecuta. el diagrama de Venn y los resolvemos.
El docente hace la conexión con los El docente hace la conexión con los
estudiantes haciendo uso del grupo de estudiantes haciendo uso del grupo de
Whatsapp y el zoom. Previamente, Whatsapp y el zoom. Previamente,
manda la invitación y/o el ID. mada la invitación y/o el ID.
El docente les presenta los acuerdos de El docente les presenta los acuerdos de
convivencia. convivencia.
El docente les presenta las operaciones El docente les presenta a los
de conjuntos usando la pizarra virtual, así estudiantes un video acerca de los
como mediante imágenes, para que conjuntos en la vida cotideana y
respondan las preguntas de la actividad. tambien hace uso de la pizarra virtual
Los estudiantes analizan y resuelven para su complementación.
las actividades propuestas .
 43

Los estudiantes asumen compromisos Los estudiantes resuelven las

sobre el cumplimiento de la actividad actividades propuestas .
asignada (reto). Los estudiantes asumen compromisos
El docente complementa la actividad sobre el cumplimiento de la actividad
mediante una retroalimentación, luego asignada (reto).
envía las actividades mediante la El docente complementa la actividad
plataforma classroom y whatsapp. mediante diapositivas, luego envía las
actividades mediante la plataforma
classroom y whatsapp.

IV. Evaluamos nuestros avances

Estoy en
¿Qué puedo hacer para
Criterios de evaluación Lo logré proceso de
mejorar mis aprendizajes?
lograrlo
Establece las
diferencias entre las
clases de conjuntos.
Comprende cada una
de las operaciones de
conjuntos.
Relaciona datos y
elementos y los
expreso mediante el
diagrama de Venn.
 44

Síntesis

En este trabajo se expones la teoria de conjuntos, iniciado desde el enfoque

axiomático, en el cual desarrollamos de manera secuencial los puntos que detallo a

continuación.

Iniciamos con una breve reseña sobre el inicio de la teoría de conjuntos, tomando los

conceptos primitivos: al conjunto, elementos y la relación de pertenencia. Luego de ello

definimos algunos conceptos que usaremos; además, mencionamos el lenguaje básico y

también las nociones sobre el concepto de conjunto; para luego enunciar cada uno de los

axiomas que fortalecen esta teoría, los cuales son:

Axioma de extensión.

Axioma de existencia.

Axioma de separación.

Axioma del par.

Axioma de la unión.

Axioma de las partes.

En este capítulo enunciamos la paradoja de Russell, el cual hizo temblar al mundo de

las matemáticas y, además, tomamos algunos conjuntos especiales como: conjunto

universal, conjuntos disjuntos y el conjunto de las partes.

En la segunda parte definimos cada una de las operaciones de la teoría de conjuntos,

como son: intersección, unión, diferencia, diferencia simétrica y complemento. Además,

colocamos una serie de ejercicios resueltos sobre la teoría de conjuntos.

Finalmente, en la tercera parte generalizamos las operaciones básicas de conjuntos,

como son la unión y la intersección, a través de la familia de conjuntos; y, para concluir,

analizamos qué es un cubrimiento y una partición de conjuntos.

 45

Apreciación crítica y sugerencias

En el presente trabajo monográfico, todos los conceptos y definiciones de los textos

utilizados para desarrollar la teoría de conjuntos son de amplio contenido, pues lo que se

busca en este trabajo es generar el interés de los estudiantes de una manera sencilla.

Por otro lado, algunos de los textos no llevan un orden secuencial para el buen

entendimiento de este tema y utilizan un lenguaje lógico, el cual se debe de tener

conocimiento previamente antes del estudio de los conjuntos.

Muchos de estos texto estan orientados para el nivel superior y no para la educación

básica regular, el cual limita el conocimiento profundo de la teoría de conjuntos.

Como reflexión final, podemos decir que este trabajo conlleva a realizar estudios

más exhaustivos y didácticos, para de esta manera generar el interés por este tema y

materias afines.

Las sugerencias que presentaremos a continuación son:

Antes de abordar este tema, se debe de enseñar el uso correcto del lenguaje lógico,

para de esta manera tener una mejor comprensión de la teoría de conjuntos.

Los textos deben de tener una secuencialidad didáctica, que permita al estudiante

entender desde la parte axiomática hasta las generalidades de conjuntos.

Se debe incluir en los textos de la educación básica regular la teoría de conjuntos, en

cuyo efecto se debe usar el lenguaje lógico proposicional.

 46

Referencias

Cignoli, R. (2016). Teoría axiomática de conjuntos: Una introducción. Buenos Aires,

Argentina. Recuperado de http://cms.dm.uba.ar/depto/public/grado/fascgrado8.pdf

Espinoza, E. (2005). Matemática básica (2da. ed.). Lima, Perú.

Figueroa, R. (2013). Matematica Básica 1 (8va ed.). Lima, Perú: RFG.

Halmos, P. (1973). Teoría intuitiva de los conjuntos (8va. ed.). México D.F., México:

Continental S.A. Recuperado de https://academicos.azc.uam.mx/cbr/Cursos/UEA_

MDPC/Almos_1973_Axims_Ext_Esp.pdf

Hernández, F. (1998). Teoría de conjuntos (2da. ed.). Distrito Federal de Mexico:

Sociedad matemática mexicana. Recuperado de https://es.scribd.com/doc/125912

204/Fernandez-teoria-de-Conjuntos

Lazaro, M. (2012). Matemática básica. Lima, Perú: Moshera S.R.L. Recuperado de

https://kupdf.net/queue/matematica-basica-moises- azaro_58f59340dc0d60824dd

la9886_pdf?queue_id=-1&x=1631166587&z=MjAxLjI0MC4xNDcuMTEz

Lewin, R. A. (2006). Teoría axiomática de conjuntos (Versión Preliminar ed.). Santiago de

Chile, Chile: Pontificia Universidad Católica de Chile . Recuperado de

https://www.yumpu.com/es/document/read/14381496/teoria-axiomatica-de-

conjuntos-facultad-de-matematicas-

Lipschutz, S. (1970). Teoría de Conjuntos y Temas Afines (1ra. ed.). México, México:

McGraw Hill. Recuperado de https://norbertomn.files.wordpress.com/2013/09

/teoria-de-conjuntos-y-temas-afines.pdf

Lipschutz, S. (2009). Matemáticas discretas (3ra. ed.). México, D. F., México: McGraw-

Hill. Recuperado de https://www.academia.edu/37114530/Matem%C3%A1ticas_d

iscretas_Schaum_Lipschutz_and_Lipson_3ed
 47

Muñoz, J. (2002). Introducción a la teoría de conjuntos (4ta. ed.). Bogotá, Colombia :

Panamericana. Recuperado de https://www.academia.edu/36872835/Mu%C3%B1

oz_Q_Jos%C3%A9_M_Teor%C3%ADa_de_Conjuntos_1_

Murillo, M. (2010). Introducción a la Matemática Discreta (4ta. ed.). Cartago, Costa Rica:

Tecnológica de Costa Rica.

Oubiña, L. (1974). Introducción a la teoría de conjuntos (7ma. ed.). Buenos Aires,

Argentina: Universitaria de Buenos Aires . Recuperado de

https://www.academia.edu/41341394/Introduccion_a_la_teoria_de_conjuntos_Lia_

Oubi%C3%B1a

Zaenz, J., Gil, F., Lopez, B., Romero, N., & Bethelmy, J. (2001). Fundamentos de la

Matematica (2da. ed.). Barquisimeto, Venezuela: Hipotenusa. Recuperado de

https://archive.org/details/fundamentosdelamatematicajorgesaenz/page/n101/mode/

2up
 48

Apéndices

Apéndice A: Actividad 1

Apéndice B: Actividad 2
 49

Apéndices A: Actividad 1

1. Si los conjuntos: 𝐴 = {2𝑥 + 3𝑦, 10}; 𝐵 = {29, 𝑥 + 𝑦} son iguales. Calcule 𝑦 − 𝑥

2. Hallar el conjunto 𝐶 por extensión y determina cuántos subconjuntos tiene, es

definido por: 𝐶 = {𝑥 2 + 1 / 𝑥 ∈ ℤ; −3 < 𝑥 ≤ 4}.

3. Si el siguiente conjunto 𝐷 = {𝑎 + 𝑏, 8,2𝑎 − 2𝑏 + 4}, es unitario. Halle 𝑎4 + 𝑏 4 .

4. Cuántos subconjuntos propios tiene el conjunto: 𝑀 = {2,3, {2}, 3,2, {2}, {3}}.

5. Dados los conjuntos unitarios 𝑃 = {𝑥 + 𝑦, 8}; 𝑄 = {𝑦 + 𝑧, 10}; 𝑆 = {𝑥 + 𝑧, 12}.

Calcule: 𝑥 + 𝑦 + 𝑧.

6. Colocar el valor de verdad o falsedad en cada proposición si: 𝐴 = {2,3, {1}, {1,2}}.

∅∈𝐴( ) 3∈𝐴( ) 1∉𝐴( )

{1} ∈ 𝐴 ( ) {3} ⊂ 𝐴 ( ) ∅⊂𝐴( )

 50

Apéndices B: Actividad 2

1. Dados los conjuntos: 𝐴 = { 𝑥 ∈ ℤ+ / 𝑥 ∈ (2,6)}; 𝐵 = {𝑥 2 + 1/ 𝑥 ∈ ℤ; 𝑥 ∈ (1,4)}

y 𝐶 = {𝑥 − 2/ 𝑥 ∈ ℤ ∧ 𝑥 ∈ (4,6)}, ¿cuántos elementos tiene la operación:

(𝐵 ∪ 𝐴) − (𝐴 ∩ 𝐶) ?

2. Determinar: 𝐸 = (𝐴 − 𝐵) ∩ (𝐵 − 𝐶). Si 𝐴 = {𝑥/ 𝑥 ∈ ℤ+ ∧ 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 12},

𝐵 = {𝑥/ 𝑥 ∈ ℤ+ ∧ 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 18} y 𝐶 = {𝑥/ 𝑥 ∈ ℤ+ ∧ 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 16}.

Dar como respuesta el número de elementos de 𝐸.

3. Sean los conjuntos 𝐴 = { 1,5,7,8,9}; 𝐵 = { 1,5,8,9}; 𝐶 = { 1,8}; 𝐷 = { 1,7,9}.

Hallar: (𝐴∆𝐶) − (𝐵∆𝐷).

4. En un club hay 80 personas, los que no practican ni atletismo ni futbol son 30, los

de atletismo son 20 y los de fulbito y atletismo, a la vez, son 6. ¿Cuántos realizan

un solo deporte?