雷利希-孔德拉紹夫定理（Rellich-Kondrachov theorem）
/ RELL-ikh kon-DRAH-shof /
在有限維空間中，任何有界序列都有收斂的子序列——這是無數存在性證明背後的主力事實。在無窮維函數空間中這慘遭失敗：有界序列可能永遠遊蕩而不安定（想想 sin(n x)，全都大小為 1，卻從不收斂）。雷利希-孔德拉紹夫定理把這份失去的緊緻性還給你一個版本，但這只因為索伯列夫的界比單純的大小界更強——它連導數都掌控。
精確地說，在性質良好的有界定義域 U 上，H^1(U) 到 L^2(U) 的嵌入是緊緻的：任何在 H^1 範數下有界的序列，都有一個在（較弱的）L^2 範數下收斂的子序列。它行得通的原因在於：一個 H^1 界不僅封頂了函數的高度，也封頂了它們的梯度——所以函數無法任意快地振盪、任意劇烈地擺動。有界的斜率加上有界的定義域，意味著函數在「平均意義下等度連續」，而那正是能逼出收斂子序列的那種馴服（即阿爾澤拉-阿斯科利定理的索伯列夫表親）。更一般地，對任何嚴格小於索伯列夫共軛指標的 q，W^{1,p} 緊緻地嵌入 L^q——嚴格低於臨界指標，正是緊緻性的代價。
這份緊緻性是變分法直接方法、以及橢圓算子弗雷德霍姆理論的祕密引擎。為了最小化某個能量，你取一個最小化序列，注意它在 H^1 中有界，再用雷利希-孔德拉紹夫抽出一個在 L^2 中收斂的子序列——那個極限就是你的候選最小元，而沒有緊緻性你根本不會有任何極限。同樣地，L u = f 的弗雷德霍姆二擇一，倚靠橢圓算子的逆是個緊緻算子，那正是偽裝的雷利希-孔德拉紹夫。關鍵的細則：緊緻性需要有界定義域，且必須落在嚴格低於臨界指標處——在整個 R^n 上、或在臨界指標處，緊緻性就丟失了（這份丟失正是「集中」現象與困難非線性問題棲身之處）。
(0, pi) 上的函數 u_n(x) = sin(n x) 全都有固定值的 L^2 大小，但它們的 H^1 範數像 n 那樣爆掉（導數是 n cos(n x)）。所以它們在 H^1 中並不有界，雷利希-孔德拉紹夫不適用——這是對的，因為它們在 L^2 中沒有收斂子序列。改為界住 H^1 範數，比方說 u_n = sin(n x)/n，這時梯度保持有界、序列確實在 H^1 中有界，而它在 L^2 中確實收斂到 0。
唯有當梯度也有界（貨真價實的 H^1 有界性）時，緊緻性才會啟動。
最重要的單一假設是「有界定義域」。在無界定義域上、或在臨界索伯列夫指標本身處，緊緻嵌入會失效——質量可能逃逸到無窮遠或集中於一點，而在那裡恢復緊緻性，正是許多著名非線性偏微分方程問題的核心困難。雷利希那一半是 H^1 嵌入 L^2 的情形；孔德拉紹夫把它擴展到完整的 W^{1,p} 嵌入 L^q 的範圍。