一組基給出坐標,但未必給出長度或角度。內積提供幾何結構,正交坐標則把最近點問題分成若干個互不干擾的一維問題,並導出 QR 分解。
1 內積與正交性
實內積 ⟨ u , v ⟩ \langle u,v\rangle ⟨ u , v ⟩ 是對稱、雙線性且正定的:v ≠ 0 v\ne0 v = 0 時 ⟨ v , v ⟩ > 0 \langle v,v\rangle>0 ⟨ v , v ⟩ > 0 。其範數為 ∥ v ∥ = ⟨ v , v ⟩ \|v\|=\sqrt{\langle v,v\rangle} ∥ v ∥ = ⟨ v , v ⟩ 。正交向量的內積為零;正交規範向量組由兩兩正交的單位向量組成。
R n \mathbb R^n R n 上的標準內積是 u T v u^Tv u T v 。當 W W W 是對稱正定矩陣時,加權乘積 u T W v u^TWv u T W v 也是內積。在 P d P_d P d 上,⟨ p , q ⟩ = ∫ 0 1 p ( t ) q ( t ) d t \langle p,q\rangle=\int_0^1p(t)q(t)dt ⟨ p , q ⟩ = ∫ 0 1 p ( t ) q ( t ) d t 也是內積:非零連續多項式在某點非零,其平方便在一個區間上為正,故平方的積分為正。
對上述實內積空間 V V V ,以下估計成立。
定理
Cauchy-Schwarz 不等式 對所有向量 v , w ∈ V v,w\in V v , w ∈ V ,
∣ ⟨ v , w ⟩ ∣ ≤ ∥ v ∥ ∥ w ∥ . |\langle v,w\rangle|\le\|v\|\,\|w\|. ∣ ⟨ v , w ⟩ ∣ ≤ ∥ v ∥ ∥ w ∥. 而且等號成立當且僅當 v v v 與 w w w 線性相關。
證明
用二次多項式證明 先考慮 w = 0 w=0 w = 0 。此時 Cauchy-Schwarz 的兩邊同為 0 0 0 ,等號立即成立;而
包含零向量的一對向量必定線性相關。因此,不等式和上述等號條件在這個
情況都成立。
現在假設 w ≠ 0 w\ne0 w = 0 ,並考慮函數
F ( t ) = ∥ t w − v ∥ 2 . F(t)=\|tw-v\|^2. F ( t ) = ∥ tw − v ∥ 2 . 由於範數平方永遠非負,所以對所有實數 t t t 都有 F ( t ) ≥ 0 F(t)\ge0 F ( t ) ≥ 0 。把它展
開得
F ( t ) = t 2 ⟨ w , w ⟩ − 2 t ⟨ v , w ⟩ + ⟨ v , v ⟩ . F(t)=t^2\langle w,w\rangle-2t\langle v,w\rangle+\langle v,v\rangle. F ( t ) = t 2 ⟨ w , w ⟩ − 2 t ⟨ v , w ⟩ + ⟨ v , v ⟩ . 由於首項係數是 ∥ w ∥ 2 > 0 \|w\|^2>0 ∥ w ∥ 2 > 0 ,這是一個真正的二次多項式。它對所有實數
都非負,因此其判別式不能為正:
4 ⟨ v , w ⟩ 2 − 4 ∥ v ∥ 2 ∥ w ∥ 2 ≤ 0. 4\langle v,w\rangle^2-4\|v\|^2\|w\|^2\le0. 4 ⟨ v , w ⟩ 2 − 4∥ v ∥ 2 ∥ w ∥ 2 ≤ 0. 於是
∣ ⟨ v , w ⟩ ∣ ≤ ∥ v ∥ ∥ w ∥ . |\langle v,w\rangle|\le\|v\|\,\|w\|. ∣ ⟨ v , w ⟩ ∣ ≤ ∥ v ∥ ∥ w ∥. 在 w ≠ 0 w\ne0 w = 0 的情況,Cauchy-Schwarz 取等當且僅當判別式為零,亦即
F ( t ) F(t) F ( t ) 有實根。這表示存在某個實數 t t t 使 t w − v = 0 tw-v=0 tw − v = 0 ,所以 v v v 是 w w w
的純量倍。反過來,若 v v v 與 w w w 線性相關,因 w ≠ 0 w\ne0 w = 0 ,可寫成
v = t w v=tw v = tw ,直接代入便得等號。連同 w = 0 w=0 w = 0 的情況,這就證明了完整的等號
條件,包括其中一個或兩個向量都是零向量的所有情況。
定理
三角不等式 對所有向量 u , v ∈ V u,v\in V u , v ∈ V ,
∥ u + v ∥ ≤ ∥ u ∥ + ∥ v ∥ . \|u+v\|\le\|u\|+\|v\|. ∥ u + v ∥ ≤ ∥ u ∥ + ∥ v ∥. 而且等號成立當且僅當 u u u 與 v v v 其中一個是另一個的非負純量倍,包括
其中一個是零向量的情況。
證明
兩個估計的等號必須同時成立 這裏要追蹤連續的兩個等號缺口:
⟨ u , v ⟩ ≤ ∣ ⟨ u , v ⟩ ∣ ≤ ∥ u ∥ ∥ v ∥ \langle u,v\rangle\le|\langle u,v\rangle|\le\|u\|\,\|v\| ⟨ u , v ⟩ ≤ ∣ ⟨ u , v ⟩ ∣ ≤ ∥ u ∥ ∥ v ∥ 第一個缺口控制內積的符號,第二個控制線性相關性。零向量情況分開處理,
因此不需要在這些情況下歸一化。
由
∥ u + v ∥ 2 = ⟨ u + v , u + v ⟩ = ∥ u ∥ 2 + 2 ⟨ u , v ⟩ + ∥ v ∥ 2 \|u+v\|^2
=\langle u+v,u+v\rangle
=\|u\|^2+2\langle u,v\rangle+\|v\|^2 ∥ u + v ∥ 2 = ⟨ u + v , u + v ⟩ = ∥ u ∥ 2 + 2 ⟨ u , v ⟩ + ∥ v ∥ 2 及 Cauchy-Schwarz,
⟨ u , v ⟩ ≤ ∣ ⟨ u , v ⟩ ∣ ≤ ∥ u ∥ ∥ v ∥ , \langle u,v\rangle\le|\langle u,v\rangle|\le\|u\|\,\|v\|, ⟨ u , v ⟩ ≤ ∣ ⟨ u , v ⟩ ∣ ≤ ∥ u ∥ ∥ v ∥ , 可得
∥ u + v ∥ 2 ≤ ∥ u ∥ 2 + 2 ∥ u ∥ ∥ v ∥ + ∥ v ∥ 2 = ( ∥ u ∥ + ∥ v ∥ ) 2 . \|u+v\|^2\le\|u\|^2+2\|u\|\,\|v\|+\|v\|^2=(\|u\|+\|v\|)^2. ∥ u + v ∥ 2 ≤ ∥ u ∥ 2 + 2∥ u ∥ ∥ v ∥ + ∥ v ∥ 2 = ( ∥ u ∥ + ∥ v ∥ ) 2 . 兩邊取平方根便得到
∥ u + v ∥ ≤ ∥ u ∥ + ∥ v ∥ . \|u+v\|\le\|u\|+\|v\|. ∥ u + v ∥ ≤ ∥ u ∥ + ∥ v ∥. 要在最後取等,上面一連串的兩個估計都必須取等。第一個估計要求
⟨ u , v ⟩ = ∣ ⟨ u , v ⟩ ∣ \langle u,v\rangle=|\langle u,v\rangle| ⟨ u , v ⟩ = ∣ ⟨ u , v ⟩ ∣ ,即內積非負;
Cauchy-Schwarz 的界取等則要求 u u u 與 v v v 線性相關。若兩個向量都非
零,可寫成 v = λ u v=\lambda u v = λ u ,而
⟨ u , v ⟩ = λ ∥ u ∥ 2 ≥ 0 \langle u,v\rangle=\lambda\|u\|^2\ge0 ⟨ u , v ⟩ = λ ∥ u ∥ 2 ≥ 0 迫使 λ ≥ 0 \lambda\ge0 λ ≥ 0 。若其中
一個是零向量,等號立即成立,而零向量也是另一個向量的非負純量倍。反
過來,直接代入可見,符合這個非負純量倍條件的向量必定取等。因此,兩
個非零向量方向相反時雖會令 Cauchy-Schwarz 取等,卻不會令三角不等式
取等。
不預設計數結論的有限基存在與擴充
設實向量空間 V V V 已給定有限生成列表 t 1 , … , t N t_1,\ldots,t_N t 1 , … , t N 。先證明任何線性無關列表 u 1 , … , u k u_1,\ldots,u_k u 1 , … , u k 的長度不超過 N N N 。插入 j j j 個向量後,維持一個由 u 1 , … , u j u_1,\ldots,u_j u 1 , … , u j 與 N − j N-j N − j 個剩餘舊向量組成的生成列表。將 u j + 1 u_{j+1} u j + 1 按此列表展開,至少一個剩餘舊向量的係數非零;否則它在先前 u i u_i u i 的張成空間中,與無關性矛盾。解出這個舊向量,再以 u j + 1 u_{j+1} u j + 1 取代它。新列表仍張成同一空間,而且保留全部先前插入向量。若 k > N k>N k > N ,則 N N N 步後前 N N N 個向量已張成 V V V ,與 u N + 1 u_{N+1} u N + 1 的無關性矛盾。此即所需上界,也包括 N = 0 N=0 N = 0 。
每個子空間 W W W 都有有限基。從空的無關列表開始;若當前張成空間尚不是 W W W ,就在 W W W 中取一個不在該張成空間內的向量。若新向量在某關係中的係數非零,就能由舊向量表示它,矛盾,故新列表仍無關。已證上界允許至多添加 N N N 次,所以過程必停止於 W W W 的無關生成列表。若 W = { 0 } W=\{0\} W = { 0 } ,立即得到空基。改從 W W W 內任意給定無關列表開始,同樣證明該列表可擴充為 W W W 的基;只需有界有限次選擇。最後,若兩組基的長度為 p , q p,q p , q ,分別把它們用作上界證明中的有限生成列表,得到 p ≤ q p\le q p ≤ q 與 q ≤ p q\le p q ≤ p 。故基的長度有良定義,稱為維數。這些論證補足秩–零度定理所用的基存在、擴充與維數事實。
2 投影與最近點
若 q 1 , … , q r q_1,\ldots,q_r q 1 , … , q r 是子空間 W W W 的正交規範基,定義
p = proj W b = ∑ j = 1 r ⟨ b , q j ⟩ q j . p=\operatorname{proj}_W b=\sum_{j=1}^r\langle b,q_j\rangle q_j. p = proj W b = j = 1 ∑ r ⟨ b , q j ⟩ q j .
那麼 b − p b-p b − p 與每個基向量正交,從而與 W W W 正交。
投影定理。 p p p 是 W W W 中使 ∥ b − w ∥ \|b-w\| ∥ b − w ∥ 最小的唯一點。
證明。 對 w ∈ W w\in W w ∈ W ,分解 b − w = ( b − p ) + ( p − w ) b-w=(b-p)+(p-w) b − w = ( b − p ) + ( p − w ) 。兩項正交,故 ∥ b − w ∥ 2 = ∥ b − p ∥ 2 + ∥ p − w ∥ 2 \|b-w\|^2=\|b-p\|^2+\|p-w\|^2 ∥ b − w ∥ 2 = ∥ b − p ∥ 2 + ∥ p − w ∥ 2 。第二項恰在 w = p w=p w = p 時為零。□ \square □
投影到非零向量 a a a 張成的直線上為 a ( a T b ) / ( a T a ) a(a^Tb)/(a^Ta) a ( a T b ) / ( a T a ) 。投影一般不是對 b b b 的分量逐個四捨五入或截斷。
3 Gram–Schmidt 與 QR
對線性無關的欄向量 a 1 , … , a n a_1,\ldots,a_n a 1 , … , a n 應用 Gram–Schmidt,記 k = n k=n k = n 、v j = a j v_j=a_j v j = a j 、u j = w j u_j=w_j u j = w j 。
Gram–Schmidt 將線性無關列表 v 1 , … , v k v_1,\ldots,v_k v 1 , … , v k 轉為張成相同逐次子空間的標準正交列表:
w j = v j − ∑ i < j ⟨ v j , q i ⟩ q i , q j = w j / ∥ w j ∥ . w_j=v_j-\sum_{i<j}\langle v_j,q_i\rangle q_i,\qquad q_j=w_j/\|w_j\|. w j = v j − i < j ∑ ⟨ v j , q i ⟩ q i , q j = w j /∥ w j ∥.
每個 w j w_j w j 都與之前的 q i q_i q i 正交且非零;否則 v j v_j v j 屬於前面向量的張成空間。零輸入或線性相關輸入要求捨去向量,而不是除以零。
因此 A = Q R A=QR A = QR ,其中 Q Q Q 的欄正交規範,R R R 為上三角矩陣,i ≤ j i\le j i ≤ j 時 r i j = q i T a j r_{ij}=q_i^Ta_j r ij = q i T a j ,且 r j j = ∥ u j ∥ r_{jj}=\|u_j\| r jj = ∥ u j ∥ 為正。
例。 取 a 1 = ( 1 , 1 , 0 ) a_1=(1,1,0) a 1 = ( 1 , 1 , 0 ) 和 a 2 = ( 1 , 0 , 1 ) a_2=(1,0,1) a 2 = ( 1 , 0 , 1 ) ,則
q 1 = ( 1 , 1 , 0 ) / 2 , q 2 = ( 1 , − 1 , 2 ) / 6 , q_1=(1,1,0)/\sqrt2,\qquad q_2=(1,-1,2)/\sqrt6, q 1 = ( 1 , 1 , 0 ) / 2 , q 2 = ( 1 , − 1 , 2 ) / 6 ,
並且
R = ( 2 1 / 2 0 3 / 2 ) . R=\begin{pmatrix}\sqrt2&1/\sqrt2\\0&\sqrt{3/2}\end{pmatrix}. R = ( 2 0 1/ 2 3/2 ) .
對 b = ( 1 , 2 , 3 ) b=(1,2,3) b = ( 1 , 2 , 3 ) ,有 Q T b = ( 3 / 2 , 5 / 6 ) T Q^Tb=(3/\sqrt2,5/\sqrt6)^T Q T b = ( 3/ 2 , 5/ 6 ) T 。解 R x ^ = Q T b R\hat x=Q^Tb R x ^ = Q T b 得 x ^ = ( 2 / 3 , 5 / 3 ) \hat x=(2/3,5/3) x ^ = ( 2/3 , 5/3 ) 。預測向量為 ( 7 / 3 , 2 / 3 , 5 / 3 ) (7/3,2/3,5/3) ( 7/3 , 2/3 , 5/3 ) ,殘差為 ( − 4 / 3 , 4 / 3 , 4 / 3 ) (-4/3,4/3,4/3) ( − 4/3 , 4/3 , 4/3 ) ,它與每個原始欄向量的內積均為零。
為甚麼這樣就解出了最小二乘問題?把 b = Q Q T b + ( I − Q Q T ) b b=QQ^Tb+(I-QQ^T)b b = Q Q T b + ( I − Q Q T ) b 分成兩個互相垂直的分量,則
∥ A x − b ∥ 2 = ∥ R x − Q T b ∥ 2 + ∥ ( I − Q Q T ) b ∥ 2 . \|Ax-b\|^2=\|Rx-Q^Tb\|^2+\|(I-QQ^T)b\|^2. ∥ A x − b ∥ 2 = ∥ R x − Q T b ∥ 2 + ∥ ( I − Q Q T ) b ∥ 2 .
因為 R R R 可逆,第一項可以為零;第二項不能通過改變 x x x 來改變。在浮點計算中,對困難的輸入,修正 Gram–Schmidt 或 Householder QR 比直接使用經典 Gram–Schmidt 更合適。這是關於數值穩定性的說明,不改變精確公式。
4 分級練習
E1 基礎。 將 b = ( 2 , 1 , 0 ) b=(2,1,0) b = ( 2 , 1 , 0 ) 投影到 a = ( 1 , 1 , 1 ) a=(1,1,1) a = ( 1 , 1 , 1 ) 張成的直線上,並求距離。
E2 Gram–Schmidt。 按順序將 ( 1 , 0 , 1 ) (1,0,1) ( 1 , 0 , 1 ) 和 ( 1 , 1 , 0 ) (1,1,0) ( 1 , 1 , 0 ) 正交規範化。
E3 最小二乘。 求 W = { ( x , y , z ) : x + y + z = 0 } W=\{(x,y,z):x+y+z=0\} W = {( x , y , z ) : x + y + z = 0 } 中與 ( 1 , 0 , 0 ) (1,0,0) ( 1 , 0 , 0 ) 最近的向量。
E4 證明。 對欄正交規範的 Q Q Q ,證明 P = Q Q T P=QQ^T P = Q Q T 滿足 P T = P P^T=P P T = P 和 P 2 = P P^2=P P 2 = P ,並解釋 I − P I-P I − P 的幾何意義。
5 完整解答
S1. 系數為 ( a T b ) / ( a T a ) = 3 / 3 = 1 (a^Tb)/(a^Ta)=3/3=1 ( a T b ) / ( a T a ) = 3/3 = 1 ,故投影為 ( 1 , 1 , 1 ) (1,1,1) ( 1 , 1 , 1 ) 。殘差 ( 1 , 0 , − 1 ) (1,0,-1) ( 1 , 0 , − 1 ) 的範數為 2 \sqrt2 2 。
S2. q 1 = ( 1 , 0 , 1 ) / 2 q_1=(1,0,1)/\sqrt2 q 1 = ( 1 , 0 , 1 ) / 2 。從第二個向量減去它在第一向量方向的分量,得到 ( 1 / 2 , 1 , − 1 / 2 ) (1/2,1,-1/2) ( 1/2 , 1 , − 1/2 ) ,其範數是 3 / 2 \sqrt{3/2} 3/2 ,故 q 2 = ( 1 , 2 , − 1 ) / 6 q_2=(1,2,-1)/\sqrt6 q 2 = ( 1 , 2 , − 1 ) / 6 。兩者點積為零,範數均為一。
S3. W W W 的法向量為 n = ( 1 , 1 , 1 ) n=(1,1,1) n = ( 1 , 1 , 1 ) 。減去法向投影:( 1 , 0 , 0 ) − n / 3 = ( 2 / 3 , − 1 / 3 , − 1 / 3 ) (1,0,0)-n/3=(2/3,-1/3,-1/3) ( 1 , 0 , 0 ) − n /3 = ( 2/3 , − 1/3 , − 1/3 ) 。它屬於 W W W ,且殘差與 W W W 垂直,故它是最近點。
S4. 轉置得 P T = Q Q T P^T=QQ^T P T = Q Q T ;P 2 = Q ( Q T Q ) Q T = Q I Q T = P P^2=Q(Q^TQ)Q^T=QI Q^T=P P 2 = Q ( Q T Q ) Q T = Q I Q T = P 。因此 P P P 投影到欄空間;I − P I-P I − P 投影到其正交補,也就是欄的線性組合無法擬合的殘差方向。
總結
內積為坐標賦予幾何意義。正交投影是唯一的最近點,不只是一個方便的公式。Gram–Schmidt 構造正交規範坐標,QR 則利用這些坐標求解欄線性無關的最小二乘問題,而不必形成正規方程。