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日 星期二

矩陣視覺化

本文的閱讀等級:初級

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

2009年4月1日 星期三

由最簡列梯形矩陣判斷線性方程解的結構

本文的閱讀等級:初級

給定一個 $$m\times n$$ 階矩陣 $$A$$,方程式  $$A\mathbf{x}=\mathbf{b}$$ 的解有哪些可能性?對於任意 $$m$$ 維向量 $$\mathbf{b}$$,解是否存在?又是否唯一?或者說解的結構為何?從矩陣 $$A$$ 的最簡列梯形矩陣 $$R$$,我們可以回答上述關於解的結構問題。看這個例子:

$$A=\begin{bmatrix}

1&2&1&3\\

1&2&2&5\\

1&2&3&7\end{bmatrix}$$