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

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

Famiglie di operatori lineari

modifica

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

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

Si veda equicontinuità stocastica.

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

Bibliografia

modifica
  • (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

Collegamenti esterni

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