title: Estremo superiore e estremo inferiore
text: # Estremo superiore e estremo inferiore
  
  In matematica, l'estremo superiore di un insieme $E$ contenuto in un insieme ordinato $X$ è il più piccolo elemento dei maggioranti di $E$.
  
  In modo duale, l'estremo inferiore di $E$ è definito come il più grande elemento dei minoranti di $E$.
  
  Estremo superiore e inferiore possono appartenere ad $E$ oppure no. Nel primo caso essi coincidono con il suo massimo e minimo. In generale il concetto di massimo e di estremo superiore non coincidono e non vanno confusi.
  
  I concetti di estremo superiore e inferiore sono applicabili ad ogni struttura matematica per la quale è chiaro cosa si intende per un elemento essere "maggiore o uguale" di un altro elemento. Quindi il concetto di estremo superiore si applica agli insiemi ordinati, per esempio sottoinsiemi di numeri reali, razionali, naturali, ma non per esempio di numeri complessi.
  
  ## Definizione
  
  Siano $(X,\leq )$ un insieme totalmente ordinato, $E\subseteq X$. Se esiste un elemento $y\in X$ tale che:
  
  * $y$ è un maggiorante di $E$
  * $\nexists z\in X$ tale che $z$ è un maggiorante di $E$ e $z<y$ (cioè il maggiorante più piccolo è $y$ stesso)
  
  si dice che $y$ è estremo superiore di $E$, in simboli $y=\sup E$.
  
  Se invece esiste un elemento $x\in X$ tale che:
  
  * $x$ è un minorante di $E$
  * $\nexists a\in X$ tale che $a$ è un minorante di $E$ e $a>x$ (cioè il minorante più grande è $x$ stesso)
  
  si dice che $x$ è estremo inferiore di $E$, in simboli $x=\inf E$. 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.
  
  ## Sottoinsiemi della retta reale
  
  Se si considera un insieme $E\subseteq \mathbb {R} ^{*}$ della retta reale estesa, questo ha sicuramente estremo superiore ed estremo inferiore. Ciò è garantito dall'assioma di Dedekind, che garantisce che ogni sottoinsieme non vuoto di $\mathbb {R}$ è completo e dalla convenzione che, se $E$ non è limitato superiormente (inferiormente) in $\mathbb {R}$, si dice che il suo estremo superiore (inferiore) è infinito: $\sup E=+\infty$ e/o $\inf E=-\infty$.
  
  ### Esempi
  
  Gli insiemi seguenti sono da considerarsi come sottoinsiemi dell'insieme dei numeri reali.
  
  * $\sup\{1,2,3\}=3$
  
  In questo caso l'estremo superiore coincide col massimo. Si ha che $3$ è l'estremo superiore perché è un maggiorante dell'insieme e ogni numero reale minore di $3$ non è maggiorante dell'insieme;
  
  * $\inf\{x\in \mathbb {R} :0<x<1\}=\inf(0,1)=0$
  
  L'insieme ha estremo inferiore, ma non ha minimo, infatti $0$ non appartiene all'insieme;
  
  * $\sup\{x\in \mathbb {R} :0\leq x\leq 1\}=\sup[0,1]=1$
  
  L'insieme ha estremo superiore e massimo coincidenti;
  
  * $\inf\{y\in \mathbb {R} :y=1/x,x>0\}=\inf(0,\infty )=0$
  
  anche in questo caso l'estremo inferiore non appartiene all'insieme e l'insieme non ha minimo. Si noti che l'estremo inferiore coincide con il limite della funzione monotona $1/x$ per $x\to \infty$
  
  * $\sup\{x\in \mathbb {Q} :x^{2}\leq 4\}=2$
  
  l'estremo superiore coincide con il massimo;
  
  * $\sup\{x\in \mathbb {Q} :x^{2}<4\}=2$
  
  come prima ma l'insieme non ha massimo;
  
  * $\sup\{x\in \mathbb {Q} :x^{2}\leq 2\}={\sqrt {2}}$
  
  in quest'ultimo caso l'insieme è limitato superiormente ma l'estremo superiore non coincide con il massimo, poiché l'insieme non ha massimo.
  
  ## Completezza ed esistenza
  
  Se un insieme non è completo può essere che un sottoinsieme limitato superiormente non ammetta estremo superiore. Per esempio, sia $E\subseteq \mathbb {Q}$ definito come:
  
      $\{x\in \mathbb {Q} :x^{2}\leq 2\}$
  
  Questo insieme è sicuramente limitato superiormente poiché se $x\in \mathbb {Q}$ e $x\geq 2$, $x$ è maggiorante di $E$. L'insieme però non ha estremo superiore (${\sqrt {2}}$ non appartiene a $\mathbb {Q}$). Si noti che questo esempio è diverso dall'ultimo esempio della sezione precedente, perché prima si ricercava l'estremo superiore in un insieme completo, $\mathbb {R}$, ora no. Si è dimostrato che per quanto riguarda spazi non completi esistono sottoinsiemi limitati superiormente ma che non ammettono estremo superiore.
  
  ## Notazioni
  
  Spesso si incontrano notazioni del tipo:
  
      $y=\inf _{x\in A}f(x)$
  
  dove $f$ è una funzione a valori reali su un dominio qualsiasi e $A$ è un sottoinsieme del suo dominio. Questa notazione è un modo compatto per esprimere:
  
      $y=\inf\{z=f(x),x\in A\}$
  
  indica cioè l'estremo inferiore dell'immagine di $A$ mediante $f$.
  
  ### Esempi
  
  Un primo esempio è
  
      $\sup _{x\in \mathbb {R} }x^{2}=+\infty$
  
  Infatti in questo insieme la funzione non è limitata superiormente.
  
  Considerando invece:
  
      $\inf _{x\in [0,1]}x^{2}=0$
  
  e anche:
  
      $\inf _{x\in (0,1)}x^{2}=0$
  
  in questo caso però $0$ non è il minimo dell'insieme, in quanto tale valore non esiste, come non esiste il minimo della funzione (è sul bordo del dominio).
  
  Altri esempi sono:
  
      $\sup _{x\in \mathbb {R} }-\exp(-x)=0\qquad \sup _{x\in (-1,1)}{-x^{2}+1}=1$
  
  ## Funzioni monotone
  
  Come si è visto in uno degli esempi precedenti, esiste una connessione tra il concetto di estremo superiore e quello di limite. Sia $f:(a,b)\to \mathbb {R}$ una funzione monotona in $(a,b)$. Allora esistono:
  
      $\lim _{x\to b_{-}}f(x)\qquad \lim _{x\to a_{+}}f(x)$
  
  e si ha (nel caso sia $f$ non decrescente):
  
      $\lim _{x\to b_{-}}f(x)=\sup _{x\in (a,b)}f(x)$ e $\lim _{x\to a_{+}}f(x)=\inf _{x\in (a,b)}f(x)$
  
  con risultati speculari se $f$ è invece non crescente.
  
  