it.wikipedia.org

Immersione compatta - Wikipedia

Da Wikipedia, l'enciclopedia libera.

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.

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

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

Se {\displaystyle Y} è uno spazio di Banach, una definizione equivalente è che l'operatore di immersione (l'identità) {\displaystyle 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.