Corolario 9.8.

1: Sea (X, ) un espacio compacto y sea f: X

continua, entonces f alcanza su nfimo y su supremo.
1)
2)
3)
4)

Sea (X, ) un espacio compacto

Sea f: X
(R, ) una funcin continua
f es semicontinua superior e inferior
f alcanza su supremo y su nfimo

(R, ) una funcin

[hip]
[hip]
[2) Lema 6.3.2]
[1)3) Teorema 9.8.2]