向量(vector,在中國大陸物理、工程領域通稱矢量[1][2][註 1]),又稱歐幾里得向量(Euclidean vector)[來源請求],是同時具有大小和方向,且滿足平行四邊形法則的幾何對象。向量是數學、物理學和工程科學等多個自然科學中的基本概念。
許多的箭頭代表了許多向量。
Quick Facts 線性代數, 向量 ...
線性代數
|
![{\displaystyle \mathbf {A} ={\begin{bmatrix}1&2\\3&4\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a31efc33ac33577d719a3ccd162a9bf21e4847ea)
|
向量 · 向量空間 · 基底 · 行列式 · 矩陣
|
|
|
Close
理論數學中向量的定義為任何在稱為向量空間的代數結構中的元素。一般地,同時滿足具有大小和方向兩個性質的幾何物件即可認為是向量[註 2]。
向量常常在以符號加箭頭標示以區別於其它量。與向量相對的概念稱標量、純量、數量,即只有大小、絕大多數情況下沒有方向(電流是特例)、不滿足平行四邊形法則的量。
在線性代數中,向量常常採用更為抽象的向量空間(也稱為線性空間)來定義。向量是向量空間中的基本構成元素。
向量空間是基於物理學或幾何學中的空間概念,抽象出其代數性質所形成的一個概念,是一個滿足一系列法則的代數結構。向量空間相伴的純量未必是實數,可以是複數、有理數等域。歐幾里得空間便是線性空間的一種。向量空間中的元素就可以被稱為向量,而歐幾里得向量則是特指歐幾里得空間中的向量。更一般的向量空間,例如所有次數不大於3的複系數多項式的集合;所有6×6實對稱矩陣的集合;區間[0, 1]上的所有實值連續函數的集合;所有收斂於0的複數數列的集合等。
向量可以描述許多常見的物理量,如運動學中的位移、速度、加速度,力學中的力、力矩,電磁學中的電流密度、磁矩、電磁波等等。
物理學和一般的幾何學中涉及的向量概念嚴格意義上應當被稱為歐幾里得向量或幾何向量。定義具有物理意義上的大小和方向的向量概念則需要引進了定義了範數和內積的歐幾里得空間。按照定義,歐幾里得向量由大小和方向構成。
在一些上下文中,尤其在物理學領域,有些向量會與起點有關(如一個力與其的作用點有關,質點運動速度與該質點的位置有關),因而假設向量有確定的起點和終點[3],當起點和終點改變後,構成的向量就不再是原來的向量。這樣的向量也被稱為固定向量。例子之一是運動學中常見的物理量位置向量。
![Thumb](//upload.wikimedia.org/wikipedia/commons/thumb/2/24/Vector-line.png/640px-Vector-line.png)
的位置可自由移動
在另一些時候,由於向量的共性都具有大小和方向,會認為向量的起點和終點並不那麼重要。兩個起點不一樣的向量,只要大小相等,方向相同,就可以稱為是同一個向量。這樣的向量被稱為自由向量。在數學中,一般只研究自由向量,並且數學中所指的向量就是指自由向量。也就是只要大小以及方向一樣,即可視為同一向量,與向量的起始點並無關係。一些文獻中會提到向量空間帶有一個特定的原點,這時可能會默認向量的起點是原點。[4]
使用符號的形式實際上只是對向量規定的一個概念化代號。向量在包括數學和物理等諸多領域均被廣泛採用,優點是簡潔明了,缺點是高度形式和抽象,既缺少幾何形象性又缺少定量精確性。
直觀上,向量通常被標示為一個帶箭頭的有向線段。線段的長度表示向量的大小(或稱模長),向量的方向即箭頭所指的方向,可以記為
。該種表示的優點是具有強烈的幾何直觀形象性,缺點是在紙面上作圖繁瑣,不便定量分析。
垂直於紙面的向量的表示方式
而遇到某些特殊情況(如表示磁場的磁感應強度)需要表示與記載紙面垂直的向量,則會使用圓圈中打叉或打點的方式來表示(如右圖)。圓圈中帶點的記號(⊙)表示由紙下方指向紙上方的向量,而圓圈中帶叉的記號(⊗)則表示由紙的上方指向紙下方的向量。由於這種記號不表示向量的大小,所以必須時需要在旁邊或其它地方另外註明。
在三維笛卡爾坐標系中體現出的向量
代數表示指在指定了一個坐標系之後,用一個向量在該坐標系下的坐標來表示該向量,兼具了符號的抽象性和幾何形象性,因而具有最高的實用性,被廣泛採用於需要定量分析的情形。
對於自由向量,將向量的起點平移到坐標原點後,向量就可以用一個坐標系下的一個點來表示,該點的坐標值即向量的終點坐標。
設有一向量
,有坐標系
。在
中定義好若干個特殊的基本向量(稱為基向量,各個基向量共同組成該坐標系下的基底)
,
,...,
之後,則向量在各個基方向的投影值即為對應的坐標值,各個投影值組成的有序數組,稱為該向量在坐標系
的坐標,是向量的唯一表示,即與向量的終點一一對應。換言之,其它的向量只需通過將這些基本向量拉伸後再按照平行四邊形法則進行向量加法即可表示(通常被稱為「用基底線性表出一個向量」,即該向量是基向量的某種線性組合),即:
![{\displaystyle {\vec {a}}=a_{1}{\vec {e_{1}}}+...+a_{n}{\vec {e_{n}}},}](//wikimedia.org/api/rest_v1/media/math/render/svg/ca18b7ac13ab344d663e98d91fe27fa4ea2be22a)
其中
, ...,
分別為
在
,
方向的投影。當基底已知,可直接省略各基向量的符號,類似於坐標系上的點,直接用坐標表示為:
![{\displaystyle {\vec {a}}=(a_{1},a_{2},...,a_{n})}](//wikimedia.org/api/rest_v1/media/math/render/svg/d2a6a3bd062c5a4c63435ea8bd94c556b7eecc18)
在矩陣運算中,更常將向量寫成類似於矩陣的列向量或行向量。在線性代數中所指的向量,通常默認為列向量。如一個向量
,可寫成:
![{\displaystyle {\begin{array}{lcl}{\vec {a}}&=&{\begin{bmatrix}a\\b\\c\\\end{bmatrix}},\\{\vec {a}}&=&[a\ b\ c].\end{array}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/073e25ce00fc24273745903dd327d051905cb7c4)
其中,上者為列向量寫法,下者為行向量寫法;此處採中國大陸定義。
值得注意的是:
維列向量可視作
矩陣,
維行向量可視作
矩陣。
- 在中國大陸,橫向的元素組稱為「行」,縱向的稱為「列」,而在臺灣則相反,橫向稱為「列」,縱向稱為「行」[5]。詳見矩陣。
對於由兩個點確定的向量,同樣可以用坐標進行表示,詳見向量運算。
在常見的三維空間直角坐標系Oxyz里,基本向量就是以橫軸(Ox)、豎軸(Oy)以及縱軸(Oz)為方向的三個長度為1的單位向量
、
、
。這三個向量取好以後,其它的向量就可以透過三元數組來表示,因為他們可以表示成一定倍數的三個基本向量的總和。比如說一個標示為(2,1,3)的向量就是2個向量
加上1個向量
加上3個向量
得到的向量,即:
![{\displaystyle (a,b,c)=a{\vec {i}}+b{\vec {j}}+c{\vec {k}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f1ecdf239db4f09f6e50a383f15eed513038a717)
類似於數字中的1(單位元素)、相反數(加法反元素)、0(加法單位元素),向量中有單位向量(單位元素)、反向量(加法反元素)、零向量(加法單位元素)、等概念量。此外,還有方向向量、相等向量等概念。
對於任意向量
,不論方向如何,若其大小為單位長度,則稱其為
方向上的單位向量(Unit vector)。單位向量通常被記為
。
特殊地,三維笛卡爾坐標系上的三個基向量
,
,
都是單位向量。
向量的大小(Magnitude)也稱模長、長度。幾何上,當確定了單位長度後作圖所得的向量的長度,即為向量的大小,記作
。在有限維賦範線性空間中,向量的模長也稱為範數(Norm),記作
。已知向量的坐標,就可以知道它的模長。
設向量
,其範數的計算表達式由弗比尼斯範數(一種同時適用於向量和矩陣的範數計算方法)給出:
[8]。
特殊地,對於n 維歐幾里得空間 Rn上的向量
,其模長或範數為:
。
更特殊地,對於三維笛卡爾坐標系下的向量
,其模長為:
。
向量的大小是相對的,在有需要時,會規定單位向量,以其長度作為1。每個方向上都有一個單位向量[6]。
向量之間可以如數字一樣進行運算。常見的向量運算有:加法、減法、數與向量之間的乘法(數量積)以及向量與向量之間的乘法(向量積),但向量的除法沒有定義[10]。
向量的加法滿足平行四邊形法則和三角形法則。具體地,兩個向量
和
相加,得到的是另一個向量。這個向量可以表示為
和
的起點重合後,以它們為鄰邊構成的平行四邊形的一條對角線(以共同的起點為起點的那一條,見下圖左),或者表示為將
的終點和
的起點重合後,從
的起點指向
的終點的向量:
向量 a 加向量 b
兩個向量
和
的相減,則可以看成是向量
加上一個與
大小相等,方向相反的向量。又或者,
和
的相減得到的向量可以表示為
和
的起點重合後,從
的終點指向
的終點的向量:
向量 a 減向量 b
當這兩個向量數值、方向都不同,基本向量
時,向量和計算為
![{\displaystyle {\vec {a}}+{\vec {b}}=(a_{1}+b_{1}){\vec {e}}_{1}+(a_{2}+b_{2}){\vec {e}}_{2}+(a_{3}+b_{3}){\vec {e}}_{3}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f74a2cebd68fb36f5d14f652439b6469b868889d)
並且有如下的不等關係:
![{\displaystyle \left|{\vec {a}}\right|+\left|{\vec {b}}\right|\geq \left|{\vec {a}}+{\vec {b}}\right|\geq \left|{\vec {a}}\right|-\left|{\vec {b}}\right|}](//wikimedia.org/api/rest_v1/media/math/render/svg/98193896bb70cfca7d74337a04bce87dce2d3b95)
此外,向量的加法也滿足交換律和結合律。[6]
向量空間分為有限維向量空間與無限維向量空間。在有限維向量空間中,可以找到一組(有限個)向量
,使得任意一個向量
都可以唯一地表示成這組向量的線性組合:
![{\displaystyle {\vec {v}}=v_{1}{\vec {e}}_{1}+v_{2}{\vec {e}}_{2}+\cdots +v_{n}{\vec {e}}_{n}}](//wikimedia.org/api/rest_v1/media/math/render/svg/60658399528c8081bb6c108e37ca9eed262fa705)
其中的純量
是隨着向量
而確定的。這樣的一組向量稱為向量空間的基。給定了向量空間以及一組基後,每個向量就可以用一個數組來表示了[11]。兩個向量
和
相同,當且僅當表示它們的數組一樣。
![{\displaystyle {\begin{array}{lcl}v_{1}&=&w_{1}\\v_{2}&=&w_{2}\\\vdots \ &&\vdots \\v_{n}&=&w_{n}\end{array}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5b82429b5e28cfc41c86c38b44ab71b38180ad4a)
兩個向量
和
的和:
![{\displaystyle {\vec {v}}+{\vec {w}}=(v_{1}+w_{1}){\vec {e}}_{1}+(v_{2}+w_{2}){\vec {e}}_{2}+\cdots +(v_{n}+w_{n}){\vec {e}}_{n}}](//wikimedia.org/api/rest_v1/media/math/render/svg/6d5d4d6fb39461fe95091ee44d55b12ab653fd54)
它們的數量積為:
[8]
而純量k與向量v的乘積則為:
[8]
向量積也叫叉積,外積,它也是向量與向量的乘積,不過需要注意的是,它的結果是個向量。它的幾何意義是所得的向量與被乘向量所在平面垂直,方向由右手定則規定,大小是兩個被乘向量張成的平行四邊形的面積。所以向量積不滿足交換律。舉例來說
但是
。
設有向量
、
,
則其向量積的矩陣表達式可用下列符號表示:
![{\displaystyle {\vec {a}}\times {\vec {b}}={\begin{vmatrix}{\vec {i}}&{\vec {j}}&{\vec {k}}\\a_{x}&a_{y}&a_{z}\\b_{x}&b_{y}&b_{z}\end{vmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f2ece63822d3d5d51b30728ea5b491ba05e43705)
在實際應用中,向量運算時常會運用到定比分點定理。
平面直角坐標系Oxy
設平面直角坐標系
原點
,內有點
,點
,點
,點
在點
、
之間,且
,則:
![{\displaystyle {\overrightarrow {OP}}\left({\frac {x_{1}+nx_{2}}{1+n}},{\frac {y_{1}+ny_{2}}{1+n}}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/1edd0e4820300012811166b8a65703420ab32f39)
特殊地,當
,
![{\displaystyle {\overrightarrow {OP}}=\left({\frac {x_{1}+x_{2}}{2}},{\frac {y_{1}+y_{2}}{2}}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/d321bae145ee0b70311e9a6ca1517e3ef8b65f64)
相應的有中點
坐標:
![{\displaystyle \left({\frac {x_{1}+x_{2}}{2}},{\frac {y_{1}+y_{2}}{2}}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/7bf139b334a73971d2b16df085c1a5095f815a45)
實際上,上述結論可以推廣到空間向量中。
設空間直角坐標系
內原點為
,有點
,
,
、
點間有一點
,且
,
則:![{\displaystyle {\overrightarrow {OP}}=\left({\frac {x_{1}+nx_{2}}{1+n}},{\frac {y_{1}+ny_{2}}{1+n}},{\frac {z_{1}+nz_{2}}{1+n}}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/772cc2d4245da03894bf61e56e91ee969584226e)
中點
坐標:
![{\displaystyle \left({\frac {x_{1}+x_{2}}{2}},{\frac {y_{1}+y_{2}}{2}},{\frac {z_{1}+z_{2}}{2}}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/e99e73d06b329d82fd406d8f001a2a7fdfd002b7)
物理學名詞審定委員會.物理学名词 [S/OL].全國科學技術名詞審定委員會, 公佈. 3版.北京:科學出版社, 2019: 2. 科學文庫 (頁面存檔備份,存於互聯網檔案館).
許以超. 《代数学引论》. 上海科學技術出版社. 1966.,第29至30頁