Equicontinuità

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 $C(X)$ delle funzioni continue su uno spazio di Hausdorff compatto $X$, il teorema di Ascoli-Arzelà afferma che un sottoinsieme $D$ di $C(X)$ è compatto se e solo se è chiuso, puntualmente limitato ed equicontinuo. In modo equivalente, $D$ è equicontinuo se è relativamente compatto in $C(X)$ con la metrica data da:

$d(f,g)=\mathrm {max} _{x\in X}d(f(x),g(x))$

Come corollario, una successione in $C(X)$ è 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 $f_{n}$ definite su uno spazio metrico o localmente compatto (in generale, uno spazio topologico compattamente generato). Se inoltre $f_{n}$ sono olomorfe, anche il limite è una funzione olomorfa.

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

Definizione

Siano $X$ e $Y$ due spazi metrici e $F$ una famiglia di funzioni definite da $X$ in $Y$.

La famiglia $F$ è equicontinua nel punto $x_{0}\in X$ se per ogni $\epsilon >0$ esiste $\delta >0$ tale che $d(f(x_{0}),f(x))<\epsilon$ per tutte le $f\in F$ e per ogni $x$ tali che $d(x_{0},x)<\delta$. La famiglia $F$ è equicontinua (in tutto $X$) se è equicontinua in ogni suo punto.

La famiglia $F$ è uniformemente equicontinua se per ogni $\epsilon >0$ esiste $\delta >0$ tale che $d(f(x_{1}),f(x_{2}))<\epsilon$ per tutte le $f\in F$ e per ogni coppia di punti $x_{1}$ e $x_{2}$ in $X$ tali che $d(x_{1},x_{2})<\delta$.

La nozione di equicontinuità (uniforme) discende dalla nozione di continuità (uniforme): dire che tutte le funzioni $f\in F$ sono continue significa che per ogni $\epsilon >0$, per ogni $f\in F$ e per ogni $x\in X$ esiste $\delta >0$ tale che $d(f(x_{0}),f(x))<\epsilon$ per tutti gli $x$ tali che $d(x_{0},x)<\delta$. Ovvero:

• Nella definizione di continuità, $\delta$ dipende da $\epsilon$, $x_{0}$ e $f$.
• Nella definizione di continuità uniforme, $\delta$ dipende da $\epsilon$ e $f$.
• Nella definizione di equicontinuità, $\delta$ dipende da $\epsilon$ e $x_{0}$.
• Nella definizione di equicontinuità uniforme, $\delta$ dipende soltanto da $\epsilon$.

Più in generale, quando $X$ è uno spazio topologico, un insieme $F$ di funzioni da $X$ in $Y$ è equicontinuo nel punto $x\in X$ se per ogni $\epsilon >0$ il punto $x$ possiede un intorno $U_{x}$ tale che:

$d_{Y}(f(y),f(x))<\epsilon \qquad \forall y\in U_{x}\quad \forall f\in F$

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

Se inoltre $X$ è 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

Sia $X$ uno spazio di Hausdorff compatto e si definisca una norma uniforme su $C(X)$, in modo che diventi uno spazio di Banach (dunque uno spazio metrico). Il teorema di Ascoli-Arzelà afferma che un sottoinsieme di $C(X)$ è 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 $\mathbb {R} ^{n}$ è compatto se e solo se è chiuso e limitato. Come corollario, ogni successione equicontinua uniformemente limitata in $C(X)$ contiene almeno una sottosuccessione convergente uniformemente a una funzione continua su $X$.

Dal teorema di Ascoli-Arzelà segue inoltre che una successione in $C(X)$ converge uniformemente se e solo se è equicontinua e converge puntualmente. Più in generale, una successione in $C(X)$ converge uniformemente se è equicontinua e converge puntualmente in un sottoinsieme denso $D\subset X$ ad una funzione (non necessariamente continua) su $X$. Infatti, sia $f_{j}$ una successione equicontinua di funzioni continue su $D$, e sia $\epsilon >0$. Grazie all'equicontinuità, per ogni $z\in D$ esiste un intorno $U_{z}$ di $z$ tale che:

$|f_{j}(x)-f_{j}(z)|<\epsilon /3\qquad \forall j\quad \forall x\in U_{z}$

Grazie alla densità e alla compattezza, è possibile trovare un sottoinsieme finito $D'\subset D$ tale per cui $X$ è l'unione degli intorni $U_{z}$ per $z\in D'$. Dato che $f_{j}$ converge puntualmente su $D'$, esiste $N>0$ tale che:

$|f_{j}(z)-f_{k}(z)|<\epsilon /3\qquad \forall z\in D'\quad j,k>N$

Segue che:

$\sup _{X}|f_{j}-f_{k}|<\epsilon \qquad j,k>N$

Infatti, se $x\in X$ allora $x\in U_{z}$ per qualche $z$ e si ottiene:

$|f_{j}(x)-f_{k}(x)|\leq |f_{j}(x)-f_{j}(z)|+|f_{j}(z)-f_{k}(z)|+|f_{k}(z)-f_{k}(x)|<\epsilon$

Quindi, $f_{j}$ è una successione di Cauchy in $C(X)$, e quindi converge grazie alla completezza.

Generalizzazioni

Famiglie di operatori lineari

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

$\sup\{\|T\|:T\in \Gamma \}<\infty$

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

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

$\sup\{\|T(x)\|:T\in \Gamma \}<\infty \qquad \forall x\in E$

Il risultato può essere generalizzato al caso in cui $F$ è localmente convesso ed $E$ è uno spazio botte.

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

Spazi topologici

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 $A$ di funzioni continue tra gli spazi topologici $X$ e $Y$ è topologicamente equicontinuo nei punti $x\in X$ e $y\in Y$ se per ogni insieme aperto $O$ contenente $y$ esistono gli intorni $U$ di $x$ e $V$ di $y$ tali che per ogni $f\in A$, se l'intersezione tra $f[U]$ e $V$ non è vuota, si verifica $f(U)\subseteq O$. L'insieme $A$ è topologicamente equicontinuo nel punto $x\in X$ se è topologicamente equicontinuo nei punti $x$ e $y\in Y$ per ogni $y$. L'insieme $A$ è detto equicontinuo se è topologicamente equicontinuo in $x$ per ogni $x\in X$

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

$\{\{(u,v)\in X\times X:(f(u),f(v))\in W\}\ \forall f\in A\}$

è un membro dell'uniformità su $X$.

Processi stocastici

Si veda equicontinuità stocastica.

Bibliografia

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

• Continuità uniforme
• Funzione continua
• Limite di una successione
• Principio dell'uniforme limitatezza
• Sottospazio relativamente compatto
• Spazio metrico
• Successione di funzioni
• Teorema di Ascoli-Arzelà

Collegamenti esterni

• (EN) Eric W. Weisstein, Equicontinuità, su MathWorld, Wolfram Research.
• (EN) Equicontinuità, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.