# Insieme limitato

In matematica esistono varie nozioni di limitatezza di un insieme, dipendenti in gran parte dallo spazio in cui è immerso. Euristicamente si può dire che un insieme è limitato se ha "estensione finita" (ma non necessariamente nel senso di cardinalità finita). Un insieme che non è limitato è detto illimitato.

## Spazi metrici

Sia $(X,d)$ uno spazio metrico.
Un sottoinsieme $E\subset X$ si dice limitato se esiste un numero reale positivo $M$ tale che $d(a,b)\leq M\;{\text{per ogni}}\;a,b\in E$.

## Spazi normati

Uno spazio normato è in particolare uno spazio metrico, quindi la nozione di limitatezza in spazi normati sarà la stessa di quella negli spazi metrici. Sfruttando la norma si può trovare un'altra caratterizzazione: un insieme $E$ è limitato in uno spazio normato $(X,\|\cdot \|)$ se e solo se esiste $C\geq 0:\|x\|\leq C\,\,\forall x\in E$, ossia se ogni elemento di $X$ ha norma minore o uguale a una stessa costante.
Talvolta un insieme limitato secondo questa definizione si dirà limitato in norma, per distinguerlo dagli insiemi limitati in altre topologie che non inducono quella norma come le topologie deboli. Per la definizione di insieme limitato in topologia si veda il paragrafo successivo.

## Spazi vettoriali topologici

In uno spazio vettoriale topologico la nozione di limitatezza è un po' più complessa, in quanto non è possibile parlare di distanza o norma. In questo caso si deve ricorrere ai semplici intorni dell'origine. Sia $(X,\tau )$ uno spazio vettoriale topologico ed $E\subset X$ un insieme. Si dice che $E$ è limitato nella topologia $\tau$ se e solo se per ogni intorno $V$ dell'origine esiste un numero reale positivo $\alpha$ (dipendente da $V$) tale che $E\subset \alpha V$. In altre parole $E$ deve essere contenuto in un opportuno multiplo di ogni intorno dell'origine.
Nel caso in cui la topologia $\tau$ sia indotta da una metrica $d$, le due nozioni di limitatezza coincidono. Per verificarlo basta osservare che se $\tau$ è indotta dalla metrica $d$ allora la palla unitaria aperta $B=B(0,1)=\{x\in E:\,d(x,0)<1\}$ è un elemento di $\tau$ (cioè è un aperto dello spazio vettoriale topologico $X$). Si mostrano ora le due implicazioni:
* Se $E$ è limitato nella topologia $\tau$ allora esiste un numero reale positivo $\alpha$ tale che $E\subset \alpha B$ ($B$ è chiaramente un intorno dell'origine perché contiene 0), ma $\alpha B$ non è altro che la palla $B(0,\alpha )$. Esiste quindi una palla di raggio finito ($\alpha$) che contiene $E$, che risulta quindi limitato anche in metrica.
* Se viceversa $E$ è limitato nella metrica $d$, esisterà $R>0$ tale che $E\subset B(0,R)$. Sia ora $V$ un intorno dell'origine. Essendo aperto, $V$ conterrà una palla aperta $B(0,r)$, dove $r>0$. Sia ora $\alpha =R/r$. Poiché $V$ contiene $B(0,r)$, l'insieme $\alpha V$ contiene $\alpha B(0,r)=B(0,R)$ che a sua volta contiene $E$. Per l'arbitrarietà di $V$, $E$ risulta quindi limitato anche nella topologia $\tau$.

## Campi ordinati (insiemi superiormente ed inferiormente limitati)

In un campo ordinato $A$ un insieme $E$ si dice insieme limitato superiormente se esiste almeno un maggiorante $a\in A$ tale che per tutti gli $x\in E$ si ha $x\leq a$. Analogamente l'insieme $E$ si dice insieme limitato inferiormente se esiste almeno un minorante $a\in A$ tale che per tutti gli $x\in E$ si ha $x\geq a$.
Il fatto che esista un maggiorante dell'insieme $E$ implica che ne possano esistere infiniti; tutti gli elementi $b\in A$ tali che $b\geq a$ sono chiaramente essi stessi maggioranti dell'insieme $E$. Il più piccolo dei maggioranti si chiama estremo superiore dell'insieme, se non appartiene all'insieme $E$, oppure massimo dell'insieme se invece appartiene ad $E$. In maniera analoga per gli insiemi limitati inferiormente, il più grande dei minoranti di $E$ è detto estremo inferiore se non appartiene all'insieme $E$, oppure minimo se invece appartiene all'insieme stesso.

## Proprietà

* Un sottoinsieme di un insieme limitato è limitato.
* La chiusura di un insieme limitato è un insieme limitato.
* I sottospazi propri di uno spazio vettoriale topologico non sono limitati in topologia (e quindi neanche in metrica o in norma).
* Le semirette non sono limitate in topologia.