Spazio vettoriale di funzioni munito di una norma che è combinazione delle norme Lp della funzione stessa e delle sue derivate (distribuzionali) fino ad un certo ordine; rispetto a tale norma lo spazio è completo, e quindi di Banach (Wikipedia)