Prof.: Carvajal G. Luis G. – Matemática – Prof.: Carvajal G. Luis G.

– Matemática
Prof.: Carvajal G. Luis G. – Matemática – Prof.: Carvajal G. Luis G. – Matemática

Resumen de Teoría de Conjuntos

Álgebra de Conjuntos
 Definiciones Básicas: La teoría de conjuntos se construye a
partir de tres conceptos básicos que son: elemento,
conjunto y relación de pertenencia. Estos tres conceptos,
por ser los primeros, no se pueden definir; sin embargo,
daremos una interpretación intuitiva de ellos.
Al término de conjunto le daremos el significado que le da
el lenguaje usual, es decir, como una colección o agrupación de
objetos cualesquiera, llamados elementos, y de ellos se dice
Los conjuntos los podemos denotar de 3 formas diferentes.
i) Por extensión: cuando se enumeran explícitamente todos sus
elementos.
Ejemplo: Las vocales V  a, e, i, o, u
ii) Por compresión: cuando se caracterizan sus elementos por
medio de una proposición.
Ejemplo: Las vocales V   x / x es una vocal
iii) Diagramas de Venn: cuando se hace un dibujo del conjunto
como figura cerrada, conteniendo en su interior los elementos
de los cuales se compone.

que pertenecen al conjunto. CONJUNTOS NOTABLES

 Conjunto Universal: es el conjunto formado por todos los
Los conjuntos los denotaremos con letras mayúsculas: A, B,
elementos que están en discusión. A éste, generalmente se le
C, etc; y los elementos con minúsculas: a, b, c, etc.
denota con la letra U; y dicho conjunto no es único, ya que varía
Utilizaremos la notación x  A para indicar que “x pertenece
según el tema que tratemos.
a A” y a su vez, si “x no pertenece a A” escribiremos x  A .
U
Obs: Nos reservaremos las letras N, Z, Q, I, R y C para A
designar los conjuntos de números naturales, enteros,
racionales, irracionales, reales y complejos. A éste tipo de gráficos se les conoce como Diagrama de Venn.

Señor… cuando nos equivoquemos, concédenos la voluntad de rectificar, y cuando tengamos la razón… no permitas que nos hagamos insufribles para el prójimo
Prof.: Carvajal G. Luis G.
 Prof.: Carvajal G. Luis G. – Matemática – Prof.: Carvajal G. Luis G. – Matemática
Prof.: Carvajal G. Luis G. – Matemática – Prof.: Carvajal G. Luis G. – Matemática

 Conjunto Vacío: es el conjunto que no posee elemento U

alguno. B
   x U / x  x A

CUANTIFICADORES
Los términos todos, algunos, un sólo y ninguno, por Diremos que un conjunto A está incluido propiamente en un
indicar cantidad, son llamados cuantificadores. De estos, los conjunto B o que A es subconjunto propio de B, y escribiremos si y
fundamentales son todos, algunos y, como caso particular de sólo si A  B  A  B o en su defecto A B.
este último, un sólo.
 La inclusión de conjuntos es:
i) El cuantificador todos se le llama Cuantificador
i) Reflexiva: para todo conjunto A, A  A .
Universal y se le denota con el símbolo “  ”.
ii) Transitiva: Si A  B y B  C , entonces A  C
Para todo elemento x de A.
ii) El cuantificador algunos o existe al menos uno se le OPERACIONES CON CONJUNTOS
llama Cuantificador Existencial, y se le denota con el
 Conjunto Potencia: Sea A un conjunto. El conjunto potencia de
símbolo “  ” A es el conjunto ( A) cuyos elementos son todos subconjuntos
Existe un elemento x en A. de A. Esto es
 Subconjuntos: Sean A y B conjuntos. Diremos que A es ( A)   X / X  A

subconjunto de B o que A está incluido en B, y escribiremos Si A posee “n” elementos, entonces ( A) tiene 2 elementos.
n

A  B , si todo elemento de A es también un elemento de B. Ejemplo: Si A  a, b, c entonces

Esto es, simbólicamente, ( A)  ;a ;b ;c ;a, b ;a, c ; b, c; a, b, c
A  B  x  A  x  B

Señor… cuando nos equivoquemos, concédenos la voluntad de rectificar, y cuando tengamos la razón… no permitas que nos hagamos insufribles para el prójimo
Prof.: Carvajal G. Luis G.
 Prof.: Carvajal G. Luis G. – Matemática – Prof.: Carvajal G. Luis G. – Matemática
Prof.: Carvajal G. Luis G. – Matemática – Prof.: Carvajal G. Luis G. – Matemática

 Igualdad de conjuntos: Sean A y B dos conjuntos. Diremos La Diferencia de A y B es el conjunto

que A es igual a B, si y sólo si A está contenida en B, y B está A  B  x U / x  A  x  B
incluida en A.
U
A B  A B  B A
A B
 Def.: Sean A y B dos conjuntos.
La Unión de A y B es el conjunto
A  B  x U / x  A  x  B
El Complemento de A con respecto a B, siendo A un
U subconjunto de B, es el conjunto
A B A C   x U / x  A  x  B

U
B
La Intersección de A y B es el conjunto A

A  B  x U / x  A  x  B

U Y el complemento de A con respecto a U es

A B U

Señor… cuando nos equivoquemos, concédenos la voluntad de rectificar, y cuando tengamos la razón… no permitas que nos hagamos insufribles para el prójimo
Prof.: Carvajal G. Luis G.
 Prof.: Carvajal G. Luis G. – Matemática – Prof.: Carvajal G. Luis G. – Matemática
Prof.: Carvajal G. Luis G. – Matemática – Prof.: Carvajal G. Luis G. – Matemática

La Diferencia Simétrica de A y B es el conjunto LEYES DEL ÁLGEBRA DE CONJUNTOS

A  B  x U / x  A  x  B  ( A  B)  ( B  A)  de Idempotencia:
A A  A A A  A
U
 Asociativa:
A B ( A  B)  C  A  ( B  C ) ( A  B)  C  A  ( B  C )

 Conmutativas:
A B  B  A A B  B  A
Correspondencia entre
 Distributivas:
Lógica Conjuntos
A  ( B  C )  ( A  B)  ( A  C )
p q A B A  ( B  C )  ( A  B)  ( A  C )
p q A B
 de Identidad o Elemento Neutro:
p AC A  A A  
p  q A B
 de Dominación:
pq AB
A U  U A U  A
pq A B
 de Complementación:
pq AB
A  AC  U A  AC  
La tabla anterior nos permite traducir el álgebra de
A 
C C
A UC   C U
proposiciones, tratado en el capítulo anterior, en una nueva
álgebra, que llamaremos álgebra de conjuntos y cuyas leyes  de De Morgan:
presentaremos a continuación: ( A  B)C  AC  BC ( A  B)C  AC  BC

Señor… cuando nos equivoquemos, concédenos la voluntad de rectificar, y cuando tengamos la razón… no permitas que nos hagamos insufribles para el prójimo
Prof.: Carvajal G. Luis G.