ベクトル場( sin y 、 sin x )の一部ベクトル計算 と物理学 において、ベクトル場とは、 空間 (最も一般的にはユークリッド空間) 内の各点にベクトル を割り当てることである。[ 1 ] 平面 上のベクトル場は、平面上の各点にそれぞれ接続された、与えられた大きさと方向を持つ矢印の集合として視覚化することができる。ベクトル場は、例えば、風 のように三次元空間を移動する流体の速度と方向、あるいは 磁力 や重力など、ある点から別の点へと変化する力 の強さと方向をモデル化 するためによく用いられる。 R n {\displaystyle \mathbb {R} ^{n}}
微分積分学 の要素は、ベクトル場にも自然に拡張されます。ベクトル場が力 を表す場合、ベクトル場の線積分は 、経路に沿って移動する力によって行われる仕事を表します。この解釈によれば 、エネルギー保存則は 微積分学の基本定理 の特殊なケースとして示されます。ベクトル場は、空間を移動する流れの速度を表すものと考えると便利であり、この物理的な直感は、発散 (流れの体積 変化率を表す)や回転 (流れの回転を表す)といった概念につながります。
ベクトル場はベクトル値関数 の特殊なケースであり、その定義域の次元はその値域の次元とは無関係です。例えば、空間曲線 の位置ベクトルは、 周囲空間のより小さなサブセットに対してのみ定義されます。同様に、n座標では、 n 次元ユークリッド空間内の定義域上のベクトル場は、定義域の各点にn 組の実数を関連付けるベクトル値関数として表すことができます。ベクトル場のこの表現は座標系に依存し、ある座標系から別の座標系への変換には明確に定義された変換則(ベクトルの共変性と反変性 )があります。 R n {\displaystyle \mathbb {R} ^{n}}
ベクトル場はユークリッド空間の開集合 について議論されることが多いが、曲面 などの他の部分集合でも意味を持ち、各点において曲面に接する矢印(接ベクトル )を関連付ける。より一般的には、ベクトル場は微分可能多様体 上で定義される。微分可能多様体は、小さなスケールではユークリッド空間に似ているが、より大きなスケールではより複雑な構造を持つ空間である。このような設定では、ベクトル場は多様体の各点(つまり、多様体への接束 の切断面)における接ベクトルを与える。ベクトル場は テンソル場 の一種である。
意味
ユークリッド空間の部分集合上のベクトル場 同じベクトル場の2つの表現:v ( x , y ) = − r 。矢印は離散点における場を表していますが、実際には場はどこにでも存在します。
R n の部分集合S が与えられたとき、ベクトル場は 標準直交座標 ( x 1 , …, x n )における ベクトル値関数 V : S → R n で表される。Vの 各成分が連続であれば、V は連続ベクトル場である。一般的には滑らかな ベクトル場、すなわち各成分が滑らかな関数(任意の回数微分可能)であることに注目する。ベクトル場は、 n 次元空間内の個々の点にベクトルを割り当てることで視覚化できる。[ 1 ]
標準的な表記法の一つは、座標方向の単位ベクトルについて と書くことである。この用語を用いると、の開部分集合上の任意の滑らかなベクトル場は、上の 何らかの滑らかな関数についてと書くことができる 。[ 2 ] この表記法を用いる理由は、ベクトル場が、滑らかな関数の空間からそれ自身への線型写像 を決定するからである。これはベクトル場の方向に微分することによって与えられる。 ∂ ∂ × 1 、 … 、 ∂ ∂ × n {\displaystyle {\frac {\partial }{\partial x_{1}}},\ldots ,{\frac {\partial }{\partial x_{n}}}} V {\displaystyle V} S {\displaystyle S} R n {\displaystyle {\mathbf {R} }^{n}} ∑ 私 = 1 n V 私 ( × 1 、 … 、 × n ) ∂ ∂ × 私 {\displaystyle \sum _{i=1}^{n}V_{i}(x_{1},\ldots ,x_{n}){\frac {\partial }{\partial x_{i}}}} V 1 、 … 、 V n {\displaystyle V_{1},\ldots ,V_{n}} S {\displaystyle S} V : C ∞ ( S ) → C ∞ ( S ) {\displaystyle V\colon C^{\infty }(S)\to C^{\infty }(S)}
例 :ベクトル場は、原点を中心とした反時計回りの回転を記述します。関数が回転不変であることを示すには、次を計算します。 − × 2 ∂ ∂ × 1 + × 1 ∂ ∂ × 2 {\displaystyle -x_{2}{\frac {\partial }{\partial x_{1}}}+x_{1}{\frac {\partial }{\partial x_{2}}}} R 2 {\displaystyle \mathbf {R} ^{2}} × 1 2 + × 2 2 {\displaystyle x_{1}^{2}+x_{2}^{2}} ( − × 2 ∂ ∂ × 1 + × 1 ∂ ∂ × 2 ) ( × 1 2 + × 2 2 ) = − × 2 ( 2 × 1 ) + × 1 ( 2 × 2 ) = 0。 {\displaystyle \left(-x_{2}{\frac {\partial }{\partial x_{1}}}+x_{1}{\frac {\partial }{\partial x_{2}}}\right)\left(x_{1}^{2}+x_{2}^{2}\right)=-x_{2}(2x_{1})+x_{1}(2x_{2})=0.}
S 上で定義されたベクトル場V 、Wと S 上で定義された滑らかな関数f が与えられれば、スカラー乗算とベクトル加算の演算により、 滑らかなベクトル場が滑らかな関数の環 上のモジュール になり、関数の乗算は点ごとに定義されます。 ( f V ) ( p ) := f ( p ) V ( p ) ( V + W ) ( p ) := V ( p ) + W ( p ) 、 {\displaystyle {\begin{aligned}(fV)(p)&:=f(p)V(p)\\(V+W)(p)&:=V(p)+W(p),\end{aligned}}}
物理学において、ベクトルは 、異なる背景座標系で同じベクトルを測定したときに、その座標がどのように変化するかによっても区別されます。ベクトルの変換特性は、ベクトルを単なるスカラーのリストや 共ベクトル とは幾何学的に異なる実体として区別します。
したがって、( x 1 , ..., x n )はベクトル V の成分を表す 直交座標の選択肢であり、 ( y 1 , ..., y n )は異なる座標系を定義するx i のn個の関数であるとする。この場合、新しい座標系におけるベクトル V の成分は、変換則を満たす必要がある 。V × = ( V 1 、 × 、 … 、 V n 、 × ) {\displaystyle V_{x}=(V_{1,x},\dots ,V_{n,x})}
V 私 、 y = ∑ j = 1 n ∂ y 私 ∂ × j V j 、 × 。 {\displaystyle V_{i,y}=\sum _{j=1}^{n}{\frac {\partial y_{i}}{\partial x_{j}}}V_{j,x}.} 1
このような変換法則は反変法則 と呼ばれます。物理学におけるベクトル場も同様の変換法則を特徴づけます。具体的には、ベクトル場は、異なる座標系を関連付ける変換法則( 1 )に従う各座標系におけるn 個の関数の指定です。
したがって、ベクトル場は、空間内のすべての点に数値またはスカラーを関連付ける スカラー場 とは対照的であり、また、座標の変更によって変換されないスカラー場の単純なリストとも対照的です。
多様体上のベクトル場 球面 上のベクトル場微分可能多様体 が与えられたとき、上のベクトル場 は内の各点への接ベクトル の割り当てである。[ 2 ] より正確には、ベクトル場はからへの接束 への写像 であり、 は恒等写像となる。ここでは からへの射影を表す。言い換えれば、ベクトル場は接束 の切断 である。 M {\displaystyle M} M {\displaystyle M} M {\displaystyle M} F {\displaystyle F} M {\displaystyle M} T M {\displaystyle TM} p ∘ F {\displaystyle p\circ F} p {\displaystyle p} T M {\displaystyle TM} M {\displaystyle M}
別の定義:多様体上の滑らかなベクトル場とは、すべてのに対してが微分となる ような線型写像である。[ 3 ] X {\displaystyle X} M {\displaystyle M} X : C ∞ ( M ) → C ∞ ( M ) {\displaystyle X:C^{\infty }(M)\to C^{\infty }(M)} X {\displaystyle X} X ( f グラム ) = f X ( グラム ) + X ( f ) グラム {\displaystyle X(fg)=fX(g)+X(f)g} f 、 グラム ∈ C ∞ ( M ) {\displaystyle f,g\in C^{\infty }(M)}
多様体 が滑らかまたは解析的で ある場合、つまり座標変換が滑らか(解析的)である場合、滑らかな(解析的)ベクトル場の概念を理解することができます。滑らかな多様体上のすべての滑らかなベクトル場の集合は、しばしばまたはで表されます(特にベクトル場を の切断 として考える場合)。また、すべての滑らかなベクトル場の集合は(フラクトゥール "X")で表されます。 M {\displaystyle M} M {\displaystyle M} Γ ( T M ) {\displaystyle \Gamma (TM)} C ∞ ( M 、 T M ) {\displaystyle C^{\infty }(M,TM)} X ( M ) {\textstyle {\mathfrak {X}}(M)}
例 飛行機の周りの流れ場はR 3のベクトル場であり、ここでは 翼端渦 を示す流線 に沿った泡によって視覚化されています。 ベクトル場は、コンピュータグラフィックス におけるパターン作成によく用いられます。ここでは、 OpenSimplexノイズ で生成されたベクトル場に沿った曲線の抽象的な構成を示しています。地球上の空気の動きを表すベクトル場は、地球上のあらゆる地点について、その地点における風速と風向を示すベクトルを関連付けます。これは風を表す矢印を使って描くことができ、矢印の長さ(大きさ )が風速を示します。通常の気圧 図では、「高気圧」は気圧の源(矢印は外向き)として、「低気圧」は気圧の吸い込み(矢印は内向き)として機能します。これは、空気が高気圧から低気圧へと移動する傾向があるためです。 移動する流体の 速度 場。この場合、流体内の各点に速度ベクトルが関連付けられます。 流線、流脈線、流跡線は、 (時間依存の)ベクトル場から作成できる3種類の線です。これらは以下のとおりです。 流脈線:粒子が特定の固定点を様々な時間にわたって通過することによって生じる線 パスライン: 特定の粒子 (質量ゼロ) がたどる経路を表示します。 流線(または磁力線):瞬間的な場の影響を受ける粒子の経路(つまり、場が固定されている場合の粒子の経路)。 磁場。小さな 鉄 粉を使って磁力線を明らかにすることができます。マクスウェル方程式により、 与えられた初期条件と境界条件のセットを使用して、ユークリッド空間のあらゆる点について、その点で荷電テスト粒子が受ける 力 の大きさと方向を推測することができます。結果として得られるベクトル場は電場 です。質量を持つ物体によって生成される重力場 もまたベクトル場です。例えば、球対称の物体の重力場ベクトルはすべて球の中心に向かい、物体からの半径距離が大きくなるにつれてベクトルの大きさは減少します。
ユークリッド空間における勾配場 点の周りを循環するベクトル場は、関数の勾配として表すことはできません。 ベクトル場は勾配 演算子(del :∇で表される)を使ってスカラー場 から構築することができる。[ 4 ]
開集合S 上に定義されたベクトル場V は、S上 に実数値関数(スカラー場) f が 存在し、 V = ∇ f = ( ∂ f ∂ × 1 、 ∂ f ∂ × 2 、 ∂ f ∂ × 3 、 … 、 ∂ f ∂ × n ) 。 {\displaystyle V=\nabla f=\left({\frac {\partial f}{\partial x_{1}}},{\frac {\partial f}{\partial x_{2}}},{\frac {\partial f}{\partial x_{3}}},\dots ,{\frac {\partial f}{\partial x_{n}}}\right).}
関連する流れ は勾配フローは 、勾配降下 法で使用されます。
保存場における 任意の閉曲線 γ (γ (0)=γ (1))に沿った経路積分はゼロである。 ∮ γ V ( × ) ⋅ d × = ∮ γ ∇ f ( × ) ⋅ d × = f ( γ ( 1 ) ) − f ( γ ( 0 ) ) 。 {\displaystyle \oint _{\gamma }V(\mathbf {x} )\cdot \mathrm {d} \mathbf {x} =\oint _{\gamma }\nabla f(\mathbf {x} )\cdot \mathrm {d} \mathbf {x} =f(\gamma (1))-f(\gamma (0))。}
ユークリッド空間の中心体 R n \ {0} 上のC ∞ ベクトル場は、 O( n , R ) が直交群 で あるとき、 中心 体 と呼ばれます。中心体は0 の周りの直交変換 に対して不変で あるといいます。 V ( T ( p ) ) = T ( V ( p ) ) ( T ∈ お ( n 、 R ) ) {\displaystyle V(T(p))=T(V(p))\qquad (T\in \mathrm {O} (n,\mathbb {R} ))}
点 0 は場の 中心と呼ばれます。
直交変換は実際には回転と鏡映変換であるため、不変性条件は中心場のベクトルが常に0に向かうか、0から離れる方向を向いていることを意味します。これは別の(より単純な)定義です。中心場は常に勾配場です。なぜなら、中心場を1つの半軸上で定義し、積分すると反勾配が得られるからです。
ベクトル場の演算
線積分 物理学でよく使われる手法は、ベクトル場を曲線 に沿って積分することであり、線積分 とも呼ばれます。直感的に言えば、これは曲線の接線に沿ったすべてのベクトル成分を、それらのスカラー積として表される合計です。例えば、力場(例えば重力)内の粒子を考えてみましょう。空間のある点における各ベクトルは、その粒子に作用する力を表します。ある経路に沿った線積分は、粒子がその経路に沿って移動するときに行われる仕事です。直感的に言えば、これは曲線に沿った各点における力のベクトルと微小接線ベクトルのスカラー積の合計です。
線積分はリーマン積分 と同様に構築され、曲線が修正可能(有限の長さを持つ)かつベクトル場が連続である場合に存在します。
ベクトル場V と曲線γ が与えられ、t によって[ a , b ] にパラメータ化される (ただしa とb は実数 )とすると、線積分は次のように定義される。 ∫ γ V ( × ) ⋅ d × = ∫ 1つの b V ( γ ( t ) ) ⋅ γ ˙ ( t ) d t 。 {\displaystyle \int _{\gamma }V(\mathbf {x} )\cdot \mathrm {d} \mathbf {x} =\int _{a}^{b}V(\gamma (t))\cdot {\dot {\gamma }}(t)\,\mathrm {d} t.}
ベクトル場トポロジーを表示するには、線積分畳み込み を使用できます。
発散 ユークリッド空間上のベクトル場の発散は 関数(またはスカラー場)である。3次元では、発散は次のように定義される。 分割 F = ∇ ⋅ F = ∂ F 1 ∂ × + ∂ F 2 ∂ y + ∂ F 3 ∂ z 、 {\displaystyle \operatorname {div} \mathbf {F} =\nabla \cdot \mathbf {F} ={\frac {\partial F_{1}}{\partial x}}+{\frac {\partial F_{2}}{\partial y}}+{\frac {\partial F_{3}}{\partial z}},}
任意の次元への明らかな一般化を伴う。ある点における発散は、その点の周囲の小さな体積がベクトルの流れのソースまたはシンク となる度合いを表し、この結果は発散定理 によって明確に示される。
発散は、リーマン多様体 、つまりベクトルの長さを測定する リーマン計量 を持つ多様体上でも定義できます。
3次元のカール 回転は 、ベクトル場から別のベクトル場を生成する演算です。回転は3次元でのみ定義されますが、回転のいくつかの性質は外微分 によって高次元でも捉えることができます。3次元では、回転は次のように定義されます。 カール F = ∇ × F = ( ∂ F 3 ∂ y − ∂ F 2 ∂ z ) e 1 − ( ∂ F 3 ∂ × − ∂ F 1 ∂ z ) e 2 + ( ∂ F 2 ∂ × − ∂ F 1 ∂ y ) e 3 。 {\displaystyle \operatorname {curl} \mathbf {F} =\nabla \times \mathbf {F} =\left({\frac {\partial F_{3}}{\partial y}}-{\frac {\partial F_{2}}{\partial z}}\right)\mathbf {e} _{1}-\left({\frac {\partial F_{3}}{\partial x}}-{\frac {\partial F_{1}}{\partial z}}\right)\mathbf {e} _{2}+\left({\frac {\partial F_{2}}{\partial x}}-{\frac {\partial F_{1}}{\partial y}}\right)\mathbf {e} _{3}.}
回転は、ある点におけるベクトル流の角運動 量密度、すなわち流れが固定軸の周りを回転する量を表します。この直感的な記述は、ストークスの定理 によって明確化されます。
ベクトル場のインデックス ベクトル場の添字は、孤立した零点(つまり、場の孤立した特異点)の周りでの挙動を記述するのに役立つ整数です。平面上では、添字は鞍点特異点では値 -1 をとりますが、ソース特異点またはシンク特異点では値 +1 をとります。
ベクトル場が定義される多様体の次元をn とする 。 零点の周りに((n-1)-球面に同相な)閉曲面 S をとり、S の内部に他の零点が存在しないものとする。この球面からn − 1 次元の単位球面への写像は、この球面上の各ベクトルをその長さで割って単位長ベクトルを形成することで構築でき、この単位長ベクトルは単位球面 S n −1上の点となる。これにより、 S から S n −1 への連続写像が定義される。この点におけるベクトル場の添え字は、この写像の次数 である。この整数は S の選択に依存せず、したがってベクトル場自体にのみ依存することが示される。
指数は、特異点(つまり、ベクトルがゼロでない点)では定義されません。これは、ソースの周りでは+1に等しく、より一般的には、k 個の収縮次元とn − k 個 の膨張次元 を持つ鞍点の周りでは(-1) kに等しくなります。
ベクトル場全体 の添字は、ベクトル場が有限個の零点を持つ場合に定義されます。この場合、すべての零点は孤立しており、ベクトル場の添字はすべての零点における添字の和として定義されます。
3次元空間における通常の(2次元)球面の場合、球面上の任意のベクトル場の指数は必ず2であることが示されます。これは、そのようなベクトル場はすべて必ず零点を持つことを示しています。これは、ヘアリーボール定理 を示唆しています。
有限個の零点を持つコンパクト多様体上のベクトル場の場合、ポアンカレ-ホップの定理 によれば、ベクトル場の指数は多様体のオイラー特性 となります。
物理的な直感 鉄棒の磁力線( 磁気双極子 )マイケル・ファラデーは、 力線 の概念において、 場そのものが 研究対象となるべきであると強調し、それは場の理論 の形で物理学全体に浸透しました。
ファラデーがモデル化した現象には、磁場のほかに、電場や光場など があります。
近年、複雑な流体や固体の力学から化学反応速度論や量子熱力学に至るまで、物理学における不可逆的な力学や発展方程式の多くの現象論的定式化は、熱力学第二法則との整合性を保証し、オンサガーの相互性などのよく知られた近平衡結果を遠非平衡領域に拡張する一貫した普遍的なモデリングフレームワークとして、「エントロピーの最急上昇」または「勾配流」という幾何学的な概念に収束しつつある。[ 5 ]
フロー曲線 流体が空間領域を流れる様子を考えてみましょう。ある時点において、流体のどの点にも特定の速度が関連付けられます。したがって、あらゆる流れにはベクトル場が関連付けられます。逆もまた真です。つまり、ある流れを、そのベクトル場を速度とするベクトル場と関連付けることが可能です。
上で定義されたベクトル場が与えられたとき、区間 の各値に対して となる曲線が定義される。 V {\displaystyle V} S {\displaystyle S} γ ( t ) {\displaystyle \gamma (t)} S {\displaystyle S} t {\displaystyle t} 私 {\displaystyle I} γ ′ ( t ) = V ( γ ( t ) ) 。 {\displaystyle \gamma '(t)=V(\gamma (t))\,.}
ピカール・リンデレフの定理 によれば、がリプシッツ連続で あれば、 の各点に対して一意の -曲線が存在するので、ある に対して、 V {\displaystyle V} C 1 {\displaystyle C^{1}} γ × {\displaystyle \gamma_{x}} × {\displaystyle x} S {\displaystyle S} ε > 0 {\displaystyle \varepsilon >0} γ × ( 0 ) = × γ × ′ ( t ) = V ( γ × ( t ) ) た t ∈ ( − ε 、 + ε ) ⊂ R 。 {\displaystyle {\begin{aligned}\gamma _{x}(0)&=x\\\gamma '_{x}(t)&=V(\gamma _{x}(t))\qquad \forall t\in (-\varepsilon ,+\varepsilon )\subset \mathbb {R} .\end{aligned}}}
曲線はベクトル場 の積分曲線 または軌跡 (または、あまり一般的ではないが、フローライン)と呼ばれ、同値類 に分割されます。区間を実数直線 全体に拡張することが常に可能であるとは限りません。フローは、たとえば有限時間で の端に到達する場合があります。2次元または3次元では、ベクトル場が上に流れ を生み出すものとして視覚化できます。この流れの任意の点に粒子を落とすと、粒子は初期点 に応じて流れ内の曲線に沿って動きます。が の静止点である場合(つまり、ベクトル場 が点でゼロベクトルに等しい場合)、粒子は に留まります。 γ x {\displaystyle \gamma _{x}} V {\displaystyle V} S {\displaystyle S} ( − ε , + ε ) {\displaystyle (-\varepsilon ,+\varepsilon )} S {\displaystyle S} S {\displaystyle S} p {\displaystyle p} γ p {\displaystyle \gamma _{p}} p {\displaystyle p} p {\displaystyle p} V {\displaystyle V} p {\displaystyle p} p {\displaystyle p}
代表的な応用としては、流体 のパスライン 、測地線 フロー、1 パラメータ サブグループ 、リー群 の指数マップなど があります。
完全ベクトル場 定義により、 上のベクトル場は、そのフロー曲線のそれぞれが常に存在するとき、完全 と呼ばれます。 [ 6 ] 特に、多様体上でコンパクト にサポートされている ベクトル場は完全です。が 上の完全ベクトル場である場合、に沿ったフローによって生成される微分同相写像 の1 パラメータ群は 常に存在し、これは滑らかな写像で記述されます 。境界のないコンパクト多様体上では、すべての滑らかなベクトル場は完全です。実数直線上の不完全 ベクトル場 の例は、で与えられます。 について、初期条件 を持つ微分方程式 は、の場合に唯一の解として を持ちます( の場合 はすべて に対して)。したがって について、は で定義されていないため、 のすべての値に対して を定義することはできません。 M {\displaystyle M} X {\displaystyle X} M {\displaystyle M} X {\displaystyle X} R × M → M . {\displaystyle \mathbf {R} \times M\to M.} V {\displaystyle V} R {\displaystyle \mathbb {R} } V ( x ) = x 2 {\displaystyle V(x)=x^{2}} x ′ ( t ) = x 2 {\textstyle x'(t)=x^{2}} x ( 0 ) = x 0 {\displaystyle x(0)=x_{0}} x ( t ) = x 0 1 − t x 0 {\textstyle x(t)={\frac {x_{0}}{1-tx_{0}}}} x 0 ≠ 0 {\displaystyle x_{0}\neq 0} x ( t ) = 0 {\displaystyle x(t)=0} t ∈ R {\displaystyle t\in \mathbb {R} } x 0 = 0 {\displaystyle x_{0}=0} x 0 ≠ 0 {\displaystyle x_{0}\neq 0} x ( t ) {\displaystyle x(t)} t = 1 x 0 {\textstyle t={\frac {1}{x_{0}}}} t {\displaystyle t}
リーブラケット 2つのベクトル場に付随するフローは、互いに可換である必要はありません。可換でないことは、2つのベクトル場の リー括弧 によって記述されます。リー括弧もまたベクトル場です。リー括弧は、滑らかな関数に対するベクトル場の作用に基づいて、以下のように簡単に定義されます。 f {\displaystyle f} [ X , Y ] ( f ) := X ( Y ( f ) ) − Y ( X ( f ) ) . {\displaystyle [X,Y](f):=X(Y(f))-Y(X(f)).}
多様体間の滑らかな関数 が与えられると、その導関数は 接束 , 上の誘導写像となる。ベクトル場 と が与えられると、方程式が成り立つ場合、は と-関係にあると言える。 f : M → N {\displaystyle f:M\to N} f ∗ : T M → T N {\displaystyle f_{*}:TM\to TN} V : M → T M {\displaystyle V:M\to TM} W : N → T N {\displaystyle W:N\to TN} W {\displaystyle W} f {\displaystyle f} V {\displaystyle V} W ∘ f = f ∗ ∘ V {\displaystyle W\circ f=f_{*}\circ V}
が、と -関連している場合、リー括弧はと -関連しています。 V i {\displaystyle V_{i}} f {\displaystyle f} W i {\displaystyle W_{i}} i = 1 , 2 {\displaystyle i=1,2} [ V 1 , V 2 ] {\displaystyle [V_{1},V_{2}]} f {\displaystyle f} [ W 1 , W 2 ] {\displaystyle [W_{1},W_{2}]}
一般化 ベクトルをp ベクトル (ベクトルのp 番目の外冪)に置き換えると、 p ベクトル場が生成されます。双対空間 と外冪を取ると微分k 形式 が生成され、これらを組み合わせると一般テンソル場が 生成されます。
代数的には、ベクトル場は多様体上の滑らかな関数の代数の微分 として特徴付けることができ、これは可換代数上のベクトル場を代数上の微分として定義することにつながり、これは可換代数上の微分積分 理論で展開されます。
参照
参考文献
参考文献
外部リンク