数学において、あるノルム線型空間が他のノルム線型空間の連続的埋め込み（れんぞくてきうめこみ、）であるとは、それらの間の包含函数が連続であることを言う。ある意味、それらの二つのノルムは、同一の空間上でいずれも定義されないとしても「ほとんど同じ」ものである。ソボレフ埋蔵定理の内のいくつかは、連続的埋め込みの定理である。
定義 および を二つのノルム線型空間とし、それらのノルムはそれぞれ および とする。また が成立するものとする。包含写像 が連続、すなわち定数 が存在して
が成立するとき、 は に連続的に埋め込まれていると言う。人によってはこの連続的埋め込みを表すために矢印 “” を使用する。すなわち、“” は「X と Y はいずれもノルム空間で、 は に連続的に埋め込まれている」ということを意味する。これは、射が連続線型写像であるような位相線型空間の圏の観点に基づく記法である。
例
連続的埋め込みの有限次元での例として、ユークリッドノルムを備える実数直線 の平面 への次の自然な埋め込み が挙げられる。この場合、すべての実数 に対して が成り立つ。明らかに、最適な定数 は である。 連続的埋め込みの無限次元の例として、次のレリッヒ＝コンドラチョフの定理が挙げられる： を開かつ有界なリプシッツ領域とし、 とし、 と置く。このとき、ソボレフ空間 は -空間 に連続に埋め込まれる。実際、 に対してこの埋め込みはコンパクトである。最適な定数 は領域 の形状に依存する。 無限次元空間に関しては、「不連続的」な埋め込みの例も存在する。例えば、単位区間上で定義される実数値連続函数の空間 を考える。ただし は -ノルム、 は上限ノルムを備えるものとする。 に対し、次の連続な区分線型函数 を考える。 このとき、すべての に対して が成立するが、 となるから、 を満たす定数 は存在せず、 の への埋め込みは不連続ということになる。
関連項目 コンパクトな埋め込み
参考文献