NOTAS DE AULA CONJUNTOS, FUNES E RELAES

CAPTULO I NOES BSICA DE CONJUNTOS

1. Conjuntos O conceito de conjunto aparece em todos os ramos da matemtica. Intuitivamente, um conjunto qualquer coleo de objetos bem definida. Notamos um conjunto por uma letra maiscula: A, B, C, X, Y.......... Os objetos que constituem o conjunto so chamados elementos ou membros e sero notados por letras minsculas: a, b, x, y........ . A afirmao a um elemento de A ou, a equivalente, a pertence a A escrito como a A. A negao de a A escrita como a A. Existem duas maneiras de especificar um conjunto particular. Uma maneira, se h essa possibilidade, listando todos seus elementos. Por exemplo, A = {a, e, i, o, u } significa o conjunto A cujos elementos so as letras a, e, i, o, e u. Observe que os elementos so separados por vrgulas e esto listados entre chaves { }. Uma outra maneira definindo as propriedades que caracterizam os elementos no conjunto. Por exemplo, B = { x; x um inteiro, x > 0 } que se l B o conjunto dos x tais que x inteiro e x maior do que zero. Uma letra, comumente x, usada para denotar um elemento arbitrrio do conjunto; os dois pontos lido como tal que e a vrgula como e. O conjunto B acima tambm pode ser escrito como B = { x | x um inteiro e x > 0 }.

A barra | significa tal que. Exemplos: 1) A = { 2, 3, 5}. Observe que 2 A, 4 A, 0 A, -1 A, A Desafio: O conjunto A, acima, o nico conjunto com trs inteiros positivos tais que o produto de qualquer dois de seus membros deixa resto um quando dividido pelo terceiro ou existe algum outro? 2) Intervalo aberto de a at b = (a, b) = { x | a < x < b } 3) Intervalo fechado de a at b = [ a, b ] = { x | a x b } 4) Intervalo aberto-fechado de a at b = ( a, b ] = { x | a < x b } 5) Intervalo fechado-aberto de a at b = [ a, b ) = { x | a x < b } Uma questo: Quando que dois conjuntos, A e B, so iguais? O conjunto A igual a B se, e somente se, eles tm os mesmos elementos, isto , cada elemento de A um elemento de B e, reciprocamente, cada elemento de B pertence a A . Notamos A igual a B por A = B. A negao de A = B escrita como A B. Exemplo 6: Considere os conjuntos: E = { x | x2 - 3x + 2 = 0 } F = { 2,1 } G = { 1, 2, 2, 1 } Aqui temos E = F = G Observe, ento, que um conjunto no depende da maneira como seus elementos so dispostos nele e o conjunto o mesmo se os seus elementos so repetidos ou rearranjados. Conjuntos podem ser finitos ou infinitos. Um conjunto finito se possui n elementos distintos, onde n um inteiro no negativo; caso contrrio, infinito. Um conjunto que possui um nico elemento chamado conjunto unitrio. A primeira vista, parece estranho que a noo de conjunto aponte para a idia de coleo, agregado e, no entanto, falamos de conjunto unitrio. A noo de

conjunto unitrio bastante til. Posteriormente, no item voltaremos para esclarecer melhor esse conceito. Exemplo 7: Considere os seguintes conjuntos: N = { 1, 2, 3, 4,.......} A = { 1, 3, 5, 7, ......} B = { x | x primo e x > 2 } C = { 3, 6, 9, 12, .....}

3, pgina 4,

Observe que todo elemento de A elemento de N. Quando isso acontece dizemos que A um subconjunto de N e denotamos esse fato por A N . A negao de A N escrita como A N. No presente exemplo, observe que B A, C N e C N. Note tambm que C um subconjunto de N, mas no igual a N. Nesse caso, dizemos que C um subconjunto prprio de N. Assim, se A B, dizemos que A subconjunto de B ou A uma parte de B. Se A B, mas A B, dizemos que A um subconjunto prprio de B Exemplo 7: Denotaremos, de agora por diante, N = conjunto dos nmeros inteiros positivos = { 1, 2, 3, 4,.....} Z = conjunto dos nmeros inteiros = {...., -3, -2, 0, 1, 2, 3,...} Q = conjunto dos nmeros racionais = { R = conjunto de todos os nmeros reais. De acordo com essa definio, temos: NZQR NOTA: Observe que A B no exclui a possibilidade de A = B. De fato, podemos definir a igualdade entre dois conjuntos como: A = B se, e somente se, A B e B A. Exerccio: Sejam A, B e C trs conjuntos quaisquer. Ento prove que so verdadeiras as afirmaes:
m n

| m, n Z e n 0 }

( i ) A A (reflexividade) ( ii ) A B e B A ento A = B ( iii ) Se A B, B C, ento A C (transitividade)

2. O Conjunto Universal Em qualquer aplicao da teoria dos conjuntos, todos os conjuntos em discusso so subconjuntos de um conjunto fixo. Chamamos este conjunto de conjunto universal ou universo e o denotamos por U.

Exemplo 8: Quando estudamos a geometria plana, o conjunto universo o conjunto de todos os pontos do plano. Quando estudamos a aritmtica dos inteiros o Z o conjunto universal. Exemplo 9: Considere os conjuntos S = conjunto de todos os quadrilteros P = conjunto de todos os paralelogramos R = conjunto de todos os retngulos L = conjunto de todos losangos Q = conjunto de todos os quadrados. Podemos afirmar que 3. O Conjunto Vazio A princpio estranho que o conceito de conjunto aponte para a noo de coleo, agrupamento, ajuntamento e, no entanto, se fale em conjunto unitrio, conjunto vazio. Faremos, a seguir, um rpido comentrio sobre a questo. Suponha que temos o seguinte conjunto: S = {1, 2, 3, 4, 5, } . Observe que se retiramos o elemento 5 de S, obtemos um novo conjunto: S1 = { 1, 2, 3, 4 } Se desse conjunto, retiramos o elemento 4, obtemos um novo conjunto: 4 Q L P S. O que P R L Q ?

S2 = { 1, 2, 3 }. Se do conjunto S2 retiramos o elemento 3, obtemos um outro conjunto: S3 = { 1, 2 } Observe ento que, quando temos um conjunto e retiramos um elemento desse conjunto natural que obtenha um outro conjunto. Para que essa propriedade seja vlida sempre, devemos obter um outro conjunto quando retiramos o elemento 2 do conjunto S 3 , isto , teramos que considerar como conjunto S4 = { 1 } (que chamado, por ter um nico elemento, de conjunto unitrio).

Desse modo, ao retirarmos o elemento 1 de S4 obtemos um conjunto sem qualquer elemento: S5 = { }, que chamamos de conjunto vazio.

Resumindo, se queremos adotar como verdadeira a propriedade: sempre que tivermos um conjunto e dele retirarmos um elemento, o que resultar desse conjunto um outro conjunto temos de aceitar a existncia do conjunto unitrio e do conjunto vazio. Com isso, aceitamos essas definies e ganhamos uma propriedade (Princpio da Economia do Pensamento). Desse modo, as noes de conjunto unitrio e conjunto vazio aparecem, e so teis, apesar do conceito de conjunto ser entendido como coleo de elementos ou agregado de elementos. Notamos o conjunto vazio por { } ou . Observe que B = { } no o conjunto vazio, pois B tem um elemento, que o . Nesse caso, B um conjunto unitrio cujo elemento o conjunto vazio! Exemplo 10 O conjunto A = { x R | x2 = -2 } no possui elemento, pois nenhum nmero real multiplicado por ele mesmo resulta em numero negativo. Logo, A = { }.

4. Conjunto das Partes

No conjunto das retas, cada reta um conjunto de pontos. No conjunto de planos do espao tridimensional, cada plano um conjunto de retas. Ou seja, podemos falar de conjuntos cujos elementos so conjuntos. Dado um conjunto A, a coleo de todos os subconjuntos de A chamado de conjunto das partes de A e denotado por P(A); isto e: P (A) = { X | X A } Exemplo 11 Se A = { a, b, c } ento P (A) = { A, { a }, { b }, { c }, { a, b }, {a, c }, {b, c}, } Desafio: Em geral, se A um conjunto finito com n elementos ento P(A) possui 2n elementos. Prove.

5. Operaes com Conjuntos Dados dois conjuntos podemos operar esses conjuntos no sentido de obter um outro conjunto. As operaes mais comuns entre dois conjuntos so: unio, interseo, diferena, complementar, diferena simtrica. A unio de dois conjuntos A e B, denotada por A B, o conjunto de todos os elementos que pertencem a A ou B; isto , A B = { x | x A ou x B } Observe que a disjuno ou usada no sentido e/ou. A interseo de dois conjuntos A e B, denotada por A B, o conjunto de todos os elementos que pertencem a A e B, ou seja, A B a coleo dos elementos que pertencem simultaneamente a A e a B; isto : A B = {x | x A e x B } Se A B = , dizemos A e B so disjuntos.

A diferena de B com respeito a A, ou simplesmente diferena de A e B, denotada por A - B, o conjunto dos elementos que pertencem a A mas no pertencem a B, isto : A- B = {x| x A e x B } Observe que : A B e B so disjuntos. O complementar de um conjunto A relativamente ao conjunto universal U, denotado por Ac , igual a diferena U - A, isto , Ac = { x | x U e x A } A diferena simtrica de A e B, denotada por A B, a unio da diferena de B com respeito a A e de A com respeito a B, isto : A B = ( A-B ) ( B-A ) Os diagramas mostrados a seguir, chamados diagramas de Venn, ilustram as operaes definidas acima. Os conjuntos so representados por reas planas e U, o conjunto universal, pela rea do retngulo que envolve os conjuntos. John Venn (1834-1923) foi um lgico ingls que empregou esses diagramas em 1876 num artigo sobre o sistema lgico de Boole e tambm em 1894 em seu famoso livro Symbolic Logic

Ac As operaes definidos acima satisfazem a vrias leis ou identidades que so listadas abaixo: ( i ) A A = A (idempotente) ( ii ) A A = A (idempotente) (iii) (A B) = (B A) (comutativa) (iv) (A B) = (B A) (comutativa) (v) (A B) C = (A C) (B C) (distributividade) (vi) (A B) C = (A C) (B C) (distributividade)

(vii) A = A (identidade) (viii) A = (identidade) (ix) (Ac)c = A (x) (A B)c = Ac B c (xi) (A B)c = Ac B c (xii) A (B C) = (A B) C (xiii) A (B C) = (A B) (A C) Exemplo 12 Mostrar que: (A B) C = (A B) (B C) Observe que, da definio dada acima, temos que mostrar dois fatos: ( i ) (A B) C (A B) (B C) e ( ii ) (A C) (B C) (A B) C Para mostrar o fato ( i ) temos que verificar que todo elemento de (A B) C tambm elemento de (A B) (B C). Para isso, tomemos x (A B) e x C, ou seja: (x A ou x B) e x C , ou ainda (x A e XC) ou (x B e x C), e, finalmente, temos x [ (A C) (B C) ] Para mostrar o fato (ii), temos de verificar que todo elemento de [ (A C) (B C) ] tambm elemento de (A B) C. Para isso, tomemos x (A C) ou x (B C), ou seja, (xA e xC) ou (xB e xC) ,que o mesmo que (xA ou xB) e x C, isto , x (AB) e x C, que o mesmo que x [ (A B) C ]. A verificao das demais identidades so deixados como exerccio.

6. Aplicaes do Conceito de Conjunto Para qualquer conjunto finito X, denotamos # X o nmero de elementos de X. 6.1 (Princpio da Incluso-Excluso) Se A e B so conjuntos finitos, ento # (AB) = # A + #B - # (A B) Prova: Inicialmente escrevemos A B e B como a unio de dois conjuntos disjuntos: 8

A B = A (B - A) B = (B - A) (A B) fcil ver que, sendo os conjuntos A B e B escritos como unio de conjuntos disjuntos, temos: # (AB) = # A + # (B-A) e # B = # (B-A) + # (A B). Segue, ento, que # (A B) = # A + # (B-A) = # (A) + # (B) - # (A B).

NOTA: O leitor pode, como exerccio, deduzir o Princpio da Incluso Excluso para trs conjuntos: # (A B C) = # A + # B + # C - # (A B) - # (A C) - # (B C) + # (A B C). 6.2 Se 47% das pessoas de uma cidade votaram, numa determinada urna, para prefeito e 75% votaram para senador, qual o percentual mnimo dos que votaram para prefeito e senador? Soluo: Sejam P e S o conjunto das pessoas que votaram, naquela urna, para prefeito e senador respectivamente e n o nmero total de votantes naquela urna. Ento : # (PS) n e # (PS) = # P + # S - # (P S)

Assim:

n # P + # S - # (PS) =

(47 + 75).n/100 - # (P S) e no mnimo 22%

Ou seja, # (P S) (47 + 75 100).n/100 = 22.n/100, votaram para prefeito e senador.

6.3 X, Y e Z so conjuntos de pessoas dois a dois disjuntos. A mdia de idade das pessoas nos conjuntos X, Y, Z, XY, XZ e YZ so dados na tabela abaixo: Conjunto X Mdia de idade das 37 pessoas no conjunto Y 23 Z 41 XY 29 XY 39,5 YZ 33

Ache a mdia das idades das pessoas no conjunto XYZ Soluo: Sejam : # X = x, # Y = y e # Z = z. Ento # (XY) = x + y , # (XZ) = x + z e # (YZ) = y + z Agora os dados do problema podem ser resumidos em trs equaes:
37 x + 23 y = 29 x+ y
37 x + 41 z = 39,5 x+ z

23 y + 41z = 33 y+z

Simplificando essas equaes, obtemos: 4x = 3y; 5x = 3z, 5y = 4z F=

O que buscamos o valor da frao

4 x; 3

37 x + 23 y + 41z x+ y +z
5 x , obtemos F = 34. 3

Fazendo as substituies y =

z=

4) Diga, justificando, se existe um conjunto S de inteiros positivos tal que um nmero est em S se, e somente se, ele a soma de dois elementos distintos de S ou uma soma de dois inteiros positivos que no esto em S? Soluo: A resposta sim. Considere S = N - { 1, 2, 4, 7, 10 } = { 3, 5, 6, 8, 9, 11, 12, 13,...}. Cada um dos nmeros 3, 5, 6, 8, 9, 11 e 12 uma soma de dois nmeros que no esto em S: 3 = 1+ 2 ; 5 = 4 + 1; 6 = 2 + 4; 8 = 7 + 1; 9 = 2 + 7; 11= 4 + 7; 12 = 10+2.

10

Agora, 13 = 8 + 5, com 8, 5 S e qualquer nmero n maior do que 13 tem a forma n = 3 + (n - 3) ; com 3 S e (n - 3) S, para n maior do que 13. Por

outro lado, nenhum dos nmeros 1, 2, 4, 7 ou 10 soma de nmeros que esto em S ou de nmeros que esto em S ou de nmeros que no esto em S. Portanto, o conjunto existe. fcil ver que a soluo nica, desde que 1 no pode estar em S, 2 no pode estar em S, 3 tem de estar em S, e assim por diante. 5) Escreva uma tabela para o conjunto P(X) com a operao , quando X = { a, b }. Soluo: Desde que M N = (M - N) (N - M), tomando obter a tabela abaixo. A = { a }, B = { b } podemos facilmente

A B X

A B X

A A X B

B B X A

X X B A

Observe que, com a operao , todo Y elemento de P (X) satisfaz a equao Y 2 = , onde Y 2 significa Y Y .

EXERCCIOS 1) Sejam A, B e subconjuntos de um conjunto X. Sob que condies cada uma das igualdades abaixo verdadeira ? (a) A B = A B (A B) (b) A (B C) = (A B) (A C) (c) A (B A) = A 2) Prove ou d um contra - exemplo para as seguintes afirmaes:

11

(a) P(X) P(Y) = P(X Y)

(b) P(X) P(Y) = P(X Y)

3) (Lewis Carrol, A Tangled Tale) Olhando prisioneiros que retornavam de uma guerra observou-se que, no mnimo 70 % tinham perdido um olho, 75 % uma orelha, 80 % um brao, 80% uma perna. No mnimo, que percentagem dos prisioneiros tinha perdido todos os rgos citados? 4) Uma centena de estudantes respondeu um questionrio sobre seus hbitos de estudo. 70 deles disseram que algumas vezes estudaram durante o dia, 55 disseram que algumas vezes estudaram a noite, e 45 disseram que algumas vezes estudaram durante os fins de semana. Tambm 36 estudantes estudaram durante o dia e a noite, 24 durante o dia e nos fins de semana, 17 durante a noite e nos fins de semana, e 3 durante o dia, a noite e em fins de semana. Quantos estudantes no estudaram em qualquer perodo? 5) Se #A = 3 e #B = 5, quais so as possibilidades para #(A B)? 6) Considere os conjuntos { 1 }, {2, 3}, {4, 5, 6}, {7, 8, 9, 10}, {11, 12, 13, 14, 15}, ............. Seja Sn a soma dos elementos do n-simo conjunto. Calcule S30. 7) Existem quantos inteiros de 1 at 1 000 000 inclusive que no so nem quadrados perfeitos nem cubos perfeitos? 8) Quantos inteiros de 1 at 1030 inclusive no so quadrados perfeitos, cubo per feito nem potncias quinta de qualquer inteiro? 9) Seja A um conjunto finito qualquer e B um subconjunto de A. Prove que o nmero de subconjuntos de A contendo B o mesmo que o nmero de subconjuntos de A disjuntos de B. 10) Se p e q so inteiros positivos tais que

7 p 11 < < 10 q 15
Qual o menor valor que q pode ter? 11) Qual o menor quadrado perfeito que termina com os quatro algarismos 9009?

12

12) Sejam a e b dois nmeros naturais inferiores a = 0,711978 ...... Achar a e b. b

1000

tais que

13) Seja E = {1, 2, 3, 4,...., 360,361}. Achar o menor inteiro positivo p tal que todo subconjunto de E com p elementos possui trs inteiros consecutivos. 16) (Halmos) Um nmero finito de crculos divide o plano num nmero finito de regies, definindo, ento, um mapa no qual a fronteira de cada pas consiste de um nmero finito de arcos de crculos. Quantas cores so necessrias para colorir tal mapa?

CAPTULO II FUNES
1. A Idia de Funo O canto dos grilos um som familiar no campo numa noite quente. O ritmo no qual os grilos cantam depende da temperatura: quando est quente eles cricrilam mais do que em qualquer outro tempo. A tabela abaixo mostra como o ritmo e a temperatura esto relacionados. Temperatura em Graus Farenheit (*) 50 Nmero de Cricrilos em quinze 10 segundos 60 20 70 30 80 40 ...... ......

(*) A relao entre graus Farenheit, F, e graus Celsius, C, dada pela equao: F = C x 1,8 + 32 Para cada temperatura desta tabela, existe um correspondente nmero de cricrilos em quinze segundos. Observe que, para cada temperatura existe um nico nmero correspondente. Um matemtico diria que o nmero de cricrilos em quinze segundos uma funo da temperatura.

13

Uma maneira de representar uma funo com uma tabela, como acima. Uma outra maneira escrever uma frmula. Na tabela acima, cada nmero da segunda linha o correspondente nmero da primeira linha menos 40. Se chamamos F a temperatura em graus Fahrenheit e n representa o nmero de cricrilos em 15 segundos, podemos escrever. n = F - 40 ou F = n + 40 As duas letras nas frmulas acima so variveis. Na primeira, n varia de acordo com a variao de F, isto , n funo de F. na segunda, F varia de acordo com a variao de n, isto F funo de n. A frmula de uma funo permite -nos escrever a correspondente tabela. Basta escrever os nmeros que queremos para a primeira linha e substitu-los na frmula para achar o nmero correspondente da segunda linha. Por exemplo, uma frmula para a temperatura em graus Celsius, C, como uma funo do ritmo do canto dos grilos em 15 segundos, n, C = 0,6n + 4 Para ver isso, basta observar que F = C x 1,8+32. Como: F = n + 40, temos: C x 1,8 + 32 = n + 40, ou C x 1,8 = n + 40 - 32 = n + 8, ou ainda: C = 0,6n + 4 (*) Para escrever a tabela dessa funo, escolhemos alguns nmeros n : 0, 10, 20, 30, 40 e substitumos ento esses nmeros na frmula ( * ) para encontrar os correspondentes nmeros de segunda linha. Substituindo Substituindo Substituindo Substituindo Substituindo a tabela : Temperatura em graus Celsius 0 Nmero de cricrilos em 15 segundos 4 10 10 20 16 30 22 40 28 n = 0, obtemos C = 0,6 x 0 + 4 = 4 n = 10, obtemos C = 0,6 x 10 + 14 = 10 n = 20, obtemos C = 0,6 x 20 + 14 = 16 n = 30, obtemos C = 0,6 x 30 + 4 = 22 n = 40, obtemos C = 0,6 x 40 + 4 = 28

Resumindo,

14

se temos dois conjuntos S e T, por uma funo ou aplicao de S em T , entendemos uma correspondncia (ou regra, ou mecanismo), que associa para cada elemento S um nico elemento de T. O conjunto S usualmente chamado de domnio da funo e o conjunto T chamado de contra-domnio.

2. Notao e Vocabulrio No captulo anterior, discutimos vrios aspectos da teoria dos conjuntos: operaes, elementos etc. Neste captulo olhamos a teoria dos conjuntos sob um outro ponto de vista. Na verdade, cuidamos de aplicaes de um conjunto noutro. Por qu? Por vrias razes, como poderemos ver adiante. uma noo til e leva-nos para resultados importantes. Podemos descrever muitas fatos matemticos como estudo de funes apropriadas. Em outras palavras, o conceito de aplicao (ou funo) que comeamos a estudar muito usado e se constitui num dos pontos mais importante da matemtica. A seguir, vamos tratar de alguns conceitos sobre funes. Para facilitar nossa comunicao vamos introduzir alguma notao e vocabulrio. Seja f uma funo de um conjunto S para T. Podemos denotar este fato com a notao: f:S T Se s um elemento de S e t T o elemento que est associada pela funo f a s, notamos este fato por: t = f(s). Chamamos t como sendo a imagem de s pela funo f. Algumas vezes dizemos que t o valor que f assume em s, ou que f leva s em t. Chamamos o conjunto Im f = { t T existe s S; f(s) = t } de imagem da funo f. Exemplo 1: Seja S o conjunto das pessoas que moram na rua A e seja N o conjunto dos inteiros positivos. Se s um dos residentes da rua A, definimos f(s) como sendo o nmero da residncia de s na rua A . Portanto, se o Sr. Silva mora na casa de nmero 25 da rua A, f (Sr. Silva) = 25. Observe que, se Maria a esposa do Sr. Silva, ento f(Maria) = 25. Exemplo 2:

15

Consideramos o conjunto S das pessoas residentes na rua A e N o conjunto dos inteiros positivos. Suponha que o sistema da identificao da polcia seja perfeito, de modo que cada pessoa tenha sua carteira de identidade com o respecti vo nmero, independente se homem, mulher, criana. Definimos a funo g : S N por g(s) = nmero da carteira de identidade da pessoa s. Observe que, quaisquer duas pessoas distintas, s1 e s 2, so tais que g(s 1) g(s2) . Observe, ento que esta funo aqui definida distinta da funo do Exemplo 1, quanto a esse aspecto. L, f(Sr. Silva) = f(Maria). Isto , dois elementos distintos de S podem ter a mesma imagem. Aqui, ocorre que elementos distintos de S tm imagens distintas. Nesse caso, dizemos, ento, que g injetiva. Assim, h : S T injetiva sempre que s1, s2 S, s1 s2 h (s1) h(s2). Ou, equivalentemente, dizemos que h injetiva se, e somente se, s1, s2 S: h (s 1) = h(s 2) s1 = s 2 Exemplo3 : Sejam N conjunto dos inteiros positivos e T conjuntos dos inteiros positivos mpares. Definimos f : N T por f(n) = 2n-1, para cada n N. Assim, f (1) = 2.1-1 = 2-1 = 1 f (10) = 2.10-1=20-1=19 f(35)=2.35-1=70-1=69 f define uma funo de N em T e observe que, como no Exemplo 2, f distingue os elementos de N. Isto , se n m ento f(n) f(m). Logo, f injetiva. Por qu? Pois, se f(n) = f(m) ento 2n-1 = 2m-1, o que nos levaria a concluso de que n = m, que uma contradio com a hiptese. Vamos mostrar a seguir que a funo f do Exemplo 3 possui uma propriedade que nenhuma das funes dos Exemplos 1 ou 2 possui. De fato, seja x qualquer inteiro positivo mpar; podemos escrever x como sendo x = 2r - 1 , para algum inteiro positivo r. Agora, f(r) = 2r - 1 = x. Isto significa dizer que qualquer elemento de T aparece como imagem de um elemento de N. Esta propriedade de f muito importante e dizemos que f uma funo sobre ou sobrejetiva. Ento, uma funo f: S T sobre se, para qualquer t T, existe um elemento s S tal que f(s) = t. Exemplo 4: Para qualquer conjunto no vazio podemos definir i : S S por i(s) = s, para cada s S. Esta funo aplica cada elemento de S sobre ele prprio. A funo i chamada funo identidade. Algumas vezes notamos a funo identidade i : S S por is.

16

fcil ver que a funo identidade injetiva e sobre. Desafio Definimos f : Z N por: ( i ) f(n) = 1, se n inteiro negativo ( ii ) f(0) = 101 ( iii ) f(n) = n, se n inteiro positivo. A funo f injetiva? sobre? Pode acontecer que dados dois conjuntos S e T existe uma funo f : S T tal que f seja injetiva e sobre. Nesse caso, f chamada uma funo bijetiva ou uma bijeo. Essa definio sugere uma certa simetria em relao ao fato de ser bijetiva. Isto, a definio fala de uma funo bijetiva de S para T. Mas, nesse caso, tambm existe uma funo bijetiva de T para S e essa funo ser chamada de a inversa de f, sendo usualmente denotada por f-1. Vamos mostrar, em seguida, que se f : S T bijetiva ento existe g : T S bijetiva. De fato, como f bijetiva, em particular f sobre. Logo, dado qualquer elemento t de T, existe algum s de S tal que f(s) = t. Como f tambm injetiva, s nico; isto , s o nico elemento de S com a propriedade de que f(s) = t. Ou seja, no existe ambigidade, portanto, em levarmos t naquele elemento s tal que t = f(s). Esse elemento s ser chamado g(t). Essa regra associa cada elemento de T num nico elemento de S, em outras palavras, define uma funo g: T S. Esta funo chamada a inversa de f e comumente denotada por f -1. Exemplo 5 Seja g : Z Z tal que g(s) = s 6. fcil ver que g injetiva e sobre. Qual a inversa de g? Para responder a questo, considere t um elemento de Z. Sabemos que g-1(t) = x, tal que g(x) = t. Mas, g(x) = x 6 = t. Portanto, x = t + 6. Assim, g-1(t) = t + 6, para todo t Z. Exemplo 6

17

Na expresso

2 +1 3 = que no qualquer nmero real (ou complexo). Assim, para que a 2 2 0 x +1 frmula possa representar uma funo teramos de eliminar a x2 x +1 possibilidade de x vir a ser 2. Desse modo, f : R {2} R, tal que f(x) = x2 uma funo bem definida. Nesse caso, R {2} o domnio da funo e R o contradomnio.

x +1 x2

no podemos atribuir o valor 2 para x, pois teramos

Uma questo: f injetiva? Sim. De fato, para cada x, y R - {2}, com x y, a igualdade f(x) = f(y) x +1 y +1 significa dizer que = , ou seja, (x+1).(y-2) = (x-2).(y+1), ou ainda 3x x 2 y 2 = 3y, que resulta em x = y, que uma contradio. Logo, x y f(x) f(y) e a funo injetiva. f sobre? No. Pois no existe s R tal que f(s) = 1. De fato, se 1 = f(s) =
s +1 , s2

teramos 3 = 0, que uma contradio. Agora considere g : R-{2} R {1} , tal que acima, g injetiva e sobre. Quem a inversa de g? Fazendo g(x) =
x +1 = y, obtemos x2

g(x) =

x +1 . Pelo que vimos x2

2y +1 2y +1 . Portanto, g-1(y) = y 1 y 1

Uma questo: quando podemos dizer que duas funes f e g so iguais? Duas funes f e g so iguais se f(x) = g(x), para todo x, com f e g definidas de um mesmo conjunto A para um outro conjunto B ( B tambm o mesmo nos dois casos de f e g) e a lei ou frmula da funo tem de produzir os mesmos valores quando x varia no conjunto A. Assim, f, g : A B, com f(x) = g(x), para cada x A.

18

Exemplo 7 Sejam R + o conjunto dos nmeros reais positivos e f : R + R+, tal que 1 f(x) = , para cada x R +. fcil ver que f injetiva e sobre. Quem f -1 ? x Vamos mostrar um fato surpreendente : f(x) = f -1(x), para cada x de R+, ou seja, 1 f = f-1. De fato, f-1(x) = s, tal que f(s) = x. Mas, f(s) = = x. Logo, s 1 f-1(x) = s = = f(x). x Desafio

Se f(x) = x2 V(x) = x2/x ?

g(x) = x, podemos concluir que f = g ? O que dizer de H(x) = x e

2. Funes Compostas No estudo de funes tem um caso muito interessante, que vale a pena estudar pela sua oportunidade de generalizao e conseqente utilidade. Sejam S um conjunto e f, g duas funes definidas de S para S, isto , f, g : S S. Se s S, ento g(s) S e, como elemento de S, pode ser aplicado pela funo f, resultando no elemento f(g(s)) S. A partir dessa observao, podemos definir a chamada funo composta, notada por f o g, definida como f o g : S S, tal que (f o g) (x) = f(g(x)), para cada x S.

Exemplo 8
1 . Observe que podemos s +1 1 1 6 s 2 + 11 calcular (f o g) (s) = f(g(s)) = f( 2 ) = 5. 2 +6= 2 . s +1 s +1 s +1 Evidentemente que poderamos ter calculado (g o f) (x). O que seria g(f(x)) ? 1 Basta usar a definio: (g o f) (x) = g(f(x)) = g( 5x + 6) = . (5 x + 6)2 + 1 Para exemplificar,

Sejam f, g : R R tal que f(s) = 5s + 6 e g(s) =

19

(f o g) (0) = f(g(0)) = f(1) = 5.1 + 6 = 11 Observe, ento, que comuta.

e (g o f) (0) = g(f(0)) = g(6) =

f o g g o f, isto

1 1 . = 6 + 1 37 a composio de funes no
2

O que estudamos sobre a funo composta ou composio de funes pode ser generalizado para o caso em que temos duas funes f : S T e g : T W. Nesse caso, podemos definir a funo composta f o g (ou a composio das duas funes) como sendo g o f : S W , tal que (g o f) (x) = g(f(x)) , para cada x S. Observe que agora no faz sentido falarmos em f o g, a menos que S seja igual a W, pois f est definida de S para T e no de W para T, isto , como (f o g) (x) = f(g(x)) e g(x) W, no podemos achar o valor de f num elemento de W, a menos que W = S. Seja f : S T uma aplicao injetiva de S sobre T. Portanto, como vimos, podemos definir a inversa de f, que chamada f-1 e uma aplicao de T em S. Que funo resultar de f-1 o f ? Se s S, ento (f-1 o f) (s) = f -1 (f (s)). Entretanto, pela definio de f -1, se t = f(s), ento f -1 (t) = s. Em outros palavras, (f -1 o f ) (s) = f -1 (f (s) ) = f -1 ( t ) = s. Ou seja: ( f -1 o f) ( s ) = s, para todo s S. Isto significa dizer que ( f -1 o f) = i s , que a aplicao identidade de S sobre ele prprio. De modo anlogo, para cada t T, ( f o f -1) ( t ) = t . Ou seja, f o f -1 = i T , que a identidade de T sobre T. Essas duas relaes, f o f 1 = iT e f-1 o f = iS , facilitam o entendimento de que f-1 : T S uma aplicao injetiva e sobre. De fato, suponha que f -1 (t 1) = f -1 ( t2), com t1, t2 T. Aplicando f em cada lado da igualdade obtemos: f ( f -1 (t1 ) = f ( f -1 (t 2 ) ), que a mesma coisa de : ( f o f -1 ) ( t1 ) = i T ( t1 ) = t1 = ( f o f -1 ) (t2 ) = i T (t2) = t 2 Portanto, f -1 , de fato, injetiva.

Por que f -1 sobre?

20

Seja s S, queremos exibir algum elemento t T tal que s = f-1 ( t ) . Para isso, seja t = f( s ), ento f-1 ( t ) = f-1 ( f (s) ) = (f -1 o f) ( s ) = i S ( s ) = s. Logo, f -1 sobre. As aplicaes identidades i s , i T tm algumas propriedades algbricas importantes, que comentaremos a seguir. Seja f : S T e seja iT : T T a aplicao identidade de T. Pelas definies de f e iT possvel falar na composta i T o f. O que significa i
T

of?

Se s S, ento ( iT o f ) (s) = i T (f (s) ) = f (s). Ou seja, (iT o f ) (s) = f(s), para todo s S. Isto significa que iT o f = f. De maneira anloga, podemos ver que f o iS = f. Agora, se S = T, temos i S = i T = i. Assim, i o f = f o i = f, onde i = i S = i T . Suponha que temos a situao : g : S T e f : T W. Nessas condies, podemos definir : f o g : S W. Duas questes ocorrem naturalmente: ( i ) Se f e g so injetiva, f o g injetiva? ( ii ) Se f e g so sobre, f o g e sobre? A resposta afirmativa para ambas as questes: ( i ) Suponha que as funes g : S T e f : T W so injetivas. Sejam s1, s 2 S tais que: ( f o g) (s 1) = ( f o g ) (s 2) . Queremos saber se s1 = s2.

Para isso, (f o g) (s1) = ( f o g) (s2 ) f (g (s 1) ) = f (g (s2) ). Como f injetiva, temos que g (s 1) = g(s 2). Como g injetiva, s1 = s 2 . Logo, f o g injetiva. ( ii ) Suponha que ambos as funes g : S T e f : T W so sobre. Queremos mostrar que dado w W, existe so S tal que ( f o g) (so) = W. Como f sobre, existe to T tal que f(to) = W. Agora, como g : S T sobre, existe so S tal que g(s o) = to . Mas, ento: (f o g) (so) = f (g (s o) ) = f (to) = W. Portanto, f o g sobre. Os dois resultados acima permitem-nos afirmar que: Se g : S T e f : T W so ambas injetiva e sobre ento f o g : S W injetiva e sobre.

21

EXERCCIOS:
1) Sejam a, b nmeros reais quaisquer e f : R R , tal que f(x) = x2 + a.x + b. ( i ) f injetiva ? ( ii ) f sobre? 2) Sejam S e T dois conjuntos finitos com m e n elementos respectivamente. Quantas aplicaes existem de S para T? 4) Seja g : R - { 0 } R tal que g (x) = ( i ) Ache o conjunto imagem de g. ( ii ) g injetiva? ( iii ) g sobre? 5) Seja h : R R tal que h(x) = x - 1 . ( i ) h uma funo? ( ii ) h injetiva? (iii ) h sobre? ( iv) Esboce no plano cartesiano o grfico dos pontos ( x, f(x) ) .
x x

6) Sejam A e B dois conjuntos finitos com m e n elementos respectivamente. Existem quantas funes f : A B sobre? 7) Seja A um conjunto com n elementos. Existem quantas bijees f : A A? 8) Sejam f(x) = x 2 + 3x + 2 e S = { 0, 1, 2, 3,...., 25 }. Em S, existem quantos elementos s tais que f(s) deixa resto zero quando dividido por 6? 6) Seja uma funo definida para todo x real, satisfazendo as condies:
f ( 3) = 2 f ( x + 3) = f ( x). f (3)

Ache o valor de f(-3).

22

7) Dada uma constante C, ache todas as funes f tais que f(x) + C. f(x-2) = (x 1)3, para todo x real. 8) Seja f : N N tal que f(1) = 1 e f(n) = n + f(n-1), para todo nmero natural n 2. Encontre o valor de f(1998). 9) Seja f(n) a expresso da soma dos n primeiros termos da seqncia: 0, 1, 1, 2, 2, 3, 3, 4, 4, 5,5,........, r, r, r+1, r+1, ..... Ache os valores de f(1997) e f(1998). 10) Determine a funo h(x) que satisfaz a seguinte equao: x2.h(x) + h(1 x) = 2x x4 11) Uma funo f : R R satisfaz: f(2 - x) = f( 2 + x) e f(7 + x) = f(7 - x)

para todo nmero real x. Se x = 0 uma raiz da equao f(x) = 0, qual o menor nmero de razes da equao f(x) = 0 no intervalo -1000 x 1000?

CAPTULO III RELAES

1. INTRODUO Dados dois conjuntos A e B, o produto carte siano A x B o conjunto dos pares (a , b) tais que a A e b B, i. e. A x B = { (a , b) a A e b B}.

23

DESAFIO : Se A possui m elementos e elementos possui A x B ?

B tem n elementos, quantos

Exemplo 1 Se A = { 3, 4, 6, 18}, ento A x A = { (3,3), (3,4), (3,6), (3,18), (4,3), (4,4), (4,6), (4,18), (6,3), (6,4), (6,6), (6,18), (18,3), (18,4), (18,6), (18,18)} Podemos definir o subconjunto R de A x A como sendo: R = { (a,b) A x A a divide b}. Nesse caso, R = { (3,6), (3,18), (6,18), (3,3), (4,4), (6,6), (18,18)} Logo, R um subconjunto do produto cartesiano A x A, isto , R A x A. Denotamos a R b se o elemento a A est relacionado com b A pela relao R. No caso acima, R a relao a divide b. Exemplo 2 Seja A = { 2, 3, 5, 30, 36, 60} e associemos um elemento a A com um elemento b A se, e somente se, a e b so primos entre si. Obtemos, assim, um conjunto R de pares ordenados, R A x A, tal que: R = { (a , b) A x A MDC (a , b) = 1}, ou seja, R = { (2,3), (2,5), (3,2), (3,5), (5,2), (5,3), (5,36), (36,5)} Assim, 2R3, 2R5, 3R2, 3R5 etc.

Podemos fazer uma representao grfica de R, onde a leitura feita coluna por coluna: 2 2 3 5 30 36 60 X X 3 X X X 5 X X 30 36 60

24

Na representao grfica acima, assinalamos com x o quadrado que se encontra na interseo da linha a com a coluna b quando MDC (a , b) = 1 (observe que MDC (a , b) = 1 o mesmo que dizer; a e b so primos entre si). Os dois exemplos acima apresentam subconjuntos de produtos cartesianos como sendo uma relao ( ou correspondncia) entre os elementos dos conjuntos. interessante observar que nos dois exemplos acima a relao entre os elementos no caracteriza uma funo. Por que? Basta ver, por exemplo, que no Exemplo 1 o elemento 3 de A se relaciona com trs elementos distintos, a saber: 3, 6 e 18. J no Exemplo 2, por exemplo, o 5 se relaciona com 2, 3 e com 36. Os exemplos acima nos sugerem, ento, a noo de relao como sendo um conjunto de pares ordenados, ao mesmo tempo que permite concluir que o conceito de relao distinto do conceito de funo, sendo mais geral. Resumindo, se A e B so dois subconjuntos, chamamos de relao de A em B a todo subconjunto do produto cartesiano A x B. No caso particular em que A = B, todo subconjunto R A x A denominado relao sobre A ou relao em A. DESAFIO Se A = {a, b }, com a b, quantas relaes existem sobre o conjunto A? E se A = { a, b, c}? Exemplo 3 Sejam A = { 0,1} e F = { 2, 3, 4}. Existem quantas relaes de A em B? Uma relao R de A em B um subconjunto do produto cartesiano A x B. Logo, existem tantas relaes de A em B quantos so os subconjuntos de A x B. Ou seja, existem 26 relaes.

DESAFIO Determine todas as relaes sobre A = {0, 1, 2} que satisfazem as seguintes condies: a, b A : (a ) a Ra, para toda a A (b ) Se a Rb, ento bRa 25

Exemplo 4 Seja R o conjunto dos nmeros reais. Definimos a relao S1 = { (x,y) R x R x2 + y2 = 1} usual representarmos S1 pelo conjunto de pontos do plano cartesiano R x R que ser, exatamente, o crculo de raio 1 com centro na origem:

Se R uma relao de A em B usual destacar os seguintes subconjuntos: o domnio de R, notado por D (R), e a imagem de R, notado por Im ( R ), o grfico de R, denotado por GR . Isto : D ( R ) = { x A existe y B, tal que ( x,y) R} Im ( R ) = { y B existe x A, tal que (x,y) R} GR = { (x , y) A x B x R y } Desse modo, os conjuntos A e B sero chamados, respectivamente, conjunto de partida e conjunto de chegada da relao R. Podemos observar que uma relao um subconjunto de um produto cartesiano e que toda funo uma relao, mas nem toda relao uma funo. Somente as relaes onde os elementos do conjunto de partida se relacionam com um, e s um, elemento do conjunto de chegada so funes. DESAFIO Sejam R e S duas relaes no conjunto dos nmeros reais e considere seus grficos GR e GS no plano cartesiano. ( a ) Quais so os grficos de R S e R S ? ( b ) Supondo que R e S so definidas por: x R y x2 + y 2 = 4 e x S y 2x - y = 0

quais so os grficos de R S e de R S ? 26

possvel determinar uma equao para R S ?

2. RELAES REFLEXIVAS, SIMTRICAS E TRANSITIVAS Sejam A um conjunto e R uma relao em A . Se para todo x A, tem-se x R x, dizemos que a relao R reflexiva. Exemplo 5 Sejam R o conjunto dos nmeros reais e S a relao em R definida por x S y x2 = y2 Observe que: -2S2, - 3S3 e de uma maneira geral de A . Logo S reflexiva. -x S x qualquer que seja x

Exemplo 6 Seja A o conjunto dos nmeros reais e E uma relao em A definida por: xEy x-y=5 Observe que, 6 E 1, 8 E 3 etc. mas x no est relacionado com x, j que x - x = 0 5. Logo, a relao E no reflexiva.

Se para quaisquer que sejam x, y A, tem-se : xRy yRx dizemos que a relao R simtrica. Exemplo 7 Seja A o conjunto de retas do plano. fcil ver que a relao de paralelismo em A reflexiva e simtrica. Exemplo 8 Seja A o conjunto de retas do plano. A relao de perpendicularidade em A simtrica e no reflexiva. Se para quaisquer que sejam x, y, z A, tem-se:

27

x R y e y R z x Rz, dizemos que a relao R transitiva. Exemplo 9 A relao de ordem habitual em N (Z, Q ou R ) reflexiva e transitiva, mas no simtrica. Exemplo 10 A relao de divisibilidade em N (ou Z) reflexiva e transitiva, mas no simtrica. Exemplo 11 Sejam A um conjunto no vazio e P(A) a coleo dos subconjuntos de A. fcil ver que a relao de incluso em P (A) reflexiva e transitiva. Em que condies simtrica? DESAFIO Sejam S uma relao sobre o conjunto dos nmeros reais R e GS seu grfico no plano cartesiano. O que significa, para o grfico GS, o fato de S ser simtrica? Exemplo 12 Seja A = { 1, 2, 3, ..., n}. Podemos verificar que o nmero de relaes reflexivas sobre A 2 n { n - 1) . Exemplo 9 Seja A = { 1,2, 3,....,4}. Podemos verificar que o nmero de relaes reflexivas e simtricas 2n (n -1)/2. 3. RELAES DE EQUIVALNCIA Vimos na seo anterior que existem relaes simtricas que no so reflexivas, relaes reflexivas que no so simtricas etc. As relaes que so simultaneamente reflexivas, simtricas e transitivas so chamadas relaes de equivalncia.

Exemplo 10

28

Se A o conjunto de retas do plano. O paralelismo sobre A uma relao de equivalncia. Exemplo 11 Seja A = { x Z x 10 } e consideremos a relao R sobre A definida por: aRb a2 + 2 a = b 2 + 2b fcil ver que R uma relao de equivalncia. De fato, ( i ) aRa , pois a2 + 2 a = a2 + 2 a , para todo ( ii ) aRb a2 + 2 a = b2 + 2b b2 + 2b = a2 + 2 a bRa ( iii ) aRb e bRc a2 + 2 a = b2 + 2b e b + 2b = c2 + 2c a2 + 2 a = c2 + 2c aRc Congruncia Mdulo n (Gauss).

Exemplo 12

Seja m um inteiro positivo e a, b Z . Em Z, definimos a relao a congruente a b mdulo m se, e somente se, existe um inteiro q tal que a - b = qm Carl Friedrich Gauss (1777-1855) criou uma notao para expressar : a congruente a b mdulo m como sendo: a b (mod m) . Assim, a b (mod m) a - b = q.m, para algum inteiro q. fcil ver que a congruncia mdulo m uma relao de equivalncia sobre Z. De fato, ( i ) a - a = 0 = 0.m a a (mod m) ( ii ) a b (mod m) a - b = qm b - a = (-q) m b a (mod m) ( iii ) a b (mod m) a - b = q1.m , com q1 Z b c (modm) b - c = q 2.m ; com q2 Z Como a - c = (a - b) + (b - c ) = q1m + q2m = (q1 + q2) m a c (mod m)

4. CLASSES DE EQUIVALNCIA

Seja R uma relao de equivalncia sobre um conjunto no vazio A .

29

Para todo a A , o subconjunto a = { x A ; x R a } denominado classe de equivalncia mdulo R determinado pelo elemento a A . Neste caso, diz-se que a um representante de a . Chamamos ateno para o fato de que a classe de equivalncia a depende, evidentemente, da relao de equivalncia R. Seja R uma relao de equivalncia sobre um conjunto no vazio A e sejam a e b dois elementos quaisquer de a . As seguintes condies so equivalentes: (a) aRb (b) a b (c) b a (d) a = b Para ver isso, basta mostrar: (a) (b) ( c ) (d) ( a ). De fato, (a) (b) (b) ( c ) (c) (d) (d) (a) Basta utilizar a definio de b . a b aRb bRa b a Para todo x A, x a xRa xRb x b . Como a Ra temos que a a . Logo, de acordo com ( d ), a b e ento a R b.

Conclumos ento que: ( i ) a = b aRb ( ii ) a b a = b . Isto , se duas classes de equivalncia possuem um elemento em comum, ento elas coincidem, ou sob outra forma, duas classes de equivalncia distintas so disjuntas:
a b a b =

A propriedade ( ii ) nos mostra que se x a, ento x = a , isto , todo elemento de uma classe de equivalncia um representante desta classe. 5. CONJUNTO QUOCIENTE Seja R uma relao de equivalncia sobre um conjunto no vazio A. O conjunto de todas as classes de equivalncia mdulo R denominado conjunto quociente de A pela relao de equivalncia R e ser indicado por A/R (leia-se : A sobre R ).

30

Exemplo 13 No exemplo 11, onde a relao de equivalncia era: aRb a2 + 2 a = b2 + 2b, se a b teremos : b2 - a2 = -2 (b - a ), ou seja (b - a ) (b + a) = -2 (b - a), ou b + a = -2 ou ainda b= -a - 2 Portanto, as classes de equivalncia so:

0 = { 0 } , 1 = { + 1, -3}, 2 = { 2, -4}, 3 = {3, -5}, 4 = {4, -6}, 6 = {6, -8}, 7 = {7, -9}, 8 = {8, -10}, 9 = { 9 }, 10 = { 10 }
Assim, A/R = { 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7, 8 , 9 , 10 }

5 = {+5, -7},

Observemos que todo elemento de A/R um subconjunto de A, logo A/R A . Alm disso, como a &&& , para todo a A, resulta que a unio de todas as a classes de equivalncia mdulo R o conjunto Observao: Convm destacar as propriedades: 1. Toda classe de equivalncia no vazia. 2. Duas classes de equivalncia distintas so disjuntas, isto , a b a b = 3. A unio de todas as classes de equivalncia o conjunto A. Resumimos as propriedades acima dizendo, simplesmente, que o conjunto quociente A/R uma partio de A . Exemplo 14 Sejam n um inteiro maior do que 1 e a e b dois inteiros quaisquer. So equivalentes as duas afirmaes abaixo: (a) a b (mod n) (b) a e b deixam o mesmo resto quando divididos por n Podemos mostrar a equivalncia demonstrando que (a) (b) De fato, (a) (b) e (b) (a).

a b (mod n) significa que a - b mltiplo de n. Se, quando divididos por n, a e b deixam restos r e s, respectivamente, 31

escrevemos: a = n.q + r e b = n.k + s, onde q, k, r, s so inteiros e 0 r < n e 0 s < n. Assim, considerando r s, a - b = n.(q - k) + (r - s) = mltiplo de n. O que implica (r - s) mltiplo de n. Mas, como n > r r - s 0, temos, obrigatoriamente, r = s. (b) (a) Se a = n.q + r e b = n.k + r, temos que a - b mltiplo de n. Logo, a b (mod n). congruncia mdulo n,

Uma questo: Na relao de equivalncia sobre Z quem o conjunto quociente? Os possveis restos na diviso por n

so: 0, 1, 2, 3, ...., n -2, n -1. Logo, vo

existir n classes de equivalncia. Cada classe i , com 0 i < n, vai corresponder ao conjunto dos inteiros que deixam resto i quando divididos por n, isto , i = { n.q + i; q um inteiro}. Esse conjunto quociente , usualmente, denotado por Zn. Assim, Z n = { 0 , 1 , 2 , 3 , ....., n 2, n 1 }

DESAFIO Descreva o conjunto quociente na relao congruncia mdulo 5.

EXERCCIOS
1) Marque (V) ou (F) conforme a afirmativa seja verdadeira ou falsa: (a) ( ) A relao S sobre o conjunto das funes contnuas de R em R tal que f S g f ( 3) = g(3) (b) ( ) A incluso uma relao de equivalncia sobre o conjunto das partes P(A). (c) ( ) A relao sobre N x N, definida por ( a, b) (c, d) a + d = b + c uma relao de equivalncia.

32

(d) (e)

( ) Toda funo uma relao ( ) Toda relao uma funo.

2) Seja f : R [ 0, 1] tal que f (x) - sem x. Defina a relao S por xSy Sen x = Seny, para cada x, y R. ( a ) Mostre que S uma relao de equivalncia ( b ) Descreva o conjunto quociente R/S 3) Sejam f (x), g(x) polinmios com coeficientes reais. Defina a relao S sobre o conjunto R [ x ] dos polinmios com coeficientes reais por f (x)S g(x) f1 (x) = g1 (x) (onde f1 (x) denota a derivada de f com relao a x) ( i ) S uma relao de equivalncia? ( ii ) Caso a sua resposta para o item ( a ) for sim, descreva o conjunto quociente R[x]/S.

BIBLIOGRAFIA
[ 1 ] BERZSENYI,G.; MAUER, S. B. - The Contest Problem Book V, The Mathematical Association of America, New Mathematical Library, No 38, Washington. 1997 [ 2 ] GILBERT, W - Modern Algebra with Applications, John Wiley & Sons, New York. 1976 [ 3 ] JACOBS, HAROLD R. Mathematics, a human endeavor. W. H. Freeman and Company. 1982 [ 4 ] HERSTEIN, I. N.; KAPLANSKY, I. - Matters Mathematical, Chelsea Publishing Company., New York, N. Y. 1978 [ 5 ] MONTEIRO, L. H. J. - Iniciao s Estruturas Algbricas, Grupo de Estudos do Ensino da Matemtica - GEEM, Srie Professor No 06, So Paulo. 1968

33