Beruflich Dokumente
Kultur Dokumente
Fundamentos de Anlise I
Fundamentos de Anlise I
Fundamentos de Anlise I
UNIVERSIDADE FEDERAL DE MINAS GERAIS Prof Cllio Campolina Diniz Reitor Prof Rocksane de Carvalho Norton Vice-Reitoria Prof Antnia Vitria Soares Aranha Pr Reitora de Graduao Prof Andr Luiz dos Santos Cabral Pr Reitor Adjunto de Graduao
CONSELHO EDITORIAL Prof. ngela Imaculada Loureiro de Freitas Dalben Prof. Dan Avritzer Prof. Eliane Novato Silva Prof. Hormindo Pereira de Souza Prof. Paulina Maria Maia Barbosa Prof. Simone de Ftima Barbosa Tfani Prof. Vilma Lcia Macagnan Carvalho Prof. Vito Modesto de Bellis Prof. Wagner Jos Corradi Barbosa COLEO EAD MATEMTICA Coordenador: Dan Avritzer LIVRO: Fundamentos de Anlise I Autores: Paulo Cupertino de Lima Reviso: Jussara Maria Frizzera Projeto Grfico: Departamento de Design - CAED Formatao: Srgio Luz
CENTRO DE APOIO DE EDUCAO DISTNCIA Prof Fernando Selmar Rocha Fidalgo Diretor de Educao a Distncia Prof Wagner Jos Corradi Barbosa Coordenador da UAB/UFMG Prof Hormindo Pereira de Souza Junior Coordenador Adjunto da UAB/UFMG
Dados Internacionais de Catalogao na Publicao (CIP) (Luciana de Oliveira M. Cunha, CRB-6/2725) Lima, Paulo Cupertino de Fundamentos de anlise I / Paulo Cupertino de Lima. Belo Horizonte : CAED-UFMG, 2013. 131 p. : il. p&b. ; 27 cm. Inclui bibliografia. ISBN 978-85-64724-25-9 1. Teoria dos conjuntos. 2. Funes (Matemtica). 3. Ensino a distncia. I. Universidade Federal de Minas Gerais. II. Ttulo. CDD 510.07 CDU 510.22
L732f
SUmriO
Apresentao. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Nota do Editor. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Aula 1 Conjuntos e funes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.1 A definio de conjunto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.2 Operaes sobre conjuntos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.3 Produto cartesiano de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.4 Funes injetivas, sobrejetivas, bijetivas e compostas. . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Aula 2 Conjuntos enumerveis e conjuntos no enumerveis. . . . . . . . . . . . . . . . . . . . 25 2.1 Conjunto finito e cardinalidade. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.2 O conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.3 Conjuntos enumerveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 2.4 Conjuntos no enumerveis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2.5 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 Aula 3 - Os nmeros racionais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.1 Relaes de equivalncia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.2 A construo do conjunto dos nmeros racionais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 3.3 A soma de nmeros racionais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 3.4 O produto de nmeros racionais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 3.5 Ordem no conjunto dos nmeros racionais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 3.6 Representao decimal de racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.7 Um exemplo de um nmero que no racional. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Aula 4 - nfimo e supremo de um corpo ordenado. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 4.1 Definio de corpo ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 4.2 O conjunto um corpo ordenado. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 4.3 Algumas desigualdades vlidas para corpo ordenado qualquer . . . . . . . . . . . . . . . . . . . 61 4.4 Cotas inferior e superior. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.5 Supremo e nfimo de um conjunto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Aula 5 - O conjunto dos nmeros reais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 5.1 Definio do conjunto dos nmeros reais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 5.2 O conjunto arquimediano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 5.3 Os nmeros racionais so densos em . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 5.4 Os nmeros irracionais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 5.5 A funo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 5.6 Exerccios resolvidos sobre nfimo e supremo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 5.7 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Aula 6 -O Teorema dos Intervalos encaixados, valor absoluto e desigualdades. . . . . 81 6.1 O Teorema dos intervalos encaixados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 6.2 O conjunto R no enumervel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 6.3 Valor absoluto e desigualdades. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 Aula 7 - Sequncias numricas e limites de sequncias . . . . . . . . . . . . . . . . . . . . . . . . . 91 7.1 Definio de sequncia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 7.2 A definio de limite. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 7.3 Unicidade do limite. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 7.4 Sequncias limitadas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 7.5 Limites infinitos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 7.6 O Teorema do Sanduiche. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100 7.7 Propriedades de Limite. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 7.8 Subsequncias. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113 Aula 8 - O Teorema de Bolzano-Weierstrass e sequncias de Cauchy. . . . . . . . . . . . . 117 8.1 Sequncias montonas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 8.2 O Teorema de Bolzano-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 8.3 Sequncia de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124 8.4 Exerccios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 8.5 Representao decimal de nmeros reais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129 Referncias. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
Apresenta c ao
apresenta O
Esse livro foi escrito para ser utilizado no curso de Licenciatura em Matem atica a dist ancia, oferecido pela UFMG em diversos polos. Tendo em vista que esse livro e destinado a cursos a dist ancia, o texto possui caracter sticas espec cas para assim ser utilizado. Nesse livro denimos conjuntos, as opera co es sobre os mesmos, introduzimos as no co es de fun co es injetiva, sobrejetiva e bijetiva e de composta de duas fun co es. Introduzimos os conceitos de conjuntos enumer aveis e n ao enumer aveis, construimos os n umeros racionais a partir dos inteiros, denimos os n umeros reais a partir do postulado de Dedekind e fazemos um estudo de sequ encias num ericas e de limites. Assumimos que o aluno tenha visto os n umeros naturais e o n umeros inteiros e que ele tenha familiaridade com Princ pios da Boa Ordena c ao e da Indu c ao. Na Aula 1 denimos conjunto, as opera co es sobre conjuntos (uni ao, interse c ao, complementar, diferen ca e produto cartesiano) e demonstramos as rela co es de De Morgan. Introduzimos os conceitos de fun c oes injetiva, sobrejetiva e bijetiva e de composta de duas fun co es. Na Aula 2 introduzimos os conceitos de conjuntos nito, enumer avel e n aoemumer avel, o conceito de cardinalidade de um conjunto e provamos os principais teoremas relacionados. Mostramos que os conjuntos Z e Q s ao enumer aveis e demos exemplos de conjuntos n ao enumer aveis. Na Aula 3 introduzimos o conceito de classes de equival encia e construimos os n umeros racionais a partir dos inteiros, como classes de equival encia em Z Z . Falamos sobre a representa c a o decimal de n u meros racionais e mostramos que 2 n ao e um n umero racional. Na Aula 4 introduzimos o conceito de corpo ordenado, mostramos que o conjunto dos n umeros racionais e um corpo ordenado, provamos algumas desigualdades que valem para um corpo ordenado qualquer. Introduzimos os conceitos de cotas superior e inferior, de nmo e de supremo de um conjunto. Na Aula 5 denimos o conjunto dos n umeros reais a partir do postulado de Dedekind, provamos v arios resultados envolvendo os conceitos de nmo e de supremo de um conjunto. Mostramos que n umeros racionais s ao densos em R e denimos a raiz n- esima de um n umero real n ao negativo.
Na Aula 6 demonstramos o Teorema dos Intervalos Encaixados e mostramos que o conjunto dos n umeros reais e n ao enumer avel. Falamos sobre valor absoluto e desigualdades. Na Aula 7 introduzimos os conceitos de sequ encia num erica e de limite de sequ encias. Mostramos a unicidade do limite, provamos o Teorema do Sanduiche, falamos sobre as propriedades de limites e introduzimos o conceito de subsequ encia. Na Aula 8 introduzimos o conceito de sequ encia mon otona, mostramos que toda sequ encia mon otona limitada e convergente e provamos o Teorema de Bolzano-Weierstrass. Denimos sequ encia de Cauchy e mostramos que uma sequ encia de n umeros reais e convergente se, e somente se, ela for de Cauchy. Falamos sobre a representa c ao decimal de n umeros reais.
10
nOta dO editOr
A Universidade Federal de Minas Gerais atua em diversos projetos de Educao a Distncia, que incluem atividades de ensino, pesquisa e extenso. Dentre elas, destacam-se as aes vinculadas ao Centro de Apoio Educao a Distncia (CAED), que iniciou suas atividades em 2003, credenciando a UFMG junto ao Ministrio da Educao para a oferta de cursos a distncia. O CAED-UFMG (Centro de Apoio Educao a Distncia da Universidade Federal de Minas Gerais), Unidade Administrativa da Pr-Reitoria de Graduao, tem por objetivo administrar, coordenar e assessorar o desenvolvimento de cursos de graduao, de ps-graduao e de extenso na modalidade a distncia, desenvolver estudos e pesquisas sobre educao a distncia, promover a articulao da UFMG com os polos de apoio presencial, como tambm produzir e editar livros acadmicos e/ou didticos, impressos e digitais, bem como a produo de outros materiais pedaggicos sobre EAD. Em 2007, diante do objetivo de formao inicial de professores em servio, foi criado o Programa Pr-Licenciatura com a criao dos cursos de graduao a distncia e, em 2008, com a necessidade de expanso da educao superior pblica, foi criado pelo Ministrio da Educao o Sistema Universidade Aberta do Brasil UAB. A UFMG integrou-se a esses programas, visando apoiar a formao de professores em Minas Gerais, alm de desenvolver um ensino superior de qualidade em municpios brasileiros desprovidos de instituies de ensino superior. Atualmente, a UFMG oferece, atravs do Pr-licenciatura e da UAB, cinco cursos de graduao, quatro cursos de ps-graduao lato sensu, sete cursos de aperfeioamento e um de atualizao. Como um passo importante e decisivo, o CAED-UFMG decidiu, no ano de 2011, criar a Editora CAED-UFMG como forma de potencializar a produo do material didtico a ser disponibilizado para os cursos em funcionamento. Fernando Selmar Rocha Fidalgo Editor
11
Conjuntos e funes
1.1
A deni ca o de conjunto
Uma discuss ao satisfatoria dos principais conceitos de an alise (por exemplo, con o) deve ser baseada no verg encia, continuidade, diferenciabilidade e integrac a conceito de conjunto. Deni ca o 1.1. Um conjunto e uma cole ca o de objetos, conhecidos como elementos do conjunto. Normalmente, usam-se letras maiusculas para denotar os conjuntos e letras minusculas para denotar os elementos de um conjunto. Exemplo 1.2. Exemplos muito importantes de conjuntos s ao os conjuntos num ericos N, Z, Q e R, dos numeros naturais, inteiros, racionais e reais, respectivamente. Se um elemento a pertencer ao conjunto A, ent ao denotamos este fato escrevendo a A, l e-se a pertence a A. Por outro lado, se a n ao for um elemento de A, escrevemos a / A, l e-se a n ao pertence a A. ao 0 A e 1 / A. Exemplo 1.3. Se A = {2, 0, 4, 5}, ent Deni ca o 1.2. Se todos os elementos de um conjunto A pertencerem ao conjunto B, dizemos que A est a contido em B e escrevemos l e-se A est a contido em B. Equivalentemente, se todos os elementos de A pertencerem a B, ent ao B cont em todos os elementos de A e dizemos que B cont em A e escrevemos ao A B ou B A. Exemplo 1.4. Se A = {2, 0, 4, 5} e B = {2, 1, 0, 2, 4, 5}, ent ` vezes n conAs ao sabemos a priori se um conjunto tem elementos, por isso e veniente introduzir o conjunto chamado vazio, ou seja, o conjunto que n ao tem elementos. Tal conjunto ser a denotado pelo s mbolo . Exemplo 1.5. Se A for o conjunto das ra zes inteiras da equa ca o x2 + 1 = 0, ent ao A = , pois o quadrado de qualquer inteiro e um inteiro n ao negativo, portanto, x2 + 1 vale pelo menos 1. B A. A B, Exemplo 1.1. A = { a, b, c, d} e o conjunto cujos elementos s ao a, b, c, d.
13
1.2
Deni ca o 1.3. Dados arbitrariamente dois conjuntos A e B, denotamos por A B o conjunto formado pela uni ao de A e B. Dizer que a A B signica que a pertence a pelo menos um dos dois conjuntos A ou B. Exemplo 1.6. Se A = {2, 0, 4, 5} e B = {0, 1, 3}, ent ao A B = {2, 0, 1, 3, 4, 5}. De maneira an aloga, denimos a uni ao de um numero qualquer (nito ou n ao) de conjuntos: se A s s ao conjuntos arbitr arios, onde os ndices s pertencem ao denotada por A e dizer que a pertence conjunto , ent ao a uni ao dos A s e a A signica que a A para algum . o conjunto Deni ca o 1.4. A interse ca o de dois conjuntos A e B, denotada por A B e composto por todos os elementos que pertencem a A e a B ao mesmo tempo. Exemplo 1.7. Se A = {2, 0, 4, 5} e B = {0, 1, 3}, ent ao A B = {0}. o de um numero De maneira an aloga, denimos a intersec a qualquer (nito ou n ao) de conjuntos: se A s s ao conjuntos arbitr arios, onde os ndices s perten o dos A s e denotada por A . Dizer cem ao conjunto , ent ao a intersec a que a pertence a A signica que a A , para todo . reas hachuradas representam a uni o dos Nas Figuras 1.1 e 1.2 as a ao e intersec a conjuntos A e B, respectivamente, atrav es de diagramas de Venn.
B A B A
Figura 1.1: A B
Figura 1.2: A B.
Deni ca o 1.5. Dizemos que dois conjuntos A e B s ao iguais e denotamos A = B, quando todos os elementos de A pertencem a B e todos os elementos de B pertencem a A, ou seja, A = B A B e B A, onde o s mbolo signica e equivalente a ou se, e somente se.
14
Exerc cio 1.1. Prove que A B A A B. Sugest ao: Para provar a dupla inclus ao deve-se mostrar que A B A e A A B.
o acima, temos que mostrar as seguintes inDe fato, para provarmos a relac a clusoes:
( A B ) C = ( A C ) ( B C ).
( A B) C ( A C ) ( B C ) ( A C ) ( B C ) ( A B) C.
(1.1)
(1.2)
ao x ( A C ) ( B A seguir mostraremos (1.1), ou seja, se x ( A B) C, ent C ). De fato, se x A B e x C, ent ao temos uma das seguintes possibilidades: (i) x A e x C, portanto x A C, ou (ii) x B e x C, portanto, x B C. Portanto, temos uma das seguintes possibilidades: x A C ou x B C, logo o que mostra (1.1). x ( A C ) ( B C ),
ao x ( A B) A seguir, mostraremos (1.2), ou seja, se x ( A C ) ( B C ), ent C. De fato, se x ( A C ) ( B C ), ent ao temos uma das seguintes possilidades: (i) x A B ou (ii) x B C. No caso (i) temos x A e x C, como x A, ent ao x A B, portanto x A B e x C, logo ao x A B, portanto x A B No caso (ii) temos x B e x C, como x B, ent e x C, logo x ( A B) C, o que mostra (1.2). x ( A B) C.
( A B ) C = ( A C ) ( B C ).
15
Exerc cio 1.3. Mostre que as opera co es de uni ao e interse ca o s ao comutativas e associativas, ou seja, A B = B A, ( A B ) C = A ( B C ), A B = B A, A ( B C ) = ( A B) C.
(ii ) se A B = A C, ent ao B = C.
Deni ca o 1.6. Dados dois conjuntos A e B, denotamos por A B, o conjunto consistindo daqueles elementos de A que n ao pertencem a B, formalmente, A B = {x A : x / B }. Na Figura 1.3 a a rea hachurada representa a opera ca o A B, atrav es de diagrama de Venn. Exemplo 1.9. Note que
ca o a B, o conjunto Deni ca o 1.7. Se A B, chamamos de complementar de A em rela B A e o denotamos por Ac ( B). Exemplo 1.10. Sejam A = {1, 3} e B = {1, 3, 4, 8}, ent ao Ac ( B) = {4, 8}.
haver Em muitas situac oes a um conjunto universo (poderia ser, por exemplo, o conjuntos dos numeros reais) e os demais conjuntos ser ao subconjuntos dele. Em c particular, dado um conjunto A, por A denotaremos o complementar de A em o ao conjunto universo. relac a
16
Na Figura 1.4 a a rea hachurada representa a opera ca o A B, atrav es de diagrama de Venn. Exemplo 1.11. Se A = {1, 2, 4, 5} e B = {2, 3, 5}, ent ao A B = {1, 3, 4}.
Deni ca o 1.8. A diferen ca sim etrica de dois conjuntos A e B, denotada por A denida como A B = ( A B ) ( B A ).
B, e
Figura 1.3: A B
Figura 1.4: A B
( A B ) A = B A.
(1.3)
( A B) A B A
e B A ( A B ) A.
(1.4)
(1.5)
ao x B A. Tome A seguir mostraremos (1.4), ou seja, se x ( A B) A, ent arbitrariamente x ( A B) A, ent ao x A B e x / A. Mas se x A B, signica que x A ou x B, mas por hipotese x / A, logo x B. Ent ao x B e x / A, o que signica que x B A, com isso provamos (1.4). ao x ( A B) A. Tome A seguir mostraremos (1.5), ou seja, se x B A, ent arbitrariamente x B A, ent ao x B e x / A. Mas se x B, ent ao x A B. Ent ao x A B e x / A, o que signica que x ( A B) A, com isso provamos (1.5).
17
( A B ) B = A B.
(1.6)
Teorema 1.1. (De Morgan) Seja ( A ) uma cole ca o de subconjuntos de S, ent ao valem as seguintes rela co es: S A = ( S A ), (o complemento da uni ao e a interse ca o dos complementos) e S A = ( S A ), (o complemento da interse ca o e igual a uni ao dos complementos). ao x / A , ou seja, x n ao pertence Prova. Suponha que x S A , ent a nenhum dos A , portanto, para cada , temos x S A , portanto, x (S A ), o que mostra que S A ( S A ). (1.9) ao x S A , para todo . Por outro lado, se x (S A ), ent Portanto, para todo , x / A , portanto x / A , por conseguinte x S A , o que mostra que (1.8) (1.7)
( S A ) S A .
(1.10)
o de (1.8) para o aluno. De (1.9) e de (1.10), temos (1.7). Deixamos a demonstrac a Note que (1.7) e (1.8) podem ser reescritas como
c c ( A )c = Ac e ( A ) = A ,
em relac o ao conjunto S. respectivamente, onde o complementar e a Se tivermos apenas dois conjuntos, digamos A e B, podemos tomar o comple o a S = A B. Neste caso temos mentar em relac a
( A B ) c = ( A B ) ( A B ),
A c = ( A B ) A,
18
e De (1.8)
B c = ( A B ) B.
( A B)c = Ac Bc ,
( A B) ( A B) = (( A B) A) (( A B) B).
Exemplo 1.13. Mostraremos que A B = ( A B ) ( A B ). Note que o de A B) A B = ( A B) ( B A) (usamos a denic a = (( A B) B) (( A B) A) (usamos (1.3) e (1.6)) = ( A B) ( A B) (usamos (1.11)).
(1.11)
1.3
Deni ca o 1.9. Dados dois conjuntos A e B, o produto cartesiano de A e B, denotado por A B, e o conjunto dos pares ordenados ( a, b), tais que que a A e b B. A B = {(1, 2), (1, 4), (2, 2), (2, 4), (3, 2), (3, 4)}.
Exerc cio 1.7. Encontre o produto cartesiano dos conjuntos A = {0, 1, 4} e B = {2, 3}.
19
( X Y ) Z = ( X Z ) (Y Z )
e
(1.12)
( X Y ) Z = ( X Z ) (Y Z ) .
(1.13)
( X Y ) Z ( X Z ) (Y Z ) .
(1.14)
( X Z ) (Y Z ) ( X Y ) Z .
De (1.14) e (1.15), temos (1.12).
(1.15)
Para provarmos (1.13), suponha que ( a, b) ( X Y ) Z, ent ao a X Y e b Z. Logo a X , a Y e b Z, portanto ( a, b) ( X Z ) e ( a, b) (Y Z ), implicam que ( a, b) ( X Z ) (Y Z ), ou seja, estas duas inclusoes
( X Y ) Z ( X Z ) (Y Z ) .
(1.16)
Por outro lado, se ( a, b) ( X Z ) (Y Z ), ent ao ( a, b) pertence a ( X Z ) e ( a, b) pertence a (Y Z ), o que implica a X , a Y, e b Z. Portanto a X Y e b Z, consequentemente, ( a, b) ( X Y ) Z, ou seja,
( X Z ) (Y Z ) ( X Y ) Z .
De (1.16) e (1.17), temos (1.13).
(1.17)
Deni ca o 1.10. O produto cartesiano A1 A2 A3 . . . An , dos conjuntos A1 , . . . , An e o conjunto das n-uplas ( a1 , a2 , . . . , an ), onde ai Ai , para i = 1, 2, . . . , n. Exemplo 1.15. Sejam X = { a, b}, Y = {c, d} e Z = {e}. Ent ao X Y Z = { ( a, c, e ), ( a, d, e ), ( b, c, e ), ( b, d, e ) }. Exemplo 1.16. O espa co R n e o produto cartesiano de R com ele mesmo n vezes.
20
1.4
o introduziremos rapidamente os conceitos de func injetiva, sobreNesta sec a oes o de duas func dadas se jetiva, bijetiva e de composic a oes. Embora as denic oes apliquem a conjuntos arbitr arios, assumiremos que o aluno conhec a apenas os numeros naturais e inteiros. Os numeros racionais e reais ser ao introduzidos nas Aulas 3 e 5, respectivamente. Por isso nos restringiremos a exemplos de func oes cujos dom nios e contradom nios sejam subconjuntos dos numeros naturais e in onde os dom teiros. Exemplos de func oes nios e contradom nios ser ao subcon juntos dos numeros reais ser ao vistos no curso de Fundamentos de An alise II, de uma vari quando falaremos de func oes avel real. Deni ca o 1.11. Dados arbitrariamente dois conjuntos A e B, dizemos que est a denida o f com valores em B, se para cada elemento x A corresponder um sobre A uma func a unico elemento y B, o qual denotamos por f ( x ). Simbolicamente f : A B denota uma fun ca o denida em A e tomando valores em B. Os conjuntos A e B s ao chamados de dom nio e contra-dom nio de f , respectivamente. A imagem de f e o conjunto que denotamos por f ( A).
Deni ca o 1.12. Seja f : A B uma fun ca o, onde A e B s ao dois conjuntos arbitr arios. Dizemos que f e injetiva ou injetora, se para todos x, y A, com x = y, tivermos f ( x ) = f ( y ). Dizemos que f e sobrejetiva ou sobrejetora, se para todo y B existir algum x A, tal que y = f ( x ), ou seja, B = f ( A). Se f for injetiva e sobrejetiva, dizemos que f e uma fun ca o bijetiva ou bijetora, neste o entre os conjuntos A e B. caso dizemos que existe uma bijec a Exemplo 1.17. Dados os conjuntos A = {1, 2, 3, 4} e B = {1, 2, 3, 4}, seja f : A B denida por f (1) = 4, f (2) = 1, f (3) = 2, f (4) = 3. Ent ao f e injetiva, pois se x e y s ao elementos de A, com x = y, ent ao f ( x ) = f (y). Al em disso, f e sobrejetiva, pois para todo y B, existe pelo menos um x A, tal que f ( x ) = y. Como f e injetiva e sobrejetiva, ent ao f e bijetiva. Exemplo 1.18. Dados os conjuntos A = {1, 2, 3, 4} e B = {1, 2, 3}, seja f : A B denida por f (1) = 2, f (2) = 1, f (3) = 3, f (4) = 3. Ent ao f n ao e injetiva, pois 3, 4 A, 3 = 4 e f (3) = f (4). Al em disso, f e sobrejetiva, pois para todo y B, existe pelo menos um x A, tal que f ( x ) = y. Como f n ao e injetiva, ent ao f n ao e bijetiva.
21
Exemplo 1.19. Dados os conjuntos A = {1, 2, 3} e B = {1, 2, 3}, seja f : A B denida por f (1) = 2, f (2) = 1, f (3) = 2. em disso, f n ao e Ent ao f n ao e injetiva, pois 1, 3 A, 1 = 3 e f (1) = f (3). Al sobrejetiva, pois 3 B e n ao existe x A, tal que f ( x ) = 3.
(i ) D e um exemplo de uma fun ca o f : {1, 2, 3} {3, 5, 6, 9} que seja injetiva. (ii ) E poss vel denir uma fun ca o g : {1, 2, 3} {3, 5, 6, 9} que seja sobrejetiva? (iii ) E poss vel denir uma fun ca o h : {1, 2, 3} {3, 5, 6, 9} que seja bijetiva?
Exerc cio 1.10. Quantas fun co es injetivas existem de {1, 2, 3} em {1, 2, 3} ? Exemplo 1.20. Sejam N = {1, 2, 3, . . .} e f : N N, denida por f (n) = n2 + 1. Ent ao f e injetiva, mas n ao e sobrejetiva. ao De fato, suponha que m, n N e m = n, ent f (m) f (n) = n2 m2 = (m n)(m + n) = 0,
pois m = n, implica que m n = 0 e m, n N, implica que m + n N, portanto injetiva. m + n = 0. Como f (m) = f (n) sempre que m = n, concluimos que f e N, ent Note que, como o contradom nio de f e ao 1 faz parte do contradom nio de f , mas n ao existe n no dom nio de f , tal que f (n) = 1, pois se n N, ent ao 2 sobrejetiva. f (n) = n + 1 2, portanto f n ao e
Exerc cio 1.11. Seja f : Z Z, denida por f (n) = 2n. A fun ca o f e bijetiva?
Exerc cio 1.12. Mostre que a fun ca o f : N N {0}, denida por f (n) = n 1 e bijetiva.
22
Exerc cio 1.13. Mostre que a fun ca o f : N N, denida por f (n) = n2 e injetiva. Ela e sobrejetiva?
Exerc cio 1.14. Seja 2N o conjunto dos numeros naturais pares, ou seja, o conjunto dos numeros da forma 2n, onde n N. Mostre que a fun ca o f : N 2N, denida por f (n) = 2n, e bijetiva.
Exerc cio 1.15. Mostre que a fun ca o : N Z, denida por (n) = e bijetiva.
n 2, 1 n 2 ,
Exerc cio 1.16. Mostre que h : N N, denida por h(n) = e bijetiva. n + 1, se n e mpar n 1, se n e par,
Exerc cio 1.17. Mostre que a fun ca o f : N {0} N {0}, denida por f (n) = n n e a parte inteira de n sobrejetiva, mas n ao e injetiva. 3 , onde 3 3, e
co es) Dados os conjuntos S, T e U, sejam Deni ca o 1.13. (A composta de duas fun f : S T e g : T U duas fun co es. A composta de g com f , denotada por g f , e a fun ca o g f : S U, denida por ( g f )( x ) = g( f ( x )).
No curso de Fundamentos de An alise II falaremos com mais detalhes sobre a o de func o dada composic a oes; para este curso basta o aluno saber a denic a acima.
23
( a) Se f e g forem injetivas, ent ao a composta g f e injetiva. (b) Se f e g forem sobrejetivas, ent ao a composta g f e sobrejetiva. (c) Se f e g forem bijetivas, ent ao a composta g f e bijetiva.
ao Prova. Suponha que f e g sejam injetivas. Sejam x, y S e x = y. Como f e g s injetiva, temos g( f ( x )) = g( f (y)), o que injetivas, temos f ( x ) = f (y), como g e injetiva. mostra que g f e Suponha que f e g sejam sobrejetivas. Dado arbitrariamente y U , mostraremos sobrejetiva, dado y U , que existe x em S, tal que f ( g( x )) = y. De fato, como g e sobrejetiva, existe x S, tal que f ( x ) = z. existe z T , tal que g(z) = y. Como f e sobrejetiva. Ent ao, g( f ( x )) = g(z) = y, portanto, g f e e? O item (c) segue de ( a) e (b), por qu
24
25
2.1
Deni ca o 2.1. Dizemos que um conjunto A e nito, se ele cont em um numero nito de elementos. Dado um numero inteiro positivo n, dizemos que A tem n elementos, se existir uma bije ca o : {1, 2, . . . , n} A. A = { a1 , . . . , a n },
onde ai = (i ). Se um conjunto n ao for nito, dizemos que ele e innito. Deni ca o 2.2. Dado um conjunto nito A, chamamos de cardinalidade de A, denotada de elementos de A. por | A|, o numero ao | A| = 3. Exemplo 2.1. Por exemplo, se A = { a, b, c}, ent abaixo seguem imedidatamente da Sejam A e B conjuntos nitos. As armac oes o de cardinalidade. denic a (a) Se B A, ent ao | B| | A| . (b) Se A e B forem disjuntos, ent ao
| A B| = | A| + | B| .
(c) | A B| = | A| . | B| .
(2.1)
Deni ca o 2.3. Se um conjunto for innito, dizemos que a sua cardinalidade e innita, em particular os conjuntos N, Z, Q e R t em cardinalidades innitas. Teorema 2.1. Sejam A e B dois conjuntos nitos, ent ao | A| = | B| se, e somente se, existir uma bije ca o f : A B.
AUL a 2 CON JUN TOS ENUMER V EIS E cON JUN TOS N O ENUMER V EIS
27
o f : A Prova. Suponha que | A| = | B| = n, mostraremos que existe uma bijec a B. Podemos escrever A = { a1 , . . . , an } e B = {b1 , . . . , bn }, onde ai = a j e bi = b j , para todo i = j. Seja f : A B denida por f ( ai ) = bi , para i = 1, . . . , n. Ent ao f bijetiva, por qu e e? o f : A B. Mostraremos que | A| = | B|. Sejam Suponha que exista uma bijec a | A| = m e | B| = n, podemos escrever A = { a1 , . . . , am } e B = {b1 , . . . , bn }. Note injetiva, f ( ai ) = f ( a j ), para todo i = j. que f ( ai ) B, para todo i, e como f e Portanto B tem pelo menos m elementos, ou seja,
| B | | A |.
sobrejetiva, para todo b B existe pelo menos um a A, tal que Como f e injetiva, existe no m f ( a) = b. Como f e aximo um a A tal que f ( a) = b. bijetiva, para todo b B existe exatamente um a A, tal que Portanto, como f e o g : B A, tal que g(b) = a, onde f ( a) = b, isto nos permite denir uma func a o g e bijetiva, por qu f ( a) = b. A func a e? Seja ci = g(bi ), ent ao ci A, para injetiva, ent i = 1, . . . , n, como g e ao ci = c j , para i = j, portanto A tem pelo menos n elementos, ou seja, | A | B. Das desigualdades | B| | A e | A| | B|, concluimos que | A| = | B|.
Exerc cio 2.1. Seja A = {1, 2, 0, 6}. D e um exemplo de uma fun ca o injetiva do conjunto A nele mesmo. Observe que a sua fun ca o e sobrejetiva.
o injetiva que o aluno tenha considerado no exerc Independentemente da func a cio sobrejetiva e isto e uma consequ anterior, ela necessariamente e encia da proxima o. proposic a Proposi ca o 2.1. Se A for um conjunto nito, ent ao qualquer fun ca o injetiva : A A e sobrejetiva. o Prova. Seja n o numero de elementos do conjunto A. Quando n = 1, a proposic a verdadeira, pois se A possui apenas um elemento, digamos, A = { a}, ent e ao a ( a) = a, que e claramente e injetiva e sobrejetiva. o : A A, e unica func a o seja verdadeira para qualquer Suponha que tenhamos provado que a proposic a conjunto com elementos. Seja A um conjunto qualquer com + 1 elementos o injetiva. Suponha que n e : A A, uma func a ao fosse sobrejetiva, mostraremos que isto nos levaria a um absurdo. De fato, se n ao fosse sobrejetiva, existiria algum elemento a A, tal que a n ao pertence a imagem de . Seja
28
B = A { a} e : B B, tal que (y) = (y), para todo y B. Como e injetiva, por qu injetiva, ent ao tamb em e e? Sendo injetiva e como B tem o, segue que e sobrejetiva. Como a n elementos, da hipotese de induc a ao est a sobrejetiva, na imagem de , ent ao ( a) = a. Portanto ( a) B, como e existe b B, portanto, b = a, tal que (b) = ( a), como (b) = (b), ter amos uma contradic o, pois e injetiva. (b) = ( a), o que e a
Exerc cio 2.2. Seja : N N, denida por (n) = n + 1, esta fun ca o e injetiva, mas n ao e sobrejetiva, pois o numero 1 n ao faz parte da sua imagem. Este e um exemplo de uma fun ca o injetiva de um conjunto nele mesmo, que n ao e sobrejetiva. Isto contraria a Proposi ca o 2.1, por qu e?
2.2
Deni ca o 2.4. Dado um conjunto nito A, denimos P ( A) como o conjunto cujos elementos s ao os subconjuntos de A. Por exemplo, se A = {1, 2, 3}, ent ao Teorema 2.2. Seja A um conjunto nito, ent ao P( A) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.
O conjunto P ( A)
o ser o no numero Prova. A demonstrac a a por induc a de elementos do conjunto A. Se | A| = 1, digamos A = { a}, ent ao verdadeira para n = 1. logo |P ( A)| = 2 = 21 = 2| A| , portanto (2.2) e Mostraremos que se (2.2) for verdadeira para qualquer conjunto com k elementos, ent ao ela ser a verdadeira para qualquer conjunto com k + 1 elementos e, por o, concluiremos que (2.2) vale para qualquer conjunto nito A. induc a Suponha que (2.2) seja verdadeira para qualquer conjunto com k elementos e seja A um conjunto com k + 1 elementos, digamos Dena P ( A) como o subconjunto de P ( A) formado por aqueles subconjuntos de precisamente o subconjunto de P ( A) A que cont em xk+1 . Ent ao P ({ x1 , . . . , xk }) e formado por aqueles subconjuntos de A que n ao cont em xk+1 . Logo A = { x1 , . . . , x k +1 }.
|P ( A)| = 2| A| .
(2.2)
P ( A) = {, { a}},
P ( { x1 , . . . , x k } ) P ( A ) =
AUL a 2 CON JUN TOS ENUMER V EIS E cON JUN TOS N O ENUMER V EIS
29
P ( { x1 , . . . , x k +1 } ) = P ( { x1 , . . . , x k } ) P ( A ),
P ( A) = |P ({ x1 , . . . , xk })| .
o, ao pela hipotese de induc a Como { x1 , . . . , xk } tem k elementos, ent
|P ({ x1 , . . . , xk })| = 2k ,
portanto
P ( X ) P (Y ) = P ( X Y ) e P ( X ) P (Y ) P ( X Y ) .
Prova. Note que A P ( X ) P (Y ) A X e A Y A X Y A P ( X Y ). Por outro lado, A P ( X ) P (Y ) A X ou A Y A X Y A P ( X Y ).
Lema 2.1. Se A for um conjunto innito, ent ao existe uma fun ca o injetiva : A A, que n ao e sobrejetiva.
30
Prova. Se A for innito, nenhuma lista nita de elementos a1 , . . ., a2 , . . . , an pode incluir todos os elementos de A. Ent ao existe uma lista innita a1 , a2 , . . . , an , . . . de elementos de A que s ao distintos (ou ai = a j se i = j). Seja : A A, denida como ( an ) = an+1 , para todo n e ( x ) = x para todos os elementos de A que uma func o injetiva (por qu n ao est ao incluidos em a1 , a2 , . . . , an , . . .. Ent ao e a e?), A { a1 } (por qu o n sobrejetiva. cujo imagem e e?), portanto esta func a ao e Proposi ca o 2.2. Um conjunto A e innito se, e somente se, existir uma fun ca o injetiva : A A que n ao e sobrejetiva. o injetiva : Prova. Se A for innito ent ao, pelo Lemma 2.1, existe uma func a sobrejetiva. A A, que n ao e o 2.1 diz que se A for nito, ent o injetiva Por outro lado, a Proposic a ao toda func a sobrejetiva. Portanto, se existir alguma func o injetiva : A A : A Ae a innito. que n ao seja sobrejetiva, ent ao A e
( a) Seja f injetiva, se A for innito, ent ao B e innito. (b) Seja f sobrejetiva, se B for innito, ent ao A e innito.
nito. Se B tem n Resolu ca o. (a) Mostraremos que se B for nito, ent ao A e elementos, ent ao como f ( A) B, segue-se que f ( A) tem no m aximo n ele mentos. Seja k o numero de elementos de f ( A), ent ao k n. Como f ( A) tem injetiva, para k elementos, podemos escrever f ( A) = {b1 , . . . , bk }. Como f e cada bi f ( A) existe exatamente um ai A, tal que f ( ai ) = bi . Armamos que A = { a1 , . . . , ak }, logo A tem k elementos. De fato, se a A, ent ao f ( a) = bi , para algum i = 1, . . . , k, portanto a = ai , logo a { a1 , . . . , ak }, o que o, cada ai A, logo mostra que A { a1 , . . . , ak }, por outro lado, por denic a { a1 , . . . , ak } A. Destas duas inclusoes, concluimos que A = { a1 , . . . , ak }. nito. Se A tem n elementos, po(a) Mostraremos que se A for nito, ent ao B e demos escrever A = { a1 , . . . , an }. Como f ( A) = { f ( a1 ), . . . , f ( an )}, concluimos sobrejetiva, ent que f ( A) tem no m aximo n elementos. Como f e ao B = f ( A), nito. portanto B tem no m aximo n elementos, portanto B e
Exerc cio 2.4. Sejam A um conjunto nito e B um conjunto innito. Prove que existe uma fun ca o injetiva f : A B e uma fun ca o sobrejetiva g : B A.
AUL a 2 CON JUN TOS ENUMER V EIS E cON JUN TOS N O ENUMER V EIS
31
Resolu ca o. Suponha que A tenha n elementos, ent ao podemos escrever A = { a1 , . . . , an }. Sejam b1 , . . . , bn , elementos distintos de B. Seja f : A B denida injetiva. Por outro lado, a func o por f ( ai ) = bi , para i = 1, . . . , n, ent ao f e a g : B A denida por g(bi ) = ai , para i = 1, . . . , n 1 e f (b) = an , para sobrejetiva. b B {b1 , . . . , bn1 } e
2.3
Deni ca o 2.5. Dizemos que um conjunto A e enumer avel, se ele for nito ou se existir uma fun ca o bijetiva : N A. A fun ca o se chama uma enumera ca o dos elementos de A. Escrevemos (1) = a1 , (2) = a2 , . . . , ( n ) = a n , . . . portanto A = { a1 , a2 , . . . , a n , . . . }.
Portanto, se um conjunto A for innito e enumer avel, podemos indexar (rotular ) os elementos de A usando com numeros naturais como ndices. Exemplo 2.3. Note que o conjunto N e enumer avel, pois a fun ca o : N N, denida por (n) = n e bijetiva. Exemplo 2.4. O conjunto {2, 4, 6, . . .} e enumer avel. o : N {2, 4, 6, De fato, o esquema abaixo nos sugere como denir uma func a o: 8, . . . , 2n, . . . }, de modo que ela seja uma bijec a 1 2 3 4 5 6 7 ... n ... ... ... 2, 4, 6, 8, 10, 12, 14, . . . , 2n, . . . o e bijetiva, por qu Note que (n) = 2n. A func a e? Exemplo 2.5. O conjunto 1, 2, 3, 4, . . . , n, . . . e enumer avel. .
o : N {-1, -2, De fato, o esquema abaixo nos sugere como denir uma func a o: -3, -4, . . . , -n, . . . } de modo que ela seja uma bijec a 1 2 3 4 5 6 7 ... n ... ... ... 1, 2, 3, 4, 5, 6, 7, . . . , n, . . . .
32
Exemplo 2.6. O conjunto dos inteiros Z = {. . . , 2, 1, 0, 1, 2, . . .} e enumer avel. o : N Z de De fato o esquema abaixo nos sugere como denir uma func a o: modo que ela seja uma bijec a 1 2 3 4 5 6 7 8 9 . . . 2n 2n + 1 . . . ... ... 0, 1, 1, 2, 2, 3, 3, 4, 4, . . . n n . . . .
denida da seguinte forma (1) = 0, (2n) = n e (2n + 1) = n. Note que e bijetiva, por qu Armamos que e e? Teorema 2.3. Se A N, ent ao A e enumer avel.
o ele e enumer Prova. Se A for nito por denic a avel e n ao ter amos nada a fazer. innito, ent Suponha que A seja innito. Como A e ao A e qualquer subcon junto de A do qual retiramos apenas um numero nito de elementos ser a n ao o, todo subconjunto n vazio. Pelo princ pio da boa-ordenac a ao vazio de N possui um menor elemento, seja a1 o menor elemento de A, a2 o menor elemento de A1 = A { a1 }, a3 o menor elemento de A2 = A { a1 , a2 }, procedendo desta forma, denimos an como o menor elemento de An1 = A { a1 , . . . , an1 }. o : N A, denida por Como an+1 > an , a func a (n) = an injetiva. Para mostrarmos que ela e sobrejetiva, basta mostrarmos que A = e { a1 , . . . , an , . . .}. Suponha que houvesse algum a A, tal que a = an , para todo n. Ent ao a pertenceria a An para todo n, o que implica que a > an , para todo n. Portanto an seria um numero natural maior do que todos os elementos de um imposs conjunto innito de numeros naturais { a1 , . . . , an , . . .}, o que e vel. Corol ario 2.1. Seja g : A B uma bije ca o, onde B e um subconjunto de N, ent ao A e enumer avel. Prova. uma bijec o, ent Se B for nito, como g e a ao A tamb em ser a nito (| A| = | B| por qu e?), portanto enumer avel. enumer o do Teorema 2.3 Se B for innito, como ele e avel, vimos na demonstrac a o : B N. Ent uma que existe uma bijec a ao, pelo Teorema 1.3, g : A N e o, por ser composta de bijec enumer bijec a oes, portanto, A e avel.
AUL a 2 CON JUN TOS ENUMER V EIS E cON JUN TOS N O ENUMER V EIS
33
Prova. injetiva, ent Se B for nito, como f e ao A tamb em ser a nito (| A| | B| por qu e?), portanto enumer avel. enumer o : B N. Se B for innito, como B e avel, ent ao existe uma bijec a Como f e s ao injetivas, ent ao pelo Teorema 1.3, a composta f : A N injetiva. Portanto f e uma bijec o de A sobre a sua imagem, a qual tamb em e a enumer e avel por ser um subconjunto N, isto decorre do Teorema 2.3. Portanto, o de A sobre um subconjunto de N e pelo Comostramos que existe uma bijec a enumer rol ario 2.1, temos que A e avel. Exemplo 2.7. Mostre que todo subconjunto de um conjunto enumer avel e enumer avel. De fato, seja B um conjunto enumer avel e A um subconjunto de B. Considere a o f : A B denida por f ( x ) = x. Ent injetiva e, pelo Corol func a ao f e ario 2.2, enumer A tamb em e avel. Corol ario 2.3. Seja f : A B sobrejetiva. Se A for enumer avel, ent ao B tamb em ser a.
Corol ario 2.2. Seja f : A B injetiva. Se B for enumer avel, ent ao A tamb em ser a.
sobrejetiva, dado b B, podemos tomar a A, tal que f ( a) = b. Prova. Como f e o g : B A, tal que g(b) = a, portanto Isto permite-nos denir uma func a f ( g(b)) = f ( a) = b, para todo b B. Se b1 = b2 , ent ao g(b1 ) = g(b2 ); pois g(b1 ) = g(b2 ) implicaria f ( g(b1 )) = f ( g(b2 )), o que seria um absurdo, pois injetiva e A f ( g(b1 )) = b1 e f ( g(b2 )) = b2 e, por hipotese, b1 = b2 . Logo, g e enum enumer e eravel, ent ao pelo Corol ario 2.2 B e avel. Exemplo 2.8. O produto cartesiano N N e enumer avel.
a seguinte: disponha os elementos de N N na forma A primeira maneira e abaixo (na n- esima linha colocamos todos os elementos do produto cartesiano n, ou seja, elementos da forma (n, j), onde N N, cuja primeira coordenada e j = 1, 2, . . .):
(1, 1) (1, 2) (2, 1) (3, 1) (4, 1) (5, 1) . . . (2, 2) (3, 1) (4, 2) (5, 2) . . .
(1, 3) (1, 4) (2, 3) (3, 3) (4, 3) (5, 3) . . . (2, 4) (3, 4) (4, 4) (5, 4) . . .
34
(1, 1), (1, 2), (2, 1), (3, 1), (2, 2), (1, 3), (1, 4), (2, 3), . . . .
(2.3)
Com isso denimos : N N N, de modo que ela leva o n- esimo elemento o e injetiva, portanto, de (2.3) no numero inteiro positivo n. Claramente a func a enumer pelo Corol ario 2.2, N N e avel. a seguinte: seja : N N N, denida por (m, n) = A segunda maneira e o de um numero 2m .3n . Pela unicidade da decomposic a inteiro positivo em fatores injetiva e pelo Corol enumer primos, e ario 2.2, segue que N N e avel. o de na segunda demonstrac o poder Note que na denic a a amos ter tomado dois primos quaisquer, ao inv es de 2 e 3. Exemplo 2.9. O produto cartesiano de dois conjuntos enumer aveis e enumer avel. f :N De fato, sejam A e B dois conjuntos enumer aveis, ent ao existem bijec oes A e g : N B. Dena : N N A B, dada por (m, n) = ( f (m), g(n)). Como f e g s ao sobrejetivas, ent ao tamb em ser a sobrejetiva. Sendo sobre enujetiva e N N enumer avel, pelo Corol ario 2.3, concluimos que A B e mer avel. Corol ario 2.4. A uni ao enumer avel de conjuntos enumer aveis e enumer avel. Prova. Sejam A1 , A2 , . . . , An , . . . conjuntos enumer aveis, ent ao existem bijec oes f 1 : N A1 , f 2 : N A2 , . . ., f n : N An , . . . . Seja A = n=1 An , de sobrejetiva, pois dado na f : N N A, fazendo f (m, n) = f n (m), ent ao f e a A, ent ao a An para algum n, portanto, a = f n (m) = f (m, n), para algum enumer m. Sendo f sobrejetiva e como N N e avel, ent ao pelo Corol ario 2.3, enumer concluimos que A e avel. Exemplo 2.10. O conjunto Q= e enumer avel. enuDe fato, seja Z = Z {0}, ent ao sendo Z um subconjunto de Z que e enumer mer avel, ele e avel. Por outro lado Z Z , sendo o produto de dois enumer o : Z Z Q, denida conjuntos enumer aveis, ele e avel. A func a por m ( m, n ) = n sobrejetiva, pelo Corol enumer e ario 2.3, concluimos que Q e avel. m : m, n Z , n = 0 n
AUL a 2 CON JUN TOS ENUMER V EIS E cON JUN TOS N O ENUMER V EIS
35
Deni ca o 2.6. Dados dois conjuntos A e B, dizemos que eles t em a mesma cardinalidade se, e somente se, existir uma bije ca o entre eles. Em particular, os conjuntos N, Z e Q, t em a mesma cardinalidade.
2.4
Deni ca o 2.7. Um conjunto que n ao e enumer avel e dito ser n ao enumer avel. Muitos conjuntos que aparecem em matem atica s ao n ao enumer aveis. ao enumer avel) Seja A o conjunto de todas Exemplo 2.11. (Um exemplo de conjunto n as fun co es f : N {0, 1}, ent ao A e n ao enumer avel. De fato, se A fosse enumer avel, ent ao poder amos escrever A = { f 1 , f 2 , . . . , f n , . . . },
uma func o de N em {0, 1}. Em particular, dado onde para cada i N, f i e a o f : N {0, 1}, ent arbitrariamente uma func a ao dever amos ter f = f i , para o f : N {0, 1}, tal algum i N. Mostraremos a seguir que existe uma func a que f = fi , para todo i N, (2.4)
o que nos levaria a um absurdo. Este absurdo surgiu da nossa hipotese de A ser n enumer avel, com isso concluiremos que A e ao enumer avel. A seguir mostraremos (2.4). De fato, para cada i N dena f (i ) = 0, se f i (i ) = 1 , 1, se f i (i ) = 0
o temos f (1) = f 1 (1), f (2) = f 2 (2), . . . , f (i ) = f i (i ), . . . Dado ent ao por construc a i N, como f (i ) = f i (i ), ent ao f e f i diferem pelo menos no ponto i, portanto f = fi . Observa ca o 2.1. Na Se ca o 6.2 mostraremos que o conjunto dos numeros reais e n ao enumer avel. Exemplo 2.12. Assumindo que os reais s ao n ao enumer aveis, mostraremos que o conjunto dos irracionais, R Q, e n ao enumer avel.
enumer avel, se R Q tamb em De fato, sabemos que R = Q (R Q ) como Q e fosse enumer avel, sendo a uni ao de dois conjuntos enumer aveis enumer avel, ent ao concluir amos que R seria enumer avel, o que seria falso, tendo em vista o 2.1. a Observac a n Como o conjunto R Q dos irracionais e ao enumer avel, segue-se que, em ter mos de cardinalidade, existem muitos mais numeros irracionais do que racionais.
36
Exerc cio 2.5. Assumindo que R seja n ao enumer avel, mostre que o intervalo (1, 1) e n ao enumer avel. x Sugest ao: Mostre que a fun ca o f : R (0, 1), denida por f ( x ) = 1+ e injetiva |x| e use o Corol ario 2.2. Proposi ca o 2.3. Dado um conjunto A, n ao existe uma fun ca o sobrejetiva f : A P ( A ). o qualquer, mostraremos que f n a ao e Prova. Seja f : A P ( A) uma func sobrejetiva, ou seja, mostraremos que existe algum subconjunto de A, denotado por Z f , tal que Z f = f ( x ), para todo x A. Armamos que Z f = {x A : x / f ( x )} tem as propriedades desejadas. De fato, dado xo A, temos uma das seguinte possibilidades: (i) xo f ( xo ) = xo / Z f , logo, f ( xo ) = Z f , ou (ii) xo / f ( xo ) = xo Z f , logo, f ( xo ) = Z f . Corol ario 2.5. O conjunto P (N ) e n ao enumer avel. o bijetiva f : N avel, ent ao existiria uma func a Prova. Se P (N ) fosse enumer sobrejetiva, o que contrariaria a Proposic o 2.3. a P (N ), sendo f bijetiva, ela e
AUL a 2 CON JUN TOS ENUMER V EIS E cON JUN TOS N O ENUMER V EIS
37
2.5
Exerc cios
Exerc cio 2.6. O conjunto dos numeros primos {2, 3, 5, 7, 11, 13, 17, . . .} e enumer avel, por qu e? enumer avel? Exerc cio 2.8. O conjunto {1, 1/2, 1/3, 1/4, 1/5, . . .} e Exerc cio 2.7. O conjunto dos numeros inteiros mpares {1, 3, 5, 7, 9, . . .} e enumer avel? enumer avel? Exerc cio 2.9. O conjunto Q3 = {( x, y, z) : x, y, z Q } e f (n se n for par 2 ), . n +1 g( 2 ), se n for mpar
Exerc cio 2.10. Sejam A e B conjuntos disjuntos enumer aveis e innitos. Ent ao existem bije co es f : N A e g : N B. Dena h(n) =
Exerc cio 2.11. Sejam A e B conjuntos e B n ao enumer avel. Prove que se existir uma fun ca o sobrejetiva de A em B, ent ao A e n ao enumer avel. Exerc cio 2.12. Suponha que n N e f : {1, 2, . . . , n} {1, 2, . . . , n}. Mostre que f e injetiva se, e somente se, f for sobrejetiva. Exerc cio 2.13. Decida quais das arma co es abaixo s ao verdadeiras e quais s ao falsas. Prove as verdadeiras e d e contra-exemplos para as falsas. (a) Seja E um conjunto. Se existir uma fun ca o sobrejetiva f de E em N, ent ao E e enumer avel. (b) Um racional di adico e da forma n/2m , para algum n Z e m N. O conjunto dos racionais di adicos e n ao enumer avel.
(c) Suponha que A e B sejam conjuntos e que f : A B seja injetiva. Se A for n ao enumer avel, ent ao B e n ao enumer avel. enumer avel. (d) O conjunto das partes Z, P (Z ), e ao n ao enu(e) Sejam A e B conjuntos, onde B n ao enumer avel. Ent ao A B e A B s mer aveis. (f) Sejam E1 , E2 , . . ., conjuntos nitos e ent ao E e n ao enumer avel. E = E1 E2 E3 . . . = {( x1 , x2 , x3 , . . .) : xi Ei , i N },
38
39
Os nmeros racionais
3.1
Deni ca o 3.1. Uma rela ca o bin aria R sobre um conjunto n ao vazio A e um subconjunto n ao vazio de A A. Se ( a, b) R, dizemos que a est a relacionado (ou R-relacionado) a b e escrevemos a R b. Se ( a, b) / R, dizemos que a e b n ao est ao relacionados e denotamos a R b. Exemplo 3.1. Sejam A = { a, b, c} e R = {( a, a), (b, a), (c, c)}. Ent ao a R a, b R a e c R c. Por outro lado, os pares ordenados ( a, b) e (b, b) n ao est ao em R, portanto a R b e b R b. Exemplo 3.2. Seja A = { a, b, c} e R denida por x R y se, e somente se, x = y. Ent ao R = { ( a, a ), ( b, b ), ( c, c ) }. Deni ca o 3.2. Seja A um conjunto n ao vazio e R uma rela ca o bin aria sobre A. Dizemos que
(i ) R e reexiva se para todo x A, temos xRx. (ii ) R e sim etrica se para quaisquer x, y A, se xRy, ent ao yRx. (iii ) R e transitiva se para quaisquer x, y, z A, se xRy e yRz, ent ao xRz.
o de equival (iv) R e uma relac a encia se ela satiszer as propriedades (i ), (ii ) e (iii ), ou seja, se ela for reexiva, sim etrica e transitiva.
Exerc cio 3.1. Seja R a rela ca o em Z denida por xRy se, e somente se x = y. Mostre que R e uma rela ca o de equival encia.
41
o xRy se, e somente se, x y = 3k, onde k e um inteiro. De fato, por denic a reexiva. Por outro lado, Em particular, x x = 0 = 3 . 0 e, portanto, R e se xRy, ent ao x y = 3k, logo y x = 3k = 3(k) e concluimos que R e sim etrica. Finalmente, se xRy e yRz, ent ao x y = 3k1 e y z = 3k2 , ent ao x z = ( x y) + (y z) = 3k1 + 3k2 = 3(k1 + k2 ), portanto, xRz, o que mostra transitiva. Sendo R reexiva, sim uma relac o que R e etrica e transitiva, ent ao R e a de equival encia. o de equival Se R for uma relac a encia sobre A, dado a A, denimos a = { x A : xRa}, ` relac o R. como sendo a classe de equival encia do elemento a relativa a a Note que em virtude da propriedade reexiva, aRa, portanto a a, logo a = . n Com isso toda classe de equival encia e ao vazia. Se aRb, ent ao de (3.1), temos a b. (3.1)
Exemplo 3.3. Considere o conjunto Z dos numeros inteiros e a rela ca o R, tal que xRy se, e somente se, x y for multiplo de 3. Mostraremos que R e uma rela ca o de equival encia.
Al em disso, se aRb, pela propriedade sim etrica, bRa e de (3.1) concluimos que b a. Logo, se aRb, temos b a e a b. Armamos que se aRb se e, somente se, a = b. ao xRa, logo temos xRa e aRb. Em virtude da transitiviDe fato, seja x a, ent dade, temos xRb, o que implica que x b, logo todo elemento de a est a em b. Portanto a b. Analogamente, trocando-se os pap eis de a e b, concluimos que b a. Mostramos que a b e b a, o que signica que a = b. ao a = b. De fato, se x a b, ent ao x a e Armamos que se a b = , ent x b, o que implica que xRa e xRb, mas xRa implica aRx. Portanto, temos aRx e xRb, logo pela propriedade transitiva, temos aRb, mas vimos que isto implica a = b.
42
Portanto, duas classes de equival encia ou s ao iguais ou s ao disjuntas. Mostraremos que o cada classe de equival um subconjunto de A, portanto Por denic a encia e A = a A a.
a A a A.
Dado a A, vimos que a a, portanto, a x A x, o que mostra que A a A a. (3.2) e (3.3) concluimos que A = a A a. Das inclusoes
(3.2)
(3.3)
o de equival Em resumo, mostramos que uma relac a encia R num conjunto n ao numa uni vazio A o decompoe ao disjunta de classes de equival encia. O conjunto chamado de quociente de A pela rela denotado por A/ R, isto e e ca o R e e A / R = { a : a A }. Exemplo 3.4. Seja R a rela ca o em Z denida por xRy se, e somente se, x y for multiplo de 3. Mostraremos que Z / R = {0, 1, 2}. pode ser 0, De fato, dado um numero inteiro x, o resto da sua divis ao por 3 so igual a 0, 1 ou 2. Logo 1 ou 2, portanto, podemos escrever x = 3k + r, onde r e x r = 3k, o que implica que xRr, portanto x est a na classe de equival encia de r. Ent ao, temos apenas as tr es classes de equival encias 0, 1 e 2. Logo Z / R = {0, 1, 2}. r, ao todos os inteiros cujo resto da divis ao por 3 e Na classe de equival encia r est onde r = 0, 1, 2.
{ a : a A}
Exerc cio 3.2. Encontre 17, onde R e a rela ca o de equival encia do exemplo anterior.
43
Exerc cio 3.3. Em Z denimos a seguinte rela ca o: aRb se, e somente se, a + b for par.
(i ) Mostre que R e uma rela ca o de equival encia. (ii ) Encontre Z / R. (iii ) Quais s ao os elementos de 1111?
Exemplo 3.5. Seja Z o conjunto de todos os inteiros n ao nulos. Dados ( a, b) e (c, d) em Z Z , dizemos que ( a, b) R(c, d) se, e somente se ad = bc. Mostraremos que R e uma rela ca o de equival encia. o de relac o De fato, neste exemplo, o que faz o papel do conjunto A na denic a a o 3.1 e o conjunto Z Z , lembre-se que cada elemento bin aria dada na Denic a um par ordenado. de A e o R e reexiva, sim Mostraremos que a relac a etrica e transitiva. (i) Para todo ( a, b) Z Z , temos ( a, b) R( a, b), visto que ab = ba, pois a o de inteiros e comutativa. Portanto, a relac o R e reexiva. multiplicac a a ao ad = bc e logo (ii) Sejam agora ( a, b), (c, d) Z Z , tais que ( a, b) R(c, d); ent o R e sim cb = da, o que implica que (c, d) R( a, b). Portanto, a relac a etrica. ao (iii) Sejam ( a, b), (c, d), (e, f ) Z Z , tais que ( a, b) R(c, d) e (c, d) R(e, f ); ent ad = bc e c f = de. Multiplicando a primeira igualdade por f e a segunda por b, temos ( ad) f = (bc) f e b(c f ) = b(de), portanto ( a f )d = (be)d, como d = 0, a segunda componente do par, podemos dividir a equac o por d e obtemos pois e a transitiva. a f = be, ou seja, ( a, b) R(e, f ), o que mostra que R e
3.2
o bx = a nem sempre tem Se a e b s ao numeros inteiros com b = 0, a equac a o em Z, a menos que a seja um multiplo soluc a de b. Por exemplo, n ao existe o deniremos numero inteiro x, tal que 2x = 3. Para contornarmos esta situac a o de divis fechada, ou seja, a equac o um novo conjunto no qual a operac a ao e a bx = a sempre tem soluc ao, que no Ensino Fundamental e indicada pela frac ao a . b
5 2 4 1 ao todas No Ensino Fundamental, aprendemos que as frac oes 15 , 6 , 12 e 3 s iguais. Se olharmos para os pares ordenados nos quais as abscissas e as orde-
44
correspondentes, ou nadas s ao o numeradores e os denominadores da frac oes seja, (5, 15), (2, 6), (4, 12) e (1, 3), ent ao para quaisquer dois destes pares, o igual ao produdo da abscissa do primeiro par com a ordenada do segundo par e produto da ordenada do primeiro par ordenado com a abscissa do segundo par a c b ordenado. Ou seja, as frac oes ed s ao iguais se, e somente se, os pares ordenados ( a, b) e (c, d) satiszerem ad = bc. Em particular, xado um par ordenado ( a, b) em Z Z , ent ao todos os pares ordenados (c, d) em Z Z , tais que ad = bc, c a o, ou seja, d s ao representantes da mesma frac a =b . o: ( a, b) R(c, d) a A discuss ao acima nos motiva denir em Z Z a seguinte relac o e uma relac o se, e somente se, ad = bc. Vimos no Exemplo 3.5 que tal relac a a de equival encia, logo ela divide Z Z em classes de equival encia disjuntas. A classe de equival encia de ( a, b), ou seja,
( a, b ) = { ( u, v ) Z Z : ( u, v ) R ( a, b ) } = {(u, v) Z Z : av = bu},
a se diz um representante da mesQualquer elemento da classe de equival encia b ma. Em particular os pares (5, 15), (2, 6), (4, 12) e (1, 3) s ao representantes da 1 classe 3 . Analogamente, os pares (1, 2), (3, 6), (50, 100) e (1, 2) s ao represen1 tantes da classe 2 .
Deni ca o 3.3. Denotaremos por Q o conjunto de todas as classes de equival encias em Z Z , isto e Q = (Z Z ) / R.
3.3
Note que para denirmos a soma de numeros racionais teremos que denir a o soma de classes de equival encia em Z Z . Antes por em, deniremos a operac a de soma em Z Z . Dados ( a, b) e (c, d) em Z Z , qual seria a maneira natural de denirmos a sua soma destes dois pares? Para respondermos esta pergunta, lembremos que no Ensino Fundamental aprendemos que a c ad bc ad + bc . + = + = b d bd bd bd natural denirmos Portanto, e
(3.4)
45
o envolve apenas a soma e a multiplicac o de inteiros, as quais toesta operac a a o dos numeros maremos como ponto de partida na construc a racionais. Exemplo 3.6. Considere os racionais (1, 2) e (1, 3). Tomemos um representante de cada um destes racionais, digamos (2, 4) e (2, 6). Se os somarmos usando a regra (3.4), encontramos (2, 4) + (2, 6) = (20, 24).
Se tomarmos outros representantes de (1, 2) e (1, 3), digamos (2, 4) e (1, 3), somandoos usando a regra (3.4), temos
(3.5)
Note que o que zemos acima foi o seguinte: tomamos um representante em cada uma das classes de equival encia ( a, b) e (c, d), por exemplo, os pares ( a, b) e (c, d), somando-os usando a regra (3.4) e tomando a classe de equival encia da soma obtida. De (3.5) temos a seguinte regra para a soma de dois racionais: ad + bc a c . + = ( a, b) + (c, d) = ( ad + bc, bd) = b d bd (3.6)
46
De fato, tomando um representante de cada um dos racionais acima, digamos, (3, 6) e (3, 4), somando-os usando a regra (3.4) e obtemos portanto
Exemplo 3.7. Encontraremos a soma dos numeros racionais (3, 6) e (3, 4).
na ultima linha usamos que (30, 24) R(5, 4). Usando a terminologia usual, temos 30 3 3 5 + = = . 6 4 24 4 Teorema 3.1. A soma em Q tem as propriedades abaixo.
x + ( y + z ) = ( x + y ) + z.
(3.7)
(Exist encia do elemento neutro) Existe um unico elemento, que chamaremos de zero e denotaremos por 0, tal que
x + 0 = x, (3.8) para todo x Q. (Exist encia do sim etrico) Para cada racional x, existe um unico elemento, chamado de sim etrico de x, denotado por x, tal que
x + ( x ) = 0.
(3.9)
x + y = y + x.
(3.10)
Prova. Para provarmos as propriedades acima, usaremos as propriedades das de soma e de multiplicac o de inteiros. operac oes a A seguir mostraremos a propriedade associativa, para tal sejam x = ( a, b), y = (c, d) e z = ( p, q). Ent ao temos x + ( y + z ) = ( a, b ) + ( c, d ) + ( p, q )
= ( a, b) + (cq + dp, dq) = ( a(dq) + b(cq + dp), b(dq)) = (( ad + bc)q + (bd) p, (bd)q) = ( ad + bc, bd) + ( p, q) = ( a, b ) + ( c, d ) + ( p, q ) = ( x + y ) + z.
47
A seguir mostraremos a exist encia do elemento neutro. Seja 0 = (0, d), ao temos onde d Z . Dado x Q, seja x = ( a, b), ent x + 0 = ( a, b) + (0, d) = ( ad + b0, bd) = ( ad, bd) = ( a, b) = x. A seguir mostraremos a exist encia do sim etrico. Dado x Q, seja x = ( a, b), dena x = ( a, b ), x + ( x ) = ( a, b ) + ( a, b )
ent ao
Para mostrarmos a propriedade comutativa, dados x, y Q sejam x = ( a, b) e y = (c, d). Ent ao, temos x + y = ( a, b) + (c, d) = ( ad + bc, bd) = (cb + da, db)
= ( c, d ) + ( a, b ) = y + x .
3.4
Antes de denirmos o produto de racionais, deniremos o produto de dois elementos de Z Z . Dados ( a, b) e (c, d) em Z Z , qual seria a maneira mais natural de denirmos o produto deles? Novamente, voltando ao que aprendemos no Ensino Fundamental, temos a c ac = , b d bd natural denirmos portanto, e
(3.11)
Exemplo 3.8. Considere os racionais (1, 2) e (1, 3). Tomemos um representante de cada um destes racionais, digamos (2, 4) e (2, 6). Se os multiplicarmos usando (3.11), encontramos (2, 4) . (2, 6) = (4, 24).
48
Embora os pares (4, 24) e (2, 12) sejam diferentes, eles est ao na mesma classe de equival encia.
Se tomarmos outros representantes de (1, 2) e (1, 3), digamos (2, 4) e (1, 3), multiplicandoos usando (3.11) temos (2, 4) . (1, 3) = (2, 12).
A seguir mostraremos que o que aconteceu no exemplo anterior n ao foi uma coincid encia, ou seja, dados dois racionais ( a, b) e (c, d), se ( p, q) R( a, b) e (u, v) R(c, d), ent ao ( a, b) . (c, d) e ( p, q) . (u, v) est ao na mesma classe de equival encia, ou seja, ( ac, bd) R( pu, qv), ou equivalentemente,
O fato do produto (3.11) n ao depender dos representantes de ( a, b) e (c, d) que tomamos, nos permitir a denir o produto de elementos de (Z Z )/ R , ou seja, de racionais. Dados dois racionais ( a, b) e (c, d), denimos
(3.12)
o seguinte: pegamos um representante em cada Note que o que fazemos acima e uma das classes de equival encia ( a, b) e (c, d), por exemplo os pares ( a, b) e (c, d), os multiplicamos usando a regra (3.11) e tomamos a classe de equival encia do resultado obtido. Portanto, dados dois racionais
a b c ed , temos
ac a c . = ( a, b) . (c, d) = ( ac, bd) = . b d bd Teorema 3.2. A opera ca o multiplica ca o em Q possui as seguintes propriedades:
(3.13)
49
(Exist encia do elemento neutro) Existe um unico elemento que chamaremos de unidade e denotaremos por 1, tal que para todo x em Q, temos
1x = x. (3.15)
(Exist encia de inverso) Dado x Q, com x = 0, existe um unico elemento que cha 1 maremos de inverso de x e denotaremos por x , tal que
xx 1 = 1. (3.16)
o das propriedades acima, usaremos as propriedades da Prova. Na demonstrac a o dos numeros multiplicac a inteiros. A seguir mostraremos a associatividade da soma de racionais. Sejam x = ( a, b), y = (c, d) e z = ( p, q), ent ao x (yz) = ( a, b) . (c, d) . ( p, q)
= ( xy)z.
Para mostrar a lei comutativa, note que xy = ( a, b) . (c, d) = ( ac, bd) = (ca, db) = (c, a) . ( a, b) = yx. A seguir mostraremos a exist encia e a unicidade do elemento neutro da multipli o. Seja cac a 1 = (r , r ), arbitr onde r Z e ario. Dado x = ( a, b), temos 1x = (r, r ) . ( a, b) = (ra, rb) = ( a, b) = x, um elemento neutro da multiplicac o. Mostraremos que ele o que mostra que 1 e a unico. e De fato, se 1 for um racional tal que 1 x = x, para todo x Q, fazendo x = 1, temos 1 1 = 1, mas 11 = 1 e em virtude da propriedade comutativa, temos 11 = 1 1, portanto 1 = 1, que mostra a unicidade do elemento neutro da o. multiplicac a Mostraremos a exist encia e a unicidade do inverso multiplicativo. Para mostrar a exist encia, seja x = ( a, b) = 0, ent ao a = 0, logo (b, a) est a em Z Z e, portanto, um racional. Note que ( b, a ) e
50
um inverso multiplicativo de ( a, b). portanto (b, a) e Para mostrar a unicidade do inverso multiplicativo, sejam x , x racionais, tais que xx = 1 e xx = 1, ent ao x = 1x = x 1 = x ( xx ) = ( x x ) x = ( xx ) x = 1x = x , o que mostra a unicidade do inverso multiplicativo de x, o qual denotaremos por x 1 . Deni ca o 3.5. (Divis ao de racionais) Dados x, y Q, com y = 0, denimos x y = xy1 . Teorema 3.3. (Distributividade da multiplica ca o em rela ca o a ` soma) Dados x, y, z Q, ent ao x (y + z) = xy + xz. o do teorema acima por conta do aluno. Deixamos a demonstrac a Exemplo 3.9. Mostraremos que a equa ca o da forma ax = b, onde a, b Q e a = 0, tem uma e somente uma solu ca o em Q. soluc o de ax = b, pois De fato, observe que a1 b e a a( a1 b) = ( aa1 )b = 1b = b. de ax = b, ent Suponha que e sejam soluc oes ao ter amos a = b e a = b, por 1 o por a e usando a associatividade da tanto a = a ; multiplicando esta equac a o de racionais, concluimos que = , portanto a soluc o da equac o multiplicac a a a unica. ax = b e
3.5
Dado um racional x = 0, ele possui um representante com denominador positivo, ou seja, existe ( a, b) Z Z , com b > 0, tal que x = ( a, b). Por exemplo, se um representante de (1, 2), pois (1, 2) R(1, 2). x = (1, 2), ent ao (1, 2) e Em geral, basta lembrar que ( a, b) e ( a, b) est ao na mesma classe de equival encia e que b ou b tem que ser positivo. Dados dois racionais x e y, dizemos que x y,
51
se, e somente se, ao tomarmos representantes ( a, b) e (c, d) de x e y, respectivamente, com denominadores positivos, tivermos ad bc. o n Temos que mostrar que esta denic a ao depende dos representantes com denominadores positivos de x e y que tomamos. Ou seja, se ( p, q) e (u, v) forem outros representantes quaisquer de x e y, respectivamente, com denominadores positivos, ent ao ad bc se, e somente se, pv qu. (3.18) (3.17)
De fato, suponha que a desigualdade (3.17) seja verdadeira, ent ao multiplicandoa por qv ela continua verdadeira, pois qv > 0, ou seja,
equivalente a a qual e
ao a desigualdade Como pb = qa e ud = vc, pois ( p, q) R( a, b) e (u, v) R(c, d), ent equivalente a acima e ( pb)(dv) (bq)(ud), equivalente a que e
positivo, temos Dividirmos a desigualdade acima por bd, que e pv qu, o que mostra (3.18). De maneira an aloga, assumindo (3.18), mostramos (3.17), deixamos os detalhes por conta do aluno (inverta os passos acima). Exemplo 3.10. Mostraremos que
( pv)(bd) (qu)(bd).
52
Exerc cio 3.4. (Densidade dos numeros racionais) Sejam x, y racionais com x < y. Mostre que existe um racional r, tal que x < r < y. ao positivos. Mostre que Sugest ao. Sejam x = ( a, b) e y = (c, d), onde b e d s
3.6
ao primos Portanto, dado racional ( a, b), tal que mdc{ a, b} = 1, ou seja, a e b s entre si, temos
( a, b) = ( a, 1) . (1, b) = ( a, 1) (b, 1) = a b.
o deciAssim, ao dividirmos a por b temos o que chamamos de uma representac a a o b mal para a frac a . Por exemplo, 7 3 2 5 = 0, 35; = 0, 1875; = 0, 2; = 0, 2272 . . . , 20 16 9 22 onde a barra sobre um numero indica que ele se repete indenidamente. (3.19)
53
decimais de alguns numeros As representac oes racionais s ao nitas, que termi nam, como no primeiro e no segundo exemplos de (3.19). Outros numeros racio innitas, que n nais t em representac oes ao terminam, como no terceiro e no quarto exemplos de (3.19) e s ao chamadas de d zimas peri odicas. o Assumiremos que o aluno tenha familiaridade com o conceito de representac a o 8.5 voltaremos a falar sobre este assunto, quando fadecimal innita. Na Sec a o decimal de numeros ` relaremos sobre a representac a reais e daremos sentido a o decimal innita. presentac a em (3.19), cujas as representac deciNote que os denominadores das frac oes oes em fatores primos outros mais s ao nitas, n ao possuem nas suas decomposic oes em fatores al em de 2 e 5, ou seja, 20 = 22 . 5 e 16 = 24 . J a as decomposic oes em (3.19), cujas as representac fatores primos dos denominadores das frac oes oes decimais s ao innitas, possuem fatores primos al em de 2 e 5, ou seja, 9 = 32 e 22 = 2 . 11. Ser a que isto foi uma coincid encia? a Teorema 3.4. Um racional na forma b , onde a e b s ao primos entre si e positivos, tem uma representa ca o decimal nita se, e somente se, na decomposi ca o de b em fatores primos n ao tiver outros fatores al em de 2 e 5. Prova. Suponha que
a b
Equivalentemente, temos 10n a = a1 a2 . . . an b. um multiplo o acima concluimos que 10n a e de b, o que signica que b Da relac a divide 10n a. Como a e b s ao primos entre si, concluimos que b divide 10n = 2n 5n , logo b = 2l 5m , onde os inteiros l , m satisfazem 0 l , m n. ao inteiros positivos ou nulos. Suponha que b seja da forma 2m . 5n , onde m e n s Se m n, temos a a . 5m n a = m n = . b 2 .5 10m um numero ao 5mn e Como m n 0, ent inteiro e, portanto, k = a . 5mn inteiro. Logo tamb em e a k = m b 10 o decimal e nita, ela tem no m e concluimos que a representac a aximo m algarismos depois da v rgula. De maneira an aloga, se n m, mostra-se que o decimal e nita, ela tem no m a representac a aximo n algarismos depois da v rgula.
54
Exerc cio 3.7. Represente na forma de decimal, as seguintes fra co es: 1 , 4 3 , 200 7 , 625 252 , 125 3147 , 2500 5 , 11 3097 , 9900 209 . 700
a Vimos que todo racional da forma b , onde a e b s ao primos entre si e positivos, tem o nita ou innita periodica. uma representac a Agora mostraremos a rec proca.
Teorema 3.5. Toda representa ca o decimal nita ou peri odica innita representa um numero racional. o decimal nita representa um racional; por qu Prova. Toda representac a e? Suponha que x = a1 a2 . . . am b1 . . . bn , onde a1 , . . . am representam os m algarismos consecutivos da parte n ao periodica e b1 , . . . , bn representa os n algarismos da parte periodica, ou seja, que se repete. Note que 10m+n x = a1 a2 . . . am b1 . . . bm + 0, b1 . . . bm e portanto portanto 10m x = a1 a2 . . . am + 0, b1 . . . bm , 10m+n x 10m x = a1 a2 . . . am b1 . . . bm a1 a2 . . . am , x=
a1 a2 . . . am b1 . . . bm a1 a2 . . . am , 10m+n 10m como o numerador e o denominador da express ao acima s ao inteiros, concluimos um racional. que x e
Note que 104 x = 12134, 3434 . . . e 102 x = 121, 3434 . . ., portanto 104 x 102 x = 12134, 3434 . . . 121, 3434 . . . = 12134 121 = 12013 x= 12013 12013 . = 4 2 9900 10 10
e concluimos que
55
0, 444 . . . ;
2, 666 . . . ;
0, 3443;
0, 9987;
0, 0001.
A seguir mostraremos que 0, 999 . . . = 1, estranho. o que aparentemente e ao De fato, se zermos x = 0, 999 . . ., ent 10x = 9, 999 . . . = 9 + 0, 999 . . . = 9 + x, portanto 9x = 9, logo x = 1. Se dividirmos (3.20) por 10, 100, 1000, 10000, etc, obteremos 0, 1 = 0, 09999 . . . 0, 01 = 0, 009999 . . . 0, 001 = 0, 0009999 . . . 0, 0001 = 0, 00009999 . . . , etc. acima, podemos representar uma decimal nita (exTendo em vista as relac oes ceto o zero) por uma d zima periodica. Por exemplo, 0, 102 = 0, 101 + 0, 001 = 0, 101 + 0, 0009999 . . . = 0, 1019999 . . . 6, 82 = 6, 81 + 0, 01 = 6, 82 + 0, 009999 . . . = 6, 819999 . . . (3.20)
Exerc cio 3.9. Encontre uma representa ca o decimal innita para os numeros abaixo. 0, 73; 0, 00099; 13.
56
Da mesma forma, podemos transformar qualquer d zima periodica onde a parte o 9, em frac o decimal nita; por exemplo, que repete e a 0, 46999 . . . = 0, 46 + 0, 00999 . . . = 0, 46 + 0, 01 = 0, 47. Exerc cio 3.10. Encontre uma representa ca o decimal nita para os numeros abaixo. 0, 111999 . . . ; 2, 7999 . . . . . . ; 99, 9999 . . . .
3.7
par se n = 2k, onde k e um numero Dizemos que um numero inteiro n e inteiro. De maneira an aloga, dizemos que um numero inteiro n e mpar se n = 2k 1, um numero onde k e inteiro. Exerc cio 3.11. Mostre que o quadrado de um numero inteiro n e par se, e somente se, n for par.
Exemplo 3.12. Considere um tri angulo ret angulo de catetos com comprimento 1. Mostraremos que o comprimento da sua hipotenusa h n ao e um numero racional. o, que h fosse um numero Suponha, por contradic a racional, portanto da forma q , onde podemos assumir que p e q s ao primos entre si. Pelo Teorema de Pit agoras, temos que p 2 = 12 + 12 = 2. q par, portanto p e par, ou seja, p = 2r. Logo 4r2 = 2q2 , Logo, p2 = 2q2 , ou seja, p2 e 2 2 par. Mas, se p e q s portanto q = 2r , donde concluimos que q e ao pares, eles o, a qual foi conn ao podem ser primos entre si, com isso temos uma contradic a sequ encia de termos assumido que a hipotenusa fosse racional. No exemplo acima, mostramos que n ao existe numero racional cujo quadrado o seja 2, ou seja, a equac a x2 = 2, o em Q. Em contrapartida, no conjunto dos numeros n ao soluc a reais, o qual ser a o x2 = 2 tem exatamente uma soluc a o positiva, ser a denido na Aula 5, a equac a um exemplo de um numero que n ao a qual ser a chamada de 2. Portanto, 2 e numero e racional.
p
57
2 n ao e um numero racional.
Exerc cio 3.13. Seja x um numero inteiro. Mostre que x2 e multiplo de 3 se, e somente se, x for multiplo de 3. Sugest ao: Lembre que se x for inteiro, ent ao temos uma das seguinte possibilidades: (i ) x = 3k, (ii ) x = 3k + 1 ou (iii ) x = 3k + 2, onde k e um numero inteiro (pois o resto da divis ao de um numero inteiro por 3 s o pode ser 0, 1 ou 2.
Exerc cio 3.14. Mostre que n ao existe numero racional cujo quadrado seja 3.
58
59
4.1
Deni ca o 4.1. Um corpo F e um conjunto no qual se acham denidas as opera co es de adi ca o e de multiplica ca o, satisfazendo a ` s seguintes propriedades:
x+y = y+x
xy = yx.
(2) Leis associativas: ( x + y) + z = x + (y + z) e ( xy)z = x (yz). (3) Exist encia de um (unico) elemento 0 F, tal que
x + 0 = 0 + x = x, para todo x F.
61
( x + y)z = xz + yz.
( P1 ) x, y P, implica x + y P e xy P, ou seja, P e fechado em rela ca o a ` s opera co es de adi ca o e multiplica ca o. ( P2 ) Dado x F, ent ao temos uma, e somente uma, das tr es possibilidades: x P, x P ou x = 0.
4.2
um corpo. Em virtude dos Teoremas 3.1, 3.2 e 3.3, concluimos que o conjunto Q e Deni ca o 4.3. Dizemos que um racional x e positivo, se x > 0. Denotamos por Q + o subconjunto de Q formado pelos racionais positivos.
Exerc cio 4.2. Seja ( a, b) um representante do racional x. Mostre que x > 0 se, e somente se, ab > 0. ao x + y, xy Q + . Al em disso, dado x Q, temos Teorema 4.1. Dados x, y Q + , ent uma, e somente uma, das tr es possibilidades: x Q+ ,
x Q+
ou
x = 0.
Prova. Dados x, y Q + , sejam ( a, b) e (c, d) representantes de x e y, respectivamente. Como x, y > 0, pelo Exerc cio 4.2, ab, cd > 0.
62
representante de x + y, mostraremos que ( ad + bc)(bd) > Al em disso, ( ad + bc, bd) e positivo. De fato, 0 e em virtude do Exerc cio 4.2, concluiremos que x + y e
4.3
A seguir, atrav es de exemplos, mostraremos algumas desigualdades que valem para um corpo ordenado qualquer e, em particular, elas valem para Q. Dados x e y num corpo ordenado F, dizemos que x > y se, e somente se, x y P. De maneira an aloga, dizemos que x < y se, e somente se, ( x y) = y x P. ao Exemplo 4.1. Seja x = 0 um elemento de um corpo ordenado F, ent x 2 P.
um corpo ordenado, temos uma das seguintes possibiDe fato, como x = 0 e F e lidades: x P ou x P; no primeiro caso, temos x2 P e, no segundo caso, ( x )2 P. Como ( x )2 = x2 concluimos que x2 P. Exemplo 4.2. Se x > 0 e 0 > y, ent ao 0 > xy. ao x P e y P, portanto x (y) P. Como De fato, como x > 0 e 0 > y, ent ( xy) = x (y), concluimos que ( xy) P. Como 0 ( xy) = ( xy), temos que 0 xy P, ent ao 0 > xy.
63
Exemplo 4.3. Se x > y e y > z, ent ao x > z. De fato, como x > y, ent ao x y P, da mesma forma, como y > z, ent ao y z P, logo a soma ( x y) + (y z) P. Mas ( x y) + (y z) = x z, portanto, se x z P, concluimos que x > z. Exemplo 4.4. Se x > y e z > t, ent ao x + z > y + t. De fato, como x > y e z > t, ent ao x y P e z t P, portanto
( x y ) + ( z t ) P,
mas ( x y) + (z t) = ( x + z) (y + t), logo
( x + z ) ( y + t ) P,
ou seja, x + z > y + t. Exemplo 4.5. Se x > y e z qualquer, ent ao x + z > y + z. De fato, se x > y, ent ao x y P, portanto
( x + z ) ( y + z ) = x y P,
logo x + z > y + z. Exemplo 4.6. a < b, ent ao
a > b.
ao ( a b) P, ou seja, a (b) P, portanto, De fato, note que se a < b, ent a > b. Exemplo 4.7. Se x > y e z > 0, ent ao xz > yz. De fato, como x > y e z > 0, ent ao, x y e z pertencem a P e, por conseguinte, ( x y)z P. Mas pela lei distributiva xz yz = ( x y)z, com isso concluimos que xz yz P, logo xz > yz.
64
Exemplo 4.8. Se b > a > 0, ent ao a1 > b1 > 0. ao existe a1 e pelo Exemplo 4.1 temos que ( a1 )2 P. De fato, como a = 0, ent Como a e ( a1 )2 est ao em P, ent ao De maneira an aloga, mostra-se que b1 P, ou seja, b1 > 0. ao em P, ent ao a1 b1 P, ou seja, Como a1 e b1 est a1 b1 > 0. Como por hipotese b > a e mostramos que a1 b1 > 0, do Exemplo 4.7, temos b ( a 1 b 1 ) > a ( a 1 b 1 ), o, temos portanto, pela associatividade e pela comutatividade da multiplicac a a 1 = a ( a 1 )2 P .
Exemplo 4.9. Se 0 < x < y e 0 < x < y , ent ao xx < yy . De fato, note que y, y x , y x e x pertecem a P, logo yy xx
= (yy yx ) + (yx xx ) = y ( y x ) + ( y x ) x P,
Exemplo 4.10. Sejam x, y > 0, tais que x2 < 2 e y2 > 2. Ent ao x < y.
y2 < 2,
x2 < 2, x2 y2 < 0.
seguem destas duas desigualdades que Ou seja, ( x y)( x + y) < 0, como x + y > 0, temos x y < 0, portanto x < y.
65
4.4
Deni ca o 4.4. (Cota superior) Seja F um corpo ordenado e A um subconjunto de F. Dizemos que um elemento x F e uma cota superior de A, se x y para todo y A. Neste caso dizemos que A e limitado superiormente. Exerc cio 4.3. Considere o corpo ordenado Q.
( a) Seja A = {5, 6, . . . , 10}. Encontre uma cota superior para A. (b) D e um exemplo de um subconjunto de Q que n ao possui cota superior.
Deni ca o 4.5. (Cota inferior) Seja F um corpo ordenado e A um subconjunto de F. Dizemos que um elemento x F e uma cota inferior de A, se x y para todo y A. Neste caso dizemos que A e limitado inferiormente. Exerc cio 4.4. D e um exemplo de um subconjunto de Q que n ao possui cota inferior. Deni ca o 4.6. Dizemos que um subconjunto de um corpo ordenado e limitado se ele for limitado superiormente e inferiormente.
4.5
Deni ca o 4.7. (Supremo de um conjunto) Seja F um corpo ordenado e A um subconjunto de F limitado superiormente. O supremo de A, denotado por sup A, e a menor das cotas superiores de A. Em outras palavras, x F e o supremo de A, se
(i ) x for uma cota superior de A (ii ) se z for uma cota superior de A, ent ao, x z.
Exemplo 4.11. O supremo de um conjunto A n ao necessariamente pertence a A. Por exemplo, seja A = { y Q : 0 < y < 1}.
uma cota superior de A, pois se r 1, ent ao Note que qualquer numero racional r 1 e r y, para todo y A. O que provaremos e que 1 e a menor cota superior de A e concluiremos que sup A = 1.
66
Para mostrarmos que 1 e a menor cota superior de A temos que provar que nenhum racional r < 1 pode ser uma cota superior de A, ou seja, se r < 1 podemos encontrar um elemento r A, tal que r > r. De fato, se r < 1, temos duas possibilidades: (i ) r 0 ou (ii ) 0 < r < 1. Claramente r 0 n ao pode ser uma cota superior de A, pois 1/2 A e 1/2 > r. Mostraremos que se 0 < r < 1, ent ao r n ao pode ser uma cota superior de A. De fato, pelo Exerc cio 3.4, vimos que a m edia de dois numeros racionais e um numero racional, em particular r+1 r = 2 ao e numero racional. Al em disso, como 0 < r < 1, ent 0 < r < r < 1. Como r Q e 0 < r < 1, ent ao r A. Como r A e r > r, segue que r n ao pode ser uma cota superior de A. Portanto 1 e a menor cota superior de A e concluimos que sup A = 1. Exemplo 4.12. Seja B Q, denido por ent ao sup B = 1 e 1 B. B = { y Q : 0 y 1},
De fato, 1 e uma cota superior de A e usando os argumentos do Exemplo 4.11 concluimos que nenhum racional r < 1 pode ser uma cota superior de A. Deni ca o 4.8. (Inmo de um conjunto) Seja F um corpo ordenado e A um subconjunto de F limitado inferiormente. O nmo de A, denotado por inf A, e a maior das cotas inferiores de A. Em outras palavras, x F e o nmo de A, se
(i ) x for uma cota inferior de A (ii ) se z for uma cota inferior de A, ent ao, x z.
Exemplo 4.13. Sejam A e B os conjuntos denidos nos dois exemplos anteriores, ent ao inf A = 0 e inf B = 0. Mostraremos que inf A = 0. uma cota inferior de A, pois se y A, ent ao y 0. Note que qualquer racional r 0 e Mostraremos que se r > 0 for um racional, podemos encontrar algum r A, tal que r < r, portanto r n ao pode ser uma cota inferior de A. Com isso concluiremos que 0 e a maior cota inferior de A, ou seja, inf A = 0. De fato, se r > 0, temos duas possibilidades: (i ) r 1 ou (ii ) 0 < r < 1. Se r 1, ent ao r n ao pode ser uma cota inferior de A, pois 1/2 A e 1/2 < r. Mostraremos que, se 0 < r < 1, ent ao r n ao pode ser uma cota inferior de A. Para mostrar isso, note que r = 0+r r = 2 2
67
e numero racional (a m edia de numeros racionais e um numero racional) e como 0 < r < 1, ent ao 0 < r < r < 1. Como r Q e 0 < r < 1, ent ao r A. Al em disso, como r A e r < r, concluimos que r n ao pode ser uma cota inferior de A. Portanto 0 e a maior cota inferior de A. De maneira an aloga, mostra-se que inf B = 0. Exerc cio 4.5. Seja A = { x Q : x = ( 1) n n 1 , n N }. Mostre que sup A =
1 2
e inf A = 1.
o conjunto Q, nos exemplos Como o unico corpo ordenado que vimos at e agora e de nmo e de supremo nos restringimos a subconjuntos dele. um corpo ordenado e Na Aula 5 veremos que o conjunto dos numeros reais R e consideraremos exemplos de nmo e de supremo de subconjuntos de R. No proximo teorema mostraremos que nem todo subconjunto de Q limitado inferiormente possui nmo em Q. Teorema 4.2. Seja A = { x Q + : x 2 > 2}.
Dado um numero racional positivo x, temos uma das seguintes possibilidades: x2 > 2, o que implica x A, ou x2 < 2, o que implica x B. A possibilidade x2 = 2 n ao acontece, pois vimos que n ao existe numero racional cujo o quadrado seja 2. Portanto, dado um racional x > 0, temos uma das seguintes possibilidades: xA ou x B.
B = { x Q + : x 2 < 2}.
o. De Supondo que inf A Q, mostraremos que isto nos levar a a uma contradic a uma cota inferior para A, portanto, devemos ter inf A 1, confato, note que 1 e sequentemente inf A ser a um numero racional positivo, portanto ele dever a estar em A ou em B. Contudo, mostraremos o seguinte: (i) Se x A, podemos encontrar y A com y < x, logo, nenhum elemento de A pode ser uma cota inferior para A, portanto n ao pode ser o nmo de A.
68
(ii) Se x B, mostraremos que existe y B, tal que y > x. Como todo x B e uma cota inferior de A (por qu e?), concluimos que nenhum elemento de B pode ser a maior que uma cota inferior de A, portanto n ao pode ser o inf A. Para mostrarmos (i), seja x = p/q A, com p, q > 0. Note que para todo inteiro positivo n, y = p/q 1/nq < p/q. poss Mostraremos que e vel tomarmos n sucientemente grande, tal que y A, , ou seja, y2 > 2, isto e (np 1)2 /n2 q2 > 2, equivalente a o que e
(4.1)
Como x A, ent ao p2 2q2 > 0, logo existe um no N, tal que (4.1) seja v alida para n no ; por qu e? Isto mostra (i). Para mostrarmos (ii), seja x = p/q B, com p, q > 0. Para todo n N, temos poss y = p/q + 1/nq > p/q. Mostraremos que e vel tomarmos n sucientemente , (np + 1)2 /n2 q2 < 2, o que e grande, tal que y B, ou seja, y2 < 2, isto e equivalente a
(4.2)
Como x B, ent ao 2q2 p2 > 0, logo existe um no N, tal que (4.2) seja v alida para n no ; por qu e? Isto prova (ii).
(1) { n / ( n + 1) : n N }.
1) (2) { n+( n +1
nn
: n N }.
69
5.1
Denimos o conjunto R dos numeros reais como sendo o corpo ordenado onde vale a propriedade abaixo. ao vazio de R, constitu do de Postulado 1. (Postulado de Dedekind) Todo subconjunto n elementos positivos, tem um nmo. Qualquer corpo ordenado F possui um subconjunto, que podemos identicar com o conjunto Q. De fato, sendo F um corpo ordenado, ele cont em o numero 1 o a soma, cont e, sendo ele fechado em relac a em todos os naturais: 2 = 1 + 1, 3 = 2 + 1, . . . Sendo F um corpo ordenado, ele cont em 0 e o sim etrico de cada natural; portanto, ele cont em um subconjunto que podemos identicar com os inteiros. Sendo F um corpo ordenado, ele cont em os inversos dos inteiros n ao nulos e produtos destes com inteiros, ou seja, ele cont em um subconjunto que podemos identicar com os racionais. Em particular, sendo R um corpo ordenado, ele cont em um subconjunto que podemos identicar como os racionais. Veremos a propriedade do postulado acima que distingue R de Q. que e Teorema 5.1. Seja A um subconjunto n ao vazio de R limitado inferiormente, ent ao inf A existe. Prova. Se A for formado apenas por numeros positivos, a conclus ao segue diretamente do Postulado de Dedekind e n ao temos nada a fazer. Suponha que A limitado inferiormente, por denic o, possua elementos n ao positivos. Como A e a existe um numero real l < 0, tal que a > l , para todo a A. Seja B = A l { a l : a A }, um subconjunto n ent ao os elementos de B s ao positivos. Logo, B e ao vazio de R, cujos elementos s ao positivos, pelo Postulado de Dedekind, ele possui um nmo. Seja L = inf B,
71
armamos que
inf A = L + l .
uma cota inferior para Para todo a A, a l B, portanto a l L, pois L e uma cota inferior B, ou seja, para todo a A, a L + l e conclu mos que L + l e isto que a maior das cotas inferiores de A. E para A. Resta-nos mostrar que L + l e mostraremos a seguir. Suponha que L seja uma cota inferior para A, ent ao para todo a A, temos L a, ou seja, L l a l e, como todo elemento de B e uma cota inferior para da forma a l , para algum a A, conclu mos que L l e a maior das cotas inferiores de B, segue que L l L, portanto B. Como L e menor ou igual a L + l e concluimos que L L + l , logo toda cota inferior de A e a maior das cotas inferiores de A. L+l e Teorema 5.2. Seja A um subconjunto n ao vazio de R limitado superiormente. Ent ao, sup A = inf( A), onde A = { x : x A}. limitado superiormente, existe k R, tal que a k, para todo Prova. Como A e limitado inferiormente a A. Ou seja, a k, para todo a A, portanto A e por k e pelo Teorema 5.1, existe l R, tal que l = inf( A). uma cota inferior para A, logo a l , para todo Como l = inf( A), ent ao l e uma cota superior a A, ou seja, a l para todo a A e conclu mos que l e para A. ao para todo a A, Agora suponha que l seja uma cota superior para A, ent uma cota inferior temos a l , portanto a l e conclu mos que l e a maior das cotas inferiores de A, segue que l l , para A. Como l e a menor das cotas superiores de A. Portanto, ou seja, l l . Logo l e sup A = l = inf( A).
5.2
O conjunto R e arquimediano
Teorema 5.3. O corpo dos numeros reais e arquimediano, ou seja, se x, y R e x > 0, ent ao existe um inteiro positivo n, tal que nx > y. Prova. Seja A = {nx : n N }.
72
Se n ao existisse n N, tal que nx > y, ter amos nx y, para todo n N e y seria uma cota superior para A. Sendo A um subconjunto n ao vazio de R limitado superiormente, ent que e ao pelo Teorema 5.2, ele possui supremo. Seja uma cota superior para A, portanto l = sup A. Como x > 0, l x < l e l x n ao e l x < mx para algum m N, ou seja, ter amos l < (m + 1) x, para algum N. Como (m + 1) x A, isto seria imposs vel, visto que l , sendo uma cota superior de A, deve ser tal que l a, para todo a A.
5.3
Aplicando o Teorema 5.3 novamente, agora com x = 1, encontramos um inteiro positivo m, tal que m > yn + 2. pio da Boa Ordena ca o, existe um Seja A = {k N : k > m yn}, pelo Princ o menor elemento de A. Como q A, temos natural q (> 2), tal que q e o menor elemento de A, temos como q e De (5.2), (5.3) e (5.1), temos Portanto, q > m yn m q < yn,
Prova. Como x < y, temos y x > 0 e o Teorema 5.3 nos fornece um inteiro positivo n, tal que (5.1) n(y x ) > 1 xn < yn 1.
Teorema 5.4. O conjunto Q e denso em R, ou seja, dados x, y R com x < y, existe r Q, tal que x < r < y.
(5.2)
(q 1) m yn m q yn 1.
yn > m q yn 1 > xn. xn < m q < yn.
(5.3)
x < ( m q ) / n < y,
Exerc cio 5.1. Sejam a, b numeros reais positivos. Mostre que se a < b, ent ao a2 < b2 . Sugest ao: a2 b2 = ( a b)( a + b).
73
5.4
Os numeros irracionais
Na Aula 3, vimos que n ao existe numero racional x, tal que x2 = 2. No Exemplo 5.1, veja a seguir, mostraremos que existe um (unico) numero real positivo x tal 2 chamado de 2. Numeros que x = 2; ele e reais que n ao s ao racionais s ao cha um exemplo de um numero irracional. mados de irracionais, portanto 2 e Exemplo 5.1. Seja A = { t Q + : t2 > 2}.
Visto como um subconjunto de R, o conjunto A possui nmo em R, pois ele e limitado inferiormente (d e um exemplo de uma cota inferior para A). Mostraremos que inf A n ao e racional. De fato, seja y = inf A. Mostraremos que y2 = 2 e pelo Exemplo 3.12, y n ao pode ser racional. A seguir, mostraremos que qualquer uma das desigualdades y2 > 2 ou y2 < 2 o, portanto devemos ter y2 = 2. nos levaria a uma contradic a Suponha que y2 < 2, ent ao 1 y+ n se n >
2
= y2 +
2y 1 2y + 1 + 2 y2 + < 2, n n n
2y + 1 1 1 2 uma cota inferior para A, . Como y + < 2, ent a o y + e n n 2 y2 a maior das cotas inferiores de A. contrariando o fato que y e ao Suponha que y2 > 2, ent y se n > y2 1 n
2
= y2
2y 1 2y + 2 y2 > 2, n n n
(5.4)
< r 2 < y2 .
(5.5)
74
< r 2 < y2 ,
(5.6)
uma contradic o, pois sendo r um racional positivo, tal que r2 > 2, ent o que e a ao r A e dever amos ter r y, ou seja, r2 y2 , o que contraria a ultima desigualdade em (5.6). o x2 = a, onde a > 0, tem no m o Armamos que a equac a aximo uma soluc a 2 2 2 positivas de x = a , ent positiva. De fato, se x1 e x2 s ao soluc oes ao temos x1 = 2 2 2 2 a = x2 , logo x1 x2 = 0, ou seja,
( x1 x2 )( x1 + x2 ) = 0,
ao positivos, ent ao x1 + x2 > 0, portanto como x1 e x2 s x1 x2 = 0, ou seja, x1 = x2 . o do Exemplo 5.1, mostra-se que existe Usando os argumentos da demonstrac a o um numero real positivo x, tal que x2 = a. Portanto, a equac a x2 = a, onde o positiva, a qual e chamada de a. a > 0 tem exatamente uma soluc a
que sabemos ser irracional. De maneira an aloga, se 1 + 2 fosse racional, ao somarmos o racional 1 a este numero, a soma seria uma racional, mas (1 + 2) + (1) = 2,
irracional. Em geral, se x for racional e y irracional, ent que e ao x + y e xy (se x = 0) s ao irracionais. Teorema 5.5. Os numeros irracionais s ao densos em R, ou seja, dados arbitrariamente x, y R, com x < y, existe numero irracional z, tal que x < z < y.
1 . ( 2) = 2
75
Prova. Como os racionais s ao densos em R, existe r Q, tal que x + 2 < r < y + 2, subtraindo 2 das desigualdades acima, concluimos que x < r 2 < y. irracional. Caso Fazendo z = r 2, concluimos que x < z < y. Armamos z e contr ario, se z fosse racional, ent ao z r, por ser a diferenc a de dois racionais, irracional; veja Exemplo 5.2. tamb em seria racional, mas z r = 2 e
5.5
A fun ca o
Dado um numero real positivo a, se chamarmos de A o subconjunto dos numeros o reais positivos t, tais que tn < a, ent ao usando os argumentos da demonstrac a n o x = a. Por outro do Exemplo 5.1, mostra-se que x = inf A satisfaz a equac a lado, se usarmos a identidade bn an = (b a)(bn1 + bn2 a + . . . + an1 ),
o o x n = a, onde a > 0 tem no m aximo uma soluc a mostramos que a equac a o positiva. Portanto, a equac a x n = a, onde a > 0 tem exatamente uma raiz positiva, a qual chamamos de n a ou a1/n .
5.6
Exerc cio 5.2. Mostre que o conjunto N n ao e limitado superiormente. Em particular, dado x R, existe n N, tal que n > x. Resolu ca o. Suponha que N fosse limitado superiormente, ent ao, existiria um xo R, tal que n xo , para todo n N; e do Teorema 5.2 existiria L R, tal que L = sup N; em particular, L 1 n ao seria uma cota superior para N, ou seja, existiria n N, tal que n > L 1, ou seja, L < n + 1, o que seria um o, pois L = sup N, implicaria L m, para todo m N, em particular contradic a para m = n + 1. Exerc cio 5.3. Dado x > 0, mostre que existe n N, tal que x > 1/n > 0.
76
um corpo, x 1 = 1/ x tamb Resolu ca o. Como R e em pertence a R, logo, do exerc cio anterior, existe n N, tal que n > 1/ x > 0. Multiplicando estas desigualdades por xn1 , temos o resultado desejado. um conjunto com uma das Sejam a e b numeros reais com a < b. Um intervalo e seguinte formas:
( a, b ) = { x R : a < x < b },
[ a, b ] = { x R : a x b }
[ a, b ) = { x R : a x < b },
( a, b ] = { x R : a < x b }
chamado de aberto, n O intervalo ( a, b) e ao cont em as suas extremidades. O in chamado de fechado, ele cont tervalo [ a, b] e em as suas extremidades. O interior por denic o o intervalo aberto de qualquer um dos quatro intervalos acima e a ( a, b ). um conjunto de uma das seguintes formas: Uma semi-reta e
( a, ) = { x R : x > a },
( , b ) = { x R : x < b }
[ a, ) = { x R : x a },
( , b ] = { x R : x b }.
` semi-reta e dizemos que Nos dois primeiros casos, a extremidade n ao pertence a aberta. Nos dois ultimos ` semi-reta e dizeela e casos, a extremidade pertence a fechada. mos que ela e
Exerc cio 5.4. Seja A um subconjunto de R, tal que l = inf A exista. Mostre que para todo > 0 existe algum a A, no intervalo [l , l + ). Resolu ca o. Suponha que para algum o > 0 n ao existisse a A no intervalo o. De fato, como l e [l , l + o ). Mostraremos que isto nos levaria a uma contradic a uma cota inferior para A, ent ao x l , para todo x A. Como estamos supondo que n ao existam elementos de A em [l , l + o ), ent ao x l + o , para todo x A, o, pois l ou seja, l + o seria uma cota inferior para A, o que seria uma contradic a a maior das cotas inferiores de A. e
77
Exerc cio 5.5. Sejam A e B dois conjuntos n ao vazios de numeros reais que s ao limitados inferiormente e seja A + B = { a + b : a A, b B }. Mostre que inf( A + B) = inf A + inf B.
Resolu ca o. Como A e B s ao subconjuntos de R, limitados inferiormente, ent ao pelo Teorema 5.1 existem l A e l B reais tais que l A = inf A e l B = inf B. Portanto, para todos a A e b B, temos a lA logo e b lB ,
uma cota inferior para A + B. Mostraremos l A + l B e a o que mostra que l A + l B e maior cota inferior de A + B, portanto l A + l B = inf( A + B). Suponha que l seja uma cota inferior para A + B. Se l > l A + l B , tomar amos
o
a + b l A + lB ,
= (l (l A + l B ))/4.
o)
o,
ao < l A + bo < l B +
o
o,
e em particular
bo [ l B , l B +
o)
o,
Exerc cio 5.6. Seja A um subconjunto de R, tal que l = sup A exista. Mostre que para todo > 0 existe algum a A, no intervalo (l , l ]. Resolu ca o. Suponha que para algum o > 0 n ao existisse a A, no intervalo o. De fato, como l e (l o , l ]. Mostraremos que isto nos levaria a uma contradic a uma cota superior para A, ent ao x l , para todo x A. Como estamos supondo
78
que n ao existam elementos de A em (l o , l ], ent ao x l o , para todo x A, o, pois ou seja, l o seria uma cota superior para A, o que seria uma contradic a a menor das cotas superiores de A. le
Exerc cio 5.7. Seja S Z limitado inferiormente. Mostre que existe l = inf S e l S, portanto l e um inteiro. limitado infeResolu ca o. Se olharmos para S como um subconjunto de R ele e riormente, portanto existe l = inf S. Mostraremos que l S. Como o intervalo [l , l + 1/2) tem comprimento 1/2, ele cont em no m aximo um numero inteiro, portanto no m aximo um elemento de S. Pelo Exerc cio 5.4, tem que existir algum elemento de S em [l , l + 1/2). Portanto, existe exatamente um elemento de S em [l , l + 1/2), o qual denotaremos por no . Se l fosse diferente de no , ent ao l < no < l + 1/2, em particular, l +
no l 2
< no , consequentemente
l, l + no l 2
[l , no ) [l , l + 1/2).
l o unico Da inclus ao [l , l + no2 ) [l , l + 1/2), como no e elemento de S em [l , l + l 1/2), conclu mos que o unico elemento de S que poderia existir em [l , l + no2 ) no l poss seria no , mas isto n ao e vel, pois l + 2 < no . Portanto, n ao haveria eleno l cio 5.4, mentos de S em [l , l + 2 ), contrariando o resultado provado no Exerc segundo o qual, sendo l = inf S, ent ao para todo o > 0, deve existir algum elemento de S em [l , l + o ). Portanto, devemos ter no = l = inf S.
Exerc cio 5.8. Mostre que dado um numero real x, existe um inteiro n, tal que n x < n + 1. n Resolu ca o. Seja S = {n Z : x 1 < n}, ent ao S e ao vazio e limitado inferiormente, logo existe no = inf S, o qual pelo Exerc cio 5.7 pertence a S. Como no S, ent ao x 1 < no . N ao podemos ter x 1 < no 1, pois no 1 estaria em S, contrariando o fato que no = inf S. Portanto x 1 no 1, isto implica x no . Colocando tudo junto, temos no x < no + 1.
79
Exerc cio 5.9. Suponha que seja uma cota superior para o conjunto A e que A. Mostre que = sup A.
Resolu ca o. Seja L uma cota superior para A, temos que mostrar que L . De fato, se L < , como A, ter amos um elemento do conjunto A maior do que L, o que contrariaria a hipotese de L ser uma cota superior para A.
n+1 2, n limitado inferiormente e superiormente. Sendo para todo n N, portanto A e A um subconjunto de R limitado inferiormente, ele tem nmo. De maneira an aloga, sendo A um subconjunto de R limitado superiormente, ele tem su uma cota superior de A e 2 A, ent premo. Como 2 e ao 1< sup A = 2. uma cota inferior de A, armamos que 1 e a maior cota inferior de Note que 1 e A e portanto inf A = 1.
a maior cota inferior de A, mostraremos que nenhum Para mostrarmos que 1 e numero real x > 1 pode ser uma cota inferior de A, ou seja, se x > 1; ent ao existe n o +1 , existe algum numero natural no , tal que no < x. De y A, tal que y < x, isto e fato, temos n+1 1 n ( x 1) x = < 0, n n
1 poss se n > x vel em virtude do Teorema 5.3. Portanto, se tomarmos 1 , o que e 1 1 no tal que no > x1 , ent ao y = non+ A e y < x. Logo x > 1 n ao pode ser uma o uma cota inferior de A, ent a maior cota inferior cota inferior de A, como 1 e ao 1 e de A.
80
5.7
Exerc cios
(1) { x R : a x b }. (2) { x R : a < x b }. (3) { x R : a < x < b }. (4) {1} (2, 3] (4, 10).
Exerc cio 5.12. O conjunto Z tem nmo ou supremo? Justique a sua resposta. Exerc cio 5.13. Suponha que m seja uma cota inferior para o conjunto A e que m A. Mostre que m = inf A. Exerc cio 5.14. Suponha que A e B sejam dois conjuntos n ao vazios de numeros reais, tais que x y, para todo x A e y B.
( a) Mostre que sup A y, para todo y B. (b) Mostre que sup A inf B.
Exerc cio 5.15. Sejam A e B sejam dois conjuntos n ao vazios de numeros reais que s ao limitados superiormente e seja A + B = { x + y : x A, y B }. Mostre que sup( A + B) = sup A + sup B.
Exerc cio 5.16. Suponha que A e um subconjunto dos reais para o qual o nmo e o supremo existam. Mostre que inf A sup A. Exerc cio 5.17. Seja S Z limitado superiormente. Mostre que existe l = sup S e que l S, portanto, l e um inteiro.
81
6.1
Teorema 6.1. (Intervalos Encaixados.) Dada a sequ encia decrescente I1 I2 . . . In . . . de intervalos limitados e fechados In = [ an , bn ], ent ao
n=1 In = ,
ou seja, existe pelo menos um real c, tal que c In , para todo n N. Prova. Note que dizer que existe um numero L, tal que L In , para todo n, signica que an L bn , para todo n. In In+1 , temos Das inclusoes a1 a2 . . . an . . . bn . . . b2 b1 . Como an b1 , para todo n, segue que o conjunto A = { a1 , a2 , . . . , a n , . . . } limitado superiormente e, pelo Teorema 5.2, existe sup A, o qual denotaremos e por L. Sendo L uma cota superior para A, temos a n L, uma cota superior para A e L a menor para todo n. Al em disso, como cada bn e das cotas superiores para A, temos L bn , para todo n. Portanto an L bn , para todo n.
AUL a 6: O T EoREM a D oS IN t ERVa LoS ENC aiX a DoS, Va LoR a BSoLuto E DE SiGua L Da DE S
83
6.2
Teorema 6.2. O conjuntos dos numeros reais e n ao enumer avel. o f : N R sobrejetiva, ou seja, para Prova. Mostraremos que n ao existe func a toda f : N R, existe algum real L, tal que L = f (n), para todo n. o qualquer, tome reais a1 e b1 , tais que f (1) < a1 < b1 a Seja f : N R uma func e dena I1 = [ a1 , b1 ]. A seguir encontraremos um intervalo I2 = [ a2 , b2 ], tal que I2 I1 e f (2) / I2 . De fato, se f (2) / I1 , tomamos I2 = I1 , ou seja, fazemos a2 = a1 e b2 = b1 . Se f (2) I1 e f (2) = a1 , fazemos a2 = a1 e b2 = ( a1 + f (2))/2. Se f 2 I1 e f (2) = a1 , fazemos a2 = ( f (2) + b1 )/2 e b2 = b1 . / Ij , construiremos Tendo encontrado intervalos I1 I2 . . . In , tais que f ( j) o intervalo In+1 In e f (n + 1) / In+1 , onde In+1 = [ an+1 , bn+1 ], com an+1 e bn+1 denidos abaixo. / In , ent ao, an+1 = an e bn+1 = bn . (i) Se f (n + 1) (ii) Se f (n + 1) In e f (n + 1) = an , fazemos an+1 = an e bn+1 = ( an + f (n + 1))/2. (iii) Se f (n + 1) In e f (n + 1) = an , fazemos an+1 = ( f (n + 1) + bn )/2 e bn + 1 = bn . Como I1 I2 . . . In . . ., pelo Teorema dos intervalos encaixantes, existe algum real L que pertecem a todos os In s, portanto L = f (n), para todo n, logo sobrejetiva. L n ao est a na imagem de f , portanto f n ao e
6.3
Deni ca o 6.1. O valor absoluto ou m odulo de um numero real a, denotado por | a|, e denido como a, se a 0 | a| = a, se a < 0. Por exemplo, |2| = 2 e | 2| = 2. a dist Geometricamente, na reta real, | a| e ancia de a a origem. Exerc cio 6.1. Mostre que c |c|, para todo c.
84
Exerc cio 6.2. Sejam reais positivos, tais que a < b. Ent ao a e b (Sugest ao: ( a b)( a + b) = a b ) Exemplo 6.1. Seja a R, ent ao
a<
b.
a2 = | a |. (6.1) 2 2 De fato, note que a2 = | a|2 , logo a = | a| . Por outro lado, como | a| 0, segue que | a|2 = | a|. Portanto a2 = | a|. Teorema 6.3. (Propriedades do valor absoluto) Sejam a e b numeros reais quaisquer. Ent ao,
(6.2)
(6.3)
(6.4)
ao | a| = a e |b| = b; al em disso, como ab > 0, temos | ab| = ab, (i) Se a, b > 0, ent portanto | a| |b| = ab = | ab|. ao | a| = a e |b| = b; al em disso, como ab > 0, temos (ii) Se a, b < 0, ent | ab| = ab, portanto | a| |b| = ( a)(b) = ab = | ab|. ao | ab| = ( ab). (iii) Se a > 0 e b < 0, temos | a| = a, |b| = b e como ab < 0, ent Portanto | a| |b| = a(b) = ( ab) = | ab|. ao | ab| = ( ab). (iv) Se a < 0 e b > 0, temos | a| = a, |b| = b e como ab < 0, ent Portanto | a| |b| = ( a)b = ( ab) = | ab|. ao ab = 0 e portanto, | ab| = 0; por outro lado, devemos (v) Se a = 0 ou b = 0, ent ter | a| = 0 ou |b| = 0, portanto | a| |b| = 0. Logo | ab| = 0 = | a| |b|.
AUL a 6: O T EoREM a D oS IN t ERVa LoS ENC aiX a DoS, Va LoR a BSoLuto E DE SiGua L Da DE S
85
A seguir provaremos (6.3). Note que de (6.2), temos Al em disso, do Exerc cio 6.1 e de (6.2), temos Portanto
| a2 | = | aa| = | a| | a| = | a|2 .
2ab |2ab| = 2| a| |b|.
(6.5) (6.6)
( a + b )2 = = =
Logo
( a + b )2 ( | a | + | b | )2 . ( | a | + | b | )2 . ( | a | + | b | )2 = | a | + | b |,
( a + b )2
ou seja,
| a + b| =
( a + b )2
| a + b | | a | + | b |,
A seguir provaremos (6.4). Suponha que | a| |b| (se |b| > | a|, basta repetirmos os argumentos abaixo, trocando os pap eis de a e b). Como | a| |b|, ent ao | a| |b| 0, logo mas de (6.3), temos portanto
|| a| |b|| = | a| |b|,
(6.7)
| a | = | ( a b ) + b | | a b | + | b |, | a | | a b | + | b |.
(6.8)
| a | | b | | a b |.
86
| x z | | x y | + | y z |.
Sugest ao: Note que x z = ( x y) + (y z), use (6.3).
Exerc cio 6.4. Sejam x1 , . . . , xn numeros reais. Mostre por indu ca o que
i =1
xi
i =1
| xi |.
Exemplo 6.2. Sejam a, b R, ent ao a2 + ab + b2 0. De fato, se ab 0, ent ao, a2 + ab + b2 a2 + b2 0. Se ab < 0, ent ao ab > 0, portanto a2 + ab + b2 = ( a + b)2 ab > ( a + b)2 0. Exemplo 6.3. Sejam x e y reais n ao negativos, ent ao
xy ( x + y)/2.
(6.9)
AUL a 6: O T EoREM a D oS IN t ERVa LoS ENC aiX a DoS, Va LoR a BSoLuto E DE SiGua L Da DE S
87
2 xy x + y,
dividindo esta desigualdade por 2, temos (6.9).
chamada m chamada A quantidade ( x + y)/2 e edia aritm etica de x e y e xy e que a m m edia geom etrica de x e y. O que o (6.9) est a dizendo e edia geom etrica sempre menor ou igual a ` m de dois numeros reais n ao negativos e edia aritm etica deles.
Exemplo 6.4. (A desigualdade de Cauchy-Schwarz) Sejam a1 , . . . , an e b1 , . . . , bn s ao numeros reais, ent ao
n 2 n n
i =1
a i bi
i =1
a2 i
i =1
bi2
(6.10)
n n n 2 2 ao, bi = 0, De fato, sejam A = i =1 ai , B = i =1 bi e C = i =1 ai bi . Se B = 0, ent v para i = 1, . . . , n e (6.10) e alida, pois teremos igualdade. Suponha que B > 0. Ent ao
i =1
| Bai Cbi |2 =
i =1
2 2 = B2 a2 i 2 BC ai bi + C bi
= B A BC = B( AB C2 ).
n 2 Portanto B( AB C2 ) = i =1 | Bai Cbi | 0; como B > 0, segue-se que AB 2 2 C 0; portanto C AB, o que prova (6.10).
Observa ca o 6.1. O que a desigualdade de Cauchy-Schwarz est a dizendo e que se a = ao ( a1 , . . . , an ) e b = (b1 , . . . , bn ), ent a b || a|| ||b||, o produto escalar do vetor a com o vetor b. onde a b e Exemplo 6.5. Sejam b, numeros com se,
b < x < b+ .
88
De fato, suponha que | x b| < . Temos uma das seguintes possibilidades: (i) b x ou (ii) x < b. Mostraremos que em qualquer um dos dois casos vale (6.11). Se b x, ent ao x b = | x b| < , mas se x b < , ent ao x < b + . Por outro lado, temos x b 0 > . Portanto, temos
< xb < .
ao b x = | x b| < , logo b Se x < b, ent , o que implica x < b + . Portanto, temos
< xb < .
ao subtraindo b destas desigualdades, Reciprocamente, se b < x < b + , ent temos < x b < < b x < .
Como | x b| = x b ou | x b| = b x, segue das desigualdades acima que | x b| < . Exerc cio 6.5. Mostre que existem exatamente dois numeros x satisfazendo a condi ca o | x b| = . o de intervalos: por exemplo, Podemos usar o valor absoluto na representac a dado um numero real positivo a, podemos escrever
( a, a ) = { x R : | x | < a }.
a dist Dados dois reais a, b, | a b| e ancia entre eles. O comprimento de um in a dist ` s suas extremidades. A tervalo e ancia entre os pontos correspondentes a chamada de raio do intervalo. metade do comprimento do intervalo e Exemplo 6.6. Determine todos os valores de x que satisfazem a ` seguinte igualdade: x + | x 2| = 1 + | x |. tirar os modulos Note que a primeira coisa que temos que fazer e que aparecem na igualdade; para isso teremos que encontrar os valores de x para os quais as dentro dos modulos expressoes se anulam. No presente exemplo, tais pontos s ao x = 2 e x = 0. Com isso podemos escrever o conjunto dos numeros reais da seguinte forma: R = (, 0) [0, 2) [2, ).
AUL a 6: O T EoREM a D oS IN t ERVa LoS ENC aiX a DoS, Va LoR a BSoLuto E DE SiGua L Da DE S
89
| x | = x,
equivalente a x + 2 x = 1 x, ou Portanto, a igualdade x + | x 2| = 1 + | x | e o de x + | x 2| = 1 + | x | e x = 1. seja, x = 1. Logo, em (, 0) a unica soluc a Em [0, 2), temos x 0, logo ao como x < 2, ent
| x 2| = ( x 2) = 2 x .
| x | = x,
equivalente a x + 2 x = 1 + x, ou Portanto, a igualdade x + | x 2| = 1 + | x | e o de x + | x 2| = 1 + | x | e x = 1. seja, x = 1. Logo, em [0, 2) a unica soluc a Em [2, ), temos x > 0, logo ao como x 2, ent
| x 2| = ( x 2) 2 x ,
| x | = x, | x 2| = x 2.
equivalente a x + x 2 = 1 + x, ou Portanto, a igualdade x + | x 2| = 1 + | x | e o de x + | x 2| = 1 + | x | e x = 3. seja, x = 3. Logo, em [2, ) a unica soluc a Portanto, x + | x 2| = 1 + | x | se, e somente se, x {1, 1, 3}.
| x 3| + | x 1| < 4.
{ x R : | x a| < r }
.
90
Exerc cio 6.9. Descreva o conjunto dos pontos x R, cuja dist ancia a 1 e 3.
AUL a 6: O T EoREM a D oS IN t ERVa LoS ENC aiX a DoS, Va LoR a BSoLuto E DE SiGua L Da DE S
91
Definio de sequncia
7.1
que associa a cada natural n um numero real a(n), que denotaremos por an . Os elementos an s s ao chamados de termos da sequ encia, a qual denotaremos por ( an ). Exemplo 7.1. Alguns exemplos de sequ encias de numeros reais: 1, 2, 3, . . . , n, . . . 1 2 3 n , , , ..., , ... 2 3 4 n+1 1, 1, 1, 1, 1, 1, . . . , (1)n+1 , . . . 3, 3, 3, 3, . . . , 3, . . . 1, 1/3, 1, 1/4, 1, 1/5, 1, . . . cos 1, cos n cos 2 cos 3 , ,..., ,... 2 3 n 2, 22 , 23 , . . . , 2n , . . .
93
Quando quisermos nos referir ao conjunto formado pelos termos da sequ encia, o { a n }. usaremos a notac a Exerc cio 7.1. No Exemplo 7.1, quais s ao o nono e o d ecimo termos da terceira e da quinta sequ encias?
Deni ca o 7.2. Dizemos que uma sequ encia ( an ) e limitada superiormente, se existir K R, tal que an K, para todo n. De maneira an aloga, dizemos que uma sequ encia ( an ) e limitada inferiormente, se existir k R, tal que an k, para todo n. Exemplo 7.2. A sequ encia ( an ), denida por an = n e limitada inferiormente, pois an 1, para todo n. Por outro lado, n ao existe um numero real K, tal que an K para todo n, portanto ( an ) n ao e limitada superiormente. Exerc cio 7.2. Quais das sequ encias do Exemplo 7.1 s ao limitadas superiormente e quais s ao limitadas inferiormente? Por qu e?
7.2
A deni ca o de limite
n 1 n +1 ,
an = Considere a sequ encia ( an ), cujo termo geral e termos desta sequ encia s ao 1 2 3 4 5 6 0, , , , , , , . . . 3 4 5 6 7 8
ent ao os primeiros
ou ainda, que
intuitivamente os termos desta sequ encia est ao cando cada vez mais proximos de 1. Mas o que signica isto? Tomemos um intervalo centrado em 1, digamos poss de raio 103 . Ser a que e vel encontrarmos um inteiro positivo no a partir do equivalente a qual todos os an s estar ao no intervalo (1 103 , 1 + 103 )? Isto e dizer que 1 103 < an < 1 + 103 ,
2 3 3 Note que | an 1| = n+ 1 , portanto | an 1| < 10 , se tivermos n > 2 10 1. Se ao inv es de 103 tiv essemos pegado 1015 , ent ao | an 1| < 1015 , para n > 2 1015 1. Em geral, dado um numero positivo , n ao importa o qu ao pequeno ele seja, se no for um inteiro positivo tal que no > 2 1, ent ao para todo n no , temos | a n 1| < .
| an 1| < 103 .
94
Deni ca o 7.3. Dizemos que uma sequ encia ( an ) converge para um numero real l, se para todo numero real positivo (poder amos ter usado qualquer outra letra para denotar este numero ) existir um numero natural no , tal que para todo n no (ou seja, todos os an s com n no est ao dentro do intervalo (l , l + )). Neste caso, escrevemos l = lim an . Se a sequ encia ( an ) n ao convergir, dizemos que ela diverge.
| an l | < ,
(7.1)
an (n no )
| l
| l+
Figura 7.1: Dizer que limn an = l , signica que para todo > 0, existe um inteiro positivo no tal que todos os an s ao no intervalo (l , l + ). com n no est
Observa ca o 7.1. Suponha que lim an = l. Tome um numero positivo . Se na deni ca o de limite zermos = k , onde k e um numero positivo, concluiremos que existe um inteiro positivo no , tal que se n no , teremos | an l | < = k . Resumindo, se limn an = l, ent ao dados e k positivos, existe um inteiro positivo no , tal que se n no , teremos | an l | < k . encia constante, ou seja, an = c, para todo n. Mostre que Exemplo 7.3. Seja ( an ) a sequ
n n
lim an = c.
De fato, dado > 0, note que | an c| = |c c| = 0 < , para todo n. Assim, na o de limite, podemos tomar como no qualquer numero denic a natural xo. Exemplo 7.4. Mostre De fato, dado
1 = 0. n n > 0, tome no N tal que no > 1/ , ent ao se n no , teremos lim 1 1 1 0 = < , n n no lim 1
n n
= 0.
95
1 no .
Exerc cio 7.3. Mostre a seguinte arma ca o: existe no N, tal que n+3 1 < 1010 , n para todo n no .
Exerc cio 7.4. Use a deni ca o de converg encia de uma sequ encia (em termos de no ) para mostrar que
( a) (b)
1 = 0, n n p lim
96
lim ( an c) = l c.
n
> 0, como
| bn ( l c ) | = | ( a n c ) ( l c ) | = | a n l | < ,
o que mostra que a sequ encia (bn ) converge para l c. Exemplo 7.7. se, e somente se, lim an = l
n n
lim ( an l ) = 0.
| an l | < , portanto
n
o que mostra que lim ( an l ) = 0. temos |( an l ) 0| < , portanto o que mostra que lim an = l .
n n
| a n l | = | ( a n l ) 0| < ,
lim an = l lim | an l | = 0,
n
por qu e? Em particular,
lim an = 0 lim | an | = 0.
n
Exerc cio 7.7. Mostre que se a sequ encia ( an ) convergir para l, ent ao a sequ encia ( an ) converge para l. Sugest ao: |( an ) (l )| = | an l |.
97
(i ) Se l > 0, ent ao existe um inteiro positivo no , tal que an > 0, para todo n no . (ii ) Se l < 0, ent ao existe um inteiro positivo no , tal que an < 0, para todo, n no .
Sugest ao: Na deni ca o de limite, tome
= |l |/2.
Exerc cio 7.9. Mostre que se ( an ) convergir, ent ao a sequ encia (| an |) tamb em converge e A rec proca deste resultado e falsa, por qu e?
n n
lim | an | = lim an .
n
ao temos nada a fazer, veja a Obsserva ca o Sugest ao: Seja l = lim an . Se l = 0, n 7.2. Se l = 0, ent ao do Exerc cio 7.8, concluimos que an e l t em sinais iguais, para n no , portanto || an | |l || = | an l |, para n no . ao Exemplo 7.8. Seja ( an ) convergente e suponha que < an < , para n N, ent lim an .
n
De fato, suponha que an > , para n N e seja l = lim an . Armamos que l . a a um absurdo. De fato, se Assuma que l < , mostraremos que isto nos levar l < , fazendo l = 2
n
o de limite, encontramos no tal que na denic a a n ( l , l + ), para todo n no . Em particular, para todo n no devemos ter an < l + = l + um absurdo, pois por hipotese, an > , para todo n N . 2 < , o que e Deixamos para o aluno mostrar que l . l o de limite tome = 2 , mostre que a Sugest ao: suponha que l > e na denic isto nos leva a um absurdo.
98
7.3
Unicidade do limite
unico; Mostraremos que o limite de uma sequ encia convergente ( an ) e caso contr ario, se tiv essemos
n
lim an = l1 e lim an = l2 ,
n
| an l1 | < , se n n1 | an l2 | < , se n n2 .
o maior dos dois valores n1 e Em particular, se no = max{n1 , n2 } (ou seja, no e n2 ), ent ao para n no , ter amos n n1 e n n2 , portanto
| a n l1 | <
e | a n l2 | < .
Da primeira desigualdade todos os an s com n no estariam no intervalo (l1 , l1 + ) e da segunda desigualdade todos os an s com n no estariam no intervalo (l2 , l2 + ), o que seria um absurdo, pois estes intervalos s ao disjuntos. o surgiu do fato de assumirmos l1 = l2 , portanto, devemos ter Esta contradic a l1 = l2 .
7.4
Deni ca o 7.4. Dizemos que uma sequ encia ( an ) e limitada, se existir um numero real positivo K, tal que | an | K, para todo n. Lema 7.1. Se ( an ) for convergente, ent ao ( an ) e limitada.
n que | an
o de limite, tome Prova. Suponha que lim an = l e na denic a um natural no , tal triangular que
= 1, ent ao existe
| a n | = | ( a n l ) + l | | a n l | + | l | 1 + | l |,
para n no . Seja K = max{| a1 |, . . . , | ano 1 |, 1 + |l |},
o maior dos valores | a1 |, . . . , | ano 1 |, 1 + |l |), ent (ou seja, K e ao | an | K, para todo n. que se ( an ) for ilimitada, ent Uma consequ encia deste resultado e ao ela n ao pode convergir.
99
Exerc cio 7.10. Por que podemos dizer que a sequ encia 1, 2, 3, . . . , n, . . . diverge?
Exerc cio 7.11. Ser limitada e uma condi ca o necess aria para que uma sequ encia convirja, por em n ao e suciente, por qu e?
dado por an = (1)n ) (Sugest ao: Considere a sequ encia cujo n- esimo termo e
7.5
Limites innitos
n
lim an = +,
se para todo numero numero real M > 0 existir um no , tal que se n no , ent ao an > M. De maneira an aloga, dizemos que
n
lim an = ,
se para todo numero real M < 0 existir um no , tal que se n no , implica an < M. Nos casos em que os limites s ao innitos, dizemos que a sequ encia diverge. Exerc cio 7.12. D e um exemplo de uma sequ encia ( an ), tal que limn an = +. Exemplo 7.9. limn 2n = . Prova. Armamos que para todo inteiro positivo n. verdadeira para n = 1, pois neste caso temos Claramente, a desigualdade acima e 1 2 = 2 > 1. Assuma que ela seja verdadeira para n = no , mostraremos que ela vale para n = no + 1. De fato, se 2n o > n o , ent ao ao multiplicarmos esta desigualdade por 2, teremos 2no +1 > 2no = no + no > no + 1. 2n > n ,
100
o, concluimos 2n > n, n N. Logo, dado um numero Portanto, por induc a real positivo M, tome no inteiro positivo, tal que no > M. Ent ao se n no , teremos o que mostra que limn 2n = . 2n > n n o > M ,
Exemplo 7.10. (A desigualdade de Bernoulli). Seja r > 1 um numero real xo. Mostre que
(1 + r )n 1 + nr,
para todo n.
(7.2)
o em n. Note que se n = 1, temos (1 + r )1 = De fato, mostraremos (7.2) por induc a verdadeira, pois temos igualdade. Suponha que (7.2) seja v 1 + r e (7.2) e alida v para n = no , mostraremos que ela tamb em e alida para n = no + 1. De fato, se
(1 + r ) n o 1 + n o r ,
ent ao multiplicando-se esta desigualdade por 1 + r e lembrando que 1 + r > 0, temos
101
Exemplo 7.12. Em geral, podemos mostrar que se c e um numero real com |c| < 1, ent ao, temos lim cn = 0.
n
0. De fato, note que se c = 0, temos a sequ encia constante an = 0, cujo limite e 1 Se 0 < |c| < 1, podemos escrever |c| = , onde r > 0. Da desigualde de 1+r Bernoulli, temos (1 + r )n 1 + nr, o que implica que 1 1 , n (1 + r ) 1 + nr
portanto
|c|n =
1 1 . n (1 + r ) 1 + nr 1 , o que implica r
Logo, dado > 0, tome no um inteiro positivo, tal que no > 1 < . Ent ao, se n no , temos que no r
|c|n
1 1 1 < < . 1 + nr 1 + no r no r
equivalente a dizer que lim cn = 0, veja Isto mostra que lim |c|n = 0, o que e n n Exerc cio 7.9.
7.6
O Teorema do Sanduiche
bn a n c n ,
Teorema 7.1. (Teorema do Sanduiche) Sejam ( an ), (bn ) e (cn ) sequ encias, tais que
lim bn = l = lim cn .
n
lim an = l .
Prova. Dado arbitrariamente | an l | < , para todo n no . Tome > 0 qualquer. Como
lim bn = l = lim cn ,
n
102
existem no , no N, tais que n no implica |bn l | < e n no implica |cn l | < . Seja no = max{no , no }, ent ao n no implica |bn l | < e |cn l | < , ou seja, bn e cn est ao no intervalo (l , l + ) para n no , em particular, para n no temos l bn a n c n l + , equivalente a | an l | < . o que e No Teorema do Sanduiche podemos substituir a hipotese de bn an cn , para um inteiro positivo, por todo n, por bn an cn , para todo n N , onde N e qu e? Exemplo 7.13. Mostre que cos n = 0. n n lim
| cos n| cos n 1 = , n n n
n 1 para todo n. Se zermos an = cos ao temos bn an n , bn = 0 e cn = n , ent cn e lim bn = 0 = lim cn ; portanto do Teorema do Sanduiche concluimos que
cos n n
lim
n+1 . +n+1 1+ n+
1 n 1 n
+1
1 . n
n+1 1 . n n2 + n + 1
+1 1 Sejam an = n2n , b = 0 e cn = n , ent ao bn an cn , como sequ encias (bn ) + n +1 n e (cn ) convergem para zero, ent ao pelo Teorema do Sanduiche, concluimos que a sequ encia ( an ) tamb em converge para zero.
103
n+1
Portanto
1 Sejam an = n + 1 n, bn = 0 e cn = , ent ao temos as seguintes desigualn encias (bn ) e (cn ) convergem para zero, ent ao dades: bn an cn , como as sequ pelo Teorema do Sanduiche, concluimos que a sequ encia ( an ) tamb em converge para zero.
Exemplo 7.16. Seja ( an ) uma sequ encia, tal que xn > 0 e
n
n+1
1 n< , n
o 7.1 existe > 0, como lim an = L, em virtude da Observac a n inteiro positivo no , tal que se n no , temos | an L| < L . Portanto, se n no , temos
an =
L.
an L a L < n | an L| = < . an + L L
Exemplo 7.17. Seja (bn ) uma sequ encia limitada (convergente ou n ao) e lim an = 0. n Ent ao lim ( an bn ) = 0.
n
104
limitada, existe K > 0, tal que |bn | K, para De fato, tome > 0, como (bn ) e o 7.2, concluimos que todo n. Como lim an = 0, ent ao em virtude da Observac a
n
o 7.1 existe um inteiro positivo no , tal que lim | an | = 0; portanto, pela Observac a K , ou seja, K K< ,
n no implica | an | <
| an bn 0| = | an bn | = | an ||bn | K | an |
o. com isso concluimos a demonstrac a
7.7
Propriedades de Limite
Teorema 7.2. Sejam ( an ) e (bn ) duas sequ encias convergentes e c um numero real qualquer, ent ao as sequ encias (can ), ( an + bn ), ( an bn ) s ao convergentes, al em disso, temos
(iv) lim
lim an an = n . n bn lim bn
n
an bn
tamb em convergir ae
o 7.1, existe no N, tal De fato, como lim an = l , ent ao em virtude da Observac a n que se n no , temos
Prova. (i) Seja l = lim an . Dado > 0, mostraremos que existe no N, tal que se n n no , temos |(can ) cl | = |c| | an l | < .
| an l | <
portanto o que prova (i). (ii) Sejam l1 = lim an e l2 = lim bn . Dado tal que se n
n no , temos n
|c| + 1
|c| + 1
< ,
| ( a n + bn ) ( l1 + l2 ) | = | ( a n l1 ) + ( bn l2 ) | < .
105
o 7.1 existem De fato, como lim an = l1 e lim bn = l2 , em virtude da Observac a n n inteiros positivos n1 , n2 , tais que se n n1 teremos
| a n l1 | <
e se n n2 temos
(7.3)
| bn l2 | < . 2
Seja no = max{n1 , n2 },
(7.4)
ent ao se n no , temos n n1 e n n2 , portanto valem as desigualdades (7.3) e (7.4). Ent ao para n no , segue da desigualdade triangular e das desigualdades (7.3) e (7.4) que
| ( a n + bn ) ( l1 + l2 ) | = | ( a n l1 ) + ( bn l2 ) | | a n l1 | + | bn l2 | <
2
= ,
o que mostra (ii). (iii) Sejam l1 = lim an e l2 = lim bn . Dado tal que se n
n no , temos n
| a n bn l1 l2 | = | ( a n l1 ) bn + l1 ( bn l2 ) | < .
convergente, ela e limitada, ou seja, existe uma constante De fato, como (bn ) e encias positiva K, tal que |bn | < K, para todo n. Tome > 0. Como as sequ ( an ) e (bn ) convergem para l1 e l2 , respectivamente, ent ao pelo Exemplo 7.7, as o 7.1 existem inteiros sequ encias ( an l1 ) e (bn l2 ) para zero e pela Observac a positivos n1 e n2 , tais que se n n1 , teremos
| a n l1 | <
e se n n2 , temos
2K
(7.5)
| bn l2 | <
Seja
2 ( l1 + 1 )
(7.6)
no = max{n1 , n2 },
106
ent ao se n no valem as desigualdades (7.5) e (7.6). Portanto, para n no , segue da desigualdade triangular e das desigualdades (7.5) e (7.5) que
| a n bn l1 l2 | = | ( a n l1 ) bn + l1 ( bn l2 ) | | ( a n l1 ) | | bn | + | l1 | | ( bn l2 ) | <
2K K + | l1 | 2 ( l1 + 1 )
< + 2 2 = ,
o que prova (iii). (iv) Sejam lim an = l1 e lim bn = l2 = 0. Dado no N, tal que se n no , temos
n n
( a n l1 ) l2 + l1 ( l2 bn ) a n l1 = < . bn l2 l2 bn
De fato, como lim bn = l2 = 0, existe um inteiro positivo n1 , tal que se n n1 , n temos |l | | bn | > 2 , 2 por qu e? Portanto 1 2 < | bn | | l2 |
n n
2 1 < 2. | l2 bn | l2
(7.7)
| a n l1 | <
e se n n3 , temos
| l2 | 4
(7.8)
| bn l2 |
Seja
| l2 | 2 . 4 ( | l1 | + 1 )
(7.9)
107
( a n l1 ) l2 + l1 ( l2 bn ) l2 bn | ( a n l1 ) | | l2 | + | l1 | | ( l2 bn ) | | l2 bn | | l2 | 2 2 1 2 < | l | | l2 | + | l2 | 4 | l2 | 2 1 4 ( | l1 | + 1 ) = <
2
= ,
o que mostra (iv). Observa ca o 7.3. Note que das propriedades (i ) e (ii ), se ( an ) e (bn ) forem convergentes e e forem numeros reais quaisquer, ent ao,
n
k encias converPor indu ca o, temos a seguinte generaliza ca o: sejam ( a1 n ), . . ., ( a n ) sequ gentes e c1 , . . . , ck constantes. Ent ao a sequ encia
( c1 a1 n + . . . + c k a k n )
converge e
n
(7.10)
Exemplo 7.18.
para obter o lado esquerdo da igualdade acima, dividimos o numerador e o denominador do lado esquero por n3 . De (7.10), temos 4 5 + 2 n n 1 1 + 5 lim 2 n n n n n = 3 1 4 0 + 5 0 = 3.
lim
= 3 lim 1 4 lim
108
lim
100 3 2 n n
= 2 1 100 0 3 0 = 2 = 0.
Portanto, da Propriedade da propriedade (iv) do limite, temos 3n3 + n2 + 1 lim = n 2n3 100n 3 lim 3
4 5 n + n2 100 3 n n2
n 2 n n
lim
lim
5 4 + 2 n n 3 100 2 2 n n 3
3 = . 2
Exemplo 7.19. 4n3 + 2n + 1 = + . n 5n2 + 3n + 1 lim De fato, note que 4n3 + 2n + 1 =n 5n2 + 3n + 1 Como lim 4+
2 n2 3 n2
4+
5 n 1 n3 1 n3
2 n2 3 n2
+ +
1 n3 1 n3
+ +
n 5 n
= 4,
o de limite zermos = 3, concluiremos que existe no , tal por qu e? Se na denic a que se n no , ent ao 2 1 4+ n 2 + n3 4 < 3, 5 3 1 n + n2 + n3 portanto 4+
5 n 2 n2 3 n2
+ +
1 n3 1 n3
> 1.
109
a parte inteira de De fato, dado M > 0, seja no = max{no , [ M] + 1}, onde [ M] e ao, se n > no , teremos M, portanto, [ M] + 1 > M. Ent 4n3 + 2n + 1 > n > [ M ] + 1 > M. 5n2 + 3n + 1
(i ) Mostre que
1 + r + r2 + . . . + r n = 1 r n +1 . 1r 1 . 1r (7.11)
lim (1 + r + r2 + . . . + r n ) =
(7.12)
Sugest ao: Mostre por indu ca o em n que (1 r )(1 + r + r2 + . . . + r n ) = 1 r n+1 . ao Note que do item (i) do exerc cio acima, se |r | < 1, ent r + r2 + . . . + r n = logo
n
1 r n +1 r r n +1 1 = 1r 1r r . 1r
(7.13)
lim (r + r2 + . . . + r n ) =
(7.14)
j =1
1 10k
1 10k
10k 1
(7.15)
em particular, lim
j =1
1 10k
10k
1 . 1
(7.16)
110
Exemplo 7.20. A sequ encia ( an ), cujo termo geral e an = converge para 1. De fato, note que 1 an = = k ( k + 1) k =1 portanto
n n n
k =1
1 1 k k+1 1 1 n+1
= 1 = 1.
1 , n+1
lim an = lim
cn = an bn , ent ao cn 0, portanto lim cn 0, mas da propriedades do limite, n temos lim an lim bn = lim ( an bn ) = lim cn 0.
n n n n
Exerc cio 7.15. Mostre que se ( an ) e (bn ) forem sequ encias convergentes e an bn , para todo n N, ent ao lim an lim bn .
n n
Exerc cio 7.16. Sejam ( an ) e (bn ) sequ encias tais que an bn , para n N e
n
lim an = +. lim bn = +.
Mostre que
Resolu ca o. Dado L > 0, como lim an = +, ent ao existe um inteiro positivo n1 , tal que
n
a n > L, bn a n > L ,
111
Exemplo 7.21. Vimos no Exemplo 7.19 que 4n3 + 2n + 1 > n, 5n2 + 3n + 1 para n no . Como lim n = +, do Exerc cio 7.16, concluimos que
n
Exerc cio 7.17. Dada uma sequ encia ( an ), seja (bn ) a sequ encia cujo o termo geral bn e denido como bn = ano +n1 , para algum inteiro positivo no . Ou seja, bn e a sequ encia ano , ano +1 , ano +2 , . . .. Ent ao ( an ) converge se, e somente se, (bn ) convergir. Al em disso, caso estas sequ encias convirjam, seus limites s ao iguais. Ou seja, no que diz respeito ao limite, o que importa e o comportamento da sequ encia para valores grandes de n. Exemplo 7.22. Seja x um numero real positivo. Mostre que lim n x = 1.
n
ao n x > 1, portanto podemos escrever n x = 1 + hn , onde Suponha x > 1, ent hn > 0. Ent ao, da desigualdade de Bernoulli, temos
Isto implica que x = (1 + hn )n 1 + nhn . 0 hn
lim
x = lim (1 + hn ) = 1.
n n
Se 0 < x < 1, ent ao 1/ x > 1 e vimos que lim propriedade (iv) do limite, temos
n
1/ x = 1, como
x= n
1 , da 1/ x
lim
x = lim n
n
lim 1 1 1 = n = = 1. n 1 1/ x lim 1/ x
n
112
(7.17)
verdadeira. Suponha que (7.17) ao (1 + r ) = 1 + r e (7.17) e Prova. Se n = 1, ent seja verdadeira para n = k, onde k 1, mostraremos que isto implicar a que o em n, concluiremos (7.17) tamb em valer a para n = k + 1; portanto, por induc a que (7.17) vale para todo n. De fato,
n = 1.
n ( n 1) h2 n ( n 1) h2 n n , > 2 2
2 . n1
n
lim
n = lim (1 + hn ) = 1.
n
113
a n +1 l an
+l
a n +1 l +l an 1l +l 2 l+1 . = 2 Fazendo L =
l +1 2 ,
| a n +1 | L | a n | .
o que Da desigualdade acima, segue por induc a
| a n o + p | L p | a n o | = L n o + p | a n o | 1 n o ,
para todo p 1. Logo, para todo n no + 1, temos 0 | a n | | a n o | 1 n o
n
Ln
como L < 1, lim Ln = 0, portanto, das desigualdades acima e do Teorema do Sanduiche, temos lim | an | = 0; portanto lim an = 0, o que mostra (i). Deixamos para o aluno o caso em que l > 1, ou seja, o item (ii).
n n
a Note que se an = n, ent ao lim n+1 = 1, mas a sequ encia ( an ) n ao converge. Por n an a 1 , lim n+1 = 1 e lim an = 0. Ou seja, se no Teste da Raz ao outro lado se an = n n an n tivermos l = 1, n ao podemos dizer nada sobre lim an .
n
114
Exemplo 7.24.
( n ! )2 = 0. n (2n ) !
lim
( n ! )2 , (2n ) !
De fato, seja an =
ent ao
7.8
Subsequ encias
M = { n1 , n2 , n3 , . . . },
com n1 < n2 < n3 < . . . , um subconjunto qualquer de N. Ent ao a sequ encia ( ani ) e chamada de uma subsequ encia da sequ encia ( an ). Exemplo 7.25. Dada a sequ encia ((1)n+1 ), as sequ encias s ao subsequ encias de ((1)n+1 ), sendo que a primeira e obtida considerando-se somente n + 1 os termos de ((1) ) com ndices pares, e a segunda e obtida considerando-se somente os termos de ((1)n+1 ) com ndices mpares. Deni ca o 7.7. Dizemos que o numero real r e um ponto de acumula ca o da sequ encia ( an ), se existir alguma subsequ encia de ( an ) convergindo para r. 1, 1, 1, . . . e 1, 1, 1, . . . ,
Exemplo 7.26. Dada a sequ encia ((1)n+1 ), as suas subsequ encias 1, 1, 1, . . . e 1, 1, 1, . . . convergem para 1 e 1, respectivamente. Ou seja, 1 e 1 s ao pontos de acumula ca o n + 1 ((1) ). E poss vel que a sequ encia 1, 1, 1, 1, 1, 1, . . . seja convergente? Exerc cio 7.18. Encontre os pontos de acumula ca o das sequ encias abaixo:
(i ) 2, 2, . . ., (ii ) 1, 1/2, 1, 1/4, 1, 1/8, 1, 1/16, . . ., (iii ) 0, 2, 1, 0, 3, 1, 0, 4, 1, 0, 5, 1, . . . . (iv) Quais das sequ encias acima s ao convergentes? Por qu e?
115
Exerc cio 7.19. Mostre que se ( an ) convergir, ent ao toda subsequ encia de ( an ) tamb em e convergente e o seu limite e o mesmo que o limite de ( an ). Em particular, se uma sequ encia possuir duas subsequ encias convergindo para valores diferentes, ela n ao pode convergir.
Exerc cio 7.21. D e um exemplo de uma sequ encia que n ao possui subsequ encia convergente.
n + cos(n ) converge? 2
Exerc cio 7.23. Seja ( an ) denida por an = 1, se n for mpar 4, se n for par
Exerc cio 7.24. Seja ( an ) denida por an = 5, se n for divis vel por 5 1 caso contr ario n,
116
Exerc cio 7.25. D e um exemplo de uma sequ encia ( an ) de numeros irracionais convergindo para um numero racional.
Exerc cio 7.26. Para cada sequ encia, determine se ela converge e, em caso armativo, calcule o seu limite.
n ( a ) an = n+ 1 ( b ) c n = 2 n (c) xn = 52 + (1)n (d) yn = n! n (e) sen n n2 +3 (f) 4 3n2 2 ( g) sn = (2)1/n n3 +8n (h) 7 2n3 37
(i )
2n +1 3 2n + 1 .
117
8.1
Deni ca o 8.1. Dizemos que uma sequ encia ( an ) e mon otona n ao-decrescente, se an an+1 para todo n N e que ( an ) e mon otona n ao-crescente, se an+1 an , para todo n N. Se an < an+1 para todo n N, dizemos que ( an ) e crescente e se an+1 < an para todo n N, dizemos que ( an ) e decrescente. decrescente, pois Exemplo 8.1. A sequ encia cujo o n- esimo termo e an = 1/n e a n +1 a n = para todo n. n ao-decrescente, ent ao Note que se a sequ encia ( an ) for monotona a 1 a2 a3 . . . a n a n +1 < . . . limitada inferiormente por a1 . Da portanto an a1 , para todo n, logo, ( an ) e monotona limitada superiormesma forma se ( an ) e n ao-crescente, ent ao ( an ) e mente por a1 . Exemplo 8.2. Mostre que se uma sequ encia for mon otona n ao-decrescente e possuir uma subsequ encia limitada, ent ao ela e limitada. n ao-decrescente e que seja ( ani ) uma De fato, suponha que ( an ) seja monotona subsequ encia limitada de ( an ). Ent ao existe um K, tal que ani K, para todo i. n Dado n N, tome ni tal que n < ni , como ( an ) e ao-decrescente, segue-se que an ani , como ani K, segue-se que an K. Portanto a1 an K, para todo n. 1 1 1 = < 0, n+1 n n ( n + 1)
119
Exerc cio 8.1. Mostre que se uma sequ encia for mon otona n ao-crescente e possuir uma subsequ encia limitada, ent ao ela e limitada.
Teorema 8.1. Toda sequ encia mon otona limitada e convergente. Prova. Vamos supor que ( an ) seja monotona n ao-crescente, ou seja, an+1 monotona n aoan , e limitada. Deixaremos para o aluno o caso em que ( an ) e decrescente (veja Exerc cio 8.2). Seja A = { a1 , a2 , . . . , a n , . . . }, limitada, ent limitado, portanto, limitado inferiormente e, como ( an ) e ao A e ent ao existe um numero real l , tal que l = inf A. Mostraremos que l = lim an .
n
o de n Como ( an ) e a ao-crescente, para n > no devemos ter an ano . Da denic nmo de um conjunto, temos l an , para todo n. Portanto l an ano < l + , logo l < l a n a no < l + . Mostramos que para todo ou seja, l = lim an .
n
o de uma cota inferior para A, logo Dado > 0, pela denic a nmo, l + n ao e existe no N, tal que l a no < l + .
lim an = sup A.
Exerc cio 8.2. Termine a demonstra ca o do Teorema 8.1, assumindo que ( an ) seja mon otona n ao-decrescente. Observa ca o 8.1. O Teorema 8.1 continua valendo se a sequ encia ( an ) for mon otona a partir de um certo no , ou seja, se tivermos an+1 an ou an+1 an , para n no ; por qu e?
120
an + 1 , 3
ao an > 1 encia ( an ) e decrescente e o seu limite e 1 para n 1. Ent 2 , para todo n, a sequ 2. o que an > 1 De fato, mostraremos por induc a 2 . Esta desigualdade vale para n = 1, pois 1 a1 = 1 > . 2
1 1 Assuma que an > 1 2 , mostraremos que an+1 > 2 . De fato, se an > 2 , temos
a n +1
an + 1 = > 3
1 2
+1 1 = , 3 2
logo an+1 > 1 2. decrescente. Como an > 1 ao Mostraremos que ( an ) e 2 , ent a n +1 a n = an + 1 2 1 2 1 1 an = an + < + = 0, 3 3 3 3 2 3
decrescente. Como ( an ) e limitada o que mostra que an+1 < an , portanto ( an ) e convergente. Seja l = inferiormente e decrescente, ent ao pelo Teorema 8.1 ela e lim an , ent ao lim an+1 = l . Portanto
n n
an + 1 3
lim an + 1 3
e concluimos que l =
2 e a n +1 =
o que an < 2, para todo n. Esta desigualdade De fato, mostraremos por induc a que an < 2, mostraremos vale para n = 1, pois a1 = 2 < 2. Suponha que ao an < 2, portanto, 2 + an < 2 + 2 < 4, an+1 < 2. De fato, se an < 2, ent e portanto an+1 = 2 + an < 4 = 2. crescente. De ao A seguir mostraremos que ( an ) e fato, como 0 < an+1 < 2, ent an+1 < 2 + an+1 , por qu e? Portanto an+1 < 2 + an+1 = an+2 , o que prova que crescente. Como ( an ) e limitada superiormente e crescente, pelo Teorema ( an ) e 8.1, ela converge.
121
Ent ao as sequ encias ( an ) e (bn ) convergem. o que De fato, mostraremos por induc a a1 < an < an+1 < bn+1 < bn < b1 , (8.1)
ao limitadas e monotonas, ( an ) e o que implica que as sequ encias ( an ) e (bn ) s decrescente, portanto pelo Teorema 8.1, elas convergem. Note crescente e (bn ) e que se 0 < a < b, multiplicando esta desigualdade por a e extraindo a raiz qua. Al em disso, como a < b, drada da desigualdade obtida, concluimos a < ab a+b b ent ao 2 < b. Por outro lado, vimos na Aula 4 que ab < a+ 2 , logo a<
ab <
(8.2)
portanto (8.1) vale para n = 1. Suponha que (8.1) valha para n, ou seja, a1 < an < bn < b1 , ent ao de (8.2), concluimos que a1 < a n < portanto a n bn < a n + bn < bn < b1 , 2
o. o que mostra que (8.1) vale para n + 1, com isso concluimos a nossa demonstrac a
2 5
122
crescente, por qu limitada De fato, note que ( an ) e e? Mostraremos que ( an ) e superiormente e sendo ela limitada superiormente e crescente, pelo Teorema 8.1, concluiremos que ela converge. Claramente an 2, para todo n, por qu e? Restanos encontrar uma cota superior para an . Deixaremos a cargo do aluno mostrar o que por induc a ( n + 1 ) ! 2n , para todo n 1. Logo 1 1 k, ( k + 1) ! 2 1 1 1 + 2 + . . . + n 1 2 2 2
= 1+
1 2 1 1 2
(usamos (7.11))
1 2
n
= 1+2 1 < 3
1 2
n 1
< 3.
limitada superiormente por 3. Como 2 < an < 3, Portanto, a sequ encia ( an ) e concluimos que o seu limite, o qual denotaremos por e, est a entre 2 e 3. No Exem irracional. plo 8.7, mostraremos que e e
1 q+2 = l q+1 ( q + 2)
1 q+2
nq
Sugest ao: Veja (7.11). Exemplo 8.7. O numero ee irracional. De fato, suponha que e fosse um numero racional, ou seja, e = p / q, onde p, q N, s ao primos entre si. Mostraremos que isto nos levar a a uma o, ou seja, mostraremos que contradic a 1 q+2 , q!( p/q aq ) ( q + 1) ( q + 1)2 (8.3)
123
como
q +2 ( q +1)2
f um inteiro, por qu Mas e acil vermos que q!( p/q aq ) e e? Mas n ao existe inteiro entre 0 e 1. Este absurdo veio da nossa hipotese de e ser um numero racional, um numero logo e n ao pode ser um numero racional, portanto e e irracional. ao A seguir mostraremos (8.3). Tome n > q, ent an aq = Por outro lado, an aq =
j = q +1
1 1 . > j! ( q + 1) !
j = q +1
1 j!
1 ( q + 1) !
n q 1 j =0
1 ( q + 2) l 1 1 q+2
nq
<
Na quarta igualdade acima usamos o Exerc cio 8.4. Portanto 1 q+2 , < q!( an aq ) < ( q + 1) ( q + 1)2 encia (q!( an aq )) satisfaz as desigualdades acima para todo n > q. Como a sequ e converge para q!( p/q aq ) ent ao, pelo Exerc cio 7.8, temos q+2 1 , q!( p/q aq ) ( q + 1) ( q + 1)2 o. com isso concluimos a demonstrac a
124
Exemplo 8.8. A sequ encia cujo termo geral e an = converge e o seu limite est a entre De fato, note que na soma an = 1 1 1 + +...+ n+1 n+2 n+n 1 , portanto n+1 1 1 1 + +...+ n+1 n+2 2n
1 2
e 1.
ao pelo Teorema Sendo ( an ) limitada superiormente e an + 1 > an , para n 4, ent 8.1 ela converge, seja l o seu limite. Mostraremos que 1 l 1. 2 ao an a4 , para n 4. Portanto Como an+1 > an , para n 4, ent 1 an min{ a1 , a2 , a3 , a4 } = , 2 para todo n. Portanto
1 2
1 2
l 1.
8.2
O Teorema de Bolzano-Weierstrass
Teorema 8.2. ( Teorema de Bolzano-Weierstrass) Toda sequ encia limitada ( an ) tem uma subsequ encia convergente. Prova. Seja B o subconjunto de R, formado por todos aqueles numeros x para os quais existem no m aximo um numero nito de ndices n, tais que an > x. Como limitada, existe K > 0, tal que | an | K, para todo n, ou seja, K an K, an e para todo n. Como an K, para todo n, segue-se que (K, ) B, portanto B = . Por outro lado, se x < K, ent ao an > x, para todo n, portanto x / B. uma cota inferior Disso concluimos que x K, para todo x B, ou seja, K e para B. Sendo B um subconjunto n ao vazio e limitado inferiormente de R, ele tem nmo, seja m = inf B.
125
Para todo inteiro positivo j, existe um numero innito de ndices n, tais que an
1 2j ,
1 1 ,m+ j j
,
1 2j
estaria em B, isto
o. Tome n1 , tal que implicaria que inf B m o que seria uma contradic a an1 (m 1, m + 1), depois tome n2 > n1 , tal que an2 (m 1/2, m + 1/2). Procedendo desta forma, encontraremos uma sequ encia de ndices n1 < n2 < . . . < n j < . . ., tais que 1 1 , an j m , m + j j ou seja, 1 | an j m| < , j
8.3
Deni ca o 8.2. Dizemos que uma sequ encia de numeros reais ( an ) e de Cauchy, se para todo > 0, existir no N, tal que
| an am | < ,
para todos m, n no . convergente se, e somente se, ela for de Cauchy. Teorema 8.3. Uma sequ encia ( an ) e ao, dado Prova. Suponha que lim an = r, ent
n
| an r | < /2,
para todo n no . Sejam m, n naturais, tais que m, n no , ent ao pela desigualdade triangular, temos
| a n a m | = | ( a n r ) + (r a m ) | | a n r | + | a m r | < /2 + /2 = ,
de Cauchy. portanto ( an ) e limiReciprocamente, suponha que ( an ) seja de Cauchy. Mostraremos que ( an ) e tada e, pelo Teorema de Bolzano-Weierstrass, ela possui uma subsequ encia ( an j ) convergente; nalmente, mostraremos que ( an ) converge para o mesmo limite
126
que ( an j ). o de sequ ao existe no , tal que para Na denic a encia de Cauchy, tome = 1, ent todo m, n no , temos | an am | < 1.
| an ano | < 1,
para todo n no , portanto, desta desigualdade e da desigualdade triangular, temos
| a n | = | ( a n a n o ) + a n o | | a n a no | + | a no | < 1 + | a n o |,
K = max{| a1 |, . . . , | ano 1 |, 1 + | ano |},
limitada. Seja ( an j ) uma subsequ para todo n, o que mostra que ( an ) e encia convergente de ( an ) e l o seu limite. Dado > 0, existe no tal que
| an | K ,
| an j l | < , 2
de Cauchy, para dado existe no , tal que para todo n j > no . Como ( an ) e
(8.4)
| an am | < , 2
para todo m, n > no . Seja no = max{no , no }
(8.5)
e tome n jo > no . Da desigualdade triangular, de (8.4) e de (8.5) (na qual zemos m = n jo ), segue que
| an l | = |( an an jo ) + ( an jo l )| <
2
|( an an jo )| + |( an jo l )| +
2
= ,
para todo n > no , o que mostra que ( an ) converge para l . Exemplo 8.9. Seja ( an ) uma sequ encia tal que
| a n +1 a n | 2 n ,
para todo n. Ent ao ( an ) e de Cauchy.
127
| an+k an | = =
( a j +1 a j )
| ( a j +1 a j ) |
2 j
2 ( n + l )
k 1 l =0
= 2 n
1 2
= 2 n +1 1 < 2 n +1 .
Portanto, se m n, temos
1 2
ao se n, m > no , teremos Logo, dado > 0, se tomarmos no tal que 2no +1 < , ent min { n , m } + 1 n + 1 o de Cauchy. | am an | 2 <2 < . Logo, ( an ) e
| a m a n | 2 n +1 .
128
8.4
Exerc cios
Exerc cio 8.5. Mostre por indu ca o que para n 1, temos a seguinte desigualdade n! 1 . n n n Usando o Teorema do Sanduiche, mostre que n! = 0. n nn lim Exerc cio 8.6. Verique cada um dos seguintes limites.
n n
n n
2n + ( 1 ) n . n 2n +1 + ( 1 ) n +1 (1)n n cos(nn ) (4) lim . n n+1 Exerc cio 8.8. O que e que podemos dizer sobre a sequ encia ( an ), se ela converge e cada an e um inteiro? encia de termos positivos convergindo para l. Mostre Exerc cio 8.9. Seja ( an ) uma sequ que a sequ encia n p1 p2 , . . . pn tamb em converge para l. a encia de termos positivos, tais que lim n+1 = l. Exerc cio 8.10. Seja ( an ) uma sequ n an Mostre ( n an ) tamb em converge para l.
129
Exerc cio 8.12. (Aproxima co es sucessivas da raiz quadrada de c) Seja c um numero real positivo. Mostre que an + acn a n +1 = 2 converge para c. Exerc cio 8.13. Dena a sequ encia ( an ) indutivamente, pondo a 1 = a 2 = 1 e a n +2 = a n +1 + a n , para todo n. Escreva xn = e supondo que encontre c. an a n +1
lim xn = c,
130
8.5
o decimal de um numero Na Aula 3, falamos sobre a representac a racional; nesta o falaremos sobre a representac o decimal de um numero sec a a real qualquer. Dado um numero real x, digamos x > 0, existe um numero inteiro n ao negativo no , tal que no x < no + 1, ou seja, podemos escrever x = no + xo , onde xo = x no , portanto xo [0, 1). Logo x = no + xo , onde xo [0, 1). Como xo [0, 1), se dividirmos os intervalo [0, 1] em 10 em subintervalos de 1 comprimentos iguais a 10 , ent ao xo tem que estar num destes subintervalos; ou seja, k ( k + 1) xo 1 , 1 , 10 10 para algum k1 = 0, 1, . . . , 9. Logo x1 = x k1 + x1 e portanto podemos escrever xo = 10 x = no +
1 onde x1 [0, 10 ). 1 ), se dividirmos este intervalo em 10 subintervalos de comComo x1 [0, 10 1 , ent ao x1 estar a num destes subintervalos, ou seja, x1 primentos iguais a 100 k1 10 1 est a no intervalo [0, 10 ), ou seja,
k1 + x1 , 10
k 2 ( k 2 +1) k2 1 , 100 ), para algum k2 = 0, 1, . . . , 9, portanto, x2 = x1 100 [0, 100 ); logo [ 100 k2 1 podemos escrever x1 = 100 + x2 , onde x2 [0, 100 ). Portanto, temos
x = no +
1 ). onde x2 [0, 100
k1 k + 22 + x2 , 10 10
xn =
k n +1 + x n +1 , 10n+1
(8.6)
x = no +
k1 k kn + 22 + . . . + n + xn , 10 10 10
131
1 1 onde xn [0, 10 ao n ) e k i = 0, 1, . . . , 9, para i = 1, 2, . . . , n. Como x n [0, 10n ), ent 1 0 xn < 10n , portanto, pelo Teorema do Sanduiche, lim xn = 0. Portanto a n sequ encia k k2 kn sn = no + 1 + 2 + . . . + n 10 10 10 converge para x. Por causa disso dizemos que
x = no +
ki . i i =1 10
chamada de uma Uma express ao da forma i ao numeros reais, e =1 ai , onde ai s s erie num erica.
k1 k kn + 22 + . . . + n = no , k1 k2 ... . . . k n , 10 10 10 ent ao a sequ encia no , k1 k2 ... . . . k n converge para x e escrevemos no + x = no , k1 k2 ... . . . k n . . . , chamada de representa que e ca o decimal de x. decimais s Se x e y forem dois numeros reais tais que as suas representac oes ao innitas e distintas, ent ao x = y. Para mostrar isso, consideraremos x e y particulares, mas os argumentos que usaremos se generalizar ao para qualquer par de numeros que tenham representac oes decimais innitas e distintas. Sejam x = s 3, 81476 . . . e y = 3, 81475 . . . Como as duas representac oes ao distintas tem pelo menos um algarismo onde elas diferem, no presente caso x e y diferem no quinto algarimo, o que vem depois deste algar tmo pode ser qualquer coisa (estamos o quinto algaexcluindo a possibilidade de uma sequ encia innita de zeros apos rismo em qualquer uma das representac oes). Note que x > 3, 81476, por outro lado, y 3, 814759 = 3, 81476. Logo x > 3, 81476 y.
Note que
Portanto x > y.
132
123
133
Composto em caracteres Aller, Arial, Calibri, PT Sans e Times New Roman. Editorado pelo Centro de Apoio Educao a Distncia da UFMG (CAED-UFMG). Capa em Supremo, 250g, 4 X 0 cores - Miolo couch fosco 90g, 2X2 cores. 2013