Matemáticas Discretas

TC1003

Teoría de Conjuntos: Definiciones Básicas

Departamento de Matemáticas / Centro de Sistema Inteligentes

ITESM

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 1/28

 Introducción

En esta lectura veremos la teoría elemental de Introducción

Conjunto
conjuntos. Esto incluye cómo se definen y cuáles Construcción
son las operaciones básicas. Un aspecto que - por extensión
- por intención
intentamos enfatizar es cómo elaborar la teoría de Conceptos
conjuntos haciendo uso de la lógica matemática. -x∈A
-A⊆B
-A⊂B
Ojo con ∈ y ⊆
-A≃B
-∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 2/28

 Definición de Conjunto

Definición Introducción
Conjunto
Un conjunto es una colección o familia de objetos. Construcción
- por extensión
- por intención
Conceptos
-x∈A
-A⊆B
-A⊂B
Ojo con ∈ y ⊆
-A≃B
-∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 3/28

 Definición de Conjunto

Definición Introducción
Conjunto
Un conjunto es una colección o familia de objetos. Construcción
Las llaves { } tendrán un uso muy especial y único: - por extensión
- por intención
servirán para definir un conjunto. Para ninguna Conceptos
otra cosa más. -x∈A
-A⊆B
-A⊂B
Ojo con ∈ y ⊆
-A≃B
-∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 3/28

 Formas de Construir o Definir Conjuntos

Manejaremos dos formas de constrir conjuntos: Introducción

Conjunto
■ Definición de un conjunto por extensión.
Construcción
- por extensión
■ Definición de un conjunto por intención.
- por intención
Conceptos
-x∈A
-A⊆B
-A⊂B
Ojo con ∈ y ⊆
-A≃B
-∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 4/28

 Definición por Extensión

Definición Introducción
Conjunto
Construir o definir un conjunto por extensión Construcción
consiste en declarar todos lo elementos que lo - por extensión
- por intención
forman. Conceptos
Ejemplo -x∈A
-A⊆B
-A⊂B
Ojo con ∈ y ⊆
{Rosana, Sakura, María del Carmen, Vito -A≃B
Corleone, Pedro } -∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 5/28

 Definición por Intención

Definición Introducción
Conjunto
Construir o definir un conjunto por intención Construcción
- por extensión
consiste en declarar cuáles elementos de un cierto - por intención
Conceptos
conjunto son seleccionados. Esto se lleva a cabo -x∈A
por una propiedad o predicado P(x). -A⊆B
-A⊂B
Ojo con ∈ y ⊆
{x ∈ D|P(x)} -A≃B
-∅
Ojo con ∅
Ejemplo -A ∪ B
-A∩B
-A−B
{x ∈ R | − 2 < x} - Ac
- P(A)
“Todos aquellos números reales que son mayores -A×B
que -2.”

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 6/28

 Conceptos

Veamos los conceptos básicos sobre teoría de Introducción

Conjunto
conjuntos. Construcción
- por extensión
- por intención
Conceptos
-x∈A
-A⊆B
-A⊂B
Ojo con ∈ y ⊆
-A≃B
-∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 7/28

 Pertenencia a un Conjunto

Definición Introducción
Conjunto
Un objeto x se dice pertenecer o ser elemento o Construcción
estar en un conjunto A si - por extensión
- por intención
■ cuando el conjunto A está definido por extensión
Conceptos
cuando el elemento x aparece en la lista de -x∈A
-A⊆B
elementos del conjunto A -A⊂B
Ojo con ∈ y ⊆
■ cuando el conjunto A está definido por intención -A≃B
cuando el elemento x es tomado del universo del -∅
Ojo con ∅
discurso y cumple la propiedad establecida para -A ∪ B
-A∩B
A -A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 8/28

 Ejemplo Introducción
Conjunto
Indique cuáles opciones contienen elementos del Construcción
conjunto: - por extensión
- por intención
A = { Rosana, Sakura, María del Carmen, Vito Corleone, Pedro} Conceptos
1. Jonas : Jonas < A -x∈A
-A⊆B
2. Tomás Tomás -A⊂B
Ojo con ∈ y ⊆
3. Agrin -A≃B
-∅
4. Lucía Ojo con ∅
-A ∪ B
5. Pedro :Pedro ∈ A -A∩B
-A−B
6. Pablo Morales - Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 9/28

 Ejemplo Introducción
Conjunto
Indique cuáles opciones contienen elementos del Construcción
- por extensión
conjunto: - por intención
{x ∈ Z| − 2 < x < 5} Conceptos
-x∈A
1. 3 : 3 ∈ A pues 3 es entero y comple −2 < 3 < 5 -A⊆B
-A⊂B
2. 6 : 6 < A pues −2 < 6 ≮ 5 Ojo con ∈ y ⊆
-A≃B
3. -3 : −3 < A pues −2 ≮ −3 < 5 -∅
Ojo con ∅
4. 1.5 : 1.5 < A pues 1.5 no es entero. -A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 10/28

 Definición de Subconjunto

Definición Introducción
Conjunto
Diremos que un conjunto A es un subconjunto de Construcción
- por extensión
el conjunto B y lo simbolizaremos - por intención
Conceptos
A⊆B -x∈A
-A⊆B
-A⊂B
si todo elemento de A es también elemento de B. Ojo con ∈ y ⊆
Observe que de la definición se tiene la siguiente -A≃B
-∅
equivalencia: Ojo con ∅
-A ∪ B
-A∩B
A ⊆ B ≡ ∀x, x ∈ A → x ∈ B -A−B
- Ac
Y negando lo anterior: - P(A)
-A×B

A * B ≡ ∃x, x ∈ A ∧ x < B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 11/28

 Ejemplo Introducción
Conjunto
En referencia a los conjuntos Construcción
- por extensión
N El conjunto de los números enteros positivos - por intención
Z El conjunto de los enteros Conceptos
-x∈A
R El conjunto de los números reales -A⊆B
-A⊂B
Q El conjunto de los números racionales o fraccionarios
Ojo con ∈ y ⊆
-A≃B
Se tiene: -∅
Ojo con ∅
1. N ⊆ Z -A ∪ B
2. Z ⊆ Q -A∩B
-A−B
3. Q ⊆ R - Ac
- P(A)
4. Z * N -A×B

5. Q * Z
6. R * Q

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 12/28

 Definición de Subconjunto Propio

Definición Introducción
Conjunto
Diremos que un conjunto A es un subconjunto Construcción
- por extensión
propio de el conjunto B y lo simbolizaremos - por intención
Conceptos
A⊂B -x∈A
-A⊆B
-A⊂B
si todo elemento de A es también elemento de B y Ojo con ∈ y ⊆
además existe un elemento de b que no es -A≃B
-∅
elemento de A. Ojo con ∅
-A ∪ B
A ⊂ B ≡ (A ⊆ B) ∧ (B * A) -A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 13/28

 Ejemplo Introducción
Conjunto
En referencia a los conjuntos N, Z, Q, R: Construcción
- por extensión
1. N ⊂ Z - por intención
2. Z ⊂ Q Conceptos
-x∈A
3. Q ⊂ R -A⊆B
-A⊂B
Ojo con ∈ y ⊆
-A≃B
-∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 14/28

 Ejemplo Introducción
Conjunto
Si Construcción
- por extensión
A = {c, d, f, i} - por intención
B = {a, f } Conceptos
-x∈A
C = {c, i} -A⊆B
-A⊂B
Indique cuáles afirmaciones son verdaderas: Ojo con ∈ y ⊆
-A≃B
(a) B ⊆ B : -∅
Ojo con ∅
(b) B ⊂ B -A ∪ B
-A∩B
(c) C ⊆ B -A−B
- Ac
(d) C ⊆ A - P(A)
(a) cierto pues todo elemento de B es elemento de B. (b) Falso, -A×B

pues ⊂ no tolera la igualdad. (c) Falso, pues existe un elemento en

C, a saber i, que no es elemento de B. (d) Cierto, pues todo
elemento de C, tanto c como i, son elementos de A.

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 15/28

 Cuidado con la Notación

Ejemplo Introducción
Conjunto
Indique cuáles opciones contienen afirmaciones falsas: Construcción
1. c ⊂ {c} - por extensión
- por intención
2. {c} ⊆ {a, b, {c}} Conceptos
3. {c} ∈ {a, b, {c}} -x∈A
-A⊆B
4. {c} ∈ {{c}} -A⊂B
Ojo con ∈ y ⊆
5. {c} ⊆ {{c}} -A≃B
1. Falsa: Note que X ⊂ y se usa para cuando x es conjunto y Y es -∅
Ojo con ∅
conjunto. 2. Falsa: Para revisar si se tiene ⊆ se deben tomar los -A ∪ B
-A∩B
elementos de {c}, el único es c y ver si son elementos de {a, b, {c}},
-A−B
pero no es elemento: el conjunto formado con c sí es elemento pero - Ac
- P(A)
c no. 3. Cierta: {c} es un elemento de {a, b, {c}}, es el último -A×B
elemento. 4. Cierta: {c} efectivamente es elemento de {{c}} (es el
único elemento!) 5. Falsa: el elemento c no es elemento de {{c}}, el
que sí es elemento es {c}.

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 16/28

 Igualdad entre conjuntos

Definición Introducción
Conjunto
Dos conjuntos A y B se dicen iguales si poseen los Construcción
mismos elementos. Es decir, todos los elementos - por extensión
- por intención
de A son elementos de B y todos los elementos de Conceptos
B son también elementos de A. En términos -x∈A
-A⊆B
formales: -A⊂B
Ojo con ∈ y ⊆
A = B ≡ (A ⊆ B) ∧ (B ⊆ A) -A≃B
-∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 17/28

 Ejemplo Introducción
Conjunto
Indique cuáles opciones contienen afirmaciones Construcción
- por extensión
ciertas para los conjuntos: - por intención
a) D = {a, b, e, f } Conceptos
-x∈A
b) A = {a, a, f, g, e, g} -A⊆B
-A⊂B
c) C = { f, g, a, e} Ojo con ∈ y ⊆
-A≃B
d) B = { f, b, a, e} -∅
Entre: Ojo con ∅
-A ∪ B
1. D = C -A∩B
2. C = A -A−B
- Ac
3. D = B - P(A)
-A×B
4. D = A
1. es falsa, pues D * C debido a que b ∈ D y b < C. 2. es cierta,
pues todo elemento de A (tanto a, como f , como g, y como e) están
en C y recíprocamente. 3. es cierta, por el mismo tipo de razón que
2. 4. es falsa, pues b ∈ D y b < A.
Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 18/28
 El conjunto Vacío

Definición Introducción
Conjunto
El conjunto que no tiene ningún elemento se Construcción
llamará el conjunto vacío. - por extensión
- por intención
Y se simbolizará por: Conceptos
-x∈A
∅ -A⊆B
-A⊂B
Ojo con ∈ y ⊆
-A≃B
-∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 19/28

 Ojo con la notación

Ejemplo Introducción
Conjunto
Indique cuáles opciones contienen afirmaciones Construcción
- por extensión
falsas: - por intención
1. ∅ ∈ {∅} Cierto: aparece como elemento. Conceptos
-x∈A
2. ∅ ⊆ {∅} Cierto: el vacío es subconjunto de -A⊆B
cualquiera -A⊂B
Ojo con ∈ y ⊆
3. ∅ ⊂ {∅} Cierto -A≃B
-∅
4. ∅ ⊂ ∅ Falso Ojo con ∅
-A ∪ B
5. 0 = ∅ Falso -A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 20/28

 Operaciones entre conjuntos: Unión

Definición Introducción
Conjunto
Sean A y B dos conjuntos. La unión de A con B es Construcción
el conjunto de aquellos elementos que están en A - por extensión
- por intención
o que están en B. Este conjunto se simbolizará por Conceptos
-x∈A
A∪B -A⊆B
-A⊂B
Ojo con ∈ y ⊆
Así -A≃B
-∅
x ∈ A ∪ B ≡ (x ∈ A) ∨ (x ∈ B) Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 21/28

 Operaciones entre conjuntos: Intersección

Definición Introducción
Conjunto
Sean A y B dos conjuntos. La intersección de A Construcción
con B es el conjunto de aquellos elementos que - por extensión
- por intención
están en A y que están en B. Este conjunto se Conceptos
simbolizará por -x∈A
-A⊆B
A∩B -A⊂B
Ojo con ∈ y ⊆
Así -A≃B
-∅
x ∈ A ∩ B ≡ (x ∈ A) ∧ (x ∈ B) Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 22/28

 Operaciones entre conjuntos: Diferencia

Definición Introducción
Conjunto
Sean A y B dos conjuntos. La diferencia de A con B Construcción
es el conjunto de aquellos elementos que están en - por extensión
- por intención
A y que no están en B. (el orden diferencia de Conceptos
con importa). Este conjunto se simbolizará por -x∈A
-A⊆B
-A⊂B
A−B Ojo con ∈ y ⊆
-A≃B
-∅
Así Ojo con ∅
x ∈ A − B ≡ (x ∈ A) ∧ (x < B) -A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 23/28

 Operaciones entre conjuntos: Complemento

Definición Introducción
Conjunto
Sea A un subconjunto de un conjunto universal U. Construcción
El complemento de A son todos aquellos - por extensión
- por intención
elementos de U que no están en A. Este conjunto Conceptos
se simbolizará por -x∈A
-A⊆B
Ac -A⊂B
Ojo con ∈ y ⊆
Así -A≃B
-∅
x ∈ Ac ≡ (x ∈ U) ∧ (x < A) Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 24/28

 Ejemplo Introducción
Conjunto
Si Construcción
- por extensión
U = {1, 2, 3, 4, 5, 6, 7, 8} - por intención
A = {2, 5, 6, 7} Conceptos
-x∈A
B = {1, 2, 4, 6} -A⊆B
-A⊂B
C = {4, 5, 6, 8} Ojo con ∈ y ⊆
-A≃B
Calcule -∅
Ojo con ∅
a) Bc ={3,5,7,8} -A ∪ B
-A∩B
b) C − (A − B) ={4,5,6,8}-{5,7}={4,6,8} -A−B
- Ac
c) A ∩ C ={5,6} - P(A)
-A×B
d) B − (A ∪ C) ={ 1,2,4,6}-{ 2,4,5,6,7,8}={1}

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 25/28

 Conjunto Potencia

Definición Introducción
Conjunto
El conjunto potencia de una conjunto A es el Construcción
conjunto que contiene todos los posibles - por extensión
- por intención
subconjuntos de A. Notación o simbología: Conceptos
-x∈A
-A⊆B
P(A) -A⊂B
Ojo con ∈ y ⊆
Ejemplo -A≃B
-∅
Determinar P({4, 15}). Ojo con ∅
-A ∪ B
Se tiene: -A∩B
-A−B
P({4, 15}) = {{}, {4}, {15}, {4, 15}} - Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 26/28

 El Producto Cartesiano

Definición Introducción
Conjunto
Sean A y B dos conjuntos (posiblemente iguales Construcción
pero no vacíos). El producto cartesiano de A con B - por extensión
- por intención
(el orden de con importa). Es el Conceptos
conjunto de todas las parejas ordenadas (a, b) -x∈A
-A⊆B
donde a ∈ A y b ∈ B. Notación: -A⊂B
Ojo con ∈ y ⊆
-A≃B
A × B = {(a, b)|a ∈ A ∧ b ∈ B} -∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 27/28

 Ejemplo Introducción
Conjunto
Si A = {1, 4, 14} y B = {1, 3}. Calcular: Construcción
- por extensión
A×B - por intención
Conceptos
-x∈A
Solución: -A⊆B
Son todas las parejas de un rojo y un azul: -A⊂B
Ojo con ∈ y ⊆
-A≃B
A × B = {(1, 1), (1, 3), (4, 1), (4, 3), (14, 1), (14, 3)} -∅
Ojo con ∅
-A ∪ B
-A∩B
-A−B
- Ac
- P(A)
-A×B

Teoría de Conjuntos: Definiciones Básicas Matemáticas Discretas - p. 28/28