CONJUNTOS

En una Teora Intuitiva de Conjuntos, los conceptos de conjunto y pertenencia son considerados primitivos, es decir, no se definen de un modo formal; se les acepta como existentes de manera axiomtica, an cuando son creaciones intelectuales Intuitivamente, un conjunto es una colecci!n o clase de o"jetos "ien definidos, dotados de una propiedad #ue permita decidir $sin nin%una am"i%&edad posi"le', si un o"jeto cual#uiera forma parte o no de la colecci!n Consideremos, por ejemplo, los si%uientes conjuntos( ) * +as vocales( a, e, i, o, u. , * +os nmeros enteros pares positivos( 2, 4, 6, .... - * +os siete enanitos de .lanca /ieves 0 * +os e#uipos de ft"ol profesional participantes en el actual campeonato . 1 * +as se2oritas de nuestro curso de 3atemticas 4iscretas +os o"jetos #ue forman un conjunto se llaman elementos del conjunto, y la relaci!n entre un elemento y un conjunto es la de pertenencia 5e escri"e x 6 y se lee $el o"jeto' x pertenece a $el conjunto' 67 8a"itualmente los conjuntos se desi%nan por una letra mayscula y los elementos del conjunto por una letra minscula y entre par9ntesis de llave +os conjuntos se pueden definir por( EXTENSIN cuando se descri"en ex:austivamente $es decir, nom"rando a todos y cada uno de sus elementos, #ue, en tal caso, se escri"iran entre llaves' Ejemplo( 6;< =edro, >uan, +uis, 3anuel?

COMPRENSIN( Cuando se indican las caractersticas de los elementos del conjunto o funci!n proposicional p(x) #ue satisfa%an todos los elementos x del conjunto definido y s!lo ellos, dentro de un unive !o "on#ex#ua$ ! e$a#ivo U Ejemplo( . ; {nmeros pares? C ; {nmeros enteros positivos menores de )@ ?

CONJUNTO %INITO& Es a#uel #ue consta de un nmero determinado de elementos, dic:o de otra forma, si al efectuar el proceso de contar los elementos, este proceso puede terminar CONJUNTO IN%INITO( Cuando el conjunto tiene un nmero indeterminado de elementos, infinitamente %rande CONJUNTO '(C)O& Es a#uel conjunto #ue no tiene nin%n elemento 5e representa por el sm"olo .

SU*CONJUNTO( 5e dice #ue un conjunto ( es !u+"on,un#o de un conjunto *, o "ien #ue ( e!#in"$ui.o en * si y s!lo si cada elemento #ue pertenece a ( pertenece tam"i9n a *.( e!#- in"$ui.o en * / se anota ( *. Expresado de otra forma( ( * ; < x A x 6 x . ?

Ejemplo( si 6 ; <), -, 1? y . ;<), ,, -, 0,1, B, C? entonces 6 . 5i ( no es !u+"on,un#o de * se escri"e ( * 5e dice #ue ( es SU*CONJUNTO PROPIO de * si y s!lo si ( es su"conjunto de * pero * es distinto de (, lo #ue a veces se denota por ( *, sin la "arrita inferior #ue representa la i%ualdad de conjuntos 6 . y 6 D . En al%una "i"lio%rafa se acostum"ra a desi%nar un su"conjunto propio como ( * E un su"conjunto como ( * CONJUNTOS I0U(1ES& 4os conjunto 6 y . son i%uales $ 6 ; .' si x 6 F x . x . F x 6 se verifica #ue A B B A. =ara pro"ar #ue dos conjuntos son i%uales, ser siempre necesario pro"ar #ue cada uno de ellos est contenido en el otro $dos prue"as' Este proceso se llama prueba por doble inclusin. COMP(R(*I1I2(2& 4os conjuntos 6 y . se dicen compara"les si( ( * o * ( Esto es si uno de los conjuntos es su"conjunto del otro En cam"io dos conjuntos C y 4 no son compara"les si C 2 y 2 C /!tese #ue si C y 2 no son compara"les, entonces :ay un elemento de C #ue no est en 2 y :ay al%n elemento de 2 #ue no est en C. CONJUNTO 2E CONJUNTOS& 8ay ocasiones en #ue los elementos de un conjunto son a su veG tam"i9n conjuntos, por ejemplo el conjunto de todos los su"conjuntos de ( =ara evitar decir conjunto de conjuntos se suele decir familia de conjuntos o clase de conjuntos, y para evitar mayor confusi!n, se emplean letras de tipo in%l9s ABCD CONJUNTO UNI'ERS(1& Es a#uel conjunto del #ue son su"conjunto toda una familia de conjuntos 5e denota con la letra U 5i U es el conjunto Hniverso de (, *, C, y 2, entonces x 6F x H, y .F y H, G CF G H, u 4F u H, CONJUNTO POTENCI(& Conjunto potencia de S se denomina a la familia de todos los su"conjuntos de S, y se denomina por 2 .
S

Ejemplo( 5i I ; < ), ,? entonces , ; < <), ,?, <)?, <,?, ?

I

CONJUNTOS 2ISJUNTOS( 5on a#uellos conjuntos #ue no tienen nin%n elemento en comn =or ejemplo( E ; <), -, 1? y J ; <,, 0, B ? son conjuntos disjuntos 2I(0R(M(S 2E 'ENN EU1ER& Es la forma sencilla e instructiva para poder representar los conjuntos y las relaciones #ue se producen entre ellos En ellos se representan :a"itualmente los conjuntos por un rea plana, por lo %eneral delimitada por un crculo

6 ; < a, ", c, d, e?

. ; < ", c, d? . 6

Ope a"ione! "on "on,un#o!

UNIN& +a uni!n de dos conjuntos ( y * es el conjunto de todos los elementos #ue pertenecen a ( o a * o a am"os , y se representa por ( * A B = {x / x A x B} . Ejemplo( 5ean los conjuntos y se representa %rficamente por el dia%rama de Kenn INTERSECCIN& +a intersecci!n de dos conjuntos 6 y . $ ( * ' es el conjunto de todos los elementos comunes a 6 y a . al mismo tiempo A B = {x : x A x B} Ejemplo( 5i tomamos los mismos conjuntos 6 ; < ), ,, -, 0 ? y . ; <-, 0, 1, B? entonces la Intersecci!n de 6 y . es 6 L . ; < -, 0 ? y se representa %rficamente mediante el dia%rama de Kenn 2I%ERENCI(& +a diferencia entre los conjuntos 6 y . $ 6 M . ' o $ 6 N . ' es el conjunto de todos los elementos #ue pertenecen a 6 pero no pertenecen a . A B = A \ B ={x / x A x B} Ejemplo( HtiliGando los conjuntos 6 ; < ), ,, -, 0 ? y . ; <-, 0, 1, B? entonces la diferencia de 6 y . es 6 -. ; < ), , ? y se representa %rficamente mediante el dia%rama de Kenn COMP1EMENTO& El complemento de un conjunto 6 es el conjunto de todos los elementos #ue no pertenecen a 6 , pero s pertenecen a l Hniverso En otras pala"ras es la diferencia entre el conjunto Hniverso y el conjunto 6 5e representa por (3 4 ( y es i%ual a U 5 (
"

Oepresentado en un dia%rama de Kenn, se tiene(

2I%ERENCI( SIM6TRIC(& Es el conjunto formado por todos los elementos #ue pertenecen ( o a * pero no a am"os 6 . ; $ 6 P . ' $ . P 6 ' ; $ 6 . ' P $ 6 L .' (10UN(S RE1(CIONES& 6 6 ; 6 ; 6 6 H ; 6 6 . ; . 6
"

$ 6 . ' ; $ 6 . ' $ 6 L .'

c c

$6. 'C;6$.C'

REPRESENT(CIN 2E (10UN(S OPER(CIONES&

(( * )
C

E,e "i"io!& 4ados los conjuntos( Encontrar ( A B, BC

( ; <n A n Q R n S )-? * ; <n A n Q R n es par n S ,@? C ; <n A n Q R n es par? A B, Ac, Bc , A B, y B C.

B A, A B,

C(R2IN(1I2(2 2E CONJUNTOS&
5ea un conjunto 6 en un universo H con una cantidad determinada de elementos $finito numera"le' 5e define la Cardinalidad de 6 como la cantidad de elementos distintos del conjunto 6 5e anotar n$6' o tam"i9n #(6). E,e7p$o. 5i 6 ; { x O A-x R Cx R , ; @?, podemos decir #ue n$6' ; , puesto #ue el discriminante de la ecuaci!n es positivo y se infiere #ue tiene dos races reales y distintas
,

P opie.a.e! (xio7-#i"a!& () = ! A = B " (A) = (B)# A B " (A) $ (B) AB = " (AB) = (A) % (B)
&'()*+,-,+. A/0+1'-*c-.: (AB) = (A) % (B) (AB) n$6 ' ; n$2' P n$6' (A B) = (A) (AB)
C

(p$i"a"i8n a En"ue!#a . 5e :ace una encuesta a B@@ varones respecto del uso de tres marcas de camisas( 6rroT, Kan 8eusen y 3cJre%or
5e o"tuvo la si%uiente informaci!n ( )U@ varones usan 6rroT pero no 3cJre%or ,@@ usan 3cJre%or y Kan 8eusen )B@ usan Kan 8eusen pero nunca usan 6rroT )@@ usan 6rroT y Kan 8eusen pero nunca :an usado 3cJre%or ,V@ nunca :an usado 3cJre%or 1@ s!lo usan Kan 8eusen ,@@ :an usado s!lo una $cual#uiera' de estas tres marcas a' 4istri"uya la informaci!n en un dia%rama adecuado a la situaci!n "' 4etermine ( i' WCuntos encuestados no usan de estas camisasX ii' WCuntos encuestados s!lo usan 3cJre%or y 6rroTX Re!p& i) son 10 los encuestados que no usan de estas camisas. ii) son 100 los encuestados que usan slo McGregor y Arrow.

6l%e"ra de conjuntos
B-3( /-. ()+'-c*( +. ,+4* *,-. + /(. -)-'5-,(. - 5+'*('+., /(. c( 36 5(. .-5*.4-c+ 7-'*-. /+y+. ( *,+ 5*,-,+.. 81.+'7-'+9(. :6+ +x*.5+ 6 - ,6-/*,-, + 5'+ /-. /+y+. :6+ 65*/*;- /- * 5+'.+cc*! y /-. :6+ 65*/*;- /- 6 *! .

1e/e! I.e7po#en#e!
<-,( c6-/:6*+' c( 36 5( A + 6 6 *7+'.-/ -'1*5'-'*( 2, .+ 7+'*4*c-: ) AA=A

AA=A

1e/e! Con7u#a#iva!
<-,(. ,(. c( 36 5(. A y B ,+ 6 6 *7+'.-/ -'1*5'-'*( 2, .+ 7+'*4*c-: ) AB=BA

AB=BA

1e/e! (!o"ia#iva!
<-,(. 5'+. c( 36 5(. A, B y C ,+ 6 6 *7+'.-/ -'1*5'-'*( 2, .+ 7+'*4*c-: ) A (B C) = (A B) C

A (B C) = (A B) C

1e/e! 2i!# i+u#iva!

<-,(. 5'+. c( 36 5(. A, B y C ,+ 6 c( 36 5( 6 *7+'.-/ -'1*5'-'*( 2, .+ 7+'*4*c-: ) A (B C) = (A B) (A C)

A (B C) = (A B) (A C)

1e/e! .e I.en#i.a.
<-,( 6 c( 36 5( c6-/:6*+'- ,+ 6 6 *7+'.-/ -'1*5'-'*( 2, .+ 7+'*4*c-: ) A=A

, 0

A2=2 A= A2=A

1e/ Invo$u#iva
<-,( 6 c( 36 5( c6-/:6*+'- A ,+ 6 6 *7+'.-/ 2, .+ 7+'*4*c-: (A ) = A
c c

1e/e! .e$ Co7p$e7en#o

<-,( 6 c( 36 5( c6-/:6*+'- A ,+ 6 6 *7+'.-/ -'1*5'-'*( 2, .+ 7+'*4*c-:

) , 0

AA =2
c

2 =
c

AA =
c

=2
c

1e/e! .e 2e Mo 9an
<-,(. ,(. c( 36 5(. A y B + 6 6 *7+'.-/ 2, .+ 7+'*4*c-:

) ,

(A B) = A B
c c c c

(A B) = A B

O# a! e$a"ione! en# e Con,un#o!

AMA= A ( B C )= ( A B) ( A C) A ( B C )= ( A B) ( A C) AA (AB)(BC)=AC ( A B ) ( B A ) = A =A ( A B ) > A B = B > A B = A (AB)>AB=