Immersione compatta

In matematica, la nozione di immersione compatta esprime l'idea che un insieme sia "ben contenuto" all'interno di un altro. Il concetto di immersione compatta è presente in topologia ed in analisi funzionale.

Definizione (spazi topologici)

Sia $(X,T)$ uno spazio topologico, e siano $V$ e $W$ sottoinsiemi di $X$. Si dice che $V$ è immerso in modo compatto in $W$, e si scrive $V\subset \subset W$, se:

• $V\subseteq \mathrm {Cl} (V)\subseteq \mathrm {Int} (W)$, dove $\mathrm {Cl} (V)$ denota la chiusura di $V$, $\mathrm {Int} (W)$ denota la parte interna di $W$ e:
• $\mathrm {Cl} (V)$ è compatto.

Definizione (spazi normati)

Siano $X$ e $Y$ due spazi normati con norme $\|\cdot \|_{X}$ e $\|\cdot \|_{Y}$ rispettivamente, e si supponga che $X\subseteq Y$. Si dice che $X$ è immerso in modo compatto in $Y$, e si scrive $X\subset \subset Y$, se:

• $X$ è immerso continuamente in $Y$; cioè esiste una costante $C$ tale che $\|x\|_{Y}\leq C\|x\|_{X}$ per ogni $x\in X$;
• qualsiasi insieme limitato in $X$ è precompatto in $Y$, cioè qualsiasi successione in tale insieme limitato possiede una sottosuccessione che è di Cauchy nella norma $\|\cdot \|_{Y}$.

Se $Y$ è uno spazio di Banach, una definizione equivalente è che l'operatore di immersione (l'identità) $i:X\to Y$ è un operatore compatto.

Questa definizione dell'immersione compatta viene utilizzata nell'ambito dell'analisi funzionale quando si studiano spazi di Banach di funzioni. Parecchi teoremi di immersione di Sobolev sono teoremi di immersione compatta.

Bibliografia

• (EN) Evans, Lawrence C., Partial differential equations, Providence, RI, American Mathematical Society, 1998, ISBN 0-8218-0772-2.
• (EN) Renardy, M., & Rogers, R.C., An Introduction to Partial Differential Equations, Berlin, Springer-Verlag, 1992, ISBN 3-540-97952-2.
• (EN) Robert A. Adams, Sobolev Spaces, Boston, MA, Academic Press, 1975, ISBN 978-0-12-044150-1.

Voci correlate

• Disuguaglianza di Sobolev
• Immersione continua
• Sottospazio relativamente compatto
• Spazio di Banach
• Spazio di Hilbert