1 位相埋め込みの基本概念
1.1 位相空間と連続写像の復習
位相空間とは、集合と、その上で定められた開集合族の組である。開集合族は空集合と全体集合を含み、任意個の交わりと有限個の合併に対して閉じている。連続写像は、開集合の逆像が開集合になる写像として定義される。このとき像の位相的振る舞いは、写像が開集合をどのように逆像へ運ぶかにより特徴づけられる。
位相空間の比較は、写像の性質を通じて行われる。単射性は元の区別を失わない条件であり、全射性は到達範囲を余らせない条件である。さらに同相は、対象と像の間に位相の構造が反転可能な対応があることを意味し、連続性に加えて逆向きにも連続性が成立する。
1.2 位相埋め込みの定義
1.2.1 像への位相同型としての条件
位相埋め込みとは、位相空間 \(X\) を別の位相空間 \(Y\) の中へ写像で入れるとき、位相的な情報を失わない形で像を扱えるようにする考え方である。直感的には「\(X\) を \(Y\) の部分集合として見たとき、位相が一致する」状況を写像の言葉で表す。
定式化の中心は、埋め込み写像 \(f:X\to Y\) の像 \(f(X)\subseteq Y\) への対応が、位相同型になる点にある。位相同型とは、連続な全単射であるだけでなく、位相の構造が双方の向きで互いに保存されることを要請する概念である。したがって、埋め込みは「\(X\) と \(f(X)\) の間で同相が成立する」写像として捉えられる。
1.2.2 連続性と逆写像の連続性
厳密には、写像 \(f:X\to Y\) が位相埋め込みであるとは、次の条件を満たすこととして述べられることが多い。第一に \(f\) は連続である。第二に \(f\) は単射である。第三に、像 \(f(X)\) へ制限したときの逆写像が連続になる、あるいは同値な条件として、\(X\) から \(f(X)\) への写像が位相同型になることを要求する。
ここで重要なのは「逆写像の連続性」を像に対して理解する点である。逆写像は \(f(X)\) の位相構造を前提として連続性が評価される。これにより、埋め込みによって \(X\) の開集合が乱されないこと、言い換えれば位相の判定が像の中でも正しく再現されることが保証される。
1.3 埋め込みと同相の関係
同相は、二つの位相空間が位相的に同じであることを表す最強の同等性である。埋め込みは同相を「像が含まれる大きな空間の内部で実現したもの」として理解できる。つまり \(X\) 自体と同相な位相構造を、\(Y\) の部分集合として表示する働きをもつ。
この関係から、同相は位相埋め込みの特殊形として位置づけられる。実際、\(Y=X\) のように像の空間と元の空間が一致するとき、埋め込みの条件は同相の条件に一致する。逆に、埋め込みは「同相な縮約」の情報を、より大きい環境 \(Y\) の中に埋め込む手続きとして扱える点で、同相より広い枠組みを与える。
1.4 埋め込みと単射・準同型的性質の整理
単射性は埋め込みの必要条件として登場する。もし \(f\) が同じ値に複数の点を写すなら、区別が失われ、位相の復元が不可能になることがある。したがって埋め込みでは、少なくとも単射でなければならない。
準同型的な性質としてよく比較されるのは、連続性や開写像性、閉写像性などである。連続性だけでは像の位相がどの程度保持されるかは十分に決まらない。一方で埋め込みは、逆向きの連続性を要求するため、像上の位相構造が自然に \(X\) のものへ対応する。結果として、単なる連続単射よりも強い条件を課している。
2 主要な性質と特徴づけ
2.1 その像がもつ性質
2.1.1 部分空間としての位相の取り扱い
埋め込みの焦点は、像 \(f(X)\) に与えられる位相が、元の空間 \(X\) の位相と整合することである。そのために、像は \(Y\) の部分集合として扱われ、部分空間の位相が導入される。部分空間の位相とは、部分集合に含まれる集合を開とする基準を、元の空間の開集合との交わりで定める方法である。
この設定のもとで「位相同型」の条件が意味を持つ。すなわち、\(X\) の開集合が、写像によって像の中で開集合として対応し、逆に像側の開集合も元の空間の開集合へ戻ることが保証される。したがって、埋め込みは \(Y\) という背景空間の中で \(X\) を正しく“再ラベル付け”する操作になっている。
2.1.1.1 像に誘導される位相の比較
具体的な比較は、写像 \(f\) が \(X\) 上の位相を像へ運ぶ仕方が、像の部分空間としての位相と一致するかどうかで行われる。もし一致していなければ、連続性を満たすとしても、埋め込みとは言えない場合が生じる。
一致が成立するなら、像の開集合の境界や近傍の構造も、元の空間のそれと対応づけられる。結果として、連結性や閉性など、位相で定義される概念が像の中でも再現される。埋め込みは、こうした比較を“決定的に”行う枠組みといえる。
2.2 不変性（位相的性質の保存）
位相埋め込みが重要視される理由の一つは、位相的不変量や性質が保存される点にある。たとえば連結性、コンパクト性、可算性に関する性質、位相的次元に相当する概念など、位相同型で保たれる性格をもつ対象は、埋め込みの像においても同様に現れる。
保存が成立する理由は、埋め込みが像との間で位相同型を与えるためである。位相同型は、開集合や連続写像によって定義される構造を丸ごと対応させるため、位相的性質は双方に伝播する。したがって、埋め込みは「像を見ることで元の空間の性質を推定できる」道具になる。
2.3 被覆・積・余積との相互作用
被覆との関係では、埋め込みが「局所的」な情報を扱う際に自然に利用される。位相空間の被覆理論では、局所的に同型な構造を全体へ広げるが、埋め込みによって部分の位相が保たれると、局所性の評価が安定する。結果として、被覆空間の構成や検討で、埋め込みを介した部分の扱いが有効になる。
積に関しては、埋め込みの作り方が製品空間の中で拡張されることがある。たとえば、ある空間が別の空間へ埋め込まれ、そのうえで別の空間と直積を取ると、位相構造が積位相に従って整合しやすい。余積や直和に関しても同様に、埋め込みが成分ごとの位相を保つ形で組み立てられることがある。
2.4 埋め込み写像の合成と安定性
埋め込み写像の合成は、一般に再び埋め込みになる性質を持つ。つまり、\(X\) が \(Y\) へ埋め込まれ、その像が \(Z\) へ埋め込まれるなら、結果として \(X\) は \(Z\) の中へ埋め込まれたとみなせる。この“安定性”は、位相同型が合成により保たれることと整合的である。
ただし合成の各段階で、どの部分集合に対する位相が参照されているかを意識する必要がある。最終的に像がどのような部分空間として位置づくかが、連続性と逆像の連続性の検討に関係する。とはいえ位相同型という核となる条件が合成で保たれるため、結果は安定に得られることが多い。
3 具体例と代表的な埋め込み
3.1 ユークリッド空間への埋め込み
3.1.1 閉区間・開区間の自然な埋め込み
ユークリッド空間では、部分集合への包含写像がしばしば位相埋め込みになる。実例として、実数直線上の開区間 \((a,b)\) や閉区間 \([a,b]\) を、より大きい空間 \(\mathbb{R}\) へ包含する写像を考える。部分空間の位相は距離に由来する位相と整合し、開集合の交わりによって開集合が対応するため、包含による写像は元の区間の位相と一致する。
この結果、区間における連結性やコンパクト性（閉区間の場合）といった性質は、埋め込みを通じて \(\mathbb{R}\) 内の部分として記述できる。開区間ではコンパクト性が失われるが、それも位相的不変性の枠組みで理解される。
3.1.2 多次元への標準的な包含写像
より高次元でも同様に、部分集合の標準的包含は位相埋め込みとして扱える。たとえば \(\mathbb{R}^n\) の開集合 \(U\) から \(\mathbb{R}^n\) への包含は埋め込みであり、像の位相は \(U\) の部分空間としての位相と一致する。これにより、開集合上で定義された連続関数や局所的な性質を、全空間側の情報として整理できる。
閉集合や部分多様体に由来する集合でも同種の議論が展開されるが、位相の一致という点では包含写像が基本的な手掛かりになる。埋め込みという語は、こうした“自然な見方”を一般的定義として明文化する役割を持つ。
3.2 部分位相と埋め込みの例
3.2.1 離散位相への埋め込み
離散位相をもつ空間は、任意の部分集合が開となるため、連続性が非常に緩くなる。したがって、ある集合 \(S\) に離散位相を入れ、その点を別の位相空間へ単射に対応させると、条件によっては埋め込みが得られる。要点は、像側で部分空間の位相がどのように誘導されるかにある。
離散位相の空間を埋め込むと、像の中では各点が開集合として扱われることに対応する。つまり、像は位相的に孤立点の性質を示し、近傍の情報が特に単純になる。結果として、埋め込みの可否は「像部分の位相が離散になるか」という観点から判定できる。
3.2.2 粗い位相への埋め込み
粗い位相（最小位相）は開集合が少ない位相であり、連続性が比較的簡単になることがある。たとえばある集合に粗い位相を入れると、連続写像の条件が満たされやすい。一方で埋め込みは逆向きの連続性も要求するため、像側の部分空間の位相が“粗さ”を反映している必要がある。
粗い位相をもつ空間を埋め込むと、像の中では開集合が限定され、到達可能性の評価が弱くなる。したがって、埋め込みの実現には、像部分で同様の開集合の少なさが再現される必要がある。これは、単なる連続単射では足りない理由を具体化する例になる。
3.3 位相空間の構成を通じた例
3.3.1 商空間と埋め込みの関係
商空間は、同値関係で点を潰したうえで位相を定める構成である。商写像は自然に連続であり、その性質を利用してさまざまな性質を移送する。埋め込みとの関係では、商の生成像と、元の空間の情報がどのように対応するかが焦点になる。
ある状況では、商空間へ写像された像をさらに別の空間へ埋め込むことで、代表元の自由度を抑えつつ位相的情報を整理できる。つまり、同値で識別された構造がどの部分で再現され、どの部分で情報が失われるのかが、埋め込みの設計と関わってくる。ここでは論理構造として、商と埋め込みがそれぞれ「識別」と「保存」に分かれて働く点が対比される。
3.3.2 積位相と埋め込み
積位相は、直積上の位相を成分ごとの射影が連続になるように定義するものである。埋め込みとの関係では、ある空間 \(X\) が \(Y\) へ埋め込まれるなら、適切に直積を取ることで、\(X\times W\) から \(Y\times W\) への自然な写像が埋め込みとして振る舞うことがある。
これにより、低次元の埋め込みを高次元の状況へ持ち上げる操作が可能になる。たとえばパラメータ空間を固定し、その上で連続な構造を考えるとき、埋め込みの性質が保たれることで議論の形式化が容易になる。結果として、積構成は埋め込みの利用範囲を拡大する枠組みになる。
4 より進んだ話題への接続
4.1 位相幾何学における役割
位相幾何学では、空間の形に関する問いが、位相的な不変量や分類の問題として扱われる。位相埋め込みは、空間を別の空間の中へ取り込むことで、局所構造や大域構造を同時に比較する際の基本的な道具になる。特に「ある性質を持つ部分をどの環境に置けるか」という問いに対して、埋め込み可能性は出発点になることが多い。
また、埋め込みが位相同型を通じて情報を失わないという特徴は、比較対象の選び方に自由度を与える。適切な大きな空間で議論してから、元の空間へ戻すという流れが組み立てやすくなるため、研究上の実用性が高い。
4.2 多様体と位相埋め込みの位置づけ
多様体は局所的にユークリッド空間へ同相であるという性格をもつ。位相埋め込みは、その局所性と整合する形で扱えるため、多様体の部分や他の空間への配置を議論する際の基盤になる。たとえば、多様体の部分が別の空間に“位相的に正しく”埋め込めているなら、多様体としての性質を像の中で読み取れる。
ただし多様体の埋め込みでは、可微分構造や幾何学的条件が後から追加されることが多い。その段階の前処理として、位相埋め込みの存在が確保されていると、位相的な土台の上でより強い要件を検討できる。したがって位相埋め込みは、多様体の議論を開始するための最低限の整合性を保証する役割を担う。
4.3 可微分・幾何的埋め込みとの違い（概念整理）
位相埋め込みは、位相構造の保存に焦点を当てる。一方で可微分埋め込みでは、微分可能性や導関数の振る舞いなど、解析的な情報が要求される。結果として、位相埋め込みが成立しても可微分埋め込みが自動的に成立するとは限らない。
さらに幾何的埋め込みでは、計量や曲率、接空間の整合性といった追加要件が関わる場合がある。位相の次元で情報が一致していても、滑らかさや幾何学的制約は別問題として現れる。概念整理としては、「位相埋め込み＝位相同型としての保存」、「可微分埋め込み＝微分構造の互換性まで保存」、「幾何的埋め込み＝幾何的整合性まで保存」という段階差を意識すると理解が進む。
4.4 埋め込み可能性の発想と応用例
埋め込み可能性の発想は、「どの空間がどの空間の中に、位相情報を失わずに収まるか」を問うことにある。これは分類問題や構成問題と結びつきやすく、特定の性質をもつ空間が、与えられた環境の中でどう配置できるかを調べる方向へつながる。
応用の一つは、位相的不変量を空間間で比較する設計である。埋め込みが得られれば、像側で計算しやすい形に移してから、元の空間へ情報を戻すことができる。また、局所的な表示が可能な状況では、埋め込みの存在が“局所データから全体を組み立てる”流れの土台になることがある。こうした理由から、位相埋め込みは研究や学習の両面で繰り返し登場する基本概念として位置づけられる。