TEORA DE CONJUNTOS

Dr. Flix Aucallanchi V.

NOCIN DE CONJUNTO
Entendemos como conjunto a una coleccin de cualquier
tipo de objetos llamados elementos del conjunto, que
est determinado por una propiedad comn de quienes
lo forman y enunciada por medio de un lenguaje preciso.
[Teora de la aritmtica, Peterson & Hashisaki, Ed. Limusa, 1994,
Mxico]

Ejemplos.- Son conjuntos las siguientes colecciones:

a) Los hijos de Carmela: Marlon, Roco y Daniel.
b) Los nmeros naturales: 1; 2; 3; ...; 20.

Notacin de conjuntos
Un conjunto se denota con letras maysculas (A; B;
C; ...) y se representa mediante llaves: { }, en cuyo
interior se anotan sus elementos, representados por
letras minsculas, separados por comas o punto y coma
en el caso de ser nmeros.
Ejemplo 1.- El conjunto formado por los hijos de Carmela, del
ejemplo anterior, se puede denotar as:
C = {Marlon, Roco, Daniel}
Interpretacin: C es un nombre para el conjunto cuyos
elementos son Marlon, Roco y Daniel
Ejemplo 2.- El conjunto de los nmeros naturales del 1 al 20, se
puede denotar como:
A = {1; 2; 3; ...; 20}
Interpretacin: A es un nombre para el conjunto cuyos
elementos son los primeros 20 nmeros naturales no nulos

DETERMINACIN DE UN CONJUNTO
Determinar un conjunto es listar o indicar, sin ambigedades, los
trminos o condiciones mediante los cuales un elemento dado es o
no integrante de dicho conjunto.

a) Por extensin o en forma tabular

Un conjunto se determina por extensin cuando se listan, o enumeran,
uno a uno sus elementos, o se da una frmula que define la secuencia
de stos.
Ejemplo.- Determinar, por extensin, el conjunto A cuyos
elementos son los nmeros naturales impares menores
que 9.
A = 1; 3; 5; 7; 9
Rpta:

b) Por comprensin o en forma constructiva

Un conjunto se determina por comprensin cuando se enuncia a sus
elementos por medio de una propiedad o cualidad comn a ellos y que
le es vlida nicamente a stos.
Un conjunto por comprensin se denota as:
A = {x | x tiene cierta propiedad}
que se lee: A es el conjunto de todos los elementos x tal que x
tiene cierta propiedad
El smbolo | (barra vertical) se lee: tal que y el smbolo x
se llama variable.
Ejemplo.- A = x | x es un dgito impar menor que 9

RELACIN DE PERTENENCIA
Llamamos relacin de pertenencia a la correspondencia que existe entre
un objeto, llamado elemento, y un conjunto, de modo que el primero
forma parte del segundo.
Si un objeto x es elemento de un conjunto A, es decir, si A tiene a
x como uno de sus elementos, se escribe:
x A, que se lee: x pertenece a A, o x est en A
Si por el contrario, un objeto x no es elemento de un conjunto A,
es decir, si A no tiene a x entre sus elementos, se escribe: x A
Obsrvese que la relacin de pertenencia va de un objeto a otro,
donde el segundo es necesariamente un conjunto y el primero
puede o no ser un conjunto.
Ejemplo.- Sean los conjuntos: A = {1; 2; 3} y B = {a; {b; c}},
entonces se puede afirmar que:
1 A; 2 A; 3 A; a B; {b; c} B
Asimismo podemos afirmar que: a A; 2 B.

CONJUNTOS ESPECIALES
CONJUNTO VACO
El conjunto vaco es el conjunto que no tiene elementos.
Representacin: se denota comnmente como: o { }.

Ejemplo 1.- Sea A un conjunto cuyos elementos son los campeonatos

mundiales de ftbol ganados por el Per durante el siglo XX. Como
Per no gan ningn campeonato en dicho periodo, este conjunto no
tiene ningn elemento, luego:
A = { }, o , A =
Ejemplo 2: A = { x | x < 5 x > 10 }

A=

CONJUNTO UNITARIO
Es el conjunto que posee un nico elemento.
Ejemplo: B = { x | 3 x 1 = 14 }

B={5}

CONJUNTOS ESPECIALES
CONJUNTO UNIVERSAL

Dados el conjunto A o ms conjuntos, el conjunto universal o de

referencia de A, denotado por , es otro conjunto cuyos elementos
son todos los elementos de los conjuntos dados.
Ejemplo.- Sean los siguientes conjuntos:
A = {1; 3; 5; 7; 9} y B = {0; 2; 4; 6; 8}
Construir el conjunto universal de los conjuntos A y B .
Rpta: = {0; 1; 2; 3; 4; 5; 6; 7; 8; 9}
Un conjunto universal o referencial se elige de manera arbitraria de
acuerdo a la situacin particular que se est estudiando.
En el ejemplo anterior se ha supuesto que solo existen los conjuntos
A y B.

DIAGRAMAS CONJUNTISTAS
Los diagramas conjuntistas son dibujos en los que se muestran las
relaciones existentes entre dos o ms conjuntos.
Diagramas de Venn-Euler
Son regiones planas limitadas por figuras geomtricas cerradas
que se utilizan para representar grficamente a los conjuntos
anotando, en su interior, a sus correspondientes elementos.
Se estila representar al conjunto universal mediante un rectngulo.
Ejemplo.- El siguiente es un
diagrama de Venn-Euler de los
conjuntos A, B, C y su
conjunto universal :

U
1

2
6

3
5 C

Diagrama de Carroll
Este diagrama es un recurso grfico que consiste en un plano dividido
en rectngulos, en el que cada regin representa a un conjunto con
dos o ms caractersticas.
Ejemplo.- Sea el siguiente diagrama de Carroll:

RELACIN ENTRE CONJUNTOS

Inclusin
La inclusin de un conjunto en otro conjunto es la relacin segn la cual
todos los elementos del primero pertenecen al segundo.
Sobre la base de este tipo de relacin se establecen dos definiciones:
A. Subconjunto
Si todo elemento de un conjunto A es tambin elemento de un conjunto
B, entonces se dice que A est incluido en B, o A es un subconjunto de
B, y se denota como A B.
Simblicamente: A B ( x A, x B)
: Significa si, y solo si

Ejemplo 1.- Sean los conjuntos P = {1; 3; 5} y Q = {1; 2; 3; 4; 5}

Como todo elemento de P
tambin pertenece a Q
concluimos que P es subconjunto
de Q y se denota: P Q

P
3

2
4

Ejemplo 2.- Es el conjunto R = {2; 3; 4} un subconjunto del

conjunto S = {4; 3; 2}?
Rpta. S
En efecto, todo elemento de R: 2; 3 4,
tambin pertenece a S.
R S

3
4

Obsrvese que, en este ejemplo, tambin podemos decir que S est

incluido en R.

B. Subconjunto Propio
Se establece que A es subconjunto propio de B, denotado por A B,
si todo elemento de A es elemento de B, y existe al menos un
elemento de B que no le pertenece a A.
La condicin de existencia: al menos un elemento de B no le pertenece
a A significa que el conjunto B no est incluido en A.
Ejemplo.- Es el conjuntos: M = {1; 2; 3} un subconjunto propio
de N = {0; 1; 2; 3}?
Rpta. S
Se puede reconocer que todos los elementos de M son tambin los
elementos de N, pero N tiene al menos un elemento, el 0, que no le
pertenece al conjunto M.
Luego M es subconjunto propio
de N, lo cual denotaremos as:
MN y NM
o
MN

M
0

OJO
En adelante, al referirnos a subconjunto y subconjunto propio,
emplearemos la misma notacin: , en el entendido que se reconoce,
desde ahora, la diferencia entre ellos.
Propiedades de la Inclusin de Conjuntos
1ro. Todo conjunto est incluido en si mismo.
A se cumple que: A A
2do. El conjunto vaco est incluido en cualquier conjunto e inclusive
en l mismo.
A se cumple que: A
Obsrvese que si A = , entonces se cumple que:
.

Igualdad de Conjuntos
Dos conjuntos A y B se llaman iguales, denotado como A = B, si
cada elemento de A es un elemento de B y cada elemento de B
es un elemento de A.
Simblicamente: A = B A B y B A
Conjuntos Comparables
Dos conjuntos A y B se llaman comparables si se cumple que uno de
los conjuntos es subconjunto del otro.
Simblicamente:

AB o BA

Conjuntos Disjuntos
Dos conjuntos A y B se llaman disjuntos si se cumple que ninguno de
los conjuntos es subconjunto del otro.
Simblicamente:

AB o BA

OJO
Si una misma letra, nmero u objeto aparece ms de una vez en
cualquier lista de los elementos de un conjunto ser considerado como
solamente una letra, un nmero o un objeto, respectivamente.

Ejemplo.- D = {a, b, a, a}
En este ejemplo, la letra a aparece tres veces en la lista de los
elementos del conjunto D. Para nuestro propsito el conjunto D
tiene solamente dos elementos diferentes.
Por lo tanto: D = {a, b}

Ejemplo 1.- Sean los conjuntos: D = {a, b, a, a} y E = {a, b}.

Se observa que cada elemento del conjunto D est en el
conjunto E y cada elemento del conjunto E est en el conjunto
D, por lo tanto:
D=E
Ejemplo 2.- Son A y B dos conjuntos iguales:

A = {x | (x3)(x4)(x5) = 0}

A = {3; 4; 5}

B = {x N | 2 < x < 6} ?

B = {3; 4; 5}

A=B

Ejemplo 3.- Son o no comparables los conjuntos:

A = {a, b} y B = {a, b, c} ?
Rpta. S
Porque uno de ellos, en este caso A, es un subconjunto del otro, B.

Ejemplo 4.- Son disjuntos los conjuntos: A = {a, b, c} y B = {1; 2; 3; 4}?

Rpta: S
Se observa que ningn elemento de A est en B y ninguno de B est
en A:
A y B son conjuntos disjuntos.
Ejemplo 5.- Son disjuntos los conjuntos: R = {a, b, c} y S= {c, d, e, f}?
Rpta: NO
Puesto que c est en R y en S concluimos que R y S no son
disjuntos.

CONCLUSIN:
Si A y B son dos conjuntos entonces solo es posible que sean:
CONJUNTOS
COMPARABLES

5
A B

CONJUNTOS
IGUALES

CONJUNTOS
DISJUNTOS

A
2
7

5 B
A=B

Conjuntos No Disjuntos

7
2

5
B
A B

Conjuntos No Comparables

Observacin:
Como todo conjunto est contenido en s mismo, se dice que dos
conjuntos iguales tambin son conjuntos comparables

Clases de conjuntos
Conjunto finito
Un conjunto es finito cuando se puede listar exhaustivamente sus
elementos en algn orden y en consecuencia contarlos uno a uno hasta
alcanzar el ltimo.
Ejemplo.- Es finito el conjunto de letras del abecedario?
Como los elementos de : A = {a, b, c, ..., z} se pueden listar hasta el
ltimo, concluimos que A es un conjunto finito.
Conjunto infinito
Un conjunto es infinito cuando no se pueden listar exhaustivamente
sus elementos en algn orden y en consecuencia no posee un ltimo
elemento.
Ejemplo.- Es el conjunto de los nmeros naturales, , un conjunto infinito?
Como = {0; 1; 2; 3; 4; 5; 6; 7; 8; 9; ...}, se observa que no es posible
alcanzar el ltimo elemento de este conjunto, luego N es un conjunto infinito.

Cardinal de un conjunto
El cardinal de un conjunto A, denotado como n(A), es el nmero natural
que indica la cantidad de elementos diferentes que tiene dicho conjunto.
Ejemplo 1.- Sea el conjunto A = {a, b, c, d, e, f}, entonces su cardinal
n(A) se obtiene as:

Ejemplo 2.- Determinar el cardinal de los siguientes conjuntos:

a) A = { }
Puesto que A es un conjunto que no presenta elementos, es decir, es un
conjunto vaco, se propone que: n(A) = 0. En adelante se aplicar:
n() = 0

b) B = {x | 3 < x < 5}
Sabiendo que el smbolo < significa menor que, concluimos que 4
es el nico nmero natural que verifica la condicin dada, luego: B =
{4}, y por consiguiente:
n(B) = 1.
c) C = {}
En este caso el conjunto C tiene un elemento, este elemento es
el conjunto vaco, por consiguiente se trata de un conjunto
unitario y se cumple que:
n(C) = 1
d) D = {x |x es un miembro del equipo de ftbol profesional que est
jugando en cancha}
Dado que un equipo de ftbol profesional, jugando en cancha,
est constituido de 11 jugadores, se concluye que:
n(D) = 11.

Conjunto de conjuntos
Definicin.- El conjunto de conjuntos, llamado tambin clase o familia
de conjuntos, es el que tiene por elementos a otros conjuntos.
[Teora de conjuntos y temas afines, Ph. D. Seymour Lipschutz, Ed.
McGraw Hill, 1969, Mxico]
Ejemplo 1.- Sea C el conjunto cuyos elementos son: {a, b}, {a, c} y
{d}. Luego podemos escribir el conjunto de conjuntos C as:
C = {{a, b}, {a, c}, {d}}
Observacin.- En teora es posible que un conjunto tenga entre sus
elementos algunos que sean a su vez conjuntos y otros que no lo
sean, pero en las aplicaciones de la Teora de Conjuntos este caso
se presenta rara vez.
Ejemplo 2.- El conjunto: D = {{0; 1}; {1}; 2; 3}, es una familia de
conjuntos

Conjunto Potencia
Definicin.- Dado un conjunto A, se denomina conjunto potencia de A,
denotado como P(A), a la familia de conjuntos cuyos elementos son
todos los subconjuntos de A.
Debemos recordar que en la lista de todos los subconjuntos de un
conjunto est el conjunto vaco.
Ejemplo 1.- Sea A = {a; b}, determinar su conjunto potencia.
Rpta: P(A) = {, {a}, {b}, {a, b}}
Obsrvese que se han listado los conjuntos de ninguno, uno y
dos elementos.

Ejemplo 2.- Dado: A = {1; 2; 3} mediante combinaciones determinar todos

los subconjuntos de A.
Conjunto sin elementos

= 1:

Conjuntos de 1 elemento = 3:

{1}, {2}, {3}

Conjuntos de 2 elementos = 3:

{1; 2}, {2; 3}, {1; 3}

Conjunto de 3 elementos = 1:

{1; 2; 3}

A partir de los subconjuntos de A se puede construir el conjunto

potencia de A:
P(A) =

14, 414 ,4 244, 4344,2 1;4 42 4, 42;4 34 4, 41;433 , 141;22;433

Subconjuntos propios de A

Obsrvese que n(A) = 3 y n[P(A)] = 8, cumplindose que: 8 = 2 3

Asimismo 7 son los subconjuntos propios y 1 es el conjunto propio.
7 = 23 - 1 ; 8 = 7 + 1

En general, si n(A) es el cardinal del conjunto A, entonces el

cardinal del conjunto potencia de A, denotado como n[P(A)], y el
nmero de subconjuntos propios de A, denotado como sA, estn
dados por:

n P(A) 2n(A)
sA 2n(A) 1
n P(A) sA 1

Nmeros Naturales ( )

={0; 1;2;3;4;5;....}

Nmeros Enteros ( )

={...;-2;-1;0;1;2;....}

Nmeros Racionales ()
1
1 1

={...;-2;-1;
;0;
; ; 1;4

;2;....}

Nmeros Irracionales ( )

={...;

Nmeros Reales ( )
={...;-2;-1;0;1; 2; 3;2;3;....}
Nmeros Complejos ( )
1

={...;-2; 2;0;1; 2; 3;2+3i;3;....}

2; 3; ;....}

P={3}

EJEMPLOS:

Expresar por extensin los siguientes Q={-3;3}

conjuntos:
A ) P x x 2 9 0

F={}

B ) Q x x 9 0
C ) F x x 2 9 0
2

E ) B x I (3x 4)(x

D ) T x (3x 4)(x 2) 0

2) 0

RESPUESTAS

4
T

3
B