Estremo superiore e estremo inferiore: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Etichette: Modifica da mobile Modifica da web per mobile
Etichette: Modifica da mobile Modifica da web per mobile
Riga 8:
 
== Definizione ==
Siano <math>(X,\leq)</math> un [[ordine totale|insieme totalmente ordinato]], <math>E\subseteq X</math>. Se esiste un elemento <math>y\in X</math> tale che:
Se esiste un elemento <math>y\in X</math> tale che:
* <math>y</math> è un [[maggiorante]] di <math>E</math>
* <math>\nexists z \in X</math> tale che <math>z</math> è un maggiorante di <math>E</math> e <math> z<y </math> (vale a dire il maggiorante più piccolo è y stesso)
Line 18 ⟶ 17:
* <math>\nexists a \in X</math> tale che <math>a</math> è un minorante di <math>E</math> e <math> a>x </math> (vale a dire il minorante più grande è x stesso)
si dice che <math>x</math> è ''estremo inferiore'' di <math>E</math>, in simboli <math>x=\inf E</math>.
 
Se l'insieme dei maggioranti di un insieme è non vuoto l'insieme si dice limitato superiormente, mentre se l'insieme dei minoranti è non vuoto l'insieme si dice limitato inferiormente. Ovviamente, se esiste l'estremo inferiore, allora l'insieme è limitato inferiormente, mentre se esiste l'estremo superiore l'insieme è limitato superiormente.
 
Un insieme limitato superiormente e inferiormente si dice limitato.