作為一個(gè)工科的學(xué)生,我們長(zhǎng)期以來(lái)會(huì)使用比如像是矩陣以及行列式這些在線性代數(shù)上的知識(shí),在這篇文章中,我想來(lái)聊一聊這些問(wèn)題,即什么是面積,以及什么是面積的高緯度的推廣.

1 什么是面積?

對(duì)于什么是面積,大家可能首先就會(huì)想到我們生活中常用的長(zhǎng)*寬么？真的是這樣么,其實(shí)在這里我們所談?wù)摰拿娣e,其實(shí)是歐幾里得空間幾何面積的基本的單位:平行四邊形的面積.關(guān)于平行四邊形的面積的定義,幾何上所說(shuō)的就是相鄰兩邊邊長(zhǎng)乘以他們之間的夾角的正弦.

但是當(dāng)我們面對(duì)到一些更一般的情形和更高維度的數(shù)理問(wèn)題的時(shí)候,我們就有必要把這個(gè)面積的定義推廣開(kāi)來(lái).首先我們應(yīng)當(dāng)要注意的是.面積是作為一個(gè)標(biāo)量,他是來(lái)自于相鄰的兩個(gè)邊的兩個(gè)矢量相乘的結(jié)果,因此來(lái)時(shí),我們需要把面積看作為一種映射的關(guān)系.

這里的V可以看做一個(gè)適量,V*V代表的是兩個(gè)適量的有序?qū)?那么f自然而然就是所求的面積.

現(xiàn)在我們將來(lái)證明這個(gè)映射是一個(gè)線性的映射,請(qǐng)坐穩(wěn)扶好:

現(xiàn)在我們舉一個(gè)最簡(jiǎn)單的例子,現(xiàn)在我們假設(shè)***個(gè)矢量是(1.0),第二個(gè)矢量是(0,1),也就是說(shuō)兩個(gè)矢量分別是X軸和Y軸上的單位為正的單位向量,那么由這兩個(gè)矢量構(gòu)成的四邊形,這個(gè)四邊形其實(shí)就是一個(gè)正方形,根據(jù)面積的定義,其實(shí)就是*寬=1*1=1

因此我們可以得到:

現(xiàn)在假設(shè)把***個(gè)矢量縮放a倍,這個(gè)四邊形的面積也會(huì)變?yōu)橄鄬?duì)應(yīng)的a倍,這樣的面積也將會(huì)變?yōu)樵瓉?lái)的a倍,把第二個(gè)矢量縮放為b倍,這樣的面積也會(huì)變?yōu)樵瓉?lái)的b倍,如果這個(gè)時(shí)候我們同時(shí)對(duì)兩個(gè)向量縮放為ab倍,這樣的話面積也會(huì)變?yōu)樵瓉?lái)的ab倍,這說(shuō)明,面積的映射對(duì)于其他的兩個(gè)操作數(shù)的矢量的標(biāo)量積是呈現(xiàn)出各自線性的,如下:

其實(shí)在實(shí)際的情況下,面積的映射對(duì)于其操作數(shù)(矢量)的矢量加法也是線性的.因?yàn)槭噶考臃ǖ牟僮鞅旧砭褪且粋€(gè)線性的,那么他的面積的映射其實(shí)也就是一個(gè)線性的映射.現(xiàn)在我想通過(guò)幾個(gè)例子,來(lái)解釋下映射加法線性的一些后果.

兩個(gè)共線矢量所張成的平行四邊形是一條線,因此來(lái)說(shuō)這個(gè)面積是0.現(xiàn)在假設(shè)面積映射是關(guān)于一個(gè)適量加法的線性映射,那么我們有以下的結(jié)果

其實(shí)這里其實(shí)用到了一個(gè)理論:

也就是說(shuō),在交換相互垂直操作數(shù)適量的順序后,面積的映射變成一個(gè)負(fù)值.到底是正還是負(fù)取決于你認(rèn)為的定義.一般情況下,我們把X軸的矢量放在前邊,Y軸的矢量放在后邊,從X軸到Y(jié)軸張成的一個(gè)平行四邊形的面積,我們把這個(gè)符號(hào)一般看作為正號(hào).

2 三維空間里的應(yīng)用

在三維空間中,我們一般是利用的右手定則進(jìn)行實(shí)驗(yàn).如果以X軸的正方形為頭部,Y軸的正方向?yàn)槲膊?右手定則告訴我,紙面方向向外的方向是面積的正方向.如果反過(guò)來(lái),紙面向內(nèi)的方向就是該面積的正方向.與所規(guī)定的正負(fù)號(hào)的方向是相反的.現(xiàn)在這樣來(lái)看正負(fù)號(hào)的幾何的意義就比較明顯了

現(xiàn)在我們假設(shè)用平面內(nèi)的任意兩個(gè)矢量所張成的平行四邊形的面積,現(xiàn)在用公式來(lái)進(jìn)行表示:

在這里,其實(shí)我們不難看到,所謂的面積其實(shí)就是一個(gè)2*2的矩陣的行列式:

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

其實(shí)我們的***行即使我們的***個(gè)行向量(a,b),第二行就是第二個(gè)行向量(c,d),再或者是***列是***個(gè)列向量(a,b)的轉(zhuǎn)秩,第二個(gè)列自然就是第二個(gè)列向量(c,d)的轉(zhuǎn)秩.當(dāng)然這么做還是取決于我們是把矢量寫成行向量還是列向量的形式表達(dá).

3 行列式的性質(zhì)的計(jì)算

在上述的推理中,我們可以很容易的發(fā)現(xiàn),行列式的值是把與行列式的矢量寫成列向量的橫排還是行向量的豎排的方式是無(wú)關(guān)的.這也就是為什么,在計(jì)算行列式的時(shí)候,行列的地位是對(duì)等的.并且我們還應(yīng)當(dāng)注意到,根據(jù)上述的分析,交換向量的順序,面積是負(fù)號(hào)的原因.這也就是為什么行列式中,交換列向量或者行向量一次,就應(yīng)當(dāng)要取一次負(fù)號(hào)的原因.另外行列式其他的計(jì)算的性子,其實(shí)都一一反映在面積映射的線性性當(dāng)中.

所以,綜上所述,行列式實(shí)際上本身就是一個(gè)關(guān)于面積的形式的推廣.其實(shí)就是在給定一組基的情況下,N個(gè)向量張成的一個(gè)N維定義的廣義四邊形的體積,其實(shí)這就是行列式本質(zhì)的一個(gè)含義.

4 行列式的一個(gè)推廣

根據(jù)上邊的結(jié)論,我們其實(shí)很容易的推廣到三維體積的一個(gè)計(jì)算:

在這里我們應(yīng)該要注意到,行列式的定義,其實(shí)是每一行各取一個(gè)不同列的元素的一個(gè)乘積并且符號(hào)和所謂的逆序性有關(guān)的.什么是逆虛性?所謂逆序性，其幾何意義就是在規(guī)定了一個(gè)正方向之后（比如從1,2,3,4,5...N這個(gè)順序定義為正號(hào)），交換任意一對(duì)數(shù)都取一次負(fù)號(hào)。這樣的性質(zhì)我們?cè)谏鲜龅拿娣e函數(shù)中已經(jīng)有所看到，實(shí)際上體積，更高維度的廣義體積，也有正方向之說(shuō)，只不過(guò)已經(jīng)難以用右手法則（以及叉乘）來(lái)形象說(shuō)明罷了。右手定則的局限性也是將高維面積推廣成行列式表達(dá)的一個(gè)動(dòng)機(jī)之一。

對(duì)于這樣交換任意一堆指標(biāo)的操作就可以改變符號(hào)的性質(zhì),其實(shí)我們就叫做反對(duì)稱性.這個(gè)時(shí)候,如果你善于思考,你會(huì)想為什么要取不同行不同列元素的乘積.因?yàn)槿绻腥我鈨蓚€(gè)元素是同行同列的,那么他們交換他們的列指標(biāo),乘積不變但是符號(hào)要相反.因此乘積必須要是0,這也就是在行列式值中不予體現(xiàn)的原因之一.

行列式的定義其實(shí)是比較的冗雜的,其實(shí)就是來(lái)自于廣大的面積映射的反對(duì)稱性,其實(shí)面積映射是一個(gè)2維的,把二維任意拓展到多維,我們其實(shí)就可以發(fā)現(xiàn)R維的形式和R*R的行列式的形式是完全一致的.

其實(shí)在這里,我們可以把各種維度所代表的東西來(lái)總結(jié)下,二維所代表的是平面內(nèi)的面積,三維自然而然其實(shí)就是三維空間內(nèi)的體積,四維其實(shí)就是四維空間內(nèi)的超體積.依次類推.在上邊的推理中我們發(fā)現(xiàn),這些矢量給定的基坐標(biāo)寫出的矩陣必然是方陣,矩陣的行列式對(duì)應(yīng)的面積或者是體積.這樣的推廣證明相信在任意一本的線性代數(shù)書(shū)中都會(huì)看到,我只是說(shuō)了人話而已.

5 行列式和矩陣的逆

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

這個(gè)時(shí)候我們就應(yīng)該要理解線性變化的幾何意義.現(xiàn)在我來(lái)陳述一下:

如果我們把空間中一組線性無(wú)關(guān)的矢量都寫成列向量的形式，那么他們所張成的N維體體積不為零，根據(jù)上面的分析，其值由行列式給出。向量經(jīng)過(guò)線性變換A變換之后，得到的新向量形式如下：

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

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

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

A的行列式如果不為零，則代表這個(gè)變換后，N維體的體積不是NULL。又結(jié)合線性無(wú)關(guān)與體積的性質(zhì)，我們可以說(shuō)：

如果A的行列式不為零，那么A可以把一組線性無(wú)關(guān)的矢量，映射成一組新的，線性無(wú)關(guān)的矢量；A是可逆的（一對(duì)一的映射，保真映射，KERNEL是{0}）

如果A的行列式為零，那么A就會(huì)把一組線性無(wú)關(guān)的矢量，映射成一組線性相關(guān)的矢量

如果A的行列式為負(fù)數(shù)，那么A將會(huì)改變?cè)璑維體體積的朝向。

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

舉例說(shuō)明，我們假設(shè)A是一個(gè)3維的矩陣。如果映射前，有一組三個(gè)線性無(wú)關(guān)的矢量，我們知道它們張成的體積不是0；經(jīng)過(guò)映射后，他們對(duì)應(yīng)的新矢量也能張成一個(gè)平行六面體，那么這個(gè)平行六面體的體積就是原體積乘以A的行列式。

顯然，如果A的行列式是0，那么變換后的新“平行六面體"的體積將不可避免的也是0。根據(jù)上文的結(jié)論，我們有：變換后的這一組新矢量線性相關(guān)。

結(jié)論：

線性變換A的行列式是否為零，就代表了其映射的保真性，也即，能不能把一組線性無(wú)關(guān)的矢量變換成另一組保持無(wú)關(guān)性的矢量。

6 秩

但是有的時(shí)候,雖然行列式A不能把空間一組數(shù)目***的矢量線性無(wú)關(guān),但是它能夠保證那個(gè)一組少數(shù)目的矢量讓其線性無(wú)關(guān),這個(gè)數(shù)目矢量往往小于線性空間的維度,這個(gè)數(shù)目就叫做線性變換A的秩

比如:一個(gè)秩為2為3*3的矩陣A,因?yàn)橹刃∮?,那么任何一個(gè)3維六面體經(jīng)過(guò)他的變化后,體積變?yōu)?,退化一個(gè)面,但是仍然存在一個(gè)面積不為0的面,在變換以后還是一個(gè)非零面積的面

所以說(shuō)所謂的一個(gè)線性變換的秩,無(wú)非就是變化后,還能保持一個(gè)非零體積的幾何形狀的***的維度.

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

更高維度的推理,希望有興趣的小伙伴可以自己去證明,不明白的問(wèn)題亦可以在文章下面評(píng)論.希望能夠和大家多多交流,多謝指教.

本文轉(zhuǎn)自雷鋒網(wǎng)，如需轉(zhuǎn)載請(qǐng)至雷鋒網(wǎng)官網(wǎng)申請(qǐng)授權(quán)。本文作者夏洪進(jìn)，原載于作者的個(gè)人博客。