submanifold

submanifoldは、微分幾何学においてある多様体の中に含まれる、それ自体が多様体としての構造を持つ部分集合を指します。単なる部分集合ではなく、周囲の多様体から滑らかな構造を継承していることが重要です。数学的な文脈では非常に厳密な定義に基づいた用語であり、物理学やデータ解析などの高度な科学分野でも頻繁に利用されます。

多様体との関係性と構造

submanifoldを理解する鍵は、それが入れ子のような構造を持っている点にあります。例えば、三次元空間（多様体）の中にある二次元の球面は、その空間におけるsubmanifoldの一例です。このように、より高次元の空間の中に低次元の滑らかな構造が組み込まれている状態を表現します。また、定義によって埋め込まれた部分多様体と浸漬された部分多様体に区別されることがあり、位相的な性質が異なる点に注意が必要です。

数学的表現における注意点

日本語では部分多様体と訳されますが、単に部分集合と混同しないようにしてください。submanifoldであるためには、その点における接空間が適切に定義され、周囲の多様体の接空間の部分空間として機能している必要があります。例えば、尖った角を持つ図形は、その角の部分で微分可能性が失われるため、滑らかな多様体の中のsubmanifoldとはみなされません。