EDB — 07N

Esercizi

1. [07N] Prerequisiti:[07C]↺↻,[07D]↺↻,[07F]↺↻,[07K]↺↻.

   Sia \(X\) un insieme totalmente ordinato. Mostrate che le due seguenti sono equivalenti.

   • Ogni \(A⊆ X\) non vuoto limitato dall’alto e dal basso ammette estremo superiore e inferiore.

   • Ogni intervallo \(I⊆ X\) non vuoto ricade in una delle categorie viste in [07D]↺↻.

   Soluzione 1

   [07P]↺↻