ESCUELA POLITÉCNICA NACIONAL

Álgebra
CONJUNTOS

ESCUELA POLITÉCNICA NACIONAL

Semestre 2021-B

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 1 / 45

Agenda
1 Lenguaje y Sintaxis
2 Cuantificadores
Reglas para las negaciones de enunciados con cuantificadores
Ejemplos
3 Conceptos Primitivos
4 Igualdad
Teoremas de igualdad
5 Axioma de Sustitución
6 Subclase
Teoremas de subclase
Axioma de la subclase
7 Axioma de construcción de clases
Clase Universal
Clase Russell
Clase Vacı́a
8 Diagramas de Venn
9 Operaciones entre conjuntos
Propiedades de las operaciones
Axioma de la Unión
Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 2 / 45
Agenda
10 Clase unitaria

11 Par desordenado

12 Par ordenado

13 Producto cartesiano

14 Partes de un conjunto

15 Axioma de los Fundamentos

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 3 / 45

Clase 05
1. Cuantificadores:
1) Universal
2) Existencial

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 4 / 45

 Lenguaje y Sintaxis

Lenguaje y Sintaxis
1. Se usarán las letras mayúsculas

A, B, C, . . . , X, Y, Z.

para representar clases.

2. El signo
∈
representará relación pertenencia. La sintaxis para este signo es:

A ∈ B.

Y se lee:
“la clase A pertenece a la clase B”.
3. Las proposiciones de la Teorı́a de Conjuntos se definen recursivamente ası́:
I. A ∈ B es una proposición de la Teorı́a de Conjuntos.
II. Si A y B representan proposiciones de la Teorı́a de conjuntos,

¬A , A ∧ B, A ∨ B, A ⇒B y A ⇔ B,

también representan proposiciones de esta teorı́a.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 5 / 45
 Lenguaje y Sintaxis

Lenguaje y Sintaxis
III.
Una proposición de la Teorı́a de Conjuntos se obtiene únicamente por
la aplicación de las dos reglas anteriores.
La negación de A ∈ B,
¬(A ∈ B),
será representada por
A ∈/ B.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 6 / 45

 Cuantificadores

Cuantificadores
Los cuantificadores universal y existencial se introducen de forma informal y
utilizaremos las siguientes expresiones:
para todas las clases X,
para toda clase X,
para cualquier clase X,
existe una clase X,
para alguna clase X.
Principalmente, utilizaremos expresiones como las siguientes:
C 1 : Se deduce (se tiene) la proposición A para toda clase X.
C 2 : Para toda clase X, se deduce (se tiene) la proposición A .
C 3 : Existe una clase X tal que se deduce (se tiene) la proposición A .
C 4 : Se deduce (se tiene) la proposición A para alguna clase X.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 7 / 45

 Cuantificadores Reglas para las negaciones de enunciados con cuantificadores

Reglas para las negaciones

1. Negación universal: la negación de
para toda clase X, se tiene A
es
existe una clase X tal que se tiene ¬A ,
lo que también se expresará ası́:
existe una clase X tal que no se tiene A .
2. Negación existencial: la negación de
existe una clase X tal que se tiene A
es
para toda clase X, se tiene ¬A ,
que se expresará también ası́:
para toda clase X, no se tiene A .

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 8 / 45

 Cuantificadores Ejemplos

Ejemplos
1. La negación de
existe una clase Z tal que se tiene que

A∈Z

2. La negación de
para toda clase X, se deduce que

X ∈A⇒X ∈B

3. La negación de
para alguna clase Z, se tiene que

Z ∈A∧Z ∈B

4. La negación de
para toda clase X, existe una clase Y tal que X ∈/ Y

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 9 / 45

 Cuantificadores Ejemplos

Clase 06
1. Clase y conjunto

2. Igualdad

3. Subclase

4. Axioma de Sustitución

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 10 / 45

 Conceptos Primitivos

Clase y conjunto

 Definición: Conjunto / Clase Propia

Una clase A es un conjunto si existe otra clase B tal que A ∈ B. Es decir,
un conjunto es toda clase que pertenezca a otra clase.
Una clase A es propia si no es un conjunto. En otras palabras, una clase
propia es aquella que no pertenece a ninguna clase.

Utilizaremos letras minúsculas del alfabeto

a, b, c, . . . , x, y, z

para representar exclusivamente clases que son conjuntos.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 11 / 45

 Igualdad

Igualdad

 Definición: Igualdad
Dadas las clases A y B, diremos que la clase A es igual a la clase B si se
tiene que
x∈A⇔x∈B
para todo conjunto x.
Representaremos esta relación entre las clases A y B por A = B.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 12 / 45

 Igualdad Teoremas de igualdad

Teoremas de Igualdad

 Teorema: Propiedades de la Igualdad

Dadas las clases A, B y C, se tiene que:
1. Reflexiva de la igualdad de clases: A = A.
2. Simétrica de la igualdad de clases: Si A = B, entonces B = A.
3. Transitiva de la igualdad de clases: Si A = B y B = C, entonces A = C.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 13 / 45

 Igualdad Teoremas de igualdad

Teoremas de Igualdad
 Teorema: Caracterización de igualdad
Las proposiciones

(A = B ∧ z ∈ A) ⇒ z ∈ B y (A = B ∧ z ∈ B) ⇒ z ∈ A

son verdaderas.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 14 / 45

 Axioma de Sustitución

Axioma de Sustitución
Si A representa una proposición, entonces se tiene que

X = Y ⇒ (A (X) ⇔ A (Y )),

donde A (Y ) se obtiene a partir de A (X) al sustituir algunas (no

necesariamente todas) de las apariciones de X en A por Y .

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 15 / 45

 Subclase

Subclase

 Definición: Subclase
Dadas las clases A y B, diremos que A es subclase de B si se tiene que

x∈A⇒x∈B

para todo conjunto x.

Representaremos esta relación entre las clases A y B por A ⊆ B.
Si A ⊆ B y A ≠ B, diremos que A es subclase estricta de B, lo que repre-
sentaremos mediante el signo A ⊊ B.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 16 / 45

 Subclase Teoremas de subclase

Teoremas de subclase

 Teorema: Propiedades de la subclase

Dadas las clases A, B y C, se tiene que
1. Reflexiva de subclase: A ⊆ A.
2. Transitiva de subclase: Si A ⊆ B y B ⊆ C, entonces A ⊆ C.
3. Antisimétrica de subclase: Si A ⊆ B y B ⊆ A, entonces A = B.
4. A = B si y solo si A ⊆ B y B ⊆ A.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 17 / 45

 Subclase Teoremas de subclase

Teoremas de subclase
 Teorema: Caracterización de subclase
Las proposiciones

(A ⊆ B ∧ x ∈ A) ⇒ x ∈ B y (A ⊆ B ∧ x ∈/ B) ⇒ x ∈/ A

son verdaderas para todo conjunto x.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 18 / 45

 Subclase Axioma de la subclase

Axioma de la subclase

 Axioma: Subclase
Si A ⊆ B y B es un conjunto, entonces A también es un conjunto.
En otras palabras, toda subclase de un conjunto es un conjunto.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 19 / 45

 Subclase Axioma de la subclase

Clase 07
1. Axioma de Construcción de clase

2. Clase Universal

3. Clase vacı́a

4. Diagramas de Venn

5. Operaciones entre conjuntos

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 20 / 45

 Axioma de construcción de clases

Axioma de Construcción de clase

Si A (x) representa una proposición, existe una única clase C tal que

x ∈ C ⇔ A (x)

es verdadera para todo conjunto x.

La clase C se denomina la clase de todos los conjuntos x tales que se deduce
A (x) (o A (x) es verdadera).
La clase C se representará mediante

{x ∶ A (x)}.

Por tanto, también escribiremos

C = {x ∶ A (x)}.

También es válida la equivalencia lógica

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 21 / 45

 Axioma de construcción de clases

Axioma de Construcción de clase

y ∈ {x ∶ A (x)} ≡ A (y)

para cualquier conjunto y.

Finalmente, si z no aparece en A (x), entonces tenemos que

{x ∶ A (x)} = {z ∶ A (z)}.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 22 / 45

 Axioma de construcción de clases Clase Universal

Clase Universal
Si tomamos la proposición
x=x
como A (x) en el axioma de construcción de clases, por este axioma,
aseguramos la existencia de una única clase, a la que llamaremos clase
universal y representaremos mediante el signo

U,

tal que
x∈U ⇔x=x
para todo conjunto x. Por tanto, tenemos que

U = {x ∶ x = x}.

Dicho de otra manera,

la clase universal U es la clase de todos los conjuntos x tales que x = x.
Ası́, también es válida la equivalencia lógica

z∈U ≡ z=z

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 23 / 45

 Axioma de construcción de clases Clase Universal

Clase Universal
para cualquier conjunto z.

 Teorema: Clase universal

Para todo conjunto x, se tiene

x∈U.

Es decir, “todo conjunto pertenece a la clase universal”.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 24 / 45

 Axioma de construcción de clases Clase Universal

Clase Universal
 Teorema: Clase universal
Toda clase es subclase de la clase universal. Es decir, dada A, se tiene
que
A⊆U.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 25 / 45

 Axioma de construcción de clases Clase Universal

Clase Universal
 Teorema: La clase Universal es una clase propia
U no es un conjunto, es una clase propia.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 26 / 45

 Axioma de construcción de clases Clase Russell

Clase Russell
Si tomamos la proposición
x ∈/ x
como A (x) en el axioma de construcción de clases, este axioma nos asegura
la existencia de una única clase, a la que denominaremos clase de Russell y
representaremos mediante el signo

R,

tal que
x ∈ R ⇔ x ∈/ x
para todo conjunto x. Luego,

R = {x ∶ x ∈/ x}.

En otras palabras,
la clase de Russell R es la clase de todos los conjuntos x tales que x ∈/ x
(es decir, de los conjuntos que no se pertenecen a sı́ mismos).
También tenemos que
y ∈ R ≡ y ∈/ y

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 27 / 45

 Axioma de construcción de clases Clase Russell

Clase Russell
para cualquier conjunto y.

 Teorema: La clase propia de Russell

La clase de Russell R no es un conjunto; es una clase propia.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 28 / 45

 Axioma de construcción de clases Clase Vacı́a

Clase Vacı́a
Si tomamos la proposición
x≠x
como A (x) en el axioma de construcción de clases, podemos asegurar que
existe una única clase, a la que llamaremos clase vacı́a y representaremos
con el signo
∅,
tal que
x∈∅⇔x≠x
para todo conjunto x. Ası́,
∅ = {x ∶ x ≠ x}.
Dicho de otro modo,
la clase vacı́a ∅ es la clase de todos los conjuntos x tales que x ≠ x.
Luego,
z∈∅ ≡ z≠z
para cualquier conjunto z.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 29 / 45

 Axioma de construcción de clases Clase Vacı́a

Clase Vacı́a
 Teorema: Clase vacı́a
Para todo conjunto x, se tiene que

x ∈/ ∅.

Es decir, “la clase vacı́a no tiene elementos”.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 30 / 45

 Axioma de construcción de clases Clase Vacı́a

Clase Vacı́a
 Teorema: Clase Vacı́a
La clase vacı́a es subclase de toda clase. Es decir, dada la clase A, se
tiene que
∅ ⊆ A.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 31 / 45

 Axioma de construcción de clases Clase Vacı́a

Clase Vacı́a
 Teorema: Caracterización de la clase vacı́a
Dada la clase A, se tiene que A ≠ ∅ si y solo si existe un conjunto x tal
que x ∈ A.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 32 / 45

 Axioma de construcción de clases Clase Vacı́a

Clase Vacı́a
 Axioma: Conjunto vacı́o
La clase vacı́a es un conjunto.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 33 / 45

 Diagramas de Venn

Diagramas de Venn
Son representaciones gráficas de las relaciones entre conjuntos y las
operaciones entre ellas

A B

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 34 / 45

 Operaciones entre conjuntos

Operaciones entre clases

Dadas las clases A y B,
1. Unión:
A ∪ B = {u ∶ u ∈ A ∨ u ∈ B}.

2. Intersección:
A ∩ B = {v ∶ v ∈ A ∧ v ∈ B}.

3. Diferencia:
A − B = {r ∶ r ∈ A ∧ r ∈/ B}.

4. Complemento:
A′ = {t ∶ t ∈/ A}.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 35 / 45

 Operaciones entre conjuntos

Clase 08
1. Propiedades de las operaciones

2. Clase Unitaria

3. Par desordenado

4. Par ordenado

5. Producto cartesiano

6. Axioma de los Fundamentos

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 36 / 45

 Operaciones entre conjuntos Propiedades de las operaciones

Propiedades de las operaciones

A ⊆ (A ∪ B) B ⊆ (A ∪ B)
A∩B ⊆A A∩B ⊆B
A⊆B ⇔A∪B =B A⊆B ⇔A∩B =A

(A′ )′ = A
A − B = A ∩ B′
A − (B ∪ C) = (A − B) ∩ (A − C)
A − (B ∩ C) = (A − B) ∪ (A − C)
Asociativas
(A ∪ B) ∪ C = A ∪ (B ∪ C)
(A ∩ B) ∩ C = A ∩ (B ∩ C)
Idempotencia
A∪A=A
A∩A=A
A−A=∅
Conmutativas
A∪B =B∪A
A∩B =B∩A

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 37 / 45

 Operaciones entre conjuntos Propiedades de las operaciones

Propiedades de las operaciones

Distributivas
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Absorción
A ∪ (A ∩ B) = A
A ∩ (A ∪ B) = A
Complemento
A ∪ A′ = U
A ∩ A′ = ∅
∅′ = U
U′=∅
Identidad
A∪∅=A A∪U =U
A∩∅=∅ A∩U =A
A−∅=A A−U =∅
∅−A=∅ U − A = A′
DeMorgan
(A ∪ B)′ = A′ ∩ B ′
(A ∩ B)′ = A′ ∪ B ′
Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 38 / 45
 Operaciones entre conjuntos Axioma de la Unión

Axioma de la Unión

 Teorema: Teorema de la Intersección

Dadas las clases A y B, si una de ellas es un conjunto, necesariamente

A∩B

es un conjunto.

 Axioma: Axioma de la Unión

Dadas las clases A y B, si A y B son conjuntos, también lo es A ∪ B.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 39 / 45

 Clase unitaria

Clase unitaria
Dado el conjunto a,
{a} = {x ∶ x = a}.

 Teorema: Clase Unitaria

1. El único conjunto que pertenece a {a} es a.
2. {a} = {b} si y solo si a = b.
3. x ∈ a si y solo si {x} ⊆ a.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 40 / 45

 Par desordenado

Par desordenado
Dados los conjuntos a y b,

{a, b} = {x ∶ x = a ∨ x = b}.

 Teorema: Par desordenado

Dados los conjuntos a y b:
1. a ∈ {a, b} y b ∈ {a, b}.
2. Si c ≠ a y c ≠ b, entonces c ∈/ {a, b}.
3. {a, b} = {a} si y solo si a = b. En particular, {a, a} = {a}.

 Teorema: Caracterización de par desordenado

{a, b} = {c, d} si y solo si a = c y b = d, o a = d y b = c.

 Axioma: Par desordenado

Dados los conjuntos a y b, {a, b} es un conjunto.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 41 / 45

 Par ordenado

Par ordenado

 Definición: Par ordenado

Dados los conjuntos a y b, el par ordenado de a y b, representado por
(a, b), es el par desordenado de {a} y {a, b}. Es decir, tenemos que

(a, b) = {{a}, {a, b}}.

El conjunto a se denomina primera componente de (a, b) y b la segunda

componente.

 Teorema: Par ordenado

1. (a, b) = (c, d) si y solo si a = c y b = d.
2. {a} ∈ (a, b) y {a, b} ∈ (a, b).

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 42 / 45

 Producto cartesiano

Producto cartesiano
Dadas las clases X y Y ,

X × Y = {(m, n) ∶ m ∈ X ∧ n ∈ Y }.

 Teorema: Producto cartesiano

Si A y B son conjuntos, entonces A × B es un conjunto.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 43 / 45

 Partes de un conjunto

Partes de un conjunto
Dado el conjunto A,
P(A) = {u ∶ u ⊆ A}.

 Teorema: Partes de un conjunto

1. ∅ ∈ P(A).
2. A ∈ P(A).

 Axioma: Partes de un conjunto

Si A es un conjunto, P(A) también lo es.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 44 / 45

 Axioma de los Fundamentos

Axioma de los Fundamentos

 Axioma: Fundamentos
La proposición
x∈x
es falsa para todo conjunto x. Es decir, la proposición

x ∈/ x

es verdadera para todo conjunto x.

Curso virtual Álgebra (EPN) Conjuntos Semestre 2021-B 45 / 45