本文的閱讀等級:初級
如果一 $$n\times n$$ 階矩陣 $$A=[a_{ij}]$$ 每一列其主對角元的絕對值大於該列非主對角元絕對值之和,也就是說,對於 $$i=1,2,\ldots,n$$,滿足
$$\vert a_{ii}\vert>\sum_{j\neq i}\vert a_{ij}\vert$$
我們稱 $$A$$ 為對角佔優(diagonally dominant)。例如,
$$B=\begin{bmatrix}
-4&-2&1\\
1&2&0\\
3&1&5
\end{bmatrix}$$
是對角佔優矩陣因為
$$\vert b_{11}\vert=4>\vert b_{12}\vert+\vert b_{13}\vert=2+1=3$$
$$\vert b_{22}\vert=2>\vert b_{21}\vert+\vert b_{23}\vert=1+0=1$$
$$\vert b_{33}\vert=5>\vert b_{31}\vert+\vert b_{32}\vert=3+1=4$$
2010年3月19日 星期五
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}$$
三對角矩陣常出現於數值分析問題,本文僅介紹三對角矩陣的幾個基本性質,包括行列式計算、相似變換的應用以及求解線性方程式。
如果 $$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$$ 的最簡列梯形矩陣是唯一的,於是理所當然地將它視為事實。本文介紹一個運用排列矩陣和分塊矩陣的代數證明方法,透徹瞭解這整個論證過程對提昇邏輯推理能力有很大的幫助。
高斯---約當法(Gauss-Jordan method)是線性代數中最常使用的演算法之一,它的功用是將給定矩陣化約至最簡列梯形陣式(reduced row echelon form)。透過最簡列梯形矩陣,不但可以解出線性方程組還能回答許多有關矩陣的基本問題,如矩陣秩、列空間基底、行空間基底以及零空間基底。從高斯---約當法的演算過程,我們憑直覺推斷 $$A$$ 的最簡列梯形矩陣是唯一的,於是理所當然地將它視為事實。本文介紹一個運用排列矩陣和分塊矩陣的代數證明方法,透徹瞭解這整個論證過程對提昇邏輯推理能力有很大的幫助。
2010年2月2日 星期二
特殊矩陣 (十):基本矩陣
本文的閱讀等級:初級
數百年來,化約主義(reductionism)強力主導科學和工程研究方法論,基本思想是將複雜的系統或現象化解為各部分的組合,透過分析各組件從而理解並描述原來的複雜系統或現象。線性代數也是如此,例如,類似對多項式因式分解,高斯消去法可將任意可逆矩陣分解為一組基本矩陣的乘積。這篇短文介紹基本矩陣的一般形式,證明基本矩陣是可逆的,且其逆矩陣也為基本矩陣。
數百年來,化約主義(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}$$。
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日 星期二
利用逆矩陣積分
本文的閱讀等級:中級
在“從幾何向量空間到函數空間”一文,我說明了函數空間可視為廣義的向量空間;函數的線性運算,例如微分算子,其實就是定義於向量空間裡的線性變換,而積分則是微分算子的逆變換。只要建立適當的基底,線性變換總是能夠以矩陣乘法運算表示,這暗示以逆矩陣實現積分運算的可能性。
在“從幾何向量空間到函數空間”一文,我說明了函數空間可視為廣義的向量空間;函數的線性運算,例如微分算子,其實就是定義於向量空間裡的線性變換,而積分則是微分算子的逆變換。只要建立適當的基底,線性變換總是能夠以矩陣乘法運算表示,這暗示以逆矩陣實現積分運算的可能性。
訂閱:
文章 (Atom)