Estremo superiore e estremo inferiore: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m Annullata la modifica 86481949 di 93.48.255.68 (discussione)
Riga 12:
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)
si dice che <math>y</math> è ''estremo superiore'' di <math>E</math>, in simboli <math>y=\sup E</math>.
 
Se invece esiste un elemento <math>x\in X</math> tale che:
* <math>x</math> è un [[minorante]] di <math>E</math>
* <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>.