作為一個工科的學生,我們長期以來會使用比如像是矩陣以及行列式這些線上性代數上的知識,在這篇文章中,我想來聊一聊這些問題,即設麼事面積,以及什麼事面積的高緯度的推廣.

1:什麼是面積?

對於什麼是面積,大家可能首先就會想到我們生活中常用的長*寬麼?真的是這樣麼,其實在這裡我們所談論的面積,其實是歐幾里得空間幾何面積的基本的單位:平行四邊形的面積.關於平行四邊形的面積的定義,幾何上所說的就是相鄰兩邊邊長乘以他們之間的夾角的正弦.

但是當我們面對到一些更一般的情形和更高維度的數理問題的時候,我們就有必要把這個面積的定義推廣開來.首先我們應當要注意的是.面積是作為一個標量,他是來自於相鄰的兩個邊的兩個向量相乘的結果,因此來時,我們需要把面積看作為一種對映的關係.

這裡的V可以看做一個適量,V*V代表的是兩個適量的有序對,那麼f自然而然就是所求的面積.

現在我們將來證明這個對映是一個線性的對映,請坐穩扶好:

現在我們舉一個最簡單的例子,現在我們假設第一個向量是(1.0),第二個向量是(0,1),也就是說兩個向量分別是X軸和Y軸上的單位為正的單位向量,那麼由這兩個向量構成的四邊形,這個四邊形其實就是一個正方形,根據面積的定義,其實就是*寬=1*1=1

因此我們可以得到:

現在假設把第一個向量縮放a倍,這個四邊形的面積也會變為相對應的a倍,這樣的面積也將會變為原來的a倍,把第二個向量縮放為b倍,這樣的面積也會變為原來的b倍,如果這個時候我們同時對兩個向量縮放為ab倍,這樣的話面積也會變為原來的ab倍,這說明,面積的對映對於其他的兩個運算元的向量的標量積是呈現出各自線性的,如下:

其實在實際的情況下,面積的對映對於其運算元(向量)的向量加法也是線性的.因為向量加法的操作本身就是一個線性的,那麼他的面積的對映其實也就是一個線性的對映.現在我想通過幾個例子,來解釋下對映加法線性的一些後果.

兩個共線向量所張成的平行四邊形是一條線,因此來說這個面積是0.現在假設面積對映是關於一個適量加法的線性對映,那麼我們有以下的結果

其實這裡其實用到了一個理論:

也就是說,在交換相互垂直運算元適量的順序後,面積的對映變成一個負值.到底是正還是負取決於你認為的定義.一般情況下,我們把X軸的向量放在前邊,Y軸的向量放在後邊,從X軸到Y軸張成的一個平行四邊形的面積,我們把這個符號一般看作為正號.

2:三維空間裡的應用

在三維空間中,我們一般是利用的右手定則進行實驗.如果以X軸的正方形為頭部,Y軸的正方向為尾部.右手定則告訴我,紙面方向向外的方向是面積的正方向.如果反過來,紙面向內的方向就是該面積的正方向.與所規定的正負號的方向是相反的.現在這樣來看正負號的幾何的意義就比較明顯了

現在我們假設用平面內的任意兩個向量所張成的平行四邊形的面積,現在用公式來進行表示:

在這裡,其實我們不難看到,所謂的面積其實就是一個2*2的矩陣的行列式:

就跟下邊的圖所示的一樣:

其實我們的第一行即使我們的第一個行向量(a,b),第二行就是第二個行向量(c,d),再或者是第一列是第一個列向量(a,b)的轉秩,第二個列自然就是第二個列向量(c,d)的轉秩.當然這麼做還是取決於我們是把向量寫成行向量還是列向量的形式表達.

3:行列式的性質的計算

在上述的推理中,我們可以很容易的發現,行列式的值是把與行列式的向量寫成列向量的橫排還是行向量的豎排的方式是無關的.這也就是為什麼,在計算行列式的時候,行列的地位是對等的.並且我們還應當注意到,根據上述的分析,交換向量的順序,面積是負號的原因.這也就是為什麼行列式中,交換列向量或者行向量一次,就應當要取一次負號的原因.另外行列式其他的計算的性子,其實都一一反映在面積對映的線性性當中.

所以,綜上所述,行列式實際上本身就是一個關於面積的形式的推廣.其實就是在給定一組基的情況下,N個向量張成的一個N維定義的廣義四邊形的體積,其實這就是行列式本質的一個含義.

4:行列式的一個推廣

根據上邊的結論,我們其實很容易的推廣到三維體積的一個計算:

在這裡我們應該要注意到,行列式的定義,其實是每一行各取一個不同列的元素的一個乘積並且符號和所謂的逆序性有關的.什麼是逆虛性?所謂逆序性，其幾何意義就是在規定了一個正方向之後（比如從1,2,3,4,5...N這個順序定義為正號），交換任意一對數都取一次負號。這樣的性質我們在上述的面積函式中已經有所看到，實際上體積，更高維度的廣義體積，也有正方向之說，只不過已經難以用右手法則（以及叉乘）來形象說明罷了。右手定則的侷限性也是將高維面積推廣成行列式表達的一個動機之一。

對於這樣交換任意一堆指標的操作就可以改變符號的性質,其實我們就叫做反對稱性.這個時候,如果你善於思考,你會想為什麼要取不同行不同列元素的乘積.因為如果有任意兩個元素是同行同列的,那麼他們交換他們的列指標,乘積不變但是符號要相反.因此乘積必須要是0,這也就是在行列式值中不予體現的原因之一.

行列式的定義其實是比較的冗雜的,其實就是來自於廣大的面積對映的反對稱性,其實面積對映是一個2維的,把二維任意拓展到多維,我們其實就可以發現R維的形式和R*R的行列式的形式是完全一致的.

其實在這裡,我們可以把各種維度所代表的東西來總結下,二維所代表的是平面內的面積,三維自然而然其實就是三維空間內的體積,四維其實就是四維空間內的超體積.依次類推.在上邊的推理中我們發現,這些向量給定的基座標寫出的矩陣必然是方陣,矩陣的行列式對應的面積或者是體積.這樣的推廣證明相信在任意一本的線性代數書中都會看到,我只是說了人話而已.

5:行列式和矩陣的逆

我們知道很多定理,比如行列式為0的矩陣,不可逆,行列式不為0的矩陣,可逆,這個時候我們不禁要問,代表面積的行列式,是如何和線性變化的可逆性聯合在一起的.

這個時候我們就應該要理解線性變化的幾何意義.現在我來陳述一下:

如果我們把空間中一組線性無關的向量都寫成列向量的形式，那麼他們所張成的N維體體積不為零，根據上面的分析，其值由行列式給出。向量經過線性變換A變換之後，得到的新向量形式如下：

注意到A是一個N*N的矩陣，向量是列向量。

變換前，N維體的體積是：

變換之後，N維體的體積是（注意到，第二個等式實際上說明了幾何意義是如何定義矩陣乘法的，也就是N*N矩陣A和另外一個N個列向量組成的N*N矩陣的乘法）：

A的行列式如果不為零，則代表這個變換後，N維體的體積不是NULL。又結合線性無關與體積的性質，我們可以說：

如果A的行列式不為零，那麼A可以把一組線性無關的向量，對映成一組新的，線性無關的向量；A是可逆的（一對一的對映，保真對映，KERNEL是{0}）

如果A的行列式為零，那麼A就會把一組線性無關的向量，對映成一組線性相關的向量

如果A的行列式為負數，那麼A將會改變原N維體體積的朝向。

從線性無關到線性相關，其中丟失了部分資訊（例如坍縮成共線或者共面），因此這個變換顯然就是不可逆的。線性是否無關和所張成N維體的體積有直接關係，這個體積值又與A的行列式有關。因此我們就建立了A的行列式與其是否可逆的幾何關係。

舉例說明，我們假設A是一個3維的矩陣。如果對映前，有一組三個線性無關的向量，我們知道它們張成的體積不是0；經過對映後，他們對應的新向量也能張成一個平行六面體，那麼這個平行六面體的體積就是原體積乘以A的行列式。

顯然，如果A的行列式是0，那麼變換後的新“平行六面體"的體積將不可避免的也是0。根據上文的結論，我們有：變換後的這一組新向量線性相關。

結論：

線性變換A的行列式是否為零，就代表了其對映的保真性，也即，能不能把一組線性無關的向量變換成另一組保持無關性的向量。

6:秩

但是有的時候,雖然行列式A不能把空間一組數目最大的向量線性無關,但是它能夠保證那個一組少數目的向量讓其線性無關,這個數目向量往往小於線性空間的維度,這個數目就叫做線性變換A的秩

比如:一個秩為2為3*3的矩陣A,因為秩小於3,那麼任何一個3維六面體經過他的變化後,體積變為0,退化一個面,但是仍然存在一個面積不為0的面,在變換以後還是一個非零面積的面

所以說所謂的一個線性變換的秩,無非就是變化後,還能保持一個非零體積的幾何形狀的最大的維度.

通過上邊理解了秩,行列式,可逆性的幾何意義,我們就能隨意的構造一個線性變化的A,使得他要麼保全所有的幾何體,要麼降維成為特定維度特定結構的幾何體,壓縮成為更低維度的幾何體,所以說,可以看作為一個”降維打擊”

作者：雲時之間
連結：https://www.jianshu.com/p/c0a0186dd87c
來源：簡書
簡書著作權歸作者所有，任何形式的轉載都請聯絡作者獲得授權並註明出處。