[0VJ] Prerequisiti:[0QZ]↺↻,[0VS]↺↻.Difficoltà:*.
Sia (X,d) uno spazio metrico tale che ogni funzione continua f:X→ℝ ammetta massimo: si mostri che lo spazio è compatto.
(Si veda [0TD]↺↻ per la formulazione con X=ℝn.) [ [0VK]↺↻]
[0VM]↺↻