Funzione compatta

[cicciapallina]

Salve,
non riesco a trovare la definizione di funzione compatta.
Qualcuno sa indicarmi dove trovarla?
Grazie

[Rigel1]

In analisi funzionale tipicamente si dice che una mappa \(F:A\subset X\to Y\), con \(X,Y\) spazi di Banach, è compatta se è continua e \(F(A)\) è relativamente compatto (cfr. Deimling, "Nonlinear functional analysis", p. 55).
In topologia generale ha invece un altro significato.