Théorème d'Inclusion de Sobolev

Une famille de résultats qui identifient quand un espace de Sobolev W^{k,p}(Ω) (ou ses variantes fractionnaires) est inclus de façon continue ou compacte dans un espace de Lebesgue L^{q}(Ω), un espace de Hölder C^{0,α}(Ω) ou un autre espace de Sobolev ; les énoncés précisent les relations entre l'ordre des dérivées, l'exposant d'intégrabilité et la dimension ou la régularité de Ω.