嚮量空間 (或稱綫性空間)是現代數學中的一個基本概念。是綫性代數研究的基本對象。
嚮量空間的一個直觀模型是嚮量幾何,幾何上的嚮量及相關的運算即嚮量加法,標量乘法,以及對運算的一些限製如封閉性,結合律,已大致地描述了“嚮量空間”這個數學概念的直觀形象。
在現代數學中,“嚮量”的概念不僅限於此,符合下列公理的任何數學對象都可被當作嚮量處理。譬如,實係數多項式的集合在定義適當的運算後構成嚮量空間,在代數上處理是方便的。單變元實函數的集合在定義適當的運算後,也構成嚮量空間,研究此類函數嚮量空間的數學分支稱為泛函分析。
公理化定義
給定域 F,一個嚮量空間是個集合 V 並規定兩個運算:
嚮量加法:V × V → V 記作 v + w, ∃ v, w ∈ V,
標量乘法:F × V → V 記作 a v, ∃a ∈ F 及 v ∈ V。
符合下列公理 (∀ a, b ∈ F 及 u, v, w ∈ V):
嚮量加法結合律:u + (v + w) = (u + v) + w.
嚮量加法交換律: v + w = w + v.
嚮量加法的單位元: V 裏有一個叫做零嚮量的 0,∀ v ∈ V , v + 0 = v.
嚮量加法的逆元素: ∀v∈V, ∃w∈V, 導致 v + w = 0.
標量乘法分配於嚮量加法上: a(v + w) = a v + a w.
標量乘法分配於域加法上: (a + b)v = a v + b v.
標量乘法一致於標量的域乘法: a(b v) = (ab)v。
標量乘法有單位元: 1 v = v, 這裏 1 指示域 F 的乘法單位元.
有些教科書還強調以下兩個閉包公理:
V 閉合在嚮量加法下:v + w ∈ V.
V 閉合在標量乘法下: a v ∈ V.
簡而言之,嚮量空間是一個F-模。
V的成員叫作嚮量而F的成員叫作標量
若F是實數域R,V稱為實數嚮量空間.
若F是復數域C,V稱為復數嚮量空間.
若F是有限域,V稱為有限域嚮量空間 對一般域F,V稱為F-嚮量空間 基礎特性
首5個公理是說明嚮量V在嚮量加法中是個可換群.餘下的5個公理應用於標量乘法.
這些都是一些特性很容易從嚮量空間公理推展出來的.如下:
零嚮量 0 ∈ V (公理3) 是唯一的.
a 0 = 0 ∀ a ∈ F.
0 v = 0 ∀ v ∈ V 這裏 0 是F的加法單位元.
a v = 0 ,則可以推出要麽 a = 0 ,要麽 v = 0.
可加的逆元嚮量 v (公理4) 是唯一的. (寫成−v). 這個寫法v − w 及 v + (−w) 都是標準的.
(−1)v = −v ∀ v ∈ V.
(−a)v = a(−v) = −(av) ∀ a ∈ F , ∀ v ∈ V.
例子
參見 嚮量空間例子
子空間及基
一個嚮量空間 V 的一個非空子集合 W 在加法及標量乘法中表現密閉性,被稱為 V 的綫性子空間。
給出一個嚮量集合 B,那麽包含它的最小子空間就稱為它的擴張,紀作 span(B)。
給出一個嚮量集合 B,若它的擴張就是嚮量空間 V, 則稱 B 為 V 的生成集。
一個嚮量空間 V 最大的綫性獨立子集,稱為這個空間的基。若 V=0,唯一的基是空集。對非零嚮量空間 V,基是 V 最小的生成集。
如果一個嚮量空間 V 擁有一個元素個數有限的生成集,那麽就稱 V 是一個有限維空間。嚮量空間的所有基擁有相同基數,稱為該空間的維度。例如,實數嚮量空間:R0, R1, R2, R3, …, R∞, …中, Rn 的維度就是 n。
空間內的每個嚮量都有唯一的方法表達成基中元素的綫性組合。把基中元素排列,嚮量便可以座標係統來呈現。
綫性映射
給兩個嚮量空間 V 和 W 在同一個F場, 設定由V到W的綫性變換或“綫性映射” . 這些由V到W的映射都有共同點就是它們保持總和及標量商數.這個集合包含所有由V到W的綫性映射,以 L(V, W) 來描述, 也是一個F場裏的嚮量空間. 當 V 及 W 被確定後, 綫性映射可以用矩陣來表達.
同構是一對一的一張綫性映射.如果在V 和W之間存在同構, 我們稱這兩個空間為同構;他們根本上是然後相同的。
一個在F場的嚮量空間加上綫性映射就可以構成一個範疇,即阿貝爾範疇。
概念化及額外結構
研究嚮量空間很自然涉及一些額外結構。額外結構如下:
一個實數或復數嚮量空間加上長度概念。就是範數稱為賦範嚮量空間。
一個實數或復數嚮量空間加上長度和角度的概念,稱為 內積空間。
一個嚮量空間加上拓撲學符合運算的(加法及標量乘法是連續映射)稱為拓撲嚮量空間。
一個嚮量空間加上雙綫性算子(定義為嚮量乘法)是個域代數。
嚮量空間的同構
在域F上的兩個嚮量空間V與V' ,如果存在一個雙射φ:V→V'並且φ(aμ+bν)=aφ(μ)+bφ(ν),a,b∈F,μ,ν∈V.這樣V與V' 便是同構。