Rellich–Kondrachov theorem

The Rellich–Kondrachov theorem is a significant result in functional analysis and the theory of differential equations, particularly in the context of Sobolev spaces. It essentially states conditions under which the embedding of Sobolev spaces into Lp spaces is compact.