1

TEORA ELEMENTAL DE CONJUNTOS

Conjunto: Intuitivamente es una reunin, agrupacin, coleccin de objetos.
Elemento: Se llama elemento a los objetos o seres individuales que conforman un conjunto.
Ej.:
Una Universidad es un conjunto de estudiantes
Un ejrcito es un conjunto de soldados
Un libro es un conjunto de hojas
Notacin: Consiste en indicar un conjunto por medio de signos convencionales. Existen dos formas:
Grfica y simblica.
1) Conjunto: Mediante diagramas
de VENN EULER (figuras cerradas)
Grfica

2) Elemento: Mediante puntos en el

interior de la figura cerrada

Notacin

Simblica

1) Conjunto: Mediante letras

maysculas con o sin subndices
2) Elemento: Mediante nmeros o
letras minsculas

Ej.:
El conjunto de los nmeros dgitos

El conjunto de los nmeros naturales

Algebra

M.Sc. Joselo Soriano

2
El conjunto de los nmeros enteros

Determinacin de Conjuntos:
Determinar un conjunto es dar a conocer los elementos que lo forman. Existen dos formas: Grfica y
simblica. Al considerar la forma simblica, se tiene generalmente por extensin y comprensin, as:

Determinacin de conjuntos
Grfica: Se escriben los
elementos en el interior de la
figura cerrada

Ejemplo

Se Lee
D es el conjunto cuyos
elementos son: 0, 1, 2, 3, , 9

Extensin: Se enumeran los D ={1, 2, 3, , 9}

elementos
entre
llaves,
separndolos por comas.

D es el conjunto cuyos
elementos son: 0, 1, 2, 3, , 9

Comprensin: Se indica la p(x) = x es dgito

propiedad comn que tienen
los
elementos
(forma D = {x/x es dgito}
proposicional,
proposicin D = {x/x p(x)}
abierta)

D es el conjunto de las x, tal

que x es dgito.
D es el conjunto de las x, tal
que x p(x)

Ej.:
Dados los siguientes conjuntos escribirlos en las tres formas:

Algebra

M.Sc. Joselo Soriano

3
Clases de Conjuntos de Acuerdo al Nmero de Elementos:
1) Conjunto Vaco o Nulo: Se llama conjunto vaco o nulo al conjunto que no tiene elementos.
Por definicin: A = {x/x x}. Se denota de la siguiente manera:

(figura cerrada sin elementos en el interior)

A={ }

(Llaves sin elementos en el interior)

A = {x/x < 0; x N}

(forma proposicional en una variable que no tiene soluciones o

Races)

Ej.:
B = {x/x > 9; x D}
C= {x/x +5=2; x N}
D= {x/=400; x D}

2) Conjunto Unitario: Se llama conjunto unitario al conjunto que consta de un solo elemento,
se denota de la siguiente manera:

Algebra

M.Sc. Joselo Soriano

A = {0}
A = {x/x < 1; x D}
A= {x/x <1; x N}

3) Conjunto Finito: Se llama conjunto finito si consta de un cierto nmero de elementos

distintos. El conjunto finito es e numerable (se conoce el primero y el ltimo elemento). Se
denota de la siguiente manera:

B
01234

0 1 2 3... 100

A = {0, 1, 2, 3,4}
B= {0, 1, 2,3,., 100}
Algebra

M.Sc. Joselo Soriano

A = {x/x 4; x D}
A= {x/x 4; x N}
B= {x/x <101; x N}
B= {x/x 100; x N}

Ej.:
Comprensin

Extensin

D= {x/x es dgito}
D= {x/x= 2K; x D}

D= {0, 1, 2, 3,, 9}
(dgitos pares)

D= {0, 2, 4, 6, 8}

D= {x/x=2K+1; x D} (dgitos impares)

D= {1, 3, 5, 7, 9}

D= {x/x es digito primo}

D= {2, 3, 5, 7}

D= {x/x es mltiplo de 3 digito}

D= {0, 3, 6, 9}

D= {3}= {x/x=3K; k D}
{}= {x/x=bK; K D}

*A= {x/x<1; x N}

A= {0}

*B= {x/x>9; x D}

B= { }

*C= {x/x 999; x N}

C= {0, 1, 2,., 999}

4) Conjunto Infinito: Se llama conjunto infinito al conjunto que no es finito.

Ej.:

Nmero de Elementos de un Conjunto:

Algebra

M.Sc. Joselo Soriano

6
Un conjunto A es finito si tiene n elementos, donde n es un entero no negativo (nmero natural). Los
smbolos: n(A) o # (A) indican el nmero de elementos que tiene un conjunto finito, se lee: nmero
de elementos de A
Ej.:
A={ }=

n(A) = 0

n() = 0

B={a}

n(B) = 1

#(B) = 1

C = { x, y }

n(C) = 2

#(C) = 2

D = { a, e, i }

n(D) = 3

#(D) = 3

E = {x/x > 6; x D }

n(E) = 3

F = {x/x = 2k; k D ^ x D }

n(F) = 5

G = {x/x es dgito primo}

n(G) = 4

Subconjunto:
Todo elemento del Conjunto A es tambin elemento del conjunto B, se dice que A es subconjunto de
B. Se denota de la siguiente manera:

Ej.:
p(x): x es dgito par

Conjunto solucin P

q(x) x es dgito

Conjunto solucin Q

Algebra

M.Sc. Joselo Soriano

7
PCQ=
p(x) => q(x)

1) Caso (V, V)

3) Caso (F, V)

0P 0Q
V

2) Caso (V, F)
No se presenta

5P 5Q
F

4) Caso (F, F)
10 P 10 Q
F

El smbolo se lee: A est includo en B; A es subconjunto de B; A est contenido en B; B

contiene a A.
Si uno o ms elementos del conjunto A no son elementos del conjunto B, entonces se dice que A no
es subconjunto de B. Simblicamente se indica con el smbolo , el mismo que se lee: A no est
incluido en B, A no es parte de B, A no es subconjunto de B
Teorema 1: El conjunto vaco es subconjunto de cualquier conjunto
Teorema 2: Todo conjunto es subconjunto de s mismo
Nmero de subconjuntos:
Si convenimos en llamar nmero de subconjuntos de A a la expresin: n(A), para obtener el nmero
de subconjunto se aplica: n(A) = 2n, siendo n el nmero de elementos de A (n(A))
Ej.:
Determinar el nmero de subconjuntos de los siguientes conjuntos:

Igualdad de Conjuntos:
El conjunto A es igual al conjunto B, si A es subconjunto de B y B es subconjunto de A
Se denota de la siguiente manera:
-

Forma grfica: P es igual a Q si tienen la misma figura cerrada

Forma simblica:
- Extensin: P es igual a Q si ambos conjuntos constan de los mismos elementos, sin importar
el orden de los mismos.

Algebra

M.Sc. Joselo Soriano

8
- Comprensin: P = Q =
p(x) q(x)
Ej.:

Subconjunto Propio:
Si los elementos de A son algunos de los elementos de B, se afirma que A es subconjunto propio de B
Se denota de la siguiente manera:
-

Forma grfica: La figura cerrada de P est estrictamente contenida en la figura cerrada de Q

Forma simblica:()
- Extensin: Los elementos de P son algunos elementos de Q
- Comprensin: P Q P Q ^ P Q

Nmero de subconjuntos Propios:

Sea el conjunto A = { x, y }
Subconjuntos de A
1 Elemento
2 Elementos
A2 = {x}
A4 = {x, y}
A3 = {y}
Subconjuntos propios de A
0 Elementos
A1 =

Subconjuntos: n (A ) = 2n , n es n (A)
Subconjuntos propios: Si n (A) = 2n 1; n es n(A)
Donde n (A) es el nmero de subconjuntos propios de A

Conjunto Universo (U):

Se llama conjunto universo de A, a cualquier conjunto que contenga al conjunto A. Se denota de la
siguiente manera:
-

Forma grfica: Se utiliza una figura rectangular

Forma simblica:
- Extensin: Todos los elementos de A son elementos de U
- Comprensin: El conjunto U contiene todas las soluciones de la forma proposicional
correspondiente al conjunto A

Algebra

M.Sc. Joselo Soriano

9
El conjunto universo se conoce tambin con el nombre de conjunto referencial o superconjunto.
Ej.:

Conjuntos Disjuntos (Disyuntos):

Dos conjuntos A y B son disjuntos o disyuntos cuando no tienen elementos comunes. Se denota de la
siguiente manera:
-

Forma grfica: Diagramas de VENN-EULER, Tienen figuras cerradas separadas

Forma simblica:
- Extensin: No tienen elementos comunes
- Comprensin: Las formas proposicionales no tiene soluciones comunes.

Ej.:

Conjunto Potencia (P(A)):

Dado un conjunto A, se llama conjunto potencia de A al conjunto formado por todos los
subconjuntos de A. Se denota de la siguiente manera:
-

Forma grfica: Dos figuras cerradas de los subconjuntos de A se incluyen dentro de una sola
figura cerrada.
Forma simblica:
- Extensin: Cuando se enumeran sus elementos

Algebra

M.Sc. Joselo Soriano

10
- Comprensin: Si A es el conjunto, entonces: P(A) = {X/XA}, donde X representa a
conjuntos, no a elementos.
Ej.:

Conjunto de Conjuntos:
Se llama conjunto de conjuntos cuando los elementos de un conjunto son a su vez conjuntos.
Generalmente se llama familia de conjuntos o clase de conjuntos. Se denota con letras maysculas
inglesas o letras maysculas subrayadas.
Ej.:
A = { , {0}, {2} }
A = { , {0}, {2} }
A = { 2, 3, {5}, {6} }

(No es conjunto de conjuntos)

Todo conjunto potencia de un conjunto dado es un conjunto de conjuntos, pero no todo conjunto de
conjuntos es un conjunto potencia.

Conjuntos Comparables:
Dos conjuntos son comparables si uno de los conjuntos es subconjunto del otro.
Ej.:

Conjunto Solucin:
Los elementos del conjunto universo que convierten una forma proposicional en una proposicin
cerrada verdadera constituyen un conjunto llamado conjunto solucin o conjunto verdad de la forma
proposicional dada. Generalmente se simboliza el conjunto solucin con la letra mayscula
correspondiente a la forma proposicional.
Ej.:
Algebra

M.Sc. Joselo Soriano

11

OPERACIONES ENTRE CONJUNTOS

1. Unin: Es la reunin de elementos del conjunto A y B

Algebra

M.Sc. Joselo Soriano

12

AB= {x/x E; x A v x B}
2. Interseccin: Son los elementos comunes de A y B (elementos que se repiten)

AB= {x/x E; x A x B}
3. Diferencia: Es el conjunto formado por los elementos de A que no pertenecen a B

A-B={ x/x E; x A x B }
4. Diferencia simtrica: Es el conjunto formado por los elementos que pertenecen a A y a B,
pero no a los dos simultneamente. La diferencia simtrica no contiene elementos comunes
a los dos conjuntos.

Algebra

M.Sc. Joselo Soriano

13

AB = { x/x U; x (A B)}
5. Complemento: El complemento del conjunto A con respecto al universo est formado por
todos los elementos que pertenecen al universo, pero no pertenecen al conjunto A.

A' = U A = {x/x U; x U x x A }
Ejemplos:
Ponga mucha atencin a los ejercicios ejemplo que dar su profesor en la pizarra y transcrbalos a su
cuaderno:

Algebra

M.Sc. Joselo Soriano

14
LEYES DEL ALGEBRA DE CONJUNTOS
Nombre
Idempotencia

Conjuncin () ()
PP=P

Disyuncin () ()
PP=P

Conmutativa

PQ=QP

P Q = Q P

Asociativa

P Q R = (P Q) R = P (Q R)

P Q R = (P Q) R = P (Q R)

Distributiva

P (Q R) = (P Q) (P R)

P (Q R) = (P Q) (P R)

Identidad

PU=P
P=

P U = U
P = P

Complemento

P P' =
' = U
(P')' =P

P P' = U
U' =

Morgan

(P Q)' = P' Q'

(P Q)' = P' Q'

Absorcin

P (P Q) = P

P (P Q) = P

Ejemplos:
Ponga mucha atencin a los ejercicios ejemplo que dar su profesor en la pizarra y transcrbalos a su
cuaderno:

Algebra

M.Sc. Joselo Soriano