MIT牛人解說數(shù)學(xué)體系-

1、MIT牛人解說數(shù)學(xué)體系在過去的一年中,我一直在數(shù)學(xué)的海洋中游蕩,research進(jìn)展不多,對于數(shù)學(xué)世界的閱歷算是有了一些長進(jìn)。為什么要深入數(shù)學(xué)的世界?作為計算機(jī)的學(xué)生,我沒有任何企圖要成為一個數(shù)學(xué)家。我學(xué)習(xí)數(shù)學(xué)的目的,是要想肩膀,希望站在更高的高度,能把我自己研究的東西看得更深廣一些。說起來,我在剛來這個學(xué)校的時候,并沒將會有一個深入數(shù)學(xué)的旅程。我的導(dǎo)師最初希望我去做的題目,是對appearance和motion建立一個unified 個題目在當(dāng)今Computer Vision中百花齊放的世界中并沒有任何特別的地方。事實上,使用各種Graphical Mo 西聯(lián)合在一起framework,在近

2、年的論文中并不少見。我不否認(rèn)現(xiàn)在廣泛流行的Graphical Model是對復(fù)雜現(xiàn)象建模的有力工具,但是,我認(rèn)為它不是panacea,并不所研究的問題的深入的鉆研。如果統(tǒng)計學(xué)習(xí)包治百病,那么很多“下游”的學(xué)科也就沒有存在的必要了。事實候,我也是和Vision中很多人一樣,想著去做一個Graphical Model我的導(dǎo)師指出,這樣的做法只是重復(fù)一程,并沒有很大的價值。經(jīng)過很長時間的反復(fù),另外一個路徑慢慢被確立下來我們相信,一個圖像是通過大的某種空間分布構(gòu)成的,原子群的運動形成了動態(tài)的可視過程。微觀意義下的單個原子運動,和宏觀意義下的整換存在著深刻的聯(lián)系這需要我們?nèi)グl(fā)掘。在深入探索這個題目的過程

3、中,遇到了很多很多的問題,如何描述一個一般的運動過程,如何建立一個穩(wěn)定并且原子表達(dá),如何刻畫微觀運動和宏觀分布變換的聯(lián)系,還有很多。在這個過程中,我發(fā)現(xiàn)了兩個事情:我原有的數(shù)學(xué)基礎(chǔ)已經(jīng)遠(yuǎn)遠(yuǎn)不能適應(yīng)我對這些問題的深入研究。在數(shù)學(xué)中,有很多思想和工具,是非常適合解決這些問題的,只是沒有被很多的應(yīng)用科學(xué)的研究者重視于是,我決心開始深入數(shù)學(xué)這個浩瀚大海,希望在我再次走出來的時候,我已經(jīng)有了更強(qiáng)大的武器去面對這些問我的游歷并沒有結(jié)束,我的視野相比于這個博大精深的世界的依舊顯得非常狹窄。在這里,我只是說說,在我的如何一步步從初級向高級發(fā)展,更高級別的數(shù)學(xué)對于具體應(yīng)用究竟有何好處。集合論:現(xiàn)代數(shù)學(xué)的共同基礎(chǔ)

4、現(xiàn)代數(shù)學(xué)有數(shù)不清的分支,但是,它們都有一個共同的基礎(chǔ)集合論因為個龐大的家族有個共同的語言。集合論中有一些最基本的概念:集合(set,關(guān)系(relation,函數(shù)(function (equivalence,是在其它數(shù)學(xué)分支的語言中幾乎必然存在的。對于這些簡單概念的理解,是進(jìn)一步學(xué)些別的數(shù)相信,理工科大學(xué)生對于這些都不會陌生。不過,有一個很重要的東西就不見得那么家喻戶曉了那就是“選擇公理” (Axiom of Choice。這個公理的意的一群非空集合,一定可以從每個集合中各拿出一個元素?！彼坪跏秋@然得不能再顯然的命題。不過,這個公理卻能演繹出一些比較奇怪的結(jié)論,比如巴拿赫-塔斯基分球定理“一個球

5、,能分成五個部分,對它們進(jìn)行變換(平移旋轉(zhuǎn)后,能組合成兩個一樣大小的球”。正因為這些完全有悖常識的結(jié)論,導(dǎo)致數(shù)學(xué)界曾經(jīng)在相當(dāng)于是否接受它有著激烈爭論。現(xiàn)在,主流數(shù)學(xué)家對于它應(yīng)該是基本接受的,因為很多數(shù)學(xué)分支的重要定理都依賴們后面要回說到的學(xué)科里面,下面的定理依賴于選擇公理:1.拓?fù)鋵W(xué):Baire Category Theorem2.實分析(測度理論:Lebesgue 不可測集的存在性3.泛函分析四個主要定理:Hahn-Banach Extension Theorem, Banach-Steinhaus Theorem (Uniform bouprinciple, Open Mapping Th

6、eorem, Closed Graph Theorem在集合論的基礎(chǔ)上,現(xiàn)代數(shù)學(xué)有兩大家族:分析(Analysis和代數(shù)(Algebra。至于其它的,比如幾何和概率論學(xué)時代,它們是和代數(shù)并列的,但是它們的現(xiàn)代版本則基本是建立在分析或者代數(shù)的基礎(chǔ)上,因此從現(xiàn)代意義說析與代數(shù)并不是平行的關(guān)系。分析:在極限基礎(chǔ)上建立的宏偉大廈微積分:分析的古典時代從牛頓到柯西先說說分析(Analysis吧,它(Caculus發(fā)展起來的這也是有些微積分教材名字叫“數(shù)學(xué)分析”的原因。不過,分析的范疇遠(yuǎn)不只是這些學(xué)一年級學(xué)習(xí)的微積分只能算是對古典分析的入門。分析研究的對象很多,包括導(dǎo)數(shù)(derivatives,積分(in

7、 分方程(differential equation,還有級數(shù)(infinite series這些基本的概念,在初等的微積分里面都有說有一個思想貫穿其中,那就是極限這是整個分析(不僅僅是微積分的靈魂。一個很多人都聽說過的故事,就是牛頓(Newton和萊布尼茨 (Leibniz關(guān)于微積分發(fā)明權(quán)的爭論。事實上,在他很多微積分的工具開始運用在科學(xué)和工程之中,但是,微積分的基礎(chǔ)并沒有真正建立。那個長時間一直解釋不清小量”的幽靈,困擾了數(shù)學(xué)界一百多年的時間這就是“第二次數(shù)學(xué)危機(jī)”。直到柯西用數(shù)列極限的觀點重新分的基本概念,這門學(xué)科才開始有了一個比較堅實的基礎(chǔ)。直到今天,整個分析的大廈還是建立在極限的基石

8、柯西(Cauchy為分析的發(fā)展提供了一種嚴(yán)密的語言,但是他并沒有解決微積分的全部問題。在19世紀(jì)的時候,仍然有著一些揮之不去的烏云。而其中最重要的一個沒有解決的是“函數(shù)是否可積的問題”。我們在現(xiàn)在的微積到的那種通過“無限分割區(qū)間,取矩陣面積和的極限”的積分,是大約在1850年由黎曼(Riemann提出的,叫做但是,什么函數(shù)存在黎曼積分呢(黎曼可積?數(shù)學(xué)家們很早就證明了,定義在閉區(qū)間內(nèi)的連續(xù)函數(shù)是黎曼可這樣的結(jié)果并不令人滿意,工程師們需要對分段連續(xù)函數(shù)的函數(shù)積分。實分析:在實數(shù)理論和測度理論上建立起現(xiàn)代分析在19世紀(jì)中后期,不連續(xù)函數(shù)的可積性問題一直是分析的重于定義在閉區(qū)間上的黎曼積分的研究發(fā)現(xiàn)

9、,可積性的關(guān)鍵在于“不連續(xù)的點足夠少”。只有有限處不連續(xù)的函可是很多有數(shù)學(xué)家們構(gòu)造出很多在無限處不連續(xù)的可積函數(shù)。顯然,在衡量點集大小的時候,有限和無限并不是標(biāo)準(zhǔn)。在探討“點集大小”這個問題的過程中,數(shù)學(xué)家發(fā)現(xiàn)實數(shù)軸這個他們曾經(jīng)以為已經(jīng)充分理解的東西他們沒有想到的特性。在極限思想的支持下,實數(shù)理論在這個時候被建立起來,它的標(biāo)志是對實數(shù)完備性進(jìn)行刻價的定理(確界定理,區(qū)間套定理,柯西收斂定理,Bolzano-Weierstrass Theorem和Heine-Borel Theorem等些定理明確表達(dá)出實數(shù)和有理數(shù)的根本區(qū)別:完備性(很不嚴(yán)格的說,就是對極限運算封閉。隨著對實數(shù)認(rèn)識何測量“點集大

10、小”的問題也取得了突破,勒貝格創(chuàng)造性地把關(guān)于集合的代數(shù),和Outer content(就是“外測雛形的概念結(jié)合起來,建立了測度理論(Measure Theory,并且進(jìn)一步建立了以測度為基礎(chǔ)的積分勒貝格Integral。在這個新的積分概念的支持下,可積性問題變得一目了然。上面說到的實數(shù)理論,測度理論和勒貝格積分,構(gòu)成了我們現(xiàn)在稱為實分析 (Real Analysis的數(shù)學(xué)分支,有些函數(shù)論。對于應(yīng)用科學(xué)來說,實分析似乎沒有古典微積分那么“實用”很難直接基于它得到什么算法。而且的某些“難題”比如處處不連續(xù)的函數(shù),或者處處連續(xù)而處處不可微的函數(shù)在工程師的眼中,并不現(xiàn)實認(rèn)為,它并不是一種純數(shù)學(xué)概念游戲

11、,它的現(xiàn)實意義在于為許多現(xiàn)代的應(yīng)用數(shù)學(xué)分支提供堅實的基礎(chǔ)。下面,我條它的用處:1.黎曼可積的函數(shù)空間不是完備的,但是勒貝格可積的函數(shù)空間是完備的。簡單的說,一個黎曼可積的函的那個函數(shù)不一定是黎曼可積的,但是勒貝格可積的函數(shù)列必定收斂到一個勒貝格可積的函數(shù)。在泛函分近理論中,經(jīng)常需要討論“函數(shù)的極限”,或者“函數(shù)的級數(shù)”,如果用黎曼積分的概念,這種討論幾我們有時看一些paper中提到Lp函數(shù)空間,就是基于勒貝格積分。2.勒貝格積分是傅立葉變換(這東西在工程中到處都是的基礎(chǔ)。很多關(guān)于信號處理的初等教材,可能繞過分,直接講點面對實用的東西而不談它的數(shù)學(xué)基礎(chǔ),但是,對于深層次的研究問題特別是希望在理論

12、工作這并不是總能繞過去。3.在下面,我們還會看到,測度理論是現(xiàn)代概率論的基礎(chǔ)。拓?fù)鋵W(xué):分析從實數(shù)軸推廣到一般空間現(xiàn)代分析的抽象基礎(chǔ)隨著實數(shù)理論的建立,大家開始把極限和連續(xù)推的地方的分析。事實上,很多基于實數(shù)的概念和定理并不是實數(shù)特有的。很多特性可以抽象出來,推廣到更一般對于實數(shù)軸的推廣,促成了點集拓?fù)鋵W(xué)(Point- set Topology的建立。很多原來只存在于實數(shù)中的概念,被提取一般性的討論。在拓?fù)鋵W(xué)里面,有4個C構(gòu)成了它的核心:1.Closed set(閉集合。在現(xiàn)代的拓?fù)鋵W(xué)的公理化體系中,開集和閉集是最基本的概念。一切從此引申。是開區(qū)間和閉區(qū)間的推廣,它們的根本地位,并不是一開始就被

13、認(rèn)識到的。經(jīng)過相當(dāng)長的時間,人們才集的概念是連續(xù)性的基礎(chǔ),而閉集對極限運算封閉而極限正是分析的根基。2.Continuous function (連續(xù)函數(shù)。連續(xù)函數(shù)在微積分里面有個用epsilon-delta語言給出的定義,在的定義是“開集的原像是開集的函數(shù)”。第二個定義和第一個是等價的,只是用更抽象的語言進(jìn)行了改認(rèn)為,它的第三個(等價定義才從根本上揭示連續(xù)函數(shù)的本質(zhì)“連續(xù)函數(shù)是保持極限運算的函數(shù)”是數(shù)列x1, x2, x3, 的極限,那么如果 f 是連續(xù)函數(shù),那么 f(y 就是f(x1, f(x2, f(x3, 續(xù)函數(shù)的重要性,可以從別的分支學(xué)科中進(jìn)行類比。比如群論中,基礎(chǔ)的運算是“乘法”,

14、對于群,最重“同態(tài)映射”保持“乘法”的映射。在分析中,基礎(chǔ)運算是“極限”,因此連續(xù)函數(shù)在分析中的地映射在代數(shù)中的地位是相當(dāng)?shù)摹?.Connected set (連通集合。比它略為窄一點的概念叫(Path connected,就是集合中任意兩點都存在連可能是一般人理解的概念。一般意義下的連通概念稍微抽象一些。在我看來,連通性有兩個重要個是用于證明一般的中值定理(Intermediate Value Theorem,還有就是代數(shù)拓?fù)?拓?fù)淙赫摵屠钊赫撝?Fundamental Group的階。4.Compact set(緊集。Compactness似乎在初等微積分里面沒有專門出現(xiàn),不過有幾條實數(shù)上

15、的定理和它系的。比如,“有界數(shù)列必然存在收斂子列”用compactness的語言來說就是“實數(shù)空間中有的”。它在拓?fù)鋵W(xué)中的一般定義是一個聽上去比較抽象的東西“緊集的任意開覆蓋存在有限子覆蓋義在討論拓?fù)鋵W(xué)的定理時很方便,它在很多時候能幫助實現(xiàn)從無限到有限的轉(zhuǎn)換。對于分析來說,用得更另一種形式“緊集中的數(shù)列必存在收斂子列”它體現(xiàn)了分析中最重要的“極限”。Compactnes 中運用極廣,無法盡述。微積分中的兩個重要定理:極值定理(Extreme Value Theory,和一致收斂定Convergence Theorem就可以借助它推廣到一般的形式。從某種意義上說,點集拓?fù)鋵W(xué)可以看成是關(guān)于“極限”

16、的一般理論,它抽象于實數(shù)理論,它的概念成為幾乎所有科的通用語言,也是整個現(xiàn)代分析的根基所在。微分幾何:流形上的分析在拓?fù)淇臻g上引入微分結(jié)構(gòu)拓?fù)鋵W(xué)把極限的概念推廣到一般的拓?fù)淇臻g,但這不是故事的結(jié)束,而僅僅是開始。在微積分里面,極限之后我們有微分,求導(dǎo),積分。這些東西也可以推廣到拓?fù)淇臻g,在拓?fù)鋵W(xué)的基礎(chǔ)上建立起來這就是微分幾何。從教學(xué)上說,微分幾何的教材,有兩種不同的類型,一種是建立在古典微機(jī)分的基礎(chǔ)上的“古典微分幾何”,主要是關(guān)于二維和三維空間中的一些幾何量的計算,比如曲率。還有一種是建立在現(xiàn)代拓?fù)鋵W(xué)的基礎(chǔ)上,這里姑且稱為“現(xiàn)代微分幾何”它的核心概念就是“流形”(manifold就是在拓?fù)淇臻g

17、的基礎(chǔ)上加了一套可以進(jìn)行微分運算的結(jié)構(gòu)?，F(xiàn)代微分幾何是一門非常豐富的學(xué)科。比如一般流形上的微分的定義就比傳統(tǒng)的微分豐富,我自己就見過三種從不同角度給出的等價定義這一方面讓事情變得復(fù)雜一些,但是另外一個方面它給了同一個概念的不同理解,往往在解決問題時會引出不同的思路。除了推廣微積分的概念以外,還引入了很多新概念:tangent space, cotangent space, push forward, pull back, fibre bundle, flow, immersion, submersion 等等。近些年,流形在machine learning似乎相當(dāng)時髦。但是,坦率地說,要弄懂一

18、些基本的流形算法,甚至“創(chuàng)造”一些流形算法,并不需要多少微分幾何的基礎(chǔ)。對我的研究來說,微分幾何最重要的應(yīng)用就是建立在它之上的另外一個分支:李群和李代數(shù)這是數(shù)學(xué)中兩大家族分析和代數(shù)的一個漂亮的聯(lián)姻。分析和代數(shù)的另外一處重要的結(jié)合則是泛函分析,以及在其基礎(chǔ)上的調(diào)和分析。代數(shù):一個抽象的世界關(guān)于抽象代數(shù)回過頭來,再說說另一個大家族代數(shù)。如果說古典微積分是分析的入門,那么現(xiàn)代代數(shù)的入門點則是兩個部分:線性代數(shù)(linear algebra和基礎(chǔ)的抽象代數(shù)(abstract algebra據(jù)說國內(nèi)一些教材稱之為近世代數(shù)。代數(shù)名稱上研究的似乎是數(shù),在我看來,主要研究的是運算規(guī)則。一門代數(shù),其實都是從某種

19、具體的運算體系中抽象出一些基本規(guī)則,建立一個公理體系,然后在這基礎(chǔ)上進(jìn)行研究。一個集合再加上一套運算規(guī)則,就構(gòu)成一個代數(shù)結(jié)構(gòu)。在主要的代數(shù)結(jié)構(gòu)中,最簡單的是群(Group它只有一種符合結(jié)合率的可逆運算,通常叫“乘法”。如果,這種運算也符合交換率,那么就叫阿貝爾群(Abelian Group。如果有兩種運算,一種叫加法,滿足交換率和結(jié)合率,一種叫乘法,滿足結(jié)合率,它們之間滿足分配率,這種豐富一點的結(jié)構(gòu)叫做環(huán)(Ring,如果環(huán)上的乘法滿足交換率,就叫可交換環(huán)(Commutative Ring。如果,一個環(huán)的加法和乘法具有了所有的良好性質(zhì),那么就成為一個域(Field?；谟?我們可以建立一種新的結(jié)

20、構(gòu),能進(jìn)行加法和數(shù)乘,就構(gòu)成了線性代數(shù)(Linear algebra。代數(shù)的好處在于,它只關(guān)心運算規(guī)則的演繹,而不管參與運算的對象。只要定義恰當(dāng),完全可以讓一只貓乘一只狗得到一頭豬:-?；诔橄筮\算規(guī)則得到的所有定理完全可以運用于上面說的貓狗乘法。當(dāng)然,在實際運用中,我們還是希望用它干點有意義的事情。學(xué)過抽象代數(shù)的都知道,基于幾條最簡單的規(guī)則,比如結(jié)合律,就能導(dǎo)出非常多的重要結(jié)論這些結(jié)論可以應(yīng)用到一切滿足這些簡單規(guī)則的地方這是代數(shù)的威力所在,我們不再需要為每一個具體領(lǐng)域重新建立這么多的定理。抽象代數(shù)有在一些基礎(chǔ)定理的基礎(chǔ)上,進(jìn)一步的研究往往分為兩個流派:研究有限的離散代數(shù)結(jié)構(gòu)(比如有限群和有限

21、域,這部分內(nèi)容通常用于數(shù)論,編碼,和整數(shù)方程這些地方;另外一個流派是研究連續(xù)的代數(shù)結(jié)構(gòu),通常和拓?fù)渑c分析聯(lián)系在一起(比如拓?fù)淙?李群。我在學(xué)習(xí)中的focus主要是后者。線性代數(shù):“線性”的基礎(chǔ)地位對于做Learning, vision, optimization或者statistics的人來說,接觸最多的莫過于線性代數(shù)這也是我們在大學(xué)低年級就開始學(xué)習(xí)的。線性代數(shù),包括建立在它基礎(chǔ)上的各種學(xué)科,最核心的兩個概念是向量空間和線性變換。線性變換在線性代數(shù)中的地位,和連續(xù)函數(shù)在分析中的地位,或者同態(tài)映射在群論中的地位是一樣的它是保持基礎(chǔ)運算(加法和數(shù)乘的映射。在learning中有這樣的一種傾向鄙視線

22、性算法,標(biāo)榜非線性。也許在很多場合下面,我們需要非線性來描述復(fù)雜的現(xiàn)實世界,但是無論什么時候,線性都是具有根本地位的。沒有線性的基礎(chǔ),就不可能存在所謂的非線性推廣。我們常用的非線性化的方法包括流形和kernelization,這兩者都需要在某個階段回歸線性。流形需要在每個局部建立和線性空間的映射,通過把許多局部線性空間連接起來形成非線性;而kernerlization則是通過置換內(nèi)積結(jié)構(gòu)把原線性空間“非線性”地映射到另外一個線性空間,再進(jìn)行線性空間中所能進(jìn)行的操作。而在分析領(lǐng)域,線性的運算更是無處不在,微分,積分,傅立葉變換,拉普拉斯變換,還有統(tǒng)計中的均值,通通都是線性的。泛函分析:從有限維向

23、無限維邁進(jìn)在大學(xué)中學(xué)習(xí)的線性代數(shù),它的簡單主要因為它是在有限維空間進(jìn)行的,因為有限,我們無須借助于太多的分析手段。但是,有限維空間并不能有效地表達(dá)我們的世界最重要的,函數(shù)構(gòu)成了線性空間,可是它是無限維的。對函數(shù)進(jìn)行的最重要的運算都在無限維空間進(jìn)行,比如傅立葉變換和小波分析。這表明了,為了研究函數(shù)(或者說連續(xù)信號,我們需要打破有限維空間的束縛,走入無限維的函數(shù)空間這里面的第一步,就是泛函分析。泛函分析(Functional Analysis是研究的是一般的線性空間,包括有限維和無限維,但是很多東西在有限維下顯得很trivial,真正的困難往往在無限維的時候出現(xiàn)。在泛函分析中,空間中的元素還是叫向

24、量,但是線性變換通常會叫作“算子”(operator。除了加法和數(shù)乘,這里進(jìn)一步加入了一些運算,比如加入范數(shù)去表達(dá)“向量的長度”或者“元素的距離”,這樣的空間叫做“賦范線性空間”(normed space,再進(jìn)一步的,可以加入內(nèi)積運算,這樣的空間叫“內(nèi)積空間”(Inner product space。大家發(fā)現(xiàn),當(dāng)進(jìn)入無限維的時間時,很多老的觀念不再適用了,一切都需要重新審視。1.所有的有限維空間都是完備的(柯西序列收斂,很多無限維空間卻是不完備的(比如閉區(qū)間上的連續(xù)函數(shù)。在這里,完備的空間有特殊的名稱:完備的賦范空間叫巴拿赫空間(Banach space,完備的內(nèi)積空間叫希爾伯特空間(Hilb

25、ert space。2.在有限維空間中空間和它的對偶空間的是完全同構(gòu)的,而在無限維空間中,它們存在微妙的差別。3.在有限維空間中,所有線性變換(矩陣都是有界變換,而在無限維,很多算子是無界的(unbounded,最重要的一個例子是給函數(shù)求導(dǎo)。4.在有限維空間中,一切有界閉集都是緊的,比如單位球。而在所有的無限維空間中,單位球都不是緊的也就是說,可以在單位球內(nèi)撒入無限個點,而不出現(xiàn)一個極限點。5.在有限維空間中,線性變換(矩陣的譜相當(dāng)于全部的特征值,在無限維空間中,算子的譜的結(jié)構(gòu)比這個復(fù)雜得多,除了特征值組成的點譜(point spectrum,還有approximate point spect

26、rum和residual spectrum。雖然復(fù)雜,但是,也更為有趣。由此形成了一個相當(dāng)豐富的分支算子譜論(Spectrum theory。6.在有限維空間中,任何一點對任何一個子空間總存在投影,而在無限維空間中,這就不一定了,具有這種良好特性的子空間有個專門的名稱切比雪夫空間(Chebyshev space。這個概念是現(xiàn)代逼近理論的基礎(chǔ)(approximation theory。函數(shù)空間的逼近理論在Learning中應(yīng)該有著非常重要的作用,但是現(xiàn)在看到的運用現(xiàn)代逼近理論的文章并不多。繼續(xù)往前:巴拿赫代數(shù),調(diào)和分析,和李代數(shù)基本的泛函分析繼續(xù)往前走,有兩個重要的方向。第一個是巴拿赫代數(shù)(Ba

27、nach Algebra,它就是在巴拿赫空間(完備的內(nèi)積空間的基礎(chǔ)上引入乘法（這不同于數(shù)乘）。比如矩陣它除了加法和數(shù)乘，還能做乘法這 就構(gòu)成了一 個巴拿赫代數(shù)。除此以外，值域完備的有界算子，平方可積函數(shù)，都能構(gòu)成巴 拿赫代數(shù)。巴拿赫代數(shù)是泛函分析的抽象，很多對于有界算子導(dǎo)出的結(jié)論，還有算子譜 論 中的許多定理，它們不僅僅對算子適用，它們其實可以從一般的巴拿赫代數(shù)中得到，并且應(yīng) 用在算子以外的地方。巴拿赫代數(shù)讓你站在更高的高度看待泛函分析中 的結(jié)論，但是，我 對它在實際問題中能比泛函分析能多帶來什么東西還有待思考。 最能把泛函分析和實際問題在一起的另一個重要方向是調(diào)和分析 (Harmonic Analysis。我 在這里列舉它的兩個個子領(lǐng)域，傅立葉分析和小波分析，我想這已經(jīng)能說明它的實際價值。 它研究的最核心的問題就是怎么用基函數(shù)去逼近 和構(gòu)造一個函數(shù)。它研究的是函數(shù)空間的 問題，不可避免的必須以泛函分析為基礎(chǔ)。除了傅立葉和小波，調(diào)和分析還研究一些很有用 的函數(shù)空間，比如 Hardy space，Sobolev space，這些空間有很多很好的性質(zhì)，在工程中和 物理學(xué)中都有很重要的應(yīng)用。對于 visi