Professional Documents
Culture Documents
12
exemplo o livro de Munkres n~ao diga nada sobre os conceitos tal importantes como `ltro',
`ultaltro', `espaco uniforme', `aplicac~ao propria' etc. que podem ser simplicar a exposica~o.
E a linguagem de matematica se desenvolveu bastante durante os ultimos 40 anos, dando
raciocnios mais claros e demonstrac~oes mais curtas.
Tentarei indicar fontes de refer^encia colocar na minha pagina notas curtas (rascunhos) das
aulas.
Continuidade de func~ao. Vamos lembrar as denic~oes de continuidade e limites. O
conceito de limite e mais basico: a denic~ao de continuidade pode ser dada por meio de limite:
Seja f uma fun~ao denida num intervalo Ia,b {t∈R : a<t<b} da reta numerica{o smbolo `'
nessas notas sempre signica \e igual pela denica~o"}
Diz-se que f e contnua num ponto c∈Ia,b se lim f (t)=f (c). Veremos no curso que, em
t→c
sua vez a denic~ao de limite pode ser dado atraves de conceito de contiunidade, introduzido
antecedentemente.
Vamos desenvolver a denic~ao de continuidade eliminando o limite. Na verdade o conceito
de limite e mais complicado portanto n~ao e razoavel expressar o conceito mais simples atraves
um conceito mais sosticado.
Ent~ao f e contnua num ponto c∈Ia,b se
(1) para qualquer ε>0 existe δ>0 tal que se t∈Ia,b e |t−c|<δ ent~ao |f (c)−f (t)|<ε.
N~ao claro se essa denic~ao e adequada a nossa experi^encia intuitiva sobre continuidade.
Portanto vamos trabalhar um pouco com essa denic~ao formal.
Exemplo de raciocnio topologico. Vamos lembrar o seguinte teorema de calculo:
qualquer func~ao diferenciavel e contnua. Mais precisamente:
Se uma fun~ao f denida num intervalo Ia,b de reta numerica possui derivada num ponto c∈Ia,b
ent~ao f e contnua no ponto c.
≪{este smbolo signica `o comeco da demonstraca~o'}
f (t)−f (c)
Pela denic~ao derivada e o limite lim t−c . Sabendo que este limite existe denotamos-o
t→c
f (t)−f (c)
por D. Pela denic~ao de limite temos: ∀α>0∃λ>0∀t∈Ia,b : |t−c|<λ⇒ t−c −D <α.
(2) ∀ε>0 ∃δ>0 ∀t∈I (a, b) : dist(t, c)<δ ⇒ dist(f (t), f (c))<ε.
Notamos que se essa condic~ao e satisfeita para um valor particular de ε ent~ao tambem e
valida para qualquer ε1 >ε. Ou seja diminuindo ε (deixando o positivo) reforcamos a condic~ao.
Portanto, aplicando a condic~ao, sempre podemos supor que o valor de ε e arbitrariamente
pequeno. Isto signica: sempre quando for necess ario em nossos raciocnios, podemos supor
que ε e t~ao pequeno que as todas restric~oes externas do contexto sejam satisfeitas.
Suponhamos que, para o valor f (c), temos xado o nvel de toler^ancia de erro. Em aplicac~oes
de matematica tal situac~ao e tpica. Supnhaomos que existe um valor α>0 tal que o erro em
calculo de f (c) menor que α n~ao faca import^ancia para nos.
A condic~ao de continuidade implica que existe um nvel de toler^ancia δ de argumento c
suciente para garantir que se o erro em calculo de c for menor que δ ent~ao o erro em valor de
f (c) sera menor que α. Por exemplo isso pode signicar que, sabendo o valor de c com exatid~ ao
de tr^es dgitos decimais apos da virgula o valor de f (c) pode ser calculado com exatid~ao de um
dgito decimal.
Agora podemos exspressar a continuidade na seguinte maneira: para qualquer requerimento
E de exatid~ao de valor de f (c) existe um requerimento D de exatid~ ao de valor de c tal que se
D e satisfeito ent~ ao E e satisfeito tambem.
Este tipo de estrutura logica da denic~ao e tpica para topologia. Voltaremos frequentemente
a essa forma:
para qualquer E∈E existe D∈D tal que . . .
Exemplos de func~ao dist^ancia. A denic~ao (2) e valida sempre quando o conceito de
dist^anica e denido. Por exemplo, quando estamos em espaco Rn cujos \pontos" s~ao as linhas
x=(x1 , . . . , xp
n ) de numeros reais e a dist^anica entre pontos x e y e o numero
dist2 (x, y ) i=1 (xi −yi ) . Essa fun
c~ao e chamada de dist^ancia Euclideana.
Pn 2
A deic~ao (2) nos da uma denic~ao mais geral: Sejam A⊂Rn qualquer conjunto de pontos e
A → Rm uma aplicac~ao. Dizemos que f e contnua em ponto c se a condic~ao (2) e satisfeita.
f
Quando m=1 temos a nossa denic~ao (2) se torna denic~ao de func~ao contnua de n variaveis.
A func~ao de dist^anica pode ser denida n~ao so entre linhas de numeros. Por exemplo, quando
temos duas func~oes contnuas denidas num segmento [a, b] da reta numerica R podemos denir
a dist^ancia entre duas func~oes contnuas como
dist∞ (f, g )sup{|f (t)−g (t)| : t∈[a, b]}{Para qualquer conunto M ⊂R dena-se
supM min{t∈R : ∀x∈M t>x}; o axioma de completude diz que para qualquer conjunto M n~ao
vazio limitado superiormente existe supM }
Uma outra forma de dist^anica e dist1 (f, g ) a |f (t)−g (t)|dt. Essas duas denic~oes de dis-
Rb
Comecamos de dist^ancia d∞ . Seja ε numero real positivo. Pegamos δε. Se d∞ (f, g )<δ isto
e max{f (t)−g (t) : t∈[a, b]} < δ ent~ao dist(F (f ), F (g )|=|f (c)−g (c)|<ε. Temos que a condic~ao
(2) e satisfeita para qualquer ε>0. Portanto a func~ao F denida no conjunto
C0 [a, b]{as func~oes contnuas em [a, b]} e contnua.
Consideramos a dist^ancia d1 . Seja ε>0. Procuramos δ>0 com seguinte propriedade:
|f (t)−g (t)|dt<δ⇒|f (c)−g (c)|<ε. Se tal δ existe?
Rb
a
Vamos mostrar que n~ao existe. Por exemplo, supomos que a=0, b=1, c=1, g≡0 f (t)=tn .
R1
Temos que d1 (f, g )= 0 tn dt= n+1 1
. Qualquer que seja δ>0 podemos encontrar n tal que n+1 1
<δ .
R1 n
Temos que d1 (f, g )= 0 t dt= n+1 1
<δ , mas |F (f )−F (g )|=1. Portanto, para ε= 21 n~ao existe δ
para satisfazer a condic~ao (2). A func~ao F n~ao e contnua com respeito de dist^anica d1 .
Exerccios: 1. Provar que F n~ao e contnua com respeito de dist^ancia euclideana.
2{difcil}. Dar exemplo de func~ao F em C0 [a, b] contnua com respeito de d2 mas n~ao contnua
com respeito de d1 {dica: encontre uma sequ^encia de funco~es fn ∈C0 [a, b] tais que d2 (fn , 0) → 0,
mas d1 (fn , 0) n~ao tende a zero quando n → ∞}
Espaco metrico. Seja M um conjunto qualquer. Chamaremos os elementos de M como
`pontos'. Diremos que a func~ao M 2 → R e uma metrica se as seguintes condic~oes s~ao satisfeitas:
d
c∈M se
(2) ∀ε>0 ∃δ>0 ∀t∈M : d(t, c)<δ⇒d(f (t), f (c))<ε.
Exerccio. Mostre: se substituir em denic~ao (2) qualquer um dos smbolos `<' por `6'
(mas n~ao smbolos `>') obtemos uma denic~ao (20 ) equivalente. Ou seja: qualquer func~ao qua
satisfaz (2) satisfaz tambem (20 ) e qualquer func~ao que satisfaz (20 ) tambem satisfaz (2).
Conjuntos abertos. Seja M espaco metrico e seja P um subconjunto de M . Deni-
mos o conceito de vizinhanca metrica de P em M . Seja r numero real positivo. Denimos
Ndε P {q∈M : ∃p∈P d(q, p)<r)}{o ndice `d' e frequentemente pode ser omitido sem confus~ao} O
5 VictorAula 1: Introduc~ao: continuidade; espacos metricos; conjuntos abertos 2018.1.12
quando uma func~ao contnua com respeito de uma metrica n~ao e contnua com respeito de
outra.
Por outro lado diferentes metricas podem geram o mesmo conceito de conjuntos abertos.
Consideramos tres metricas no conjunto R2 isto e no plano numerico.
d∞ (x, y )max{|x1 −y1 |, |x2 −y2 |};
d1 (x, y )|x
p1 −y1 | + |x2 −y2 |,
d2 (x, y ) (x1 −y1 )2 + (x2 −y2 )2 . Para vericar que as func~oes s~ao metricas vamos dar uma
descric~ao geral de uma classe de metricas.
Seja V espaco vetorial sobre o corpo R. Uma func~ao V → R e chamada norma, se as
ν