Théorème de Compacité de Rellich–Kondrachov

Un théorème affirmant que certains plongements d'espaces de Sobolev (par exemple W^{1,p}(Ω) dans L^q(Ω) ou C^0(Ω) sous des relations d'exposants et de régularité appropriées) sont compacts lorsque le domaine Ω est borné et possède une régularité suffisante.