CONJUNTOS

En una Teora Intuitiva de Conjuntos, los conceptos de conjunto

y pertenencia son considerados primitivos, es decir, no se
definen de un modo formal; se les acepta como existentes de
manera axiomtica, an cuando son creaciones intelectuales.

Intuitivamente, un conjunto es una coleccin o clase de objetos

bien definidos, dotados de una propiedad que permita decidir (sin
ninguna ambigedad posible), si un objeto cualquiera forma parte
o no de la coleccin.

Consideremos, por ejemplo, los siguientes conjuntos:

1.- Las vocales: a, e, i, o, u.

2.- Los nmeros enteros pares positivos: 2, 4, 6, ....
3.- Los siete enanitos de Blancanieves.
4.- Los equipos chilenos de ftbol profesional participantes en el
actual campeonato nacional.
5.- Las seoritas de nuestro curso de Matemticas.

Los objetos que forman un conjunto se llaman elementos del

conjunto, y la relacin entre un elemento y un conjunto es la de
pertenencia.
Se escribe x A y se lee (el objeto) x pertenece a (el conjunto)
A"

Habitualmente los conjuntos se designan por una letra mayscula

y los elementos del conjunto por una letra minscula y entre
parntesis de llave.

Los conjuntos se pueden definir por:

1
EXTENSIN cuando se describen exhaustivamente (es decir,
nombrando a todos y cada uno de sus elementos, que, en
tal caso, se escribiran entre llaves)

Ejemplo: A={ Pedro, Juan, Luis, Manuel}

COMPRENSIN: Cuando se indican las caractersticas de los

elementos del conjunto o funcin proposicional p(x) que
satisfagan todos los elementos x del conjunto definido y slo
ellos, dentro de un universo contextual relativo U.

Ejemplo: B = { nmeros pares}

C = { nmeros enteros positivos menores de 10 }

CONJUNTO FINITO: Es aquel que consta de un nmero

determinado de elementos, dicho de otra forma, si al efectuar el
proceso de contar los elementos, este proceso puede terminar.

CONJUNTO INFINITO: Cuando el conjunto tiene un nmero

indeterminado de elementos, infinitamente grande.

CONJUNTO VACO: Es aquel conjunto que no tiene ningn

elemento. Se representa por el smbolo .

SUBCONJUNTO: Se dice que un conjunto A es subconjunto de un

conjunto B, o bien que A est incluido en B si y slo si cada
elemento que pertenece a A pertenece tambin a B.

A est incluido en B y se anota A B.

Expresado de otra forma: A B={x/ xA xB}

2
Ejemplo: si A = {1, 3, 5} y B = {1, 2, 3, 4, 5, 6, 7} entonces A
B.

Si A no es subconjunto de B se escribe A B.

Se dice que A es SUBCONJUNTO PROPIO de B si y slo si A es

subconjunto de B pero B es distinto de A, lo que a veces se
denota por A B, sin la barrita inferior que representa la igualdad
de conjuntos.

A B yA B

En alguna bibliografa se acostumbra a designar un subconjunto

propio como

A B

Y un subconjunto como A B

CONJUNTOS IGUALES: Dos conjunto A y B son iguales ( A = B) si

x A x B x B x A

se verifica que A B B A.

Para probar que dos conjuntos son iguales, ser siempre

necesario probar que cada uno de ellos est contenido en
el otro (dos pruebas).

Este proceso se llama prueba por doble inclusin.

COMPARABILIDAD: Dos conjuntos A y B se dicen comparables si:

A B oBA
3
Esto es si uno de los conjuntos es subconjunto del otro.

En cambio dos conjuntos C y D no son comparables si

CD y DC

Ntese que si C y D no son comparables, entonces hay un

elemento de C que no est en D y hay algn elemento de D que
no est en C.

CONJUNTO DE CONJUNTOS: Hay ocasiones en que los elementos

de un conjunto son a su vez tambin conjuntos, por ejemplo
el conjunto de todos los subconjuntos de A . Para evitar decir
conjunto de conjuntos se suele decir familia de conjuntos o
clase de conjuntos, y para evitar mayor confusin, se
emplean letras de tipo ingls.

A B C D

CONJUNTO UNIVERSAL: Es aquel conjunto del que son subconjunto

toda una familia de conjuntos. Se denota con la letra U

Si U es el conjunto Universo de A, B, C, y D, entonces

x A x U,
y B y U,
z C z U,
u D u U,

CONJUNTO POTENCIA: Conjunto potencia de S se denomina a la

familia de todos los subconjuntos de S, y se denomina por 2 S.

Ejemplo: Si F = { 1, 2} entonces 2 F = { {1, 2}, {1}, {2}, }

4
CONJUNTOS DISJUNTOS: Son aquellos conjuntos que no tienen
ningn elemento en comn. Por ejemplo: E = {1, 3, 5} y G = {2, 4,
6 } son conjuntos disjuntos.

DIAGRAMAS DE VENN EULER: Es la forma sencilla e instructiva para

poder representar los conjuntos y las relaciones que se producen
entre ellos. En ellos se representan habitualmente los conjuntos
por un rea plana, por lo general delimitada por un crculo.

A = { a, b, c, d, e}

B = { b, c, d} B A

5
 Operaciones con conjuntos

UNIN: La unin de dos conjuntos A y B es el conjunto de todos

los elementos que pertenecen a A o a B o a ambos., y se
representa por

A B

A B = {x / x A x B} .

Ejemplo: Sean los conjuntos A = { 1, 2,

3, 4 } y B = {3, 4, 5, 6}, entonces la
unin A B se representa
grficamente por el diagrama de Venn

INTERSECCIN: La interseccin de dos conjuntos A y B ( A B )

es el conjunto de todos los elementos
comunes a A y a B al mismo tiempo.

A B = {x : x A x B}

Ejemplo: Si tomamos los mismos

conjuntos
A = { 1, 2, 3, 4 } entonces la Interseccin de A y B es A B =
{ 3, 4 } y se representa grficamente mediante el diagrama de
Venn

DIFERENCIA: La diferencia entre los conjuntos A y B ( A B ) o

( A \ B ) es el conjunto de todos los elementos que pertenecen a A
pero no pertenecen a B
6
A B = A \ B = {x / x A x B}

Ejemplo: Utilizando los conjuntos A = { 1, 2, 3,

4 } y B = {3, 4, 5, 6} entonces la diferencia de A
y B es A - B = { 1, 2 } y se representa
grficamente mediante el diagrama de Venn

COMPLEMENTO: El complemento de un conjunto A es el conjunto

de todos los elementos que no pertenecen
a A , pero s pertenecen a l Universo. En
otras palabras es la diferencia entre el
conjunto Universo y el conjunto A.

Se representa por A = A c y es igual a U

A

Representado en un diagrama de Venn, se tiene:

DIFERENCIA SIMTRICA:
Es el conjunto formado por todos los
elementos que pertenecen a A o a B
pero no a ambos.

A B = (A B ) ( B A) = (A B )
( A B)

ALGUNAS RELACIONES:
A A=
A =A
A U = Ac
A B=BA
7
( A B ) c = ( A B ) c ( A B)
( A B ) C = A ( B C )

REPRESENTACIN DE ALGUNAS OPERACIONES: (Escriba la

operacin)

( A B )C

Ejercicios:

Dados los conjuntos: A = {n / n Z + n 13}

B = {n / n Z + n es par n 20}
C = {n / n Z + n es par}
Encontrar : A B, A B, Ac, Bc , A B,
B A, A B,
BC y B C.

8
CARDINALIDAD DE CONJUNTOS:

Sea un conjunto A en un universo U con una cantidad

determinada de elementos (finito numerable). Se define la
Cardinalidad de A como la cantidad de elementos distintos del
conjunto A. Se anotar n(A) o tambin #(A).

Ejemplo.
Si A = { x R / 3x 2 + 7x + 2 = 0}, podemos decir que n(A) = 2
puesto que el discriminante de la ecuacin es positivo y se infiere
que tiene dos races reales y distintas.

Propiedades Axiomticas:
n() = 0
A = B n(A) = n(B);
A B n(A) n(B)
AB = n(AB) = n(A) + n(B)

Propiedades Algebraicas:
n(AB) = n(A) + n(B) n(AB)
n(AC) = n(U) n(A)
n(A B) = n(A) n(AB)

Aplicacin a Encuesta
.
Se hace una encuesta a 600 varones respecto del uso de tres
marcas de camisas:
Arrow, Van Heusen y McGregor.
Se obtuvo la siguiente informacin :

180 varones usan Arrow pero no McGregor.

200 usan McGregor y Van Heusen.
160 usan Van Heusen pero nunca usan Arrow.
100 usan Arrow y Van Heusen pero nunca han usado McGregor.
290 nunca han usado McGregor.
9
 50 slo usan Van Heusen.
200 han usado slo una (cualquiera) de estas tres marcas.

a) Distribuya la informacin en un diagrama adecuado a la

situacin.
b) Determine : i) Cuntos encuestados no usan de estas
camisas?
ii) Cuntos encuestados slo usan McGregor y
Arrow?

Resp: i) son 10 los encuestados que no usan de estas camisas.

ii) son 100 los encuestados que usan slo McGregor y Arrow.

10
 Algebra de conjuntos.

Bajo las operaciones definidas en los apartados

anteriores, los conjuntos satisfacen varias leyes o
identidades. Observaremos que existe una dualidad entre
las leyes que utilizan la interseccin y las que utilizan la
unin.

Leyes Idempotentes
Dado cualquier conjunto A en un universal arbitrario U, se
verifica:
1. A A = A
2. A A = A

Leyes Conmutativas
Dados dos conjuntos A y B de un universal arbitrario U, se
verifica:
1. A B = B A
2. A B = B A

Leyes Asociativas
Dados tres conjuntos A, B y C de un universal arbitrario U,
se verifica:
1. A (B C) = (A B) C
2. A (B C) = (A B) C

Leyes Distributivas
Dados tres conjuntos A, B y C de un conjunto universal
arbitrario U, se verifica:
1. A (B C) = (A B) (A C)
2. A (B C) = (A B) (A C)

Leyes de Identidad

11
Dado un conjunto cualquiera de un universal arbitrario U,
se verifica:
1. A = A
2. A U = U
3. A =
4. A U = A

Ley Involutiva
Dado un conjunto cualquiera A de un universal U, se
verifica:
(A c) c = A

12
Leyes del Complemento
Dado un conjunto cualquiera A de un universal arbitrario
U, se verifica:
1. A A c = U
2. U c =
3. A A c =
4. c = U

Leyes de De Morgan
Dados dos conjuntos A y B en un universal U, se verifica:
1. (A B) c = A c B c
2. (A B) c = A c B c

Otras relaciones entre Conjuntos

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

lgebra Proposiciones / lgebra Conjuntos.

lgebra de lgebra de
Proposiciones. Conjuntos.
Leyes de p p p A A A
idempotencia. p p p A A A
Leyes p q r p q r A B C A B C
asociativas. p q r p q r A B C A B C

13
Leyes pq q p AB B A
conmutativas. p q q p A B B A
Leyes p q r p q p r A B C A B A C

distributivas. p q r p q p r A B C A B A C
Leyes de pFp A A
identidad. A U U
p V V
A U A
pVp
A
pFF
Leyes de p p A' ' A
complemento. p p V A A' U

p p F A A'
U'
V F
' U
F V

Leyes de p q p q A B A B
' ' '

DeMorgan. p q p q A B A B
' ' '

Ley de p (p q) p AU ( A B ) = A
Absorcin p (p q) p A ( AU B ) = A

14
Ejercicios:

Mostrar que los siguientes conjuntos son vacos:

a) (A U B)c (C U B c) c =
( A B ) ( C ( B ) ) Ley de DeMorgan
c c c c c

( Ac Bc ) ( Cc B) Complemento
Ac Bc Cc B Asociatividad
Ac Cc B Bc Conmutatividad
A C (BB )
c c c
Asociatividad
(A C )
c c
Complemento
Identidad

b) A [B c U (C A c) c] c
A {(B c ) c (C A c) c] c} Ley de DeMorgan
A { B (C A c) } Complemento
A B C A c Asociatividad
B C A Ac
Conmutatividad
( B C ) ( A A )
c
Asociatividad
( B C ) Complemento
Identidad

Demostrar que:

( A C ) U ( B C) =AU B C
( A C c ) U (B C c ) = Definicin
( A U B ) C c = Distribucin
( A U B ) C AUBC Definicin

15