ホモトピー：連続変形と位相幾何学における役割

形式的定義

位相空間Xから空間Yへの二つの連続写像f、gが与えられたとする。fからgへのホモトピーとは、すべてのx∈XについてH(x,0)=f(x)、H(x,1)=g(x)を満たす連続写像H: X × [0,1] → Yのことである。[0,1]の第二座標tは変形をパラメータ化し、t=0では初めの写像、t=1では終わりの写像を与える。この定義は写像の族や部分空間の変形にも一般化される。たとえば変形収縮は、部分空間を固定したまま、空間をその部分空間へ縮めるホモトピーである。

基本例と構成

よく知られた例は、ホモトピーが本質的な位相的特徴をどのように捉えるかを示している。

• 可縮空間：空間の恒等写像が定数写像とホモトピックであるとき、その空間は可縮である。直観的には、連続的に一点へ縮められる空間である。
• コーヒーカップとドーナツ：取っ手が一つあるマグカップとトーラスを比較する古典的な例である。両者は切断せずに互いへ変形でき、同じ一つの「穴」の構造を共有するため、ホモトピー同値である。ここでいう位相的同値性は、他の文脈で使われるより剛直な同値関係とは異なる。
• 変形収縮：多くの空間は、ホモトピーとして実現される収縮によって、より単純な部分空間とホモトピー同値になる。このような収縮は不変量の計算をしばしば簡単にする。

代数的不変量と構成

ホモトピーは、写像や空間がどのように変形できるかを測る代数的な道具を導く。最も基本的なものは、XからYへの写像のホモトピー類の集合[X,Y]である。Xが球面である場合、これらの類はホモトピー群πn(Y)をなすが、ここでは添字nは通常の表記として理解される。ホモトピー群は位相幾何学における基本的な不変量である。第一ホモトピー群π1(Y)は基本群と呼ばれ、ループをホモトピーによって分類し、一次元の穴を検出する。高次ホモトピー群は、より微妙な高次元の特徴を検出する。ホモトピーを用いるほかの構成には、ホモトピー圏、ループ空間、空間の対を扱う相対ホモトピー群がある。

歴史と発展

写像を変形し、そこから得られる同値類を研究するという考え方は、代数的位相幾何学の初期の研究の一部として発展した。図形や連続関数の振る舞いを研究した数学者たちは、19世紀後半から20世紀初頭にかけてこれらの概念を形式化した。その後の研究により、ホモトピー群、完全列、ホモトピー論を含む広範な代数的枠組みが築かれ、現在も活発に研究されている。現代の多くの進展は、古典的な考えを構造をもつ圏、スペクトル系列、計算的方法へと拡張している。

応用と関連概念との区別

ホモトピー論は数学全般および応用分野に用いられる。純粋数学では、分類問題、障害理論、多様体の研究を方向づける。応用的な文脈では、ロボティクスにおける運動計画（経路の連続変形）、データ解析におけるパーシステントな手法、さらに連続変形が重要となる物理学やコンピュータグラフィックスの一部の考え方に関わる。ホモトピーは関連概念と区別することが重要である。同相写像は、連続な逆写像をもつ全単射連続写像であり、より強い同値関係である。またアイソトピーは、埋め込み写像からなるホモトピーであり、より強く、しばしば幾何学的な概念である。「変形」という語は非形式的に使われることが多い。詳細は変形を参照。

参考資料

入門としては、ホモトピー、基本群、ホモトピー群を扱う代数的位相幾何学の教科書や資料、あるいは計算的・応用的アプローチを概観する解説を参照するとよい。基礎的な考え方と詳細な例は、直観と代数的手法を結び付ける助けとなる。多くの資料は、高次元の構成へ進む前に、区間や円のような単純な空間の間の写像のホモトピーを説明することから始める。簡潔な定義と例については、標準的な文献や信頼できる情報源のチュートリアル資料を参照されたい。代数的位相幾何学の概要と、区間[0,1]に関する入門的な解説は、とりわけ有用な出発点である。

キーワード：連続変形、ホモトピー同値、変形収縮、基本群、ホモトピー群。