Esercizi
[07K] Prerequisiti:[07C],[07D],[07F].(Proposto il 2022-10-13)
Sia
un insieme non vuoto; sia il più piccolo intervallo che contiene ; questo è definito come l’intersezione di tutti gli intervalli che contengono (e l’intersezione è un intervallo, per [07F]). Sia la famiglia dei maggioranti di , di ; si mostri che . In particolare è superiormente limitato se e solo è superiormente limitato; se inoltre ha estremo superiore, si avrà . (Similmente per minoranti e estremi inferiori).Soluzione 1