Escolar Documentos
Profissional Documentos
Cultura Documentos
Espaços metrizáveis
Axioma Primeiro Enumerável
Alexandre M Alves
Departamento de Matemática
UFV
2020/II
d :X ×X →R
O conjunto
Bd (x, r ) = {y ∈ X ; d(x, y ) < r }
é chamado bola centrada em x de raio r > 0, em relação a métrica d.
Quando não houver dúvidas a respeito da métrica, usaremos a notação
B(x, r ).
Seja y ∈ B(x, r ), então existe 0 < δ < r tal que B(y , δ) ⊂ B(x, r ). De
fato, coloque δ = r − d(x, y ). Se z ∈ B(y , δ) então
Segue que
d(x, z) ≤ d(x, y ) + d(y , z) < r ,
portanto z ∈ B(x, r ). Veja figura abaixo.
d(x, y ) = |x − y | (Verifique!).
d(a1 , a2 ) < M,
Teorema (1)
Seja X um espaço métrico com métrica d. Defina db : X × X → R por
d(x,
b y ) = min{d(x, y ), 1}.
d(x,
b z) = min{d(x, z), 1} ≤ min{d(x, y ) + d(y , z), 1}
≤ min{d(x, y ), 1} + min{d(y , z), 1}
= d(x,
b y ) + d(y
b , z)
Teorema (1)
Dados os epaços métricos (X , dX ) e (Y , dY ), uma função f : X → Y é
contı́nua se, e só se, dado ε > 0 existe δ > 0 tal que, se dX (x, y ) < δ
então dY (f (x), f (y )) < ε (ε, δ condição).
Proposição (1)
Seja X um espaço topológico e A ⊂ X . Se existe uma sequência de
pontos de A convergindo para x, então x ∈ A. A recı́proca é válida se X
é metrizável.
Demonstração: Suponha xn → x. Então, cada vizinhança U de x
satisfaz U ∩ A 6= ∅, já que xn ∈ A ∩ U para todo n > N, para algum
inteiro N. Segue que x ∈ A. Reciprocamente, suponha X metrizável e
que x ∈ A. Considere a seguinte sequência: para cada n seja a bola
Bd (x, n1 ) que é uma vizinhança de x. Como x ∈ A, existe
xn ∈ A ∩ Bd (x, n1 ). Afirmamos que xn → x. De fato, seja U um aberto
contendo x. Existe δ > 0 tal que Bd (x, δ) ⊂ U. Tome um inteiro positivo
N tal que N1 < δ. Então, xn ∈ U para todo n > N e segue o
resultado.
Proposição (2)
Se a função f : X → Y é contı́nua, então para cada sequência
convergente xn → x em X , a seqüência (f (xn )) converge para f (x). A
recı́proca é válida se X for metrizável.
Observações
1 Note que, na Proposição 2, não é necessário exigir que Y seja
metrizável.
2 Nas provas das Proposições 1 e 2, não usamos toda a força da
hipótese de que o espaço X é metrizável. O que foi necessário foi
usar a coleção enumerável de bolas Bd (x, n1 ) centradas em x.
Teorema (2)
As operações de adição, subtração, multiplicação são funções contı́nuas
de R × R em R. A operação quociente é uma função contı́nua de
R × (R \ {0}) em R.
Demonstração:exercı́cio.
Teorema (3)
Suponha X um espaço topológico e f , g : X → R funções contı́nuas.
Então são contı́nuas f ± g , f .g e também gf desde que g (x) 6= 0 para
todo x ∈ X .
Demonstração:exercı́cio.
Teorema (4)
Seja fn : X → Y uma sequência de funções contı́nuas definidas no espaço
topológico X para o espaço métrico Y . Se (fn ) converge uniformemente
para f , então f é contı́nua.
d(f (x), f (x0 )) ≤ d(f (x), fN (x)) + d(fN (x), fN (x0 )) + d(fN (x0 ), f (x0 ))
ε ε ε
≤ + + = ε.
3 3 3
Segue que f é contı́nua.