Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Georg Cantor (1845-1918) desarrolla una de las primeras teorías de conjuntos utilizando conjuntos
infinitos estableciendo reglas concisas para la transformación de unos a otros.
Que es un conjunto
Agrupación de individuos que comparten una propiedad bien definida, a cada uno de estos
individuos se les llama elementos.
De forma convencional los conjuntos son representados en notación por letras latinas mayúsculas o
letras griegas, mientras que los elementos son representados generalmente letras latinas minúsculas
salvo que se especifique de otra cosa. La notación general es la siguiente:
A = {a1, a2, a3,…,an}
Lo que se lee como el conjunto A contiene los elementos a desde el 1 hasta el n-simo elemento.
Existen 2 formas de representar a los conjuntos en notación, la primera es enumerando y
escribiendo cada uno delos elementos esta se llama notación extensional.
B={a, f, g}
C={1,2,3}
Sub conjuntos: son conjuntos donde todos sus elementos pertenecen a un conjunto mayor por
ejemplo:
Si F={ a , e ,i , o , u }
Y D= {letrasdelalfabetolatino }
∴F ⊂ D
Y si U ={ todoslosalfabetos }
Por deducción D ⊂U ∴ F ⊂ U
Ya que se mencionan a los subconjuntos hay que mencionar también a los conjuntos
complementarios, considerando un subconjunto B que pertenece al conjunto A, se llama subconjunto
complementario de B (con respecto de A) al conjunto que contienen todos los elementos de A que no
están en el conjunto B. este conjunto se representa como: B c, B’ y B́.
La forma de representación matemática es
c
B⊂ A ∴ B = A−B
De momento se han mencionado y mostrado un poco de la notación de los principales elementos de
la teoría de conjuntos sin embargo es necesario conocer la notación usada en este tema, a
continuación se listan los símbolos usados en conjuntos.
= igual a
≠ diferente a
- menos
| tal que
{} espacio del conjunto
⊂ subconjunto de
⊄no es subconjunto de
∈ pertenece al conjunto
∉ no pertenece al conjunto
c
complemento
∴ por tanto
∃ existe
∄ no existe
∀ para todo
∩ intersección de
∪ unión
∧ conjunción (y)
∨ disjuncion (o)
⟺ si y solo si(sine qua non)
⟹ entonces
Diagramas de Venn
Una forma frecuente de representar conjuntos, es mediante diagramas que ejemplifiquen de forma
gráfica las operaciones de los conjuntos, para entender mejor los conceptos. En los diagramas de
ven se utilizan círculos u óvalos para representar los conjuntos mientras que el conjunto universal se
representa como un rectángulo que contiene a los conjuntos (círculos, óvalos).
Por ejemplo tenemos aquí un conjunto universal que contiene 2 conjuntos A y B como subconjuntos
independientes.
Propiedades de algunos conjuntos
Propiedades del conjunto vacío.
∅⊂A
A ⊂∅ ⟺ A=∅
A={ x ∨ x ≠ x } ⟺ A=∅
{ ∀ x ∨ x ∈ A ⟹ x ≠ x } ⟹ A=∅
A={ x ∨ x ∉ A } ⟺ A=∅
A ≠ ∅ ⟺ {∃ x ∨ x ∈ A }
Propiedades de inclusión
x ∈ A ⇔ {∀ x ∨ x ∈ A }
A⊂A
A ⊂B ⇔{∀ x ∨ x∈ A ⇒ x∈B }
A ⊂ByB ⊂C ⇒ A ⊂C
Propiedad de igualdad
A=B ⇔ { ∀ x ∨ x ∈ A ⇔ x ∈ B }
Intersección del conjunto A y B está formado por todos los elementos de A que además se
encuentran en B
A ∩ B= { x ∨ x ∈ A ∧ x ∈ B }
Se verifica que ∀ x ∨ x ∈ A ∩ B ⇔ x ∈ A ∧ x ∈ B
Diagrama de Venn
Diferencia del conjunto A con respecto a B es el conjunto formado por todos los elementos de A que
no se encuentran en B.
A−B={ x ∨ x ∈ A ∧ x ∉ B }
Se verifica que ∀ x ∨ x ∈ A−B ⇔ x ∈ A ∧ ¬ ( x ∈ B )
Diagrama de Venn
Teoremas operaciones básicas de conjuntos
∀ AB ; A ⊂ A ∪B
∀ AB ; A ∩ B⊂ A
∀ AB ; A ⊂ B ⇔ A ∪B=B
∀ AB ; A ⊂B ⇔ A ∩B= A
∀ A ; A ∪ A= A idempotencia
∀ A ; A ∩ A= A Idempotencia
∀ AB ; A ∩ ( A ∪ B )= A Absorción
∀ AB ; A ∪ ( A ∩B )= A Absorción
∀ AB ; A ∪B=B∪ A Conmutatividad
∀ AB ; A ∩ B=B ∩ A Conmutatividad
¬ ∀ AB; A−B=B− A
∀ A ;∅− A=∅
∀ A ; ∅ ∪ A=A
∀ A ; ∅ ∩ A=∅
∀ ABC ; ( A ∪B ) ∪ C= A ∪ ( B ∪C ) Asociatividad
∀ ABC ; ( A ∩ B ) ∩C=A ∩ ( B ∩C ) Asociatividad
∀ ABC ; A ∩ ( B ∪C )= ( A ∩ B ) ∪ ( A ∩C ) Distributividad
∀ ABC ; A ∪ ( B ∩C )= ( A ∪ B ) ∩ ( A ∪ C ) Distributividad
c
A ∩ A =∅ Contradicción
A ∪ A c =U Tercero excluido
c
( A c ) =A Involución
( A ∩ B )c = Ac ∪ B c D’Morgan
( A ∪ B )c = Ac ∩B c D’Morgan
A ∩ ( A c ∪ B )= A ∩ B
A ∪ ( Ac ∩B )= A ∪ B
Ejercicios
1.
Referencias:
Teoria de conjuntos y temas afines. Seymour Lipschutz. Editorial McGraw Hill (1991) Chile
capitulos 1 y 2 pp 1-29
teoria de conjuntos
https://medium.com/@matematicasdiscretaslibro/cap%C3%ADtulo-7-teoria-de-conjuntos-5ef84ea70025