Rellich–Kondrachov-Kompaktheitssatz

Ein Theorem, das aussagt, dass bestimmte Einbettungen von Sobolevräumen (z. B. W^{1,p}(Ω) in L^q(Ω) oder C^0(Ω) bei geeigneten Exponenten- und Regularitätsbedingungen) kompakt sind, wenn der Bereich Ω beschränkt und ausreichend regulär ist.