Estremo superiore e estremo inferiore: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 11:
* <math>y</math> è un [[maggiorante]] di <math>E</math>
* se <math>z <= y</math> e <math>z</math> è un maggiorante di <math>E</math> allora <math> y=z </math>
diciamo che <math>y</math> è '''estremo superiore''' di <math>E</math>, in simboli <math>y=\sup E</math> e diciamo che <math>E</math> è limitato superiormente.
 
Se invece esiste un elemento <math>x\in X</math> tale che:
* <math>x</math> è un [[minorante]] di <math>E</math>
* se <math>zx<=xy</math> e z è un minorante di <math>E</math> allora <math>z=x</math>
diciamo che <math>x</math> è '''estremo inferiore''' di <math>E</math>, in simboli <math>x=\inf E</math> e diciamo che <math>E</math> è limitato inferiormente. Analogamente si riformula la seconda proprietà.
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 l' insieme è limitato inferiormente, mentre se esiste l' estremo superiore l' insieme è limitato superiormente.
 
Un insieme limitato superiormente e inferiormente si dice limitato.