---
# System prepended metadata

title: '李宏毅_Linear Algebra Lecture 31: Orthogonal Basis'
tags: [NTU, Hung-yi Lee, Linear Algebra Lecture]

---

# 李宏毅_Linear Algebra Lecture 31: Orthogonal Basis
###### tags:  `Hung-yi Lee` `NTU` `Linear Algebra Lecture`
[課程撥放清單](https://www.youtube.com/playlist?list=PLJV_el3uVTsNmr39gwbyV-0KjULUsN7fW)
## Linear Algebra Lecture 31: Orthogonal Basis
[課程連結](https://www.youtube.com/watch?v=98-0Q1ed3sM&list=PLJV_el3uVTsNmr39gwbyV-0KjULUsN7fW&index=31)

### Orthogonal Set
![](https://i.imgur.com/j8lqAeq.png)

所謂的Orthogonal Set意指兩兩vector拿出來都是Orthogonal。值得注意的是，Orthogonal Set並不一定是independent。
 
 
### independent?
![](https://i.imgur.com/MoTY3zw.png)

在一個情況下它會是linear independent，也就是Orthogonal Set裡面沒有nonzero的vector，那它就是linear independent。

證明如下：
* 假設有一個orthogonal set-$S = \left\{v_1, v_2, \cdots, v_k \right\}$，並且$v_i \neq 0$
* 驗證是否為independent，$c_1v_1 + c_2v_2 + \cdots c_kv_k = 0$
* $(c_1v_1 + c_2v_2 + \cdots c_kv_k)\cdot v_i$，因為orthogonal的特性，因此兩兩相乘都會是0，只有自己乘自己的時候不會是0，也就是會剩下$c_i(v_i \cdot v_i) = c_i \Vert v_i \Vert^2 = 0$，而我們在一開始已經假設$v_i \neq 0$，因此$c_i = 0$
* 以此類推，$c_1, c_2, \cdots, c_k = 0$
* 得證
### Orthonormal Set
![](https://i.imgur.com/G3vno4q.png)

Orthonormal Set：
* Orthogonal Set裡面的vector的長度皆為1的時候，即為Orthonormal Set
* 將Orthogonal Set裡面的vector正規化，讓它們的長度變成1，那就會是Orthonormal Set
* 因為它的長度都是1，意味著它沒有zero vector，也因此它一定是independent
* 長度為1的vector又稱為unit vector
### Orthonormal Basis
![](https://i.imgur.com/BTQdDzn.png)

Orthonormal的vector就是Orthonormal的basis，以$R^3$為例，它既為Orthogonal basis，也是Orthonormal basis。
### Orthogonal Basis
![](https://i.imgur.com/qFiXgpW.png)

如果一個vector set的basis是orthogonal或orthonormal，那將一個vector利用這個basis轉至另一個coordinate system的話是比較方便的：
* 假設有一個vector set0-$S = \left\{v_1, v_2, \cdots, v_k \right\}$，且$S$為$W$的subspace，我們要將vector-$u$以$S$這個coordinate system來表示，即計算$\left[u \right]_S$
    * $u = c_1v_1 + c_2v_2 + \cdots + c_kv_k$
        * 其中$c_i = \dfrac{u \cdot v_i}{\Vert v_i \Vert^2}$
        * 如果是orthonormal basis那分母的項目都會是1，因此$c_i = u \cdot v_i$

下面證明$c_i$：
* $u \cdot v_i = (c_1v_1 + c_2v_2 + \cdots + c_kv_k) \cdot v_i$
* 我們知道，$S$是一個orthogonal basis，根據課程中的推論，各項目皆為0，僅$c_i(v_i \cdot v_i)$有結果，因此$u \cdot v_i = c_i \Vert v_i \Vert^2$
* 移動數學式之後得證


### Example
![](https://i.imgur.com/FTi64HQ.png)

上面的範例直接帶入公式即可得解。
### Orthogonal Projection
![](https://i.imgur.com/xFsIjEX.png)

原本在處理Orthogonal Projection需要記下一個丁丁公式，但如果你的basis是一個orthogonal basis的話，那處理起來會方便很多，基本上與剛才課程所提到的轉至另一個coordinate system是一樣的公式。
### Orthogonal Projection
- [ ] 補圖 25.14 還要補推論的部份

我們已經知道，Orthogonal Projection的式子，即$P_W = C(C^TC)^{-1}C^T$，其中$C$是$W$的basis，要瞭解如果$C$是orthogonal basis，那對整個式子的影響為何：
* 因為$C$是orthogonal basis，因此$C^TC$就會是一個diagonal matrix，因為非對線角的值都會因為orthogonal的特性為0，而對角線的值都會是$\Vert v_i \Vert^2$，以$D$來表示，因此$P_W = CD^{-1}C^T$
* $D^{-1}$，這種diagonal matrix的inverse，就只需要取對角線值的倒數即可，也就是$\dfrac{1}{\Vert v_i \Vert^2}$，仍然會是一個diagonal matrix
* 要投影的結果，$w = CD^{-1}C^Tu$
    * 先看$C^Tu$，其中$C^T$是一個kxn的matrix，而$u$為nx1的vector，dot product之後為kx1的vector，也就是$v_1^T \cdot u, v_2^T \cdot u, \cdots, v_k^T \cdot u$
    * 再來計算結果再乘上$D^{-1}$(kxk)，得到的結果也會是一個vector(kx1)，也就是$\dfrac{v_1^T \cdot u}{\Vert v_1 \Vert^2}, \dfrac{v_2^T \cdot u}{\Vert v_2 \Vert^2}, \cdots, \dfrac{v_k^T \cdot u}{\Vert v_k \Vert^2}$
    * 最後乘上$C$(nxk)，

推論的部份再回頭補
 
### Orthogonal Basis
![](https://i.imgur.com/Vdt2a0g.png)

這邊說明如何找出Orthogonal Basis。

對subspace-V而言，我們已經有其basis-$\left\{u_1, u_2, \cdots, u_k \right\}$，這樣子的情況下我們就可以將這個basis轉成orthogonal basis-$\left\{v_1, v_2, \cdots, v_k \right\}$：
1. 讓$v_1=u_1$
2. $v_2 = u_2 - \dfrac{u_2 \cdot v_1}{\Vert v_1 \Vert^2}v_1$，這邊做的就是，將$u_2$對$v_1$做orthogonal projection，再減掉project的部份，因此後面的項目就是做orthogonal projection的結果，減掉之後所得的就是$v_2$
3. $v_3$也是一樣的道理，我們可以看成有一個subspace，其basis就是$v_1, v_2$，而且是orthogonal，我們將$u_3$對這個basis形成的平面做orthogonal projection，剩下在perp-$\bot$的部份就是$v_3$

整個過程就是不斷的執行orthogonal projection，然後取出落於perp的部份，就可以找出一個orthogonal basis，而這整個過程又稱為Gram-Schmidt Process。
