2010年3月12日 星期五

可逆矩陣定理

本文的閱讀等級:初級

可逆矩陣定理貫穿線性代數的許多重要主題,如線性方程、線性獨立、向量空間、行列式、特徵值和奇異值;不論準備考試或自我充實,可逆矩陣定理好比「線代雞湯」是極佳的觀念複習濃縮菁華。本文並未給出可逆矩陣定理的完整證明,僅解釋部分陳述並說明常用的推論路徑。

2010年2月21日 星期日

特殊矩陣 (11):三對角矩陣

本文的閱讀等級:初級

如果 $$n$$ 階方陣 $$A=[a_{ij}]$$ 除了主對角線元以及比主對角線低一列和高一列的對角線之外,其餘皆為零元,我們稱它為三對角(tridiagonal)矩陣,也就是說,當 $$\vert i-j\vert>1$$,$$a_{ij}=0$$;如下例,

$$A=\begin{bmatrix}

1&2&0&0\\

3&2&3&0\\

0&2&1&1\\

0&0&3&2

\end{bmatrix}$$

三對角矩陣常出現於數值分析問題,本文僅介紹三對角矩陣的幾個基本性質,包括行列式計算、相似變換的應用以及求解線性方程式。

2010年2月3日 星期三

最簡列梯形陣式的唯一性

本文的閱讀等級:高級

高斯---約當法(Gauss-Jordan method)是線性代數中最常使用的演算法之一,它的功用是將給定矩陣化約至最簡列梯形陣式(reduced row echelon form)。透過最簡列梯形矩陣,不但可以解出線性方程組還能回答許多有關矩陣的基本問題,如矩陣秩、列空間基底、行空間基底以及零空間基底。從高斯---約當法的演算過程,我們憑直覺推斷 $$A$$ 的最簡列梯形矩陣是唯一的,於是理所當然地將它視為事實。本文介紹一個運用排列矩陣和分塊矩陣的代數證明方法,透徹瞭解這整個論證過程對提昇邏輯推理能力有很大的幫助。

2010年2月2日 星期二

特殊矩陣 (十):基本矩陣

本文的閱讀等級:初級

數百年來,化約主義(reductionism)強力主導科學和工程研究方法論,基本思想是將複雜的系統或現象化解為各部分的組合,透過分析各組件從而理解並描述原來的複雜系統或現象。線性代數也是如此,例如,類似對多項式因式分解,高斯消去法可將任意可逆矩陣分解為一組基本矩陣的乘積。這篇短文介紹基本矩陣的一般形式,證明基本矩陣是可逆的,且其逆矩陣也為基本矩陣。

2009年12月21日 星期一

特殊矩陣 (八):Vandermonde 矩陣

本文的閱讀等級:初級

Vandermonde 矩陣具有以下形式

$$A_n=\begin{bmatrix}

1&x_1&x_1^2&\cdots&x_1^{n-1}\\

1&x_2&x_2^2&\cdots&x_2^{n-1}\\

\vdots&\vdots&\vdots&\ddots&\vdots\\

1&x_n&x_n^2&\cdots&x_n^{n-1}

\end{bmatrix}$$

$$A_n=[a_{ij}]$$ 是 $$n\times n$$ 階矩陣,其中各元為 $$a_{ij}=x_i^{j-1}$$。

2009年12月1日 星期二

利用逆矩陣積分

本文的閱讀等級:中級

在“從幾何向量空間到函數空間”一文,我說明了函數空間可視為廣義的向量空間;函數的線性運算,例如微分算子,其實就是定義於向量空間裡的線性變換,而積分則是微分算子的逆變換。只要建立適當的基底,線性變換總是能夠以矩陣乘法運算表示,這暗示以逆矩陣實現積分運算的可能性。 

2009年8月4日 星期二

矩陣視覺化

本文的閱讀等級:初級

矩陣通常以其儲存的數字列陣形式呈現,除非是天賦異稟的奇才,一般人很難洞察大尺寸矩陣的內部構造。矩陣視覺化是指利用色彩表示元的數值,雖然並不十分精確,但適合觀察矩陣行列和分塊結構,具有「見林不見樹」的效果。