埋め込み (数学)

**埋め込み**（うめこみ、、）とは、数学において、ある数学的構造を別の構造の内部に**その本質的な性質を保ったまま**実現する写像をいう。多くの場合、それは単なる単射ではなく、像の上に入れた自然な構造に関して元の対象と同じ構造を再現する写像である。したがって埋め込みは、対象をより大きな空間や構造の部分対象として扱うための基本概念であり、位相空間論、微分トポロジー、リーマン幾何学、代数学、順序理論、距離空間論、圏論など広い分野で用いられる。

数学ではしばしば、対象  が対象  に埋め込まれるとき、X \hookrightarrow Y のような鉤付き矢印で表す。これは  を  の部分対象とみなしてよいことを示唆する記法である。ただし、何をもって「構造を保つ」とみなすかは分野により異なる。

## 位相空間論
位相空間論において、位相空間  から  への連続写像 f:X\to Y が**埋め込み**（topological embedding）であるとは、 が単射であり、 の相対位相を入れた像 f(X) への写像
f:X\to f(X)
が同相写像であることをいう。

したがって埋め込みは、 の位相を失わずに  の部分空間として実現する方法である。単なる連続単射は必ずしも埋め込みではない。例えば、区間 (0,2\pi) から単位円 S^1 への写像
t\mapsto (\cos t,\sin t)
は連続かつ単射であるが、像に入る相対位相が元の空間の位相と一致しないため、像への同相写像にはならず、埋め込みではない。これに対し、実数直線から平面への写像
x\mapsto (x,0)
は位相埋め込みである。

連続単射が埋め込みとなるための十分条件として、コンパクト空間からハウスドルフ空間への連続単射は埋め込みであることが知られている。これは位相幾何学における基本事実であり、コンパクト多様体の埋め込みの扱いでも頻繁に用いられる。

## 微分トポロジー
微分トポロジーにおいて、滑らかな多様体 ,  の間の滑らかな写像 f:M\to N が**はめ込み**（immersion）であるとは、その微分 df_p が各点 p\in M で単射であることをいう。これに対し**滑らかな埋め込み**とは、 がはめ込みであると同時に、位相空間としても埋め込みであるような写像である。

すなわち、滑らかな埋め込みは像への微分同相を与え、その像は部分多様体を成す。はめ込みは局所的には埋め込みであるが、大域的には自己交叉などにより埋め込みでない場合がある。古典的な例として、円周から平面への図形8字型の写像は滑らかなはめ込みではあるが、自己交叉を持つため埋め込みではない。

コンパクトな多様体  については、滑らかな単射はめ込みは滑らかな埋め込みである。これは微分位相幾何学でしばしば使われる判定法である。

## リーマン幾何学
リーマン幾何学では、リーマン多様体 (M,g) と (N,h) の間の滑らかな埋め込み f:M\to N であって、
g=f^*h
を満たすものを**[[等長埋め込み]]**という。これは、 上の計量  を  により引き戻したものが、 の計量  に一致することを意味する。各点 x\in M の接ベクトル v,w\in T_xM に対して
g(v,w)=h(df_x(v),df_x(w))
が成り立つ。

等長埋め込みは、多様体上の内在的な距離・角度・長さを外部空間の中で忠実に表現する概念である。曲面論における平面や球面のユークリッド空間への実現はその初歩的な例である。より一般には、ナッシュ埋め込み定理により、任意の滑らかなリーマン多様体はある高次元のユークリッド空間へ等長埋め込みできる。

## 代数学
一般に、ある代数的圏における埋め込みとは、対象を部分対象として実現する単射な準同型を指す。群論では群準同型であって単射なもの、環論では環準同型であって単射なものが典型例である。この意味で埋め込みは、対象の演算を保ちながらより大きな代数系の内部にその複製を見いだす方法といえる。

### 体論
体論において、体  の体  への**埋め込み**とは、単位元を保つ環準同型
\sigma:E\to F
をいう。体のイデアルは零イデアルと体自身しかないため、このような準同型の核は自動的に零となり、したがって体の準同型は常に単射である。ゆえに、 は \sigma(E) と同型な部分体として  に実現される。

体の拡大 E/K と代数閉包 \overline{K} を考えるとき、 を固定する体埋め込みの個数や性質は、ガロア理論において中心的な役割を果たす。例えば、有限分離拡大の自己埋め込みはガロア群と密接に関係する。

### 普遍代数学とモデル理論
普遍代数学やモデル理論では、あるシグネチャ  に対する -構造 ,  の間の写像 h:A\to B が埋め込みであるとは、通常、
*  が単射であること
* 関数記号の解釈を保つこと
* 関係記号について、成り立つ関係と成り立たない関係の双方を保存・反映すること

を満たすものをいう。これは部分構造の概念を一般化するものであり、構造の内部的な論理的性質を比較するために用いられる。さらに、すべての一階論理式の真偽まで保つものは**[[初等埋め込み]]**と呼ばれ、より強い概念である。

## 順序理論と領域理論
順序理論において、半順序集合 (X,\le) から (Y,\le) への写像  が**順序埋め込み**であるとは、
x_1\le x_2 \iff F(x_1)\le F(x_2)
が任意の x_1,x_2\in X について成り立つことをいう。これは順序を保存するだけでなく、順序関係を**反映**することも要求する定義であり、単なる単調写像より強い。

領域理論では、近似可能性や有向完備性との整合性が重視されるため、順序埋め込みに加えて有向集合に関する条件を課すことがある。これにより、計算可能性や意味論で用いられる順序構造の適切な部分対象が定式化される。

## 距離空間
距離空間 (X,d_X), (Y,d_Y) の間の写像 \varphi:X\to Y が、ある定数 L>0, C\ge 1 に対して
L\,d_X(x,y)\le d_Y(\varphi(x),\varphi(y))\le CL\,d_X(x,y)
を満たすとき、 は**歪み  の埋め込み**であるという。特に C=1 のとき、これは距離を定数倍を除いて完全に保つ埋め込みであり、等距写像に近い概念となる。

この種の埋め込みは、離散幾何、近似アルゴリズム、データ解析、関数解析などで重要である。複雑な距離空間を扱いやすい空間に埋め込むことで、距離の比較や組合せ的構造の解析が可能になる。

### ノルム空間
重要な特別な場合としてノルム空間がある。ここでは線型埋め込みが特に重要であり、有限次元ノルム空間の内部にどの程度高次元のヒルベルト空間がほとんど歪みなく現れるか、という問題が研究される。その代表的な結果がドヴォレツキーの定理である。

また、高次元データを比較的小さなユークリッド空間へほとんど距離を保って埋め込めることを述べるジョンソン・リンデンシュトラウスの補題は、計算機科学や高次元幾何学における応用で著名である。

## 圏論
圏論では、「埋め込み」に単一の普遍的定義があるわけではないが、一般にはある対象が別の対象の**部分対象**として現れることを表す射を指す。多くの場合、埋め込みはモノ射であることが期待されるが、すべてのモノ射を埋め込みと呼ぶかどうかは文脈に依存する。具体的な圏では、集合の圏における単射、位相空間の圏における部分空間への包含、群の圏における単射準同型などが埋め込みの典型例である。

さらに、ある対象  を関手圏の中に埋め込む米田埋め込みは、圏論における最も基本的な埋め込みの一つであり、対象をその上の表現可能関手によって完全に記述できることを示す。

## 代表的な定理
* **[[ホイットニー埋め込み定理]]**：任意の  次元の滑らかな多様体は \mathbb{R}^{2m} に滑らかに埋め込める。これは有限次元多様体がユークリッド空間内で具体的に実現できることを示す基礎定理である。
* **[[ナッシュ埋め込み定理]]**：任意の滑らかなリーマン多様体は、ある高次元ユークリッド空間へ等長埋め込みできる。これは内在的幾何と外在的幾何を結び付ける結果である。

これらの定理により、埋め込みは単なる部分集合表示の技法ではなく、多様体や幾何構造をユークリッド空間の中で可視化・解析するための基礎理論であることが分かる。

## 例
* 自然数 \mathbb{N} から整数 \mathbb{Z} への包含は、加法モノイドの埋め込みである。
* 整数 \mathbb{Z} から有理数 \mathbb{Q}、さらに実数 \mathbb{R}、複素数 \mathbb{C} への標準的包含は、環や体の埋め込みの典型例である。
* 実数直線 \mathbb{R} の平面 \mathbb{R}^2 への写像 x\mapsto (x,0) は位相埋め込みであり、かつ滑らかな埋め込みでもある。
* 円周 S^1 の平面への通常の包含は滑らかな埋め込みであるが、図形8字型の曲線は自己交叉を持つため、滑らかなはめ込みであっても埋め込みではない。
* 球面 S^n の \mathbb{R}^{n+1} への通常の包含は等長埋め込みの基本例である。

## 関連概念
埋め込みは、しばしば同型、単射、沈め込み、包含写像などと比較される。

; 単射
: 元を区別する写像であるが、像の上で元の構造が回復できるとは限らない。
; 同型
: 構造を完全に保つ可逆写像であり、埋め込みはその像への同型とみなせる。
; 沈め込み
: 微分が各点で単射である滑らかな写像で、局所的には埋め込みだが大域的には自己交叉を持ちうる。
; 包含写像
: 部分対象から全体への自然な写像であり、多くの場合もっとも典型的な埋め込みである。

## 関連項目
* 等長埋め込み
* ホイットニー埋め込み定理
* ナッシュ埋め込み定理
* 沈め込み
* 部分多様体
* 部分空間
* モノ射
* 初等埋め込み
* ジョンソン・リンデンシュトラウスの補題

## 脚注

## 参考文献
* 
* 
* 
* 
* 
* 
* 
* 

## 外部リンク
*