Teora de

Conjuntos
y
Diagrama
de Venn

Jorge Alberto Valenzuela Hoyos

Lucio David Avelar Fontes

Teora de Conjuntos
Nocin Intuitiva De Conjunto
Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables
entre si, que se llaman elementos del mismo.
Si a es un elemento del conjunto A se denota con la relacin de pertenencia a
A.
En caso contrario, si a no es un elemento de A se denota a A.
Ejemplos de conjuntos:
: el conjunto vaco, que carece de elementos.
N: el conjunto de los nmeros naturales.
Z: el conjunto de los nmeros enteros.
Q : el conjunto de los nmeros racionales.
R: el conjunto de los nmeros reales.
C: el conjunto de los nmeros complejos.
Se puede definir un conjunto:

por extensin, enumerando todos y cada uno de sus elementos.

por comprensin, diciendo cul es la propiedad que los caracteriza.

Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se

define por extensin, o su propiedad caracterstica, si se define por
comprensin. Por ejemplo:
A := {1,2,3, ... ,n}
B := {p Z | p es par}
Se dice que A est contenido en B (tambin que A es un subconjunto de B o
que A es una parte de B),
y se denota A B, si todo elemento de A lo es tambin de B, es decir,
a

A a B.

Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultneamente

A B y B A;
esto equivale a decir que tienen los mismos elementos (o tambin la misma
propiedad caracterstica).

A y A A;
B A es un subconjunto propio de A si A y B A.
Para cualquier conjunto A se verifica que

El conjunto formado por todos los subconjuntos de uno dado A se

llama partes de A, y se denota (A).
Entonces, la relacin B

A es equivalente a decir B (A). Ejemplos:

Si A = {a,b} entonces (A) = { ,{a},{b},A}.

Si a

A entonces {a} (A).

Cuando en determinado contexto se consideran siempre conjuntos que son

partes de uno dado U,
se suele considerar a dicho U como conjunto universal o de referencia.

OPERACIONES ENTRE CONJUNTOS

Dados dos conjuntos A y B, se llama diferencia al conjunto A B := {a

A|

a B}.
Asimismo, se llama diferencia simtrica entre A y B al conjunto A

B :=

(A B) A
Si A (U), a la diferencia U A se le llama complementariode A respecto
de U,
y se denota abreviadamente por A' (U se supone fijado de antemano).
Es fcil ver que si A y B son subconjuntos cualesquiera de U se verifica:

'=U.
U ' = .
(A')' = A .
A B B' A' .

Si A = { x U | p(x) es una proposicin verdadera} entonces A' =

{ x U | p(x) es una proposicin falsa}.

Se llama unin de dos conjuntos A y B al conjunto formado por objetos que

son elementos de A o de B,
es decir: A B := { x | x A x B}.

Se llama interseccin de dos conjuntos A y B al conjunto formado por objetos

que son elementos de A y de B,
es decir: A B := {x | x A x B}.
Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fcil
ver que A B = A B'.
En este caso, la llamadas operaciones booleanas (unin e interseccin)
verifican las siguientes propiedades :

PROPIEDADES
1.- Idempotencia
2.- Conmutativa
3.- Asociativa
4.- Absorcin
5.- Distributiva

UNION
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
A(BC)=(AB)(AC)

INTERSECCION
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
A(BC)=(AB)(AC)

6.- Complementariedad

A A' = U

A A' =

Estas propiedades hacen que partes de U con las operaciones unin e

interseccin tenga una estructura de lgebra de Boole.
Adems de stas, se verifican tambin las siguientes propiedades:

o A = A , A = ( elemento nulo ).
o A U = U , A U = A ( elemento universal ).
o ( A B )' = A' B' , ( A B )' = A' B' ( leyes de Morgan).
Dados dos conjuntos A y B, se define el producto cartesiano de ambos
como el conjunto de pares ordenados:

A B := { (a,b) : a A b B}
Dos pares (a,b) y (c,d) de A B son iguales si a = c y b = d;
anlogamente, dados cuatro conjuntos A,B,C,D se verifica

A B = C D ( A= C B = D )

Se llama grafo relativo a A B a todo subconjunto G A B.

Dado un grafo G relativo a A B, se llama proyeccin de G sobre A al
conjunto

ProyAG := { a A : (a,b) G, b B}
Anlogamente se define la proyeccin ProyBG de G sobre B.
Por ltimo, los conceptos anteriores pueden generalizarse a familias de
conjuntos.
Si para cada elemento i de un conjunto (de ndices ) I se tiene un
conjunto Ai , entonces se define el conjunto { Ai : i I }
y se denomina familia de conjuntos indicada por I. Tambin se suele
denotar por { Ai } i I .
De forma anloga se define una familia de elementos ( ai
Dada una familia de conjuntos { Ai

) iI .

} i I se definen:

o i I Ai := { a : a Ai , i I }
o i I Ai := { a : a Ai , i I }
o i I Ai := { (ai) : ai Ai , i I }
Las propiedades de la unin e interseccin siguen siendo vlidas para
familias de conjuntos, y en particular las leyes de Morgan :

( i I Ai )' = i I A'i
= i I A'i

(i I Ai)'

Diagrama de Venn
Los diagramas de Venn son esquemas usados en
la teora de conjuntos, tema de inters en
matemtica, lgica de clases y razonamiento
diagramtico. Estos diagramas muestran
colecciones (conjuntos) de cosas (elementos) por
medio de lneas cerradas. La lnea cerrada
exterior abarca a todos los elementos bajo
consideracin, el conjunto universal U.
Introduccin
Con los diagramas de Venn es posible representar las relaciones de
interseccin, inclusin y disyuncin sin cambiar la posicin relativa de los
conjuntos
Interseccin
Dado que los conjuntos pueden tener elementos comunes, las regiones
encerradas por sus lneas lmite se superponen. El conjunto de los elementos
que pertenecen simultneamente a otros dos es la interseccin de ambos.1
A = {1; 2; 3; 4; 6; 12}
B = {1; 3; 5; 15}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16}

A = {x | x es divisor natural de 12}

B = {x | x es divisor natural de 15}
U = {x | x es natural menor o igual que 16}

Inclusin
Si todos los elementos de un conjunto son parte de los elementos de otro, se
dice que el primero es un subconjunto del segundo o que est incluido en el
segundo.1 En los diagramas de Venn, todas las regiones de superposicin
posibles deben ser representadas. Y, cuando hay regiones que no contienen
elementos (regiones vacas), la situacin se indica anulndolas (con un color de
fondo distinto).
A = {1; 2; 3; 4; 6; 12}
B = {1; 2; 3; 6}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12}

A = {x | x es divisor natural de 12}

B = {x | x es divisor natural de 6}
U = {x | x es natural menor o igual que 12}

Disyuncin

Cuando los conjuntos no tienen elementos comunes, la regin de superposicin

queda vaca.

A = {2; 4; 6; 8}
B = {1; 3; 5; 7; 9}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10}

A = {x | x es par y de una cifra}

B = {x | x es impar y de una cifra}
U = {x | x es natural menor o igual que 10}

Ejemplos
Suponga que R es el conjunto de todos los reptiles, S es el conjunto de todas
las criaturas que viven en el mar, y M es el conjunto de todos los mamferos.
Obtenemos el diagrama de Venn:

La regin marcada RS es la interseccin de R y S; el conjunto de reptiles que

viven en el mar. Similarmente SM es el conjunto de mamferos que viven en el
mar. Ya que no hay tal cosa como un animal que es tanto reptil como mamfero,
la interseccin RM est vaca (las regiones R y M no se cruzan una con otra).
Enseguida mostramos algunos ejemplos de animales en cada categora del
diagrama de Venn.