Seja um espaço vetorial normado . Dado um conjunto limitado, prove que o fecho de também é limitado.
Demonstração:
Por hipótese, existe tal que, para qualquer , . Seja um elemento , um ponto no fecho do conjunto . Sabe-se que, para qualquer , existe , pelo fato de ser um ponto adente ao conjunto .
Utilizando essa informação e a hipótese do conjunto limitado, tem-se que, para qualquer , existe tal que
Isso prova que , do contrário, haveria tal que . Escolhendo , ter-se-ia
o que é claramente o um absurdo. Isso prova que, seja qual for o elemento do fecho de , a sua norma não pode ultrapassar o valor de , isto é: o fecho é um conjunto limitado em .
0 comentários