TEORIA DE CONJUNTOS

Parte 1
Karim Guevara Puente de la Vega
 • Definiciones
• Subconjuntos

Agenda •

•
Conjunto universe y vacío
Conjuntos ajenos o disjuntos
• Diagramas de Venn
• Operaciones con conjuntos

Fuente: Lipschutz S. Matemáticas Discretas. 3ra. Ed. 2009.

Definiciones
Conjunto:
§ Colección bien definida de objetos
denominados elementos o miembros
del conjunto
§ Sinónimos: “clase”, “colección”,
“familia”
§ La pertenencia se denota:
a∈S
c, b ∉ S
 q Enumerar los elementos del conjunto
A = {1, 3, 5, 7, 9}

q Describir las características que describen

Especificación a los elementos
B = {x | x es un entero par, x >0}
de conjuntos

Sean
E = {x | x2 - 3x + 2 = 0}, F = {2,1} y G = {1,2,2,1}
Entonces: E = F = G
Subconjuntos
q Suponga que todo elementos de un conjunto A también es un elemento
del conjunto B; es decir, si a ∈ A implica que a ∈ B. Entonces se dice que
A es un subconjunto de B (A esta contenido en B o viceversa).
A⊆B o B⊇A
q Dos conjuntos son iguales si ambos tiene los mismos elementos o,
equivalentemente, si cada uno está contenido en el otro.
A = B si y solo si A ⊆ B y B ⊆ A

q Si A no es un subconjunto de B, se escribe: A ⊈ B
Subconjuntos
q Teorema 1.1: Sean A, B y C tres conjutnos cualesquiera, entonces:
i) A⊆A
ii) Si A ⊆ B y B ⊆ A, entonces A = B
iii) Si A ⊆ B y A ⊆ C, entonces A ⊆ B
q Si A ⊆ B y A ≠ B, se dice que A es un subconjunto propio de B : A ⊂ B

q Simbolos especiales:

N⊆Z⊆Q⊆R⊆C
Conjunto universo y conjunto vacío

Conjunto universo U – conjunto al que pertenecen todos los conjuntos

Conjunto vacío ∅ - conjunto que no

S = {x | x es un entero positivo, x2 = 3}
tiene elementos. Conjunto nulo.

Teorema 1.2: para cualquier conjunto A, se tiene ∅ ⊆ A ⊆ U

Conjuntos ajenos o disjuntos
q Dos conjuntos A y B son ajenos o disjuntos, si no tienen elementos en
común

Sean

A = {1, 2}, B = {4, 5, 6} y C = {5, 6, 7, 8}

Entonces:
• A y B son ajenos
• A y C son ajenos
• B y C no son ajenos
Diagramas de Venn
Forma de representar los conjuntos
Argumentos y diagramas de Venn
q Demostrar que el siguiente argumento es válido.
S1 : Todos mis objetos de estaño son cazos
S2 : Encuentro muy útiles todos tus regalos
S3 : Ninguno de mis cazos es útil
S : Tus regalos no son de estaño

Fuente: Lewis Carroll. Logica

Operaciones con conjuntos

v Unión: A ∪ B = { x | x ∈ A o x ∈ B}
v Intersección: A ∩ B = {x | x ∈ A y x ∈ B}
• Si S = A ∪ B y A ∩ B = ∅, entonces S se llama únión
disjunta o ajena de A y B

q Teorema 1.3: Para dos conjuntos A y B arbitrarios, se tiene:

i) A ∩ B ⊆ A ⊆ A ∪ B. y
ii) A∩B⊆B⊆A∪B

q Teorema 1.4: las siguientes expresiones son equivalentes

A ⊆ B, A ∩ B = A, A∪B=B
 Complementos, diferencias
y diferencias simétricas
§ Complemento absoluto (complemento) del
conjunto A
AC = { x | x ∈ U, x ∉ A}
A’, Ā

§ Diferencia de A y B (complemento relativo

de un conjunto B respecto un conjunto A)
A\B A - B = { x | x ∈ A, x ∉ B}
A∼B

§ Diferencia simétrica de los conjuntos A y B

A ⨁ B = (A ∪ B) – (A ∩ B) o
A ⨁ B = (A - B) ∪ (B - A)