Can you summarize the following document?
        
  

  線上性代數中,向量常採用更為抽象的向量空間(也稱為線性空間)來定義。向量是所謂向量空間中的基本構成元素。  向量空間是基於物理學或幾何學中的空間概念而形成的一個抽象概念,是滿足一系列法則的元素的集合,而歐幾里得空間便是線性空間的一種。向量空間中的元素就可以被稱為向量,而歐幾里得向量則是特指歐幾里得空間中的向量。

  在物理學和諸多工程學科中,向量更多地被稱作向量。許多常見的物理量都是用向量描述,如運動學中的位移、速度、加速度,力學中的力、力矩,電磁學中的電流密度、磁矩、電磁波等等。  物理學和一般的幾何學中涉及的向量概念嚴格意義上應當被稱為歐幾里得向量或幾何向量。定義具有物理意義上的大小和方向的向量概念則需要引進了定義了範數和內積的歐幾里得空間。按照定義,歐幾里得向量由大小和方向構成。

  在一些上下文中,尤其在物理學領域,有些向量會與起點有關(如一個力與其的作用點有關,質點運動速度與該質點的位置有關),因而假設向量有確定的起點和終點,當起點和終點改變後,構成的向量就不再是原來的向量。這樣的向量也被稱為固定向量。例子之一是運動學中常見的物理量位置向量。

  在另一些時候,由於向量的共性都具有大小和方向,會認為向量的起點和終點並不那麼重要。兩個起點不一樣的向量,只要大小相等,方向相同,就可以稱為是同一個向量。這樣的向量被稱為自由向量。在數學中,一般只研究自由向量,並且數學中所指的向量就是指自由向量。也就是隻要大小以及方向一樣,即可視為同一向量,與向量的起始點並無關係。一些文獻中會提到向量空間帶有一個特定的原點,這時可能會預設向量的起點是原點。

  

  使用符號的形式實際上只是對向量規定的一個概念化代號。向量在包括數學和物理等諸多領域均被廣泛採用,優點是簡潔明瞭,缺點是高度形式和抽象,既缺少幾何形象性又缺少定量精確性。

  數學上的向量通常可用加向右箭頭的小寫字母表示,如formula_1, formula_2, formula_3。有時也有用加箭頭的大寫字母表示數學量,如微積分中的面積元formula_4。給定兩點formula_5、formula_6時,也可確定一固定向量:如確定一個始於點從formula_5終於點formula_6的向量,符號表示為:formula_9  本方法被廣泛用於手寫。  在表示物理學上的向量也可用加箭頭的小寫字母表示,如速度formula_3,摩擦力formula_11,動量formula_12。  物理學還有許多物理量用加箭頭的大寫字母表示,如電場強度formula_13,磁場強度formula_14,力formula_15。

  向量也可用粗體小寫字母表示,如formula_16,許多書本會採用此種記法,但缺點是區分粗體字有時不容易,例如 formula_17和 formula_18肉眼看易混淆。

  直觀上,向量通常被標示為一個帶箭頭的有向線段。線段的長度表示向量的大小(或稱模長),向量的方向即箭頭所指的方向,可以記為formula_19。該種表示的優點是具有強烈的幾何直觀形象性,缺點是在紙面上作圖繁瑣,不便定量分析。  而遇到某些特殊情況(如表示磁場的磁感應強度)需要表示與記載紙面垂直的向量,則會使用圓圈中打叉或打點的方式來表示(如右圖)。圓圈中帶點的記號(⊙)表示由紙下方指向紙上方的向量,而圓圈中帶叉的記號(⊗)則表示由紙的上方指向紙下方的向量。由於這種記號不表示向量的大小,所以必須時需要在旁邊或其它地方另外註明。

  代數表示指在指定了一個座標系之後,用一個向量在該座標系下的座標來表示該向量,兼具了符號的抽象性和幾何形象性,因而具有最高的實用性,被廣泛採用於需要定量分析的情形。 對於自由向量,將向量的起點平移到座標原點後,向量就可以用一個座標系下的一個點來表示,該點的座標值即向量的終點座標。  設有一向量formula_20,有座標系formula_21。在formula_21中定義好若干個特殊的基本向量(稱為基向量,各個基向量共同組成該座標系下的基底)formula_23,formula_24,...,formula_25之後,則向量在各個基向量下的投影值即為對應的座標值,各個投影值組成了該向量在該座標系formula_21下可唯一表示的有序陣列(即座標),且與向量的終點一一對應的。換言之,其它的向量只需通過將這些基本向量拉伸後再按照平行四邊形法則進行向量加法即可表示(通常被稱為“用基底線性表出一個向量”,即該向量是基向量的某種線性組合),即:  其中formula_28,..., formula_29分別為formula_20分別在formula_23,formula_25下的投影。當基底已知,可直接省略各基向量的符號,類似於座標系上的點,直接用座標表示為:  在矩陣運算中,向量更多地被寫成類似於矩陣的列向量或行向量。線上性代數中所指的向量,通常預設為列向量。如一個向量formula_34,可寫成:  其中,上者為列向量寫法,下者為行向量寫法。值得一提的是,"n"維列向量可被視作"n" × "1"矩陣,"n"維行向量可被視作"1" × "n" 矩陣。  對於由兩個點確定的向量,同樣可以用座標進行表示,詳見向量運算。  在常見的三維空間直角座標系Oxyz裡,基本向量就是以橫軸(Ox)、豎軸(Oy)以及縱軸(Oz)為方向的三個長度為1的單位向量formula_36、formula_37、formula_38。這三個向量取好以後,其它的向量就可以透過三元陣列來表示,因為他們可以表示成一定倍數的三個基本向量的總和。比如說一個標示為("2","1","3")的向量就是2個向量formula_36加上1個向量formula_37加上3個向量formula_38得到的向量,即:

  類似於數字中的1(單位元)、相反數(加法逆元)、0(加法單位元),向量中有單位向量(單位元)、反向量(加法逆元)、零向量(加法單位元)、等概念量。此外,還有方向向量、相等向量等概念。

  對於任意向量formula_1,不論方向如何,若其大小為單位長度,則稱其為formula_1方向上的單位向量()。單位向量通常被記為formula_45。  特殊地,三維笛卡爾座標系上的三個基向量formula_46,formula_47,formula_48都是單位向量。

  一個向量formula_49的反向量()與它大小相等,但方向相反,一般記作formula_50。如果向量formula_19是向量formula_52的反向量,那麼formula_52也是formula_19的反向量。  另外,向量formula_1反向量也可按如下定義:

  始點與終點重合,即大小為0的向量,被稱為零向量(),記以數字0上加箭頭,即formula_56。有時亦可以用粗體的0表示,如formula_57。在座標表示下,不論含有多少分量,不論指向任何方向,若所有的分量均為0的向量即為零向量。關於零向量有兩點值得一提:  零向量可以如下進行形式化定義:

  不論起點終點,兩向量長度、方向相等,即為等向量或相等向量()。  對於任意向量formula_1,若其一個相等向量為formula_60,則對formula_60和數字-1進行數乘運算後得到的向量formula_62即formula_1的反向量。  另外,類似於反向量的定義,向量formula_1等向量也可按如下定義:

  方向向量()的形式化定義如下:  一般地,所有方向相同的向量之間互為方向向量。

  

  有向線段的概念建構於向量的方向與長度,差別在於多定義了始點與終點。在文字描述時,如果已知某有向線段的起點和終點分別是A和B,此線段的長度可以記為formula_65,即formula_66。

  向量的大小()也稱模長、長度。幾何上,當確定了單位長度後作圖所得的向量的長度,即為向量的大小,記作formula_67。在有限維賦範線性空間中,向量的模長也稱為範數(),記作formula_68。已知向量的座標,就可以知道它的模長。  設向量formula_69,其範數的計算表示式由弗羅貝尼烏斯範數(一種同時適用於向量和矩陣的範數計算方法)給出: formula_70。  特殊地,對於"n" 維歐幾里得空間 R上的向量formula_69,其模長或範數為: formula_72。  更特殊地,對於三維笛卡爾座標系下的向量formula_73,其模長為: formula_74。

  向量的夾角()是對於兩個向量而言的概念。對於任意兩個給定的向量formula_1和formula_60,二者的夾角即將二者圖示化後兩箭頭所夾之角formula_77。由於夾角具有互補性,因此在不同的出發規定、不同的旋轉方向下,所得夾角亦不同。  向量的夾角可由數量積的定義匯出計算公式,即:

  

  對於formula_79個向量formula_80,formula_81,...,formula_82,如果存在一組不全為零的formula_79個數formula_84、formula_85、...、formula_86,使得formula_87,那麼,稱formula_79個向量formula_89,formula_90,...,formula_91 線性相關或線性相依()。

  如果這樣不全為零的formula_79個數不存在,即上述向量等式僅當formula_84 =formula_85 =... = formula_86 = 0時才能成立,就稱向量formula_89,formula_90,...,formula_91 線性無關或線性獨立()。

  向量的大小是相對的,在有需要時,會規定單位向量,以其長度作為1。每個方向上都有一個單位向量。  向量之間可以如數字一樣進行運算。常見的向量運算有:加法、減法、數與向量之間的乘法(數量積)以及向量與向量之間的乘法(向量積)。

  向量的加法滿足平行四邊形法則和三角形法則。具體地,兩個向量formula_19和formula_52相加,得到的是另一個向量。這個向量可以表示為formula_19和formula_52的起點重合後,以它們為鄰邊構成的平行四邊形的一條對角線(以共同的起點為起點的那一條,見下圖左),或者表示為將formula_19的終點和formula_52的起點重合後,從formula_19的起點指向formula_52的終點的向量: 兩個向量formula_19和formula_52的相減,則可以看成是向量formula_19加上一個與formula_52大小相等,方向相反的向量。又或者,formula_19和formula_52的相減得到的向量可以表示為formula_19和formula_52的起點重合後,從formula_52的終點指向formula_19的終點的向量:  當這兩個向量數值、方向都不同,基本向量formula_117時,向量和計算為  並且有如下的不等關係:  此外,向量的加法也滿足交換律和結合律。

  向量空間分為有限維向量空間與無限維向量空間。在有限維向量空間中,可以找到一組(有限個)向量formula_120,使得任意一個向量formula_49都可以唯一地表示成這組向量的線性組合: 其中的標量formula_123是隨著向量formula_49而確定的。這樣的一組向量稱為向量空間的基。給定了向量空間以及一組基後,每個向量就可以用一個陣列來表示了。兩個向量formula_49和formula_126相同,當且僅當表示它們的陣列一樣。 兩個向量formula_3和 formula_129的和: 它們的數量積為: 而標量"k"與向量v的乘積則為:

  一個標量"k"和一個向量formula_49之間可以做乘法,得出的結果是另一個與formula_49方向相同或相反,大小為formula_49的大小的|"k"|倍的向量,可以記成formula_136 。該種運算被稱為純量乘法或數乘。-1乘以任意向量會得到它的反向量,0乘以任何向量都會得到零向量 formula_56。

  數量積也叫點積,它是向量與向量的乘積,其結果為一個純量(非向量)。幾何上,內積可以定義如下:  設 formula_19、formula_52 為兩個任意向量,它們的夾角為 formula_140,則他們的內積為:  即 formula_52 向量在 formula_19 向量方向上的投影長度(同方向為正反方向為負號),與 formula_19 向量長度的乘積。 內積被廣泛應用於物理中,如做功就是用力的向量乘位移的向量,即 formula_145。

  向量積也叫叉積,外積,它也是向量與向量的乘積,不過需要注意的是,它的結果是個向量。它的幾何意義是所得的向量與被乘向量所在平面垂直,方向由右手定則規定,大小是兩個被乘向量張成的平行四邊形的面積。所以向量積不滿足交換律。舉例來說 formula_146 但是 formula_147。  設有向量formula_148、formula_149,  則其向量積的矩陣表示式可用下列符號表示:

  三個向量formula_19、formula_52和formula_153的混合積定義為,物理意義為三向量始於同點時所構成的體積:

  

  在實際應用中,向量運算時常會運用到定比分點定理。  設平面直角座標系formula_155原點formula_156,內有點formula_157,點formula_158,點formula_159,點formula_160在點formula_5、formula_6之間,且  formula_163,則:  formula_164 特殊地,當formula_165,  formula_166  相應的有中點formula_160座標: formula_168  實際上,上述結論可以推廣到空間向量中。 設空間直角座標系formula_169內原點為formula_170,有點formula_171,formula_172,formula_5、formula_6點間有一點formula_160,且  formula_163,  則:formula_177  中點formula_160座標:  formula_179

  設平面直角座標系formula_155內原點formula_156,有點formula_157,點formula_158,點formula_159,點formula_160在點formula_5、formula_6之間,且formula_188,則:  formula_189, formula_190
向量 (,物理、工程等也稱作向量 歐幾里得向量)是數學、物理學和工程科學等多個自然科學中的基本概念。指一個同時具有大小和方向,且滿足平行四邊形法則的幾何物件。理論數學中向量的定義為任何在向量空間中的元素。一般地,同時滿足具有大小和方向兩個性質的幾何物件即可認為是向量(特別地,電流屬既有大小、又有正負方向的量,但由於其運算不滿足平行四邊形法則,公認為其不屬於向量)。向量常常在以符號加箭頭標示以區別於其它量。與向量相對的概念稱標量或數量,即只有大小、絕大多數情況下沒有方向(電流是特例)、不滿足平行四邊形法則的量。