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]