向量空間

線性代數嘅研究對象

向量空間英文vector space),又可以叫綫性空間linear space),係指一個由「向量」組成嘅集合,當中呢啲向量可以加埋一齊(向量加法)或者俾純量乘大乘細(純量乘法)-簡單講,一個向量空間就係由好大拃向量結合形成嘅空間。向量空間有得按好多唔同嘅準則分類,例如係按照「乘得落啲向量度嘅純量係實數虛數」分做實(real)向量空間複(complex)向量空間[1],又可以按照上邊嘅額外結構分做代數拓樸向量空間巴那赫空間等等。

上圖向量加法 兩個向量加埋。
下圖純量乘法:向量 乘 2 呢個純量;同埋向量加法,
嘅位移可以想像成「」呢個向量-「沿 軸移 咁遠、沿 軸移 咁遠、沿 軸移 咁遠」。

向量係由長度同方向組成嘅數學物體,喺三維空間(一般正常人類環境)嘅情況下,一個向量可以想像成包含咗三個,表示個向量喺三條軸分別數值係幾多,例子:一個喺三維空間表示兩點之間嘅位移嘅向量會包含三個數 ,三個數分別表示沿 X 軸嘅位移()、沿 Y 軸嘅位移()同沿 Z 軸嘅位移()。响物理學上,向量可以攞嚟表達好多物理量,例如牛頓力學上嘅分析就好興將位移速度噉嘅物理量想像成向量[2][3]

因為向量咁有用,向量空間喺廿一世紀嘅數學科學工程學上係一樣重要嘅知識:向量空間係綫性代數(linear algebra)研究嘅基本對象,數學家會思考向量空間嘅數學特性,理解可以對向量作出點樣嘅運算,而呢啲研究得出嘅定理除咗滿足到理論性嘅好奇之外,仲有助科學家工程師分析佢哋領域上遇到嘅問題[4]。例如牛頓力學將位移同速度等嘅物理量想像成向量,並且靠呢啲概念分析物體點樣郁動,分析過程會用到數學上對「向量之間可以作出乜嘢運算」(向量空間研究會關注嘅一樣嘢)嘅知識,而呢啲力學分析跟手又對工程學有用,可以攞嚟分析汽車加速等嘅現象[2]

定義

編輯

喺呢篇文入面,大部分時候會用E, F, K代表一個(field),V, W代表一個向量空間,a, b代表純量未知數,u, v, w代表向量未知數[nb 1] [5]

  嚟表示一個,場簡單嚟講即係做到加減乘除嘅數學結構,例如實數  複數  有限場 等。

一個  -向量空間   就係一個三元組  ,當中:

  •   係一個非空集,入面嘅元素叫做向量;
  •   係一個函數,叫做向量加法;
  •   係另一個函數,叫做純量乘法。

佢哋要符合以下嘅條件[6][7]

  1.   係一個阿貝爾羣(abelian group),即係話:
    1.   (存在加法單位additive identity)
    2.   (存在加法逆元additive inverse)
    3.  結合律
    4.  交換律
  2. 純量乘法符合:
    1.  ,當中左邊兩個點都係純量乘法,即係純量乘向量;右邊括號入面嗰點係場入面嘅乘法,即係純量乘純量。
    2.  ,當中  入面嘅乘法單位
  3. 分配性質
    1.  
    2.  

我哋同樣可以定義向量減法同純量除法,做法係透過逆元

 
 

由上面嘅定義,可以推導出一啲常用嘅性質,例如一支向量   嘅加法逆元   係唯一嘅;又或者  ,當中   係純量,  係向量,或者掉轉嚟講,非零純量同非零向量乘埋一齊唔會得到零向量。

歷史

編輯

向量空間嘅概念起源於仿射幾何學(affine geometry),透過喺二維同三維空間到用座標嚟表示啲點。大約 1636 年嗰陣,法國數學家笛卡兒同埋費馬透過聯繫二元方程式同埋平面曲線,爲分析幾何學奠基[8]。喺 1804 年,爲咗唔用座標嚟得到幾何上嘅答案,Bolzano 引入咗一啲點、線同面上嘅一啲操作,呢個就係向量嘅前身[9]。之後喺 1827 年莫比烏斯提出嘅重心座標(barycentric coordinates)亦都用到呢啲操作[10]。向量嘅定義嘅基礎喺 Bellavitis 嘅「雙點記號」,佢係有向線段,一邊係原點,另一邊係目標點。之後,ArgandHamilton 考慮用向量嚟表示複數同埋四元數(quaternion)[11]。佢哋可以被睇做    入面嘅元素。

喺 1857 年,Cayley 引入矩陣記號,大大簡化咗線性映射嘅運算,喺同一段時間,Grassmann 研究莫比烏斯開創嘅重心演算[12],喺佢嘅成果入面,見到線性獨立維度同埋純量乘法嘅概念。事實上 Grassmann 1844 年嘅成果唔單止包含向量,因爲佢仲考慮埋向量乘法,呢種結構依家叫做代數(algebra)。意大利數學家 Peano 喺 1888 年第一個畀出現代嘅向量空間同線性映射嘅定義[13]

向量空間一個好重要嘅發展係由 Henri Lebesgue 構作嘅函數空間,呢個概念喺大約 1920年由 BanachHilbert 正式定義[14];同一時間,代數同新興嘅泛函分析(functional analysis)開始互相影響,主要嘅發展有 p-可積函數同埋 Hilbert 空間[15];同一時期,數學家做咗初步嘅無限維向量空間嘅研究。

例子

編輯

座標空間

編輯

最簡單嘅  -向量空間就係   自己,當中向量加法同純量乘法分別係   呢個入面嘅加法乘法;推廣一吓,畀定咗一個  ,所有   元組   形成咗一個    -向量空間,通常寫做  ,叫做座標空間[16],而   就係   嗰陣嘅特例。當   同埋   嗰陣我哋就得到平時熟悉嘅平面啦。

複數同場擴張

編輯

複數可以視爲一個實向量空間,當中:

  • 向量加法: 
  • 純量乘法: 

好容易就可以檢查到佢哋啱返向量空間嘅公理。

事實上,只考慮  -向量空間嘅結構嘅話,   係「一樣」(同構)嘅,當中   入面嘅   對應   入面嘅  

更一般嚟講,場擴張畀咗我哋好多向量空間嘅例子:假設   係一個場擴張,噉   就係一個  -向量空間,向量加法同純量乘法都係用返   入面嘅加法同乘法[17]。例如   係一個  -向量空間,  係一個  -向量空間。

函數空間

編輯

畀咗一個集合  ,所有由   打去  函數組成一個  -向量空間;又或者推廣一步,如果   係一個  -向量空間嘅話,所有由   打去  函數都會組成一個  -向量空間,當中向量加法同純量乘法都係逐點逐點做嘅,即係話:

 
 

分析幾何入面,個   可能係實數線、區間、拓樸空間或者流形入面嘅開集等等。

好多分析入面嘅性質,例如連續性、可積、可微,都會喺加法同埋純量乘法當中得到保留,所以呢啲函數組成嘅集會都係向量空間[18],例如:

  • 區間   上面嘅連續函數 
  • 區間   上面嘅連續可微函數 
  • 區間   上面嘅光滑函數 

基同維度

編輯
 
一支   入面嘅向量   (藍色),用唔同嘅基嚟表示:用標準基嘅話, (黑色),用另一個唔正交嘅基():) (紅色)

基(basis)容許我哋用一個純量數列去表達啲向量,而啲純量就叫做座標或者分量。基係一個既可以生成成個空間而又係線性獨立嘅向量集  。生成成個空間指嘅係任何一支向量   都可以寫做啲基向量嘅線性組合

 

其中啲   係純量,   入面嘅向量。線性獨立(亦即係線性嘸相關)係指呢種寫法係唯一嘅,亦即係話呢啲   只有一種選擇。

舉個例,喺   入面我哋有一個基叫做標準基,佢係由   組成, 

 

係噉任何向量   都可以唯一噉寫成佢哋個線性組合:

 

其中,對應嘅   就係笛卡兒座標

Zermelo-Fraenkel集合論入面,「任何向量空間都有最少一個基」係同選擇公理等價嘅,而通常會用另一個同選擇公理等價嘅Zorn's引理去證明任何向量空間都有基[19][20]超濾子引理(弱過選擇公理嘅假設)可以證明如果一個向量空間有唔同嘅基嘅話,呢啲基嘅基數係一樣嘅[21]。呢個基數就得定義做向量空間嘅維度。如果個向量空間係由有限支向量生成嘅話,以上兩個結果唔需要選擇公理同埋超濾子引理,只需要 Zermelo-Fraenkel集合論就得[22]

由以上   嘅基嘅例子可以睇到佢嘅維度係 n。多項式環   嘅維度係可數有限,其中一個基係  。好多函數空間嘅例子似   ,佢哋嘅維度都係唔可數無限[nb 2]。畀有一條齊次微分方程,如果啲系數夠光滑嘅話,解空間嘅維度同條微分方程嘅度數係一樣嘅[23],例如   嘅解空間係由    生成嘅二維函數空間。

上面提過,場擴張   可以睇成   -向量空間,如果我哋考慮單擴張   嘅話,佢嘅維度取決於  。如果    上面嘅代數數嘅話,噉即係話   會符合一條最細多項式  ,當中  ,噉    維度就係   喇( [24]。舉個例, ,而   嘅最細多項式係  ,所以  。如果   唔係代數數嘅話,噉啫係佢係超越數,噉嘅話  ,當中    上面嘅有理函數,呢個情況個維度係可數無限[25]

線性映射同矩陣

編輯

線性映射

編輯
内文:線性映射

畀咗兩個同一個   上面嘅向量空間   ,我哋可以研究佢哋之間一啲保持向量空間結構嘅函數  ;即係話,個函數   保持 向量加法同純量乘法:

  同埋  [26]

  得叫做向量空間同構(vector space isomorphism,或者簡單啲叫同構若且唯若佢有一個反函數   令到兩個複合函數    都係恆等函數。等價嚟講,  要又係單射又係滿射[27]。如果兩個向量空間    之間存在同構,我哋話佢哋係同構嘅,即係話呢兩個空間本質上係一樣嘅,因爲係   入面嘅任何嘢我哋都可以用   搬過去   度講,又或者掉反轉用    入面嘅嘢搬嚟   度講。

 
用 x,y 座標描述一個「箭嘴」,得到一個向量空間同構。

舉個例,「平面上面嘅箭嘴」同「實數二元有序對」係同構嘅,因爲畀咗個箭嘴你、喺固定嘅座標系統之下,可以度到佢嘅 x 部分同埋 y 部分(好似右圖噉);掉反轉,畀咗兩個數 x 同 y 你,可以畫返個箭嘴出嚟,打橫 x 個單位,打直 y 個單位。

所有   -線性映射形成咗一個向量空間  ,有時亦都寫做  [28]  嘅所有線性映射形成嘅空間叫做  對偶空間,寫做  [29]  有個自然單射

 

呢個單射將任意嘅向量空間嵌入佢嘅雙對偶空間入面,只有喺  有限維嗰陣呢個映射先會係一個同構[30]

如果   有一個基,噉只要我哋知道呢個基嘅映像我哋就徹底瞭解到一個線性映射  ,因爲   入面任何一支向量都有唯一一種方法寫成基嘅線性組合[31]。如果   ,而且    各自畀定一個基嘅話,基之間嘅一一對應關係就會伸延至一個   嘅線性映射,呢個映射會自動係一個同構[32]。所以,兩個向量空間維度一樣嘅話佢哋就係同構嘅;掉反轉,同構嘅話維度一定一樣。另一個講法就係,向量空間可以用佢嘅維度去徹底分類(至同構)。舉個特例,任何  -維向量空間   都同   同構,不過無一個自然、首選嘅同構;而事實上,揀一個同構   等同於幫   揀一個基。

矩陣

編輯
内文:矩陣行列式
 
一個矩陣

矩陣(matrix)係一個好方便嘅方法去描述一個線性映射[33],佢寫出嚟就係一個長方形陣列嘅數字,好似右圖噉。任何一個m乘n嘅矩陣都可以透過以下方法定義出一個 嘅線性映射:

 

或者用矩陣乘法嘅話, 。另一方面,任意嘅線性映射  ,只要幫    揀一個基,都可以用矩陣嘅形式去表達出來[34]

一個方形矩陣  行列式   可以話畀我哋知某個對應嘅線性映射係唔係同構:佢係同構若且唯若行列式唔係  [35]。一個實向量空間上面嘅線性映射要保持定向,若且唯若佢嘅行列式係正數。

特徵值同特徵向量

編輯

自同態(endomorphism),指嘅係一個向量空間打返去自己度嘅線性映射  ,佢哋有特別嘅意義,因爲一支向量   可以同佢嘅映像   比較。任何一支向量   如果符合  ,當中   係純量嘅話,就叫做   嘅一支特徵向量,而   就叫做特徵值[nb 3][36]。等價噉講,  係喺  入面,當中  恆等函數。如果   係有限維嘅話,我哋可以用行列式嚟表達:   嘅特徵值若且唯若  。如果將左邊嘅行列式展開嘅話,會得到一條  多項式,叫做特徵多項式[37]。如果個向量空間底下嗰個代數封閉嘅話,噉任何嘅自同態都一定至少有一支特徵向量。如果一個入面所有向量都係特徵向量嘅話,個基就叫做一個特徵基。唔係所有自同態都有一個特徵基嘅;就算底下個場係代數封閉嘅都未必有。呢個現象可以用Jordan標準式嚟描述[38][nb 4]。畀咗一個特徵值,所有對應呢個特徵值嘅特徵向量會組成一個子空間,叫做特徵空間。無限維向量空間入面嘅特徵值分析叫做譜分析

由舊嘅向量空間構作新嘅向量空間

編輯

子空間同商空間

編輯
 
一條穿過原點嘅藍線,佢係   嘅子空間,係兩個平面嘅交集

畀咗一個向量空間  ,佢嘅向量子空間(vector subspace,或者有時簡單啲,就噉叫子空間 subspace)係一啲喺向量加法同純量乘法下封閉嘅非子集   [39];因爲純量乘法嘅關係,佢自動會包埋  -向量。子空間   佢自己都係一個向量空間。畀一個   嘅子集    唔一定要係子空間),所有裝住   嘅子空間嘅交集都係一個子空間,叫做  生成空間,係最細包住   嘅子空間。用元素嚟講嘅話,佢由   入面嘅元素嘅線性組合構成[40]

一個一維嘅子空間叫做,二維嘅就叫平面。注意有時呢個名會同我哋嘅直覺一啲出入,例如「複數線」指嘅係一維嘅複數空間  ,但係好多時啲人會用實數嚟諗,覺得   應該係一個平面。低過主空間一維嘅子空間叫做超平面;另一個講法係對應嘅商空間(見下)係一維嘅;仲有第三個講法,係話呢個空間嘅餘維度 

同子空間相對嘅概念係商空間[41]。畀任何一個子空間  ,商空間   係噉定義嘅:作爲一個集合,佢嘅元素 ,當中   係任意嘅向量。加法嘅定義係  ,乘法係  。係呢個定義入面一個好重要嘅觀察係  [nb 5]。概念上,商空間就係忘記   入面嘅資訊。呢個觀察亦都證明咗以上加法同乘法都係良定義嘅。

畀一個線性映射   ,有幾個相關嘅子空間同商空間。第一個係  [42],佢係   嘅子空間;第二個係映像  ,佢係   嘅子空間[43];第三個係餘核  ,係佢   嘅商空間。證明向量空間範疇阿貝爾範疇需要用到呢幾個空間嘅存在性[44];都因爲噉,好多相關嘅定理係呢個範疇都係啱嘅,例如第一同構定理  ,同埋其他同構定理等等。

直和同直積

編輯
内文:直和直積

畀有一柞向量空間 ,可以用兩種方法去結合呢柞向量空間,整個新嘅向量空間出嚟。

首先係直積 (direct product),佢包含住所有啲多元組  ,當中對於每一個   都有  [45],向量加法同埋純量乘法都係逐項逐項做嘅。

另一方面,直和   (direct sum)係直積嘅子空間,只包含嗰啲多元組「只有有限項唔係0向量」嘅;如果   係有限嘅話,兩個構作係一樣嘅,但係如果   係無限嘅話就唔同喇。

另外,直積同直和分別係向量空間範疇入面嘅(product)同餘積(coproduct)。

張量積

編輯
内文:張量積
 
展示張量積萬有性質交換圖

兩個 F-向量空間   張量積(tensor product)  (或者如果好清楚係邊個嘅話可以唔寫: )係喺多重線性代數入面一個好重要嘅構作。一個映射   叫得做雙線性若且唯若佢對兩個輸入都係線性嘅;即係話,固定一個    係線性映射,反之亦然。

張量積   係雙線性映射嘅「萬有物件」,佢係以下形式嘅「張量和」組成嘅向量空間:

  (n 係任意正整數,  

當中   運算符合以下規則:

 
 
 [46]

呢啲規則確保咗   係雙線性嘅。萬有性質係指對任何雙線性映射  ,都有一個唯一嘅線性映射 u 符合  ,亦即係令到右圖係「交換」嘅[47]。呢一種用萬有性質嚟定義物件嘅做法喺抽象代數入面係好常見嘅。

額外結構

編輯

賦範向量空間同內積空間

編輯

本身一個向量空間入面,我哋係冇得講出一支向量嘅「長度」嘅,但係如果向量空間有一個範數(norm)定義咗嘅話就可以喇;而如果向量空間有定義到內積(inner product)嘅話,我哋甚至可以講出向量之間嘅角度。通常會用   嚟表示範數同埋內積;而如果一個向量空間上面有內積嘅話,就可以定義一個自然嘅範數: 。呢啲有額外結構嘅向量空間就分別叫做賦範向量空間同埋內積空間喇[48]

對任何正整數 n 同埋實數 p>1,可以定義賦範向量空間  

 

對任何正整數 n,可以定義內積空間  

 

  入面,我哋有餘弦公式

 

所以喺其他內積空間,我哋可以用呢條式去推廣角度嘅定義;x 同 y 正交若且唯若  。內積空間有一個好重要嘅變體,叫做Minkowski時空 ,賦予 Lorentz積

 [49]

同內積唔同,Lorentz積唔係正定嘅:  可以係負數,例如  。將第四個座標睇做時間,頭三個睇做空間,噉樣可以睇得出個 Minkowski時空對狹義相對論嘅數學運算好有幫助。

拓撲向量空間

編輯

喺一個向量空間入面,定義咗點樣將兩支向量加埋一齊;佮埋加法嘅結合性質,可以定義點樣將有限支向量加埋一齊:可以定義 ,因爲有結合性質,加咗邊兩支先係無分別嘅:

 

但係講到話想加埋無限支向量,噉個向量空間就一定要有一個拓撲結構喇,因爲噉先可以講級數收斂性[50][51]。一般我哋都要求呢個拓撲結構同向量加法同埋純量乘法係相容嘅;粗略噉講,如果   改變少少嗰陣,  都唔應該改變太多。想描述純量嘅改變嘅話,個場   都要有一個拓撲結構,即係話   係一個拓撲場。好多時   都係   或者   ,帶住平時嗰個拓撲結構。

噉樣喺拓撲向量空間入面,我哋可以講一個級數嘅收斂性:定義   (如果收斂嘅話),例如   可以係某個函數空間入面嘅函數;噉嘅情況呢個級數就係函數級數收斂模式同向量空間嘅拓撲結構有關,例如逐點收斂一致收斂對應住唔同嘅拓撲結構。

 
  入面唔同嘅 p-範數之中嘅「1-球體」 ,最大黃色嗰個係 1-範數入面嘅「2-球體」。

一個確保向量空間有足夠多嘅極限嘅方法係淨係考慮某一種空間,佢嘅柯西列一定有極限;呢種向量空間叫做完備。舉個例,單位區間 [0, 1] 上面嘅多項式函數組成一個向量空間,如果佢帶住一致收斂拓撲嘅話,佢就係唔完備嘅,因爲根據 Stone-Weierstrass定理所有 [0, 1] 上面嘅連續函數都可以由多項式函數一致噉逼近[52]。相反,[0, 1] 上面嘅連續函數就係一個完備空間喇[53]。一個賦範向量空間會自動帶有一個拓撲結構,定義係  

Banach空間Hilbert空間係完備嘅拓撲向量空間,佢哋嘅拓撲結構分別係由範數同埋內積帶嚟嘅。泛函分析入面我哋會研究呢兩種空間,主要研究無限維空間,因爲有限維上面所有範數畀嘅拓撲結構都係一樣嘅,所有數列嘅收斂條件都係一樣嘅[54]。右圖展示出 1-範數同  -範數係等價嘅: -範數嘅「1-球體」包住 1-範數嘅「1-球體」,而 1-範數嘅「2-球體」又包返住 -範數嘅「1-球體」,即係展示出佢哋嘅拓撲結構係一樣嘅。喺無限維入面,一般嚟講會有好多種唔同嘅拓撲結構,例如    係唔同嘅,所以研究呢啲唔同嘅拓撲係一個有趣嘅課題。

概念上嚟講,所有同拓撲向量空間有關嘅概念都應該同個拓撲結構係相容嘅;例如考慮線性映射嗰陣,我哋會考慮拓撲向量空間之間嘅連續線性映射[55]。舉個特例,拓撲對偶空間   係所有  (或者 )嘅連續線性映射(或者叫連續泛函)。Hahn-Banach定理係泛函分析入面嘅一條基礎定理,展示出任何嘅賦範向量空間入面都有足夠嘅泛函畀我哋去研究[56]

Banach空間

編輯
内文:Banach空間

Banach空間(Banach space)由 Stefan Banach 定義,亦都因爲噉以佢嚟命名,係指完備嘅賦範向量空間[57]

第一個例子係   空間。首先對無限向量   定義 p-範數   ):

  嘅話   

  空間就係由有有限 p-範數嘅向量組成嘅向量空間。

對於唔同嘅 p ,  空間嘅拓撲係唔同嘅,例如   就同時喺   同埋   空間入面。但係喺   入面佢嘅極限係 0 向量,而喺   入面佢就唔收斂:

 ,但  

推而廣之,如果   係一個區域,上面有 Lebesgue 積分,噉我哋可以定義一個 p-範數:

 

  就係由有有限 p-範數嘅函數組成嘅向量空間,叫做 Lebesgue空間[nb 6]。呢啲空間係完備[58](如果用 Riemann積分就唔完備,呢個亦係其中一個原因高等數學分析要用 Lebesgue積分,唔用 Riemann積分[nb 7])。

完備嘅意思即係,對任何  入面嘅函數列   ,並符合 Cauchy條件

 

都存在一個函數   令到

 

如果我哋唔單止要求函數係有界嘅,仲要求埋佢嘅導數都係有界嘅,噉我哋就得到 Sobolev空間[59]

Hilbert空間

編輯
内文:Hilbert空間
 
用正弦函數嘅有限和(紅色)嚟逼近三角波(藍色)嘅頭五項。

Hilbert空間以 David Hilbert 命名,指嘅係完備嘅內積空間[60],一個重要例子係  ,內積係

 

當中條橫線代表複共軛[61][nb 8]

根據定義,喺 Hilbert空間入面所有 Cauchy 數列都會收斂到某一向量;掉反轉,用一個有某一性質嘅數列去逼近一支冇呢個性質嘅向量都係好重要嘅概念嚟。係早期分析入面,用 Taylor展開我哋可以用多項式嚟逼近可微函數[62];根據 Stone-Weierstrass定理,任何 [a, b]上嘅連續函數都可以用多項式嚟逼近[63]。用三角函數嚟逼近就係 Fourier分析入面研究嘅嘢,對工程學好有用。更一般、更抽象嚟講,呢啲定理係描述緊一啲[nb 9]。喺 Banach空間或者 Hilbert空間入面,一個集叫得做基若且唯若佢嘅生成空間嘅閉包係成個空間。由於 Hilbert空間有定義到內積,配合埋 Gram-Schmidt過程,我哋可以構作 Hilbert空間嘅正交基[64]

好多微分方程嘅解都可以用 Hilbert空間嚟描述[65];例如物理入面,量子力學入面嘅時間無關Schrödinger等式偏微分方程嚟描述一啲物理值隨時間嘅改變,啲解叫做波函數[66]。某啲物理性質(例如能量動量)嘅值對應住某啲算子嘅特徵值,而對應嘅特徵函數就係狀態函數譜定理可以將緊緻算子分解成呢啲特徵函數上面嘅作用[67]

場上代數

編輯
 
 所表示嘅雙曲線,佢嘅座標環 ,一個無限維嘅實向量空間。

一般嘅向量空間係冇定義點樣將兩支向量乘埋嘅,而如果有嘅話(而且符合一啲相容性嘅公理)就叫做一個場上代數(algebra over a field),或者就噉代數[68]。好多代數係嚟自一啲幾何物體上邊嘅函數,因爲呢啲函數可以逐點逐點乘埋一齊。例如 Stone-Weierstrass 定理就係同 Banach 代數有關嘅,啫係佢又係代數又係 Banach空間

交換代數入面成日都會研究單參數或者多參數嘅多項式環,佢哋嘅乘法係交換同埋結合嘅;呢啲環同埋佢哋嘅係研究代數幾何嘅基本部分,因爲佢哋就係幾何物件上面嘅函數空間[69]

另一個例子係李代數,佢嘅乘法(一般叫做李括號)又唔交換又唔結合,但係要求符合另外兩條式(  表示    嘅乘積):

  •  反交換律
  •  Jacobi等式[70]

例子包括對於   矩陣,李括號就係交換子  (右邊係普通矩陣乘法);同埋對於  ,李括號係外積

張量代數係一個形式上嘅方法將任何嘅向量空間變成一個代數嘅[71]。作爲一個向量空間,佢係由「簡單張量」(或者叫「純張量」)  生成嘅( 唔係固定嘅),而乘法就係將佢哋「連埋一齊」:

 

並且要求佢同純量乘法同向量加法相容。一般嚟講  係冇關係嘅,如果(透過取)要求佢哋一樣嘅話,就得到對稱代數;而如果要求 嘅話,噉就得到外代數[72]

有時我哋會叫 F 上嘅代數做 F-代數。

應用

編輯

分佈

編輯

一個分佈(distribution,或者廣義函數)係一個連續線性映射,畀一個「測試函數」佢、佢會畀返個數字你嘅,當中個測試函數通常係一個光滑函數,而且係緊支撐嘅。用返上面嘅術語,分佈空間係測試函數空間嘅連續對偶空間[73],當中測試函數空間上面嘅拓撲唔單止反映緊   嘅性質,仲考慮埋   嘅微分嘅性質。一個典型分佈嘅例子係將測試函數對某個區域   積分

 

如果   只係一點嘅話,呢個分佈就係 Dirac分佈,通常用   嚟表示: 。分佈係解微分方程好有用嘅工具:由於好多微分方程入面嘅算子都係線性嘅,例如微分噉,所以佢哋可以延伸去分佈空間上面;而分佈空間大過函數空間,所以有多啲工具去處理佢哋。例如 Green's函數同埋基礎解好多時都只係分佈而唔係函數,但係佢哋可以用來搵一啲邊值問題嘅解;而有啲情況噉樣搵出嚟嘅解唔單止係分佈,仲係函數嚟添,噉佢就係原本條問題嘅解[74]

Fourier分析

編輯
内文:Fourier分析
 
熱方程式描述一啲物理性質隨時間嘅擴散,例如擺一件熱嘅物體喺凍嘅環境入面嗰陣溫度嘅變化。(圖入面黃色代表凍,紅色代表熱)

將一個週期函數分解做三角函數就形成咗 Fourier級數,係一個喺物理工程學入面好常見嘅技巧[nb 10][75]。底下嘅 Hilbert空間通常係   複平面入面嘅單位圓),喺入面函數    (m 係整數)係一套正交基底[76]。一個  函數  Fourier展開係:

 

am同bm叫做 f 嘅 Fourier係數,可以用以下嘅公式計出嚟:

 ,  

物理學嘅術語嚟講,即係拆開咗呢個函數變成正弦函數餘弦函數疊加,而啲Fourier係數就畀咗個函數喺頻譜方面嘅資訊[77]。Fourier級數有實數同複數兩個版本,兩個都咁常用。呢一個計算Fourier係數嘅方程式其實可以推廣去一個抽象嘅數學對偶概念,叫 Pontryagin對偶[78];喺Pontryagin對偶入面,整數羣 圓羣  係相對嘅。

Fourier級數可以用嚟解偏微分方程之中嘅邊值問題[79]。1822年,Fourier首次用呢個方法嚟解啲熱方程式[80]。Fourier級數嘅離散版本可以用嚟對函數取樣:我哋淨係知道個函數喺有限個間隔相同嘅點上面嘅數值,呢個情況Fourier級數係有限和,而加出嚟嘅值喺嗰啲取樣點上面係吻合翻個函數嘅[81];呢啲係數就叫做離散Fourier變換英文discrete Fourier transform,DFT)。DFT係電子訊號處理嘅一個主要工具,喺雷達語音編碼圖片壓縮方面好有用[82]JPEG格式就係離散餘弦變換嘅一個應用,係同離散Fourier變換好類似嘅一個變換[83]

快速傅立葉變換係用嚟計離散傅立葉變換嘅一個好快嘅演算法[84]。佢唔單止可以用嚟計傅立葉係數,而且因爲有卷積定理,可以用嚟計一啲有限數列卷積[85],所以可以用喺數字濾波器[86]同埋多項式、大數字嘅快速乘法(Schönhage–Strassen演算法[87][88]

微分幾何

編輯
 
2-球體喺一點上面嘅切平面

喺一幅曲面上面,一點嘅切平面(tangent space)係一個向量空間,當中個原點對應住切平面同曲面嘅接觸點嘅。切平面係喺嗰一點附近,對幅曲面最好嘅線性近似[nb 11]。就算係嵌入三維空間入面嘅曲面,一般嚟講切平面都係無一個特別嘅、優先嘅基嘅,所以切平面一般都係用一個抽象嘅向量空間嚟描述,而唔係一個實向量空間  。而切空間就係將呢一個概念推廣去更高維嘅可微流形上面[89]

黎曼流形係一種可微流形,上面每一個切空間都有一個適當嘅內積[90];由呢個內積可以計算出黎曼曲率張量,佢蘊含住成個流形每一點嘅曲率資訊,對廣義相對論好有用,例如愛因斯坦曲率張量描述咗時空入面嘅能量同埋質量[91][92]

另外,李羣入面嘅切空間好自然噉形成咗一個李代數,可以用嚟分類緊緻李羣[93]

推廣

編輯
 
(無限延長嘅)莫比烏斯帶係圓 上嘅一個向量叢,局部嚟睇,每一點附近佢都好似直積  ,但係成個空間就唔係直積  

向量叢

編輯
内文:向量叢切線叢

向量叢(vector bundle)係以空間上嘅點嚟參數化嘅一堆向量空間[89] 。或者噉講,對任何拓撲空間 (通常係一個流形)同向量空間 ,我哋可以整一個積空間 ;上面我哋攞積拓撲,而向量叢就係呢個概念嘅推廣。向量叢可以理解做扭曲咗嘅積空間。具體嘅定義係,拓撲空間 上嘅向量叢係一個拓撲空間 ,連同一個連續映射(理解做投影):

 

令到對每一點 ,佢嘅纖維 都係一個向量空間 。如果 嘅維度係1嘅話,會叫佢做線叢英文line bundle)。上一段講嘅積空間都係向量叢嘅一種,叫平凡向量叢英文trivial bundle)。此外,一般嚟講數學家都要求向量叢係局部平凡嘅;亦即係話,對任何一點 ,都有一個鄰域 ,令到 係同平凡向量叢 同構嘅[nb 12]。就算向量叢係局部平凡都好,整體來講亦都可以係「扭曲」嘅;意思即係,成個向量叢  唔一定係同構。最簡單嘅例子就係莫比烏斯帶,佢可以睇做圓上面嘅一個向量叢,但係佢同圓柱體 )係唔同構嘅,因爲圓柱體係可定向嘅,莫比烏斯帶唔係[94]

某啲向量叢(譬如切線叢)嘅性質可以調返轉頭話畀我哋知底下個拓撲空間嘅性質。切線叢係將可微流形上嘅每一點嘅切空間黐埋一齊,例如圓形 嘅切線叢係同 同構嘅(即係平凡嘅),因爲 上面存在每點都唔係零嘅向量場[nb 13]。相反,根據毛球定理2-球面 上面任何嘅向量場都一定有零點,即係話 嘅切線叢係唔平凡嘅[95]K-理論就係研究一個空間上面所有向量叢嘅同構類嘅[96]。向量叢除咗加深咗對拓撲學同埋幾何學嘅理解之外,亦都對純代數有影響,例如證明咗有限維實除代數只有4種:實數 、複數 四元數 八元數 

除咗切線叢,仲可以定義餘切叢英文cotangent bundle),佢係將每一點上面嘅切空間嘅對偶(餘切空間)黐埋一齊,呢個叢上面嘅截面叫做1-微分形式

内文:模 (代數)

模(module)係版本嘅向量空間,意思即係,喺向量空間入面,將   換做環   就得到  -模嘅定義喇[97]。模嘅理論複雜過向量空間,因爲   入面有啲無乘法逆元嘅元素。舉個例,有啲模係無嘅,例如  -模(等價於阿貝爾羣  噉。有基嘅模叫做自由模。

仿射空間同投影空間

編輯
 
 入面嘅一個仿射平面(淺藍),佢係由一個子空間平移咗 (紅)咁多得出嚟。

粗略來講,仿射空間就係唔記得咗原點喺邊嘅向量空間[98],所以喺上面係冇得做加法嘅。準確啲嚟講,仿射空間係一個集合,上面有一個向量空間嘅自由遞移作用。噉睇嘅話,任何向量空間 都係一個仿射空間,因爲有呢一個作用:

 

如果 係一個向量空間嘅話,佢嘅仿射子空間可以透過將佢一個向量子空間 沿住一支揀定咗嘅向量 平移嚟得到,呢個空間會記作 (佢係 入面 嘅一個陪集),佢包含住所有 噉嘅樣嘅向量,當中  入面嘅向量。一個重要嘅例子就係非齊性線性方程式 嘅解[99],個解空間係 ,當中 係一個特別解 就係對應齊性方程 嘅解空間,亦即係 

揀定一個向量空間 ,佢嘅所有一位子空間形所咗一個空間,叫做投影空間;呢個空間可以用嚟展示平行線相交於無限處嘅概念[100]Grassmannian同埋旗流形係呢個概念嘅推廣,佢哋分別係子空間同埋子空間旗嘅參數化。

睇埋

編輯
  1. 好多時,特別係物理學入面,啲人會用箭嘴嚟表示一個未知數係向量: 
  2. 例如,唔同嘅區間指示函數(有無限咁多個呢啲函數)係互相線性獨立嘅。
  3. 個名嚟自德文"eigen",意思係「自己嘅」。
  4. 睇埋Jordan–Chevalley 分解.
  5. 有啲作者(例如Roman 2005)選擇調反轉用呢個等價關係開始嚟定義V/W
  6.  空間上嘅三角不等式其實即係Minkowski 不等式。技術上嚟講, 空間入面嘅唔係函數,而係函數嘅等價類,因爲要取商空間去獲得一個範數,而唔係半範數
  7. "Many functions in   of Lebesgue measure, being unbounded, cannot be integrated with the classical Riemann integral. So spaces of Riemann integrable functions would not be complete in the   norm, and the orthogonal decomposition would not apply to them. This shows one of the advantages of Lebesgue integration.", Dudley 1989, §5.3, p. 125
  8. p≠2嘅話,Lp(Ω)唔係一個Hilbert空間。
  9. 呢個基同之前定義嘅基係唔同嘅,爲咗區分兩者,依家呢種叫 Schauder基,之前嗰種叫 Hamel基;任何向量空間都有 Hamel基, 但係 Banach空間唔一定有 Schauder基
  10. 雖然Fourier 級數係週期性嘅,但係呢個工具用喺任何區間上嘅L2函數都得,因爲可以考慮個函數向外嘅週期延拓。睇吓Kreyszig 1988, p. 601
  11. 亦係話(BSE-3 2001),如果一個點 沿住個曲面趨向 嘅話, 同切平面嘅距離,同 同P嘅距離相比係無限細嘅。
  12. 即係話,有個  之間嘅同胚,而且佢喺每個纖維上面都係線性同構
  13.  上面嘅線叢(例如切線叢)係平凡若且唯若存在一個任何點都非零嘅切面Husemoller 1994, Corollary 8.3。切線叢嘅切面其實即係向量場。

參考

編輯
  1. Roman 2005, Ch. 1.
  2. 2.0 2.1 Alonso, M.; Finn, J. (1992). Fundamental University Physics. Addison-Wesley.
  3. Feynman, Richard (1999). The Feynman Lectures on Physics. Perseus Publishing.
  4. Lang, Serge (1987), Linear algebra, Berlin, New York: Springer-Verlag,
  5. "Comprehensive List of Algebra Symbols". Math Vault (美國英文). 2020-03-25. 喺2020-08-23搵到.
  6. "5: Vector Spaces". Mathematics LibreTexts (英文). 2016-02-29. 喺2020-08-23搵到.
  7. Weisstein, Eric W. "Vector Space". mathworld.wolfram.com (英文). 喺2020-08-23搵到.
  8. Bourbaki 1969, ch. "Algèbre linéaire et algèbre multilinéaire", pp. 78–91.
  9. Bolzano 1804.
  10. Möbius 1827.
  11. Hamilton 1853.
  12. Grassmann 2000.
  13. Peano 1888, ch. IX.
  14. Banach 1922.
  15. Dorier 1995, Moore 1995.
  16. Lang 1987, ch. I.1
  17. Lang 2002, ch. V.1
  18. Lang 1993, ch. XII.3., p. 335
  19. Roman 2005, Theorem 1.9, p. 43
  20. Blass 1984
  21. Halpern 1966, pp. 670–673
  22. Artin 1991, Theorem 3.3.13
  23. Braun 1993, Th. 3.4.5, p. 291
  24. Stewart 1975, Proposition 4.3, p. 52
  25. Stewart 1975, Theorem 6.5, p. 74
  26. Roman 2005, ch. 2, p. 45
  27. Lang 1987, ch. IV.4, Corollary, p. 106
  28. Lang 1987, Example IV.2.6
  29. Lang 1987, ch. VI.6
  30. Halmos 1974, p. 28, Ex. 9
  31. Lang 1987, Theorem IV.2.1, p. 95
  32. Roman 2005, Th. 2.5 and 2.6, p. 49
  33. Lang 1987, ch. V.1
  34. Lang 1987, ch. V.3., Corollary, p. 106
  35. Lang 1987, Theorem VII.9.8, p. 198
  36. Roman 2005, ch. 8, p. 135–156
  37. Lang 1987, ch. IX.4
  38. Roman 2005, ch. 8, p. 140.
  39. Roman 2005, ch. 1, p. 29
  40. Roman 2005, ch. 1, p. 35
  41. Roman 2005, ch. 3, p. 64
  42. Lang 1987, ch. IV.3.
  43. Roman 2005, ch. 2, p. 48
  44. Mac Lane 1998
  45. Roman 2005, ch. 1, pp. 31–32
  46. Lang 2002, ch. XVI.1
  47. Roman 2005, Th. 14.3. 睇埋Yoneda 引理.
  48. Roman 2005, ch. 9
  49. Naber 2003, ch. 1.2
  50. Treves 1967
  51. Bourbaki 1987
  52. Kreyszig 1989, §4.11-5
  53. Kreyszig 1989, §1.5-5
  54. Choquet 1966, Proposition III.7.2
  55. Treves 1967, p. 34–36
  56. Lang 1983, Cor. 4.1.2, p. 69
  57. Treves 1967, ch. 11
  58. Treves 1967, Theorem 11.2, p. 102
  59. Evans 1998, ch. 5
  60. Treves 1967, ch. 12
  61. Dennery & Krzywicki 1996, p.190
  62. Lang 1993, Th. XIII.6, p. 349
  63. Lang 1993, Th. III.1.1
  64. Choquet 1966, Lemma III.16.11
  65. Kreyszig 1999, Chapter 11
  66. Griffiths 1995, Chapter 1
  67. Lang 1993, ch. XVII.3
  68. Lang 2002, ch. III.1, p. 121
  69. Eisenbud 1995, ch. 1.6
  70. Varadarajan 1974
  71. Lang 2002, ch. XVI.7
  72. Lang 2002, ch. XVI.8
  73. Lang 1993, Ch. XI.1
  74. Evans 1998, Th. 6.2.1
  75. Folland 1992, p. 349 ff
  76. Gasquet & Witomski 1999, p. 150
  77. Gasquet & Witomski 1999, p. 57
  78. Loomis 1953, Ch. VII
  79. Kreyszig 1988, p. 667
  80. Fourier 1822
  81. Gasquet & Witomski 1999, p. 67
  82. Ifeachor & Jervis 2001, pp. 3–4, 11
  83. Wallace 1992
  84. Ifeachor & Jervis 2001, p. 132
  85. Gasquet & Witomski 1999, §10.2
  86. Ifeachor & Jervis 2001, pp. 307–310
  87. Gasquet & Witomski 1999, §10.3
  88. Schönhage & Strassen 1971
  89. 89.0 89.1 Spivak 1999, ch. 3
  90. Jost 2005. 睇埋Lorentzian 流形.
  91. Misner, Thorne & Wheeler 1973, ch. 1.8.7, p. 222 and ch. 2.13.5, p. 325
  92. Jost 2005, ch. 3.1
  93. Varadarajan 1974, ch. 4.3, Theorem 4.3.27
  94. Kreyszig 1991, §34, p. 108
  95. Eisenberg & Guy 1979
  96. Atiyah 1989
  97. Artin 1991, ch. 12
  98. Meyer 2000, Example 5.13.5, p. 436
  99. Meyer 2000, Exercise 5.13.15–17, p. 442
  100. Coxeter 1987

書目

編輯

代數

編輯

分析

編輯

歷史

編輯

更多

編輯