Apri il menu principale

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.

Spazi metriciModifica

Sia   uno spazio metrico.

Un sottoinsieme   si dice limitato se esiste un numero reale M tale che  . [1]

Spazi normatiModifica

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   è limitato in uno spazio normato   se e solo se  , ovvero se ogni elemento di   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.

Spazi vettoriali topologiciModifica

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   uno spazio vettoriale topologico ed   un insieme. Si dice che   è limitato nella topologia   se e solo se per ogni intorno   dell'origine esiste un numero reale positivo   (dipendente da  ) tale che  . In altre parole   deve essere contenuto in un opportuno multiplo di ogni intorno dell'origine.

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

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

Campi ordinati (insiemi superiormente ed inferiormente limitati)Modifica

In un campo ordinato   un insieme   si dice insieme limitato superiormente se esiste almeno un maggiorante   tale che per tutti gli   si ha  . Analogamente l'insieme   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   implica che ne possano esistere infiniti; tutti gli elementi   tali che   sono chiaramente essi stessi maggioranti dell'insieme  . Il più piccolo dei maggioranti si chiama estremo superiore dell'insieme, se non appartiene all'insieme  , oppure massimo dell'insieme se invece appartiene ad  . In maniera analoga per gli insiemi limitati inferiormente, il più grande dei minoranti di   è detto estremo inferiore se non appartiene all'insieme  , oppure minimo se invece appartiene all'insieme stesso.

ProprietàModifica

  • 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.

NoteModifica

  1. ^ Topologia - M. Manetti, p. 51.

BibliografiaModifica

  • (EN) R. G. Bartle y D. R. Sherbert: Introduction to Real Analysis, translated., ed. Limusa S.A. 2009.
  • (EN) Robert D. Richmyer, Principles of advanced mathematical physics, Springer-Verlag, New York, 1978.

Voci correlateModifica