微分幾何学の領域では、多様体は空間の幾何学的および位相的特性を理解するための枠組みを提供する基本的なオブジェクトです。部分多様体は、より大きな多様体から多様体構造を継承する特定の多様体のサブセットです。多様体の大手サプライヤーとして、私は特定の多様体内のサブ多様体を特定することに興味を持っている顧客によく遭遇します。このブログ投稿では、特定の多様体の部分多様体を識別するのに役立ついくつかの重要な方法と概念を共有します。
1. 定義と基本概念
(M) を次元 (m) の滑らかな多様体とする。すべての点 (p\in N) について、(p) の周囲に (M) の座標図 ((U,\varphi)) が存在する場合 (つまり、(p\in U) および (\varphi:U\rightarrow\mathbb{R}^m) が 準同型写像)、(\varphi(U\cap N)=\varphi(U)\cap(\mathbb{R}^n\times{0}^{m - n})) となります。
より簡単に言うと、部分多様体の各点の周囲で局所的に、部分多様体は (\mathbb{R}^m) の標準ユークリッド部分空間のように見えます。この局所的な平坦性の特性は、部分多様体の幾何学的および位相解析にとって重要です。
2. 浸漬および埋め込みサブマニホールド
サブ多様体には主に 2 つのタイプがあります。埋没サブ多様体と埋め込みサブ多様体です。
浸漬サブマニホールド
浸漬サブ多様体は浸漬を使用して定義されます。 (f:N\rightarrow M) を 2 つの多様体 (N) と (M) の間の滑らかなマップとします。微分 (df_p:T_pN\rightarrow T_{f(p)}M) がすべて (p\in N) に対して単射である場合、写像 (f) は浸漬と呼ばれます。画像 (f(N)) は、(M) の浸漬部分多様体と呼ばれます。
ただし、埋め込まれた部分多様体には、自己交差または非標準のトポロジーが存在する可能性があります。たとえば、(\mathbb{R}^2) の 8 の字曲線は、(\mathbb{R}^2) の浸漬部分多様体と考えることができます。浸漬部分多様体を特定するには、低次元多様体から特定の多様体への滑らかな注入浸漬を見つける必要があります。
埋め込みサブマニホールド
埋め込みサブ多様体は、より強力な概念です。サブセット (N\subseteq M) が埋込み部分多様体であり、包含写像 (i:N\rightarrow M) (すべて (x\in N) に対して (i(x)=x) である場合) はトポロジカル埋め込みである場合、サブセット (N\subseteq M) は埋め込み部分多様体です。これは、(N) が (M) から継承した部分空間トポロジーを持つことを意味します。
実際のアプリケーションで遭遇する部分多様体のほとんどは、埋め込み部分多様体です。たとえば、(\mathbb{R}^3) の球 (S^2) は、(\mathbb{R}^3) の埋め込まれた部分多様体です。
3. レベルセットの使用
部分多様体を識別する最も一般的な方法の 1 つは、レベル セットを使用することです。 (F:M\rightarrow\mathbb{R}^k) を滑らかなマップとします。ここで、(M) は次元 (m) の多様体です。値 (c\in\mathbb{R}^k) における (F) のレベルセットは、(L = F^{-1}(c)={p\in M|F(p)=c}) として定義されます。
(c) が (F) の正規の値である場合 (つまり、すべての (p\in F^{-1}(c)) について、微分 (dF_p:T_pM\rightarrow T_c\mathbb{R}^k) は全射的です)、レベルセット (F^{-1}(c)) は次元 (m - k) の (M) の滑らかな部分多様体になります。これは正則値定理として知られています。
たとえば、(F(x,y,z)=x^2 + y^2+z^2) によって定義される関数 (F:\mathbb{R}^3\rightarrow\mathbb{R}) について考えてみましょう。レベルセット (F^{-1}(1)={(x,y,z)\in\mathbb{R}^3|x^2 + y^2 + z^2 = 1}) は、(\mathbb{R}^3) の単位球 (S^2) です。 (1) は (F) の正規の値であるため、(S^2) は次元 (2) の (\mathbb{R}^3) の滑らかな部分多様体です。
4. 接線空間と法線空間
部分多様体の接線空間と法線空間も、識別のための重要な情報を提供します。
接線空間
点 (p\in N) における部分多様体 (N) の接空間 (T_pN) は、(p) における周囲多様体 (M) の接空間 (T_pM) の部分空間です。 (N) が次元 (m) の多様体 (M) 内の次元 (n) の部分多様体である場合、(\dim(T_pN)=n) および (T_pN\subseteq T_pM) となります。
接空間を使用して、サブセット (N\subseteq M) が部分多様体であるかどうかを確認できます。それぞれの (p\in N) について、(p) における (N) の接空間として識別できる (T_pM) の明確に定義された (n) 次元部分空間が存在し、この接空間が (p) とともに滑らかに変化することを示すことができれば、(N) は部分多様体である可能性が高くなります。
通常のスペース
点 (p\in N) における部分多様体 (N) の正規空間 (N_pN) は、(M) 上の与えられたリーマン計量に対する (T_pM) の接線空間 (T_pN) の直交補数として定義されます。通常空間は、曲率や埋め込み特性など、周囲多様体における部分多様体の局所的な動作を研究するために使用できます。
5. 油圧機器への応用
マニホールドのサプライヤーとしての当社のビジネスの文脈では、サブマニホールドの概念は油圧機器に実際に応用されています。たとえば、次のような設計です。小型タンクの取り扱いそして複合ハンドリングタンク、マニホールド内のフロー チャネルとチャンバーは、マニホールド構造全体のサブマニホールドと考えることができます。
これらのサブマニホールドの特性を理解することで、作動油の流れを最適化し、圧力損失を低減し、油圧システムの全体的な性能を向上させることができます。さらに、ゲージアクセサリこれらのサブマニホールド内の圧力と流量を測定するために使用でき、システムの監視と制御に貴重なデータを提供します。
6. 結論と行動喚起
特定の多様体の部分多様体を識別することは、微分幾何学では複雑ですが不可欠な作業であり、工学や物理学で多くの実用的な用途があります。マニホールドのサプライヤーとして、当社はお客様がサブ多様体の概念を理解し、プロジェクトで活用できるよう支援する専門知識と経験を持っています。
新しい油圧システムを設計する場合でも、既存の油圧システムを最適化する場合でも、当社の専門家チームが高品質のマニホールドと技術サポートを提供します。当社の製品についてさらに詳しく知りたい場合、またはサブマニホールドに関するご質問がある場合は、調達および詳細な打ち合わせについてお気軽にお問い合わせください。
参考文献
- Lee、John M.「スムーズ多様体入門」。スプリンガー、2012 年。
- スピヴァク、マイケル。 「微分幾何学の包括的入門」。 「出版するか滅びるか」、1979 年。
- カルモ、マンフレド P.「リーマン幾何学」。ビルクホイザー、1992年。
