Teorı́a de Conjuntos

Teorı́a de Conjuntos

Gerardo Ospina
gerardo.ospina@escuelaing.edu.co

Facultad de Ingenierı́a de Sistemas

Escuela Colombiana de Ingenierı́a Julio Garavito

Agosto 17 de 2021
Teorı́a de Conjuntos

Conjunto

Colección de elementos distintos

Teorı́a de Conjuntos

Función de Agregación “,”

Si a y b son de un tipo cualquiera (a,b : T) a, b denota el

conjunto con dos elementos a y b (agregar a y b)
Teorı́a de Conjuntos

Función de Agregación “,”

Si a y b son de un tipo cualquiera (a,b : T) a, b denota el

conjunto con dos elementos a y b (agregar a y b)
Asociativa: (a, b), c = a, (b, c) = a, b, c
Teorı́a de Conjuntos

Función de Agregación “,”

Si a y b son de un tipo cualquiera (a,b : T) a, b denota el

conjunto con dos elementos a y b (agregar a y b)
Asociativa: (a, b), c = a, (b, c) = a, b, c
Conmutativa: a, b = b, a
Teorı́a de Conjuntos

Función de Agregación “,”

Si a y b son de un tipo cualquiera (a,b : T) a, b denota el

conjunto con dos elementos a y b (agregar a y b)
Asociativa: (a, b), c = a, (b, c) = a, b, c
Conmutativa: a, b = b, a
Idempotente: a, a = a
Teorı́a de Conjuntos

Notación y tipo de los conjuntos

Teorı́a de Conjuntos

Notación y tipo de los conjuntos

Notación estándar. Escribir el agregado entre corchetes

Teorı́a de Conjuntos

Notación y tipo de los conjuntos

Notación estándar. Escribir el agregado entre corchetes

{ 1, 2 }, conjunto de enteros
Teorı́a de Conjuntos

Notación y tipo de los conjuntos

Notación estándar. Escribir el agregado entre corchetes

{ 1, 2 }, conjunto de enteros
{ p, p ∧ q, q ∨ r }, conjunto de booleanos
Teorı́a de Conjuntos

Notación y tipo de los conjuntos

Notación estándar. Escribir el agregado entre corchetes

{ 1, 2 }, conjunto de enteros
{ p, p ∧ q, q ∨ r }, conjunto de booleanos
Conjunto vacı́o: Conjunto que no tiene elementos
Teorı́a de Conjuntos

Notación y tipo de los conjuntos

Notación estándar. Escribir el agregado entre corchetes

{ 1, 2 }, conjunto de enteros
{ p, p ∧ q, q ∨ r }, conjunto de booleanos
Conjunto vacı́o: Conjunto que no tiene elementos
{}
Teorı́a de Conjuntos

Notación y tipo de los conjuntos

Notación estándar. Escribir el agregado entre corchetes

{ 1, 2 }, conjunto de enteros
{ p, p ∧ q, q ∨ r }, conjunto de booleanos
Conjunto vacı́o: Conjunto que no tiene elementos
{}
Φ
Teorı́a de Conjuntos

Notación y tipo de los conjuntos

Notación estándar. Escribir el agregado entre corchetes

{ 1, 2 }, conjunto de enteros
{ p, p ∧ q, q ∨ r }, conjunto de booleanos
Conjunto vacı́o: Conjunto que no tiene elementos
{}
Φ
Enumeración no es práctica para conjuntos de muchos
elementos e imposible para conjuntos infinitos
Teorı́a de Conjuntos

Especificación por comprensión

Teorı́a de Conjuntos

Especificación por comprensión

Describe el conjunto a partir de propiedades

Teorı́a de Conjuntos

Especificación por comprensión

Describe el conjunto a partir de propiedades

{ x: integer | 1 ≤ x < 5 : 3x }
Teorı́a de Conjuntos

Especificación por comprensión

Describe el conjunto a partir de propiedades

{ x: integer | 1 ≤ x < 5 : 3x }
{ 3, 6, 9, 12 }
Teorı́a de Conjuntos

Especificación por comprensión

Describe el conjunto a partir de propiedades

{ x: integer | 1 ≤ x < 5 : 3x }
{ 3, 6, 9, 12 }
{ x: T | R : E }
Teorı́a de Conjuntos

Especificación por comprensión

Describe el conjunto a partir de propiedades

{ x: integer | 1 ≤ x < 5 : 3x }
{ 3, 6, 9, 12 }
{ x: T | R : E }
R es el Rango (Expresión booleana)
Teorı́a de Conjuntos

Especificación por comprensión

Describe el conjunto a partir de propiedades

{ x: integer | 1 ≤ x < 5 : 3x }
{ 3, 6, 9, 12 }
{ x: T | R : E }
R es el Rango (Expresión booleana)
E es el cuerpo o el término
Teorı́a de Conjuntos

Especificación por comprensión

Describe el conjunto a partir de propiedades

{ x: integer | 1 ≤ x < 5 : 3x }
{ 3, 6, 9, 12 }
{ x: T | R : E }
R es el Rango (Expresión booleana)
E es el cuerpo o el término
{ x | R : E }. Tipo integer
Teorı́a de Conjuntos

Especificación por comprensión

Describe el conjunto a partir de propiedades

{ x: integer | 1 ≤ x < 5 : 3x }
{ 3, 6, 9, 12 }
{ x: T | R : E }
R es el Rango (Expresión booleana)
E es el cuerpo o el término
{ x | R : E }. Tipo integer
Si a,b,c: T entonces
{ a, b, c } = { x: T | x = a ∨ x = b ∨ x = c : x }
Teorı́a de Conjuntos

Axioma 12.1

Axioma de Pertenencia
F ∈ { x: T | R : E } ≡ (∃x: T | R : F = E), x no aparece libre en F
Teorı́a de Conjuntos

Axioma 12.2

Axioma de Extensionalidad
A = B ≡ (∀x: T |: x ∈ A ≡ x ∈ B)
Teorı́a de Conjuntos

Teorema 12.3

Conjunto Singular
b∈{a}≡a=b
Teorı́a de Conjuntos

Definiciones

A 6= B ≡ ¬(A = B)
Teorı́a de Conjuntos

Definiciones

A 6= B ≡ ¬(A = B)

e 6∈ A ≡ ¬(e ∈ A)
Teorı́a de Conjuntos

Axiomas de Dominio del Discurso

Axioma 12.4. Conjunto Universal

ϑ = { x | true : x }
Teorı́a de Conjuntos

Axiomas de Dominio del Discurso

Axioma 12.4. Conjunto Universal

ϑ = { x | true : x }

Axioma 12.5. Conjunto Vacı́o

Φ = { x | false : x }
Teorı́a de Conjuntos

Teoremas de Dominio del Discurso

Teorema 12.6
e ∈ ϑ ≡ true
Teorı́a de Conjuntos

Teoremas de Dominio del Discurso

Teorema 12.6
e ∈ ϑ ≡ true

Teorema 12.7
e ∈ Φ ≡ false
Teorı́a de Conjuntos

Teoremas de Dominio del Discurso

Teorema 12.6
e ∈ ϑ ≡ true

Teorema 12.7
e ∈ Φ ≡ false

Teorema 12.8
A = Φ ≡ (∀x |: x 6∈ A)
Teorı́a de Conjuntos

Teoremas de Dominio del Discurso

Teorema 12.6
e ∈ ϑ ≡ true

Teorema 12.7
e ∈ Φ ≡ false

Teorema 12.8
A = Φ ≡ (∀x |: x 6∈ A)

Teorema 12.9
A 6= Φ ≡ (∃x |: x ∈ A)
Teorı́a de Conjuntos

Teoremas de Predicado Caracteristico

Teorema 12.10
x∈{x|R}≡R
Teorı́a de Conjuntos

Teoremas de Predicado Caracteristico

Teorema 12.10
x∈{x|R}≡R

Teorema 12.10. Definición alternativa

y ∈ { x | R } ≡ R[x := y]
Teorı́a de Conjuntos

Teoremas de Predicado Caracteristico

Teorema 12.10
x∈{x|R}≡R

Teorema 12.10. Definición alternativa

y ∈ { x | R } ≡ R[x := y]

Teorema 12.11
{ x | Q } = { x | R } ≡ (∀x |: Q ≡ R)
Teorı́a de Conjuntos

Meta teorema 12.12

[{x|Q}={x|R}]≡[Q≡R]
Teorı́a de Conjuntos

Teorema 12.13

Conjunto no vacı́o
{ x | R } 6= Φ ≡ (∃x |: R)
Teorı́a de Conjuntos

Definiciones (1/4)

A es subconjunto de B
Inclusión: A ⊆ B ≡ (∀x | x ∈ A : x ∈ B)
Teorı́a de Conjuntos

Definiciones (1/4)

A es subconjunto de B
Inclusión: A ⊆ B ≡ (∀x | x ∈ A : x ∈ B)

A es subconjunto propio de B
Inclusión Propia: A ⊂ B ≡ A ⊆ B ∧ A 6= B
Teorı́a de Conjuntos

Definiciones (1/4)

A es subconjunto de B
Inclusión: A ⊆ B ≡ (∀x | x ∈ A : x ∈ B)

A es subconjunto propio de B
Inclusión Propia: A ⊂ B ≡ A ⊆ B ∧ A 6= B

B es superconjunto de A
Superconjunto: B ⊇ A ≡ A ⊆ B
Teorı́a de Conjuntos

Definiciones (1/4)

A es subconjunto de B
Inclusión: A ⊆ B ≡ (∀x | x ∈ A : x ∈ B)

A es subconjunto propio de B
Inclusión Propia: A ⊂ B ≡ A ⊆ B ∧ A 6= B

B es superconjunto de A
Superconjunto: B ⊇ A ≡ A ⊆ B

B es superconjunto propio de A
Superconjunto propio: B ⊃ A ≡ A ⊂ B
Teorı́a de Conjuntos

Definiciones (2/4)

A 6⊆ B ≡ ¬(A ⊆ B)
Teorı́a de Conjuntos

Definiciones (2/4)

A 6⊆ B ≡ ¬(A ⊆ B)

e 6⊂ A ≡ ¬(e ⊂ A)
Teorı́a de Conjuntos

Definiciones (2/4)

A 6⊆ B ≡ ¬(A ⊆ B)

e 6⊂ A ≡ ¬(e ⊂ A)

A 6⊇ B ≡ ¬(A ⊇ B)
Teorı́a de Conjuntos

Definiciones (2/4)

A 6⊆ B ≡ ¬(A ⊆ B)

e 6⊂ A ≡ ¬(e ⊂ A)

A 6⊇ B ≡ ¬(A ⊇ B)

e 6⊃ A ≡ ¬(e ⊃ A)
Teorı́a de Conjuntos

Definiciones (3/4)

Complemento de A
e ∈ AC ≡ e 6∈ A
Teorı́a de Conjuntos

Definiciones (3/4)

Complemento de A
e ∈ AC ≡ e 6∈ A

A unión B
Unión: e ∈ A ∪ B ≡ e ∈ a ∨ e ∈ B
Teorı́a de Conjuntos

Definiciones (3/4)

Complemento de A
e ∈ AC ≡ e 6∈ A

A unión B
Unión: e ∈ A ∪ B ≡ e ∈ a ∨ e ∈ B

A Intersección B
Intersección: e ∈ A ∩ B ≡ e ∈ a ∧ e ∈ B
Teorı́a de Conjuntos

Definiciones (3/4)

Complemento de A
e ∈ AC ≡ e 6∈ A

A unión B
Unión: e ∈ A ∪ B ≡ e ∈ a ∨ e ∈ B

A Intersección B
Intersección: e ∈ A ∩ B ≡ e ∈ a ∧ e ∈ B

A Diferencia B
Diferencia: e ∈ A − B ≡ e ∈ a ∧ e 6∈ B
Teorı́a de Conjuntos

Definiciones (4/4)

Conjunto Potencia: P(B) o 2B

A ∈ P(B) ≡ A ⊆ B
Teorı́a de Conjuntos

Notación

A ⊆ B ⊆ C abrevia A ⊆ B ∧ B ⊆ C
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(1/8)

Sean A, B y C conjuntos
Teorema 12.14: Simetria de ∪ e ∩
a) A ∪ B = B ∪ A
b) A ∩ B = B ∩ A
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(1/8)

Sean A, B y C conjuntos
Teorema 12.14: Simetria de ∪ e ∩
a) A ∪ B = B ∪ A
b) A ∩ B = B ∩ A

Teorema 12.15: Asociatividad de ∪ e ∩

a) (A ∪ B) ∪ C = A ∪ (B ∪ C)
b) (A ∩ B) ∩ C = A ∩ (B ∩ C)
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(2/8)

Sean A, B y C conjuntos
Teorema 12.16: Idempotencia de ∪ e ∩
a) A ∪ A = A
b) A ∩ A = A
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(2/8)

Sean A, B y C conjuntos
Teorema 12.16: Idempotencia de ∪ e ∩
a) A ∪ A = A
b) A ∩ A = A

Teorema 12.17: Leyes de Absorción

a) (A ∪ B) ∩ A = A
b) (A ∩ B) ∪ A = A
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(3/8)

Sean A, B y C conjuntos
Teorema 12.18: Distributividades
a) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
b) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(3/8)

Sean A, B y C conjuntos
Teorema 12.18: Distributividades
a) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
b) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

Teorema 12.19: Inclusión y Unión

A ⊆ B ≡ (A ∪ B) = B
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(4/8)

Sean A, B y C conjuntos
Teorema 12.20
φ⊆A⊆ϑ
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(4/8)

Sean A, B y C conjuntos
Teorema 12.20
φ⊆A⊆ϑ

Teorema 12.21
A ∩ AC = Φ
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(4/8)

Sean A, B y C conjuntos
Teorema 12.20
φ⊆A⊆ϑ

Teorema 12.21
A ∩ AC = Φ

Teorema 12.21
A ∪ AC = ϑ
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(5/8)

Sean A, B y C conjuntos
Teorema 12.23: Inclusión Mutua
A⊆B∧B⊆A≡A=B
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(5/8)

Sean A, B y C conjuntos
Teorema 12.23: Inclusión Mutua
A⊆B∧B⊆A≡A=B

Teorema 12.24: Unión e Intersección

A∪B=B≡A∩B=A
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(5/8)

Sean A, B y C conjuntos
Teorema 12.23: Inclusión Mutua
A⊆B∧B⊆A≡A=B

Teorema 12.24: Unión e Intersección

A∪B=B≡A∩B=A

Teorema 12.25: Inclusión e Intersección

A⊆B≡A∩B=A
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(5/8)

Sean A, B y C conjuntos
Teorema 12.23: Inclusión Mutua
A⊆B∧B⊆A≡A=B

Teorema 12.24: Unión e Intersección

A∪B=B≡A∩B=A

Teorema 12.25: Inclusión e Intersección

A⊆B≡A∩B=A

Teorema 12.26: Reflexividad de ⊆

A⊆A
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(6/8)

Sean A, B y C conjuntos
Teorema 12.27: Transitividad de ⊆ y ⊂
a) A ⊆ B ∧ B ⊆ C ⇒ A ⊆ C
b) A ⊂ B ∧ B ⊆ C ⇒ A ⊂ C
c) A ⊂ B ∧ B ⊂ C ⇒ A ⊂ C
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(6/8)

Sean A, B y C conjuntos
Teorema 12.27: Transitividad de ⊆ y ⊂
a) A ⊆ B ∧ B ⊆ C ⇒ A ⊆ C
b) A ⊂ B ∧ B ⊆ C ⇒ A ⊂ C
c) A ⊂ B ∧ B ⊂ C ⇒ A ⊂ C

Teorema 12.28: Inclusión e igualdad indirectas

a) (∀C |: (C ⊆ A ⇒ C ⊆ B) ≡ A ⊆ B
b) (∀C |: (A ⊆ C ⇐ B ⊆ C) ≡ A ⊆ B
c) (∀C |: (A ⊆ C ≡ B ⊆ C) ≡ A = B
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(7/8)

Sean A, B y C conjuntos
Teorema 12.29: Cotas inferiores y superiores
a) A ∩ B ⊆ A ∧ A ∩ B ⊆ B
b) A ⊆ A ∪ B ∧ B ⊆ A ∪ B
Teorı́a de Conjuntos

Teoremas de Inclusión y operaciones entre conjuntos

(7/8)

Sean A, B y C conjuntos
Teorema 12.29: Cotas inferiores y superiores
a) A ∩ B ⊆ A ∧ A ∩ B ⊆ B
b) A ⊆ A ∪ B ∧ B ⊆ A ∪ B

Teorema 12.30: Cotas mı́nimas y máximas

a) C ⊆ A ∧ C ⊆ B ≡ C ⊆ A ∩ B
b) A ⊆ C ∧ B ⊆ C ≡ A ∪ B ⊆ C
Teorı́a de Conjuntos

Definición

Pareja Ordenada
Una pareja (a,b) es una pareja ordenada con primera coordenada
(abscisa) a y segunda coordenada (ordenada) b
Teorı́a de Conjuntos

Definición

Pareja Ordenada
Una pareja (a,b) es una pareja ordenada con primera coordenada
(abscisa) a y segunda coordenada (ordenada) b

Producto Cartesiano
A × B = { (a,b) | a ∈ A ∧ b ∈ B }
Teorı́a de Conjuntos

Definición

Pareja Ordenada
Una pareja (a,b) es una pareja ordenada con primera coordenada
(abscisa) a y segunda coordenada (ordenada) b

Producto Cartesiano
A × B = { (a,b) | a ∈ A ∧ b ∈ B }

Producto Cartesiano. Definición alternativa

A × B = { a, b | a ∈ A ∧ b ∈ B : (a,b)}
Teorı́a de Conjuntos

Teoremas de productos cartesianos (1/3)

Sean A, B, C y D conjuntos
Teorema 12.64: Distribución sobre ∩
a) A × (B ∩ C) = (A × B) ∩ (A × C)
b) (A ∩ B) × C = (A × C) ∩ (B × C)
Teorı́a de Conjuntos

Teoremas de productos cartesianos (1/3)

Sean A, B, C y D conjuntos
Teorema 12.64: Distribución sobre ∩
a) A × (B ∩ C) = (A × B) ∩ (A × C)
b) (A ∩ B) × C = (A × C) ∩ (B × C)

Teorema 12.65: Anulador

A×Φ=Φ×A=Φ
Teorı́a de Conjuntos

Teoremas de productos cartesianos (1/3)

Sean A, B, C y D conjuntos
Teorema 12.64: Distribución sobre ∩
a) A × (B ∩ C) = (A × B) ∩ (A × C)
b) (A ∩ B) × C = (A × C) ∩ (B × C)

Teorema 12.65: Anulador

A×Φ=Φ×A=Φ

Teorema 12.66
A×B=B×A≡A=Φ∨B=Φ∨A=B
Teorı́a de Conjuntos

Teoremas de productos cartesianos (2/3)

Sean A, B, C y D conjuntos
Teorema 12.67: Distribución sobre −
A × (B − C) = (A × B) − (A × C)
Teorı́a de Conjuntos

Teoremas de productos cartesianos (2/3)

Sean A, B, C y D conjuntos
Teorema 12.67: Distribución sobre −
A × (B − C) = (A × B) − (A × C)

Teorema 12.68: Distribución sobre ∪

a) A × (B ∪ C) = (A × B) ∪ (A × C)
b) (A ∪ B) × C = (A × C) ∪ (B × C)
Teorı́a de Conjuntos

Teoremas de productos cartesianos (2/3)

Sean A, B, C y D conjuntos
Teorema 12.67: Distribución sobre −
A × (B − C) = (A × B) − (A × C)

Teorema 12.68: Distribución sobre ∪

a) A × (B ∪ C) = (A × B) ∪ (A × C)
b) (A ∪ B) × C = (A × C) ∪ (B × C)

Teorema 12.69
(A × B) ∩ (C × D) = (A ∩ C) × (B ∩ D)
Teorı́a de Conjuntos

Teoremas de productos cartesianos (3/3)

Sean A, B, C y D conjuntos
Teorema 12.70
(A × B) ∪ (C × D) ⊆ (A ∪ C) × (B ∪ D)
Teorı́a de Conjuntos

Teoremas de productos cartesianos (3/3)

Sean A, B, C y D conjuntos
Teorema 12.70
(A × B) ∪ (C × D) ⊆ (A ∪ C) × (B ∪ D)

Teorema 12.71: Monotonı́a

A⊆B⇒A×C⊆B×C
Teorı́a de Conjuntos

Teoremas de productos cartesianos (3/3)

Sean A, B, C y D conjuntos
Teorema 12.70
(A × B) ∪ (C × D) ⊆ (A ∪ C) × (B ∪ D)

Teorema 12.71: Monotonı́a

A⊆B⇒A×C⊆B×C

Teorema 12.72: Doble monotonı́a

A⊆B∧C⊆D⇒A×C⊆B×D
Teorı́a de Conjuntos

Definiciones

Definición 12.8: Tupla

Una sucesión (ordenada) de n elementos se denomina una n-tupla
y si el número de elementos de la sucesión es bien entendido o no
es importante se habla de tupla
Teorı́a de Conjuntos

Definiciones

Definición 12.8: Tupla

Una sucesión (ordenada) de n elementos se denomina una n-tupla
y si el número de elementos de la sucesión es bien entendido o no
es importante se habla de tupla

Definición 12.9
Para a y b arbitrarios, tenemos:
(a,b,c) = (a,(b,c)) = ((a,b),c)
Teorı́a de Conjuntos

Teorem 12.73: Asociatividad de

A × (B × C) = (A × B) × C)