数学におけるコンパクトに埋め込まれた () という概念は、集合あるいは空間が別のものの内部に「素性よく包含されている」ことを表すものである。この概念には位相空間論や函数解析学に対して適切となるいくつかの異なるヴァージョンが存在する。

定義（位相空間） を位相空間とし、 と を の部分集合とする。 は次の条件を満たすとき にコンパクトに埋め込まれていると言い、 または と書く。 . ここで は の閉包を表し、 は の内部を表す； はコンパクトである。

定義（ノルム空間） と を、それぞれノルム と を備える二つのノルム線型空間とし、 とする。 は次の条件を満たすとき にコンパクトに埋め込まれると言い、 または と書く。 は に連続に埋め込まれる。すなわち、 内のすべての に対して を満たすある定数 が存在する； の への埋め込みは次の意味でコンパクトである： 内の任意の有界集合は 内で全有界、すなわちそのような有界集合におけるすべての点列は、ノルム に関してコーシー列であるような部分列を持つ。

がバナッハ空間であるとき、包含作用素 がコンパクト作用素であることが同値な定義となる。

函数解析学に応用されるとき、このヴァージョンのコンパクトな埋め込みは通常、函数のバナッハ空間に対して用いられる。ソボレフ埋蔵定理の内のいくつかはコンパクトな埋め込みの定理である。

関連項目 相対コンパクト

参考文献 . . .