Matemtica Discreta

Lista de exerccios resolvidos Parte I: Tcnicas de prova e definies indutivas

1) Vamos provar a conjectura Para um nmero ser primo no suficiente que seja mpar. Siga os seguintes passos para prov-la: (a) Desconsidere o no do enunciado e coloque o restante na orma se ! ento " (#) !ara provar a rase original no (se ! ento ") #asta re utar se ! ento " (a) se um n$mero % &mpar ent'o ele % primo (#) para re utar (a) #asta encontrar um contra-e(emplo. )ra* + % &mpar mas n'o % primo. ,ogo a conjectura original est provada. !rove que se ( % positivo ent'o (.1 % positivo a) por contraposi/'o #) por contradi/'o (a) provar que se (.1 n'o % positivo ent'o ( n'o % positivo. )ra* se (.1 0* como (1(.1* teremos que ( tam#%m % negativo2 (#) supon3a que ( 0 e (.1 1 0. 4omo ( 0* e (.1 5 (* teremos (.1 5 0* contradi/'o com a 3ip6tese. (a) 8ostre* por contradi/'o* que a un/'o inversa de uma un/'o #ijetiva (()* % $nica. Supon3amos que (() tem duas inversas 1-1(9) e --1(9). 4omo as duas un/:es s'o di erentes e(iste um 9 tal que 1-1(9) --1(9). ;este caso* se (1< 1-1(9) e (- < --1(9) temos que* ((1)<9 e ((-)<9* j que as duas s'o inversas de ((). 8as neste caso (() n'o % injetiva e* portanto* n'o % #ijetiva= CONTRADIO. (#) !rove* por indu/'o* que para todo inteiro positivo n vale que >n--n % divis&vel por ?. !ara n<1 temos >--<? )@ Supondo que >n--n % divis&vel por ? e(iste um A tal que >n--n<?A. Bgora >(n.1) C -(n.1)< >n.>-(-n.-)< >n--n .>-- < ?A .>--<?(A.1). CONFIR ADO B seqEFncia de nmeros triangulares % 1* 7* G* 10* .. % #aseada nos triHngulos

-)

7)

D)

1 7 G Incontre a rela/'o de recorrFncia e a 6rmula ec3ada desta seqEFncia. !ara encontrar a 6rmula ec3ada use o princ&pio e(pandir* supor* veri icar. B sequFncia ser 1* 7(<1.-)* G(<7.7)* 10(<G.D)* 1?(<10.?)* -1(<1?.G)*..* logo a re!a"o de recorr#ncia ser: S(1) < 1 e S(n) < S(n-1) . n. J6rmula ec3ada: I(pandir: S(1) < 12 S(-) < 1 . -2 S(7) < 1 . - . 72 S(D) < 1 . - . 7 . D Supor: S(n) < i<1*..*n i Veri icar: S(1)<1 < i<1*..*1 i Supondo verdadeiro que S(n) < i<1*..*n i temos que S(n.1) < S(n) . n.1 < i<1*..*n i . n.1 < i<1*..*n.1 i 4.".D.O

?)

8ostre* por indu/'o* que para a seqEFncia de Ji#onacci vale a rela/'o J(n) 1 -n (;.K. a seqEFncia de Ji#onacci % dada por J(1)<12 J(-)<- e J(n)<J(n-1) . J(n--)) Lip6tese de indu/'o: J(1) < 1 1 -1* J(-) < - 1 --* J(n-1) 1 -n-1 e J(n) 1 -n. Vamos mostrar que J(n.1) < 1 -n.1 para n 5 !or de ini/'o temos que J(n.1) < J(n) . J(n-1)* su#stituindo a 3ip6tese de indu/'o* temos que J(n.1) 1 -n.. -n-1. Memos que -n . -n-1.< -. -n-1 . -n-1. < 7.-n-1. !or outro lado -n.1 < -.-.-n-1 < D.-n-1. 4omo 7.-n-1 1 D.-n-1 est provado a conjectura. ;a prova acima oi usada Nindu/'o completaO. B prova por indu/'o simples seria: J(n.1) < J(n) . J(n-1)* pela de ini/'o de J(n) < J(n-1).J(n--) . J(n-1)* pela 3ip6tese de indu/'o 1 -n . J(n-1) como J(n-1) < J(n) C J(n--) 1 -n . -n C J(n--) < -n.1 C J(n--) Int'o temos J(n.1) . J(n--) 1 -n.1 e* como J(n--) 5 0 teremos F$n%&' ( )n%& 8ostre* por indu/'o* que n7 . -n % divis&vel por 7 n<1: 1.-<7 supondo que n7.. -n % divis&vel por 7* temos n7.. -n < 7A agora (n.1)7.. -(n.1) < (n.1)(n- . -n .1).-n.- < n7 . -n- . n . n- . -n . 1 . -n .- < 7A . 7n- . 7n .7 < 7(A . n- . 7n . 1) !rove que se ( e 9 s'o &mpares ent'o (.9 % par a. !or contraposi/'o : Se (.9 % impar ent'o ( ou 9 % par. !ela 3ip6tese (.9 < -n . 1. 8as* para que isso aconteca* ( e 9 n'o podem ser am#os &mpares pois* neste caso* ter&amos (.9 < -A.1 . -r.1 < -(A.r.1)* que % par. ,ogo ( ou 9 tem que ser par. #. !or contradi/'o !ara ( e 9 impares* supon3a (.9 impar. 8as* se (.9 % &mpar* (.9 < -A.1. ;esse caso ( e 9 n'o podem ser am#os &mpares pois* ter&amos (.9 <-A.1 . -r.1 < -(A.r.1)* que % par= Qma sequFncia % de inida por S(1) < 1* S(n)<n.S(n-1) Incontre a orma ec3ada* usando o princ&pio: e(pandir* supor* veri icar. RIS!: Expandir: S(1) < 12 S(-) < - . 12 S(7) < 7 . S(-) < 7 . - . 12 S(D) < D . S(7) < D . 7 . - . 1 Supor: S(n) < i<1*..*n i Verificar: por indu/'o: S(1) < i<1*..*1 i < 1* )@ Supondo que vale S(n) < i<1*..*n i teremos S(n.1) < n.1 . S(n) < n.1 . i<1*..*n i < i<1*..*n.1 i. *erificado= Demonstre quais das a irma/:es a seguir s'o verdadeiras ou mostre quais s'o alsas: a) ) cu#o de um n$mero par ( % par Verdadeiro. !rova por a#surdo: Supon3amos que e(iste um &mpar n < p7* em que p % um par. ,ogo n < p.p.p < p-.p 4omo p % par e(iste um inteiro q tal que p<-.q. 8as ent'o temos que < p-.q.- e aSendo p-.q < m temos n < -.m* contradiSendo a suposi/'o de que n % &mpar. #) T(.9T T(T . T9T Verdadeiro: Memos 7 casos principais: (1) ( e 9 positivos* (-) um deles % negativo e (7) am#os negativos. (1) ;este caso* T(T < ( e T9T < 9* logo T(.9T < T(T . T9T < (.9

G)

>)

P)

+)

(-) Seja (1 0 e 9 0* neste caso (.9 1 T(T . 9 < T(T . T9T e* como para todo n$mero n TnT temos que T (.9T 1 TT(T . T9TT < T(T . T9T (7) para ( e 9 negativos teremos T(.9T = T-(-( . -9)T < T(-( . -9)T = T-(T . T-9T < T(T . T9T (D) )s casos em que um deles % 0 podem ser enquadrados nos casos anteriores. c) 1.?.+. ... . (Dn-7) < n(-n-1) Uprove por indu/'o que vale para todo inteiro positivo nV !rova: !ara n<1 temos Dn-7<1 a sequFncia ter um s6 termo como 1<1(-.1-1)< 1. )@ Supondo que vale para n* para n.1 ser&a: 1.?.+. ... . (Dn-7).(D(n.1)-7) < (n.1)(-(n.1)-1) n(-n-1) . Dn.D-7 < -n -n . Dn .1< -n . 7n .1 B outra parte ica sendo (n.1)(-n.--1) < (n.1)(-n.1) < -n-.n. -n.1<-n-.7n.1 4.".D.

Parte II: Con+untos e ,ra-.ticas

1) Sejam B < Up*q*r*sV2 K < Ur*t*vV e 4 < Up*s*t*uV. su#conjuntos de S<Up*q*r*s*t*u*v*WV Incontre ()#s. BO % o complemento de B): 1) (B K)O -) BO C (K 4) 7) (K-B) B D) R <U((*9) K B tal que ( precede 9 no al a#etoV ?) R <U((*9) K S tal que ( divide 9V 1) (B K) < UrV* logo (B K)O < Up*q*s*t*u*v*WV -) Ut*u*v*WV C Up*r*s*t*u*vV < UWV 7) Ut*vV Up*q*r*sV < U(t*p)* (t*q)* (t*r)* (t*s)* (v*p)* (v*q)* (v*r)* (v*s)V D) U(r*s)V ?) U(1*1)*...*(1*10)*(7*7)*(7*G)*(7*+)*(?*?)*(?*10)V -) Sejam B < U-*D*?*G*PV* K < U1*7*?V e 4 < U(X( Z e 7 ( 1 ?V su#conjuntos de S<U0*...*10V Incontre: a. (B K)O (B K)O < (U-*D*?*G*PV U1*7*?V)O < (U?V)O < U0*1*-*7*D*G*>*P*+*10V #. BO C (K 4) BO C (K 4) < U-*D*?*G*PVO C (U1*7*?V U7*DV< U0*1*7*>*+*10V C U1*7*D*?V) < U0*>*+*10V c. (K-B) B (U1*7*?V - U-*D*?*G*PV) U-*D*?*G*PV< U1*7V U-*D*?*G*PV < U11*-5*11*D5*11*?5*1*G5*11*P5* 17*-5*17*D5*17*?5*17*G5*17*P5V d. R <U((*9) K B tal que ( divide 9V R < U11*-5*11*D5*11*?5*1*G5*11*P5* 17*G5*1?*?5V -) Seja a gramtica Y < 1 * ,* !5* com < t nt * t < U0*1V* nt< US V* ,< tZ e as produ/:es ! < U S 0S* S 1V a) "uais senten/as vlidas s'o produSidas por esta gramtica[ #) I se acrescentarmos a produ/'o S S0[ (a) Bs senten/as vlidas s'o 1* 01* 001* 0001* 00001* ... (#) Bgora temos 1* 01* 001* 0001* ... e 10* 100* 1000* ... e 010* 0010* 00010* ... )u seja* todas cadeias com um N1O e restante N0Os. 7)

a) "ual a di eren/a entre *UV* UV[ DF a cardinalidade de cada um e as poss&veis rela/:es U * * ou <V entre eles. RIS!: TT<TUVT<0 e TUVT < 1. < UV* UV* UV* e UV UV. #) Dados os conjuntos B<Ua* UaV* UUaVVV* K<UaV e 4<U* Ua*UaVVV* dF a cardinalidade de cada um e mostre quais a irma/:es s'o verdadeiras: 4 B2 KB2 K 42 Ua* UaVVB2 B-K4. RIS!: TBT < 7* TKT < 1* T4T < -. 4 B - alsa2 KB - verdadeira2 K 4 - alsa2 Ua* UaVVB - alsa2 B-K4 - alsa.
D)

?)

4onsidere a gramtica: Y < 1\* ,* R 5. )nde: < U.* -* .*1* -* 7* D* ?* G*>* P* + *0V Q UK* S* ]* !* JV* sendo K o s&m#olo inicial. R < UK S]!J* S .T-T ^ ] ]D T D ! . J DD D 0T1T -T 7T DT ?T GT>T PT + V 1) "ual a linguagem que esta gramtica de ine[ RIS!: esta gramtica recon3ece n$meros com duas casas decimais podendo ter um sinal na rente ou n'o. )s n$meros poder'o come/ar com um ou mais d&gitos N0O. Im outras palavras* recon3ece sequencias da orma .nn...n.nn ou Cn...n.nn ou nn...n.nn. -) 8ostre como ela recon3ece o n$mero -D?+.77 RIS!: para testar* #asta seguir* em ordem inversa* as regras at% c3egar a K. )u seja* temos: -D?+.77 -D?+.DD -D?+.J -D?+!J -D?D!J -DDD!J -DDD!J SDDD!J S]DD!J S]D!J S]!J K (;.K. tam#%m pode-se percorrer o camin3o inverso) 7) 8odi ique a gramtica para que ela recon3e/a n$meros inteiros* sem ra/:es. RIS!:!ara recon3ecer s/ n$meros inteiros* deve-se alterar a primeira regra para KS] e e(cluir as regras ! . e J DD !ara recon3ecer ta-0- n$meros inteiros* a primeira regra ica sendo KS]!J T S]

4onsidere a gramtica: Y < 1\* ,* R 5. )nde: < nt t sendo t < U.* -* .* X* 1* -* 7* D* ?* G*>* P* + *0V e nt < UK* I_!* )!* ;* DV* com as regras de produ/'o: R < U 1: K I_!2 2: I_! ( I_! ) )! ;2 3: I_! ; )! ;2 4: )! . T - T . T X 2 5: ; D T ;D2 6: D 0 T 1 T - T 7 T D T ? T G T> T P T +V "ual a linguagem que esta gramtica de ine[ De ine e(press:es aritm%ticas da orma op1 op op2 em que op % um dos operadores .* -* . ou X* op2 % um n$mero inteiro positivo e op1 % ou tam#%m um inteiro ou outra e(press'o da mesma orma entre parFntesis. #) 8ostre como ela recon3ece a e(press'o (70-?).0-?. ]ndique qual regra oi aplicada em cada passo. -(1)-: K I_! -(-)-: ( I_! ) )! ; -(D)-: ( I_! ) . ; -(?)-: ( I_! ) . ;D -(?)-: ( I_! ) . ;DD -(?)-: ( I_! ) . DDD -(GZ)-: ( I_! ) . 0-? -(7)-: ( ; )! ; ) . 0-? -(?)-: ( ; )! D ) . 0-? -(G)-: ( ; )! ? ) . 0-? -(?)-: ( ;D )! ? ) . 0-? -(?)-: ( DD )! ? ) . 0-? -(?Z)-: ( 70 )! ? ) . 0-? -(D)-: ( 70 - ? ) . 0-? c) 8odi ique a gramtica para que ela: tam#%m recon3e/a e(press:es entre parFntesis ` direita e Blterar a regra (-) para: 2: I_! ; )! (I_!) T ( I_! ) )! ;2 um n$mero n'o comece com 0 (Sero).

Su#stituir as regras 5: e 6: por 5: ; ! T !D2 6: D DJ T J2 7: ! 1 T - T 7 T D T ? T G T> T P T +2 8: J ! T 0T I acrescentar aos n'o-terminais os s&m#olos ! e J. G) 4onsidere a gramtica: Y < 1 * ,* R 5. )nde: R 0R1 T 1R0 T ^ a) B palavra 11001 pertence ` linguagem geada por Y[ ;'o* pois se tentamos produSi-la* p.e(. R1R011R001100 vai altar a produ/'o do $ltimo N1O a direita. YeneraliSando* toda regra produS um n$mero par de terminais* logo % imposs&vel produSir uma cadeia com ? d&gitos. #) "ual linguagem de inida por Y[ 4adeias de 1s e 0s tal que para cada d&gito na en%sima posi/'o da esquerda para a direita ocorre o inverso desse d&gito na en%sima posi/'o da direita para a esquerda. >) 4onsidere a gramtica: Y < 1\* ,* R 5. )nde: < nt t sendo t < UNaO* N#O* NcO*..*O(O* N9O* NSO* N*O* N NV e nt < U;4* ;ome* So#renome* ;* ,etraV* com as regras de produ/'o: R < U1: ;4 ;ome a a So#renome2 2: ;ome ; T ; N N ;ome2 3: So#renome ; T ; N N ;ome2 4: ; ,etra T ,etra ;2 5: ,etra NaO T N#O T .. T NSO 2 a) 8ostre a sequFncia de produ/:es para produSir teu nome completo. 1: ;4 ;ome a a So#renome2 (2): ; a a So#renome2 (4): ,etra ; a a So#renome2 (4)5 vezes: ,etra ,etra ,etra ,etra ,etra ,etra a a So#renome2 (5)6 vezes: ulric3 a a So#renome2 (3): ulric3 a a ;2 Repetindo (4)5 vezes: e (5)6 vezes: o#temos ulric3 sc3iel #) Bltere a gramtica para produSir o nome na orma inversa sendo que s6 o $ltimo so#renome aparece antes da v&rgula. Kasta alterar as regras (1) e (7). Jicar'o sendo: 1: ;4 So#renome a* a ;ome2 3: So#renome ;2

Parte III: Re!aes

1) !odem ser de inidas mais propriedades de rela/:es #inrias em um conjunto S: % irref!e1iva quando (S temos ((*() b % assi-trica quando (*9S temos c((* 9) (9* () b a. 4onstrua uma rela/'o #inria em S < U1*-*7V que % assim%trica e anti-sim%trica. )#ten3a o ec3o transitivo desta tua rela/'o. #. Bnalise o conjunto 1N* N1O5* os naturais com a rela/'o Nmenor queO em rela/'o `s duas propriedades de inidas aqui e as outras. a. R<U(1*-)* (-*7)V* o ec3o transitivo % U(1*-)* (-*7)* (1*7)V #. B rela/'o 1N* N1O5 n'o % re le(iva e % irre le(iva* pois nen3um n1n. d anti-sim%trica e assim%trica* pois n'o e(iste nen3um para n* m* com n1m e m1n. !elo mesmo motivo tam#%m n'o % sim%trica. d transitiva* pois se n1m e m1 u* temos n1u. -) Seja S<U*UaV* Ua*#V*UcV* Ua*cV*U#VV e a rela/'o de .

1. Desen3e o Diagrama de Lasse desta rela/'o

2a403 2a3 203

2a4c3 2c3

-. Incontre o ec3o transitivo (-) B rela/'o j % transitiva 7) Seja ! um universo de pessoas e um #anco de dados ormado pelas rela/:es (a) Diga se a rela/'o entre n$meros naturais ( 9 ( < 9 . 1 % um-para-um* um-para-muitos ou muitos-para-muitos. (#) 8ostre se a rela/'o entre cadeias de caracteres dada por ( 9 o comprimento de ( % menor ou igual ao comprimento de 9* % re le(iva* sim%trica* anti-sim%trica eXou transitiva. (c) 4rie uma rela/'o qualquer que % re le(iva e sim%trica mas n'o % transitiva2 (d) 4rie uma rela/'o qualquer que n'o % re le(iva nem sim%trica mas % transitiva2 (a)d um-para-um pois para cada natural e(iste e(atamente um que % igual a (.1* e inversamente* e(ceto o 0 cada um tem um antecessor (-1* nunca mais que um. Re le(iva: pois o comprimento de toda cadeia % igual ao seu comprimento* logo % menor ou igual. Sim%trico: ;'o pois se ( % mais longo que 9 n'o ter comprimento menor. Bnti-sim%trica pois se comprimento(() 1< comprimento(9) e vice versa ent'o (<9 Mransitiva: sim pois se comprimento(() 1< comprimento(9) e comprimento(9) 1< comprimento(S) % claro que comprimento(() 1< comprimento(S) (c) Seja a rela/'o ( 9 (<9 ou ( % par ou 9 % par. d re le(iva pela condi/'o (<9. d sim%trica pois o ou % comutativo. ;'o % transitiva pois* p.e(. vale 7 D e D ? mas n'o vale 7 ?.

D) Seja ! o conjunto dos 3a#itantes de uma cidade. 4onsiderando as rela/:es a seguir mostre* para cada uma delas* quais propriedades #sicas (re le(iva* sim%trica* anti-sim%trica e transitiva) ela satis aS e se ela % uma rela/'o de ordem (parcial ou total) ou uma rela/'o. a. perto((*9) < ( mora a menos de ?00m de 9 % re le(iva pois todo 3a#itante mora perto dele mesmo % sim%trica pois a distHncia de ( para 9 % a mesma que a de 9 para ( n'o % anti-sim%trica pois se dois 3a#itantes moram perto um do outro* n'o signi ica que s'o a mesma pessoa n'o % transitiva pois se ( mora a D00m de 9 e 9 mora a D00m de S a distHncia de ( para S pode ser de P00m* logo n'o est'o mais perto n'o % rela/'o de ordem nem de equivalFncia pois n'o % transitiva #. longe((*9) < ( mora a mais de ?00m de 9 n'o % re le(iva pois ningu%m mora longe dele mesmo % sim%trica pois se ( mora longe de 9 o mesmo acontece entre 9 e ( n'o % anti-sim%trica pois se ( mora longe de 9 temos longe((*9) e longe(9*() mas ( 9 n'o % transitiva pois posso ter longe((*9) e longe(9*S) mas S ser viSin3o de (* ou seja* vale perto((*S) n'o % rela/'o de ordem nem de equivalFncia pois n'o % re le(iva nem transitiva c. mesmo-#airro((*9) < ( mora no mesmo #airro de 9

% re le(iva pois todo 3a#itante mora no mesmo #airro dele mesmo % sim%trica pois sempre vale mesmo-#airro((*9) sss mesmo-#airro(9*() n'o % anti-sim%trica pois #asta ter mais de um 3a#itante em um #airro % transitiva pois (* 9 e S ir'o morar no mesmo #airro % uma re!a"o de e5uiva!#ncia pois valem as propriedades re le(iva* sim%trica e transitiva. d. mesmo-perto((*9) < perto((*9) mesmo-#airro((*9) % re le(iva pois tanto perto((*9) e mesmo-#airro((*9) s'o re le(ivas % sim%trica pelo mesmo motivo n'o % anti-sim%trica pois am#as n'o o s'o n'o % transitiva pois posso ter (* 9 e S no mesmo #airro mas contradiSendo a propriedade transitiva para perto((*S) n'o % rela/'o de ordem nem de equivalFncia pois n'o % transitiva ?) Seja S < Ua*#*c*dV e < U(a*a)* (a*c)* (a*d)* (#*d)* (c*a)V Incontre os ec3os re le(ivo* sim%trico e transitivo de . 4onsiderando O a rela/'o ap6s o#ter os ec3os re le(ivo e sim%trico* encontre o ec3o transitivo de O[ Jec3o re le(ivo de < U(#*#)*(c*c)*(d*d)V Jec3o sim%trico de < U(d*a)*(d*#)V Jec3o transitivo de < U(c*d)*(c*c)V O < U(#*#)*(c*c)*(d*d)* (d*a)*(d*#)V Jec3o transitivo de < O U(a*#)*(#*a)*(c*d)*(d*c)*(#*c)V Seja ! um conjunto inito de pessoas. 4onsidere as rela/:es entre pessoas: i) il3o(p*q) p % il3o de q (da parte da m'e). ii) irm(p*q) r tal que il3o(p*r) il3o(q*r) iii) parente(p*q) il3o(p*q) irm(p*q) 1) Bnalise as 7 rela/:es quanto `s propriedades re le(iva* sim%trica* anti-sim%trica e transitiva. I(iste uma rela/'o de equivalFncia[ il3o(p*q) % anti-sim%trica irm(p*q) % re le(iva* sim%trica e transitiva parente(p*q) % re le(iva e transitiva -) ) que alta para fil o!p"q# ser uma rela/'o de ordem parcial[ Mente de inir um N ec3oO para que se torne uma ordem parcial. 43ame este ec3o de desc!p"q#. Ila n'o % re le(iva nem transitiva. !odemos de inir desc(p*q) il3o(p*q) irm(p*q) r ( il3o(q*r) desc(r*q)) 7) Descreva os elementos ma(imais e minimais de S ma( S % ma(imal p S tal que vale desc(p*ma() min S % ma(imal p S tal que vale desc(min*p) s6 e(istir se or il3o $nico D) ) conjunto ! pode ser particionado em am&lias. De ina uma rela/'o de equivalFncia #aseada nesta parti/'o. 4omo ningu%m tem duas m'es* ou seja* il3o(p*q1) e il3o(p*q-) implica q1<q-* todo elemento de S est relacionado a um $nico elemento ma(imal* ma(* pela rela/'o desc(p*ma(). ,ogo* para cada elemento ma(imal ma(i S teremos uma classe de equivalFncia cma(ib < U p S tal que vale desc(p*ma(i)V. B rela/'o ser mesma- am(p*q) ma( S tal que vale desc(p*ma() desc(q*ma() Sejam B < Up*s*t*uV. e K < Up*q*r*s*t*u*v*WV. Incontre a) R <U((*9) K B tal que 9 % a pr6(ima letra no al a#eto ap6s (V R < U(r*s)* (s*t)* (t*u)V (para quem leu B K): R <U(p*q)* (s*t)* (t*u)* (u*v)V

G)

>)

#) Incontre RO o ec3os re le(ivo de R e R o ec3o transitivo de RO RO<R U(r*r)* (s*s)* (t*t)* (u*u)V (para B K) RO<R U(p*p)*(q*q)*(s*s)*(t*t)*(u*u)* (v*v)V R < Re U(r*t)* (s*u)* (r*u)V (para quem leu B K) R<RO U(s*u)* (t*v)*(s*v)V c) R % uma rela/'o de ordem[ parcial ou total[ d uma rela/'o de ordem parcial* pois % ec3ada re le(ivamente e transitivamente e % anti-sim%trica* pois para todo par ((*9) de R com (f9* ( ser uma letra anterior a 9 logo % imposs&vel termos (9*().
P)

Sejam o conjunto S < Ua* #* c* dV e a rela/'o < U(a*a)* (a*#)* (#*d)* (#*a)* (#*#)* (c*a)V. 1) Determine se a rela/'o % re le(iva* sim%trica* transitiva* anti-sim%trica* irre le(iva ou assim%trica e justi ique para cada caso. ;'o % re le(iva pois altam (c*c) e (d*d). ;'o % sim%trica pois tem (#*d) mas alta (d*#). ;'o % transitiva pois tem (a*#) e (#*d) mas alta (a*d). ;'o % anti-sim%trica pois tem (a*#) e (#*a) mas a #. ;'o % irre le(iva pois tem (a*a) e (#*#). ;'o % assim%trica pois tem (a*a) e (a*#) e n'o deveria ter (a*a) e (#*a). -) Incontre O o ec3o re le(ivo de * e o ec3o transitivo de O. O < U(c*c)* (d*d)V OO < g U(a*d)* (c*#)* (c*d)V 7) Incontre as redu$%es anti-sim%trica e irre le(ivas de . Qm redu$o signi ica retirar elementos da rela/'o at% que ela satis a/a a condi/'o. Redu/'o anti-sim%trica: U(#*a)V ou ent'o U(a*#)V Redu/'o irre le(iva: U(a*a)* (#*#)V

Parte III0: Re!aes 6 7ancos de Dados

1) Seja ! um universo de pessoas e um #anco de dados ormado pelas rela/:es il3o-de(J*!)* il3a-de(J*!). a) )#ten3a uma rela/'o il3o-ou- il3a-de(J*!)* que cont%m todos os il3os de cada pessoa2 #) B partir da rela/'o de a)* o#ten3a a rela/'o unria il3os-de-jo'o(J) que cont%m todos os il3os da pessoa Nho'oO. c) ]lustre tudo com um pequeno e(emplo )KS: lem#re-se que so#re estas rela/:es podem ser aplicadas as opera/:es convencionais so#re conjuntos* como uni'o* intersec/'o* di eren/a* assim como as opera/:es relacionais: R89restri"o$R4 condi"o'4 que elimina de R todas tuplas que n'o satis aSem a condi/'o* e R89pro+e"o$R$A4 A8'' na qual BO B* o conjunto dos atri#utos de R* e as tuplas de R s'o truncadas para os atri#utos em BO (e) il3o-ou- il3a-de(J*!) < il3o-de(J*!) il3a-de(J*!) ( ) R < restri"o$ il3o-ou- il3a-de4 !<Oho'oO' il3os-de-jo'o(J) 9 pro+e"o$R(J)) (g) Seja o #anco de dados 4QRS)(4ur* Disc)2 ISM(8atI* ;omeI)2 8);(8atI* Disc)2 8BM(8atI* Disc)2 !R)J(;ome!* Disc)2 )#ten3a os dados: 1) )s nomes dos pro essores do curso de N4iFncia da 4omputa/'oO R1 < 4QRS)c4ur<O4iFncia da 4omputa/'oOb uma rela/'o com a estrutura R1(4ur* Disc) R- < !R)J.!c!.Disc<R1.DiscbR1 uma rela/'o com a estrutura R-(;ome!* Disc* 4ur) RIS!)SMB < R-c;ome!b -) )s nomes de todos monitores e(istentes R1 < ISM.IcI.8atI<8.8atIb8);.8 uma rela/'o com a estrutura R1(8atI* ;omeI* Disc)

-)

RIS!)SMB < R1c;omeIb 7) )s nomes dos monitores matriculados em N8atematica DiscretaO R- < 8BMcDisc<O8atematica DiscretaOb c8atIb nesta opera/'o com#inada* selecionamos os alunos matriculados em N8atematica DiscretaO e projetamos para de inir s6 os n$meros de matricula. B partir do resultado R1 da quest'o anterior* que cont%m uma rela/'o de todos monitores* determinamos os monitores de N8atematica DiscretaO pela jun/'o com R-: R7 < R1cR1.8atI<R-.8atIbRuma rela/'o com a estrutura R7(8atI* ;omeI* Disc)* e inalmente 7) RIS!)SMB < R7c;omeIb.

7) 4rie um #anco de dados de produtos* clientes e vendas. !ara o cliente temos um n$mero* o nome e o ano desde quan est cadastrado. Dos produtos temos um c6digo* nome e total em estoque e das vendas % registrado a data* nr. do clie e c6digo do produto* quantidade e pre/o unitrio. 4rie opera/:es relacionais para responder `s perguntas: a) "uais os clientes que e etuaram compras em um valor superior a Ri 1000*00. #) Dado uma rela/'o R a un/'o count(R) determina o n$mero de tuplas contidas em uma rela/'o. Determine quantos produtos n'o oram vendidos no ano corrente. Sugest'o: calcule quantos produtos j oram vendidos. 4onta todos produtos e(istentes* da para determinar quantos n'o oram vendidos. Memos 4,]I;MI(;R* ;)8I* B;))* !R)D(4jD* ;)8I* ISM)"QI) e VI;DBS(DBMB* 4,]I;MI* 4jD* "QB;M* !RIk)). a) RIS! < VI;DBSc"QB;MZ!RIk) 5 1000)c4,]I;MIb #) !V < VI;DBS VcV.4)D<!R)D.!b!R)D VI;D]D)S < !Vc4)Db RIS! < count(!R)D) - count(!V)

Parte I*: Funes

1) Dada uma un/'o : S M* seja a rela/'o em S(S dada por ( 9 (()< (9). a) 8ostre que % uma rela/'o de equivalFncia #) Dadas as un/:es (()<(-.- e g(() < sen((). ) que seria a classe de equivalFncia c b para cada uma dessas un/:es c) Se S % o conjunto dos n$meros reais* descreva as parti/:es de S criadas por so# (() e so# g(() d) "ual seria a e(press'o das com#ina/:es lg e gl . (a) Re le(iva: para todo (* ( (* pois (()< (() Sim%trica: se ( 9* ent'o (()< (9) e* neste caso* tam#%m temos 9 ( Mransitiva: se ( 9 ent'o (()< (9)* e se 9 S* temos (9)< (S) logo* com as duas igualdades* temos (()< (S) o que implica em ( S (#) !ara (()* c b ser&a U * - V* pois ( ) < (- ) < -.-. h para g(()* ter&amos sen( )<0* logo c b < U0* * - * - * -- * 7 * -7 *...V (c) B parti/'o de R so# (() ser&a que* para todo r R* Ur* -rV % uma parte. para g(() cada parte ser&a determinado pela classe cA b* com 0 A 1 (d) lg(() < sen-(() . - e gl (() < sen((-.-). -) Sejam os conjuntos S < U1* -* 7* DV* M < U1* -* 7* D* ?* GV e Q < UG* >* P* +* 10V e as un/:es : S M com < U(1* -)* (-* D)* (7* 7)* (D* G)V e g: M Q com g < U(1* >)* (-* G)* (7* +)* (D*>)* (?* P)* (G* 10)V. De ina a un/'o g o g o :S Q* com g o < U(1*G)* (-*>)* (7*+)* (D*10)V

a.

#.

8ostre quais das un/:es * g e g o s'o injetivas eXou so#rejetivas. % in+etiva pois cada valor de Q vai para um valor distinto de M mas n"o so0re+etiva pois os valores 1 e ? de M n'o s'o imagem de 2 g n"o in+etiva pois g(1) < g(D) < > mas % so0re+etiva pois todo valor de Q % imagem de algum valor de M por g. g o % in+etiva pois cada valor de S % levado a um valor distinto em Q mas n"o so0re+etiva pois o valor P n'o % imagem de nen3um valor de S. :' a) Seja a un/'o :S R dada por (() < (- diga se ela % injetiva ou so#rejetiva e dF o conjunto imagem (S) para S<m2 S<; e S<R. S<m: n'o % injetiva nem so#rejetiva* (m)<U0*1*-*D*+*1G*..V S<;: % injetiva mas n'o % so#re. (;)<U0*1*-*D*+*1G*..V S.R: n'o % injetiva nem so#rejetiva* (R)<U(R T (() R V #) Qma e(press'o aritm%tica pode ser representada como um gra o de un/:es. !or e(emplo* ((.9)X (9ZS) seria

( 9

(.9 . X res

Z S

9ZS

) que resulta em uma composi/'o de un/:es div(som((*9)*mult(9*S)). 4rie um gra o de un/:es e a respectiva composi/'o de un/:es para a e(press'o: ((.sen-(9))Xsen(() . -(. RIS!)SMB:
9 sen S. . X ( sen -( res

A expresso ficaria: som(div(som(x,quad(sem(x)),sen(x)),mult(2,x))

D).."uais das un/:es a seguir s'o #em de inidas* injetivas eXou so#rejetivas[ !ara as que n'o s'o #ijetivas reduSa o dom&nio ou o contradom&nio para se tornar #ijetiva e de ina a un/'o inversa. a) :m ; dada por (() < (- . 1 n'o % injetiva pois para todo (m* (()< (-()2 n'o % so#rejetiva pois para todo (* (() ser o quadrado de um n$mero mais um. ,ogo* p.e(. 7* > e P n'o est'o em (m)2 !ara tornar a un/'o injetiva* #asta reduSir o dom&nio aos n$meros positivos e o Sero* o ;. !ara torn-la so#rejetiva* analisemos ((). Im ;* teremos2 (0)<1* (1)<12 (-)<?2 (7)<10* (D)<1> e assim por diante.

Int'o* para tornar (() uma #ije/'o consideramos ;Z o conjunto dos naturais com o Sero e D<U(X(<n- . 1* para algum n;ZV e :;Z D ser uma #ije/'o. B inversa ser -1:D; tal que -1(9)< (9-1) #) :m " dada por (() < 1X( n'o % #em de inida* pois para 0m* (0) n'o est de inida. ReduSindo o dom&nio para m-U0V* teremos que % injetiva* pois para quaisquer inteiros ( e 9* se ( 9 certamente 1X( 1X9 n'o % so#rejetiva pois a imagem de qualquer (m-U0V (() ser um n$mero entre -1 e 1* logo todos n$mero maiores que 1 ou menores que -1 n'o est'o na imagem de . !ara tornar a un/'o #ijetiva notamos que a imagem de (m-U0V) < U9X 9 % um racional que pode ser escrito da orma 1X( com (mU0VV. Se c3amarmos esse conjunto de D* teremos uma #ije/'o : m-U0V D. ;esse caso -1(()< (()<1X(. c) :; ; ; dada por (() < ((*(-) ser injetiva pois se ( 9* % claro que ((*(-) (9*9-). n'o % so#rejetiva* pois do contradom&nio ; ;* o primeiro ; ser todo co#erto por mas no segundo s6 os quadrados per eitos ser'o imagem de . ,ogo* para tornar a un/'o uma #ije/'o de inimos D ; ; como D<U(9*S)X S<9-V. Memos* ent'o* :; D* com (()<((*(-) e -1: D ;* com -1((*(-)<( d) : ; ; ; dada por ((*9) < ((.9)Ista un/'o est #em de inida mas n'o % injetiva (p.e(. (1*-)< (-*1)) e n'o % so#rejetiva (p.e(. 7 n'o % imagem de nen3um par ((*9) ; ;. !ara torn-la injetiva pode-se reduSir o primeiro dom&nio a um $nico n$mero* p.e(. 0 (Sero) e o contradom&nio aos quadrados per eitos !<U0*1*-*D*P*1G*..V. Bssim ter&amos : U0V ; ! e a inversa -1:! U0V ; tal que -1(S) < (0* S)

Parte *: ;struturas a!<0ricas

1) Dadas as lge#ras de Koole &1 < 1U0*1V* .* n* N* 0* 15* com (.9 < ma(((*9) e ( = 9 < min((*9)* e &' < 1UJ*VV* * * * J* V5* ent'o e(iste um isomor ismo natural 3: &1&'* com 3(0) < J e 3(1) < V. Resolva* cada e(press'o a seguir de duas ormas: (1) diretamente em &1 e (-) aplicando 3(e)* resolvendo em &' e aplicando 3-1 ao resultado: a) (0.(1.1)O)O n ((0OO.1)n 0) Jorma direta: (0.(1.1)O)O n ((0OO.1)n 0) < (0.1O)O. ((0.1).0) <(0)O . (1 . 0) < 1 . 0 < 0 Jorma indireta: 3(0.(1.1)O)O n ((0OO.1)n 0) < (J (V V) ((J V) J) < (J V) ((J V) J)< J (V J) <V J<J inalmente 3-1(J) < 0 #) 1O n 0O . (1.1.(1n 0))O Jorma direta: 1O n 0O . (1.1.(1n 0))O < 0 n 1 . (1.(0))O< 0.(1)O < 0. 0 < 0 Jorma indireta: 3(1O n 0O . (1.1.(1n 0))O < V J (V V (V J)) < J V (V J) < J V < J J < J* logo 3-1(J) < 0 -) !rove que para toda olge#ra de Koole vale a) ( < 9 se e somente se ( n 9O . 9 n (O < 0 i) se (<9 temos ( n 9O . 9 n (O < ( n (O . ( n (O < 0 . 0 < 0 ii) se ( n 9O . 9 n (O < 0 temos ( n 9O < 0 e 9 n (O < 0 mas* se ( n 9O < 0 9O % o complemento de (* logo 9 < (. #) (.9O < ( . ((O n 9 . ( n 9)O vamos mostrar que 9O < ((O n 9 . ( n 9)O. 8as ((O n 9 . ( n 9)O < (((O . ()n9)O < (1n9)O < 9O 7) Dado S 9 {1,2,3,4, !, seja o reticulado R<1U11*-5*11*75* 11*D5*1-*?5*17*?5*1D*?5V*in *sup5. !orque a estrutura K<1S* in * sup* N* 1* ?5* em que N seria dado por (O < 9 tal que sup((*9)<? e in ((*9)<1* n'o % uma olge#ra de Koole (sugest'o: na olge#ra de Koole o complemento tem que ser $nico). I se retirarmos o elemento D de S[

;'o % uma olge#ra de Koole* pois* por e(emplo* o elementos - tem dois complementos* o 7 e o D* pois sup(-*7) < ? e sup(-*D) < ?. Se retirarmos o D* ter&amos 1O<?* -O<7* 7O<- e ?O<1. !ortanto s6 tem um complemento. !ara ser uma olge#ra de Koole vamos de inir o isomor ismo. Seja o mor ismo 3 dado por: ( < 3(()<
1

U1V

7 U-V

? U1*-V

I 3(sup) < 2 3(in ) < !ara ser isomor ismo deve valer: 1. 3 % uma #ije/'o entre B e K. ]sto est claro na ta#ela da un/'o. -. 3(in ((*9)) < 3(() 3(9) 7. 3(sup((*9)) < 3(() 3(9) D. 3((O) < 3(() !odemos mostrar as propriedades -* 7 e D pela ta#ela:
1 1 1 1 7 y 2 3 3 inf$14>' 1 1 1 1 7 ?$1' ?$>'

{1! {2!

sup$14>' 7 ? ? ? ?

?$1' ?$>' U1V U-V U1*-V U1*-V U1*-V U1*-V

18 ?

?$18'

?$1'@

c1*-V U-V U1V

U1*-V U-V U1V

7 -

;'o mostrei os valores triviais quando (<9 e os inversos. A' Dada uma lge#ra de Koole K < 1K* .* n* N* 0* 15 podemos de inir um novo operador (ou e(clusivo) como sendo ( 9 < ( . 9O . 9 . (O . 1. Bnalise as propriedades de 1K* 5 e determine sua estrutura alg%#rica. Bssociativa: ( (9 S) < ( (9.SO . S.9O) < (. (9.SO . S.9O)O . (9.SO . S.9O).(O< (.((9.SO)O.(S.9O)O) . (9.SO.(O.S.9O.(O) < (.(9O.S).(SO.9) . (9.SO.(O.S.9O.(O) < ((.9O.(.S).(SO.9) . (9.SO.(O.S.9O.(O) < (.9O(SO.9).(.S.(SO.9) . (9.SO.(O.S.9O.(O) < (.9O.SO. (.9O.9 . (.S.SO.(.S.9 . (9.SO.(O.S.9O.(O) < (.9O.SO . (.S.9 . (9.SO.(O.S.9O.(O) < (.9O.SO.9.(.SO . S.(.9.S.(O.9O < ((.9O.9.(O).SO . S. ((.9.(O.9O) < ((.9O.9.(O).SO . S.((O.9O.9.9O . (O.(.9.() < ((.9O.9.(O).SO . S.(((O.9).9O.((O.9).()) < ((.9O.9.(O).SO . S. ((O.9).(9O.() < ((.9O.9.(O).SO . S.((.9O)O.(9.(O)O< ((.9O.9.(O).SO.S. ((.9O.9.(O)O<((.9O.9.(O) S < (( 9) S Solu/'o ta#elar: ( 9 S 9S ( (9 S) ( 9 (( 9) S 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1

4omutativa: ( 9 < ( . 9O . 9 . (O < 9.(O . (.9O < 9 ( ;eutro: ( 0 < ( . 0O . 0 . (O < (.1 . 0 < (* logo 0 % o neutro ]nverso: (( < (.(O . (O.( < 0.0 < 0 logo todo elemento % seu pr6prio inverso. 4onclui-se que 1K* 5 % um grupo comutativo. considerando ( 9 uma un/'o #ooleana* dF suas de ini/:es ta#elar e esquemtica* usando os 7 esquemas a#ai(o. Ma#elar: 9 (O 9O (.9O 9.(O (.9O.9.(O (9 ( 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 Isquemtico:
-.

?) Im cada caso determine a estrutura alg%#rica de "#, $%: e) S < U1* -1* i* -iV e Z % a multiplica/'o com i < -1 e i-< -1. (sugest'o: a/a a ta#ela de multiplica/'o) Ma#ela: Z 1 -1 1 1 -1 -1 -1 1 i i -i -i -i i Ma#ela: 1 1 D 7 1 D 7 pela ta#ela vF-se que a opera/'o % ec3ada. d associativo pois a multiplica/'o de n$meros comple(os % associativa. Mem elemento neutro (1)* os inversos s'o -1O<1* 1O<1* iO<-i e CiO<i2 pela associatividade da multiplica/'o ela tam#%m % associativa e % comutativa pois a ta#ela % sim%trica. ,ogo % um <rupo co-utativo. ) D D 7 1 S < U1*-*7*DV e Z % n? o produto modulo ?. d ec3ado (vide ta#ela). d associativo pois a multiplica/'o de n$meros m6dulo n % associativa. d comutativo pois a ta#ela % sim%trica. ) elemento neutro % 1. ]nversos 1O<12 -O<7* 7O<- e DO<D. Bssociativo. Mam#%m % grupo comutativo.

i i -i -1 1

-i -& 1 1 -1

Z 1 7 D

7 7 1 D -

ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp G) Bssim como e(iste um isomor ismo entre lge#ras (que preserva as opera/:es) pode-se de inir isomor ismos entre conjuntos parcialmente ordenados 1S* 5 e 1SO* O5 como uma #ije/'o :SSO que preserva as ordens* ou seja* se ( 9 ent'o (() O (9). 1. Se S<SO<Ua*#*c* dV de ina 7 ordens parciais em S que s'o isomor as entre si.

# c

a # d

-. Se S tem D elementos Ua*#*c*dV mostre quantos reticulados distintos (n'o isomor os) podem ser ormados. (SQYISMq): use os Diagramas de Lasse para !)SIMS para resolver os dois itens.)
a # c d c d a #

>)

Dado 9 Ua*e*iV* e S 9U1*-*7V. "ue determinam duas olge#ras de Koole: ( < 1 7 * Z* .* N* * aei5 com 7 sendo todas cadeias de com 0 a 7 vogais em ordem al a#%tica2 a cadeia vaSia2 ( Z 9 < a cadeia com as letras comuns a ( e 9* ( .9 < a cadeia com todas letras de ( e 9* e (O < -(* ou seja* a cadeia com todas letras que n'o est'o em (. e S < 1P(S)* * * N* * S5 a) !elo teorema das lge#ras #ooleanas initas estas duas estruturas s'o isomor as* pois T,T<T!ST<P. De ina este isomor ismo2 o isomor ismo 3: 7 S % dado pela ta#ela: a ( < e i ae ai ei aei 3(()< U1V U-V U7V U1*-V U1*7V U-*7V U1*-*7V !ara mostrar que % isomor ismo* tem que ser um 3omomor ismo e ser #ijetora. #) dada a e(press'o (O Z (ai Z ei) . (aei Z (a)O)). 4alcule o resultado de duas maneiras: (i) diretamente em ( e (ii) convertendo-a para PS* resolvendo em PS* e convertendo o resultado de volta para (. i) direto: (O Z (ai Z ei) . (aei Z (a)O) < (aeiZi).(aeiZei) < i.ei< ei ii) indireto: 3((O Z (ai Z ei) . (aei Z (a)O))<(( O (U1*7VU-*7V) (SU1VO)< ((S U7V) (S U-*7V) < U7V U-*7V < U-*7V* 3-1(U-*7V < ei. Dado uma olge#ra de Koole 1S* .* .* N* 0* 15 qualquer* mostrar* justi icando cada passo: a) Se de inirmos uma nova opera/'o ( Nou e(clusivoO) como sendo: ( 9<(.9O . 9.(O* vale (9 < 9 ( e tam#%m (1<(O ( 9< (.9O . 9.(O<9.(O.(.9O<9( ( 1< (.1O . 1.(O<1#(.0.(O.1<D#0.(O<Da (O #) !ropriedades ((.9).((.S) < (.c9.((.S)b e tam#%m ((.9.()O < (O (.c9.((.S)b< 7#(.9.(((.S)< -#(.9.((.()S<(.9.(.S

P)

((.9.()O<7a (((.9).((.())O<Ga(((.9).()O<>a((.9)O.(O<1a(O.((O.9O)<a#sor/'o(O ( alta provar a a#sor/'o) +) Dado uma lge#ra 1m* 5* sendo m os inteiros* de ina opera/:es tal que: a. 4omutativa mas n'o associativa ((*9) < ((.9)- % comutativa* pois ((.9)- < (9.()- e n'o % associativa pois* p.e(. ((1.-)- .7)- < (7- .7)- < (+ .7)- < 1-((1.(- .7)-)- < (1. ?-)- < -?#. Jorma s6 um semi grupo (n*m)<n. d associativa pois (((*9)*S) < ((*S) < ( e ((* (9*S)) < ((*9) < ( 8as n'o % comutativa* pois ((*9) < ( e (9*() < 9. ;'o tem neutro* pois deveria valer ((*i) < (i*() < ( mas* para ( i teremos (i*()<i (= c. 1m* 5 orma s6 um mon6ide ((*9) < (.9 % claramente associativa e tem neutro* o 1 (um). 8as* como o dom&nio % m os inteiros n'o tFm inverso tal que n.n-1 < 1 10) Dado uma lge#ra 1S* Z5* determine para cada caso se temos um semi-grupo* mon6ide* grupo ou nen3um desses: a. S < R (os reais) e (Z9 < ((.9)Bssociativo: contra-e(emplo 1Z(-Z7)<(1.(-.7)-)-<(1.-?)- < -G(1Z-)Z7<(1.-)-.7)-<(+.7)- <1-,ogo n'o % semi-grupo* portanto n'o % mon6ide nem grupo. #. S < U1*-*DV e (Z9 % o produto m6dulo G Bssoc: (Z(9ZS)<(.q1* sendo q1 (< o resto da divis'o de 9.S por G) < q- (< o resto da divis'o de (.q1 por G) )#serve que se 9ZS est ora de S s6 pode ser P* que daria q1<1 ou pode ser 1G dando q1 < D. Im am#os os casos pode-se mostrar* por e(aust'o* que (Z(9ZS)<(.9.S mod G. Bnlogamente pode-se mostrar que ((.9).S tam#%m coincide com (.9.S. ,ogo (.(9.S) < (.9.S < ((.9).S ;eutro: % o 1* pois (Z1<(<1Z( para todo ( em S ]nverso: nem o - nem o D possuem inverso* pois -.(<- para todo ( e D.1<D* D.-.- e D.D<D* logo nunca D.(<1. 4oncluindo* % um mon6ide. c. S < ; (os naturais) e (Z9 < min((*9) min((*min(9*S)) < min ((*9*S) < min(min((*9)*S) C logo % associativa min((*9) < min(9*() C logo % comutativa n'o e(iste um natural n tal que min((*n) < ( para todo (* pois #asta tomar (<n.1 e teremos min(n.1*n) < n e n'o n.1. C logo n'o tem neutro 4onclus'o: % um semi-grupo comutativo d. S < ; ; e ((1*91)Z ((-*9-) < ((1*9-) (((1*91)Z ((-*9-))Z( (7*97) < ((1*9-)Z( (7*97) < ( (1*97) e ((1*91)Z (((-*9-)Z( (7*97)) < ((1*91)Z( (-*97) < ( (1*97)* logo % associativa ((1*91)Z ((-*9-) < ((1*9-) mas ((-*9-)Z ((1*91) < ((-*91)* logo n'o % comutativa 4omo o resultado da opera/'o sempre ter um componente do segundo operando* n'o % poss&vel 3aver um (i-*i-) tal que ((1*91)Z (i-*i-) < ((1*91)* logo n'o tem identidade e* consequentemente* n'o tem inverso. 4onclus'o: % um semi-grupo n'o comutativo e. S < U X :;;V (conjunto das un/:es naturaisV e Zg(() < (().g(()

Bssociativa: ( Zg)Z3(() < ( (().g(()).3(() < (().g(().3(() < (() . (g(() . 3(()) < Z(gZ3) (() 4omutativa: como (().g(() < g(() . (() ser comutativa. ]dentidade: seja i(()<0* teremos Zi(() < (() . i(() < (() . 0 < (() ;eutro: seja g(() < C (() ent'o Zg(() < (() . - (() < 0 < i(() ,ogo % um grupo comutativo 11) 8ostre que a) 1R* .* .5 % um corpo comutativo 8ostrar que 1R* .*.5 % um anel* ou seja: 1R*.5 % grupo comutativo (vale B4;]) e 1R*.5 % semi-grupo. d cil mostrar isso. 1R*.5 al%m de ser semi-grupo possui neutro* logo % um mon6ide. 1R-U0V*.5 tam#%m possui inverso 1X( para todo ( R-U0V* logo % grupo comutativo. #) Im uma lge#ra de Koole 1S* .* .* N* 0* 15* 1S*.5 % um mon6&de comutativo !ela propriedade 1a % comutativo pela -a % associativo* e pela Da o neutro % 0. B opera/'o N n'o determina um inverso em rela/'o a .* pois a.aO < 1 e deveria ser 0.
1-)

Im cada caso a#ai(o* mostre quais das un/:es de inidas s'o #em de inidas* #ije/:es* 3omomor ismos e quais s'o isomor ismos. !ara o isomor ismo* motre o isomor ismo inverso. a) : 1m* . 5 1m* . 5 dada por (() < 0 % um 3omomor ismo pois se (.9<S* temos ((). (9)<0.0<0< (S). ;'o % isomor ismo pois n'o % injetiva nem so#rejetiva. #) : 1m* . 5 1m* . 5 dada por (() < ( . 1 ;'o % 3omomor ismo* pois se (.9<S* temos ((). (9)<(.1 . 9.1 < (.9.- enquanto ((.9)<(.9.1 (.9.-. Se n'o % 3omomor ismo tam#%m n'o pode ser isomor ismo. c) : 1m* .5 1m* . 5 dada por (() < ( ;'o % 3omomor ismo pois se (.9<S dever&amos ter ((). (9)< (S) ou seja (.9<S ,ogo tam#%m n'o % isomor ismo. d) : 1R-U0V* . 5 1R-U0V* . 5 dada por (() < 1X( d #em de inida pois todo real di erente de Sero tem um inverso. d injetiva pois se ( 9 tam#%m temos 1X( 1X9 d so#rejetiva pois todo real di erente de Sero ( tem um inverso 1X(. ;esse caso (1X() < (* logo ( pertence ` imagem (R-U0V). !ara ser um 3omomor ismo tem que valer (() . (9) < ((.9) j que dos dois lados a opera/'o % a soma. B primeira parte % 1X( . 1X9 < (9.()X((.9) e a segunda ser 1X((.9)* logos s'o di erentes. !.e(. para (<1 e 9<- ter&amos (9.()X((.9) < 7X- e 1X((.9) < 1X7. 4onclu&mos que n'o % 3omomor ismo. e) : 1m* . 5 1!* . 5 dada por (() < -( (! % o conjunto de n$meros pares) d #em de inida pois para todo inteiro n* -n % um n$mero par. d injetiva pois para inteiros n e m di erentes* teremos -n -m. d so#rejetiva* pois para todo par p e(iste o inteiro pX- tal que (pX-) < p. !ara ser 3omomor ismo deve valer (() . (9) < ((.9). Memos (() . (9) < -( . -9 < -((.9) < ((.9). Mam#%m -1((). -1(9)< (X- . 9X- < ((.9)X- < -1((.9) ,ogo % #ije/'o e am#os s'o 3omomor ismos* portanto % um isomor ismo. ) : 1m* .5 1!* . 5 dada por (() < -( (! % o conjunto de n$meros pares) !elos mesmos argumentos acima % uma #ije/'o. !ara ser 3omomor ismo deve valer (() . (9) < ((.9). Memos (() . (9) < -( . -9 < D(9* mas ((.9) < -((.9). ,ogo n'o % 3omomor ismo nem isomor ismo.

17) De ina a estrutura alg%#rica de: 1) 1 Z* TT5 com: Z o conjunto de todas cadeias de caracteres (strings) TT a opera/'o de concatena/'o de strings d associativo pois* se a<a1..an* #<#1..#m e c<c1..cA* teremos aTT(#TTc)<(aTT#)TTc < a1..an #1..#m c1..cA ;'o % comutativo* pois* por e(emplo a#TTcd < a#cd mas cdTTa#<cda# Mem neutro* pois para a cadeia vaSia vale: a <a para qualquer a ;'o tem inverso* pois a concatena/'o s6 aumenta uma cadeia* logo para toda cadeia n'o vaSia a n'o pode e(istir # tal que aTT#< 4onclui-se que a estrutura % um 8on6ide. -) 1 mG* .*.5 com: mG< U0*1*-*7*D*?V sendo . a soma m6dulo G e . o produto m6dulo G Bnalisemos cada opera/'o: 1 mG* .5* % associativo pois como a soma % associativa teremos (.(9.S)<((.9).S<A. B soma m6dulo G de am#os os termos ser o resto da divis'o de A por G. d co-utativo por argumento anlogo ao acima* decorrente da comutatividade da soma Mem neutro que % o 0* pois (.0<( Mem inverso* pois para todo nmG* teremos que n.(G-n)<G<0 (mod G). ,ogo (O<G-( ,ogo 1 mG* .5 % um grupo comutativo. 1 mG* .5: !elos mesmos argumentos acima* vF-se que % associativo e co-utativo2 Mem neutro que % o 1* pois (.1<( 1 mG*-U0V .5 n'o % grupo* pois mG*-U0V s6 tem inteiros que n'o tFm inverso na multiplica/'o. ,ogo 1 mG* .5 % um semi-grupo comutativo e 1 mG*.* .5 ser um ane! co-utativo com neutro na multiplica/'o. 7) 1m?* .?* Z ? 5* com: m? < U0*1*-*7*DV ( .? 9 < ((.9) mod ?* e ( Z? 9 < ((.9) mod ? como ( .? (9.?S)<((.9.S) mod ?* e (( .? 9).?S <((.9.S) mod ? B soma m6dulo ? % associativa. Bnlogamente a multiplica/'o tam#%m o %. 4omo a soma e multiplica/'o normais s'o comutativas estas opera/:es m6dulo ? tam#%m o ser'o. ) neutro de .? % o 0. ) neutro de Z? % o 1. )s inversos em .? ser'o: 0O< 0* 1O<D* -O< 7* 7O<- e DO<1. Im Z? n'o pode 3aver inverso pois para ( m? n'o 3aver inverso (O com (.(O<1. 8esmo para m? C U0V. B distri#utividade que vale para as soma e multiplica/'o normais pode ser aplicado `s opera/:es de m6dulo pois* por e(emplo* em uma e(press'o do tipo (Z? (9.?S) < ((.(9.S)mod ?) mod ? < ((.(9.S))mod ? < ((.9.(S))mod ? < (((.9)mod ?.((S)mod ?))mod ? < ((Z? 9).? ((Z?S). 4oncluimos que a estrutura % um Ane! Co-utativo. 1D) . Seja K<U0*1*a*#V. De ina uma lge#ra de Koole 1K*.*Z*O*0*15 sendo que N % de inido como: 0O<1* 1O<0* aO<# e #O<a. De ina as opera/:es . e Z por duas ta#elas. . B B 0 & 1 a a 0 # Z B B 0 & 0 a 0 0 0

& a 0

1 a #

1 1 1

1 a 1

1 1 #

& a 0

0 0 0

1 a #

a a 0

# 0 #

1?) Qma e(tens'o da l6gica proposicional considera 7 valores poss&veis: Verdade(V)* Jalso(J) ou ;ulo(;). ;esta l6gica os operadores * e s'o de inidos como
p q p q p q p q p p V J V V V V V V J V V J J V J V ; ; V ; ; V ; V J V J J V V J J J J J J J ; J J ; ; ; V ; ; V V ; J J ; J ; ; ; ; ; ; ;

8ostre que a l6gica de 7 valores 1UJ*V*;V* * * * J* V5. n'o % uma lge#ra de Koole. Bnalise* para o * as propriedades comutativa* neutro e inverso2 e a distri#utiva ( (9 S) <(( 9) (( S). Sugest'o: para analisar o a/a a matriS da opera/'o. )#servando a matriS p q V J ; VF-se que p q % co-utativo pois a matriS % sim%trica. V J ; V ) elemento neutro % V* o#servando a primeira lin3a ou J J J J primeira coluna. ; J ; ; ;'o tem inverso* pois n'o 3 nen3uma lin3a que leva todos valores em V. Distri#utiva: um e(emplo V (; J) < V ; < ; e (V ;) (V J)< ; J < ; 4ompleto (as com#ina/:es de V e J s'o as clssicas. 8ostramos as com#ina/:es de V com pelo menos um valor ;): ( 9 S 9 S ( (9 S) ( 9 ( S (( 9) (( 9)
V V ; V ; ; V ; V ; ; ; ; V V ; V ; V V V ; V ; V V ; ; ; ; V ; ; ; ; ; ; V ; ; ; ; V V ; ; ; ;

;'o % lge#ra de Koole pois* como V % o neutro de * deve valer ( ( < V. 8as* pela ta#ela temos que ; ; < ; ; < ; V= 1G) Dada a e(press'o #ooleana ((.9O).(9O.S) a) escreva ela apenas com operadores ;B;D ((.9O).(9O.S) <((.9O).9O . ((.9O).S < (( ((.9O).9O.((.9O).S )O)O < (( (((.9O).9O)O . (((.9O).S)O )O)O < ((((.9O) 8C 9O) . (((.9O) 8C S))O < (((.9O) 8C 9) 8C (((.9O) 8C S) < ((((.9O)O)O 8C 9) OC ((((.9O)O)O 8C S) < (( ((( 8C 9O)O 8C 9) 8C ((( 8C 9O)O 8C S) )O)O < ( ((( 8C 9O) 8C 1) 8C 9) 8C (((( 8C 9O) 8C 1) 8C S) )O< ( (((( 8C (9 8C 1)) 8C (9 DC 1)) DC 9) DC (((( DC (9 DC 1)) DC 1) DC S) )O < (((( 8C (9 8C 1)) 8C (9 DC 1)) DC 9) DC (((( DC (9 DC 1)) DC 1) DC S) DC 1 #) escreva ela apenas com operadores ;)R ((.9O).(9O.S) < ((O.9)O.(9O.S) < (((O.9) . (9O.S)O)O < ((O . 9) D% (9O D% S) < ((((O . 9))O)O D% (9O D% S) < (((O D% 9))O D% (9O D% S) < (((( D% 0) D% 9) D% 0) D% ((9 D% 0) N. S)

c) 4alcule o valor da e(press'o para (<1* 9<0 e S<0. Qse primeiro a e(press'o original e depois a s6 com ;B;D e a s6 com ;)R !ara (<1* 9<0 e S < 0* teremos )riginal: ((.9O).(9O.S) < (1.0O).(0O.0) < 1.(1.0) < 1.1 < 1 ;B;D: (((( 8C $9 8C 1)) 8C (9 DC 1)) DC 9) DC (((( DC (9 DC 1)) DC 1) DC S) DC 1 < (((1 8C (0 8C 1)) 8C (0 DC 1)) DC 0) DC (((1 DC (0 DC 1)) DC 1) DC 0) DC 1< (((1 8C 1) 8C 1) DC 0) DC (((1 DC 1) DC 1) DC 0) DC 1 < ((0 8C 1) DC 0) DC ((0 DC 1) DC 0) DC 1< (1 DC 0) DC (1 DC 0) DC 1 < (1 DC 1) DC 1 9 0 DC 1 < 1 ;)R: (((( D% 0) D% 9) D% 0) D% ((9 D% 0) N. S) < (((1 D% 0) D% 0) D% 0) D% ((0 D% 0) N. 0) < ((0 D% 0) D% 0) D% (1 D% 0) < (1 D% 0) D% 0 < 0 D% 0 < 1