每週問題 June 13, 2016

本週問題是推導兩個座標系統的變換矩陣。

Let \boldsymbol{\beta}=\{\mathbf{x}_1,\ldots,\mathbf{x}_k\} and \boldsymbol{\gamma}=\{\mathbf{y}_1,\ldots,\mathbf{y}_k\} be bases for a subspace \mathcal{V} in \mathbb{R}^n. Let X=\begin{bmatrix}  \mathbf{x}_1&\cdots&\mathbf{x}_k  \end{bmatrix} and Y=\begin{bmatrix}  \mathbf{y}_1&\cdots&\mathbf{y}_k  \end{bmatrix}. Show that the change of coordinates matrix from \boldsymbol{\beta} to \boldsymbol{\gamma} is

P=(Y^TY)^{-1}Y^TX.

繼續閱讀

張貼在 pow 線性變換, 每週問題 | 標記 , | 發表留言

每週問題 June 6, 2016

若線性方程 A\mathbf{x}=\mathbf{b} 是一致的,則 A^\ast 的行空間 (column space) 存在唯一一個解。

Let A be an m\times n complex matrix. If A\mathbf{x}=\mathbf{b} is consistent for some \mathbf{b}, prove that there exists a unique solution \mathbf{x} in the column space of A^\ast.

繼續閱讀

張貼在 pow 內積空間, 每週問題 | 標記 , | 發表留言

每週問題 May 30, 2016

一個線性方程的解集合所包含的最大線性獨立向量數是多少?

Let A be an m\times n matrix and S be the solution set for a consistent system of linear equations A\mathbf{x}=\mathbf{b} for some \mathbf{b}\neq\mathbf{0}.
(a) If S_{\max} is a maximal independent subset of S and \mathbf{x}_p is any particular solution, show that

\hbox{span}(S_{\max})=\hbox{span}\{\mathbf{x}_p\}+N(A),

where N(A) denotes the nullspace of A.
(b) If \hbox{rank}A=r, show that A\mathbf{x}=\mathbf{b} has at most n-r+1 independent solutions.

繼續閱讀

張貼在 pow 向量空間, 每週問題 | 標記 , , , | 發表留言

每週問題 May 23, 2016

這是關於矩陣秩的擾動問題。

Let A and B be m\times n matrices. If \hbox{rank}A=r and \hbox{rank}B=k\le r, show that

r-k\le \hbox{rank}(A+B)\le r+k.

In words, a perturbation of rank k can change the rank by at most k.

繼續閱讀

張貼在 pow 向量空間, 每週問題 | 標記 | 發表留言

Cayley-Hamilton 定理的一個錯誤「證明」

本文的閱讀等級:初級

在線性代數中,Cayley-Hamilton 定理可謂最令學者感到驚奇的定理之一:任一 n\times n 階矩陣 A 的特徵多項式 p(\lambda) 消滅 A,即 p(A)=0。以 n=2 為例,A=\begin{bmatrix}  a&b\\  c&d  \end{bmatrix} 的特徵多項式為

\begin{aligned}  p(\lambda)&=\det(A-\lambda I)=\begin{vmatrix}  a-\lambda&b\\  c&d-\lambda  \end{vmatrix}\\  &=\lambda^2-(a+d)\lambda+ad-bc,\end{aligned}

Cayley-Hamilton 定理宣稱

p(A)=A^2-(a+d)A+(ad-bc)I=0

Cayley-Hamilton 定理有很多種證法 (見“Cayley-Hamilton 定理”),但其中幾乎挑不出一個簡單的證明。底下這個看似快捷實乃錯誤的「證明」曾經不斷地被初學者重複發現:

因為 p(\lambda)=\det(A-\lambda I),將 A 取代 \lambda 可得

p(A)=\det(A-AI)=\det(A-A)=\det 0=0

繼續閱讀

張貼在 特徵分析, 線性代數專欄 | 標記 , | 2 則迴響

「零」究竟是有還是沒有?

2000年3月27日,交通大學舉辦「人文與科技三賢鼎談」,三賢是法鼓山聖嚴法師,交通大學校長張俊彥與清華大學校長劉炯朗。會中有一段談話,抄錄於下[1]

聖嚴法師:我到要請教一下,「零」究竟是有還是沒有?

張俊彥:也是有,也是沒有。無窮大也是有,也是沒有;無窮大好像存在,可是拿不到,所以也是有,也是沒有。

劉炯朗:非相非非相,假如用來解釋數學,零不是正,不是負。假如一被零除,就變成無窮大。把有限的分成零份,每份就變成無窮大。

聖嚴法師:在我的看法,零是有的,並不是等於沒有。當把零去掉了以後,才是真正的沒有。

劉炯朗:在數學上來講,沒有零,就無法建立一個完整的數學系統。

聖嚴法師:這個道理就是,當東西被量化時,它就一定是有的,而且也一定是有限的。

張俊彥:所以,零的發明是非常具關鍵性的。如果沒有這個零的話,甚麼都沒有;有了零,就甚麼都有了。

繼續閱讀

張貼在 隨筆雜談 | 標記 , | 6 則迴響

反對角矩陣的特徵值

本文的閱讀等級:初級

A=[a_{ij}] 為一個 n\times n 階反對角矩陣 (anti-diagonal matrix)。例如,若 n=5

A=\begin{bmatrix}  &&&&a_{15}\\  &&&a_{24}&\\  &&a_{33}&&\\  &a_{42}&&&\\  a_{51}&&&&  \end{bmatrix}

如果不解出特徵多項式 \det(A-\lambda I) 的根,反對角矩陣是否有更快捷的特徵值算法?通過基底變換,我們可以設法使 A5 個反主對角元「集中」於主對角線附近,精確地說,A 相似於一個分塊對角矩陣。

繼續閱讀

張貼在 特徵分析, 線性代數專欄 | 標記 , | 發表留言

每週問題 May 16, 2016

證明兩個矩陣的秩差的不等式。

Let A and B be m\times n matrices. Show that

|\hbox{rank}A-\hbox{rank}B|\le \hbox{rank}(A-B).

繼續閱讀

張貼在 pow 向量空間, 每週問題 | 標記 | 發表留言

不說廢話──克拉瑪公式的證明

本文的閱讀等級:初級

You know that I write slowly. This is chiefly because I am never satisfied until I have said as much as possible in a few words, and writing briefly takes far more time than writing at length.
― Carl Friedrich Gauss

 
A=\begin{bmatrix}  \mathbf{a}_1&\cdots&\mathbf{a}_n  \end{bmatrix} 為一個 n\times n 階矩陣且 \mathbf{b} 為一個 n 維行向量 (column vector)。若 A 是可逆的,克拉瑪公式 (Cramer’s rule) 給出線性方程 A\mathbf{x}=\mathbf{b} 的解 \mathbf{x}=(x_1,\ldots,x_n)^T,如下 (見“克拉瑪公式的證明”):

\displaystyle   x_i=\frac{\det A_i(\mathbf{b})}{\det A},~~i=1,\ldots,n

其中 A_i(\mathbf{b}) 表示以 \mathbf{b} 取代 A 的第 i 行 (即 \mathbf{a}_i) 而得的 n\times n 階矩陣,

A_i(\mathbf{b})=\begin{bmatrix}    ~&~&~&~&~&~&~\\    \mathbf{a}_1&\cdots&\mathbf{a}_{i-1}&\mathbf{b}&\mathbf{a}_{i+1}&\cdots&\mathbf{a}_n\\    ~&~&~&~&~&~&~    \end{bmatrix}

繼續閱讀

張貼在 線性代數專欄, 行列式 | 標記 , | 2 則迴響

答王昭晴──關於線性代數之“線性”一詞的涵義

網友王昭晴留言:

老師您好,我最近在回顧過去所學的線性代數時開始有了一些問題。這些事過去不曾仔細思考過就當作一個名詞走馬看花的過去了。尤其是關於“線性”兩個字。為何要特別叫“線性”呢?我的意思是線性代數中一些定義會加註線性兩個字,例如線性向量空間 (linear vector space) 與方程式或者向量的線性組合 (linear combination)。為何要特別稱此二者為線性?難道有非線性的向量空間與非線性的組合嗎?而“線性”二字是否有除了線性方程式以外更深層的意思呢?還是說僅僅只是因為線性代數的發展是從線性方程式開始研究起,就稱作線性了呢?

繼續閱讀

張貼在 答讀者問, 線性變換 | 標記 , , | 5 則迴響