3 Rela~es e Funoes co c~

O cap tulo inicia-se com uma discuss~o sobre pares ordenados e o produto cartesiano a de dois conjuntos. O conceito de rela~o ent~o denido como sendo um conjunto ca e a de pares ordenados. A conex~o a ntima entre partioes e relaes de equival^ncia, num c~ co e conjunto, cuidadosamente examinada. Como prepara~o para os leitores que pretendem e ca seguir estudando mais matemtica moderna, propriedades importantes de funoes s~o a c~ a estudadas. Uma grande quantidade de exemplos constru e da.

3.1

Produto cartesiano de conjuntos

Dados dois objetos quaisquer a e b, podemos formar um novo objeto (a; b), chamado par ordenado a,b.1 2 O adjetivo \ordenado" enfatiza aqui que a ordem pela qual os objetos a e b aparecem entre par^nteses essencial. Note que o par ordenado (a; b) n~o o e e a e mesmo que o conjunto fa; bg. H um modo satisfatrio, embora complicado, de denir a o o par ordenado (a; b) como sendo o conjunto ffag; fa; bgg, de onde segue a propriedade \(a; b) = (c; d) , a = c e b = d" (Veja Problema 11, Exerc cios 1.3.1). Dois pares ordenados (a; b) e (c; d) s~o considerados iguais (=) se e somente se a a = c e b = d. Por exemplo, (x; y) = (7; 8) se e somente se x = 7 e y = 8. Em geometria anal tica, o plano cartesiano pode ser considerado como o conjunto de todos os pares ordenados de nmeros reais. Enunciaremos formalmente este conceito u do seguinte modo:

Deni~o 3.1 Sejam A e B dois conjuntos quaisquer. O conjunto de todos os pares ca ordenados (x; y), com x 2 A e y 2 B, chamado o produto cartesiano de A e B, e e e
Infelizmente, a nota~o (a; b) para um par ordenado a mesma para um intervalo aberto quando a ca e e b s~o nmeros reais. Entretanto, o leitor atento dever ser sempre capaz de fazer a distin~o a partir a u a ca do contexto. 2 Desde o Cap tulo 2, j zemos a op~o por denotar o intervalo aberto de extremos a e b por ]a; b[. a ca (N. do T.)
1

49

50 denotado por A B. Simbolicamente, A B = f(x; y) j x 2 A ^ y 2 Bg

Relacoes e Funcoes ~ ~

Para o par ordenado (a; b), a chamado a primeira coordenada e b a segunda e e coordenada. Exemplo 3.1 Sejam A = fa; b; cg e B = f1; 2g. Encontre os produtos cartesianos A B e B A. Solu~o. Pela Deni~o 3.1 acima, temos ca ca A B = f(a; 1); (a; 2); (b; 1); (b; 2); (c; 1); (c; 2)g e B A = f(1; a); (1; b); (1; c); (2; a); (2; b); (2; c)g Notamos que A B 6B A. Podemos representar geometricamente o produto = cartesiano A B como o conjunto de pontos destacados na seguinte gura.

Figura 7. Exemplo 3.2 Seja A um conjunto qualquer. Encontre A e

Solu~o. Como A o conjunto de todos os pares ordenados (a; b), tais que a 2 A ca e e b 2 , e como o conjunto vazio n~o contm nenhum elemento, n~o h nenhum b a e a a em ; portanto A = . Analogamente, A = . Teorema 3.1 Sejam A, B e C tr^s conjuntos quaisquer. Ent~o e a (a) A (B \ C) = (A B) \ (A C). (b) A (B [ C) = (A B) [ (A C).

A.

Relacoes e Funcoes ~ ~ Demonstra~o. ca (a)

51

(a; x)2 A (B \ C) , (a 2 A) ^ (x 2 B \ C) Def. 3.1 , (a 2 A) ^ (x 2 B ^ x 2 C) Def. de \ , (a 2 A) ^ (a 2 A) ^ (x 2 B) ^ (x 2 C) Idemp., Assoc. (Cap. 1) , [(a 2 A) ^ (x 2 B)] ^ [(a 2 A) ^ (x 2 C)] Com., Assoc. (Cap. 1) , [(a; x) 2 A B] ^ [(a; x) 2 A C] Def. 3.1 , (a; x) 2 (A B) \ (A C) Def. de \

Portanto, pela Deni~o 2.1, do Cap ca tulo 2, acabamos de demonstrar que A (B \ C) = (A B) \ (A C) Informalmente, esta igualdade pode ser enunciada: O produto cartesiano distribui sobre a interse~o. ca Deixaremos a demonstra~o da parte (b) ao leitor, como exerc ca cio.

Teorema 3.2 Sejam A, B e C conjuntos quaisquer. Ent~o a A (B C) = (A B) (A C) Ou seja, o produto cartesiano distribui sobre a complementa~o. ca Demonstra~o. ca (a; x)2 A (B C) , (a 2 A) ^ (x 2 B C) Def. 3.1 , (a 2 A) ^ (x 2 B ^ x 6 2 C) Def. 2.5 (Cap. 2) , (a 2 A) ^ (a 2 A) ^ (x 2 B) ^ (x 6 2 C) Idemp., Assoc. (Cap. 1) , [(a 2 A) ^ (x 2 B)] ^ [(a 2 A) ^ (x 6 2 C)] Com., Assoc. (Cap. 1) , [(a; x) 2 A B] ^ [(a; x) 6 C] Def. 3.1 2A , (a; x) 2 (A B) (A C) Def. 2.5 (Cap. 2) Assim, acabamos de demonstrar que A (B C) = (A B) (A C)

52

Relacoes e Funcoes ~ ~

3.1.1

Exerc cios

1. Descreva cada um dos seguintes conjuntos, geometricamente, esboando um grco c a no plano cartesiano. (a) f(x; y) 2 R R j x = yg (b) f(x; y) 2 R R j x > yg (b) f(x; y) 2 R R j jx + yj 1g 2. Sob quais condi~es nos conjuntos A e B ser verdade que A B = B A? co a 3. Demonstre o Teorema 3.1(b): A (B [ C) = (A B) [ (A C). 4. Demonstre que A B = , A = _ B = . 5. Demonstre que, se A, B e C s~o conjuntos e A B, ent~o A C B C. a a 6. Se o conjunto A tem m elementos e o conjunto B tem n elementos, quantos elementos (pares ordenados) tem A B? 7. O produto cartesiano AA tem 9 elementos, dentre os quais s~o encontrados (1; 0) a e (0; 1). Encontre os elementos restantes e o conjunto A. 8. Demonstre ou refute (dando um contra-exemplo) cada uma das seguintes arma~es. co (a) A B C D se e somente se A C e B D. (b) O conjunto das partes }(A B) de A B o produto cartesiano }(A) }(B) e dos conjuntos das partes }(A) e }(B). (c) (A B) [ (C D) = (A [ C) (B [ D). 9. Demonstre que, se A, B, C e D s~o quatro conjuntos quaisquer, ent~o a a (A C) \ (B D) = (A \ B) (C \ D): 10. Sejam A1 ; A2 ; : : : ; An conjuntos quaisquer. Pode voc^ generalizar a Deni~o 3.1 e ca ao produto cartesiano A1 A2 A3 de tr^s conjuntos? Pode voc^ generalizar isto ao e e produto cartesiano A1 A2 An de n conjuntos? 11. Dena o par ordenado (x; y) como sendo o conjunto ffxg; fx; ygg. Use esta deni~o para demonstrar que (a; b) = (c; d) se e somente se a = c e b = d. ca

3.2

Rela~es co

Dados dois conjuntos A e B, n~o necessariamente distintos, quando dizemos que um a elemento a de A est relacionado a outro elemento b de B,por uma rela~o R, estamos a ca fazendo uma arma~o sobre o par ordenado (a; b) no produto cartesiano A B. Porca tanto, uma deni~o matemtica de uma rela~o pode ser dada precisamente em termos ca a ca de pares ordenados no produto cartesiano de conjuntos. Deni~o 3.2 Uma rela~o R de A para B (ou de A em B) um subconjunto do ca ca e costume denotar (a; b) 2 R por a R b. O s produto cartesiano A B. E mbolo a R b e lido \a est R-relacionado a b". a Freqentemente A e B s~o um mesmo conjunto, digamos X. Nesse caso, diremos u a que R uma rela~o em X em vez de \de X para X". Por exemplo, em uma comunidade e ca

Relacoes e Funcoes ~ ~

53

e e X,3 dizer que a (para Alberto) o marido de b (para Beatriz), considerar Alberto e Beatriz como um par (ordenado) (a; b) na rela~o M (de ser o marido de : : : ). O ca s mbolo a M b ou (a; b) 2 M pode ser lido \a marido de b". e N~o necessrio colocar Beatriz depois de Alberto no par ordenado (a; b). Podemos a e a dizer que Beatriz a esposa de Alberto, ou que o par ordenado (b; a) est na rela~o E e a ca (de ser a esposa de : : : ). O s mbolo b Ea ou (b; a) 2 Epode ser lido: \b a esposa de e a". Neste exemplo, a rela~o E chamada a rela~o inversa de M . ca e ca Deni~o 3.3 Sejam A e B dois conjuntos, n~o necessariamente distintos, e seja R ca a uma rela~o de A para B. Ent~o a rela~o inversa R 1 da rela~o R a rela~o de B ca a ca ca e ca 1 para A tal que b R a se e somente se a R b. Ou seja, R 1 = f(b; a) j (a; b) 2 Rg Exemplo 3.3 (a) Sejam A = fa; bg, B = fx; y; zg, e seja R A B dada por R = f(a; x); (b; y)g. Ent~o R 1 = f(x; a); (y; b)g B A. a (b) Seja R = f(x; y) 2 N N j x divide yg Ent~o a R 1 = f(y; x) 2 N N j y mltiplo de xg e u

Seja R uma rela~o de A para B. O dom da rela~o R, denotado por Dom(R), ca nio ca o conjunto de todos aqueles a 2 A tais que a R b para algum b 2 B; e a imagem de e R, denotada por Im(R), o conjunto de todos aqueles b 2 B, tais que a R b para algum e a 2 A. Simbolicamente, Dom(R) = fa 2 A j (a; b) 2 R para algum b 2 Bg e Im(R) = fb 2 B j (a; b) 2 R para algum a 2 Ag No exemplo das rela~es M (ser o marido de : : : ) e E (ser a esposa de : : : ) co na comunidade X, o dom de M o conjunto de todos os homens em X que s~o nio e a casados, enquanto que o dom de E o conjunto das esposas em X, e a imagem de nio e E o conjunto de todos os maridos em X, Isto , e e Dom(E = Im(M ) ) e Im(E = Dom(M ) ) Pode voc^ tirar uma conclus~o geral? (Veja Problema 3 ao nal desta se~o). e a ca
3

Aqui, X o conjunto de todos os membros da comunidade. e

54

Relacoes e Funcoes ~ ~

Exemplo 3.4 No Exemplo 3.3(a), Dom(R) = fa; bg e Im(R) = fx; yg. No Exemplo 3.3(b), Dom(R) = N = Im(R). Deni~o 3.4 Seja R uma rela~o em um conjunto X. Ent~o dizemos que ca ca a (a) R reexiva se e somente se 8x 2 X; x R x. e (b) R simtrica se e somente se x R y ) y R x. e e (c) R transitiva se e somente se x R y ^ y R z ) x R z. e (d) R uma rela~o de equival^ncia se e somente se R reexiva, simtrica e e ca e e e transitiva. A rela~o de igualdade, =, no conjunto R de nmeros reais claramente uma ca u e rela~o de equival^ncia. Seja X um conjunto de bolas coloridas e sejam duas bolas a e ca e b relacionadas por R se e somente se a e b tem a mesma cor. Ent~o a rela~o R uma a ca e rela~o de equival^ncia. ca e Rela~es de equival^ncia s~o particularmente importantes na matemtica moderna. co e a a Por exemplo, grupos quocientes na lgebra, espaos quocientes na topologia, e sistemas a c numricos modulares na teoria dos nmeros, todos envolvem certos tipos de rela~es de e u co equival^ncia. e Dado um conjunto n~o vazio X, existem sempre pelo menos duas rela~es de a co equival^ncia em X; uma destas a rela~o diagonal X (tambm chamada rela~o e e ca e ca identidade) denida por X = f(x; x) j x 2 Xg que relaciona cada elemento com ele mesmo. Geometricamente, se X representado e como um intervalo linear, ent~o X X um quadrado e X a diagonal \principal" a e e do quadrado.

Figura 8. H, no outro extremo, sempre outra rela~o de equival^ncia R = X X em X. A a ca e rela~o X a menor de todas as rela~es de equival^ncia em X, enquanto que X X ca e co e a maior. e Exemplo 3.5 Seja m um inteiro positivo qualquer xado. A rela~o de congru^ncia ca e mdulo m, no conjunto Z dos nmeros inteiro denida por x y (mod m) se e o u e somente se x y = km para algum k 2 Z. A rela~o de congru^ncia uma rela~o de ca e e ca equival^ncia em Z. e

Relacoes e Funcoes ~ ~ Demonstra~o. ca

55

(a) Para cada x em Z, como x x = 0 m, temos x x (mod m). Portanto, a rela~o reexiva. ca e (b) Se x y (mod m), ent~o xy = km para algum k 2 Z. Conseqentemente, a u y x = (k)m e k 2 Z, ou y x (mod m). Portanto, a rela~o simtrica. ca e e (c) Se x y (mod m) e y z (mod m), ent~o x y = k1 m e y z = k2 m para a alguns k1 e k2 em Z. Portanto, x z = (x y) + (y z) = (k1 + k2 )m e k1 + k2 2 Z, o que mostra que x z (mod m). Portanto, a rela~o transitiva. ca e Portanto, acabamos de demonstrar que a rela~o de congru^ncia (mdulo m) ca e o e uma rela~o de equival^ncia em Z. ca e Como um caso expecial para o Exemplo 3.5, seja m = 2. Ent~o, x y (mod 2) a se e somente se xy um inteiro par. Conseqentemente, x y (mod 2) se e somente e u se x e y s~o ambos pares ou ambos a mpares.

3.2.1

Exerc cios

1. Seja R uma rela~o de A para B. Demonstre que (R 1 )1 = R. ca 2. Seja A = fa; b; cg e seja R = f(a; c); (c; b); (a; b)g. Encontre o dom de R e a nio imagem de R. 3. Seja R uma rela~o de A para B. Demonstre que ca (a) Dom(R 1 ) = Im(R) (b) Im(R 1 ) = Dom(R) 4. Seja A = fa; b; cg e seja R = f(a; a); (b; b); (c; c); (a; b); (b; a); (c; a); (a; c)g Demonstre que R reexiva e transitiva, mas n~o simtrica. e a e e 5. D^ um exemplo de uma rela~o que reexiva e transitiva, mas n~o simtrica. e ca e a e e 6. D^ um exemplo de uma rela~o que simtrica e transitiva, mas n~o reexiva. e ca e e a e 7. Seja R uma rela~o em um conjunto X. Demonstre que ca (a) R reexiva se e somente se R X ; e (b) R simtrica se e somente se R = R 1 ; e e (c) R reexiva se e somente se R 1 reexiva; e e (d) R simtriva se e somente se R 1 simtrica; e e e e 1 (e) R transitiva se e somente se R transitiva; e e (f) R uma rela~o de equival^ncia se e somente se R 1 uma rela~o de equival^ncia. e ca e e ca e 8. Seja X = Z (Z f0g). Dena uma rela~o em X declarando que (a; b) (c; d) ca se e somente se ad = bc. Demonstre que a rela~o uma rela~o de equival^ncia. ca e ca e

56

Relacoes e Funcoes ~ ~

3.3

Parti~es e rela~es de equival^ncia co co e

Deni~o 3.5 Seja X um conjunto n~o vazio. Por uma parti~o P de X queremos ca a ca dizer um conjunto de subconjuntos n~o vazios de X, tal que a (a) Se A; B 2 P e A 6B, ent~o A \ B = . = a S (b) C2P C = X. Intuitivamente, uma parti~o de X uma subdivis~o de X em \pedaos" n~o ca e a c a vazios e mutuamente disjuntos. Exemplo 3.6 Seja m um inteiro positivo qualquer. Para cada inteiro j, 0 j < m, seja Zj = fx 2 Z j x j = km para algum k 2 Zg. Ent~o o conjunto a fZ0 ; Z1 ; Z2 ; : : : ; Zm1 g forma uma parti~o de Z. Em particular, seja m = 2. Ent~o o conjunto de conjuntos ca a fZ0 ; Z1 g, em que Z0 = fx 2 Z j x parg e e Z1 = fx 2 Z j x e mparg forma uma parti~o de Z. (Veja tambm Problema 4, Exerc ca e cios 3.3.1.) Existe uma conex~o a ntima entre parti~es de um conjunto n~o vazio e relaoes de co a c~ equival^ncia nesse conjunto. Para compreender essa conex~o, precisaremos da seguinte e a deni~o. ca Deni~o 3.6 Seja Euma rela~o de equival^ncia em um conjunto n~o vazio X. Para ca ca e a cada x 2 X, denimos o conjunto x=E= fy 2 Y j y Exg que chamado a classe de equival^ncia determinada pelo elemento x. O conjunto de e e todas essas classes de equival^ncia em X denotado por X=E ou seja, X=E= fx=Ej e e ; x 2 Xg.4 O s mbolo X=E lido \X mdulo E ou simplesmente \X mod E 5 e o ", ". Teorema 3.3 Seja Euma rela~o de equival^ncia em um conjunto n~o vazio X. Ent~o ca e a a (a) Cada x=E um subconjunto n~o vazio de X. e a (b) x=E\ y=E6 se e somente se x Ey. = (c) x Ey se e somente se x=E= y=E .
4 5

X=E chamado conjunto quociente de X pela rela~o de equival^ncia E (N. do T.) e ca e . Analogamente, x=E lido \x mdulo E (N. do T.) e o "

Relacoes e Funcoes ~ ~ Demonstra~o. ca

57

(a) Como E reexiva, para cada x 2 X, temos xE Pela Deni~o 3.6, x 2 x=E e x. ca e portanto x=E um subconjunto n~o vazio de X. e a (b) Como E uma rela~o de equival^ncia e X 6, temos e ca e =

x=E\ y=E6 , (9z)(z 2 x=E ^ z 2 y=E = ) , (z Ex) ^ (z Ey) Def. 3.6 , (x Ez) ^ (z Ey) E simtrica e e , x Ey E transitiva e (c) De (a) e (b) acima, segue imediatamente que x=E= y=E) x Ey. Precisamos agora provar que x Ey ) x=E= y=E Suponhamos x Ey. Ent~o . a z 2 x=E) z Ex (z Ex) ^ (x Ey) (z Ey) ) ) z 2 y=E Def. 3.6 E transitiva e Def. 3.6

Como z qualquer, segue que x=E y=E Um argumento similar deduz y=E e . x=E portanto x=E= y=E ; . Teorema 3.4 Seja Euma rela~o de equival^ncia em um conjunto n~o vazio X. Ent~o ca e a a X=E uma parti~o de X. e ca Demonstra~o. Pelo Teorema 3.3(a) e pela Deni~o 3.6, X=E = fx=E j x 2 Xg ca ca e uma fam de subconjuntos n~o vazios de X. Mostraremos ent~o que lia a a x=E6y=E) (x=E \ (y=E = = ) ) mostrando sua contrapositiva: (x=E \ (y=E 6 ) x=E= y=E A ltima arma~o ) )= . u ca e uma conseq^ncia direta do Teorema 3.3(b) e (c). Finalmente, temos que mostrar que ue S x=E= X. Isto tambm trivial, pois cada x 2 X pertence a x=E Isto completa e e . x2X a demonstra~o do teorema. ca Acabamos de ver, no Teorema 3.4, que uma rela~o de equival^ncia no conjunto ca e n~o vazio X d origem a uma parti~o em X. Mostraremos a seguir que a rec a a ca proca do Teorema 3.4 verdadeira; isto , cada parti~o de X d origem a uma rela~o de e e ca a ca equival^ncia em X. e Deni~o 3.7 Seja P uma parti~o de um conjunto n~o vazio X. Denimos uma ca ca a rela~o X=P em X, por x(X=P)y se e somente se existe um conjunto A 2 P tal que ca x 2 A e y 2 A.

58

Relacoes e Funcoes ~ ~

Cautela! O leitor deveria ler e comparar cuidadosamente as denioes 3.6 e 3.7, de modo c~ a compreender as delicadas diferenas entre estas nota~es similares: x=E X=E e X=P. c co , , Teorema 3.5 Seja P uma parti~o de um conjunto n~o vazio X. Ent~o a rela~o X=P ca a a ca e uma rela~o de equival^ncia em X, e as classes de equival^ncia denidas pela rela~o de ca e e ca equival^ncia X=P s~o precisamente os conjuntos em P. Simbolicamente, X=(X=P) = P. e a Demonstra~o. Como todo elemento de X est contido em algum A 2 P, x(X=P)x; ca a isto , X=P reexiva. A simetria de X=P uma clara conseq^ncia da Deni~o e e e ue ca 3.7. Para mostrar que a rela~o X=P transitiva, sejam x, y, e z tr^s elementos de X ca e e satisfazendo x(X=P)y e y(X=P)z Ent~o, pela Deni~o 3.7, existem A e B em P tais que, x; y 2 A e y; z 2 B. Consea ca quentemente, y 2 A \ B 6. Segue ent~o, pela deni~o de parti~o, que A = B. = a ca ca Portanto, x; z 2 A e assim x(X=P)z. Logo, X=P uma rela~o de equival^ncia em X. e ca e Para demonstrar o resto do teorema, seja x um elemento qualquer de X. Existe um e somente um conjunto A em P tal que x 2 A. (Porqu^?) e Conseqentemente, pela Deni~o 3.7, temos u ca x=(X=P) = A Acabamos de provar que cada classe de equival^ncia, mdulo X=P, um conjunto e o e da fam P. Reciprocamente, seja A um conjunto qualquer na parti~o P. Como lia ca A 6, existe um elemento x em X que pertence a A. Pelo nosso argumento prvio, = e x=(X=P) = A. Isto demonstra que X=(X=P) = P. A demonstra~o do teorema est ca a completa. Toda rela~o de equival^ncia Eem um conjunto X d origem a uma parti~o X=E ca e a ca (de X) (Teorema 3.4); esta parti~o, por sua vez, determina uma rela~o de equival^ncia ca ca e X=(X=E (Teorema 3.5). O fato crucial que X=(X=E = E (veja Problema 6). ) e ) Isto, juntamente com X=(X=P) = P, estabelece a conex~o a ntima entre relaoes de c~ equival^ncia e parti~es. e co Ilustremos o Teorema 3.5 por um exemplo concreto. Sejam Z0 e Z1 o conjunto de inteiros pares e o conjunto de inteiros mpares, respectivamente. Ent~o P = fZ0 ; Z1 g a forma uma parti~o do conjunto Z dos inteiros. Pela deni~o da rela~o Z=P, temos ca ca ca a(Z=P)b se e somente se ambos a; b 2 Z0 ou a; b 2 Z1 . Isto , a(Z=P)b se e somente se e fcil vericar que esta rela~o Z=P de ambos a e b s~o pares ou ambos s~o a a mpares. E a ca e fato uma rela~o de equival^ncia. Na verdade, a(Z=P)b se e somente se a b (mod 2). ca e Portanto, a rela~o Z=P a rela~o familiar (mod 2). [Veja Exemplo 3.5.] ca e ca Reciprocamente, dado o conjunto Z, juntamente com a rela~o Etal que x Ey se ca e somente se x y (mod 2), temos e Z0 se a par a=E= fx 2 Z j x a (mod 2)g = Z1 se a e mpar

Relacoes e Funcoes ~ ~ e ca Portanto, Z=E= fZ0 ; Z1 g, que claramente uma parti~o de Z.

59

3.3.1

Exerc cios

1. Seja P uma parti~o do conjunto n~o vazio X. Demonstre que a rela~o de equivaca a ca S l^ncia X=P, como conjunto de pares ordenados, igual a A2P A A. e e 2. No problema 1, seja X um conjunto nito e seja P = fA1 ; A2 ; : : : ; Ak g com o conjunto Aj contendo nj elementos, para j = 1; 2; : : : ; k. Demonstre que o nmero de pares ordenados da rela~o de equival^ncia X=P exatamente n2 + n2 + u ca e e 1 2 2 + nk . 3. Seja X = fa; b; c; d; eg e seja P = ffa; bg; fcg; fd; egg. (a) Mostre que P uma parti~o de X. e ca (b) Encontre a rela~o de equival^ncia X=P em X, explicitamente como um conjunto ca e de pares ordenados. (c) Denote E= X=P e encontre a=E b=E c=E d=Ee e=Eexplicitamente. , , , 4. Verique o Exemplo 3.6 para m = 3. 5. Seja X o conjunto Z dos inteiros e seja Euma rela~o em X denida por x Ey se e ca semente se x y = 5k para algum inteiro k. (a) Demonstre que a rela~o E uma rela~o de equival^ncia em X. ca e ca e (b) Encontre a parti~o X=E de X. ca (c) Verique que a rela~o de equival^ncia X=(X=E de fato a rela~o de equivaca e )e ca l^ncia E e . 6. Seja E uma rela~o de equival^ncia no conjunto n~o vazio X. Demonstre que ca e a X=(X=E = E ) .

3.4

Fun~es co

Inquestionavelmente, o conceito de fun~o uma das idias mais bsicas em todos os ca e e a ramos da Matemtica. O leitor pode ter j aprendido a seguinte deni~o: uma fun~o a a ca ca uma regra de correspond^ncia que associa a cada elemento x de um certo conjunto e e (chamado o dom nio da fun~o) um e apenas um elemento y de um outro conjunto ca (chamado o contra-dom da fun~o). Esta deni~o nebulosa. O que se quer dizer nio ca ca e precisamente por uma \regra"? De modo a evitar ambigidades, matemticos criaram u a uma deni~o precisa de fun~o, usando a linguagem de conjuntos. ca ca

60

Relacoes e Funcoes ~ ~

Deni~o 3.8 Sejam X e Y conjuntos. Uma fun~o de X em Y um terno (f; X; Y ), ca ca e sendo f uma rela~o de X para Y satisfazendo ca (a) Dom(f) = X. (b) Se (x; y) 2 f e (x; z) 2 f ent~o y = z. a Seja (f; X; Y ) uma fun~o de X em Y . No que segue, adotaremos o costume de ca escrever f : X ! Y em lugar de (f; X; Y ), e y = f (x) em vez de (x; y) 2 f . A raz~o a pela qual \y = f(x)" um substituto intelig para (x; y) 2 f que e vel e Todo elemento x 2 X tem um elemento y 2 Y , determinado de forma unica, tal que (x; y) 2 f . Para ver que esta asser~o verdadeira, seja x 2 X. Ent~o, pela condi~o (a) ca e a ca da Deni~o 3.8, existe um elemento y 2 Y tal que (x; y) 2 f ; se exister um outro ca elemento z 2 Y com (x; z) 2 f, ent~o de acordo com a condi~o (b), z = y. Isto a ca mostra que y determinado de forma unica por x. e Seja f : X ! Y uma fun~o. Se y = f (x), dizemos que y a imagem de x sob ca e f e que x pr-imagem (ou imagem inversa) de y sob f . O leitor pode interpretar isto e e geometricamente, conforme ilustrado nas Figuras 9 e 10.

Figura 9.

Figura 10. Chamaremos o conjunto Y , em f : X ! Y , de contra-dom nio da fun~o. Note ca o leitor que o contra-dom de uma fun~o n~o precisa coincidir com a imagem da nio ca a fun~o6 (veja Exemplo 3.7, abaixo). Chamamos a aten~o do leitor para o fato de que ca ca alguns autores usam o termo \contra-dom nio" como sin^nimo de \imagem", mas por o uma raz~o tcnica, que ser aparente na Se~o 3.6, faremos distin~o entre \imagem" a e a ca ca e \contra-dom nio" de uma fun~o. De um modo geral, a imagem de uma fun~o um ca ca e subconjunto do contra-dom dessa fun~o. nio ca
A imagem da fun~o f : X ! Y a imagem Im(f ), da rela~o f . Conseqentemente, Im(f ) = ca e ca u ff (x) j x 2 Xg.
6

Relacoes e Funcoes ~ ~

61

Exemplo 3.7 Seja f : R ! R denida por f(x) = [x] para todo x 2 R, em que [x] p nio denota o maior inteiro x, e.g., [ 2 ] = 1, [ 1 ] = 1.7 Aqui, o contra-dom de f 2 R, enquanto que a imagem de f Z, um subconjunto prprio de R. e e o E poss alterar o contra-dom de uma fun~o sem alterar outros aspectos da vel nio ca fun~o. Por exemplo, para a mesma rela~o f do Exemplo 3.7 acima, f : R ! Q e ca ca f : R ! Z s~o fun~es, porque a Deni~o 3.8 satisfeita. De um modo geral, temos a co ca e o seguinte teorema. Teorema 3.6 Seja f : X ! Y uma fun~o e seja W um conjunto contendo a imagem ca de f . Ent~o f : X ! W uma fun~o. a e ca Demonstra~o. Demonstraremos primeiramente que f uma rela~o de X para W : ca e ca (x; y) 2 f ) x 2 X ^ y 2 Im(f) )x2X ^ y2W ) (x; y) 2 X W Def. de Im Im(f ) W Def. 3.1

Isto demonstra que f X W ; em outras palavras, f uma rela~o de X em e ca W . Como f : X ! Y uma fun~o, Dom(f) = X e a condi~o (b) da Deni~o 3.8 e ca ca ca est satisfeita. Portanto, f : X ! W uma fun~o. a e ca Teorema 3.7 Sejam f : X ! Y e g : X ! Y fun~es. Ent~o f = g se e somente se co a f (x) = g(x); 8x 2 X. Demonstra~o. ca (1) Suponha que f = g e que x um elemento qualquer de X. Ent~o, e a y = f(x), (x; y) 2 f , (x; y) 2 g , g(x) = y Portanto, f (x) = g(x). (2) Suponha que f (x) = g(x); 8x 2 X. Ent~o a (x; y) 2 f , y = f(x) , y = g(x) , (x; y) 2 g
7

Nota~o ca f =g Nota~o ca

Nota~o ca f (x) = g(x) Nota~o ca

Para cada x 2 R, dene-se [x] = n quando x = n + , com n 2 Z e 2 R, com 0 < 1. (N. do T.)

62 Isto demonstra que f = g.

Relacoes e Funcoes ~ ~

Se o dom e o contra-dom de uma fun~o s~o subconjuntos do conjunto nio nio ca a dos nmeros reais, ent~o, como na geometria anal u a tica, o grco da fun~o pode ser a ca 8 esboado no plano cartesiano. Por exemplo, a fun~o do Exemplo 3.7 tem o seguinte c ca grco. a

Figura 10.

Exemplo 3.8 Seja A um subconjunto de um conjunto n~o vazio X. Ent~o a rela~o a a ca f(x; y) 2 X f0; 1g j y = 1 se x 2 A; e y = 0 se x 6 2 Ag d origem a uma fun~o de X em f0; 1g, conhecidada como fun~o caracter a ca ca stica de A em X. Esta fun~o habitualmente denotada pela letra grega qui, com um ca e ndice A, A . Ou seja, A : X ! f0; 1g denida por e A (x) = 1 0 se x 2 A se x 2 X A

Embora a fun~o seja, por deni~o, escrita (f; X; Y ) ou f : X ! Y , freqenca ca e u temente um inc^modo ter que escrever explicitamente o dom e o contra-dom de o nio nio uma fun~o, quando eles s~o implicitamente claros a partir do contexto. Portanto, denoca a taremos uma fun~o por f quando o dom e o contra-dom de f forem claramente ca nio nio compreendidos, sem dar explicitamente o dom e o contra-dom de f. nio nio
8

Pressupondo-se que a funao seja \bem comportada". c~

Relacoes e Funcoes ~ ~

63

a Exemplo 3.9 Seja X um conjunto. A rela~o diagonal X em X, denida na pgina ca 54, uma fun~o de X em X. Quando queremos enfatizar que a rela~o X uma e ca ca e fun~o, usamos a nota~o alternativa 1X : X ! X, em que 1X (x) = x para todo x em ca ca e ca X. A fun~o 1X chamada fun~o identidade em X. ca Exemplo 3.10 Sejam X e Y dois conjuntos n~o vazios e seja b um elemento xado de a Y . A rela~o ca Cb = f(x; b) j x 2 Xg d origem a uma fun~o Cb : X ! Y , dada por Cb (x) = b para todo x em X. A fun~o a ca ca e ca Cb chamada fun~o constante. No clculo, vemos freqentemente uma fun~o denida por duas (ou mais) regras a u ca de correspond^ncia: por exemplo, h : R ! R, denida por e 1 2x; se x 0 h(x) = x2 + 1; se x 0 Esta fun~o pode ser considerada como a uni~o das seguintes duas funoes: ca a c~ (1) f : ] 1; 0] ! R, denida por f (x) = 1 2x, 8x 2 ] 1; 0] (2) g : [0; 1[! R, denida por g(x) = x2 + 1, 8x 2 [0; 1[ O leitor dever notar que aqui Dom(f ) \ Dom(g) = f0g e que f (0) = g(0). a Os ultimos exemplos motivam o seguinte teorema geral. Teorema 3.8 Sejam f : A ! C e g : B ! D duas fun~es tais que f(x) = g(x); 8x 2 co A \ B. Ent~o a uni~o de f e g dene uma fun~o a a ca h = f [ g: A [ B ! C [ D em que h(x) = Demonstra~o. ca Como f e g s~o relaoes, f A C e g B D, e temos a c~ h = f [ g (A C) [ (B D) (A [ B) (C [ D) porque ambos A C e B D s~o subconjuntos de (A [ B) (C [ D). Assim, h a e uma rela~o de A [ B para C [ D. Deixaremos ao leitor vericar que ca Dom(h) = Dom(f) [ Dom(g) =A[B f (x); se x 2 A g(x); se x 2 B

64 Isto mostra que a rela~o h satisfaz a Deni~o 3.8(a). ca ca

Relacoes e Funcoes ~ ~

Para cada elemento x 2 A [ B, podemos considerar os seguintes tr^s casos: e (1) x 2 A B, (2) x 2 B A, e (3) x 2 A \ B. Como f : A ! C e g : B ! D satisfazem a Deni~o 3.8(b), e f (x) = g(x), 8x 2 A \ B, temos que h(x) denido ca e de modo unico em cada um dos tr^s casos. Logo, a rela~o h satisfaz a Deni~o 3.8(b) e ca ca tambm. Portanto, h : A [ B ! C [ D de fato uma fun~o. e e ca

3.4.1

Exerc cios

1. Teste se cada um dos seguintes diagramas dene ou n~o uma fun~o de X = fx; y; zg a ca em Y = fu; v; wg. (a)

(b)

(c)

2. Seja f : R ! R a fun~o dada por ca 5 f (x) = 3 Encontre f(1=3), f (7), e f (1; 323232 : : : ). 3. Seja a fun~o f : R ! R dada por ca 8 < 4x + 3 f (x) = x2 2 : 4 5x

se x racional e se x irracional e

se x > 5 se 6 x 5 se x < 6

Encontre f(7), f (3) e f (6). 4. Seja f : X ! Y a fun~o denida pelo diagrama ca

Relacoes e Funcoes ~ ~

65

Qual a imagem desta fun~o? e ca 5. Seja a fun~o f : X ! R denida por X = f2; 1; 0; 1; 2g e f(x) = x2 3 para ca todo x 2 X. Encontre a imagem da fun~o f . ca 6. Cada uma das seguintes express~es dene uma fun~o de R em R. Encontre a o ca imagem de cada fun~o. ca (a) f (x) = 2x2 + 5 (b) g(x) = cos x (c) h(x) = x3 1 7. Seja X Y e f = f(x; x) j x 2 Xg. Demonstre que f : X ! Y uma fun~o. e ca [Nota. Esta fun~o chamada uma fun~o inclus~o, e pode ser denotada por f : X Y .] ca e ca a 8. Sejam X = fx; y; zg e Y = f1; 2; 3g. Quais das seguintes uma fun~o de X em e ca Y ? Justique. (a) f = f(x; 1); (y; 2); (z; 3)g (b) g = f(x; 2); (y; 3); (z; 2)g (c) h = f(x; 2); (y; 1)g (d) i = f(x; 1); (x; 2); (y; 1); (z; 3)g 9. Se X = fx; y; zg e Y = f1; 2g, quantas fun~es de X em Y existem? De modo co geral, se o conjunto X tem m elementos e se Y tem n elementos, quantas fun~es de co X e Y existem? 10. Quantas fun~es do problema 9 s~o constantes? co a 11. Seja f : X ! Y uma fun~o. Demonstre que todo subconjunto g de f d origem a ca a uma fun~o. ca 12. Seja f : X ! X uma fun~o de X em X, que tambm uma rela~o reexiva em ca e e ca X. Demonstre que f tem que ser a fun~o identidade 1X : X ! X. ca 13. Seja X o intervalo unitrio [0; 1]. Encontre uma fun~o f : X ! X que uma a ca e rela~o simtrica em X. ca e 14. Sejam f : X ! Y e g : X ! Y duas fun~es com o mesmo dom e o mesmo co nio contra-dom nio. Demonstre que se f g ent~o f = g. a

3.5

Imagens e imagens inversas de conjuntos

Recordemos que se f : X ! Y uma fun~o e se x e y s~o elementos de X e Y , e ca a respectivamente, tais que y = f (x), ent~o y a imagem de x, e x uma pr-imagem ou a e e e

66

Relacoes e Funcoes ~ ~

uma imagem inversa de y. Este conceito pode ser estendido naturalmente de elementos a subconjuntos, como segue: Deni~o 3.9 Seja f : X ! Y uma fun~o, e sejam A e B subconjuntos de X e Y , ca ca respectivamente. (a) A imagem de A sob f , que denotamos por f (A), o conjunto de todas as imagens e f (x) tais que x 2 A. (b) A imagem inversa de B sob f , que denotamos por f 1 (B), o conjunto de todas e as pr-imagens dos elementos y 2 B. e Sob a nota~o de constru~o de um conjunto, temos as seguintes express~es: ca ca o f(A) = ff (x) j x 2 Ag f (B) = fx j f (x) 2 Bg
1

Teorema 3.9 Seja f : X ! Y uma fun~o. Ent~o ca a (a) f () = . (b) f (fxg) = ff (x)g. (c) Se A B X, ent~o f(A) f (B). a (d) Se C D Y , ent~o f 1 (C) f 1 (D). a O Teorema 3.9 segue facilmente da Deni~o 3.9; portanto, a demonstra~o ca ca e deixada para o leitor. Teorema 3.10 Seja f : X ! Y uma fun~o e seja fA j 2 g uma fam de ca lia subconjuntos de X. Ent~o S S a (a) f (T2 A ) = T2 f(A ). (b) f ( 2 A ) 2 f(A ). Demontra~o. ca (a) Por uso repetido da Deni~o 3.9 e da Deni~o 2.6 do Cap ca ca tulo 2, temos ! [ [ y2f A , y = f (x) para algum x 2 A
2 2

, y = f (x) para algum x 2 A ; , y 2 f (A ) para algum 2 [ ,y2 f (A )

2

para algum 2

Relacoes e Funcoes ~ ~

67

S S Portanto, f ( 2 A ) = 2 f (A ). T T (b) Como 2 A , para todo 2 , pelo Teorema 3.9(c), temos f ( 2 A ) T (A ), paraT f todo 2 . Segue ent~o, da Deni~o 2.7, do Cap a ca tulo 2, que f ( 2 A ) 2 f (A ). Pode n~o ser poss trocar o s a vel mbolo de inclus~o , no Teorema 3.10(b), por um a sinal de igualdade, como mostra o prximo exemplo. o

Exemplo 3.11 Sejam X = fa; bg, Y = fcg, = f1; 2g, A1 = fag, A2 = fbg, e seja f : X ! Y a fun~o constante f (a) = f (b) = c. Ent~o f(A1 \ A2 ) = f () = , ca a T enquanto que f (A1 ) \ f (A2 ) = fcg. Isto mostre que nem sempre f ( 2 A ) = T 2 f (A ).

Teorema 3.11 Seja f : X ! Y uma fun~o e seja fB j 2 g uma fam de ca lia subconjuntos de Y . Ent~o a S S (a) f 1 ( 2 B ) = 2 f 1 (B ) T T (b) f 1 ( 2 B ) = 2 f 1 (B ) Demonstra~o. ca (a) Aplicando-se repetidamente a Deni~o 3.9 e a Deni~o 2.6 do Cap ca ca tulo 2, temos x 2 f 1 [ ! B , f (x) 2 [
2

B para algum 2 para algum 2

, f (x) 2 B ; , x 2 f 1 (B ); [ ,x2 f 1 (B )
2

S S Assim, acabamos de demonstrar que f 1 ( 2 B ) = 2 f 1 (B ). S T (b) Trocando-se por e a frase \para algum" por \para todo", na demonstra~o ca da parte (a), temos uma demonstra~o da parte (b). O estudante dever realizar as ca a mudanas sugeridas, passo a passo, at estar claramente convencido. c e

Teorema 3.12 Seja f : X ! Y uma fun~o e sejam B e C subconjuntos quaisquer de ca Y . Ent~o a f 1 (B C) = f 1 (B) f 1 (C)

68 Demonstra~o. ca Examinemos as seguintes equival^ncias: e x 2 f 1 (B C) , f (x) 2 B C , f (x) 2 B ^ f(x) 6 2C 1 , x 2 f (B) ^ x 6 1 (C) 2f 1 1 , x 2 [f (B) f (C)] Isto demonstra que f 1 (B C) = f 1 (B) f 1 (C).

Relacoes e Funcoes ~ ~

Def. Def. Def. Def.

3.9 2.5 (Cap. 2) 3.9 2.5 (Cap. 2)

3.5.1

Exerc cios

1. No Problema 2, Exerc cios 3.4.1, encontre p (a) f (f1; 0; 1g), f (f 2; g), e f (f2; log 2g) (b) f 1 (f0; 1g), f 1 (f3; 3g), f 1 (f4; 5g), e f 1 (f3; 4; 5g). 2. No Problema 3, Exerc cios 3.4.1, encontre (a) f (f7; 3; 6g), f (f8; 2; 7g), e f (f9; 1; 8g) (b) f 1 (f0; 1g), f 1 (f3; 3g), e f 1 (f1; 2; 3g). 3. No Problema 4, Exerc cios 3.4.1, encontre f (fv; wg), f 1 (fcg), e f 1 (fa; bg). 4. Seja f : X ! Y uma fun~o e sejam A X, B Y . Demonstre que ca (a) A f 1 (f (A)) (b) f (f 1 (B)) B. 5. Seja f : X ! Y uma fun~o e sejam A X, B Y . Encontre exemplos que ca mostrem que as seguintes arma~es s~o falsas. co a (a) Se B 6, ent~o f(B) 6 = a = 1 (b) f (f (A)) = A (c) f (f 1 (B)) = B (d) f (X) = Y 6. Mostre que a arma~o do Problema 5(c) verdadeira quando f(X) = Y . ca e 7. Seja f : X ! Y uma fun~o tal que f (X) = Y , e sejam B e C subconjuntos de ca Y . Demonstre que B = C se f 1 (B) = f 1 (C). D^ um exemplo mostrando que esta e arma~o falsa se f (X) 6Y . ca e = 8. Sejam X e Y dois conjuntos, e sejam pX : X Y ! X e pY : X Y ! Y duas fun~es, dadas respectivamente por pX (x; y) = x e pY (x; y) = y, para todo (x; y) 2 co X Y (pX e pY s~o chamadas proje~o em X e proje~o em Y , respectivamente). a ca ca Demonstre que se R uma rela~o de X para Y , isto , se R X Y , ent~o e ca e a pX (R) = Dom(R) e pY (R) = Im(R). 9. Seja f : X ! Y uma fun~o, e sejam A X, B Y . Demonstre que ca (a) f (A \ f 1 (B)) = f (A) \ B (b) f (f 1 (B)) = f (X) \ B. 10. Seja f : X ! Y uma fun~o, e seja B Y . Demonstre que ca f 1 (Y B) = X f 1 (B)

Relacoes e Funcoes ~ ~

69

11. Seja f : X ! Y uma fun~o, e sejam A e B subconjuntos de X. D^ um exemplo ca e que mostra que, em geral, n~o verdadeiro armar que a e f (A B) = f (A) f (B) 12. Demonstre o Teorema 3.9.

3.6

Fun~es injetoras, sobrejetoras e bijetoras co

No estudo das fun~es, conveniente dar nomes a tr^s tipos importantes de fun~es. co e e co Deni~o 3.10 Uma fun~o f : X ! Y injetora ou um-a-um9 quando satisfaz: se ca ca e x1 ; x2 2 X e f (x1 ) = f (x2 ) ent~o x1 = x2 . Uma fun~o injetora tambm chamada a ca e e uma inje~o. ca Pela Lei Contrapositiva da lgica, podemos dizer equivalentemente que a fun~o o ca f : X ! Y uma inje~o se e somente se: x1 ; x2 2 X, com x1 6x2 , implica f (x1 ) 6 e ca = = f (x2 ). Por exemplo, a fun~o inclus~o do Problema 7, Exerc ca a cios 3.4.1, uma inje~o. e ca Deni~o 3.11 Uma fun~o f : X ! Y dita ser sobrejetora se satisfaz: se y 2 Y , ca ca e ent~o existe ao menos um x 2 X tal que f (x) = y. Uma fun~o sobrejetora chamada a ca e uma sobreje~o. Em outras palavras, f : X ! Y uma sobreje~o se e somente se ca e ca f (X) = Y . A fun~o do Exemplo 3.7, Se~o 3.4, por exemplo, n~o sobrejetora. ca ca a e Exemplo 3.12 A fun~o seno f : R ! [1; 1], dada por f (x) = sen x uma sobreje~o; ca e ca mas se o contra-dom [1; 1] for trocado por R, ent~o f : R ! R n~o sobrejetora. nio a a e Deni~o 3.12 Uma fun~o f : X ! Y chamada uma bije~o ou dita ser bica ca e ca e jetora se simultaneamente injetora e sobrejetora. Uma bije~o tambm chamada e ca e e 10 correspond^ncia um-a-um. e Por exemplo, a fun~o identidade no Exemplo 3.9, Se~o 3.4, uma bije~o. As ca ca e ca deni~es 10, 11, e 12 s~o ilustradas nos tr^s diagramas abaixo (Figuras 12, 13 e 14). co a e Os conjuntos X e Y s~o representados como conjuntos de pontos dentro de c a rculos. Em cada ilustra~o, cada ponto em X emparelhado com algum ponto em Y , por ca e uma echa desenhada entre ambos. O conjunto de pares assim obtido d origem a uma a fun~o f : X ! Y . ca Para fun~es injetoras, o resultado do Teorema 3.10(b) pode ser melhorado. co
9 10

Isto denotado por f 1{1. (N. do T.) e e Ou correspond^ncia biun e voca (N. do T.)

70

Relacoes e Funcoes ~ ~

lia Teorema 3.13 Seja f : X ! Y uma inje~o e seja fA j 2 g uma fam de ca subconjuntos de X. Ent~o a ! \ \ f A = f (A )
2 2

Demonstra~o. Pela Deni~o 3.9, e pela Deni~o 2.7 do Cap ca ca ca tulo 2, temos \ y2 f (A ) , y 2 f (A ); 8 2
2

, (9x 2 A tal que y = f (x )) 8 2 a Como f : X ! Y injetora, todos esses x 's s~o o mesmo; denotaremos este e elemento por x0 . Ent~o temos a \ y2 f (A ) , 9x0 2 A tal que y = f (x0 ); 8 2
2

, 9x0 2 ,y2f

\
2

A tal que y = f (x0 ) ! A

T T Portanto, f ( 2 A ) = 2 f (A ).

Figura 12. f : X ! Y injetora. e

Relacoes e Funcoes ~ ~

71

Figura 13. f : X ! Y sobrejetora. e

Figura 14. f : X ! Y bijetora. e Recordemos que se R uma rela~o de X para Y , ent~o a inversa e ca a R 1 = f(y; x) j (x; y) 2 Rg uma rela~o de Y para X. Como uma fun~o f : X ! Y um tipo particular de e ca ca e 1 rela~o de X para Y , f ao menos uma rela~o de Y para X. E natural querer saber ca e ca 1 quando f torna-se uma fun~o. Esta quest~o considerada no seguinte teorema. ca a e Teorema 3.14 Seja f : X ! Y uma bije~o. Ent~o f 1 : Y ! X uma bije~o. ca a e ca Demonstra~o. Demonstraremos primeiramente que a rela~o f 1 , de Y para X, forma ca ca uma fun~o. Como f : X ! Y sobrejetora, pelo Problema 3(a), Exerc ca e cios 3.2.1, 1 temos Dom(f ) = Im(f ) = Y . Assim, a condi~o (a) da Deni~o 3.8 est satisfeita. ca ca a Para mostrar que f 1 satisfaz a outra condi~o, sejam (y; x1 ) 2 f 1 e (y; x2 ) 2 f 1 . ca Ent~o temos (x1 ; y) 2 f e (x2 ; y) 2 f . Conseqentemente, f (x1 ) = y = f (x2 ). Agora, a u como f : X ! Y injetora, a ultima igualdade implica x1 = x2 . Portanto, acabamos e de estabelecer que f 1 : Y ! X uma fun~o. e ca Para mostrar que a fun~o f 1 : Y ! X injetora, sejam y1 ; y2 2 Y , com ca e 1 1 f (y1 ) = f (y2 ) = x (digamos). Ent~o temos f(x) = y1 e f (x) = y2 , e portanto a y1 = y2 . Isto mostra que f 1 injetora. e Finalmente, resta ser mostrado que f 1 : Y ! X sobrejetora. Pelo Problema e 1 3(b) dos Exerc cios 3.2.1, temos Im(f ) = Dom(f ) = X, o que demonstra que f 1 e sobrejetora. Assim, a demonstra~o est completa. ca a Se f : X ! Y uma bije~o, a fun~o f 1 : Y ! X chamada a fun~o inversa e ca ca e ca de f (veja tambm Problema 14, Exerc e cios 3.6.1). Em virtude do Teorema 3.14, se f : X ! Y uma bije~o (= correspond^ncia e ca e um-a-um), diremos que f uma correspond^ncia um-a-um entre os conjuntos X e Y . e e

72

Relacoes e Funcoes ~ ~

3.6.1

Exerc cios

1. Quais das funoes nos Problemas 2, 3 e 4, dos Exerc c~ cios 3.4.1 s~o injetoras? Sobrea jetoras? 2. Quais das fun~es nos Problemas 5 e 6, dos Exerc co cios 3.4.1 s~o injetoras? Bijetoras? a 3. Seja f : R ! R a fun~o denida por f (x) = 3x 2, para todo x 2 R. ca (a) Demonstre que a fun~o f uma bije~o. ca e ca (b) Encontre a inversa f 1 de f . 4. Seja g : ] =2; =2[ ! R a fun~o dada por g(x) = tg x, para todo x tal que ca =2 < x < =2. Esta fun~o bijetora? Em caso armativo, descreva sua fun~o ca e ca inversa. ca 5. Demonstre que a fun~o caracter ca stica A : X ! f0; 1g, do Exemplo 3.8, Se~o 3.4, sobrejetora se e somente se 6A X. Quando que A : X ! f0; 1g torna-se e = e uma inje~o? ca e 6. Demonstre que a fun~o constante Cb : X ! Y sobrejetora se e somente se ca Y = fbg. Quando que Cb : X ! Y torna-se uma inje~o? e ca ca 7. Demonstre que a proje~o em X, pX : X Y ! X, e a proje~o em Y , ca pY : X Y ! Y , do Problema 8, Exerc cios 3.5.1, s~o sobrejetoras. Quando que a e a proje~o em X uma inje~o? ca e ca 8. Demonstre que existe uma correspond^ncia um-a-um entre o conjunto N dos nmeros e u naturais e o conjunto de todos os nmeros naturais pares. u 9. Demonstre que existe uma correspond^ncia um-a-um entre o conjunto Z dos nmeros e u inteiros e o conjuntos de todos os inteiros mpares. 10. Sejam X uma conjunto nito com m elementos e Y um conjunto nito com n elementos. Demonstre que (a) Se m > n, ent~o n~o pode haver nenhuma inje~o f : X ! Y . a a ca (b) Se m n, ent~o existem exatamente n!=(n m)! injeoes de X em Y . a c~ [Veja tambm o Problema 9, Exerc e cios 3.5.1.] 11. Seja X um conjunto nito com m elementos. Quantas bijeoes de X em X existem? c~ [Nota: Uma bije~o de um conjunto nito em si mesmo chamada uma permuta~o.] ca e ca 12. Seja f : X ! Y uma fun~o, e sejam A X, B Y . Demonstre que ca (a) Se f injetora, ent~o f 1 (f(A)) = A. e a (b) Se f sobrejetora, ent~o f (f 1 (B)) = B. e a 13. Seja f : X ! Y uma inje~o, e sejam A e B subconjuntos de X. Demonstre que ca f (A B) = f (A) f (B). [Compare isto com o Problema 11, Exerc cios 3.5.1.] 14. Demonstre a seguinte rec proca do Teorema 3.14: Seja f : X ! Y uma fun~o tal ca 1 que f uma fun~o de Y para X. Ent~o f : X ! Y bijetora. e ca a e

3.7

Composi~o de fun~es ca co

A um leitor atento, uma fun~o f : X ! Y pode ser considerada como uma mquina ca a que toma um objeto arbitrrio x do conjunto X, opera sobre ele de um certo modo, e a transforma-o em um novo objeto f (x), um produto da mquina. Esta idia ilustrada a e e na Figura 15.

Relacoes e Funcoes ~ ~

73

Figura 15. Sejam f : X ! Y e g : Y ! Z duas fun~es, sendo o dom da segunda igual co nio ao contra-dom da primeira. Imagine estas duas fun~es como duas mquinas, tais nio co a quais uma lavadora e uma secadora. N~o temos que ser inventores para imaginar a a possibilidade de combinar estas duas mquinas em uma nova mquina; o resultado seria a a uma combina~o lavadora-secadora, que pega uma uma roupa suja x, lava-a de modo a ca torn-la uma roupa limpa porm mida f(x), e ent~o seca-a. O resultado uma roupa a e u a e limpa e seca g(f(x)). A idia ilustrada na Figura 16. e e

Figura 16. A \combina~o" das mquinas f : X ! Y e g : Y ! Z resulta em uma nova ca a mquina, denotada por h : X ! Z, que toma um objeto arbitrrio x em X, e transformaa a o no objeto h(x) = g(f (x)) em Z. A nota~o tradicional para h g f, e (g f)(x) = ca e g(f (x)); o nome tradicional para o termo \combina~o" \composi~o". ca e ca Estamos agora prontos para a seguinte deni~o. ca

Deni~o 3.13 Sejam f : X ! Y e g : Y ! Z duas fun~es. A composi~o11 destas ca co ca duas fun~es a fun~o g f : X ! Z, sendo (g f)(x) = g(f (x)), para todo x em co e ca X. Em outra nota~o ca g f = f(x; z) 2 X Z j 9y 2 Y tal que (x; y) 2 f ^ (y; z) 2 gg

Exemplo 3.13 Sejam f : R ! R e g : R ! R duas fun~es, dadas respectivamente por co f (x) = x + 1, e g(x) = x2 , para todo x em R. Encontre as composi~es (g f)(x) e co (f g)(x).
11

ou fun~o composta de g e f . (N. do T.) ca

74 Solu~o. Usando a Deni~o 3.13, temos ca ca (g f )(x) = g(f (x)) = g(x + 1) = (x + 1)2 = x2 + 2x + 1 (f g)(x) = f (g(x)) = f (x2 ) = x2 + 1

Relacoes e Funcoes ~ ~

O resultado do Exemplo 3.13 nos mostra que, em geral, g f 6f g;12 portanto, = a composi~o funcional n~o comutativa. ca a e Teorema 3.15 A composi~o funcional associativa. Ou seja, tendo-se f : X ! Y , e ca e g : Y ! Z, e h : Z ! W , ent~o a (h g) f = h (g f) Demonstra~o. Notemos primeiramente que ambas, h (g f) e (h g) f , s~o fun~es ca a co de X em W . Portanto, para mostrar que h (g f ) = (h g) f , pelo Teorema 3.7 da Se~o 3.4, precisamos apenas mostrar que [h (g f )](x) = [(h g) f ](x), para todo ca x em X. Usamos a Deni~o 3.13 para obter o seguinte: ca [h (g f )](x) = h((g f )(x)) = h(g(f (x))) e [(h g) f ](x) = (h g)(f (x)) = h(g(f (x))) para todo x em X. Isto mostra que [h (g f )](x) = [(h g) f](x), para todo x em X. A demonstra~o est agora completa. ca a Teorema 3.16 Seja f : X ! Y uma fun~o. Ent~o ca a (a) Se existe uma fun~o g : Y ! X tal que g f = 1X (sendo 1X : X ! X a ca fun~o identidade, denida no Exemplo 3.9, Se~o 3.4), ent~o f : X ! Y injetora. ca ca a e (b) Se existe uma fun~o h : X ! Y tal que f h = 1Y , ent~o f : X ! Y ca a e sobrejetora. Demonstra~o. ca (a) Suponha que existe uma fun~o g : Y ! X tal que g f = 1X . Ent~o para ca a quaisquer x1 e x2 em X, com f (x1 ) = f(x2 ), temos x1 = (g f)(x1 ) = g(f(x1 )) = g(f (x2 )) = (g f )(x2 ) = x2
12

Muitas vezes, dene-se f g mas n~o se dene g f (N. do T.) a

Relacoes e Funcoes ~ ~ Isto demonstra que f : X ! Y injetora. e

75

a (b) Suponha que existe uma fun~o h : Y ! X tal que f h = 1Y . Ent~o, para ca cada y 2 Y , existe um elemento x = h(y) 2 X tal que f (x) = f(h(y)) = (f h)(y) = 1Y (y) = y Pela Deni~o 3.11, f : X ! Y sobrejetora. ca e

3.7.1

Exerc cios

1. Sejam f : R ! R e g : R ! R duas fun~es denidas por f (x) = 2x3 + 1 e co g(x) = cos x, respectivamente, para todo x 2 R. (a) Encontre a composi~o g f . ca (b) Encontre a composi~o f g. ca 2. Sejam f : R+ ! R e g : R ! R+ duas fun~es denidas por f(x) = log10 x, para co x todo x 2 R+ , e g(x) = 10 para todo x 2 R. (a) Encontre a composi~o g f : R+ ! R+ ca (b) Encontre a composi~o f g : R ! R. ca 3. Sejam f, g e h as funoes dadas no Problema 6, Exerc c~ cios 3.4.1. (a) Encontre a composi~o g f . ca (b) Encontre a composi~o h g. ca (c) Encontre a composi~o h (g f). ca (d) Encontre a composi~o (h g) f . ca (e) Compare suas respostas para h (g f) e (h g) f ; s~o a mesma? a 4. Seja f : X ! Y uma fun~o. Demonstre que f 1X = f = 1Y f. ca 5. Seja f : X ! Y uma bije~o e seja f 1 : Y ! X a fun~o inversa de f . Demonstre ca ca que f 1 f = 1X e que f f 1 = 1Y . 6. Seja f : X ! Y uma fun~o. Se existem funoes g : Y ! X e h : Y ! X, tais que ca c~ g f = 1X e f h = 1Y , demonstre que f : X ! Y bijetora e que g = h = f 1 . e 7. Sejam f : X ! Y e g : Y ! Z funoes. Demonstre que c~ (a) Se f : X ! Y e g : Y ! Z s~o injetoras, ent~o tambm o g f : X ! Z. a a e e (b) Se f : X ! Y e g : Y ! Z s~o sobrejetoras, ent~o tambm o g f : X ! Z. a a e e 8. Seja R uma rela~o de X para Y e seja S uma rela~o de Y para Z. Podemos, como ca ca na composi~o de funoes, denir a composi~o destas rela~es por ca c~ ca co S R = f(x; z) 2 X Z j (9y 2 Y )[(x; y) 2 R ^ (y; z) 2 S]g que uma rela~o de X para Z. Demonstre que e ca (a) (S R)1 = R 1 S1 . (b) Se T uma rela~o de Z para W , ent~o T (S R) = (T S) R. e ca a 9. Sejam f : X ! Y e g : Y ! Z duas bijeoes. Demonstre que g f : X ! Z c~ e e ca uma bije~o, e que a fun~o inversa (g f )1 : Z ! X, o mesmo que a composi~o ca ca

76

Relacoes e Funcoes ~ ~

co f 1 g 1 : Z ! X das fun~es inversas g 1 : Z ! Y e f 1 : Y ! X. Ou seja, 1 1 1 (g f ) = f g .