查看“向量場”的源代码

{{unreferenced|time=2015-01-25T09:27:47+00:00}}
在[[向量分析]]中，'''向量場'''是把[[空间_(数学)|空間]]中的每一[[点]]指派到一個[[向量]]的[[映射]]。

[[物理學]]中的向量場有風場、[[引力場]]、[[電磁場]]、水流場等等。

== 定義 ==

設''X''是'''R'''<sup>''n''</sup>裡的一個连通開集，一個'''向量場'''就是一個向量函數

:<math> \mathbf{F}: X \rightarrow \mathbb{R}^n</math>

我們稱<math display="inline"> \mathbf{F}</math>為一個''C<sup>k</sup>''向量場，如果<math> \mathbf{F}</math>在''X''上是''k''次連續可微的。

在''X''內，一個點''x''被稱為'''固定的'''，若
:<math> \mathbf{F}(\mathbf{x}) = \mathbf{0}</math>

向量場可以理解為一個''n''維空間，其中對X內每一個點都有個附著的''n''維向量。

給定兩個定義於''X''上的''C''<sup>''k''</sup>-向量場''F'',''G''以及一個定義於''X''上的''C''<sup>''k''</sup>-實值函數''f''，可以定義以下運算

:<math> (f \mathbf{F})(\mathbf{x}) = f(\mathbf{x}) \mathbf{F}(\mathbf{x})</math>

:<math> \mathbf{(F+G)}(\mathbf{x}) = \mathbf{F}(\mathbf{x}) + \mathbf{G}(\mathbf{x})</math>

如此便可定義在''C''<sup>''k''</sup>函數的[[环_(代数)|環]]上的''C''<sup>''k''</sup>向量場的[[模]]。

{{mathstub}}

[[Category:向量分析|X]]
[[Category:微分拓扑学|X]]
[[Category:场论|X]]