Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CONCEPTOS BASICOS
Como ocurre al interior de una teora matemtica, existen conceptos que no se definen. Se les llama
Conceptos bsicos y de los cuales se expresan propiedades que son evidentes (Axiomas) y otros no tan
evidentes y que se deducen de los axiomas (Teoremas). En el caso de la teora de conjuntos, precisamente
Conjunto es uno de estos conceptos bsicos.
Los conjuntos los designaremos por letras maysculas y sus elementos los encerraremos entre llaves.
Ejemplo A = {1, 3, 5, 7, 9}
Para sealar que 7 es un elemento del conjunto A, se dice: 7 A
Para indicar la no pertenencia, lo diremos as: 8 A
Al sealar una caracterstica o propiedad respecto de un elemento, es necesario sealar el conjunto al cual l
pertenece, ya que ella podra no ser vlida en otro conjunto. Por ejemplo la afirmacin: Todo nmero al
cuadrado es mayor o igual a cero, no es susceptible de ser calificada de verdadera o falsa, si previamente no
sealamos el mbito numrico al que pertenecen los nmeros a los que hacemos referencia
En el conjunto de los Nmeros Enteros, la afirmacin es verdadera, pero en los Nmeros Complejos, la
afirmacin es falsa
Este conjunto al que haremos alusin permanentemente, le llamaremos Conjunto Referencial, ya que
establece un marco de referencia para el anlisis, y lo designaremos por .
Para indicar los elementos que forman un conjunto, sealamos el conjunto referencial al cual pertenece y
luego se enuncian las caractersticas necesarias y suficientes, que los identifique a ellos y solo a ellos.
Decimos que el conjunto esta expresado por COMPRENSIN.
Ejemplo: A x IN / x es impar
x 11
No siempre es posible expresar un conjunto por extensin, por ejemplo, el conjunto formado por los nmeros
decimales comprendidos entre 1 y 2
IGUALDAD E INCLUSION
Definicin 1: Dos conjuntos son iguales, si tienen los mismos elementos.
Este enunciado que parece tan claro puede presentar problemas en el momento de su aplicacin.
Por ejemplo: Si A = {x, y, z} y
B = {y , z , z , x , x , x},
A es igual a B?
Para evitar ambigedades en la interpretacin de una propiedad o definicin, surge el lenguaje simblico que
ofrece una mayor precisin.
Definicin 2: Sean A y B dos conjuntos de
A B
x : ( x A x B ) ( x B x A)
A B
(x : x A x B )
{x, y, z} = {y, z, z, x, x, x}
Definicin 3: Si ocurre que todos los elementos de A estn en B, se dice que "A est contenido en B"
que "A es subconjunto de B" Utilizando lenguaje matemtico, queda as:
( A B ) (x : x A x B )
Nota 1 Puede ocurrir que un conjunto no tenga elementos.
Por ejemplo: A { x IR / x x 1 0} , como no existe un nmero real que cumpla
la condicin se dice que A es un conjunto vaco, se utiliza la letra griega Phi : , es decir :
A = o bien A = { }
2
Cardinalidad de P(A)
2
4
8
16
32
21
22
23
24
25
As tenemos que si el conjunto tiene n elementos, entonces su conjunto potencia tendr 2n elementos:
Si #A = n #P(A) = 2n
Para responder a la pregunta 2), observa el siguiente ordenamiento de nmeros, llamado Tringulo de Pascal,
confrntalo con los ejemplos recientes e intenta deducir una ley que te lleve a la respuesta:
1
1
1
1
1
1
...
1
...
...
6
...
1
2
3
4
1
3
1
4
10
10
...
15
... ...
20
... ...
15
... ...
1
6
...
...
1
...
...
COMPLEMENTO
A' {x / x A}
Si consideramos a IN como el
conjunto referencial y A el conjunto formado por los nmeros mayores que 5, o sea
A x I / x 5 se tiene que A' 1,2,3,4,5
INTERSECCIN
La interseccin de dos conjuntos A y B, que se denota por A B, da origen a un nuevo conjunto que se
obtiene de los elementos comunes.
En los conjuntos considerados, 6 y 7 son elementos conjuntos comunes a ambos conjuntos, es decir: A B
= {6,7}
Utilizando simbologa matemtica, esta idea se expresa del siguiente modo:
Definicin 6
A B {x / x A x B}
UNION
Se trata de reunir ambos conjuntos en uno. En el caso de los conjuntos considerados, tenemos que
Como puedes apreciar, no es necesario escribir dos veces los elementos que se repiten.
Definicin 7:
AUB {x / x A x B}
DIFERENCIA
Definicin: La diferencia de dos conjuntos A y B, es un tercer conjunto formado por todos los elementos del
referencial que estn en A pero que no estn en B, es decir:
A B {x / x A x B}
Definicin 8
En el ejemplo:
A - B = { 8, 9, 10, 11,...}
B - A = { 3, 4, 5 }
PROPIEDADES
Sean A, B y C conjuntos de un mismo referencial, se tiene:
1 CONMUTATIVIDAD: La unin y la interseccin son conmutativas o sea:
A B = B A
A B = B A
y A B C = A (B C) = (A B) C
(A B) = A B
5 LEY DE ABSORCION
A (A B) = A
A (A B) = A
6 OTRAS PROPIEDADES
a) (A) = A
b)
A B A B'
EJERCICIOS RESUELTOS
Sean A y B conjuntos de un referencial .
1. Pruebe que:
A B A B'
La regin correspondiente para A B ' queda pintada doblemente y es claro que son iguales
Demostracin: Sea x (A B)
x A x B
x A x B
x (A B)
A - B = A B
2.
(A B) = A B
b) A (A B) = A
(leyes de absorcin)
a) A (A B)
Slo el conjunto A queda sombreado dos veces.
Demostracin:
B)
Luego : A = (A)
5. Pruebe que A (A B) = A B
A (A B) A (A B)
A (A B)
A (A B)
(A A) (A B)
(A B)
A B
8. En una financiera, slo se hacen prstamos en pesos, U.F. y dlares. Cada deudor tiene vigente slo un tipo
de prstamo.
Problema: Se desea conocer el porcentaje de deudores morosos en dlares y slo se cuenta con la
informacin siguiente:
El 23% no pidi prstamos ni en pesos ni en U.F.
El 20% est moroso por su prstamo en U.F.
El 17% que tiene una deuda en pesos , no est moroso.
El 59% del total est moroso.
El 35% tiene deuda en U.F.
Construye un diagrama para responder la pregunta.
Solucin:
EJERCICIOS PROPUESTOS
1. Sean A y B dos conjuntos de un referencial , niegue las siguientes afirmaciones:
x A x B
3) x ( A B )
1)
2) A B
4) A B A - B = B
5) A B =
3) A - B =
6) (B - A) A`
2) A =
3) A = .
4) A = .
5) A - = .
6) A A = .
7) A A =
8) A - A = .
9) A A =
10) A A = ..
11) A - A = ..
12) - A =
4 Sea = { x I / 3 x < 13 } ,
A = { x / x es par },
B = { 5, 8, 9, 10, 11 }
y
C={x/x+3
Determine la operacin ms simple entre los conjuntos dados, para obtener :
a)
b)
c)
d)
e)
f)
{ 3 ,7 }
{ 10 }
{ 3, 7, 11 }
{ 4 ,6 }
{ 8, 12 }
13 },
5. Dado los conjuntos A, B y C que cumplen las condiciones del diagrama, simplifique usando propiedades
de conjuntos la expresin:
[ ( C - A ) B ] ( B - A )
6. Sean A y B conjuntos de un referencial . Muestre por medio de un diagrama que las siguientes
propiedades se cumplen:
a) A B A B '
b) (A B) = A B
c) (A B) = A B......Leyes de De Morgan
d) A (A B) = A
e) A (A B) = A .......leyes de absorcin
f) (A) = A
g) A (A B) = A B
7. Demuestre las leyes anteriores, usando definiciones de las operaciones involucradas
8.
{ B [ ( A B ) ( B A ) ] } = B
d) [ A - ( A B ) ] [ B - ( A B ) ] = B A
9.
e)
( A B ) ( A B ) ( A B ) = A B
f)
{ [ A B ) ( A - B ) ] [ ( A - B ) (A B ) ] } = A B
g)
C { [ A - ( B - C ) ] - [ ( B C ) - A ] } = A C
Se define la Diferencia Simtrica entre dos conjuntos A y B de un mismo referencial, del siguiente
modo: A B ( A B ) ( B A) . Represente A B en un diagrama y determine la relacin
existente con el conjunto resultante de las siguientes operaciones entre A y B:
A B A B
10. Sean A, B y C conjuntos no vacos, de un referencial , construya un diagrama de Venn y ubique los
conjuntos de modo que cumplan las condiciones sealadas:
Ejemplo: A B C = ; A B ;
BC
a) A - B = ; A - C = A ;
BC=
b) A B = ; A C = C;
B C = B;
c) A B = A;
C-B
A C = C;
d) B C ; B - A ;
(A B ) C
C-A =C
12. Represente en el diagrama adjunto, la regin que corresponde a los siguientes conjuntos:
(A B ) C
(BC)A
(A B ) C
(A B) (B-C) (C-A)
A` B` C`
AB-C
ALGUNAS SOLUCIONES
1.- 1) x A x B
3) x A x B
2.- 1) A
2) x : x A x B
4) A B A - B B
3)
2) B
4)
5) B
3.
1) A
5) A
9)
2) A
6) A
10)
3)
7) A
11) A
4)
8)
12) A
b) A B C
d) A [( B` C) ( C` B)]
10. - a) 38 alumnos
b) 2
c) 29
c) A (B C) 4) A - { B C }
e) `
6) A`