Equicontinuità

Da Wikipedia, l'enciclopedia libera.

In matematica, l'equicontinuità di una famiglia di funzioni continue è la proprietà di ogni sua funzione di ammettere il medesimo modulo di continuità. Il concetto di equicontinuità, frequentemente utilizzato in analisi funzionale, si applica in generale a famiglie numerabili di funzioni, e dunque alle successioni di funzioni.

Considerando lo spazio delle funzioni continue su uno spazio di Hausdorff compatto , il teorema di Ascoli-Arzelà afferma che un sottoinsieme di è compatto se e solo se è chiuso, puntualmente limitato ed equicontinuo. In modo equivalente, è equicontinuo se è relativamente compatto in con la metrica data da:

Come corollario, una successione in è uniformemente convergente se e solo se è equicontinua e converge puntualmente ad una funzione (non necessariamente continua). In particolare, è continuo il limite di una successione equicontinua, che converge puntualmente, di funzioni continue definite su uno spazio metrico o localmente compatto (in generale, uno spazio topologico compattamente generato). Se inoltre sono olomorfe, anche il limite è una funzione olomorfa.

Il principio dell'uniforme limitatezza afferma che, dato uno spazio botte ed uno spazio localmente convesso , ogni famiglia di operatori lineari puntualmente continui da in è equicontinua (e anche uniformemente equicontinua).

Definizione[modifica | modifica wikitesto]

Siano e due spazi metrici e una famiglia di funzioni definite da in .

La famiglia è equicontinua nel punto se per ogni esiste tale che per tutte le e per ogni tali che . La famiglia è equicontinua (in tutto ) se è equicontinua in ogni suo punto.

La famiglia è uniformemente equicontinua se per ogni esiste tale che per tutte le e per ogni coppia di punti e in tali che .

La nozione di equicontinuità (uniforme) discende dalla nozione di continuità (uniforme): dire che tutte le funzioni sono continue significa che per ogni , per ogni e per ogni esiste tale che per tutti gli tali che . Ovvero:

  • Nella definizione di continuità, dipende da , e .
  • Nella definizione di continuità uniforme, dipende da e .
  • Nella definizione di equicontinuità, dipende da e .
  • Nella definizione di equicontinuità uniforme, dipende soltanto da .

Più in generale, quando è uno spazio topologico, un insieme di funzioni da in è equicontinuo nel punto se per ogni il punto possiede un intorno tale che:

Tale definizione è spesso utilizzata nell'ambito degli spazi vettoriali topologici.

Se inoltre è compatto, un insieme è uniformemente equicontinuo se e solo se è equicontinuo in ogni punto, per sostanzialmente la stessa ragione per cui continuità e continuità uniforme coincidono su spazi compatti.

Dalle definizioni date segue che un insieme finito di funzioni continue è equicontinuo, e che la chiusura di un insieme equicontinuo è equicontinua. Inoltre, ogni elemento di un insieme di funzioni uniformemente equicontinuo è uniformemente continuo, e ogni insieme finito di funzioni uniformemente continue è uniformemente equicontinuo.

Convergenza uniforme[modifica | modifica wikitesto]

Exquisite-kfind.png Lo stesso argomento in dettaglio: Successione di funzioni.

Sia uno spazio di Hausdorff compatto e si definisca una norma uniforme su , in modo che diventi uno spazio di Banach (dunque uno spazio metrico). Il teorema di Ascoli-Arzelà afferma che un sottoinsieme di è compatto se e solo se è chiuso, puntualmente limitato ed equicontinuo. Si tratta di un teorema analogo al teorema di Heine-Borel, il quale stabilisce che un sottoinsieme di è compatto se e solo se è chiuso e limitato. Come corollario, ogni successione equicontinua uniformemente limitata in contiene almeno una sottosuccessione convergente uniformemente a una funzione continua su .

Dal teorema di Ascoli-Arzelà segue inoltre che una successione in converge uniformemente se e solo se è equicontinua e converge puntualmente. Più in generale, una successione in converge uniformemente se è equicontinua e converge puntualmente in un sottoinsieme denso ad una funzione (non necessariamente continua) su . Infatti, sia una successione equicontinua di funzioni continue su , e sia . Grazie all'equicontinuità, per ogni esiste un intorno di tale che:

Grazie alla densità e alla compattezza, è possibile trovare un sottoinsieme finito tale per cui è l'unione degli intorni per . Dato che converge puntualmente su , esiste tale che:

Segue che:

Infatti, se allora per qualche e si ottiene:

Quindi, è una successione di Cauchy in , e quindi converge grazie alla completezza.

Generalizzazioni[modifica | modifica wikitesto]

Famiglie di operatori lineari[modifica | modifica wikitesto]

Siano e spazi di Banach e una famiglia di operatori lineari continui definiti da in . Allora è equicontinua se e solo se:

Ovvero, è uniformemente limitata nella norma operatoriale. Grazie alla linearità, inoltre, è uniformemente equicontinua se e solo se è equicontinua in 0.

Il principio dell'uniforme limitatezza afferma che è equicontinua se è puntualmente limitata, ovvero:

Il risultato può essere generalizzato al caso in cui è localmente convesso ed è uno spazio botte.[1]

Il teorema di Alaoglu afferma inoltre che se è uno spazio vettoriale topologico allora ogni sottoinsieme equicontinuo di è relativamente compatto rispetto alla topologia ultradebole.[2]

Spazi topologici[modifica | modifica wikitesto]

Lo scenario più generale in cui si può definire l'equicontinuità è quello degli spazi topologici, mentre l'equicontinuità uniforme, ambientata in uno spazio uniforme, richiede che il filtro degli intorni di un punto (uniformità) sia in qualche modo comparabile con il filtro degli intorni di un altro punto.

Un insieme di funzioni continue tra gli spazi topologici e è topologicamente equicontinuo nei punti e se per ogni insieme aperto contenente esistono gli intorni di e di tali che per ogni , se l'intersezione tra e non è vuota, si verifica . L'insieme è topologicamente equicontinuo nel punto se è topologicamente equicontinuo nei punti e per ogni . L'insieme è detto equicontinuo se è topologicamente equicontinuo in per ogni

Un insieme di funzioni continue tra gli spazi uniformi e è uniformemente equicontinuo se per ogni elemento dell'uniformità su , l'insieme:

è un membro dell'uniformità su .

Processi stocastici[modifica | modifica wikitesto]

Si veda equicontinuità stocastica.

Note[modifica | modifica wikitesto]

  1. ^ Schaefer, Theorem 4.2
  2. ^ Schaefer, Corollary 4.3

Bibliografia[modifica | modifica wikitesto]

  • (EN) J.A. Dieudonné, Foundations of modern analysis , Acad. Press (1961)
  • (EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.
  • (EN) Helmuth H. Schaefer, Topological vector spaces, New York, The Macmillan Company, 1966.

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica