Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Dentro de la teora se consideran como primitivos o trminos no definidos los conjuntos y los elementos. En
general, se designan los conjuntos usando letras latinas maysculas y los elementos con letras minsculas.
Intuitivamente, un conjunto es una coleccin o clase de objetos bien definidos. Estos objetos se llaman elementos o
miembros del conjunto.
Si un objeto x es elemento de un conjunto A, se escribe:
x e A.
que se puede leer tambin "x pertenece a A" o "x est en A". Si por el contrario, un objeto x no es elemento de un
conjunto A, se escribe:
x e A.
Un conjunto se puede definir haciendo la presentacin efectiva de cada uno de sus elementos, as el conjunto A
cuyos elementos son 2, 3, 5, se escribe:
A = { 2, 3, 5}
Esto se conoce como expresin por extensin del conjunto.
Otra forma de definir un conjunto es enunciando una propiedad que permita seleccionar de un conjunto ya formado,
aquellos que verifiquen dicha propiedad. Por ejemplo, dentro del conjunto de los nmeros podemos seleccionar el
conjunto B de los nmeros pares, en este caso se emplea una letra, por lo general x, para representar un elemento
cualquiera y se escribe:
B = { x / x es par}
lo que se lee: "B es el conjunto de los nmeros x tales que x es par". Esta forma de definir un conjunto de llama por
comprensin.
3.1.1 Definiciones.
3.1.1.1 Igualdad de Conjuntos. El conjunto A es igual al conjunto B si ambos tienen los mismos elementos, es
decir, si cada elemento de A es tambin elemento de B y recprocamente. Luego, podemos escribir:
(A = B) ( x)(x e A x e B).
3.1.1.2 Subconjuntos. Si todo elemento de un conjunto A es tambin elemento de un conjunto B, entonces se
dice que A es un subconjunto de B. Esta relacin se denomina relacin de inclusin y se denota como: A c B.
Simblicamente esto se puede expresar as:
A c B ( x)(x e A x e B)
Esta relacin tambin se puede leer: "A est contenido en B", "A es una parte de B". Para expresar que A no est
contenido en B, escribimos: A . B.
Con esta definicin de subconjunto se puede dar de otra manera la definicin de igualdad de dos conjuntos, as:
(A = B) (A c B) . (B c A)
Puesto que todo conjunto A es subconjuto de si mismo, se dir que A es un subconjunto propio de B; si A es
subconjuto de B y A no es igual a B. Ms brevemente, A es subconjuto propio de B si A c B y A = B. Esta situacin
puede representarse mediante un diagrama as:
3.1.1.3 Conjunto Universal. Es el conjunto de todos los elementos en discusin. Tambin se le llama dominio de
discusin o referencial.
El conjunto universal se designa con el smbolo 1.
Ejemplos
1. En geometra plana el conjunto universal es el de todos los puntos del plano.
2. En los estudios de poblacin humana el conjunto universal estar formado por todos los seres humanos del
mundo.
3.1.1.4 Conjunto Vaco. Es el conjunto que carece de elementos. Este conjunto se denotar por 0. Un conjunto
vaco se puede definir mediante una propiedad que sea contradictoria, por ejemplo:
Sea A = {x / x
2
= 4 . x es impar}.
3.1.1.5 Conjunto de Partes de un Conjunto. El conjunto de todos los subconjuntos de un conjunto A, se
denomina conjunto de partes de A y se denota P (A).
En consecuencia,
x e P(A) x c A
P(A) = {x / x c A}
3.1.2 Operaciones Fundamentales con Conjuntos.
3.1.2.1 Unin. La unin de los conjuntos A y B, es el conjunto de todos los elementos que pertenecen a A o a B o a
ambos. Se denota la unin de A y B por A + B y se llama unin de A y B.
En consecuencia,
x e ( A + B) x e A v x e B.
Entonces se puede expresar por comprensin este conjunto as:
A + B = {x / x e A v x e B }
Una interpretacin grfica de la unin de A y B es la siguiente:
En la grfica la regin rayada corresponde a la unin de A y B. Se presentan los conjuntos dentro de un rectngulo
que representa el conjunto referencial del cual se seleccionan los conjuntos A y B.
3.1.2.2 Interseccin. La interseccin de dos conjuntos A y B es el conjunto de los elementos que son comunes a A
y a B, esto es, aquellos que pertenecen a A y que tambin pertenecen a B. Se denota la interseccin de A y B por
A - B y se lee "A interseccin B".
En consecuencia,
x e A- B x e A . x e B.
El conjunto A- B est dado por:
A- B = { x / x e A . x e B }.
Grficamente, una representacin de A- B es:
La regin rayada corresponde a A- B. Cuando A y B no tienen elementos comunes, se dice que son disjuntos.
3.1.2.3 Complemento. El complemento de un conjunto A es el conjunto de todos los elementos que no pertenecen
a A, es decir, el conjunto de todos los elementos que estn en el Universal y no estn en A. El complemento de A se
denota por A'.
En consecuencia,
x e A' x e 1 . x e A.
Grficamente, su representacin est dada por:
A' = {x / x e 1 . x e A }.
3.1.3 Leyes del lgebra de Conjuntos.
Si 1 designa al conjunto universal y 0 al conjunto vaco, las siguientes identidades son vlidas en el lgebra de
conjuntos para conjuntos arbitrarios X, Y, Z.
Leyes conmutativas
XY = YX X + Y = Y + X.
Leyes asociativas
X(YZ) = (XY)Z X + (Y + Z) = (X + Y) + Z.
Leyes distributivas
X(Y + Z) = XY + XZ X + YZ = (X + Y) (X + Z).
Leyes de idempotencia
XX = X X + X = X.
Leyes de complementacin
XX' = 0 X + X' = 1.
Leyes de absorcin
X (X + Y) = X X + XY = X.
Leyes de D'Morgan
( XY)' = (X' + Y') (X + Y )' = X'Y'.
Leyes con 0 y 1
X 1 = X X + 0 = X.
X 0 = 0 X + 1 = 1.
0' = 1 1' = 0.
Ley de complemento doble
(X')' = X.
Es importante destacar la dualidad dada en estas leyes, es decir, si en cualquiera de las identidades, cada unin se
reemplaza por una interseccin, cada interseccin por una unin, cada 0 por 1 y cada 1 por 0, la expresin
resultante es tambin una identidad.
Ejercicios 3.1
1) Sean A, B, C, los siguientes conjuntos:
A = { {1,3}, {2,4,6}, {8,9}}
B = { 1,2,3,4,6,8,9}
C = { {1}, {3}, {2}, {4}, {6}, {8}, {9}}
- Es correcto decir que A = B = C ?. Explique.
- Para cada una de las siguientes expresiones; diga si es
correcto o no.
{1,3} eA {1,3} c B {1} e A {1} c A
{1,3} c A {1,3} e C {1} e B {1} c B
{1,3} e B {1,3} c C {1} e C {1} c C
{{1}, {2}} c B {{1}, {2}} c C {{1,3} } c A.
2)Si A = {x}; B = {{x}}; Cules de las siguientes expresiones son correctas?
x e A {x} c A {x} e B A e B {A} c B
x e B {x} c B {{x}} c A A c B {A} = B.
3) Dados los siguientes conjuntos:
F: El conjunto de los nmeros de cuatro cifras, donde dos al menos de dichas cifras son cero.
G: El conjunto de nmeros de cuatro cifras, donde una al menos de dichas cifras es cero.
H: El conjunto de nmeros de cuatro cifras, dos de las cuales son cero y las otras dos diferentes de cero.
Determine todas las posibles relaciones de inclusin que se pueden establecer entre los conjuntos F, G y H.
4) Sea A = {0,1,2,3} y B = {0, {0},3,5}
- Determine todos los subconjuntos de A.
- Determine todos los subconjuntos de B.
5) Sea A el conjunto de todos los nmeros naturales que verifican la ecuacin:
(x 2)(x + 1) = 0.
Sea B = {A, 1}, Cules de las siguientes expresiones son verdaderas?.
1 e A, 2 e B, 1 e A, {2} e B, {2} e A.
6) Sean:
X = {a, b, c, e, u, k, m, n, t, {a}, {x}, {y}, {c}}, considerado como conjunto referencial,
A = {{x}, {y}, a, b, u, {a}, t} y B = {c, {a}, {x}, {y}, m, t}.
Determinar A' y B'.
7) Sea A = {0, | }. En el espacio en blanco coloque los signos apropiados entre e , e , c , . .
0 ____ P(A) {0, | } ____ P(A) {{| },| } ____ P(A)
{0} ____ A {| } ____P(A) {{| },0} ____P(A)
| ____ P(A) {{| }} ____P(A) {{0},{| }} ____P(A)
| ____ A {0, | } ____ A
{| } ____ A {{0}, 0} ____P(A).
8) Sean A = {0,{ 1,2}}; B = { 1,2}; C = {1, {| }}.
Determinar P(A), P(P(B)), P(C).
9) si A es el conjunto de nmeros de dos cifras tales que la primera cifra es mayor que la segunda y B el conjunto
de nmeros de dos cifras tales que la primera cifra es menor que la segunda, expresar A + B y A- B.
10) Suponga que el conjunto universal es el conjunto de los nmeros enteros positivos. Defina S, E y M as:
S: Conjunto de todos los enteros positivos menores o iguales a 6.
E: Conjunto de todos los enteros positivos pares.
M: Conjunto de todos los enteros positivos mltiplos de tres.
Escriba expresiones algebraicas simples en trminos de S, E y M para los siguientes conjuntos:
- {3,6}, {1,3,5}..
- Todos los enteros positivos mltiplos de 6.
- Todos los enteros pares mayores que 6.
- El conjunto que contiene todos los mltiplos de 3 y todos
los enteros impares.
11) Dar contraejemplos para los recprocos de cada uno de los siguientes teoremas:
- A c B . B c C A c C.
- X c A . X c B X c A + B.
- B c A B + C c A + C.
- B c A B- C c A- C.
12) Aplicando leyes fundamentales para el lgebra de conjuntos simplifique las siguientes expresiones.(Cada
expresin se reduce a un slo smbolo).
- A- B'- A'- B'.
- A- B + A- B' + A'- B + A'- B'.
- A- C' + A- B- C + A- C.
- A- B- C + A' + B' + C'.
- (A + B)( A' + B).
vv
- (A + A- B + A- B- C) (A + B + C).
- ( A- B' + A'- B )' ( A- B + A'- B' )'.
- A- B- C + A- B- C' + A- B'- C + A'- B- C + A- B'- C' + A'- B- C
' + A'- B'- C + A'- B'- C'.
13) Simplificar las siguientes expresiones, justificando cada paso.
- (A- B + A- C + A'- X'- Y)( A- B'- C + A'- X'- Y' + A'- B- Y)'.
- X- Y(X- Z' + X- Y + X- Y- Z).
- (X- Y + X'- Y' + X- Y' )' ((X' + Y' )( X + Y' ))'.
14) Escriba cada una de las siguientes condiciones sobre los conjuntos X, Y y Z, sin hacer uso del smbolo "c ".
X'- Y c Z
X + Y' c Z.
X- Y' + X'- Y c Z + Y'
X c Y' c Z.
15) Encuentre una proposicin equivalente en trminos de inclusin para cada una de las siguientes condiciones
sobre los conjuntos X, Y , Z y W.
( X' + Y )( Z + W' )' = 0
( X' + Y )( Z + W' ) = 0.
X + Y' + Z' + W' = 1
X- Y' + Z'- W = 0.