Teorema de Compacidad de Rellich–Kondrachov

Un teorema que afirma que ciertos empotramientos de espacios de Sobolev (por ejemplo W^{1,p}(Ω) en L^q(Ω) o C^0(Ω) bajo relaciones adecuadas de exponentes y regularidad) son compactos cuando el dominio Ω es acotado y tiene regularidad suficiente.