Beruflich Dokumente
Kultur Dokumente
ACTIVIDAD N 01
Estudie la informacin destacando los conceptos bsicos, notaciones y formas existentes para la determinacin de conjuntos.
As como en la Geometra las ideas de Punto, Recta y Plano son conceptos bsicos que se admiten sin definicin; las ideas de Conjunto, Elemento y Pertenencia son, tambin, ideas no susceptibles de definicin. N O C I N D E C O N JU N TO Conjunto: Intuitivamente un conjunto es la reunin, coleccin o agrupacin de objetos reales o ideales, a estos objetos se les denominan elementos miembros del conjunto, y de ellos se dice que pertenecen al conjunto. Notacin: Para denotar a los conjuntos se usan letras maysculas: A, B, C, X, etc. y para representar a sus elementos se usan letras minsculas: a, b, c, etc. Relacin de Pertenencia: Si un objeto x es elemento de un conjunto A, se dice que x pertenece al conjunto A que x est en A, y se denota por: x A. En caso contrario, x no pertenece a A y se denota por: x A. Ejemplo: Si A es el conjunto formado por: 8, -2, 6, {0,1}, 3 y 1; y B es el conjunto constituido por: 0 y 1; escribimos: A = { 8, -2, 6, { 0, 1 }, 3 , 1 ]; B = { 0, 1 }. En este caso: 8 A...( V ) -2 A...( V )
Teora de Conjuntos 6 A...( V ) 0 A...( V ) { 0, 1} A...( V ) conjunto A. DIAGRAMAS DE VENN-EULER Para representar grficamente a los
conjuntos
se
usan
los
figuras geomtricas cerradas, como se ilustra a continuacin con A y B del ejemplo dado anteriormente. A B
{0,1 3 1
8 -2 6 7 A 7 B 9 B 0 B { 0, 1 } B { 1 } B -2 A
0 1
{ 0, 1 } A
DETERMINACION DE CONJUNTOS
I. POR EXTENSION O EN FORMA TABULAR Cuando se indica explcitamente cada uno de los elementos del conjunto. Ejemplo : B = { 1, 4, 9, 16, 25 } A = { 2, 3, 5, 7, 11 } C = { a, e, i, o, u } II. POR COMPRENSION O EN FORMA CONSTRUCTIVA del conjunto son caracterizados mediante
Ejemplo: T = { x / x es un pronombre personal en Ingls } Nota: Otro diagrama para representar grficamente a los conjuntos es el Diagrama de Lewis Carroll.
HOMBRES
MUJERES
Hablan Ingls
No hablan Ingls
Se observa que :
numricos: = {0,1, 2,3, 4,...} = {..., 3, 2, 1, 0,1, 2,3,...} n = / n, d d 0 d ' = {decimales que no pueden exp resarse en forma de fraccion} = = ^ x + iy / x, y
'
1 = i i 2 = 1
C LA SES D E C O N JU N TO S CONJUNTO FINITO Un conjunto es finito cuando posee una cantidad limitada de elementos, Ejemplo : x x es un hablante nativo de Quechua } es un mes del ao } es decir el proceso de contar sus elementos termina en algn momento. A = { x / B = { x /
CONJUNTO INFINITO Un conjunto es infinito cuando tiene una cantidad ilimitada de elementos diferentes, es decir el proceso de contar sus elementos nunca termina.
Ejemplo :
A = { p / p es un nmero primo } x < 9 } B = { x / x R 8 <
C = { x / x es una estrella de universo } C O N JU N TO S ESPEC I A LES 1. CONJUNTO NULO O VACIO Es aquel conjunto que carece de elementos. Ejemplo : es el actual Virrey del Per } A = { x / x
{x / x x} .
4 Universidad Nacional del Santa
A = B = = {
Teora de Conjuntos 2. CONJUNTO UNITARIO O SINGLETON Es el conjunto que tiene un slo elemento. Ejemplo: A = { x / x Z 10 < x < 12 } = B = { 2, 2, 2, 2, 2, .............} 3. CONJUNTO UNIVERSAL = { 11 } {2}
Es un conjunto referencial para el estudio de una situacin particular que contiene a todos los conjuntos considerados. No existe un conjunto universal absoluto. Ejemplo: A = { 1, 2, 3 }; B = { 2, 4, 6, 8 }
Pueden ser conjuntos universales: U = { 1, 2, 3, 4, 5, 6, .............} U = = {x / x N } * Grficamente el conjunto universal se representa generalmente mediante un rectngulo.
ILUSTRACIN RESUMEN
NO ES UNITARIO
POR EXTENSIN ES: {-1, 0, 1, 2, 3} El conjunto B = { x Z / - 2 < x 3 }. ES FINITO est por comprensin
NO ES VACO
Teora de Conjuntos
ACTIVIDAD N 02
resolviendo
EJERCICIOS
GRUPO 1
1.
Dado el conjuntos a. b. c. { a } A
A = { a, { a }, }. Indicar cuales de d. e. A = { }
las siguientes proposiciones son verdaderas. El conjunto A { a, { a } } A cuales }. es un conjunto no vaco. de las siguientes proposiciones son
2.
Sealar a. b. c. d.
verdaderas. = { A = { x R / x2+1 = 0 }
e. 3. a. b. c. 4. a. b. c.
Si W = { x / x
Teora de Conjuntos
IMPORTANTE
Si sus respuestas no coinciden intente nuevamente resolver el respuesta es errnea. con la clave, problema cuya
CLAVE DE RESPUESTAS 1. 2. 3. Son verdaderas a y d. Son verdaderas a, b y c. a. c. A = { 5, 4, 3, 2, 1, 0 } are, They are }. 4. a. b. c. A = { x / x X = { x / x Y = { x / x es par 4 x 10 } es impar x 3 } Z+ x2 } b. C = { -1, 0, 1, 2, 3 } M = { I am, You are, She is, He is, It is, We are, You
Teora de Conjuntos
ACTIVIDAD N 02
Analice los ejemplos que se desarrollan a continuacin haciendo hincapi en el uso correcto de la simbolizacin e identificacin de elementos de un conjunto.
C UA NT I F I C A D OR E S Y C ONJ UNT OS
Una
funcin
proposicional cuantificacional,
P(x), se
relacionada convierte
con en
una una
proposicin
proposicin lgica ( V F ) de acuerdo con el valor que asume la variable x. Por ejemplo, la funcin P(x): x2 - 4 = 0 es una funcin preposicional que se convierte en verdadera si x = 2 -2, y es falsa cuando x toma otros valores. Ahora consideremos un conjunto cualquiera A, por ejemplo : A = { -2, 1, 2, -3, 0 } La proposicin: Existe por lo menos un x A, tal que se verifica P(x) equivalentemente: x A / P(x), es 0. As mismo, la proposicin: Para todo x A, se verifica P(x) equivalentemente x A / P(x), es falsa, pues no todo elemento de A, verifica x2 - 4 = 0, basta tomar x =1 A / 12 - 4 es diferente de 0. A la frase: Existe un, Para algn Algunos, etc. que denota una parte de un universo, se llama cuantificador existencial y se denota por ; mientras que a la frase: Para todo, Para cada Para cualquier, etc. que denota la totalidad de objetos, se llama cuantificador universal y se denota por . verdadera, pues existe x = -2 A, tal que: x2 4 = x =
Teora de Conjuntos 1.
Negar que existe un x A, tal que se verifica P(x); equivale a decir que: Ningn x A, verifica P(x), que: Todo x, no verifica P(x); simblicamente: ~[ x A / P(x)] x A / ~ P(x). Negar que para todo xA, verifica P(x), equivale a decir que: Para algunos xA, no se verifica P(x); simblicamente: ~[ x A / P(x)] x A / ~ P(x)
2.
Ejemplo 01: Determinar el valor de verdad de las siguientes proposiciones, siendo el conjuntoA = { 0, 1, 2, 3, 4, 5 }. a. b. c. x A / x2 - 5x + 6 = 0. x A / x3 + x2 - 2x = 0. x A, y A / x + y 4
Solucin: a. Es falsa, pues x2 -4x + 5 = 0 se cumple slo para x = 1, y x = 5 y no para todos los dems elementos de A. b. Es verdadera, puesto que la ecuacin x3 + x2 - 2x = 0 tiene dos soluciones x = 0, y x = 1 en el conjunto A; bastaba que hubiera una. c. Es falsa, pues para 5 A no existe ningn valor y A / 5 + y 4. xA 0 1 2 3 4 5 yA 2 3 0 1 0 No existe /x+y4 0+24 1+34 2+04 3+14 4+04 No se cumple
Ejemplo 02: Determinar el valor de verdad y negar las siguientes proposiciones; dado el conjunto a. b. c. Solucin: B = { x / x Z, x 4 }. x B / x 1 < 2. x B, y B / x2 + y2 8. x B, y B / x - y = 0.
Teora de Conjuntos a.
Falsa, pues para x = 3, y para x = 4 no se satisface la inecuacin, burlando el cuantificador . Por otro lado, su negacin es: ~ [ x B / x 1 < 2 ] x B / x - 1 2 .(V)
b.
Verdadera. x B, 1 2 3 4 yB 3 2 1 1 / x2+y2 8 12 + 32 8 22 + 22 8 32 + 12 8 42 + 12 8
10
Teora de Conjuntos
ILUSTRACIN RESUMEN
: es el Cuantificador U i l
Es verdadero
La proposicin
Cuantificador Existencial
: es el
x B, y B / x2 + y2 8. donde B = { x / x Z, x 4 }.
x B, tq y B / x2 + y2 < 8.
la funcin
Su negacin es (F):
x2 + y 2
8 es
11
Teora de Conjuntos
ACTIVIDAD N 03
Analice los ejemplos que se desarrollan a continuacin haciendo hincapi en el uso correcto de la simbolizacin e identificacin de elementos de un j t
Indicar cuales de las siguientes proposiciones son verdaderas. As mismo, escribir la negacin en cada caso. a. b.
x R, y R /( - x ) y = - ( x y ). r Q, p Z
/ p > r.
x R, y R / ( - x ) y - x y. r Q, p Z / p r.
12
Teora de Conjuntos
ACTIVIDAD N 01
OBJETIVO N 02 Establecer la relacin entre conjuntos y demostrar las propiedades de Inclusin e Igualdad de conjuntos.
Analice el siguiente texto remarcando las definiciones, ilustraciones y propiedades de la Inclusin e Igualdad de conjuntos.
Entre dos conjuntos cualesquiera se pueden establecer las siguientes relaciones: INCLUSIN: Se dice que un conjunto A est incluido, contenido es un subconjunto del conjunto B, si todo elemento de A es tambin elemento de B. Se denota por: A B. Es decir: x B. Observacin: A partir de la definicin, basta que un slo elemento de A no pertenezca B para asegurar que A no est incluido o contenido en B; en tal caso se denota por: A B. Ejemplo. Si A = { q, s } B = { p, q, r, s } A B [ x A / x A x B ]. Se lee :A es subconjunto de B si y slo si todo x de A es tal que si x A entonces
A.
r p
A .q
AB
13
Ejemplo. Siendo B = { 3, { 3 }, { 4 }, { { 4 } } }. Dar el valor de verdad a las siguientes proposiciones : {3}B {3}B {{3}} B {{{4}}}B {{4}}B 7B 7B . (V) . (V) . (V) . (V) . (V) . (F) . (F)
Grficamente se representa: U B A A H U
A B Ejemplo:
A H
Demostrar que la proposicin A B, equivale a demostrar que: Existe al menos un x A tal que x B. En efecto, la proposicin: A B equivale a decir: No es cierto que A est contenido en B; esto es : AB ~[AB] x A x B ] Definicin Aplicando la negacin Ley de p q Negacin
~ [ A /
A B x A / (x A x B )
Propiedades de la Inclusin. La relacin de Inclusin entre conjuntos goza de las siguientes propiedades: 1.1 Reflexiva: A A,
conjunto A.
14
Teora de Conjuntos 1.2 1.3 1.4 Antisimtrica: Si A B y B A entonces A = B. (*) Transitiva: Si A B y B C entonces A C.
A, A.
V V
AA
Demostracin de 1.3 Si A B y B C entonces A C.
x A / x A x B pues
Adems,
A B.
x B / x B x C pues B C.
Por la propiedad transitiva de la Condicional: [(p q) (q r )] [p r]. En consecuencia, Es decir A B Demostracin de 1.4
x A / x A x C. A, A.
IGUALDAD DE CONJUNTOS: = Los conjuntos A y B son iguales si y slo si tienen exactamente los mismos elementos. Se denota por: A = B [(A B) (B A)]. En caso contrario se escribe: A B.
15
Teora de Conjuntos
Nota: La definicin establece la necesidad de demostrar la doble inclusin a fin de demostrar la igualdad de dos conjuntos. Ejemplo. Establecer si los siguientes conjuntos son iguales: A = { 1, -2, 6 }, B = { 1, -2, 6, 1, 6 }.
Se verifica que A = B pues todo elemento de B es tambin elemento de A, B A; y todo elemento de A es elemento de B, A B. Observacin. Del ejemplo se concluye que un conjunto no vara si sus elementos repetidos se escriben una sola vez, en este caso { 1, -2, 6, 1, 6 } = { 1, -2, 6 }.
Demostracin de 2.2 Debemos demostrar que B = A, es decir. B A y A B. Por hiptesis A = B y por definicin: A=B(AB)(BA)
(BA)(AB) B = A. A = B B = A.
Prop. Conmutativa de
C.
SUBCONJUNTO PROPIO. Se dice que el conjunto A es un subconjunto propio del conjunto B, si A B A B. En otras palabras, A es subconjunto propio de B, si A B B tiene uno ms elementos que no pertenecen a A. Grficamente, U
B
Ejemplo.
De A :
Teora de Conjuntos x2 x 12 = 0 x x -4 3 A
-3 4
( x 4 )( x + 3 ) = 0 x = -3 4
A = B
CONJUNTOS DIFERENTES: Dos conjuntos son diferentes si uno de ellos tiene por lo menos un elemento que no posee el otro. Se define : A B A B B A
D.
Ejemplo. Dados: A = { x / ( x 1 )( x 2 )( x 3 ) x = 0 } B = { 0, 1, 2, 3, 4 } De A: ( x 1 )( x 2 )( x 3 ) x = 0 x = 0; 1; 2; 3
A B.
E.
CONJUNTOS DISJUNTOS Se dice que los conjuntos A y B son disjuntos cuando no poseen elementos comunes Simblicamente : A y B son disjuntos
x / x A x B
Ejemplo. Siendo:
Grficamente : `
2 4 3
5 7 6
F.
CONJUNTOS EQUIPOTENTES O COORDINABLES. Para hablar de estos conjuntos de alguna forma, el proceso de contar sus elementos siempre termina. Dos conjuntos son equipotentes o coordinables cuando el nmero de sus elementos son iguales. Ejemplo. Siendo: A = { 10, 11, 12 }
17
Teora de Conjuntos B = { m, n, p }
A y B son equipotentes.
Simblicamente: A <> B n( A ) =n( B )
DIAGRAMAS LINEALES Son representaciones graficas que sirven para indicar relaciones de inclusin entre conjuntos AB A B Si : A = B
Si
PROPIEDAD
NZQRC
ILUSTRACIN RESUMEN
Es unitario
es slo un smbolo
18
Teora de Conjuntos
ACTIVIDAD N 02
Resuelva los siguientes ejercicios para reafirmar su aprendizaje, compare sus resultados con la clave.
C = { 3, 5, 7 }, D = { 2, 4 }, E = { 1, 3 }. Determinar en cada caso, cul de estos conjuntos puede ser el conjunto X tal que: a. c. e. 3. X A X B X C y y y X B X E X D. b. d. X A X A y y X E X E
Sugerencia: Apyese con un diagrama. Representar grficamente las siguientes relaciones: a. d. 4. a. 5. A B b. B A c. A = B A y B son comparables. A = { 2, -3, 4 } b. A = { { } } c. A =
Hallar todos los subconjuntos de A, si: Cuntos subconjuntos tiene A en cada caso? Demostrar las siguientes propiedades: 19 Universidad Nacional del Santa
Grficamente:
6 2 4
B
D C
5 2 3
3.
a.
B A
b.
B
c. A
A = B
d.
e.
20
Teora de Conjuntos
ACTIVIDAD N 01
Infrmese sobre las operaciones entre conjuntos: definicin, notacin, representacin e ilustracin grfica, leyendo el siguiente texto.
Entre conjuntos se pueden realizar las siguientes operaciones: Unin, Interseccin y Diferencia.
1.
UNIN DE CONJUNTOS La Unin de los conjuntos A y B es otro conjunto, denotado por A U B formado por todos los elementos que pertenecen a A, a B a ambos. A U B = { x / x A di i relaciones particular.
A A B U U U B
x B}; = Smbolo de la
Para representar grficamente A U B, se tendr presente las entre los conjuntos dados en cada caso
Si A = { 2, 3, 4, 5, 6, 7 }, B = { 3, 4, 5, 6 },
21
Se observa que B A, y que B y C son no comparables con algn elemento comn, luego se tiene:
3 7 5
3 5 6 4 2
A B
4 6 2
B C
2 8 10
Ejemplo.
Solucin. A = {-1, 1 },
2.
INTERSECCIN DE CONJUNTOS La Interseccin de los conjuntos A y B es el conjunto denotado con A B formado por los elementos comunes a ambos conjuntos. Es decir, A B = { x / x A Grficamente.
A B A B U A B
x B }
22
A B,
b.
B C
c.
A C
x C } x C }
4 2
b 4 c d
a
U
4 6
d
U
2 a 4
b c
a. Nota. 3.
A B,
b.
B C
c.
A C
Si X Y, entonces X Y = X.
DIFERENCIA DE CONJUNTOS La Diferencia de los conjuntos A y B, en ese orden, denotado por A B, es el conjunto formado por todos los elementos de A que no pertenecen a B. Es decir, A B = { x / x A x B }
Complemento de un Conjunto. El complemento del conjunto A respecto al conjunto universal U, es el conjunto A formado por todos los elementos de U que no estn en A. Es decir, A = { x / x U 23
: :
C A a. b.
A.
A U A = U A A =
Ejemplo. Solucin. A - B ( I )
Demostrar que A B = A B.
= A B
( A B )( A B ) y de ( I ):
Demostracin
( x A )
( x B ) Def. de B
x ( A B ) Def. de interseccin
( A B ) implica que x ( A B ).
Por definicin de inclusin, se concluye que : ( A B ) ( A B ). Demostracin de ( II ): [(A B) (A B)] x (A B)/x(A B)x(A B). Pero x (A B) (x A) (x B) Def. Interseccin
( x A ) ( x
x ( A B ) x ( A -
B ) Def.
de B
Def. B ).
Diferencia
A }
U = Z
A = { x / x Z, x es par .}
24
La Diferencia Simtrica de los conjuntos A y B, denotado por A B, es el conjunto formado por todos los elementos que pertenecen solamente a A solamente a B, es decir: A B = ( A B ) ( B A ) Grficamente: A
B
A B = { 2, 3, 5, 1, 9 }.
b.
Grficamente,
25
3.
26
Teora de Conjuntos
ACTIVIDAD N 02
Analice los ejercicios resueltos sobre operaciones con conjuntos y su interpretacin grafica.
EJEMPLOS DE APLICACIN
A continuacin se presentan algunos ejercicios resueltos sobre uso de las definiciones y operaciones con conjuntos. 1. La proposicin x ( A B) es equivalente a: a. b. c. d. ( x A ) ( x B ) ( x A ) ( x B ) x (A - B ) ( x A ) ( x B )
Solucin. x (A B)
[ x ( A- B )] Def. de diferencia.
Luego, las expresiones equivalentes a x (A B) son (c) y( d). 2. A cul de las expresiones corresponde la regin sombreada? a. b. c. [B ( A C )] U [( A C ) B ] [B ( A C )] U [( A C ) B ] [B ( A C )] U [( A B ) C] C A B
La superficie formada por elementos que solo estn en B y no en A C; esto se expresa por: B ( A U C ).
27
Teora de Conjuntos -
La inferior formada por los elementos que estn en la interseccin de A con C pero que no pertenecen a B; esto es: (A B) B. Luego la expresin dada es (b) correspondiente a la regin sombreada.
ILUSTRACIN RESUMEN
B A = A-B = { x / x A
B }
A U B = { x / x A
A B = ( A B ) ( B A )
A B = { x / x A
28
Teora de Conjuntos
ACTIVIDAD N 02
{2 x 1:
x Z + , x 5} ,
'
{x Z
: x < 10} , B =
{2 x :
x Z + , x < 5} ,
D ={3, 4, 5}, b.
E = {3, 5}.
( C B )' ( D E ) A D
( A E ) ( B C )' ( DE )
' c. ( D E ' B ) ( A E
B 'C ) ( C E ' A )
'
} U (C B )
' A
( D E ) D
'
d.
{(D' C
' B
) (D
' E
B 'C )
( AE )
' ( B C ' E ) I ( A E ) ( B C ) ( DE )
2. Qu condiciones deben cumplir los conjuntos Ay B para que se verifiquen las siguientes relaciones? b. A B = B c. A B = U a. A B = d. g. 1. Si A = U A B = B A
A = {x B = {x
e.
A B = A h.
f.
A B = B i.
A B = A B
A B = B A
+ +
: x > 4 x = 6} : x > 0 x 6}
C = { x / ( x 1 x 2 4 x 3)} Hallar:
' a. ( C B ) A ( A C ') B
c.
( A C ' ) ( B C )' ( DE ) ' ' ( B C ' B ) I ( A C ) ( B A ' ) ( AC ) A'C B 'C ) ( A ' C 'B ) ( ( AC )
'
b.
29
Teora de Conjuntos
ACTIVIDAD N 01
Analice la siguiente informacin sobre las propiedades de las operaciones con conjuntos y las demostraciones realizadas.
= = = = =
x A
x A
x B
A B B A { x / { x / x A x A
x B } x B } A B = A B
{ x / x A x B } ( A B )
( B A ) A = { x / x A }
{ x / x U x A}
A continuacin se presentan las Propiedades de las Operaciones con conjuntos, bajo el ttulo de Leyes Bsicas del lgebra de Conjuntos. Se demuestran algunas de ellas.
1 a) A A = A
2. Conmutativa
1 b) A A = A 2 b) A B = B A
2 a) A B = B A
3. Asociativa
3 a) A ( B C ) = ( A B ) C 3 b) A ( B C ) = ( A B ) C
4. Distributiva
30
Teora de Conjuntos
4 a) A ( B C ) = ( A B ) ( A C ) 4 b) A ( B C ) = ( A B ) ( A C )
5.
5 a) A = A
6.
5 a) A = A 6 b) A U = A 7 b) A A = 8 b) U = , = U
6 a) A U = A
7.
7 a) A A = U
8.
8 a) ( A ) = A
9. Leyes de D' Morgan
Recuerde que dos conjuntos son iguales si y slo si se verifica la doble inclusin: (I) ( A B ) ( B A ) y (II) ( B A ) ( A B )
Entonces debe demostrarse (I) y (II); recurriendo a la definicin de Inclusin. (I) (A B) (B A) x (A B) / x (A B) x (BA) Pero, x ( A B) ( x A ) ( x B ) Def. Unin
( x B ) ( x A ) Conmut. de x(BA)
Luego, x ( A B ) x ( B A). Con lo que queda demostrado: (A B) (B A) Def. Inclusin II) ( B A) ( A B) x (B A)/ x (B A) x (A B) Pero, x ( B A ) ( x B ) ( x A ) Def. Unin Def. Unin
( x A ) ( x B ) Conmut. de x(AB)
Def. Unin
x ( B A) x ( A B) , esto es ( B A ) ( A B ) por
definicin de Inclusin. De (I) y (II) se sigue: A B = B A.
31
Teora de Conjuntos
( A B ) ( A C )
(I) [ A ( B C ) (II)
(AB)(AC)
] ].
(AB)(AC)
A(BC)
]x[(AB)(AC)]
(AB)(AC)
]/x [
( A B) ( A C )
x (A B ) x ( A C)
Def. de Interseccin
(p q) (p r)
] p ( q r)
xA (xB xC)
x A x [
x(BC)
A (BC)
] ]
Luego x [ ( A B ) ( A C )
]x [ [
A(B C)
Def. de Inclusin
(AB)(AC)
A ( B C)
].
( II ) A ( A ).
32
Teora de Conjuntos
(I) x ( A ) / x ( A ) x A
[ x A] [xA] xA
[( x A ) ] Negacin de
Luego ( A ) A por definicin de Inclusin. (II) x A / x A
[( x A ) ] [ x A] [ x A ] x A x ( A )
Doble Negacin
Recuerda que: (p q) p q.
( x A ) ( x B ) Def. Complemento
Def. Unin
( AB ) AB
Para II
( x A ) ( x B ) Negacin de
33
Teora de Conjuntos
Por que ( p q ) (p q)
[xAB] xAB x ( A B )
ILUSTRACIN RESUMEN
Asociativa A (B C) = (A B) C A (B C ) = (A B) C
Distributiva A (B C) =(A B) (A C)
Morgan (A B) = A B (A B) = A B
Absorcin A (A B) = A A ( A B) = A A (A B) = A B A ( A B) = A B
Conmutativa A B = B A A B = B A
34
Teora de Conjuntos
ACTIVIDAD N 02
EJERCICIOS GRUPO 5
I.
Utiliza convenientemente las definiciones de las operaciones con conjuntos para resolver los problemas que se plantean a continuacin.
1. Cul es la expresin equivalente a: x [A (AB )]? a. b. c. 2. x A x A ( x A ) ( x B )
x B
x ( A B )
x ( A B ) ( x C ) x A
x B
x C
3.
Cules de las siguientes proposiciones son siempre verdaderas? a. c. d. A B A B = B b. A B = B A A B B A = ( A B ) A B A B los conjuntos A, B, C y D, efectuar las
II.
2n 1 , n 3
B = { x / x2 7x = 0 }
35
Teora de Conjuntos
C = { x / ( x 2 )( x2 9 )( x 4 ) = 0 } a. c. ( B A ) C ( B C ) A . d. b. ( B C ) A A C
Nota. U = 2.
, tal que :
A B = ( A B ) B. Si a. II. A = { 5, 4, 7, 6, 2 }, A B b. B A B = { 1, 3, 5, 7, 9 }. c. ( B A ) B Hallar:
la siguiente regin
IV.
( A B) C
e) ( A B C ) U (C A ') U (C B ')
36
Teora de Conjuntos
V.
Deducir del siguiente diagrama las operaciones que se han realizado para obtener la regin sombreada.
H P M
a) ( P Q)( H ' M ) b)
( H ' M ) ( P Q)
c) ( P Q) ( H M )
Q
d) ( H M ) U ( P Q)
e)
( P Q) ( H M )
37
Teora de Conjuntos
ACTIVIDAD N 01
OBJETIVO N 03
Estudie la siguiente informacin que se ofrece sobre el Conjunto potencia y sus propiedades.
P (A), es el conjunto
P(A)
Nota.
{ X / X A }
1) X 2) A
Ejemplo 1.
P (A) = { , { 1 } , { 2 } , { 3 } , { 1, 2 } , { 1, 3 } , { 2, 3 } , A }.
Ejemplo 2.
P () = { }.
A= {x/x4=0}
Ejemplo 3.
P (A) = { , A }.
Ejemplo 4.
38
Teora de Conjuntos
{{{}}}
{{{{}}}}
Propiedades del
1) A B 2) A = B 3) [
P (A) P (B). P
(A) X A
XB
En efecto, sea X
Def. de
P (A)
P (B)
P (A) P (B).
)
P (A) P (B)
AB Subconjunto de A
Sea x A
{x} A
39
Teora de Conjuntos
{x} {x}
{x} B x B
P (B)
Sub conjunto de B
A B por definicin de Inclusin. P (A) P (B) ] P (A B). Sea X [ P(A) P(B) ] [ XP(A) ] [ X P(B)
Demostracin de (3) [ Def. Unin
P (A B)
P (A) P (B)
P (A
B)
40
Teora de Conjuntos
ILUSTRACIN RESUMEN
Si X = , P(A) = {}
41
Teora de Conjuntos
ACTIVIDAD N 02
EJERCICIOS GRUPO 5
1) 2) 3)
P (A) ?
Siendo A = { a , } y B = { { } , { a } } , hallar: a. b.
P (A) P (B) P (A B)
A=B
4)
Demostrar que: a. b.
P (A)
P (B)
P (A B) = P (A) P (B).
CLAVE DE RESPUESTAS
1) 2) 3)
P (C) = { , { } ,{ c }, { { } } , { ,c } , { ,{ } } , { c, { } } , C}
Si A = A = {}
P (A) P (B) =
= {,{a},{},{{}},{{a}},{a,},{a,{}},{a,{a}},{, {}},{,{{a}},{{}},{a}},{a,,{}},{a,{},{a}}, {,{},{a}},{a,,{a}},AB}
P (A)
42
Teora de Conjuntos
ACTIVIDAD N 01 OBJETIVO N 06
Infrmese sobre las propiedades del nmero cardinal de conjuntos y sus aplicaciones que se ofrecen en el siguiente texto.
Naturalmente que la idea del nmero de elementos de un conjunto finito cualesquiera, es primitiva por lo que se admite como la cantidad de elementos que hay en un conjunto. Se denota por, n( A ) = card (A).
Nota.( A ) tambin se llama nmero Ejemplo. Si cardinal del conjunto A. entonces
A = {a,b,c} y B = {1,-3,5,{3},2},
Propiedades:
1) Si A y B son conjuntos finitos disjuntos, entonces: n(A B) = n( A ) + n( B ), si A B Obviamente que si A B = , entonces n ( A B ) = 0. A B es la parte sombreada del grfico, entonces: n(A B) = n( A ) + n( B ).
A B
2)
Si
son no
conjuntos
finitos
A AB AB BA U B
arbitrarios,
necesariamente
disjuntos, expresamos:
43
Teora de Conjuntos
A = ( A B ) ( A B ), Con ( A B ) ( A B ) = .
Entonces por (1): n(A) = n(A B) + n(A B)
3)
Si
son no
conjuntos
finitos
A AB AB BA U B
arbitrarios,
necesariamente
En efecto, en el grfico dado observamos que: A B = [(A B) (A B)] (B A); es decir A B Luego: n(A B) = n[(A B) (A B)]+ n(B A) = n(A B) + n(A B)+ n (B A) por (1) por (1) es la unin de tres conjuntos disjuntos entre s.
y demostrar
4) Si A, B y C son conjuntos finitos tales que: A B C entonces: n(A B C) = n(A) + n(B) + n(C) n(AB) n(AC) n(BC) + n(A B C). Basta tomar: (A B C) = A (B C) y aplicar (1) y (3).
Para fines prcticos es conveniente representar A B en un diagrama de Venn compuesto por zonas disjuntas como se ilustra a continuacin:
A a b B c U
44
Teora de Conjuntos
Donde:
a = n( A B ) b = n( A B ) c = n( B A )
Ejemplo 1.
De un grupo de 100 alumnos: 49 no hablan Ingls, 53 no hablan Francs y 27 no hablan Ingls ni Francs.Cuntos alumnos hablan uno de los idiomas?
Solucin:
Hablan Francs = F
I a b
F c U
45
Teora de Conjuntos
ILUSTRACIN RESUMEN
P 1
Cardinal de un conjunto
P2
P3
46
Teora de Conjuntos
ACTIVIDAD N 02
EJERCICIOS GRUPO 7
1)
Los conjuntos A, B y C, tienen k, 3k y ( k-1) elementos, respectivamente. A y B tienen k/2 elementos comunes; A y C tienen k/4, y B y C tienen 2. Si existe un nico elemento comn a los tres conjuntos. Hallar el nmero de elementos de: [ ( A B ) ( A B) ] C.
2)
En una encuesta realizada a 150 personas sobre sus preferencias de tres productos A, B y C, se encontr el siguiente resultado:
82 consumen el producto A. 54 consumen el producto B. 50 slo consumen el producto A. 30 slo consumen el producto B. El nmero de personas que consumen slo B y C es la mitad de las personas que consumen slo A y C. El nmero de personas que consumen slo A y B es el triple de las personas que consumen los tres productos. El nmero de personas que no consumen los productos mencionados son tantos como los que consumen slo C.
Determinar: a) El nmero de personas que consumen slo dos de los productos. b) El nmero de personas que no consumen A, B ni C. c) El nmero de personas que por lo menos consumen uno de los productos.
47
Teora de Conjuntos
3)
Un club consta de 78 personas; de ellas 50 juegan ftbol , 32 bsquet y 23 vley. Seis figuran en los tres deportes y 10 no practican deporte alguno. Entonces: a) b) c) d) Cuntas personas practican slo un deporte? Cuntas personas practican slo dos deportes? Cuntas personas practican al menos dos deportes? Cuntas personas practican como mximo dos deportes?
4)
En un Congreso Internacional de Medicina, se debati el problema de la Eutanasia, plantendose una mocin: 115 europeos votaron a favor de la mocin, 75 cardilogos votaron en contra, 60 europeos votaron en contra, 80 cardilogos votaron a favor. Si el nmero de cardilogos europeos excede en 30 al nmero de americanos de otras especialidades y no hubo abstenciones. Cuntos mdicos participaron en el congreso?
5)
Se hizo una encuesta a 160 alumnos del CEPUNS sobre la preferencia de 4 carreras profesionales: Ingeniera de Sistemas (S), Enfermera (E), Comunicacin Social (C) y Biologa en Acuicultura (B), obtenindose los siguientes datos:
Ninguno de los que prefieren (C) simpatizan con (B). 22 slo con (S) 20 slo con (E) 20 slo con (C) 20 con (S) y (B) pero no con (E) 6 slo con (C) y (E) 4 con (S) y (C) 24 con (B) y (E) 28 slo (B).
Cuntos prefieren slo (S) y (E), si a todos por lo menos les gusta una carrera profesional?
6)
De 700 postulantes que se presentaron a la UNS o a la UNT, 400 lo hicieron a la UNT, igual nmero a la UNS, ingresando la mitad del total de postulantes. Los no ingresantes se presentaron a la UNMSM, de stos 90 no se presentaron a la UNS y 1800 no se presentaron a la UNT. Cuntos postulantes ingresaron a la UNT y a la UNS?.
48
Teora de Conjuntos
7)
Suponga que los brevetes slo se consiguen legalmente, los que tienen brevete profesional saben mecnica mientras que los que tienen brevete particular slo estn autorizados a manejar automviles y as lo hacen. Si tienen los siguientes datos referente a un grupo de personas:
21 no tienen brevete profesional o no manejan camiones. 13 saben encender un vehculo pero no tienen brevete. 8 saben manejar vehculos pero no tienen brevete. 2 saben mecnica y manejan camiones. El mismo nmero sabe manejar vehculos pero no maneja camiones ni tiene brevete. 11 no tienen brevete pofesional y no manejan camiones. 3 tienen brevete particular.
Adems, tngase en cuenta que los que saben mecnica tienen brevete profesional. Se pregunta lo siguiente: a) Cuntos son en total?. b) Cuntos no tienen brevete?. c) Cuntos cometen infraccin de manejar vehculos sin tener brevete?. d) Cuntos saben encender un vehculo pero no manejarlos?. 8) En un avin hay 9 jvenes, 5 nios peruanos, 9 hombres, 7 jvenes extranjeros, 14 peruanos, 6 peruanos varones, y 7 mujeres extranjeras. a) Cul es el nmero de personas del avin? b) Cuntos son solamente peruanos?
49