什麼是線性代數?
研究具有線性特質的代數結構
e.g. 方程組的解集合
# 線性特質 linear
# 線性函數
滿足以下條件的函數f 稱作為線性函數
{f(x+y)f(cx)=f(x)+f(y)=cf(x)∀x,y∀c∈R∀x
簡單的例子
雙變數的例子
令f(x)=2x−y
{f((x1,y1)+(x2,y2))f(c(x,y))=f(x1,y1)+f(x2,y2)=cf(x,y)
面積的例子
固定w=(c,d),令v=(x,y),A(x,y) 表示w⋅v=(x,y) 所形成的面積
A(x,y)=∣∣∣∣∣∣xcyd∣∣∣∣∣∣=∣dx−cy∣
# 線性結構
元素上,令 S 為一集合,滿足以下條件的集合 S 具有線性結構
{x+y∈Scx∈S∀x,y∈S∀c∈R∀x∈S
簡單的例子
# 代數結構
令 S = 集合,* = 運算 (如: +,-,x,÷,∪,∩)
能滿足特定規則的 (S,*) 稱為一個代數結構
# 群 Group
考慮 (G,∗):
- 封閉性: ∀a,b∈G⟹a∗b∈G
- 結合律: ∀a,b,c∈G⟹(a∗b)∗c=a∗(b∗c)
- 單位元素: ∀a∈G∃e∈Gs.t.⟹a∗e=e∗a=a
- 反元素: ∀a∈G∃a−1∈Gs.t.⟹a∗a−1=a−1∗a=e
- 交換律: ∀a,b∈G⟹a∗b=b∗a
- 滿足 1~2.=> 稱作一個半群
- 滿足 1~3.=> 稱作一個麼半群
- 滿足 1~4.=> 稱作一個群
- 滿足 1~5.=> 稱作一個交換群
# 向量空間 vector space
在體 F 上的向量空間 V 是一個集合,上有兩種二元運算
- 向量加法
+
: x+y∈V,∀x,y∈V - 純量乘法
·
: a⋅x∈V,∀a∈F,x∈V
公理 | 說明 |
---|
向量加法的交換律 | u + v = v + u |
向量加法的結合律 | u + (v + w) = (u + v) + w |
向量加法的單位元素 | 存在一個叫做零向量的元素 0 ∈ V,使得對任意 u ∈ V 都滿足 u + 0 = u |
向量加法的反元素 | 對任意 v ∈ V 都存在其反元素 - v ∈ V 使得 v + (-v) = 0 |
純量乘法對體加法的分配律 | (a + b)v = av + bv |
純量乘法對向量加法的分配律 | a(u + v) = au + av |
純量乘法與純量的體乘法相容 | a(bv) = (ab)v |
純量乘法的單位元素 | 體 F 存在乘法單位元素 1 滿足 1v = v |
# 線性方程組的解
線性方程式: a1x1+a2x2+...+anxn=b
線性方程組:
⎩⎪⎨⎪⎧x−2y+4zx+y+zx+4y−2z=9=6=3=>⎝⎛111−21441−2⎠⎞⎝⎛xyz⎠⎞=⎝⎛963⎠⎞
齊次方程組:
⎩⎪⎨⎪⎧a1x1+a2x2+...+anxnan+1x1+an+2x2+...+a2nxna2n+1x1+a2n+2x2+...+a3nxn=0=0=0
=> 此方程組必有一解 (0,...,0) 稱為 trivial solution
=> 可能存在 (0,...,0) 以外的解 稱為 non-trivial solution
通解 = 特定解 + 齊次解
特定解
⎝⎛111−21441−2⎠⎞⎝⎛xyz⎠⎞=⎝⎛963⎠⎞ 有一解⎝⎛501⎠⎞ 稱之為特定解
齊次解
考慮 ⎝⎛111−21441−2⎠⎞⎝⎛xyz⎠⎞=⎝⎛000⎠⎞存在一解⎝⎛−211⎠⎞ 稱之為齊次解
通解
A⎣⎢⎡⎝⎛−211⎠⎞t+⎝⎛501⎠⎞⎦⎥⎤=A⎝⎛−211⎠⎞t+A⎝⎛501⎠⎞=⎝⎛963⎠⎞
- 如何找到特定解與齊次解
- 加減消去法
- 克拉瑪公式
- 反矩陣 (若存在)
- 高斯消去法
- 高斯喬丹消去法
Note
列數 => 方程式個數
, 行數 => 變數個數
- 基本列運算 => 左乘矩陣
- 對調 ⎝⎛100001010⎠⎞⎝⎛111−21441−2⎠⎞=⎝⎛111−2414−21⎠⎞
- 縮放 ⎝⎛100020000.5⎠⎞⎝⎛111−21441−2⎠⎞=⎝⎛120.5−22242−1⎠⎞
- 取代 ⎝⎛1−10010001⎠⎞⎝⎛111−21441−2⎠⎞=⎝⎛101−2344−3−2⎠⎞
- 高斯消去法的目的 => 透過基本列運算增廣矩陣化成 梯形矩陣
R.E.F.
高斯喬丹消去法
將增廣矩陣化成簡化列梯形矩陣 R.R.E.F.
- 每列第一個不為 0 的元素為 1
- 其上方皆為 0
⎝⎛111−21441−2963⎠⎞=⎝⎛100−2304−309−30⎠⎞=⎝⎛100−2104−109−10⎠⎞=⎝⎛1000102−107−10⎠⎞