編者按：AI的核心是算法，扒開(kāi)來(lái)看就是代數(shù)、計(jì)算數(shù)學(xué)、概率論、統(tǒng)計(jì)學(xué)等各種數(shù)學(xué)理論的結(jié)合。因此，對(duì)于研究人工智能來(lái)說(shuō)，數(shù)學(xué)基礎(chǔ)是第一個(gè)、也是最大的門(mén)檻。

　　商湯科技聯(lián)合創(chuàng)始人，港中文-商湯聯(lián)合實(shí)驗(yàn)室主任，林達(dá)華教授在回顧自己的研究歷程時(shí)，感觸頗深，作為2012年從美國(guó)麻省理工學(xué)院(MIT)計(jì)算機(jī)科學(xué)博士畢業(yè)的計(jì)算機(jī)系學(xué)生，他卻不經(jīng)意間深入了數(shù)學(xué)的旅程。本文是林達(dá)華教授讀書(shū)期間的自述文章，他分享了數(shù)學(xué)如何一步步從初級(jí)向高級(jí)發(fā)展，更高級(jí)別的數(shù)學(xué)對(duì)于具體應(yīng)用究竟有何好處，以深入淺出的闡述方式讓我們感受到數(shù)學(xué)的迷人魅力。

　　如下是林達(dá)華教授的自述：

　　為什么要深入數(shù)學(xué)的世界

　　作為計(jì)算機(jī)的學(xué)生，我沒(méi)有任何企圖要成為一個(gè)數(shù)學(xué)家。我學(xué)習(xí)數(shù)學(xué)的目的，是要想爬上巨人的肩膀，希望站在更高的高度，能把我自己研究的東西看得更深廣一些。說(shuō)起來(lái)，我在剛來(lái)這個(gè)學(xué)校(MIT)的時(shí)候，并沒(méi)有預(yù)料到我將會(huì)有一個(gè)深入數(shù)學(xué)的旅程。

　　我的導(dǎo)師最初希望我去做的題目，是對(duì)外觀(Appearance)和運(yùn)動(dòng)(Motion)建立一個(gè)統(tǒng)一的模型。這個(gè)題目在當(dāng)今計(jì)算機(jī)視覺(jué)百花齊放的世界中并沒(méi)有任何特別的地方。事實(shí)上，使用各種概率圖模型(Graphical Model)把不同方面聯(lián)合在一起的框架在近年的論文中并不少見(jiàn)。

　　概率圖模型是對(duì)復(fù)雜現(xiàn)象建模的有力工具，但是，我認(rèn)為它不是萬(wàn)能藥，它并不能取代對(duì)于所研究問(wèn)題的深入鉆研。如果統(tǒng)計(jì)學(xué)習(xí)包治百病，那么很多“下游”的學(xué)科也就沒(méi)有存在的必要了。事實(shí)上，開(kāi)始的時(shí)候，我也是和這個(gè)領(lǐng)域的很多人一樣，想著去做一個(gè)概率圖——我的導(dǎo)師指出，這樣的做法只是重復(fù)一些標(biāo)準(zhǔn)的流程，并沒(méi)有很大的價(jià)值。

　　

　　經(jīng)過(guò)很長(zhǎng)時(shí)間的反復(fù)，另外一個(gè)路徑慢慢被確立下來(lái)——我們相信，一個(gè)圖像是通過(guò)大量“原子”的某種空間分布構(gòu)成的，原子群的運(yùn)動(dòng)形成了動(dòng)態(tài)的可視過(guò)程。微觀意義下的單個(gè)原子運(yùn)動(dòng)，和宏觀意義下的整體分布的變換存在著深刻的聯(lián)系——這需要我們?nèi)グl(fā)掘。

　　在深入探索這個(gè)題目的過(guò)程中，遇到了很多很多的問(wèn)題，如何描述一個(gè)一般的運(yùn)動(dòng)過(guò)程，如何建立一個(gè)穩(wěn)定并且廣泛適用的原子表達(dá)，如何刻畫(huà)微觀運(yùn)動(dòng)和宏觀分布變換的聯(lián)系，還有很多。在這個(gè)過(guò)程中，我發(fā)現(xiàn)了兩個(gè)事情：

　　我原有的數(shù)學(xué)基礎(chǔ)已經(jīng)遠(yuǎn)遠(yuǎn)不能適應(yīng)我對(duì)這些問(wèn)題的深入研究。

　　在數(shù)學(xué)中，有很多思想和工具，是非常適合解決這些問(wèn)題的，只是沒(méi)有被很多的應(yīng)用科學(xué)的研究者重視。

　　于是，我決心開(kāi)始深入數(shù)學(xué)這個(gè)浩瀚大海，希望在我再次走出來(lái)的時(shí)候，我已經(jīng)有了更強(qiáng)大的武器去面對(duì)這些問(wèn)題和挑戰(zhàn)。我的游歷并沒(méi)有結(jié)束，我的視野相比于這個(gè)博大精深的世界依舊顯得非常狹窄。在這篇文章里，我希望基于我有限的認(rèn)識(shí)，談一談在我的眼中，數(shù)學(xué)如何一步步從初級(jí)向高級(jí)發(fā)展，更高級(jí)別的數(shù)學(xué)對(duì)于具體應(yīng)用究竟有何好處。

　　集合論：現(xiàn)代數(shù)學(xué)的共同基礎(chǔ)

　　現(xiàn)代數(shù)學(xué)有數(shù)不清的分支，但是，它們都有一個(gè)共同的基礎(chǔ)——集合論——因?yàn)樗?，?shù)學(xué)這個(gè)龐大的家族有個(gè)共同的語(yǔ)言。集合論中有一些最基本的概念：集合(Set)，關(guān)系(Relation)，函數(shù)(Function)，等價(jià) (Quivalence)，是在其它數(shù)學(xué)分支的語(yǔ)言中幾乎必然存在的。

　　對(duì)于這些簡(jiǎn)單概念的理解，是進(jìn)一步學(xué)習(xí)別的數(shù)學(xué)的基礎(chǔ)。我相信，理工科大學(xué)生對(duì)于這些都不會(huì)陌生。不過(guò)，有一個(gè)很重要的知識(shí)就不見(jiàn)得那么家喻戶曉了——那就是“選擇公理” (Axiom of Choice)。這個(gè)公理的意思是“任意的一群非空集合，一定可以從每個(gè)集合中各拿出一個(gè)元素。”——似乎是顯然得不能再顯然的命題。

　　

　　這個(gè)貌似平常的公理卻能演繹出一些比較奇怪的結(jié)論，比如巴拿赫-塔斯基分球定理 (Banach–Tarski paradox)——“一個(gè)球，能分成五個(gè)部分，對(duì)它們進(jìn)行一系列剛性變換(平移旋轉(zhuǎn))后，能組合成兩個(gè)一樣大小的球”。

　　正因?yàn)檫@些完全有悖常識(shí)的結(jié)論，導(dǎo)致數(shù)學(xué)界曾經(jīng)在相當(dāng)長(zhǎng)時(shí)間里對(duì)于是否接受它有著激烈爭(zhēng)論?，F(xiàn)在主流數(shù)學(xué)家對(duì)于它應(yīng)該是基本接受的，因?yàn)楹芏鄶?shù)學(xué)分支的重要定理都依賴(lài)于它。在我們后面要說(shuō)到的學(xué)科里面，下面的定理依賴(lài)于選擇公理：

　　拓?fù)鋵W(xué)：Baire Category Theorem

　　實(shí)分析(測(cè)度理論)：Lebesgue 不可測(cè)集的存在性

　　泛函分析四個(gè)主要定理：Hahn-Banach Extension Theorem, Banach-SteinhausTheorem (Uniform boundedness Principle), Open Mapping Theorem, Closed Graph Theorem

　　在集合論的基礎(chǔ)上，現(xiàn)代數(shù)學(xué)有兩大家族：分析(Analysis)和代數(shù)(Algebra)。至于其它的，比如幾何和概率論，在古典數(shù)學(xué)時(shí)代，它們是和代數(shù)并列的，但是它們的現(xiàn)代版本則基本是建立在分析或者代數(shù)的基礎(chǔ)上，因此從現(xiàn)代意義說(shuō)，它們和分析與代數(shù)并不是平行的關(guān)系。

　　分析：在極限基礎(chǔ)上建立的宏偉大廈

　　1.微積分：分析的古典時(shí)代 —— 從牛頓到柯西

　　先說(shuō)說(shuō)分析(Analysis)吧，它是從微積分(Caculus)發(fā)展起來(lái)的——這也是有些微積分教材名字叫“數(shù)學(xué)分析”的原因。不過(guò)，分析的范疇遠(yuǎn)不只是這些，我們?cè)诖髮W(xué)一年級(jí)學(xué)習(xí)的微積分只能算是對(duì)古典分析的入門(mén)。

　　分析研究的對(duì)象很多，包括導(dǎo)數(shù)(Derivatives)，積分(Integral)，微分方程(Differential Equation)，還有級(jí)數(shù)(Infinite Series)——這些基本的概念，在初等的微積分里面都有介紹。如果說(shuō)有一個(gè)思想貫穿其中，那就是極限——這是整個(gè)分析(不僅僅是微積分)的靈魂。

　　一個(gè)很多人都聽(tīng)說(shuō)過(guò)的故事，就是牛頓(Newton)和萊布尼茨 (Leibniz)關(guān)于微積分發(fā)明權(quán)的爭(zhēng)論。事實(shí)上，在他們的時(shí)代已經(jīng)有很多微積分的工具開(kāi)始運(yùn)用在科學(xué)和工程之中，但是微積分的基礎(chǔ)并沒(méi)有真正建立。

　　那個(gè)長(zhǎng)時(shí)間一直解釋不清楚的“無(wú)窮小量”的幽靈，困擾了數(shù)學(xué)界一百多年的時(shí)間——這就是“第二次數(shù)學(xué)危機(jī)”。

　　直到柯西(Cauchy)用極限的觀點(diǎn)重新建立了微積分的基本概念，這門(mén)學(xué)科才開(kāi)始有了一個(gè)比較堅(jiān)實(shí)的基礎(chǔ)。直到今天，整個(gè)分析的大廈還是建立在極限的基石之上。

　　柯西為分析的發(fā)展提供了一種嚴(yán)密的語(yǔ)言，但是他并沒(méi)有解決微積分的全部問(wèn)題。在19世紀(jì)的時(shí)候，分析的世界仍然有著一些揮之不去的烏云。而其中最重要的一個(gè)沒(méi)有解決的是“函數(shù)是否可積的問(wèn)題”。

　　我們?cè)诂F(xiàn)在的微積分課本中學(xué)到的那種通過(guò)“無(wú)限分割區(qū)間，取矩陣面積和的極限”的積分，是大約在1854年由黎曼(Riemann)提出的，叫做黎曼積分。但是，什么函數(shù)存在黎曼積分(黎曼可積)呢?

　　數(shù)學(xué)家們很早就證明了，定義在閉區(qū)間內(nèi)的連續(xù)函數(shù)是黎曼可積的?？墒?，這樣的結(jié)果并不令人滿意，并不是所有函數(shù)都符合這樣的條件。

　　2.實(shí)分析：在實(shí)數(shù)理論和測(cè)度理論上建立起現(xiàn)代分析

　　在19世紀(jì)中后期，不連續(xù)函數(shù)的可積性問(wèn)題一直是分析的重要課題。對(duì)于定義在閉區(qū)間上的黎曼積分的研究發(fā)現(xiàn)，可積性的關(guān)鍵在于“不連續(xù)的點(diǎn)足夠少”。只有有限處不連續(xù)的函數(shù)是可積的，可是有很多數(shù)學(xué)家們構(gòu)造出在無(wú)限處不連續(xù)的可積函數(shù)。

　　顯然，在衡量點(diǎn)集大小的時(shí)候，有限和無(wú)限并不是一種合適的標(biāo)準(zhǔn)。

　　在探討“點(diǎn)集大小”這個(gè)問(wèn)題的過(guò)程中，數(shù)學(xué)家發(fā)現(xiàn)實(shí)數(shù)軸——這個(gè)他們?cè)?jīng)以為已經(jīng)充分理解的東西——有著許多他們沒(méi)有想到的特性。

　　在極限思想的支持下，實(shí)數(shù)理論在這個(gè)時(shí)候被建立起來(lái)，它的標(biāo)志是對(duì)實(shí)數(shù)完備性進(jìn)行刻畫(huà)的幾條等價(jià)的定理(確界定理，區(qū)間套定理，柯西收斂定理，Bolzano-Weierstrass Theorem和Heine-Borel Theorem等等)——這些定理明確表達(dá)出實(shí)數(shù)和有理數(shù)的根本區(qū)別：完備性(很不嚴(yán)格的說(shuō)，就是對(duì)極限運(yùn)算封閉)。

　　隨著對(duì)實(shí)數(shù)認(rèn)識(shí)的深入，如何測(cè)量“點(diǎn)集大小”的問(wèn)題也取得了突破，勒貝格創(chuàng)造性地把關(guān)于集合的代數(shù)，和Outer content(就是“外測(cè)度”的一個(gè)雛形)的概念結(jié)合起來(lái)，建立了測(cè)度理論(Measure Theory)，并且進(jìn)一步建立了以測(cè)度為基礎(chǔ)的積分——勒貝格積分(Lebesgue Integral)。在這個(gè)新的積分概念的支持下，可積性問(wèn)題變得一目了然。

　　上面說(shuō)到的實(shí)數(shù)理論，測(cè)度理論和勒貝格積分，構(gòu)成了我們現(xiàn)在稱(chēng)為實(shí)分析 (Real Analysis)的數(shù)學(xué)分支，有些書(shū)也叫實(shí)變函數(shù)論。對(duì)于應(yīng)用科學(xué)來(lái)說(shuō)，實(shí)分析似乎沒(méi)有古典微積分那么“實(shí)用”——很難直接基于它得到什么算法。而且，它要解決的某些“難題”——比如處處不連續(xù)的函數(shù)，或者處處連續(xù)而處處不可微的函數(shù)——在工程師的眼中，并不現(xiàn)實(shí)。

　　但是，我認(rèn)為，它并不是一種純數(shù)學(xué)概念游戲，它的現(xiàn)實(shí)意義在于為許多現(xiàn)代的應(yīng)用數(shù)學(xué)分支提供堅(jiān)實(shí)的基礎(chǔ)。下面，我僅僅列舉幾條它的用處：

　　黎曼可積的函數(shù)空間不是完備的，但是勒貝格可積的函數(shù)空間是完備的。簡(jiǎn)單的說(shuō)，一個(gè)黎曼可積的函數(shù)列收斂到的那個(gè)函數(shù)不一定是黎曼可積的，但是勒貝格可積的函數(shù)列必定收斂到一個(gè)勒貝格可積的函數(shù)。

　　在泛函分析，還有逼近理論中，經(jīng)常需要討論“函數(shù)的極限”，或者“函數(shù)的級(jí)數(shù)”，如果用黎曼積分的概念，這種討論幾乎不可想像。我們有時(shí)看一些Paper中提到L^p函數(shù)空間，就是基于勒貝格積分。

　　勒貝格積分是傅立葉變換(這東西在工程中到處都是)的基礎(chǔ)。很多關(guān)于信號(hào)處理的初等教材，可能繞過(guò)了勒貝格積分，直接講點(diǎn)面對(duì)實(shí)用的東西而不談它的數(shù)學(xué)基礎(chǔ)，但是，對(duì)于深層次的研究問(wèn)題——特別是希望在理論中能做一些工作——這并不是總能繞過(guò)去。

　　在下面，我們還會(huì)看到，測(cè)度理論是現(xiàn)代概率論的基礎(chǔ)。

　　現(xiàn)代概率論：在現(xiàn)代分析基礎(chǔ)上再生

　　自從柯?tīng)柲宸?Kolmogorov)在上世紀(jì)30年代把測(cè)度引入概率論以來(lái)，測(cè)度理論就成為現(xiàn)代概率論的基礎(chǔ)。在這里，概率定義為測(cè)度，隨機(jī)變量定義為可測(cè)函數(shù)，條件隨機(jī)變量定義為可測(cè)函數(shù)在某個(gè)函數(shù)空間的投影，均值則是可測(cè)函數(shù)對(duì)于概率測(cè)度的積分。

　　值得注意的是，很多的現(xiàn)代觀點(diǎn)，開(kāi)始以泛函分析的思路看待概率論的基礎(chǔ)概念，隨機(jī)變量構(gòu)成了一個(gè)向量空間，而帶符號(hào)概率測(cè)度則構(gòu)成了它的對(duì)偶空間，其中一方施加于對(duì)方就形成均值。角度雖然不一樣，不過(guò)這兩種方式殊途同歸，形成的基礎(chǔ)是等價(jià)的。

　　在現(xiàn)代概率論的基礎(chǔ)上，許多傳統(tǒng)的分支得到了極大豐富，最有代表性的包括鞅論(Martingale)——由研究賭博引發(fā)的理論，現(xiàn)在主要用于金融(這里可以看出賭博和金融的理論聯(lián)系，:-P)，布朗運(yùn)動(dòng)(Brownian Motion)——連續(xù)隨機(jī)過(guò)程的基礎(chǔ)，以及在此基礎(chǔ)上建立的隨機(jī)分析(Stochastic Calculus)，包括隨機(jī)積分(對(duì)隨機(jī)過(guò)程的路徑進(jìn)行積分，其中比較有代表性的叫伊藤積分(Ito Integral))，和隨機(jī)微分方程。

　　對(duì)于連續(xù)幾何運(yùn)用建立概率模型以及對(duì)分布變換的研究離不開(kāi)這些方面的知識(shí)。

　　3.拓?fù)鋵W(xué)：分析從實(shí)數(shù)軸推廣到一般空間——現(xiàn)代分析的抽象基礎(chǔ)

　　隨著實(shí)數(shù)理論的建立，大家開(kāi)始把極限和連續(xù)推廣到更一般的地方的分析。事實(shí)上，很多基于實(shí)數(shù)的概念和定理并不是實(shí)數(shù)特有的。很多特性可以抽象出來(lái)，推廣到更一般的空間里面。

　　對(duì)于實(shí)數(shù)軸的推廣，促成了點(diǎn)集拓?fù)鋵W(xué)(Point Set Topology)的建立。很多原來(lái)只存在于實(shí)數(shù)中的概念，被提取出來(lái)，進(jìn)行一般性的討論。在拓?fù)鋵W(xué)里面，有4個(gè)C構(gòu)成了它的核心：

　　(1) 閉集合 (Closed Set)：

　　在現(xiàn)代拓?fù)鋵W(xué)的公理化體系中，開(kāi)集和閉集是最基本的概念。一切從此引申。這兩個(gè)概念是開(kāi)區(qū)間和閉區(qū)間的推廣，它們的根本地位，并不是一開(kāi)始就被認(rèn)識(shí)到的。經(jīng)過(guò)相當(dāng)長(zhǎng)的時(shí)間，人們才認(rèn)識(shí)到：開(kāi)集的概念是連續(xù)性的基礎(chǔ)，而閉集對(duì)極限運(yùn)算封閉——而極限正是分析的根基。

　　(2) 連續(xù)函數(shù) (Continuous Function)：

　　連續(xù)函數(shù)在微積分里面有個(gè)用Epsilon-Delta語(yǔ)言給出的定義，在拓?fù)鋵W(xué)中它的定義是“開(kāi)集的原像是開(kāi)集的函數(shù)”。后者和前者是等價(jià)的，只是用更抽象的語(yǔ)言進(jìn)行了改寫(xiě)。我個(gè)人認(rèn)為，它的第三個(gè)(等價(jià))定義才從根本上揭示連續(xù)函數(shù)的本質(zhì)——“連續(xù)函數(shù)是保持極限運(yùn)算的函數(shù)” ——比如y是數(shù)列x1, x2, x3, … 的極限， 那么如果f是連續(xù)函數(shù)，那么f(y)就是f(x1),f(x2), f(x3), …的極限。

　　連續(xù)函數(shù)的重要性，可以從別的分支學(xué)科中進(jìn)行類(lèi)比。比如群論中，基礎(chǔ)的運(yùn)算是“乘法”，對(duì)于群，最重要的映射叫“同態(tài)映射”——保持“乘法”的映射。在分析中，基礎(chǔ)運(yùn)算是“極限”，因此連續(xù)函數(shù)在分析中的地位，和同態(tài)映射在代數(shù)中的地位是相當(dāng)?shù)摹?/p>

　　(3)連通空間(Connected Space)：

　　在拓?fù)鋵W(xué)上，連通空間(Connected Space)是定義為“一個(gè)不能被分解為兩個(gè)不想交的非空開(kāi)集的空間”。比它略為窄一點(diǎn)，但是更通俗易懂的概念叫(Path Connected)，就是空間中任意兩點(diǎn)都存在連續(xù)路徑相連。連通性有兩個(gè)重要的用場(chǎng)：一個(gè)是用于證明一般的中值定理(Intermediate Value Theorem)，還有就是代數(shù)拓?fù)?，拓?fù)淙赫摵屠钊赫撝杏懻摳救?Fundamental Group)的階。

　　(4) 緊集 (Compact Set):

　　Compactness似乎在初等微積分里面沒(méi)有專(zhuān)門(mén)出現(xiàn)，不過(guò)有幾條實(shí)數(shù)上的定理和它其實(shí)是有關(guān)系的。比如，“有界數(shù)列必然存在收斂子列”——用Compactness的語(yǔ)言來(lái)說(shuō)就是——“實(shí)數(shù)空間中有界閉集是緊的”。它在拓?fù)鋵W(xué)中的一般定義是一個(gè)聽(tīng)上去比較抽象的東西——“緊集的任意開(kāi)覆蓋存在有限子覆蓋”。

　　這個(gè)定義在討論拓?fù)鋵W(xué)的定理時(shí)很方便，它在很多時(shí)候能幫助實(shí)現(xiàn)從無(wú)限到有限的轉(zhuǎn)換。對(duì)于分析來(lái)說(shuō)，用得更多的是它的另一種形式 ——“緊集中的數(shù)列必存在收斂子列”——它體現(xiàn)了分析中最重要的“極限”。

　　Compactness在現(xiàn)代分析中運(yùn)用極廣，無(wú)法盡述。微積分中的兩個(gè)重要定理：極值定理(Extreme Value Theory)，和一致收斂定理(Uniform Convergence Theorem)就可以借助它推廣到一般的形式。從某種意義上說(shuō)，點(diǎn)集拓?fù)鋵W(xué)可以看成是關(guān)于“極限”的一般理論，它抽象于實(shí)數(shù)理論，它的概念成為幾乎所有現(xiàn)代分析學(xué)科的通用語(yǔ)言，也是整個(gè)現(xiàn)代分析的根基所在。

　　

　　4.微分幾何：流形上的分析

　　拓?fù)鋵W(xué)把極限的概念推廣到一般的拓?fù)淇臻g，但這不是故事的結(jié)束，而僅僅是開(kāi)始。通過(guò)在更一般的拓?fù)淇臻g和標(biāo)準(zhǔn)的歐幾里得空間建立局部化的橋梁，一個(gè)現(xiàn)代數(shù)學(xué)中非常重要的數(shù)學(xué)分支——微分幾何(Differential Geometry)建立起來(lái)了。

　　從教學(xué)上說(shuō)，微分幾何的教材，有兩種不同的類(lèi)型，一種是建立在古典微機(jī)分的基礎(chǔ)上的“古典微分幾何”，主要是關(guān)于二維和三維空間中的一些幾何量的計(jì)算，比如曲率。

　　還有一種是建立在現(xiàn)代拓?fù)鋵W(xué)的基礎(chǔ)上，這里姑且稱(chēng)為“現(xiàn)代微分幾何”——它的核心概念就是“流形”(Manifold)。流形就是一種具有局部歐氏空間特性(每一個(gè)鄰域都和歐氏空間的一個(gè)開(kāi)集同胚)的特殊拓?fù)淇臻g。通過(guò)局部和歐氏空間的同胚映射(Homeomorphism)，我們可以在流形上建立微分運(yùn)算。

　　現(xiàn)代微分幾何是一門(mén)非常豐富的學(xué)科。比如一般流形上的微分的定義就比傳統(tǒng)的微分豐富，我自己就見(jiàn)過(guò)三種從不同角度給出的等價(jià)定義——這一方面讓事情變得更為復(fù)雜，但是另外一個(gè)方面它給了同一個(gè)概念的不同理解，往往在解決問(wèn)題時(shí)會(huì)引出不同的思路。除了推廣微積分的概念以外，還引入了很多新概念：Tangent Space,Cotangent Space,Push Forward,Pull Back,Fibre bundle,Flow,Immersion,Submersion等等。

　　曾經(jīng)有一段時(shí)間流形(Manifold)在機(jī)器學(xué)習(xí)領(lǐng)域相當(dāng)時(shí)髦。但是，坦率地說(shuō)，要弄懂一些基本的流形算法，甚至“創(chuàng)造”一些流形算法，并不需要多少微分幾何的基礎(chǔ)。

　　對(duì)我的研究來(lái)說(shuō)，微分幾何最重要的應(yīng)用就是建立在它之上的另外一個(gè)分支：李群和李代數(shù)——這是數(shù)學(xué)中兩大家族分析和代數(shù)的一個(gè)漂亮的聯(lián)姻。分析和代數(shù)的另外一處重要的結(jié)合則是泛函分析，以及在其基礎(chǔ)上的調(diào)和分析。

量化金融分析師(簡(jiǎn)稱(chēng)AQF ，Analyst of Quantitative Finance)由量化金融標(biāo)準(zhǔn)委員會(huì)(Standard Committee of Quantitative Finance，SCQF)主考并頒證，是代表量化金融領(lǐng)域的專(zhuān)業(yè)水平證書(shū)。 >>>點(diǎn)擊咨詢AQF證書(shū)含金量

　　

課程適合人群：

　　金融工程/數(shù)學(xué)專(zhuān)業(yè)背景的同學(xué)/工作人士，希望進(jìn)一步學(xué)習(xí)Python編程以及在量化投資的實(shí)戰(zhàn)應(yīng)用；

　　非金融工程專(zhuān)業(yè)背景的同學(xué)/工作人士，希望迅速成為寬客；

　　金融相關(guān)人員，希望學(xué)習(xí)如何系統(tǒng)的做量化策略；

　　個(gè)人投資者，希望系統(tǒng)學(xué)習(xí)掌握量化投資相關(guān)的實(shí)務(wù)技能，從模型開(kāi)發(fā)，回測(cè)，策略改進(jìn)，搭建穩(wěn)定的量化交易系統(tǒng)。>>>點(diǎn)擊咨詢AQF課程相關(guān)問(wèn)題

（點(diǎn)擊上圖了解課程詳情）

　　量化金融分析師AQF核心課程體系：

　　1、《量化投資基礎(chǔ)》

　　主要涵蓋了量化投資領(lǐng)域的必備知識(shí)，包括：基本面分析、技術(shù)分析、數(shù)量分析、固定收益、資產(chǎn)組合管理、權(quán)益、另類(lèi)投資等內(nèi)容。

　　2、《Python語(yǔ)言編程基礎(chǔ)》

　　包含了Python環(huán)境搭建、基礎(chǔ)語(yǔ)法、變量類(lèi)型、基本函數(shù)、基本語(yǔ)句、第三方庫(kù)、金融財(cái)務(wù)實(shí)例等內(nèi)容。旨在為金融財(cái)經(jīng)人提供最需要的編程方法。

　　3、《基于Python的經(jīng)典量化投資策略》

　　包含了最富盛名，最基本的量化交易思想和交易策略。例如：海龜交易模型、Logistics模型、配對(duì)交易模型、波動(dòng)擴(kuò)張模型、Alpha模型、機(jī)器學(xué)習(xí)(隨機(jī)森林模型、主成分分析)、深度學(xué)習(xí)(人工神經(jīng)網(wǎng)絡(luò))等內(nèi)容。

　　4、《量化交易系統(tǒng)設(shè)計(jì)》

　　旨在學(xué)習(xí)量化交易系統(tǒng)的具體知識(shí)，包括過(guò)濾器，進(jìn)入信號(hào)，退出信號(hào)，倉(cāng)位管理等詳細(xì)內(nèi)容，并指導(dǎo)學(xué)員設(shè)計(jì)涵蓋個(gè)人交易哲學(xué)的量化交易系統(tǒng)。

　　5、《量化實(shí)盤(pán)交易》

　　旨在為解決實(shí)際量化交易策略搭建過(guò)程中的一些問(wèn)題提供較優(yōu)解決方案。 >>>點(diǎn)擊咨詢AQF相關(guān)問(wèn)題

　　

　　掌握Python及量化投資技能，我們能做什么?

1、熟悉中國(guó)主要金融市場(chǎng)及交易產(chǎn)品的交易機(jī)制；

2、熟知國(guó)內(nèi)外期貨交易、股市交易的異同點(diǎn)和內(nèi)在運(yùn)行機(jī)制；

3、掌握經(jīng)典量化交易策略細(xì)節(jié)及其背后的交易哲學(xué)；

4、掌握金融、編程和建模知識(shí)基礎(chǔ)，擁有量化交易實(shí)盤(pán)操作能力；

5、具備獨(dú)立自主地研發(fā)新量化交易策略的能力；

6、掌握量化交易模型設(shè)計(jì)的基本框架，以及風(fēng)險(xiǎn)管理和資產(chǎn)組合理論的實(shí)際運(yùn)用；

7、掌握從策略思想——策略編寫(xiě)——策略實(shí)現(xiàn)餓完整量化投資決策過(guò)程；具備量化投資實(shí)戰(zhàn)交易能力。

　　代數(shù)：一個(gè)抽象的世界

　　回過(guò)頭來(lái)，再說(shuō)說(shuō)另一個(gè)大家族——代數(shù)。

　　如果說(shuō)古典微積分是分析的入門(mén)，那么現(xiàn)代代數(shù)的入門(mén)點(diǎn)則是兩個(gè)部分：線性代數(shù)(Linear Algebra)和基礎(chǔ)的抽象代數(shù)(Abstract Algebra)——國(guó)內(nèi)一些教材稱(chēng)之為近世代數(shù)。

　　代數(shù)——名稱(chēng)上研究的似乎是數(shù)，在我看來(lái)，它主要研究的是運(yùn)算規(guī)則。一門(mén)代數(shù)，其實(shí)都是從某種具體的運(yùn)算體系中抽象出一些基本規(guī)則，建立一個(gè)公理體系，然后在這基礎(chǔ)上進(jìn)行研究。一個(gè)集合再加上一套運(yùn)算規(guī)則，就構(gòu)成一個(gè)代數(shù)結(jié)構(gòu)。

　　在主要的代數(shù)結(jié)構(gòu)中，最簡(jiǎn)單的是群(Group)——它只有一種符合結(jié)合律的可逆運(yùn)算，通常叫“乘法”。如果，這種運(yùn)算也符合交換率，那么就叫阿貝爾群 (Abelian Group)。如果有兩種運(yùn)算，一種叫加法，滿足交換率和結(jié)合律，一種叫乘法，滿足結(jié)合律，它們之間滿足分配率，這種豐富一點(diǎn)的結(jié)構(gòu)叫做環(huán)(Ring)， 如果環(huán)上的乘法滿足交換率，就叫可交換環(huán)(Commutative Ring)。

　　如果，一個(gè)環(huán)的加法和乘法具有了所有的良好性質(zhì)，那么就成為一個(gè)域(Field)?；谟颍覀兛梢越⒁环N新的結(jié)構(gòu)，能進(jìn)行加法和數(shù)乘，就構(gòu)成了線性空間(Linear Space)。

　　代數(shù)的好處在于，它只關(guān)心運(yùn)算規(guī)則的演繹，而不管參與運(yùn)算的對(duì)象。它基于幾條最簡(jiǎn)單的規(guī)則，比如結(jié)合律，就能導(dǎo)出非常多的重要結(jié)論——這些結(jié)論可以應(yīng)用到一切滿足這些簡(jiǎn)單規(guī)則的地方——這是代數(shù)的威力所在，我們不再需要為每一個(gè)具體領(lǐng)域重新建立這么多的定理。

　　抽象代數(shù)主要有兩個(gè)流派：研究有限的離散代數(shù)結(jié)構(gòu)(比如有限群和有限域)，這部分內(nèi)容通常用于數(shù)論，編碼，和整數(shù)方程這些地方;另外一個(gè)流派是研究連續(xù)的代數(shù)結(jié)構(gòu)，通常和拓?fù)渑c分析聯(lián)系在一起(比如拓?fù)淙海钊?。我在學(xué)習(xí)中主要聚焦于后者。

　　1.線性代數(shù)：“線性”的基礎(chǔ)地位

　　在機(jī)器學(xué)習(xí)領(lǐng)域，我們接觸最多的莫過(guò)于線性代數(shù)——這也是我們?cè)诖髮W(xué)低年級(jí)就開(kāi)始學(xué)習(xí)的。線性代數(shù)，包括建立在它基礎(chǔ)上的各種學(xué)科，最核心的兩個(gè)概念是向量空間和線性變換。線性變換在線性代數(shù)中的地位，和連續(xù)函數(shù)在分析中的地位，或者同態(tài)映射在群論中的地位是一樣的——它是保持基礎(chǔ)運(yùn)算(加法和數(shù)乘)的映射。

　　在機(jī)器學(xué)習(xí)中，我們經(jīng)常需要非線性來(lái)描述復(fù)雜的現(xiàn)實(shí)世界，但是無(wú)論什么時(shí)候，線性都是具有根本地位的。沒(méi)有線性的基礎(chǔ)，就不可能存在所謂的非線性推廣。

　　我們常用的非線性化的方法包括流形和核化(Kernalization)，這兩者都需要在某個(gè)階段回歸線性。流形需要在每個(gè)局部建立和線性空間的映射，通過(guò)把許多局部線性空間連接起來(lái)形成非線性;而Kernerlization則是通過(guò)置換內(nèi)積結(jié)構(gòu)把原線性空間“非線性”地映射到另外一個(gè)線性空間，再進(jìn)行線性空間中所能進(jìn)行的操作。

　　而在分析領(lǐng)域，線性的運(yùn)算更是無(wú)處不在，微分，積分，傅立葉變換，拉普拉斯變換，還有統(tǒng)計(jì)中的均值，通通都是線性的。

　　2.泛函分析：從有限維向無(wú)限維邁進(jìn)

　　在大學(xué)中學(xué)習(xí)的線性代數(shù)，它的簡(jiǎn)單主要因?yàn)樗窃谟邢蘧S空間進(jìn)行的，因?yàn)橛邢?，我們無(wú)須借助于太多的分析手段。但是，有限維空間并不能有效地表達(dá)我們的世界。比如，函數(shù)構(gòu)成了線性空間，可是它是無(wú)限維的。

　　對(duì)函數(shù)進(jìn)行的最重要的運(yùn)算都在無(wú)限維空間進(jìn)行，比如傅立葉變換和小波分析。這表明了，為了研究函數(shù)(或者說(shuō)連續(xù)信號(hào))，我們需要打破有限維空間的束縛，走入無(wú)限維的函數(shù)空間——這里面的第一步，就是泛函分析。

　　泛函分析(Functional Analysis)研究的是一般的線性空間，包括有限維和無(wú)限維，但是很多東西在有限維下顯得很Trivial，真正的困難往往在無(wú)限維的時(shí)候出現(xiàn)。在泛函分析中，空間中的元素還是叫向量，但是線性變換通常會(huì)叫作“算子”(Operator)。除了加法和數(shù)乘，這里進(jìn)一步加入了一些運(yùn)算，比如加入范數(shù)去表達(dá)“向量的長(zhǎng)度”或者“元素的距離”，這樣的空間叫做“賦范線性空間”(Normed Space)，再進(jìn)一步的，可以加入內(nèi)積運(yùn)算，這樣的空間叫“內(nèi)積空間”(Inner Product Space)。

　　大家發(fā)現(xiàn)，當(dāng)進(jìn)入無(wú)限維的時(shí)間時(shí)，很多老的觀念不再適用了，一切都需要重新審視。

　　

金程推薦： AQF培訓(xùn) AQF培訓(xùn)機(jī)構(gòu) AQF是什么意思

咨詢電話：400-700-9596

AQF考友群：760229148

　　金融寬客交流群：801860357

　　微信公眾號(hào)：量化金融分析師

　　>>>返回首頁(yè)