Insieme limitato

Da Wikipedia, l'enciclopedia libera.

Esistono varie nozioni di limitatezza di un insieme, dipendenti in gran parte dallo spazio in cui è immerso. Euristicamente possiamo dire che un insieme è limitato se ha estensione finita.

Indice 1 Insiemi limitati in spazi metrici 2 Insiemi limitati in spazi normati 3 Insiemi limitati in spazi vettoriali topologici 4 Insiemi limitati in campi ordinati 5 Proprietà

[modifica] Insiemi limitati in spazi metrici

Sia (X,d) uno spazio metrico. Diremo che un insieme è limitato se esiste una palla (aperta o chisa) di raggio finito che lo contiene. Ci sono altre definizioni equivalenti. In particolare E è limitato se e solo se:

• ha diametro finito;
• la sua chiusura è un insieme limitato;

[modifica] Insiemi limitati in 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 possiamo trovare un'altra caratterizzazione: un insieme E è limitato in uno spazio normato se e solo se (ovvero se ogni elemento di X ha norma minore o uguale ad 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.

[modifica] Insiemi limitati in 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,τ) uno spazio vettoriale topologico ed un insieme. Diremo che E è limitato nella topologia τ se e solo se per ogni intorno V dell'origine esiste un numero reale positivo α (dipendente da V) tale che . In altre parole E deve essere contenuto in un opportuno multiplo di ogni intorno dell'origine.

Nel caso in cui la topologia τ sia indotta da una metrica d, le due nozioni di limitatezza coincidono. Per verificarlo basta osservare che se τ è indotta dalla metrica d allora la palla unitaria aperta è un elemento di τ (cioè è un aperto dello spazio vettoriale topologico X). Mostriamo ora le due implicazioni:

• Se E è limitato nella topologia τ allora esiste un numero reale positivo α tale che (B è chiaramente un introno dell'origine perché contiene 0), ma αB non è altro che la palla B(0,α). Esiste quindi una palla di raggio finito (α) che contiene E, che risulta quindi limitato anche in metrica.
• Se viceversa E è limitato nella metrica d, esisterà R > 0 tale che . Sia ora V un intorno dell'origine. Essendo aperto, V conterrà una palla aperta B(0,r), dove r > 0. Sia ora α = R / r. Poiché V contiene B(0,r), l'insieme αV contiene αB(0,r) = B(0,R) che a sua contiene E. Per l'arbitrarietà di V, E risulta quindi limitato anche nella topologia τ.

[modifica] Insiemi limitati in campi ordinati

In un campo ordinato A un insieme E si dice insieme limitato superiormente se esiste almeno un maggiorante tale che per tutti gli si ha . Analogamente l'insieme E si dice insieme limitato inferiormente se esiste almeno un minorante tale che per tutti gli si ha . Il fatto che esista un maggiorante dell'insieme E implica che ne possano esistere infiniti; tutti gli elementi tali che 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.

[modifica] 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.