Guia de Estudo de Anlise Real

Marco Cabral Agosto de 2008

Introduo
O objetivo deste texto orientar o estudo da aluna(o) em anlise real. Curso de Anlise Real (2a edio) de Cassio Neri e Marco Cabral. Comeo colocando princpios gerais: (a) o professor no ensina, o aluno que aprende: fundamental o envolvimento ativo do aluno com a disciplina. (b) espero dos alunos dedicao matria toda semana: procure montar um grupo de estudo (com um ou dois colegas) com horrio determinado toda semana. (c) estudar anlise signica: entender os enunciados e denies, compreender demonstraes de teoremas apresentados no livro e saber fazer os exerccios. Matemtica no literatura, necessrio fazer (e/ou tentar fazer) os exerccios. Aprendemos a provar resultados, assim como aprendemos tantas coisas na vida, inicialmente, atravs de imitao. Depois aprendemos fazendo um Ele baseado no livro

mutatis mutandis

nas demonstraes, i.e., re-

petindo, com pequenas modicaes, provas j feitas para situaes semelhantes. Um livro clssico sobre demonstraes que recomendo a leitura A arte de resolver problemas de George Plya (na UFRJ o cdigo

511.3 P781,

tem na biblioteca central do CCRN 3 exemplares, na do CT 11

exemplares, no COPPEAD 1 exemplar e na do IM 1 exemplar).

Noes de Teoria dos Conjuntos (cap. 1)

Ideias importantes
Conjunto das partes

P(A),

funo injetiva, sobrejetiva e bijetiva. Veja com cuidado o que

funo caracterstica (ou indicadora) e restrio e extenso de funo.

Diculdades
(a) diferena entre a funo e a imagem direta da funo. (b) diferena entre a funo inversa e a imagem inversa da funo. (c) para provar que dois conjuntos (d) entender o que

so iguais: deve-se provar que

AB

B A.

(q, q + 1).
qQ

(e) os exerccios de funes entre conjuntos de funes.

Nmeros Naturais, Inteiros e Racionais (cap. 2)

Ideias importantes
Prova por induo (todos tem que aprender a fazer isto). Denio de enumervel e saber provar que conjuntos so enumerveis e no-enumerveis. O que cardinalidade? Entender a diculdade e a demonstrao do teorema de Cantor-Bernstein-Schrder. As proposies Proposio 37, p. 20 (#N Veja exerccio 10, p. 27.

= #(N N))

e Proposio 38, p. 20 (#N

< #P(N))

so muito importantes pois mostram que a cardinalidade de conjuntos innitos pode ser distinta.

Leia sobre a hiptese do contnuo na pgina 2.2. O Hotel de Hilbert mostra as diculdades com innito e a diferena radical entre Na Seo 2.4 sobre os Racionais importante somente a enumerabilidade de

N.

Q.

O resto apre-

senta a denio de corpo (no sentido de lgebra): conjunto munido de duas operaes comutativa, distributiva, etc.. Com relao a isto (omita em primeira leitura) veja exerccio 45, p. 32, que todo corpo possui um conjunto tipo contido no corpo.

Diculdades
que provar para bijeo, com outros).

(a) Cuidado com prova por induo: provar que algo verdade para todo

n N no o mesmo

n = !

Veja exerccio 2, p. 26.

(b) saber provar que os conjuntos so enumerveis (basta estabelecer injeo, no precisa ser

N).

Deve-se saber provar porque:

Z, Q, N N, Z Z, Q Q

so enumerveis (entre

Nmeros Reais (cap. 3)

Ideias importantes
A seo 3.1 discute as diculdades com os irracionais. A seo 3.2 (cortes de Dedekind) pode ser omitida: trata-se de construir os reais com ideias geomtricas simples. O difcil denir as operaes de soma e produto. Vamos simplesmente (neste momento) axiomatizar os reais. Mais adiante vamos construir os reais como classes de equivalncia de sequncias de Cauchy. A seo 3.3 apresenta a denio muito importante de ordenado completo (nico pelo exerccio 31, p. 52). Na denio de intervalos, observe os que sero chamados de abertos e fechados. Leia a comparao de intervalos com portas (:-)). Termina com o teorema dos intervalos encaixantes: todos devem saber fazer esta demonstrao. A prova da no-enumerabilidade de dada pela Proposi-

sup

inf

e assume que

um corpo

o 80, p. 48 um exerccio de abstrao: vale a pena tentar entender o argumento (no fcil).

Diculdades
(a) trabalhar com sup e inf em exerccios, que envolve entender bem a denio. (b) provar a irracionalidade de razes no inteiras.

Sequncias (cap. 4)

Ideias importantes
Seo 4.1 dene sequncias e subsequncias. Note que numa subsequncia os ndices escolhidos tem que crescer de forma estrita. Dene-se convergncia e prova-se a unicidade do limite (que voc deve saber demonstrar!). Estude a relao entre a convergncia da sequncia e de uma subsequncia: verique se sabe, de fato, o que uma subsequncia. Estude porque 1,0,1,0,1,0 divergente. Todos devem saber demonstrar que toda sequncia convergente limitada. A seo 4.2 relaciona monotonicidade e convergncia. montona limitada convergente. Aprenda a provar que toda sequncia Teorema MUITO importante o Bolzano-Weierstrass: todos Deve-se saber provar que uma

devem conhec-lo e saber demonstr-lo como no exerccio 26, p. 73. O conceito de sequncias de Cauchy MUITO importante. sequncia convergente se, e somente se, de Cauchy. As sees 4.3 e 4.4 so burocrticas. A seo 4.3 adapta denies para limites innitos e a seo 4.4 verica que o limite se comporta bem com relao a soma, produto e diviso. O argumento do limite do produto fazendo uma triangulao deve ser entendido e estudado por todos. Este tipo de argumento se repetir muitos vezes (somar e subtrair o mesmo termo e utilizar desigualdade triangular). A seo 4.5 dene limsup e liminf de trs modos distintos: veja inicialmente somente o 4.5.1. O 4.5.2 e 4.5.3 so de leitura opcional. Nem toda sequncia tem limite, mas toda sequncia tem

liminf e limsup. Eles delimitam o menor e maior valor possveis para limites de subsequncias. Se eles forem iguais, a sequncia convergente (para este valor comum).

Diculdades
(a) aprender a fazer as demonstraes que indiquei anteriormente; (b) utilizar a denio de limite corretamente.

Sries (cap. 4)

Ideias importantes
A teoria de sries baseada na teoria de sequncias. Aprenda a demonstrao dos trs critrios: comparao, razo e raiz. Eles esto em ordem de facilidade para serem aplicados. A PG a srie mais importante pois utilizada para comparar com outras e provar convergncia e divergncia. Note que o critrio da raiz mais forte que o critrio da razo. No entanto, por ser mais simples, continuamos apresentando o da razo. Observe que a tcnica para demonstrar divergncia da srie harmnica a mesma para demonstrar convergncia de

1/np

com

p > 1.

Note que no adianta teste da razo (nem raiz) para

decidir convergncia ou divergncia neste caso. Para estudar convergncia de sries cujos termos so razo de polinmios (o grau mximo dominar o numerador e o denominador) TEMOS que utilizar comparao, pois o critrio da razo (e o da raiz) vai falhar sempre, conforme exerccio 49, p. 78. Alm disso tenha em mente que

log n < nq < n < np < exp n < n! (p > 1 > q )

para

grande

(hierarquia dos innitos) para estudar sries por comparao. Todos os teoremas desta parte (sries) so fceis e passveis de serem cobrados em prova.

Diculdades
Se uma srie converge o termo geral vai para zero. O converso NO verdade: o termo geral pode ir para zero sem que a srie convirja (vide srie harmnica).

Classes de equivalncia (cap. 5)

Ideias importantes
Construo de Cauchy-Cantor de Conexo com representao decimal.

Diculdades
Topologia de R (cap. 6)

R como classes de equivalncia Q e R Q so densos em R.

de sequncias de Cauchy.

Enxergar cada classe de equivalncia como um novo elemento.

Ideias importantes
um captulo mais abstrato. Topologia uma generalizao da geometria onde o que importa a relao de proximidade e no a distncia. Tambm conhecida como geometria das superfcies de borracha. Para topologia um cubo e uma esfera so o mesmo objeto, assim como qualquer polgono fechado ou crculo ou elipse so o mesmo objeto. Na seo 6.2 e 6.3 so denidos os conceitos bsicos de topologia: conjunto aberto e fechado. Alm disso denimos conexos e discretos. Deve-se saber provar propriedades bsicas de abertos e fechados com relao a unio e interseo. Deve-se saber provar que fechados so complementares de abertos. Na seo 6.4 denido o que conjunto compacto, caracterizado pelo Teorema de Heine-Borel, cuja demonstrao fcil. Esta seo encerra com o Teorema, bastante difcil mas superelegante, que caracteriza compactos em termos de coberturas de abertos. Vamos nos concentrar em entender o enunciado e provar o caso particular, o Teorema de Borel-Lebesgue.

A seo 6.5 para introduzir o conceito de densidade. Temos que concluir que tanto

quanto

RQ

so densos em

R.

No nal do captulo fazemos um resumo, observando que com abertos podemos denir TODOS os conceitos de topologia.

Diculdades
A seo 6.4: Entender o que cobertura aberta e o signicado de existir subcobertura nita.

Limite e Continuidade (cap. 7)

Ideias importantes
As sees 7.1 e 7.2 tratam de limites de funes. Note bem que somente denimos limites para pontos de acumulao do domnio da funo, pois caso contrrio no far sentido ver o que ocorre com valores da funo para pontos prximos ao ponto onde queremos calcular o limite. clculo do limite o valor da funo no ponto no interessa. Seo 7.1. A proposio que relaciona limite de funo com limite de sequncia: deve ser vista com cuidado. As propriedades usuais do limite de funes so burocrticas, mas voc sabe provar o limite do produto por exemplo? O princpio de permanncia do sinal importante: se o limite num ponto positivo, numa vizinhana deste ponto a funo positiva (tirando o valor no ponto). Voc tem que saber denir qualquer um dos 15 limites de funes. A seo 7.2 dene funo contnua, um conceito FUNDAMENTAL em anlise. Compare com a denio de limite e observe a semelhana. Note que denimos continuidade em um ponto. Dizemos que a funo contnua em um conjunto se for contnua em cada ponto. importante o conceito de oscilao e sua relao com funo contnua. Alm disso deve-se saber que funes contnuas trazem abertos. Duas propriedades importantes de funo contnua so: levam conexos (intervalos) em conexos (seo 7.3) e compactos em compactos (seo 7.4). O primeiro consequncia do TVI (teorema do valor intermedirio). Uma consequncia do segundo o Teorema de Weierstrass. Assim devem ser lembrados. Saber usar estes teoremas no exerccios e na teoria o desao. Introduz-se ainda na seo 7.4 o conceito de continuidade uniforme e o teorema: funes contnuas em compactos so uniformemente contnuas, outro resultado poderoso e importante. continuidade uniformidade. Veja o exemplo de no Para o

Diculdades
A principal diculdade est nos exerccios, que trabalham os conceitos com funes pouco intuitivas. O conceito de oscilao de uma funo em um ponto:

w(f ; x).

Derivada (cap. 8)

Ideias importantes
Esta seo ser vista rapidamente.

f m (funo am da forma constante mais transformao linear, em dimenso 1 isto signica que m(x) = ax + b com a, b R) tal que o limite, quando x x0 vai para zero, de (f (x) m(x))/(x x0 ) vai para zero. Isto implica que o numerador vai para zero, ou seja, que f (x0 ) = m(x0 ). Dizemos m aproxima f numa vizinhana de x0 . Uma proposio mostra que a nova denio e a do clculo I so idnticas.
Na seo 8.1 dada uma denio da derivada ligeiramente diferente da do clculo I: derivvel no ponto

x0

se existe uma funo am (ou polinomial de grau mximo 1)

A nova denio permite duas generalizaes:

R, conforme veremos mais adiante, ao invs de funo polinomial de grau mximo 1 podemos considerar qual polinmio de grau mximo k melhor aproxima a funo numa vizinhana
de um ponto: o polinmio de Taylor;

(a) ainda em

Rn , dada uma funo f : Rn Rm , qual a funo am, isto , a funo m : Rn Rm n m uma transformao linear e w Rm um vetor xo, da forma m(v) = Lv + w0 com L : R R 0 que melhor aproxima o funo f ; mais precisamente no sentido que o limite f (x)m(x) / xx0 vai para zero quando x x0 vai para zero.
(b) em As propriedades operatrias so burocrticas, sem maior importncia. A seo 8.2 contm o teorema do valor mdio e o teorema de Rolle, cujas demonstraes so iguais a do clculo I. Deve-se saber demonstr-los. de Cauchy leitura extra. A seo 8.3 apresenta a frmula de Taylor, que veremos rapidamente. Taylor aplicado para demonstrar proposio que caracteriza mximos e mnimos locais degenerados. A seo 8.4 do mtodo de Newton leitura extra, bem como as regras de l'Hospital da seo 8.5. Eles so aplicados para caracterizar crescimento/decrescimento (estrito) local da funo e determinar mximos e mnimos locais. O teorema

Diculdades
A conceituao da seo 8.1 e a prova do TVM/Rolle.

Integral de Riemann (cap. 9)

Ideias importantes
Seo 9.1 apresenta denio de soma inferior e superior, conceito bsico e fundamental na denio da integral de Riemann. A seo 9.2 apresenta a denio da integral de Riemann e Lema que caracteriza funes integrveis. Este resultado ser usado diversas vezes ao longo do captulo: deve ser memorizado. apresentado primeiro teorema de integrabilidade: toda funo contnua em intervalo fechado integrvel. A proposio que mostra que o conjunto das funes integrveis forma um espao vetorial burocrtica. A proposio da integral do mdulo e a proposio que funes integrveis formam um lgebra so tcnicas (no precisa saber a demonstrao). Note como denir a integral para intervalos orientados negativamente (escrevemos intervalos

[1, 0]

por exemplo, cuja integral ser menos a integral em

[0, 1]).

A seo 9.3 dos TFC's. A seo 9.4 sobre

opcional e a 9.5, de mudana de variveis burocrtica (vou omitir).

A seo 9.6 do teorema de Lebesgue delicada. Nela dene-se o que um conjunto de medida nula (desprezvel do ponto de vista da integral) e com isso se prova o teorema (bem difcil) de Lebesgue que caracteriza as funes integrveis. Veja a denio de dimetro de um conjunto e sua relao com a denio de soma superior e inferior.

Diculdades
Logo na seo 9.1 aprender o que partio e soma superior e inferior. Na seo 9.6 o que conjunto de medida nula (conhecer exemplos no triviais) e saber determinar o conjunto dos pontos de descontinuidade de funes patolgicas (j vimos vrias, por exemplo funo caracterstica dos racionais, etc).

Sequncias de Funes (cap. 10)

Ideias importantes
Na seo 10.1 aprender diferena entre convergncia simples e uniforme. Na seo 10.2 a relao entre operao de derivao e integrao e estas convergncias O resto cultural.