ANLISE FUNCIONAL:Princpios,

Mtodos e Fins
Wilson Castro Ferreira Jr.
VERSOPRELIMINAR
IMECC-UNICAMP-05Mar08
CAPTULO 1
ESPAOS MTRICOS: A Origem dos Conceitos de
Convergncia
Osnmerosnaturaissoaceitosnomundocivilizadomodernosembarreiras
psicolgicasmaissrias, pelomenosatqueosresultadosdaTeoriadosNmeros
comecemanosespantar! Estafamiliaridadecomoconceitodenmeronatural resultado
deumlongoprocessocivilizatrioquetemasuaorigembviananecessidadedecontagem
edeordenaodeobjetosconcretosejfoi detectadanascivilizaesmaisantigase
primitivas.Conceitosrudimentaresdenmeronatural restritosapenasaosprimeirosdgitos,
soencontradosaindahojeemcertastribosindgenase, decertaforma, atmesmoem
algumasespciesanimais.(C.Gallistel-TheConcept of Number, MIT Press, O.
Neuberger-TheSciencesintheAntiquity, Dover).
Por outrolado, aidiado"conjuntototal" dosnmerosnaturais, N,comoumobjetoem
si muitomaissutil, poisenvolveaidiade"infinito", eocorreu, demaneiraincipiente,
massistemtica, somentenaFilosofiaenaMatemticagrega, haproximadamentepoucos
3000anosatrs. Oconceitodealgoritmorecursivo, queogermedaidiade"infinito",
traz emsi oconceitodeumprocesso"infindvel", ejpodeser explicitamenteencontrado
nostrabalhosdeEuclides(265AC-325AC), embora, certamente, eletenharecebido
influnciasdeantigosBabilnicoseEgpcios. Esteconceitofoi amplamenteexpandidonos
escritosdofamosomatemticopersa/iraquianoAl-Kwarizmi (780AC-850AC), deonde, a
propsito, vemotermo"algoritmo", etambmotermo"lgebra".
(A.P.Ershov-ed.-AlgorithmsinModernMathematicsandComputer Science, Springer
LNCS122, 1981). Dequalquer forma, oestabelecimentodaidiadeinfinito"potencial"
comoumprocessoalgortmico, significouumlongosaltointelectual paraoconhecimento
humano. A introduodessesconceitoscomoparteformal daprpriaMatemtica,todavia,
tveumlongoperododegerminaoesomenteseestabeleceumuitomaistarde, entre
meadosdosculoXIX einciodosculoXX , tendocomoseuprincipal protagonistao
matemticoitalianoGiuseppePeano(1858-1932). (M.Segre-PeanosAxiomsintheir
Historical Context, Arch.HistExact Sci. 48(3/4)1994, 202-336). Umaconstruo
algortmico-indutivae, portanto, "potencial" dosnmerosnaturaisfoi enfatizadapor
Peano, ondecadaetodoelementodeN podeser construdoutilizando-seumaquantidade
finitadeetapasqueenvolvemapenasoperaesaritmticasefetuadasapartir dabase
binria0,1).
Umavez depossedosnmerosnaturais, osnmerosinteiros(relativos) eosracionais
(fraes) soimediatamenteobtidospor intermdiodesimplesconceitosalgbricosfinitos
(classesdeequivalncia) quenoexigemnenhumsaltointelectual comparvel aoanterior.
Entretanto, oconceitodenmeroreal traz intrinsecamenteanecessidadedeprocessos
infinitossemelhantesqueleempregadoparaaconstruodoconjuntodenmeros
naturais: cadanmeroreal "potencialmenteconstrutvel", eexigeumprocessoinfinito
paradescrev-lototalmente. A representaodecimal corriqueiraapenasumamaneira
convencional esistemticaderepresentaodosnmerosreais(combviasmotivaese
origensfisiolgicas), masnoanica; qualquer seqnciaracional equivalentedecimal
(nosentidoda"aglutinao" deCauchy) tambmumaformaexatadedetermina-lo.
Caracterizadodestamaneira, umnmeroreal representadopor umaclassede
equivalnciadeseqnciasdeCauchydenmerosracionais, queoingrediente"concreto"
paraconstru-lo. ( H.Thurston- TheNumber System, Dover, ouG.Birkhoff-S.McLane-
AlgebraModerna, Vicen-Vives).Comoconceitodenmeroreal jesclarecidopor este
processo, surgenaturalmenteoconceitodelimite, comoumprocessoinfinitoe
generalizadodeconstruodenmerosreaisquenoseprendeaformasrgidasde
expansoouaumdeterminadoalgoritmo, masabreumenormelequedepossibilidades
pararepresent-los, eexatamentenestaflexibilidadequeresideaforadoClculo.
OdesenvolvimentodaAnliseemgeral, edaAnliseFuncional especificamente, desde
osmeadosdosculoXIX, estbaseado(eenraizado) nosconceitosetcnicasqueforam
introduzidosparaoestudodosnmerosreais. Por estarazo, historica(eculturalmente)
interessanteindicar aspontesexistentesentreaAnliseReal, noseusentidomaisbsicoea
AnliseFuncional. Estenoolocal paraapresentarmosumaexposiohistricado
desenvolvimentodestesconceitos, masaleitorainteressadanestalinhateramplas
refernciasparaseguir adiante.
Oconceitofundamental emtodoestedesenvolvimentoodeconvergncia(elimite)
que, naverdade, umprocessoconstrutivodeobjetosmatemticospor intermdiodeum
algoritmoinfinitoenumervel. Assim, osnmerosreaissoconstruidos(definidos) por
seqnciasdeCauchy("aglutinantes") denmerosracionais, eportanto, podemser
consideradoscomoumaextensonatural destes.
Estatcnicadeampliaodeumconjuntobaseadanoconceitodeseqncias
equivalentesdeelementosdoconjuntobase, ( chamadoMtododeCompletamentode
Cauchy) uminstrumentofundamental daMatemticaeserempregadoemtodoo
desenvolvimentodaAnliseFuncional paraaconstruodeinmerosobjetosmatemticos,
toconcretos, (outoabstratos, comoqueiram) quantoosnmerosreais.
EmdiversoslivrosdeAnliseReal, comumatalhar estaconstruohistricae
sistemtica, mastrabalhosa, fazendo-seusodeumadefinioaxiomatizadadepropriedades
sintticasdosnmerosreais. Umconjuntodeaxiomascomumenteutilizado(masnoo
nico) paracaracterizar aestruturadenmerosreais, R , equeenfatizaoconceitode
convergnciadeCauchy, oseguinte:
1-R umCorpocomutativo( isto, dispedasoperaesdesomaeproduto
comaspropriedadesusuaiseoselementosnotveis, 0e1),
2-DotadodeOrdemcompletacompatvel comasoperaesdesomae
produtopor nmeropositivo
3-Arquimediano( dadosxey 0, existeumn N, tal que, nx y). Este
axiomaintroduz oconjuntoNnocontexto.
4-Completo( todaseqnciadeCauchyconvergente).
(J . Dieudonn-Foundationsof ModernAnalysis, AcademicPress, 1960. )
Nesteconjuntodeaxiomas, oconceitodedistnciaentredoisnmerosreais, definido
nestecasoemtermosdaordem, oingredientebsicoparaaintroduodoconceitode
"convergncia" quecomparecenoaxioma4. A generalizaodeambososconceitospara
estruturasmatemticasapropriadasresultarnosdoispilaresbsicosdaAnliseFuncional.
Paraextrairmosapenasoconceitodedistncia(e, portanto, deconvergncia)
separadamentedaestruturaalgbricapeculiar quecaracterizaosnmerosreais, (corpo
ordenadoarquimediano), definiremosaxiomaticamenteumobjetomatemticochamado
EspaoMtrico, isto, umconjuntoondehumamaneiradesemedir a"distncia entre
doiselementosquaisquer dele. Comisto, poderemostratar especificamentedaTeoriade
Convergnciaindependentementedeoutrasestruturasqueeventualmentepossamocorrer
noreferidoconjunto.A definiodeEspaoMtricoreuneosdoisingredientesbsicosda
AnliseFuncional; umconceitodeconvergnciaeumanoogeomtrica, estaltimaainda
emumaformamuitosimples.
Esteobjetomatemticoabstratofoi introduzidopelofamosomatemticofrancs
MauriceFrchet (1878-1973) nasuatesededoutoramento, escritasoborientaodeHenri
Lebesgue(1875-1941), em1906. Estesdoisnomesaparecerocomumacertafreqncia
duranteestecurso.
DEFI NI O:EspaosMtricos
UmconjuntonovazioM & umafunod: M M R

sochamadosde
EspaoMtrico, edenotadospor (M,d) se,
1-d(x,y) 0, x,y M (Positiva)
2-d(x,y) 0 x y( PositivaDefinida; separaodospontos)
3-d(x,y) d(y,x),x,y M (Simtrica)
4-d(x,y) d(x,z) d(z,y),x,y,z M ( Triangularidade)
Observaes:
1)- UmEspaoMtricoumadupla( conjuntoedistncia) eamodificaode
qualquer umdosdoisingredientesdarorigemaumnovoEspaoMtrico, oque
alis, acontecercommuitafreqncia. Atquenosacostumemoscomesta
idia, iremossempreexplicitar amtricajuntocomoconjuntoquandoistono
for bvio. Entretanto, progressivamente, estaatitudeserreservadasomenteaos
casosondenoestiver absolutamenteclarodoquesetrata. Emmuitassituaes,
amtricaaser usadatobviadocontextosubjacente, que, paraevitar
pedantismos, oespaomtricoserdesignadosomentepeloconjuntodeseus
elementos.
2)-NoestudoespecficodeEspaosMtricos, estamosnosabstendode
considerar quaisquer outrasestruturasqueosconjuntosbasespor acasotenham;
apenasaestruturamtricadeconvergnciaassumida. Istonosgaranteuma
enormegeneralidadedetratamento, masobviamentenossointeressenotermina
a. Emprximoscaptulos, veremosqueosprincipaisemaisimportantes
exemplosdeEspaosMtricosdispoemaindadeumaestruturaalgbricanatural
deespaosvetoriais(tal comooR
n
) oudelgebras( tal comooR
2
C,
nmeroscomplexoseM
n
(C), istoasmatrizesn n) que, selevadasem
considerao, permitemaobtenodeumnmeromuitomaior deresultados.
Nestecaptulo, estaremosexclusivamenteinteressadosnoestudo"puro do
conceitodeconvergncia, independentementedeoutrasconsideraes.
Considerandoqueadefiniodeespaomtricovisaabstrair anoode
convergnciadocontextodosnmerosreais, natural queseverifiqueimediatamenteseR
defatoumespaomtricocomadistnciadefinidanaformausual. Comoexerccio
informal, faaestaverificaoeincluatambmosR
n
, n 1,comadistnciaeuclideana,
d(x,y)
1kn
|x
k
y
k
|
2
1
2
, semseesquecer deinterpretar geometricamentecadaumdos
axiomas.(A triangularidadenesteltimocasoresultadodaimportantedesigualdadede
CauchyutilizadaemGeometriaAnalticaoulgebraLinear)
Assim, comoumaconseqncianatural, definiremosagoraoconceitodeconvergncia
emespaosmtricoscombasenafunodedistncia.
.
DEFI NI O:ConvergnciaemEspaosMtricos
1-Dizemosqueumaseqncia( x
n
)
nN
M convergeparaumpontox M, se
lim
n
d(x
n
,x) 0, nestecaso, escrevemoslim
n
x
n
x.
2-Dizemosqueumaseqncia( x
n
)
nN
M deCauchy, se
lim
n,m
d(x
m
,x
n
) 0.
Observao:
Oslimitesdedistnciasdadefiniodeconvergnciasereferemaseqnciasde
nmerosreaise, portanto, soperfeitamentedefinidosnocontextodoClculo
Clssico.
Exerccio:UnicidadedoLimite
1-Mostreque, seolimitedeumaseqnciaexiste, eledeveser nico.
.Oconceitodeconvergnciaarazofinal paraadefiniodasestruturasdeespaos
mtricos. Portanto, comoacabamosdever peladefinio, (eistosetornar
progressivamentemaisclarocomosexemplosquesurgiro), aconvergnciadeuma
seqnciastersentidoseestiver estabelecido(explicitaouimplicitamente) emque
mtricaelased. Ouseja, aescolhadamtricadeterminaquaisseqnciassero
convergentes, osseuslimites, equaisnosero.
Por outrolado, ummesmoconceitodeconvergnciapodeser descritopor diversas
estruturasmtricas. Istosignificaquepodemoster duasmtricasnumericamentediferentes
emummesmoconjuntomasquedeterminamasmesmassituaesdeconvergncia. A
possibilidadededescrever ummesmoprocessodeconvergnciapor meiodemltiplas
mtricasumaflexibilidadeconceitual queserdegrandeutilidadeemdiversas
circunstncias.
interessanteobservar queaprpriaretapodeser "metrificada" devriasmaneiras
distintasque, aindaassim, caracterizamasmesmasseqnciasconvergentes(erespectivos
limites) queaquelasdeterminadaspelamtricausual , d(x,y) x y . Osexerccios
abaixoilustramestapossibilidadecomexemplosquenofuturonosfaroapreciar a
importnciadestaflexibilidade.
.
Exerccios-VariedadedeMtricas
Considereumafunoreal f : R

tal que:
i-) f(x) 0ef(x) 0 x 0(positivadefinida)
ii)f(a) f(a b) f(a) f(b) , a,b R

(nodecrescenteesub-aditiva)
Mostreque
2a-f(x) C
x
1x
,C 0,
2b- f(x) ln(1 x) ,e
2c- f(x) x satisfazemestaspropriedades.
3a-Mostrequed(x,y) f( x y ) umamtricaemR paraestetipodefuno
3b-Mostrequese(M,d). for umespaomtricoe : S M umafuno
bijetora, entopodemosdefinir umamtricad

noconjuntoS, (quepodemos
dizer queinduzidapor (M,d) e) daseguinteforma: d

(x,y) d((x),(y)).
Observequeautilizaodafunof(x) C
x
1x
noslevaaumamtricaquefaz dareta
real umespaomtricolimitado, ouseja, todosospontosestoaumadistnciafinitada
origem, oque, aprincpio, umcontrasenso.Entretanto, lembre-sedequeopapel da
mtricanodescrever geometriasrgidas, masconvergncias, eestassodeterminadasa
pequenasdistncias, ouseja, amodificaoapenasdosvalorespara"grandes" distncias
emumamtricanoafetaoprocessodeconvergnciaquesedapenas"nofrigir final dos
ovos"! Observeaindaqueparaxprximodezero, ogrficodasfunesf(x) doexerccios
2a,2bacimasecomportamcomoumaretaquepassapelaorigem, ouseja, comouma
proporo. Nestescasos, humacertaproporcionalidadelocal entreastaxasde
convergnciadasduasmtricasedelascomacannica. Omesmonosedentreamtrica
doexerccio2c easoutras. Esteconceitoficarmaisclaroou, pelomenosmais
formalizado, comaseguintedefinio:
DEFI NI O:Equivalncia(Uniforme) entreMtricas
Duasmtricasd
1
, ed
2
soditas(uniformemente) equivalentes quando
existiremduasconstantespositivaso 0e[ 0taisque
od
1
(x,y) d
2
(x,y) [d
1
(x,y) ,x,y. Ou, queo
d
2
(x,y)
d
1
(x,y)
[ paraquaisquer
x y.
Naliteraturamatemticadiz-se, nestecaso,queasduasmtricasso"equivalentes".
Estetermonasuaformasimpleseusual nomuitofeliz porqueseopapel dasmtricas
caracterizar convergncias, duasmtricasdeveriamser "equivalentes" secumprissemo
seusobjetivosdamesmaforma, ouseja, secaracterizassemasmesmasconvergnciase
respectivoslimites. Certamente, seforemuniformementeequivalentes, elasdeterminaro
asmesmasconvergncias(Exerccio4). Entretanto, aexignciadequeo e[ sejam
constantesevlidosparax,yumrequisitomuitoforteparaisso, nohnecessidadede
tanto! Paraentender estaobservao, bastaanalisar arelaoentreamtricacannica
(usual) d(x,y) eamtricad
o
(x,y) f( x y ) , paraf ()

1
; elasdiscriminam
exatamenteasmesmasseqnciasconvergentes, masnosouniformemente
equivalentes(Exerccio4b). Emparticular, paraquecaracterizemasmesmasseqncias
convergentesbastariaqueadesigualdadeo d
1
(x,y) d
2
(x,y) [ d
1
(x,y) fossevlida
apenaslocalmente, ouseja, para"pequenasdistncias", emboranemmesmoissodefato
sejanecessrio, comosepoderver noexerccio5.
Umconceitomaisapropriadonoquediz respeitoestritamenteconvergncia, sem
preocupaesmtricas, odaequivalnciatopolgica:
DEFI NI O: EquivalnciaTopolgicaentreMtricas
Diremosqueduasmtricassotopologicamenteequivalentessequalquer
seqnciaqueconvirjapelocritriodeumadelas, tambmconvirjapelocritrio
daoutra, eparaomesmolimite.
Exerccios:
4a-MostrequeseduasmtricassouniformementeequivalentesosseusEspaos
Mtricossosimultaneamentelimitados, ounooso!
4b-Mostrequeseduasmtricassouniformementeequivalentes, entoelasso
topologicamenteequivalentes.
5a-Mostrequeamtricausual daretareal topologicamenteequivalente
mtricad
r
(x,y) |x y|, masqueelasnosomtricasuniformemente
equivalentes.Sugesto: Observeque
|x|
|x|
quandox 0, e
|x|
|x|
0
quandox .
5b-Umexemplohistrico, egeomtricamenteimportante, dasvantagens
provenientesdeumamultiplicidadedemetrificaes, fornecidopeloexerccio
3b, queanalisaametrificaodoplanopor intermdiodaprojeoestereogrfica
deRiemannqueidentificaaesferaunitria(menosseupolonorte) eoplano
R
2
.MostequenestametrificaohseqnciasdeCauchynoplanoqueno
convergemedeterminequaissoelas!
Maistardeveremosqueocompletamentodoplanonestamtricanoslevar
introduodoponto.Paraumadiscussodenotvel clarezasobreaprojeo
estereogrficanoplanocomplexoconsulteoprimeirocaptulodoclssico: L. Ahlfors
-ComplexAnalysis, McGraw-Hill, 1957. interessanteobservar nesteexemplodeforte
apelogeomtrico, comoasduasmtricascaracterizamomesmoconjuntodeseqncias
convergentes, mastambmquenopodehaver equivalncia(uniforme) entreasduas
mtricasumavez queastaxasdeconvergnciasetornamprogressivamentemaisdspares
conformeopontolimite(noplano) estejamaisdistantedaorigem. Meditesobreisto
enquantofizer umesboogeomtricodasituao.
A estaalturapassaremosacaracterizar algumasdentreaspropriedadesfundamentaisde
convergnciaquesoinerentesretareal edefini-lascomoconceitos("desejveis", talvez,
masnemsemprealcanveis) paraosEspaosMtricosemgeral.
DEFI NI O: ("PRI NC PI ODE CAUCHY" ):
Umespaomtrico(M, d) ditocompletosetodasasseqnciasdeCauchyem
M tmlimiteemM. (Atenteparaofinal dafrase, emM .).
Esteconceitopoderiaser metaforicamentedescritodaseguintemaneira: Umespao
mtricocompletonotemburacos, isto, todaseqnciaaglutinanteconverge
necessariamenteparaumdeterminadoponto. claroqueestaumadaspropriedades
maisbsicasdaretareal, tantoqueelacomparececomoumdosaxiomasnosistemaacima
apresentado.Observe, todavia, queestanoumapropriedadedosnmerosracionaiscoma
mtricausual, emboraelessatisfaamatodososoutrosaxiomas.(A propsito, istomostra
queesteaxiomaindependentedosoutros, ouseja, queapresentainformaoquenopode
ser deduzidadorestantedosaxiomas).
OPrincpiodeCauchyparaaretareal foi formuladopeloprolficomatemticofrancs
Augustin-LouisCauchy(1789-1857) emsuasfamosasnotasparaumcursodeClculo(!)
queelelecionavaaosestudantesdeengenharianafamosacolePolytechniquedeParis(
CoursdAnalyse). Isto, atqueseusalunosserebelaramcontraasua"didtica"! Estes
livros, quetiveramamplacirculaomundial (europia), tornando-seummarcoda
literaturamatemticaeestabeleceramosfundamentosrigorososdaanlisemoderna.
(J udithV. Grabiner-TheOriginsof CauchysRigorousCalculus, Dover 2005).
interessanteobservar queosanalistas, principalmente, dossculosXVIII eXIX,
encaravamosnmerosreais"experimentalmente", ou, "fenomenologicamente", tal comoos
Fsicosencaramseusobjetosdeestudo, baseando-seem"Princpios" , ou"leis" . Paraeles,
aretareal eratidacomoumobjetofsicoaser testada, cujaspropriedadesseriam
regulamentadaspor "leis" descobertasapartir detestesegeneralizao. Omtodo
axiomtico, quepodeeliminar completamenteestaconfuso, jhaviasidointroduzidopor
Euclideshsculos(!), massomentevoltouaser efetivamenteincorporadoMatemtica
muitomaistardee, emgrandepartepor obradeDavidHilbert. Dentremuitasoutras"leis",
ou"Princpios" , "descobertos" pelosmatemticos(msticosefilsofos) dosculoXIX, o
seguintePrincpiodeBolzanotemumsignificadoespecial paraosnossospropsitos: :
Qualquer seqncialimitadadenmerosreaistempelomenosumpontodeacumulao
.Este"princpio" foi formuladoinicialmentepelopadreematemticotchecoBernhardJ .P.
Bolzano(1781-1848) emumlivropublicadoemPragaem1817, ondeeletambmse
antecipaaA.L.Cauchypor uns4anos, aoestabelecer pelaprimeiravez adefinio
modernadecontinuidade.( M.Kline). A demonstraodeste"Princpio" emtextosclssicos
deAnliseReal partedosaxiomasacimaelencadoseutilizainicialmenteumaestratgia
algortmicadebipartiochamadamtodode"encantoamentodoleo", terminandocoma
aplicaodo(axioma) PrincpiodeCauchyparaogolpefinal demisericrdia.(v. Apndice
eprincipalmenteR. Courant- ClculoDiferencial eIntegral, vol. I, editoraGlobo, Porto
Alegre, 1965). importanteobservar que, seosnmerosreaissoaxiomatizadospelo
sistemaapresentadoacima(queescolheoprincpiodeCauchycomoaxioma), oprincpio
deBolzanoserumTEOREMA. Entretanto, seoescolhermoscomoumaxioma, (nocaso,
chamadodePrincpiodeBolzano-Weierstrass), emlugar doPrincpiodeCauchy,
poderemosdemonstrar esteltimocomoTEOREMA.Istomostraque, nocontexto
especficodosnmerosreais, elessoconceitosequivalentes.
Weierstrass, quedesenvolveuaanlisereal nasuaformamaisrigorosaaoseutempo,
teveoseu nomeassociadoaumoutro"princpio"( Todoconjuntosuperiormentelimitado
naretaadmitesupremo), diferente, masfacilmentedemonstrvel comoequivalenteaode
Bolzanonocontextodaanlisereal. Entretanto, estaformulaodeWeierstrassfaz usodo
conceitopeculiar deordemdosnmerosreais, oqueatornainadequadapara
generalizaesparaespaosmtricosgerais, aocontrariodaformulaodeBolzanoque
utilizaapenasoconceitodedistncia. Estaarazoporqueesteltimoutilizadonas
abstraesenquantoqueasuperior autoridadematemticadeWeierstrassarazoporque
seunomeestforosamenteassociadoaambos.
Umpontodeacumulaononecessariamenteumlimitedaseqncia, massempre
possivel extrair delaumasubseqnciaqueconvergeparaesteponto. ( Mostreistocomo
exerccioderecordao). Observequeumaseqnciapodeter vrios(atinfinitos) pontos
deacumulao.
Retornaremosentoformulaooriginal doPrincpiodeBolzano-Weierstrassque
sermaisinteressanteparaosnossosfuturospropsitos, jqueutilizaapenasoconceitode
proximidadeenodeordem: Qualquer seqnciadenmerosreaiscontidaemum
conjuntolimitadoefechadotempontodeacumulaonesteconjunto Comoas
conseqnciasdoPrincpiodeBolzano-WeierstrassemAnliseClssicasoextremamente
importantes, onossopontodevistasernosentidodeenfatizar ossubconjuntosque
satisfazemestapropriedade, atribuindo-lhesumnomesonoroenotvel. Naaretareal eles
sosimplesmenteosfechadoselimitados. OPrincpiodeBolzano-Weierstrasspoderiaser
metaforicamenteenunciadocomo: Conjuntoslimitadosefechadosnaretanotm
espaosuficienteparaisolarmostodosseuselementosdeumconjuntoinfinito, razo
porqueotermo"compacto" justificadoparanomea-los.
Assim, emumEspaoMtricogeral M, osseussubconjuntosparaosquaisvaleo
PrincpiodeBolzano- Weierstrassserodenominadosde"compactos" ecumpremum
papel deextremaimportncianoestudodeprocessosdeconvergncia.
DEFI NI O: Conjuntoscompactos- "PRI NC PI ODE BOLZANO-WEI ERSTRASS"
DizemosqueumconjuntoK M compacto, setodasasseqncias
x
n
)
nN
K tempelomenosumpontodeacumulaonoconjuntoK.
Emparticular, dizemosqueumespaomtricocompactosetodasasseqncia
deseuselementostmpelomenosumpontodeacumulao, nesteespao, claro.
.OsconceitosdeCOMPLETUDE (Cauchy) edeCOMPACIDADE
(Bolzano-Weierstrass) soosdoispilaresfundamentaisdoClculoClssico(ondeesto
presentespor sereminerentesestruturamtricanatural dosnmerosreais) e, apartir dos
quais, demonstram-seosprincipaisresultadosdoClculo. J nocontextoabstratode
espaosmtricos, asuavalidadepodeounoocorrer, masoscasospositivos, isto,
EspaosCompletose/ouCompactos, desempenharoumpapel fundamental no
desenvolvimentodaAnliseFuncional.
A seguir apresentaremosalgunsexemplosdeespaosmtricosque, pelasua
diversidade, mostraroaversatilidadedestaestrutura.
Exerccios: ExemplosdeEspaosMtricos
Mostreque, defato, osexemplosabaixosooquesedizdeles(Espaos
Mtricos) comeandopor verificar emcadacasoqueadefinio"boa", ouseja
, queadistnciaentredoiselementosquaisquer doconjuntoemquestopodede
fatoser calculada.
5) M R
n
,d
1
(x,y)
1kn
x
k
y
k
, denominadamtricad
1
, oumtrica
dotaxista.
Observao:
ObservequeoconjuntoR
n
podeser interpretado, emparticular, comoum
conjuntodefunesdevaloresreaisedefinidasnoconjuntofinito1,2,.....n)
6). M R
n
,d
o1
(x,y)
1kn
o
k
x
k
y
k
, onde(o
k
) umanuplade
nmerosreaispositivos, chamadaponderao. Meditesobreoseusignificado
geomtrico.
7) M R
n
,d
2
(x,y)
1kn
x
k
y
k

2
1
2
, ( mtricad
2
usual, dita
Euclideana)
8-) M R
n
,d
p
(x,y)
1kn
x
k
y
k

P
)
1
P
, ( mtricad
p
, ondep 1, real)
9-) M R
n
,d

(x,y) Mximo
1kn
x
k
y
k
), ( Mostreomotivopeloqual
razovel denominar estamtricaded

comparando-acomasd
p
anteriores.)
10-)M R
n
,d

(x,y) mximo
1kn
o
k
x
k
y
k
), o
k
0.
11)M C
0
|0,1],R
n
) conjuntodasfunescontnuasdefinidasem[0,1] com
valoresemR
n
; d

(f,g) Max
|0,1]
f(x) g(x) .
Observao:
Anotaod

paraosdoisexemplosdistintosacimatmsuarazodeser,
(meditesobreisto!), enodevemser motivosdeconfuso, umavezquese
referemadiferentesconjuntos. Omesmovaleparaosexemplosabaixo.
12)M C
0
|0,1],R
n
) conjuntodasfunescontnuasdefinidasem[0,1] com
valoresemR
n
; d
1
(f,g)
|0,1]
f(x) g(x) dx
13) M C
0
|0,1],R
n
) conjuntodasfunescontnuasdefinidasem[0,1] com
valoresemR
n
; d
1o
(f,g)
|0,1]
f(x) g(x) o(x) dx, ondeo uma
funocontnuapositivadefinidaem[0.1], isto, o(x) 0,x |0,1], chamada
ponderao, oufunodepeso.
14)M P
N
C)
{conjuntodospolinmiosdecoeficientescomplexosdegrau N),
d(p,q)
0kN
|p(x
k
) q(x
k
)|, onde
x
0
x
1
... x
N
R.(Observao:Lembre-sedoteoremafundamental da
lgebra.)
15) M C
k
|0,1],R
n
) conjuntodasfunesdefinidasecomderivadas
contnuasatpelomenosaordemk( 1) em|0.1] ;
d
k,
(f,g)
0jk
d

(f
(j)
,g
(j)
)
0jk
Max
|0,1]
f
(j)
(x) g
(j)
(x) .
16) M C
k
|0,1],R
n
) conjuntodasfunesdefinidasecomderivadas
contnuasatpelomenosaordemk( 1) em
|0,1] d
k,1
(f,g)
0jk

|0,1]
f
(j)
(x) g
(j)
(x) dx
17) -C
k
|0,1],R
n
) conjuntodasfunesdefinidasecomderivadascontnuas
atpelomenosaordemk 1em|0,1] ;
d
k,2
(f,g)
0jk
{
|0,1]
f
(j)
(x) g
(j)
(x)
2
dx}
1
2
18) M C
o
0
|0,],R) conjuntodasfunescontnuasdefinidasem|0,] com
valoresemR cujaintegral deRiemannimprpria
|0,]
f(x) e
x
dxfinita;
d
1
(f,g)
|0,]
f(x) g(x) e
x
dx, o(x) e
x
Sef
z
(x) x
z
,z R

,
mostrequef M eCalculed
o
(f
0
,f
2
).
Observaes:
Vriosexemplosacimapodemser reconsideradossubstituindo-seRpor C
ConjuntodosNmerosComplexos.
19) M S
1
(C) conjuntodasfunesz: N C , i.e.,seqnciasdenmeros
complexosz( z
n
), quesoabsolutamentesomveis:
1k
z
k
;
d(x,y)
1k
x
k
y
k
.
20)-M S
o
1
(C
n
) conjuntodasfunesz: N C
n
, i.e.,seqnciasdevetores
complexosz( z
k
), quesoabsolutamenteo somveis:

1k
o(z
k
) ; d
o
(x,y)
1k
o(z
k
) , ondeo umafunotal comoas
definidaspelosExerccios2a,2b,2c, e3.
21) M S
2
(C) conjuntodasfunesz: NC , i.e., seqnciasdenmeros
complexosz( z
n
), quesoquadradosomveis, isto,
1k
z
k

2
;
d(x,y) {
1k
x
k
y
k

2
}
1
2
.
22) M S
B
(C) conjuntodasfunes z : N C limitadas;
d(x,y)
1k
2
k
x
k
y
k

23)-M BA,R
n
) conjuntodasfuneslimitadasdefinidasemumconjuntono
vazioAcomvaloresemR
n
;
d

(f,g) Max
aA
f(a) g(a) .
Observequedizer : f egestoprximassegundoamtricad

equivalenteadizer
queestouniformementeprximas, ouseja, queosvalores f(a) g(a) so
simultaneamentepequenosparatodososa A.
24)MostrequenoespaoM S
2
(C) , d(x,y) {
1k
x
k
y
k

2
}
1
2
, doexerccio
21), umconjuntolimitadoefechadocomoabolaunitriafechada(aocontrriodoque
ocorrenosR
n
reais) nocompacta, poisaseqnciae
k
)
1k
( ondee
k
(j) o
kj
) no
admitesubseqnciacomlimite. (o
kj
0sek j e, o
kk
1, k,j N; ofamosodelta
deKronecker!). Ora, istosignificaqueemespaosdedimensoinfinita, comonestecaso,
"hmuitoespaoparaoleoseesconder"!
LINGUAGEM E CONCEITOS BSICOS DE
ESPAOS MTRICOS
sec. J acquesMonod: "Emcinciahaquelesquedovalor idiaseaquelesquedovalor
formaemuitalutaocorreentreeles, enquantovivos.Sintomuitopelosltimos, porque
apesar deseuenormeesforo, somenteosprimeirosserolembradosapsumfuturo
prximo".
sec.V.Braitenberg:"Focalize-senosoftware, isto, nasidias, utilizeohardware, a
forma, lembrando-sesemprequeestepassaesevai, apenasoprimeiropermanece"
EnunciaremosabaixoalgumasdefiniesemEspaosMtricosquejdevemser
conhecidasdasleitorasnocontextodoClculoClssico. Por estarazoaapresentaoser
sucinta, ecadaumatomarmaisoumenostempoparasefamiliarizar comalinguagem
dependendodesuaexperinciaanterior. Dequalquer forma, umaboafamiliaridadecomos
conceitosedefiniesabaixonopoderser adiadajqueusaremososmesmosintensiva
econtinuamenteesemmaioresexplicaesemtudoquesesegue.Por outrolado,
importanteenecessrioalertar sleitorasquealinguagemeoformalismomatemticoso
apenasummeioenoumfimemsi mesmos, equeseuconhecimentonotraz substncia
matemtica, emborasejaindispensvel paraadquiri-la. Estealertasejustificapelo
frequenteequvocoemsededicar umexcessivoesforoetemponasfirulasdelinguagem
matemtica, isto, noformalismo, emdetrimentodasidiasqueso, afinal, asua
substncia"concreta".
UmaBolaAbertaderaior ecentroemxoconjuntodenotadopor B(x,r) edefinido
naturalmentepor B(x,r) {y; d(x,y) r }.
UmaBolaFechadaderaior ecentroemxoconjuntodenotadopor B(x,r) edefinido
naturalmentepor B(x,r) {y; d(x,y) r }.
UmsubconjuntoC deumespaomtrico(M,d) ditolimitadoseexistir umabola
B(x,r), tal queC B(x,r).
OconjuntodospontosdeadernciadeumconjuntoC denotadopor C, chamadode
fechodeC edefinidopor C {x: paratodor 0, existeumelementodeC emB(x,r) }.
( ObservequemesmoseisoladososprprioselementosdeC soaderentesaele, por esta
definio).
A fronteiradeumconjuntoA, quesedenotapor A definidocomo
A x : r 0,B(x,r) A , eB(x,r) A .
Dizemosque umpontodeacumulaodeumconjuntoC separatodor 0,
existeumelementoy deC emB(,r),ouseja, seexisteumnmeroinfinitodepontos
deC emB(,r).(Verifique).
Umponto ditodeacumulaodeumasequenciax
k
separatodabolaB(,r). existe
umnmeroinfinitodendiceskcujosvaloresx
k
dasequenciaestonestabola,
x
k
B(,r).
Observeadiferenasimples, massutil, entreosconceitosdepontodeadernciaede
acumulaoeentrepontosdeacumulaodeconjuntosedesequencias.
UmconjuntoF ditofechadosecontemtodososseuspontosdeaderncia, isto, se
F F.
UmconjuntoA ditoabertoseparatodox A, existeumabolaB(x,r) A.
Medite(efaaesboosfigurativos) sobreasinterpretaesgeomtricasdestes
conceitos, oquelheesclarecercompletamenteamotivaodoformalismo.
Exerccios: LinguagemeConceitosBsicos
Mostreque:
25)-UmconjuntoF fechadoseesomentesecontemtodososseuspontosde
acumulao.
26)-UmaBolaabertaumconjuntoabertoeumabolafechadaumconjunto
fechado(!)
27)-Ocomplementar deumconjuntofechadoaberto, isto, seF for fechado,
entoF
c
{x; x F}aberto, equeocomplementar deumconjuntoaberto
fechado.
28)-Todopontodeaderncia deumconjuntoC podeser aproximadocomo
limitedeumasequnciadepontosdeC,isto, existeumaseqncia(x
k
) emC ,
tal qued(x
k
,) 0.
29)-MostrequeseK for umEspaoMtricoCompacto, entotodaseqncia
(x)
n
K , admiteumasubseqnciaconvergenteemK, isto, existeuma
subseqncia(x
np
) eumelementox K , tal que
x
np
xparap .
(Observeque,deacordocomooconceitodesubseqncia, n
p
deveser crescente
compen
p
quandop ),
.
UmconjuntoA ditodensoemoutroconjuntoB , seB A , ouseja, seB estno
fechodeA, ouainda, setodosospontosdeB , podemser aproximadospor pontosdeA.
Emparticular, umconjuntoC ditodensonoespaomtricoM , setodosospontosde
M , podemser aproximadospor pontosdeC. Umexemploclarodistooconjuntodos
nmerosracionais, quedensonaretareal.
Definio:EspaosMtricosSeparveis
Umespaomtricoditoseparvel seexisteumconjuntoenumervel denso
nele.
A retareal eosR
n
soseparveis, por contadosnmerosracionais, queso
enumerveis, deacordocomGeorgCantor. A vastamaioriadosespaosqueserotratados
nestecursoserdeespaosseparveis, umapropriedade, emgeral, herdadadosnmeros
reais, eindispensvel paraadefinioalgortmicadediversosprocessos.Umanotvel
exceooespao(no-separvel) deBohr (HaraldBohr) dasfunesquase-peridicas, a
ser apresentadooportunamente.
A noodecontinuidade, temumpapel fundamental naanlisereal clssicaeaforma
maisintuitivadecaracteriza-laemumcursoinicial deClculocertamenteseriatomar o
injustamente"apagado" TeoremadeRolle(ou, do"Valor Intermedirio") comosua
definio("Seumafunof : R Rfor contnuaentoparaquaisquer a bey
0
intermedirioentrevaloresdafuno, por exemplo, f(a) y
0
f(b) (ou, f(b) y
0
f(a)
, existex
0
intermedirioa x
0
b, tal quef(x
0
) y
0
"). Estadefiniono
escandalizarianemomenosintuitivooudesavisadodosalunos, aocontrriodos"

seo

s"
deCauchy, quenorarocausadanospsicolgicosirreparveis, dosquaismesmo
matemticosmadurosnoconseguemselivrar!. InfelizmenteacaracterizaodeRolle
fortementedependentedoconceitodeordemdosnmerosreaise, portanto, impossvel de
ser generalizadaatmesmoparafunesdeduasvariveis. Por outrolado, nohdvidas
queacaracterizaode"continuidade" deCauchyexpressaemumaformaconveniente
paraageneralizaoemsituaesemqueaordemdosnmerosreaisnoestdisponvel.
Mas, naverdade, adefiniodeCauchynotraduz oconceitointuitivodecontinuidade
tobemquantoRolle, massimoconceitode"estabilidade" . Comoestetermo
("estabilidade") notinhaaindausocorrentenamatemticadossculosXVIII-XIX, pois,
somentesetornou"vulgar" depoisdaMecaniqueCelestedePoincar, (c.1900) e, a
caracterizaodeCauchyimplicavanacaracterizaodeRolle, a"patentedotermo"
acabouficandocomoprprioCauchy. Entretanto, observequeoconceitode"continuidade
deCauchy" maisforte, ouseja, maisrestritivodoqueodeRolle; bastaanalisar aseguinte
funoRolle-contnuamasqueCauchy-descontnua: f(x) sen
1
x
, x 0,
f(0) 0.Verifique.
Definiremosabaixooconceitodecontinuidadedetrsmaneirasequivalentesmas
distintasquantoaosseuspontosdevista. Iniciaremosnaformaseqncial queamais
apropriadasobopontodevistaconstrutivo, ealgortmico, passandoemseguidaparaa
formamtrica, segundoCauchy, queenfatizaaideiade"estabilidade" e, finalmente,
apresentaremosadefinio"topologicamentecorreta" quefaz usounicamentedoconceito
deconjuntoabertoeindependedemtricas. Convidamossleitorasquedemonstremesta
equivalnciacomoexerccio.
DefinioSeqncial:
Umafunof entredoisespaosmtricos(M
1
,d
1
) e(M
2
,d
2
) , f : M
1
M
2
, dita
contnuanopontox M
1
separatodaseqnciax
k
x, temos
f(x
k
) f(x).Umafunof: M
1
M
2
dita(simplesmente) contnua, ou
contnuaemM
1
, sefor contnuaemtodosospontosdeM
1
.
DefinioMtricadeCauchy: "Estabilidade"
Umafunof entredoisespaosmtricos(M
1
,d
1
) e(M
2
,d
2
) , f : M
1
M
2
, dita
contnuanopontox M
1
sec 0, o 0, tal quef(B(x,o)) B(f(x),c).Umafuno
f: M
1
M
2
dita(simplesmente) contnua, oucontnuaemM
1
, sefor contnuaem
todosospontosdeM
1
.
DefinioTopologicamenteCorreta
Umafunof: M
1
M
2
dita(simplesmente) contnua, oucontnuaemM
1
, se
dadoqualquer conjuntoabertoU M
2
, ento, asuaimageminversapelafuno
f
1
(U) x M
1
; f(x) U) abertaemM
1
.
.
Exerccios:
30)-Mostrequeasdefiniesacimasoequivalenteseinterpreteoconceitode
"estabilidade" oude"sensitividade" expressanaformulaodeCauchy.
31)- Mostrequeafuno :M R

, definidapor (x) d(x

0
,x) , paraumx
0
fixoqualquer, umafunocontnua.
32)Mostrequetodoconjuntocompactolimitado.Mostrequeaimplicao
inversanovlidafazendousodeum(contra)exemplo.
33)-Mostrequetodoconjuntocompactofechado.Mostrequeaimplicao
inversanovlidafazendousodeum(contra) exemplo.
34)-Mostrequetodoespaomtricocompactocompleto, masqueaimplicao
inversanovlidafazendousodeum(contra)exemplo.
35)-Mostrequeumsubconjuntofechadodeumconjuntocompactotambm
compacto.
Nadefinioseqncial decontinuidade, nohqualquer menosobreavelocidade
deaproximaodosvaloresfuncionaisparaoseulimite(f(x
k
) f(x
0
)) , emcomparao
comaaproximaodosvaloresdavarivel (x
k
x
0
); estarelaopodevariar muito
dependendodopontox
0
emquesto.Vejapor exemploocasodafunof : R

R,
f(x)
1
x
, cujosvaloresf(x) seaproximam"rapidamente" devaloresf(x
0
)
1
x
0
, para
pontosx
0
0, enquantoapresentamumaprogressiva"lerdeza" naaproximaoquando
x
0
.Obviamente, tratando-sedaaproximaodefunescontnuasparaseusvalores,
estaquestoestimediatamenteconectada"variabilidade" dafunonasimediaesdo
pontolimite, e, sehouver, aovalor desuaderivada. Oestudoquantitativoefuncional da
"velocidadedeaproximao" defunes paraseuslimites(finitosouinfinitos) otema
central dachamadaAnliseAssinttica(N. deBruijn-AsymptoticAnalysis, Dover ;
R.Courant-"Clculo"), quetemumaimportnciacentral noestudodocomportamentode
modelosmatemticos, eemMatemtica, emgeral.Esteassuntosertratadocomexemplos
maisadiante.
Entretanto, nomomentoestaremosinteressadosemdistinguir qualitativamenteaquelas
situaesemqueesta"velocidadedeaproximao" notenhadiscrepnciasextremadasao
longodoespao, ouseja, queapresenteumauniformidadenestesentido. Oconceitode
continuidadeuniformeserapresentadonadefinioaseguir por intermdiodeuma
linguagemmais"topolgica", que, nestecaso, maisconveniente.
Definio:Continuidadeuniforme
Umafunof: M
1
M
2
ditauniformementecontnuaemM
1
, sec 0,
o

0, tal quef(B(x,o

)) B(f(x),c)., x M
1
.
Seacaracterizaoseqencial decontinuidadedadapelocritriodetransformar
seqnciasconvergentesemseqnciasconvergentes, acaracterizaoseqencial de
continuidadeuniforme, parcialmente, dadapeloseguinte:
TEOREMA: Caracterizao seqncial de continuidade uniforme
Seafunof: M
1
M
2
for uniformementecontnua, entoelalevaseqncias
deCauchyemM
1
emseqnciasdeCauchy.emM
2
.
Exerccio:
36)DemonstreoTeoremaacima, emostrequenovaleavolta. ( SeM
1
for
completo, asseqenciasdeCauchyeasconvergentessoasmesmase, neste
caso, bastaquef sejacontnuaparaqueleveseqnciasdeCauchyemseqncias
deCauchy!).
37)Mostrequeafuno(OperaoFuncional)
: M C
0
(|0,1],R),d

S f C
1
(|0,1],R) ; f(0) 0 ,d

definidapelaintegral
(f)(x)
0
x
f(s)ds
contnua, uniformementecontnua, temumainversa
1
: S M quetodavia
nocontnua.
Observao: Esteexercciofundamental edeveser estudadocomdetalhes.
Observaes:
Ascaracterizaestopologicamentecorretas, cujalinguagemsebaseia
somentenaspropriedadesdosconjuntosabertos, ampliamageneralizaoea
abstraodoconceitodeconvergnciaparaumcontextoqueprescinde
completamentedaexistnciadeumamtrica.Estaabordagem, emboratenha
significadoimportantenodesenvolvimentomodernodaMatemtica, oseu
impactonasaplicaessefaz quasequesomentepor intermdiodalinguagem,
emvrioscasos, defato, amaisconveniente, masmuitopoucopelosseus
resultadosespecficos.
A estruturadeespaomtricopermitequetratemosdoconceitode
convergnciadeumamaneiramuitoprximautilizadanoestudodosnmeros
reais; isto, basicamentepor meiodeseqncias, quesoprocessosenumerveis
ealgoritmizveis. Entretanto, observou-sequeseriapossvel estender oconceito
deconvergnciaecontinuidadeparacontextosemqueoprocessode
convergenciapoderiaser realizadodemaneiraeventualmenteno-enumervel,
algoumpoucoforadeumamentalidadealgoritmico-construtivadaMatemtica
AplicadaeConstrutiva.
Estasestruturasmaisgerais, ( introduzidastambmpor Frchet ), so
denominadasdeTopolgicas efazemusoapenasdoconceitodeconjunto
aberto. Nonosdeteremosemdefini-lasaqui emtodasassituaes, masem
oportunidadesconvenientesapresentaremosaversotopolgicaapropriada.Esta
atitudetempor finalidademostrar umaponteentreaduasabordagensepermitir
queastcnicasdaTopologiafiquemtambmdisponveisparaocasoemquese
mostraremteis.Entretanto, procuraremossemprequerazovel optar por
abordagensseqnciais, enumerveisealgortmicas.
importanteobservar queemespaostopolgicos, oconceitode
convergnciacaracterizadopor intermdiodeconjuntosabertosgenricoseo
sistemadeverificaodeconvergnciapodeconstar deumafamliano
enumervel destes, aocontrriodosespaosmtricosemquebastautilizar a
base enumervel B(x,
1
n
) , n N) paracadapontox. Portanto, definies
seqnciaisemespaostopolgicospodemdescrever conceitosdistintosdaqueles
expressospor meiodeumafamliano-numervel deabertos. Por exemplo, o
conceitodepontoaderentedeumconjuntoemumespaotopolgico, sedefinido
seqencialmentepodeser diferentedoconceitodefinidopor meiodabasede
abertos. Omesmoacontececomoconceitodecompacidade. Masestasdistines
noseroimportantesparaoquesesegueumavez quetrataremosapenasde
espaosmtricos.
UmaexcelenterefernciaparaoestudodaTopologia, naquiloqueinteressa
Anlise, escritopor umdosprincipaismatemticosdosculoXX, etambmum
grandeprofessor, (umacoplamentomaiscomumdoqueosugeridopor figuras
menosimportantes), arefernciaA.N. Kolmogorov- S.V. Fomin- Elementos
delaTeoriadeFuncionesydel AnalisisFuncional, ed. MIR, 1972. ( Huma
traduoeminglscomottuloIntroductiontoReal Analysis emedio
brochuraebaratapelaeditoraDover).
Odesenvolvimentoinicial daAnliseFuncional viaconceitostopolgicos
devemuitoescolamatemticapolonesa, grandepartedelaeliminadadurantea
II GuerraMundial, acomear por S.Banach, easuadisseminaopsII Guerra
escolaBourbakista, queexerceumuitainfluncianoBrasil. Umaabordagem
nitidamentetopolgicaencontradapor exemplonotextodeBrzis, excelente
dentrodeseusprpriostermos:
H. Brzis- AnalyseFonctionelle, Masson, 1987.
Surpreendentemente, omesmoaconteceemumfamosoetambmexcelentetexto
quesediz escritoespecificamenteparaosfsicos,
M.Reed- B. Simon- Methodsof Mathematical Physics, vol. I - Functional
Analysis, AcademicPress, 1972., por razesqueelesldevemsaber quaisso.
.
TEOREMAS FUNDAMENTAIS Clssicos no
Contexto de Espaos Mtricos
A foradoconceitodecompacidadeserinicialmenteverificadaatravsdos
prximosresultados. Semdvida, umdosprincipaisdestesoTeoremadeWeierstrass
sobrepontosdemximo, queteveumextraordinriosignificadoeumcuriosopapel na
histriadaAnliseFuncional.
A existnciadepontosdemximoemnimoparaumafunocontnuafoi
conectada, logonoprincpiododesenvolvimentodaAnliseReal, aoconceitodeconjunto
fechadoelimitadoparaodomniodafuno; oteoremaclssicode
Bolzano-Weierstrass.Por outrolado, oprincpiovariacional deDirichlet, ( naverdade
formuladopor seuprofessor G.F.B.Riemann), quedeterminavaasoluodofundamental
problemadefronteiraparaaequaodeLaplace, sebaseavanaexistenciadeumpontode
mnimoparaumafuno(operaofuncional ) definidaemumconjuntodefunes. A
impossibilidadegeral deassumir aexistenciadestemnimoforadocontextoreal foi otema
deviolentos artigosdeninguemmaisdoqueoprprioK.M.Weierstrass, umafigura
autoritriaquedesestimulavaodebatenaquelesdecoraesmaisfracos.Comisto, o
princpiodeDirichlet somentefoi levadoasrionestapocapor aquelesquese
encontravamforadainflunciadeWeierstrass, essecialmenteosmatemticosaplicados,
fsicoseengenheiros, quecontinuaramausa-losemmaioresansiedades. A reabilitaodo
princpiodeDirichlet comoomtodofundamental paraoestudotericoearesoluo
numricadeequaesdiferenciaisparciaismuitomaisgeraisdoqueadeLaplace, foi um
dosgrandesfeitosdeDavidHillbert, eumdosprincipaispretextosparaainvenoeo
desenvolvimentodamodernaAnliseFuncional.
interessanteobservar queK.M.Weierstrass( 1815-1897) foi professor emBerlime
nofaziapartedaimportantegenealogiamatemticaalemdeGttingenqueseiniciacom
ninguemmenosdoqueCarl F.Gauss, epassapor GeorgRiemann, FelixKlein, David
Hilbert, HermannWeyl eRichardCourant, EberhardSchmidt dentremuitosoutros
notveis.
OconhecimentodahistriadesteperodorevolucionriodaMatemtica, e
especialmentedaAnlise, indispensvel paraumentendimentolcidodasinterconexes,
motivaesefinalidadesdasteoriasdesenvolvidasapartir da. Paraisto, asreferencias
abaixosorecomendadascomoumbomcomeo:
M. Kline- Mathematical Thought fromAncient toModernTimes, OxfordU.P., 1970.
C. Reid- Hilbert , Springer-Verlag,
C.Reid- RichardCourant, Springer-Verlag.
J .Dieudonn- AHistoryof Functional Analysis, North-Holland, 1980.
Nosenunciadosabaixo, iniciaremosareinterpretaoderesultados"clssicos"na
linguagemdeespaosmtricos, queaabordagemapropriadaecaractersticadaAnlise
Funcional.Oprimeirodelesindicaclaramenteaimportnciadoconceitodecompacidade,
quefoi introduzidodeolhonesteresultadoquesercrucial nademonstraodeexistncia
desoluesdeproblemaschamadosvariacionais, ouseja, aquelescujassoluesso
caracterizadascomomnimosdeumafuno.
TEOREMA: Uma funo contnua leva compactos em
compactos- Weierstrass
Sef: M
1
M
2
for umafunocontnuaentredoisespaosmtricos( M
1,
d
1
), e
( M
2,
d
2
) , eK M
1
, umconjuntocompacto,
ento, aimagemdeK pelaf , f(K) , serumconjuntocompactoemM
2
.
Demonstrao:
Sejay
n
f(x
n
) umaseqnciadepontosemf(K). ComoK compacto, existe
umasubseqnciax
np
eumelementox K ,
tal quex
np
x. (Ex.20b) . Masento, comof contnua, acorrespondente
subseqnciadey
np
tal que
y
np
f(x
np
) f(x) y, ondeobviamentey f(K). .
TEOREMA de WEIERSTRASS: Realizao de mximo para
funes contnuas reais em compactos
Sef: M R for umafunocontnuaentreumespaomtricoM,dearetareal
R, eK M , for umconjuntocompacto, ento, existiropontosx
m
ex
M
emK ,
taisquef(x
m
) f(x) f(x
M
) , paratodox K, isto, existiropontosx
m
ex
M
,
querealizamdefato(respectivamente) omnimoeomximodafunof emK.
Demonstrao
Umademonstraoauto-suficiente, quefaz usodo"mtododoleo" doClculo,
aseguinte.
Comof(K) limitado, tome[ umnmerotal quey [ , paratodoy f(K).
Construaagorarecursivamenteaseguintesequenciadenmeros, ( faaum
esboogeomtrico) : y
0
, qualquer emf(K) eo
0
opontointermedirioentrey
0
e
[.
Sef(K) |o
0
,[] , tomey
1
y
0
, casocontrrioescolhaumelementoy
1

f(K) |o
0
,[] .
Observeagoraqueasequenciay
n
nodecrescente, isto, y
n1
y
n
equeno
hnenhumelementodef(K) maior doquey
n
2
n
([ y
0
).
Comof(K) compacto, existeumasubsequenciay
n
P
queconvergeparaumponto
y f(K).
Convena-seagoradequeesteovalor mximodef . Paraomnimo, o
argumentoanlogo, ouusa-seafunof noargumentoacima.
Esteteoremapodeser generalizadoparafunescujosvaloresnosonumricos;
nestecaso, aimagemexibeascaractersticasgeneralizadasdeumconjuntolimitadoe
fechadodareta, isto, acompacidade.
Hsituaesdealguminteresseemqueaexistnciadepontosdemximopodeser
garantida(separadamentedaexistenciademnimo), seobservarmosquenademonstrao
doTeoremadeWeierstrass, mantidaacompacidade, bastaumacondiode
semi-continuidadesuperior ( respectivamente, superior) parachegarmosaumamesma
concluso. Esteconceitoantigoetambmfoi introduzidopor MauriceFrchet eRen
Baireem1899.(v. Apndice).
OenunciadodoTeoremadeWeierstrass, naverdade, umacaracterizaode
compacidade, ouseja,
TEOREMA:Caracterizao de Compacidade de um conjunto
pelas suas Funes
SeumespaomtricoM,dtal quetodasasfunescontnuasf : M R ,
f C
0
(M,R), atingemmximoemM , entoM necessariamentecompacto
Demonstrao
Suponhaque, por absurdo, existaumaseqnciax
k
) M quenoadmitaum
pontodeacumulao. Departidapodemosconsiderar queesteselementosso
todosdistintospois, seinfinitosndicesregistrassemummesmoelemento, ento
haveria, obviamente, umpontodeacumulaodaseqncia. Nohavendoponto
deacumulao, tomemosparacadaelementox
n
daseqncia, umabolaB(x
n
,r
n
)
quenocontenhanenhumoutroelementodaseqncia, excetooseuprprio
centro, econsideremosafuno:
n
: M R, cujosvaloressodefinidosda
seguintemaneira(faaumesboogeomtrico):

n
(x) n
rn
3
d(x,x
n
) parax B(x
n
,
rn
3
) , e

n
(x) 0parad(x,x
n
)
rn
3
.
Observe, ouverifique, queestasfunessocontnuasequeduasdelasnoso
coicidentementediferentesdezeroemnenhumponto.
Portanto, podemosdefinir afuno
n
: M R, (x)
k1

n
(x), queento
contnuaeobviamenteilimitada, oquecontradiz ahiptese.
Esteresultadoimportantenosentidodenosgarantir quetodasasafirmaessobre
compactospodem, deumaformaoudeoutra, ser traduzidasemtermosdasfunesreais
contnuasdefinidassobreele.A substituiodepropriedadestopolgicasdeconjuntospor
determinadasfamliasdefunescaracterizadaspor elas, umamodificaoradical de
pontodevistaetipificaumaestratgiasutil daMatemticacominmerasaplicaes
tericas.
OprximoteoremaconhecidopelonomedeTeoremadeHeine-Borel, devidoa
HeinrichHeine(1821-1881) queoutilizouinicialmentecomoum"princpio
fenomenolgico" nocontextodosnmerosreais, etemimportantesaplicaesnocontexto
maisgeral. Onomedo(maisimportante) matemticofrancsmileBorel (..-..)
possivelmentefoi agregadoaodeHeine, por umaquestodeautoridade; asaber!
TEOREMA DE HEINE: Continuidade em Compacto
Continuidade Uniforme
Sef: K M
2
for umafunocontnuaentredoisespaosmtricos( K,d
1
), e(
M
2,
d
2
) , sendoK compacto, ento, f seruniformementecontnua..
Demonstrao:
Considereafunodefinidadaseguinteforma: o(x) supr , taisquef
(B(x,r)) B(f(x),) ) paraumfixo 0ex K, emeditesobreointeresse
emanalisa-lacomrespeitocontinuidadedef .
Convena-sedeque, sendof contnua, entoo estbemdefinidaemK e
contnua.
Ento, deacordocomoTeoremadeWeierstrass, o atingemnimoemK . Seja
m
0
estemnimoque, sendoatingidoemumponto, digamosx
m
, deverser
positivo, m
0
o(x
m
) 0.
Ora, masentof (B(x,
1
2
m
0
) ) B( f(x), ) paratodososx K , oqueexprime
exatamenteatesedoTeoremadeHeine-Borel.
A demonstraomaistradicional desteteoremaseriapor argmentodeabsurdo, mas
consideramosqueaformaapresentadamaistil emaisesclarecedora..
Oconceitodeaproximaouniformejfoi abordadonadefiniodoespaomtrico
definidopeloconjuntodefuneslimitadasecomamtricauniforme: BA,M) , d

. Em
umcontextogeral podemostambmfalar deconvergnciauniforme.
Definio:Convergnciauniforme
Dizemosqueumasequenciadefunesf
n
entredoisespaosmtricos, M
1
eM
2
,
f
n
: M
1
M
2
convergeuniformementeparaumaoutrafuno : M
1
M
2
, se
paraqualquer 0, existeumN

tal qued(f
n
(x),(x)) paratodon N

e
todox M
1
.
A convergnciauniformeimportantenaconstruodefunescontnuaspor meiode
processosinfinitoseumdosteoremasfundamentaisdoClculodeumavarivel real afirma
queseumafunofor limiteuniformedeumaseqnciadefunescontnuas, entoesta
funolimitesercontnua. Esteresultadopodeser literalmentetransferido(assimcomo
suademonstrao) paraocontextodeespaosmtricos:
TEOREMA:O limite uniforme de funes contnuas uma funo
contnua
Seaseqnciadefunesf
n
contnuasentredoisespaosmtricos, M
1
eM
2
, f
n
:
M
1
M
2
convergeuniformementeparaumaoutrafuno:M
1
M
2
, ento
estafunolimitesercontnua.
Demonstrao:
RepitaargumentosdoClculo, quesosemelhantesquelesempregadosna
demonstraodoTeoremaabaixo.
Olimiteapenaspontoaponto, podeconstruir coisashorrorosasapartir defunes
muitobemcomportadas.(v. Apndice).
Umcaso, notofeio, olimitepontual daseqnciaf
n
(x) x
n
, quandoconsideradas
nointervalofechado[0,1]. Oconceitoealgunsresultadosclssicosdeconvergncia
uniformepodemser reinterpretadasdemaneiraconvenientenocontextodeespaos
mtricosdefunes. oquefaremosemseguida.
TEOREMA :Completude de espaos de funes com mtrica
uniforme
Oespaomtrico: F BA, M) conjuntodasfuneslimitadasdefinidasem
umconjuntonovazioA qualquer comvaloresno
espaomtrico(M,d),comamtricad

(f,g) Max
aA
d( f(a),g(a) ) , ser
completoseM for completo.
Demonstrao.
Seja
n
umaseqnciadeCauchyemF,d

. Ento, paracadax A , asequencia

emM dadapor
n
(x) deCauchypois,
d(
n
(x),
m
(x) ) d

(
n
,
m
) Max
aA
d(
n
(a),
m
(a) ).
ComoM completo, concluimosque
n
(b) convergeemM , ecommuitarazo
definiremosumafuno : A M , pontoaponto, como(x) lim
n
(x) ; a
candidatanatural paraser olimitedasequencia
n
BA, M).
Devemosmostrar que BA, M) e, depois, que, defato,
n
namtrica
d

, isto, quelimd

(
n
,) 0.
Mostraremosambospor meiodeumatriangularizao.
Seja 0e, combasenacondiodeCauchy, tomemosn

tal quepara
n,m n

tenhamosd

(
n
,
m
) .
Ento, paraqualquer x A temos, d( (x),
n
(x) ) d( (x),
m
(x) ) d(

m
(x),
n
(x) ) d( (x),
m
(x) ) .
Comoestadesigualdadevaleparatodososm,n n

, podemosleva-laaolimite
comm efixandon n

, deondetiramosque
d( (x),
n
(x) ) , oquevlidoparaqualquer x A en n

. Istosignifica
que limitadaelimitede
n
namtricad

.
OTeoremadeClculoacimamencionado, sobrelimiteuniformedefunescontnuas,
podeser enunciadonestecontextocomo:
TEOREMA :
Se(M
1
,d
1
) e(M
2
,d
2
) foremespaosmtricos, entoC
B
0
M
1
,M
2
) funes
f : M
1
M
2
contnuaselimitadas), umsubconjuntofechadodoespao
mtricoBM
1
,M
2
) , d

.
Demonstrao:
Suponhaentoque
n
C
B
0
M
1
,M
2
) eque
n
, onde BM
1
,M
2
).
Sejaagorax
0
M
1
e 0. Existeentoumn

tal quesen n

, d

(
n
,
) . Como
n
contnua, existeumabola, digamosB(x
0
,o) , tal que
n
(
B(x
0
,o) ) B(
n
(x
0
),).
Ento, paratodox B(x
0
,o) , temosd(
n
(x),
n
(x
0
)) d(
n
(x),
n
(x) ) d(

n
(x),
n
(x
0
) ) d(
n
(x
0
),
n
(x)) 3 .Fazendoagoran nesta
desigualdade, obtemosnolimited((x), (x
0
) 3 , Portanto, (B(x
0
,o)
) B((x
0
),3) oquedemonstraoteorema.
Seoespaomtricodesadafor compacto, ento, deacordocomoteoremade
Weierstrass, todasasfunescontnuassolimitadas. Oteoremaabaixoexprime
estefatoemumaformaapropriadaparaaAnliseFuncional, ondeele
desempenhaumpapel central.
TEOREMA:Funes contnuas em espaos compactos com
mtrica uniforme
Se(K,d) for umespaomtricocompactoe(M,d
0
), outroespaomtrico, ento
oconjuntoC
0
K,M) funescontnuasf : K M) , umsubconjunto
fechadodeBK,M) , d

.
Exerccio
38)- Demonstreoteroremaacima.
A constataodequeumaseqnciadefunescontnuasconvergeuniformemente
paraumaoutrafuno, portanto, umfatonotvel queemmuitassituaespodeacarretar
resultadosinteressantes.Umimportanteteoremadaanlisereal queestabeleceumcritrio
suficienteparaqueaconvergnciapontual sejatambmuniforme, devidoaomatemtico
italianoUlisseDini(1845-1918) que, nocontextodeespaosmtricostomaaseguinte
forma:
.
TEOREMA DE DINI :Monotonicidade pontual em um compacto
produz uniformidade
SejaK umespaomtricocompactoe
n
C
0
K,R)umaseqnciadefunes
contnuasdevaloresreais, taisque
a)
n1
(x)
n
(x) , paratodososx K etodososn, isto, aseqncia
pontualmentenocrescente,
b) lim
n

n
(x) 0, paratodososx K.
Entoolimiteuniformeou, emoutraspalavras,
n
0noespaomtrico
C
0
K,R) , d

.
Demonstrao:
Seja 0econsideremososconjuntosE
n
{x K ;
n
(x) ). Gostaramos
deprovar queparaalgumnesteconjuntoservaziopoisE
n1
E
n
. Suponha
queno, eselecioneparacadannatural umelementox
n
E
n
, eemseguida
(pelacompacidadedeK) tomeumasubseqnciax
n
P
K. Mas, como
lim
n

n
() 0, existeumn

tal que0
n
()
1
2
. Por outrolado, sendo

n
contnuaexisteumabolaB( , o) tal que
n
()
n
(x)
1
2
para
qualquer x B(,o).
Assim, por triangulao, teremosqueparatodox B(,o) ,
n
(x) , epela
monotonicidade,
n
(x)
n
(x) paratodosn n

.
Ora, masistoimpossvel umavez que umpontolimitedex
n
P
paraosquais,

n
P
(x
n
P
) .
.
Exerccios:
39)DemonstreoteoremadeDini utilizandoanegaoformal dequea
convergenciauniforme. (isto, usandoosquantificadores , ).
40)-D(contra) exemplosdequefaltandoapenasumadecadavez dasseguintes
condies, oteoremafalso:
i)compacidade,
ii)monotonicidade,
iii) continuidadedasfunes.
Umafunocontnuaqueterumagrandeimportncianoestudodeaproximaode
funespor umsubconjunto( emespaosmtricosdefunes) adefinidapeladistncia
deumpontoaumsubconjunto.
Definio:
AdistnciadeumpontoxemumespaomtricoM aumsubconjuntoA deM,
denotadaedefinidapor :
d(x, A) infd(x,a),a A). Analogamentesedefinedistnciaentre
conjuntos; d(A,B) infd(a,b) ; a A,b B).
Exerccios:
41)-Mostrequeafunodistnciadepontosaumconjuntofixocontnua.
42)-MostrequeseK for compacto, entoparacadax
0
M existepelomenosum
K , tal qued(x
0
,K) d(x
0
,). Diz-senestecasoque atingeourealizaa
distnciaouentoque uma(nonecessariamenteanica) melhor
aproximaodex
0
por meiodeK.!
43)Considereoespaomtrico(B|0,1],R),d

) eosubconjuntodasfunes
polinomiaisdegrau 2. Mostrequeesteconjuntofechadomasnocompacto.
Mesmoassim, obtenhaumpolinomiodesegundograuquemelhor aproximaa
funof(x) e
x
noespaomtrico(C
1
|0,1],R),d
1
) enoespao
(B|0,1],R),d

).
Umoutroteoremaque, apesar deabstratonestecontexto, serimportantenoestudoda
dependnciadesoluesdeequaesgeraiscomrespeitoaosdados, devidoaonotvel
matemticorussoAndrei NikolaievichTikhonov(!906-1993), famosopor ter iniciado
vriasteoriasemtodosimportantesdaMatemticaesuasaplicaes.
UmdosproblemasmaisuniversaisefundamentaisdaMatemticasoasequaes, que
genericamentepodemser expressasnaformafuncional daseguintemaneira: f(x) a,
ondeavarivel x Maincognitaea Aoparmetro, ouum"dado" do
problema.(J .Kazdan-Solvingequations, Am.Math.Monthly....).Sesemprehouver soluoe
nicaparatodoaemumconjuntoA, podemosescreve-lanaformadeumafunox(a),
x : A M. Umavez garantidaaexistnciaeunicidadedasoluo, aprximaquesto
natural quesurgeserefereestabilidade("robusts", ou"sensitividade") dasoluocom
respeitoaperturbaesdoparmetro(ou"dado") adoproblema, ouseja, sobrea
continuidadedafunoinversa,x(a).
Equaesfuncionais, ondeaincognitaumafuno, soparticularmente
importantes.Por exemplo, considereumtpicoproblemadevaloresiniciaisparaequaes
diferenciaisordinriaslinearesdaforma:
dx
dt
Ax(t) ;x(0) a., ondeAumamatriz real
n neaincognitaumafunoinfinitamentediferencivel x : R R
n
, ouseja,
x M C

(R,R
n
).Podemosobviamentereformular esteproblemaeescrev-locomo
umaequaofuncional daseguintemaneira: (x) a, onde(x) x(t)
0
t
Ax(s)ds
umafuno : M Mea A M, osubespaodasfunesconstantes.
Oteoremaaseguir, emboranoaplicvel diretamenteaoproblemaacima, nosduma
simplesmasimportanterespostanestesentido.
TEOREMA DE TIKHONOV I: Estabilidade de solues nicas
para equaes em um compacto
Sef : K M for umafunocontnuaebijetoraentredoisespaosmtricos,
sendoodomnioK compacto, ento,
f
1
, isto, asuainversa, sercontnuaemM.
Demonstrao:
Considereumasequenciay
N
yemM , easuapre-imagemx
N
f
1
(y
N
) emK.
Devemosentoprovar quex
N
convergeparax f
1
(y) , ouseja, que 0,
N

, N N

, d(x
N
,x) .
Suponhamosqueistonosejaverdade, isto, que:
0
0, N, P
N
N,
d(x
P
N
,x)
0
.
Dadoentootal
0
, construiremosrecursivamenteaseguintesubsequencia: para
ointeiroN 1, tomamosuminteiroP
1
1paraoqual d(x
P
1
,x)
0
.Obtemos
x
P
R1
tomandouminteiroP
R1
P
R
etal qued(x
P
R1
,x)
0
.
Estanovasequencia(x
P
R
) , ( nondiceR) , admiteumasubseqncia( emJ ),
x
P
R
J
queconvergeparaumponto x K.
Ora, masafunof contnuaemx e, portantof( x
P
R
J
) f( x). Como
f(x
P
R
J
) y
P
R
J
y, temosy f( x) , econcluimos, pelainjetividadedef, que
x x. Masistoimpossvel umavez queasubsenciax
P
R1
foi construdafora
dabolaB(x,
0
) enopoderiaseaproximar dex.
Observaes:
1- M sertambmcompacto.
2- A demonstraotopolgicadesteteoremaconsideradaimediata( pelos
toplogos!).Comocuriosidade: SejaU umabertodeK.
Seucomplementar K U sendofechado, umcompactoemK. Comof
contnua, f(K U) compactoe, portanto, fechado. Por conseqncia, oseu
complementar aberto, e, pelabijetividadedef , deveser exatamente
f(U) imageminversadeU pelaf
1
.
claroqueoimediato aqui dependedafamiliariadecomosargumentos
topolgicos, masesteumbomexemplodaeventual convenienciadalinguagem
topolgica. conjuntista.
3-Esteteoremanochamatantaaatenonocasodefunesreaisondea
compacidadeprescindvel. Mostrequesef: I J for contnuaebijetiva, entoa
inversasercontnua, ondeI umintervalodaretareal. R. NocasoR
n
, acoisa
bemmaiscomplicada!
Osexercciosseguintesapontamparaaslimitaes(contra-indicaes) douso
desteteorema.
.
Exerccio:
44)-Considere
a)-OEspaoMtricoM
1
|0,1) comamtricausual dosreais,
M
2
S
1
z C, |z| 1)"Crculounitrionoplanocomplexocomamtrica
usual" eafuno : |0,1) S
1
, (t) exp|2mit]. Mostreque contnua,
bijetora, masasuainversanocontnua. Istomostraqueacompacidadedo
primeiroespaonoTeoremadeTikhonovessencial; eoespaodechegada
compacto!
b)OEspaoMtricoM
1
C
0
|0,1] , comamtricad

, M
2
g C
1
|0,1] , tais
queg(0) 0}, d

, e
afunoser : M
1
M
2
, onde(f) (s)
0
s
f() d .Mostreque
contnua, bijetoramasasuainversa, aderivada, notoriamentedescontnuana
mtricauniforme(sup).
Estes(contra-) exemplosnoestoaqui sparaescndalo, elessoimportantese
voltaroemoutrasoportunidadesesobvriosdisfarces!Entenda-osbem. Oprimeiro
exemplotemuma"deficincia"deordemgeomtricaemsuascondies, enquantoqueo
segundotemuma"deficincia" deordemanaltica!
Emparticular, conclumosqueesteespaomtrico, C
0
|0,1] , d

, nocompacto.
Asfunesbijetorasebicontnuassoimportantespois, comovimos, nosgarantemque
suasequaestmsoluo, nicae, principalmente, estvel comrelaoa
perturbaes.Umafunodestaclassedecertaformaidentifica(comoemumespelho) os
processosdeconvergnciadedoisespaosmtricose, comissoadquirimosapossibilidade
deestudar umprocessopelasuaimagemnooutro, talvez maisconveniente.EmMatemtica
(Bourbakista) estetipodeidentificaodenominadodemorfismo.
Definio:HomemomorfismoTopolgico
Umafunobijetoraebicontnuaentredoisespaosmtricos(isto, quandof e
f
1
existemesocontnuas) chamadadehomeomorfismotopolgico. Estetipo
defunoidentificanosomenteosconjuntosmas, tambmaTopologia, ouseja,
identificaasduasnoesdeconvergncia.
OteoremadeTikhonovmostracomopodeocorrer estaidentificao. Alis, nocontexto
desteTeorema, maisdoqueasseqnciasconvergentessoidentificadas,mastambmas
seqnciasdeCauchy.(Porqu?).Estasquestesocorremcommuitafreqnciaquandoos
espaosmtricosdiferemapenasdamtrica, ouseja, quandooconjuntobase omesmo.
E, comoperguntar podeconstranger masnoofende, afunoidentidade(tuquoque,
Brute?) podeser descontnua? Vejaoexerccioabaixo..
Oqueestamosquerendosaber simplesmenteseasseqnciasqueconvergemeos
seuslimitessoosmesmoscomasduasmtricas!
Exerccios:
45)-Mostrequeafunoidentidadeentreosespaosmtricos(C
1
|0,1],d

) e
(C
1
|0,1],d
1
) contnuaemumadireoedescontnuanaoutra.(!).
46)-Mostre, por outroladoeutilizandooTeoremadeTikhonovque, seafuno
identidadefor contnua, eumdosdoisespaosmtricos, (M,o
1
) ou( M,o
2
) ), for
compacto, entoasduasmtricasserotopologicamenteequivalentes.
Algunsespaosdispedeumaestruturaapropriadaparaousodeargumentosdestetipo
aindaquenosejamcompactos, bastandoparaissoquesejamlocalmentecompactos, isto
, quecadapontotenhaumabolacentradacompacta. OsR
n
soostpicoslocalmente
compactosporquequalquer bolafechadaemR
n
umconjuntofechadoelimitado, e
portanto, compacto. Tanto, quepareceser umapropriedadeuniversal; masno! Alis,
Exerccio:
47)-MostrequeabolaunitriafechadadoespaoC
1
|0,1] , d

nocompacta,
usandooTeoremadeTikhonoveosexercciosanteriores.
.
CONSTRUO ABSTRATA DE ESPAOS
MTRICOS
.
Nositensacimajapresentamosdepassagemalgumasmaneirasdeconstruir novos
espaosmtricos.Algunsserorepetidosaqui.
Oprincipal mtodoaser apresentadoequeseconstitui noargumentobsicopara
construotericadevrioseimportantesespaosmtricosemAnliseFuncional, ser
descritopeloTeoremadeCompletamentoque, naverdadeumaabstraodomtodode
construodosnmerosreais.Todasasconstrues, dealgumamaneira, sorealizadaspor
meiodeconjuntosdefunes, razopelaqual abordamoslogonoinciodestasnotasalguns
exemplosmaissimplesegeraisdestes. Maisafrente, emoutroscaptulos, ampliaremos
consideravelmenteavariedadedeexemplosdeespaosfuncionais..
.
ESPAOS QUOCIENTES
.
Comecemoscomumexemplosimples, masrepresentativo. Considereoconjuntodas
funesescadadefinidasem[0,1] ecomvaloresreais:
E|0,1],R) f : |0,1] R, tal queexisteumaseqnciafinitax
i
|0,1],
0 x
1
x
2
.... x
n
1, ef constanteemcadasubintervalo(x
i
,x
i1
) ).
Seestamosinteressadosnoclculodasintegraisusuaisdestasfunes, observamosque
osvaloresqueelastomamnasextremidadesdossubintervalosnoinfluemnoresultado.
Assim, paraestepropsito, duasdestasfunesquedifiramapenasemumnmerofinito
depontosdeextremidades, podemser consideradascomorepresentantesdomesmo
objeto.Vejamoscomotratar estaquesto.
ObservequesedefinimosemE|0,1],R) umamedidadedessemelhana

1
(f,g)
|0,1]
f(x) g(x) dx, fcil concluir queelasatisfaz todasascondiespara
ser umamtrica, excetoapositividadedefinida, isto, existemfunesdistintasf gtais
que
1
(f,g) 0.
Definiao:Pseudomtrica
SeS for umconjuntoe : S S Sumafunopositiva, simtricaeque
satisfaz condiodetriangularizao(isto, todasaspropriedadesdeuma
mtrica, exceto, possivelmente, apositividadedefinida) ento chamadade
pseudo-mtricaemS.
LanaremosmoagoradeumrecursoabstratomuitocomumemMatemticaque
definir umarelaodeequivalenciaentremembrosdeumconjunto, isto, umarelaaoque
satisfaz scondies: reflexividade, transitividadeesimetria. : f gse

1
(f,g) 0.(v.Birkhoff-McLane)
Exerccio:
48)Verifiqueasafirmaesacima, ouseja, que
1
umapseudo-mtricaequea
relaof gse
1
(f,g) 0 ,defato,deequivalncia.
Emseguida, consideramosochamadoConjuntoQuociente E / formado
pelasclassesdeequivalncia. Cadaelementode E / serumaglomerado
defunesescadaquediferemumasdasoutrasapenaspelosvaloresemum
nmerofinitodepontos.
Seg E , entochamamosde g E / comosendoaclasse( conjunto,
aglutinado..) detodasasfunesescadaf taisque
1
(f,g) 0, ousejaasfunes
equivalentesag.
Observequeumaclassedeequivalnciapodeser representadapor qualquer umdeseus
membros, eestaumaboarepresentaoumavez quecadaelementopertenceapenas
umaclassedeequivalncia.
Passamosentoaconsiderar deagoraemdianteapenasoconjuntoquociente E /
declassesdeequivalncia.
Estetipodeargumentopodeser empregadoemqualquer conjuntoemqueesteja
definidaumarelaodeequivalnciamas, nomomento, estamosinteressados
especificamenteapenasquandoestetipodeequivalnciageradopor umapseudo-mtrica.
Deixemosagoraoexemploespecficodasfunesescadaetratemosdeumcaso
abstratoemquetemosumconjuntoSeumapseudo-mtrica.
Denotaremosoconjuntoquocientepor S/ M .
Nesteconjuntoquocientedefiniremosoqueesperamosser umamtricaparamedir
distnciasentreclassesdeequivalncia,e, omaisnatural seriadaseguintemaneira:
d(o,[) (f,g) , ondef o eg [. claroquepodehaver fortessuspeitasdequea
definioacima, dadaemtermosdedoisrepresentantesdasrespectivasclassesde
equivalncia, talvez dependadestaescolha, oqueatornariainconsistente.Masistoser
resolvidonoprximoTeorema-exerccio.
.
Exerccio:A definiodemtricaemConjuntoQuocienteConsistente
49)-Mostrequese for umapseudo-mtricaemM , entonoconjuntoquociente
M M / possvel definir umamtricadaseguinteforma:
d(o,[) (f,g) , ondef o M eg [ M. Observao: Comecepor
mostrar queadefinioconsistente.
Esteprocedimentoserutilizadoparaaconstruoinicial doteoremade
completamentooqual passaremosadescrever comoumexemplodeaplicaodesta
tcnica.
Sugirofortementequea(o) leitora(o) mantenhasempreemmenteomtodode
construoerepresentaodecimal dosnmerosreaiscomoummodelomental e
concretodosargumentosabstratosqueseseguiro.
Considereumespaomtrico(M,d) e, neste, oconjuntodetodasasseqnciasde
Cauchy, (nonecessariamenteconvergentes, seM nofor completo), denotadopor:
S|M] x : N M , tal quex(k) x
k
umaseqnciadeCauchy, isto, lim
m,n
d(x
n
,x
m
) 0).
Meditesobreosignificadogeomtricodaseguinteafirmao:
TEOREMA: Espao Mtrico das Seqncias de Cauchy
Podemosdefinir umapseudomtricaemS|M] daseguinteforma:
(x,y) lim
k
d(x
k
,y
k
), edefinir umamtrica dcorrespondentenoespao
quocienteS/ S |M] .
Demonstrao:
Devemosverificar inicialmentequeadefiniode realizvel. Paraisto,
mostraremosqueexisteolimitedaseqnciadenmerosreaisr
k
d(x
k
,y
k
) ,
bastandoparatantomostrar queumaseqnciadeCauchydenmerosreais.
Usandoatriangularizaoapropriadamente,
r
k
r
n
d(x
k
,y
k
) d(x
n
,y
n
). d(x
k
,x
n
) d(x
n
,y
n
) .d(y
n
,y
k
).d(x
n
,y
n
). d(x
k
,x
n
).d(y
n
,y
k
),
edamesmaformar
n
r
k
d(x
k
,x
n
).d(y
n
,y
k
) . Portanto,
r
n
r
k
d(x
k
,x
n
).d(y
n
,y
k
) deondeconcluimosodesejadojqueolado
direitotemlimitenuloparan,k .
Orestantedademonstraoserdeixadacomoexerccio.
Podemosagorausar oconceitodeespaoquocienteedefinir inicialmenteoconjuntode
classesdeequivalnciadeseqnciasdeCauchy, S/ S |M] . Observequeacada
g S|M] temosassociadaumaclassedeseqnciasdeCauchy g , ef g , se
limd(f(k),g(k)) 0.
Observeaindaquese, paracadaz M tomarmosaseqnciadeCauchy(constante)
x
k
z, asuaclassedeequivalnciaserformadaexatamentepor aquelasqueconvergem
paraz. IstosignificaqueoselementosoriginaisdeM podemser interpretadoscomo
cidadosdeM e, mais, casooespaooriginal sejacompleto, oqueteremoscomM ser
meramenteoprprioM poiscadaseqnciadeCauchyestarnaclassedeequivalnciade
seulimite.
NosendooespaoM completo,todavia, haverclassesdeequivalnciacujas
seqnciasdeCauchynoconvergem. Portanto, podemospensar emS |M] comouma
extenso("completamento" serotermocorreto) doespaoM.Esteprocedimentouma
ferramentabsicadaMatemticaeteveasuaorigemnaconstruodosnmerosreaisa
partir doconjuntodenmerosracionais.Naconstruodosnmerosreais, convenciona-se
quearepresentaodecadanmeroreal feitaatravsdeumaseqnciaespecial chamada
expansodecimal. Masistonopossvel desefazer nocasoabstratoe, portanto, o
objetomatemticoclassedeequivalncia, por maisdesconfortvel queseja, deveser
trabalhadocomotal. Veremosmaisadiantequeumadastarefasposterioresconstruode
umespaoquocienteconcreto, acaracterizaodasclassespor meiodeseusproprios
elementos.
Usaremosagoraestaconstruoinicial paraconcluirmosumprogramadeconstruo
anlogoaodosnmerosreaiscomoteoremadecompletamento.
.
COMPLETAMENTO
.
TEOREMA: Completamento
Dadoumespaomtrico(M,d) , oespaomtricodasclassesdeequivalnciade
suasseqnciasdeCauchycomamtricainduzida, S|M]/ S|M], d , que
denotaremospor (M, d) ,
i) completo,
ii) M estisometricamenteimersoemM , isto, existeumafunoinjetiva
i : M M, tal que d(i(x),i(y)) d(x,y) (Estaimagemi(M) M ser
identificadaaMedenotadapelomesmosmbolo),
iii) M densoemM , e
iv)Ocompletamentoniconosentidodequequalquer outroespaomtrico
completoM emqueM estdensamenteeisometricamenteimerso, sertambm
isomtricoaM.
Demonstrao:
i) SejaentoumaseqnciadeCauchyo
j
emM .Tomemosrespectivas
seqenciasrepresentantesemM, f
j
o
j
, isto, f
j
o
j
.
Ento, lim
i,j
d(o
i
,o
j
) lim
i,j
lim
k
d(f
i
(k),f
j
(k)) ) 0. Observeos
limitesiterados!
Onossoobjetivoconstruir umaseqnciadeCauchyg :N M , tal que
lim
j
d( f
j
, g) lim
j
{lim
k
d(f
j
(k),g(k)) ) 0.
UtilizaremosparaistoumaideiadevidoaGeorgCantor denominadaconstruo
diagonal , por motivosquesetornaroclarosembreve.
Definiremosg(k) f
k
(n
k
) , onden
k
tomadodetal formaqueparatodom n
k
tenhamos, d(f
k
(m) ,f
k
(n
k
)) k
1
, oquepossvel umavez quecadaf
k
uma
seqnciadeCauchy. ( Norazovel agoraadesignaodemtododiagonal
?).
Dadoagoraum 0, tomemosumJ
o
, tal queJ
o
1
esei,j J
o
, tenhamos
d(o
i
,o
j
) lim
k
d(f
i
(k),f
j
(k)) .
Masento, sek,s J
o
, temos, (triangulando, inserindoumndicemadireitae
fazendom ),
d(g(k),g(s)) d(f
k
(n
k
),f
s
(n
s
)) d(f
k
(n
k
),f
k
(m)) d(f
k
(m),f
s
(m)) d(f
s
(m),f
s
(n
s
)
e, portantog S|M].
Devemosmostrar agoraqueo
j
g ( namtrica d ).
Seja 0etomemosJ
o
tal queJ
o
1
esem,j J
o
tenhamos
d(g(m),g(j)) .
Tomamosentok(j) n
j
( J
o
). Seagorak k(j) n
j
temosqued(f
i
(n
j
)
,f
j
(k)) j
1
J
o
1
e
d(g(k),f
j
(k)) d(g(k),g(j)) d(f
j
(n
j
),f
j
(k)) J
o
1
2 (observandoque
g(j)) f
j
(n
j
) ).
Portanto, lim
k
d(g(k) , f
j
(k)) 2 sej J
o
,oquenoslevaconcluso
desejada.
Enfim, M, d umespaomtricocompleto.
ii)Paracadaelementox M , tomemosacorrespondnciai(x) classede
equivalnciadaseqenciaconstante(x,x,.......)
fcil verificar quei : M M defatoinjetivaeisomtrica.(Exerccio).
iii)Sef S|M], dadoum 0, tomemosn
o
, tal quesem n
o
, entod(f(m)
,f(n
o
)) . fcil ver agoraquei( f(n
o
) ) distanomximo de f M, ou
seja, M densoemM.
iv)Sejaagoraj : M M umaoutraimersodensaeisomtricaemM completo.
Dado x M, tomemosumaseqnciadeCauchyx
k
M , tal quei(x
k
) x.
Mascomoj isomtrica, j(x
k
) tambmdeCauchyemM eportantoconverge
paraum

x.
Nodifcil demonstrar queacorrespondenciaentre x e

x uma
isometria.(verifique).
A continuidadeuniformenospossibilitarconstruir novasfunes, (etambmnovos
espaosdefunes), assimcomoestender operaesfuncionaisoriginalmentedefinidasem
conjuntossimplesereduzidosdefunes, paraconjuntosmuitomaisamploseteisque
seroconstrudospor meiodoTeoremadeCompletamento. Esteprocessoatingiroseu
clmax(nestecurso!) comadefiniodeintegraisdefunesgeneralizadas(Lebesgue) a
partir daintegraisdeRiemannparafunesescada. Umdosargumentosbsicospor meio
doqual realizamosestaconstruo, (ooutrooTeoremadoCompletamento! ), ser
apresentadonaformadoseguinte
TEOREMA: Extenso de funes uniformemente contnuas ao
fecho do domnio
Considereumespaomtrico(M,d
0
), umsubconjuntodensoA M euma
funouniformementecontnua f : A S, onde(S,d) umespaomtrico
completo.
Ento, existeumanicaextensocontnuadef , quedenotaremospor
f : M S, isto, f (a) f(a) , a A ef C
o
|M,S].
E mais, estafunof tambmuniformementecontnua.
Demonstrao:
Comof uniformementecontnua, elatransformaseqnciasdeCauchydeM
emseqnciasdeCauchyemS.(v. Exerccioarespeito).
Sejay M tomamosumaseqnciaa
n
A tal quea
n
y( queexistepoisA
densoemM ) . Comoa
n
convergenteemM eladeCauchyeportanto, f(a
n
)
deCauchyeconvergenteemS, digamosf(a
n
) u.Tomandoagoraoutra
seqnciab
n
A tal quetambmb
n
y, digamosagoraquef(a
n
) v.
Consideremosatriangulao:
d(u,v) d(u,f(a
n
) ) d( f(a
n
),f(b
n
) ) d( f(b
n
),v).Lembrando-nosda
continuidadeuniformedef efazendoolimiten natriangulao, concluimos
qued(u,v) 0e, da quelimf(b
n
) limf(a
n
).Portanto, destamaneira,
possvel definir consistentementeosvaloresde f (y) paratodoy M
f (y) limf(a
n
) ondea
n
A qualquer seqnciatal quea
n
y.Estemesmo
argumentomostraqueovalor definidopara f (y) onicopossvel para
quef sejaextensocontnuadef.
Paramostrar quef uniformementecontnua, consideremosdoispontos
quaisquer xey M eduasseqnciasa
n
eb
n
A , taisquea
n
xeb
n
y.
Pelacontinuidadeuniformedef emA , dadoc 0, existeo 0tal quese
d
0
(a,b) o entod(f(a),f(b)) c.
Mas, sed
0
(x,y) o , claroqued
0
(a
n
,b
n
) o parandepoisdealgum
determinadon
0
. Considerandoatriangulao
d( f (x), f (y) ) d( f (x),f(a
n
) ) d( f(a
n
),f(b
n
) ) d(f(b
n
), f (z) )
efazendon acabaremospor obter qued( f (x), f (y) ) c .
Observao:
VoltemosaoexemplodametrificaoRiemannianadoplanocomplexopor
intermdiodaprojeoestereogrfica. Comovimos, nestamtrica, oplanose
tornalimitadomasincompleto. Paracompletarmosesteespaomtrico
verificamos, geometricamente, quebastaincluir umpontoque, por motivos
bvios, chamaremosdeinfinito, . equenestaidentificaoestassociadoao
poloNortenaesfera.Estepontoaclassedeequivalnciadasseqnciasde
Cauchyque"divergem" paraoinfinitoTodasasoutrasseqnciasdeCauchy
convergemparaumpontodoplano fcil ver quecomisso, noapenas
completamos, mastambmcompactificamosoplano, ouseja, adicionadocom
estenovopontoedotadodamtricaestereogrficaRiemannianaoplanosetorna
tambmcompacto! Esteprocessodecompletamentochamado
"compactificao". (v. L. Ahlfors- ComplexAnalysis, McGraw-Hill, 1966.)
.
PRODUTOS CARTESIANOS DE ESPAOS
MTRICOS
Suponhaquetenhamosumafamliafinitadeespaosmtricos(M
i
,d
i
). Definimoso
conjuntoprodutocartesianodosconjuntosM
i
comosendooconjuntodeseqncias
(x
1
,x
2
,.........x
k
) xondex
i
M
i
eodenotamospor
0ik
M
i
M
1
....M
k
.
Hvriasmaneirasdemetrificar oespaoprodutopor meiodasmtricasdosfatorese
muitasdelassoreminiscentesdosexemplosdemtricasdoR
n
,por exemplo:
d

(x,y) maxd
i
(x
i
,y
i
))
d
1
(x,y)
0ik
d
i
(x
i
,y
i
)) eetc.
Emtodososcasos, oquerealmentenosinteressadefinir umsentidodeconvergncia
quesintetizeemumasdistnciaasconvergnciaspor (todas) coordenadas, isto, queseja
vlidaaequivalncia:
lim
k
x
i
(k)
x
i
(emM
i
) quandok , paratodo1 i n x
(k)
x(em
M
i
M
i
).
Oproblemasetornamaissutil quandotemosumacoleoenumervel deespaos
mtricosM
i
comi correndoemtodoN. A experienciadosexemplosemR
n
, so
inaproveitveisnaformacitadaacima, poisteramosumaquantidadeinfinitadetermos
paraconsiderao.
A segundaquestoserefereaofatodanecessidade(ouno!) dequeaconvergncia
coordenadaacoordenadaseduniformemente. Seistonoacontece, algumaspropriedades
dosespaosmtricosfatorespodemser perdidasnoproduto.
Notentaremosanalisar situaesgenricas, masoptaremospor estudar umaclassede
metrificaodeprodutoscartesianosdeespaosmtricosquesuficienteparaosnossos
propsitos. A topologizaodeprodutoscartesianos, noenumerveisemgeral, e
constataodequepropriedadesimportantesdosfatoressoherdadospeloproduto, o
temadeumfamosoTeoremadeTikhonov, omesmoA.N.Tikhonovcitadoanteriormente..
Apresentaremosapenasumaversoespecial desteteorema. (Ocasogeral podeser
consultadoem: M.Reed-B.Simon- Functional Analysis, vol 1Acad. Press1974).
A estratgiacomumenteutilizadaparaaresoluosatisfatriadestaquestopartede
umare-metrificaodecadaM
i
, tornando-alimitada, masretendoamesmaestruturade
convergncia, umapossibilidadeanteriormenteestudada. Utilizemos, por exemplo, uma
dasmodificaes
d
0
(x,y)
d(x,y)
1 d(x,y)
edefiniremosumamtricaem
i
M
i
M daseguintemaneira:
d

(x,y)

0i
2
i
d
i
(x
i
, y
i
)
1 d
i
(x
i
, y
i
)
Exerccios:
48-)Mostrequed

(x,y) definidaacima, defato, umamtricanoproduto

cartesianoM M
i
.
49-)Mostreaequivalncia: "x
(k)
x( namtricad

emM ) cada
coordenadax
i
(k)
x
i
( namtricarespectivad
i
)".
Observao:
Paramostrar avolta, dado 0, tomem
0
tal quesen m
0
,
mm
0
2
k
.
Agora, lidandocomumnmerofinitodendices, obtenhaumk

tal quesek k

, d
i
(x
i
(k)
,x
i
) paratodososi , 0 i m
0
, econcluaoresultado.
.
.
TEOREMA de Tikhonov II: Espaos Mtricos Produtos
Se(M
i
,d
i
) for umafamliaenumervel deespaosmtricose(M
i
M
i
,d

)
for oespaomtricoprodutoacimadefinido, ento
1- x
(k)
x( namtricad

emM
i
M
i
) cadacoordenadax
i
(k)
x
i
( na
respectivamtricad
i
).
2-Setodosos(M
i
,d
i
) foremcompletos, ento(M,d

)sercompleto,
3-Setodosos(M
i
,d
i
) foremcompactos, ento(M,d

) sercompacto.
Demonstrao:
1-Exerccio.
2-Suponhaquetodosos(M
i
,d
i
) sejamcompletoseconsiderex
(k)
umaseqncia
deCauchyem(M,d

).Ento, comod
j
(x
j
(k)
,x
j
(m)
) d(x
(k)
,y
(m)
) , temosquecada
umadasseqnciascoordenadasdeCauchy, eportantoconvergente.Usandoo
argumentoparaaestimativasugeridanoexerccioacima, conclui-sequex
(k)
convergeparaoelementodeM cujascoordenadassooslimitesdasseqncias
coordenadas.
3-Suponhaquetodososespaosmtricos(M
i
,d
i
) sejamcompactoseconsidere
x
(k)
umaseqnciaqualquer emM. Considereagoraasub-seqnciaconstruida
recursivamentedaseguintemaneiratelescpica- diagonal: x
1
(k)
dispedeuma
subseqnciaqueconvergeparaumdadox
1
M
1
.Denomineosndicesdestana
formak
j
.
A seqenciax
(k
j
)
, em j , podeser tratadadamesmaformaqueaanterior
tomando-seumasubseqnciaempdondicej tal queasegundacoordenada
convirjaparaumelementox
2
. Observequeasub-seqnciaempdaprimeira
coordenadacontinuaconvergindoparaomesmox
1
umavez quesub-seqncia
deseqncia(emj) convergente.
E assimprogressivamenteadinfinitum.
Agoraadiagonalizao: Tomamosasub-seqnciadiagonal dendicesque
convergirparaoelementodoespaoprodutocujascoordenadasforamobtidas
sucessivamentecomolimitesdesub-seqnciasdasrespectivascoordenadas.
Esteargumentomelhor compreendidopor meiodeumesquemaemum
quadriculadoquerepresentendicesdaseqncianavertical endicesdas
coordenadasnahorizontal; experimente!
Esteteoremateraplicaesnaconstruodediversosespaosmtricosfuncionais,
temadoprximocaptulo.
APNDICE
I-TEOREMA DE HEINE-BOREL: Tologicamente correto
A abordagemdesteresultadopor algumastribosquepreferemumaviamais
"topologicamentecorreta" (conjuntista) faz usodoconceitoderecobrimento, quetambm
til emoutrosargumentos.
Definio:
UmafamiliadeconjuntosA
z
), nonecessariamenteenumervel, sediz
recobrimentodeumconjuntoB, se B A
z
.
Exerccios:
37a)-A uniformidadecontnuadef emK podeser expressadaseguintemaneira:
0, o

0, x,y K comd(x,y) o

, temosd(f(x),f(y)) , Escreva
anegaoformal destaafirmaocomtodoocuidadolgicoesuponha-a
verdadeiracomoprimeiropassoparaumademonstraodoTeoremade
Heine-Borel por absurdo.
Tomeentoo
o
quesupomosexistir por absurdo. Agora, parao

stome
1
N
epara
cadaumdestesosseusrespectivosx
N
ey
N
K , comd(x
N
, y
N
) o.ComoK
compacto, existeumasubsequenciax
N
K
eumlimitedelaemK , digamosx.
Fazendoomesmocomasequenciay
N
K
, conclui-seodesejado.
37b)-Mostrequeemumespaomtrico, K umconjuntocompactoseesomente
sedetodorecobrimentodeK feitopor umafamliadebolasabertasB
z
),
possvel retirar umasubfamliafinitaB
z
1
,.....,B
z
N
), queaindaum
recobrimentodeK .
Emtribosmaistopologicamentecorretasestacaracterizaotomadacomo
definiodeconjuntocompacto, emlugar dadefinioseqncial adotadaaqui.
II-Os Teoremas Clssicos de Weierstrass e a Bipartio
OsteoremasclssicosdeBolzanoWeierstrassdaAnliseReal podemser
demonstradoscomarumentossemelhantesutilizandoaestratgiadebipartio,
ou, encantoamento. Enfatizaremosestaconexonaapresentaoabaixo.
PrincpiodeBolzano
Qualquer seqncialimitadadenmerosreaistempelomenosumpontode
acumulao, epodemosescolher umasubseqnciadelaqueconvergeparaeste
ponto.
Demonstrao:
Sejax
n
umaseqncialimitada, digamoscontidanointervalo|a,b] ,
b a h.Faamosaseguinteoperaoalgortmicadebipartio:
TomemosnointervaloI
0
|a,b] umtermodaseqnciax
n
0
nesteintervalo. Em
seguidaodividimosemduaspartesdisjuntas|a,a
h
2
) e|a
h
2
,a h] . Pelo
menosumdosintervaloscontemumaquantidadeinfinitadetermosdaseqncia
(entenda-se, umaquantidadeinfinitadendicescujosvaloresestonoreferido
intervalo). Escolhemosesteintervalodecomprimento
h
2
, odesignamosI
1
, e
tomemos neleumtermodaseqnciax
n
1
, comn
1
n
0
.Repetimosesteprocesso
eteremosintervalosencaixantesI
k
definidosparaqualquer k, decomprimento
h2
k
quecontemumaquantidadeinfinitadetermosdaseqnciaedeonde
tomamosumtermox
n
k
apropriadamente.Nodifcil concluir quea
subseqnciax
n
k
)
k
deCauchy, poisseuselementosestoprogressivamente
escolhidosemintervalosdecomprimentoh2
k
, eportantoconvergemparaum
nmero queserobviamenteumpontodeacumulaodaseqnciaoriginal.
TeoremadeWeierstrass:ConvergnciadeSeqnciasMonotnicas
Sex
n
) for umaseqnciadenmerosreaisnodecrescenteemajorada
superiormente, isto, x
n
x
n1
M,n, entoestaseqnciaconvergeparaumponto ,
queomenor detodososmajorantesMdaseqncia.
Demonstrao:
ConsideremosointervaloI
0
|x
0
,M] (escrevendoh M x
0
parasimplificar) ,
definimos
0
Meexecutamosneleumabipartiotomandodoisintervalos
|x
0
,x
0

h
2
) e|x
0

h
2
,M].Sehouver algumelementodaseqncianosegundo
intervaloescolhemos
1
M(outravez!), casocontrriotomemos

0
x
0

h
2
.Repetimosoprocessoalgoritmicamenteeobtemos, obviamente,
umaseqnciadeCauchy
k
, monotnicanocrescenteemintervalos
encaixantesqueconvergedigamospara econcluimosimediatamenteque

k
.k. Agoraobservequetodosos
k
somajorantesdetodaaseqnciax
n
,
ousejax
n

k
,k,n. Portanto, usandoapropriedadededesigualdadenolimite,
temosx
n
,n.Maspelaprpriamaneiradeseremescolhidossempreexiste
algumelementox
n
k
queestaumadistnciamenor doque
h
2
k
de
k
, deonde
concluimosqueparam n
k
teremos|x
m
|
h
2
k
oqueconclui oargumento.
TeoremadeWeierstrass:RealizaodeExtremospor Funocontnuaemconjunto
fechadoelimitado
Sef : K Rfor umafunocontnuadefinidaemumconjuntodenmerosreais
K fechadoellimitado, entoexistempontosm, M K quesorespectivamente
pontosdemnimoemximoparaf(x) emK, ouseja, f(m) f(x) f(M), x K.
Demonstrao:
Argumentaremosapenasparaopontodemximo, oque
suficiente.Primeiramenteobservemosqueoconjuntodevaloresdafunof(K)
limitado, pois, casocontrrioteramosumaseqnciax
n
K tal quef(x
k
) ke,
peloTeoremadeBolzano(jescolhidaasubsequencia), x
k
K , oque
caracterizaumadescontinuidadeinfinitanesteponto, obviamente
impossvel.Construaalgoritmicamenteumasequenciax
k
tomandox
0
umponto
qualquer e, considereointervaloI
0
|f(x
0
),M] ondeMummajorantede
f(K).Efetueumabipartioeescolhaointervalodireitasenelehouver alguma
imagemdef , etomex
1
ovalor querealizaestaimagem; casocontrrioescolhao
daesquerdaeneleox
1
.Repetindoargumentosanterioresconcluimosrapidamente
ademonstrao.
DEFI NI O: Semicontinuidade
UmafunodevaloresreaisdefinidaemumespaomtricoM, f : M R,
ditasemicontnuasuperiormente-scs
(semicontnuainferiormente-sci ) emx M, separatodasasseqnciasx
n
x
, temosquelimf(x
n
) f(x) (respectivamente, limf(x
n
) f(x) ). Observao: lim
o
n
supdospontosdeacumulaodaseqenciao
n
( elimo
n
inf dosmesmos
).
TEOREMA: (semi) Weierstrass
Seumafunodevaloresreais, definidaemumespaomtricoK compacto,
f : K R , for semicontnuasuperiormenteemtodooK , entof serlimitada
superiormenteeterpontosdemximo.
Demonstrao:
Sef nofosselimitadasuperiormente, teramosumaseqenciax
n
K , tal que
f(x
n
) n N, deondeextrairamosumasubseqnciax
n
k
x K , onde
limf(x
n
k
) oqueimposvel peladefiniodesc-superior. Paraconcluir o
teoremabastarepetir oargumentodoTeorema(completo) deWeierstrass.
III-Estranhos limites
Considereafuno"parteinteiradeumnmeroreal positivo
x"|x] maxn N; n x) easeqnciadefunes
f
n
(x)
1
2n

0kn
1 (1)
|10
n
x]
). Interpreteestasfunes, continuidadee
descontinuidades, eanaliseseulimitepontual.
Oexemploacimarepeteumpoucodafamosaseqnciadefunesconstrudapor
Weierstrassqueproduziunofinal dosculoXIX umafunocontnuaquenotem
derivadaemnenhumponto, umresultadoquecausou"frisson" eescandalizou
enormementeosmaisimpressionveisdapoca.(v. Riesz-Nagy-Functional Analysis)