我是伊藤。大學畢業後，我其實先在大藏省工作了一年，之後在內閣統計局工作了四年。在此期間，我參與了一些與保險相關的工作，因此成了精算師協會的預備會員。
那時作為概率論的基礎，柯爾莫哥洛夫的測度論基礎上的概率論盛極一時，大概在1939 年左右，我也在精算師協會介紹過這一理論。
01 數學是一門研究萬物存在形式的學問
首先，我想先講一講數學究竟是一門怎樣的學問。關於數學與物理學的區別，著名數學家赫爾曼·外爾曾說：「物理是一門研究存在的學問，而數學則是一門研究萬物存在形式的學問。」我認為這句話中的物理，也可以指代化學、生物學、經濟學等數學以外的學科。
我以淺顯的方式解釋一下外爾先生所講的這句話吧。
我們經常接受問卷調查，調查問卷上會設有姓名、住址、出生日期、職業、興趣等項目。我們稱它為調查問卷的格式。我們可以把這個格式看作數學，把被調查者在問卷上填寫的內容看作物理學。這裡或許將物理學換作實驗物理學更為合適。
數學物理、數理生物學、保險數學、數理經濟學等，廣義上都可以算進數學的範疇。前面我也說過，數學是一種形式，或許也可以說是一種模式。要說具體是哪種模式，我認為是邏輯模式。更確切地說，是集合論。
但是，如果將數學從邏輯的角度看作集合論，那我們只能觸及數學的皮與骨，無法將數學的血肉一併概括進去。事實上，數學是伴隨著人類的進步不斷發展的「生物」，數學的實體便潛藏在這發展之中。
02 數學的歷史
因此，我們先來總覽一下數學的發展歷史吧。根據歷史年表，日本從舊石器時代起，經歷了繩文、彌生、古墳、奈良、平安等時代，直至現在的平成。
中國則經歷了夏、商、周、秦、漢、隋、唐、宋等朝代。
印度從達羅毗茶文明發展到印度文明，西方則從古埃及文明、美索不達米亞文明、古希臘文明、古羅馬文明、阿拉伯文明等發展至現代的歐美諸國。
人類歷史上初次誕生的數學概念是自然數 1、2、3……這些數字的英文是 one、two、three、four、five、six、seven 等，其中 two 和 three 都以字母 t 開頭，four 和 five 以字母 f 開頭，six 和seven 以字母 s 開頭。即使在這些原始的數學概念中，我們也能找到這種不知該說是規則還是邏輯的規律。
日語的數詞中也蘊藏著與此全然不同的有趣規則。1（hi）和 2（hu）均以 hB 開頭，3（mi）和 6（mu）均以 m 開頭，4（yo）和 8（ya）均以 y 開頭。能夠看出，每一組首字母相同的數字的比值都是 1 比 2。使用這種數詞的民族極為罕見。
據我所知，僅太平洋的某島有相似的情形。但是，給所有的數字逐一命名委實太過煩瑣，因此有了十進位。在十進位誕生之前，美索不達米亞文明還存在著二十進位、十二進位、六十進位等現在被歸為計時法、度量衡等的計數方法。十進位雖然在中國已有悠久的歷史，但它是由阿拉伯人傳入歐洲的。
阿拉伯人發明了進位計數制。古代中國雖然使用了十進位，但在書寫的時候並沒有進位，在表示 151 103 這樣的數字時，會將其寫成十五萬一千一百零三。也就是說，除一到九的基數外，還必須使用十、百、千、萬等。若想表示更大的數字，還需要用到億、兆、京等表示更大數目的詞，可謂無窮無盡。
若使用進位計數制，只需用阿拉伯數字的 151103 表示即可，簡明易懂。這時需要在 1, 2, 3, …, 9 中加入 0 作為基數，這個數字 0 可以說是一大發明。雖然 0 最先出現在印度，但將其應用在進位計數制中使十進位家喻戶曉的是阿拉伯人。
在阿拉伯的計數制出現很久之前的古埃及文明與美索不達米亞文明中，由於日常生活的需要，誕生了實用數學，用來解決初等算術問題、代數問題和幾何問題。從採集經濟的時代發展到遊牧、農耕時代後，這類實用數學不斷發展，可以用來解決天體觀測、土地測量、糧食保存計劃等問題。
在中國，數學也是以同樣的方式產生的。
進入古希臘時代後，數學才作為一個超越了實用意義的學科體系建立起來，人們開始嘗試以論證的精神構築數學這門學科。其中典型的成果便是歐幾里得的《幾何原本》。
在歐幾里得生活的時代（公元前 300 年左右），人們已經了解了勾股定理、相似圖形、比例理論和其他幾何學知識，應該也在一定程度上思考了這些知識之間的聯繫。
歐幾里得就構成平面圖形的基本元素，也就是點和直線進行了思考，並嘗試從「過兩點有且只有一條直線」「兩條直線要麼平行要麼相交」這種無須證明的性質出發推導出圖形所有的性質。這是最初被體系化的數學，也標誌著數學成為一門學科。現代數學依然沿襲著歐幾里得的精神。
至於這門偉大的學科為何誕生在古希臘，我一直覺得不可思議，至今也沒有找到答案。在歐幾里得的時代，古希臘的哲學興盛異常，注重理性思考，對任何事都講究追根溯源，試圖從本源出發解釋其他事物。另外，智者十分活躍，經常相互爭論，因此形成了從邏輯角度出發去思考事物的習慣。
同一時期的中國正處於以孔子為代表的春秋時代。當時百家爭鳴，成為之後中國學問的本源。儘管重視智慧的思想在東西方形成了統一，但以論證為基礎的數學最終沒能在中國形成。
在這之後的古羅馬時代，羅馬人擬定了法律，鑄造了貨幣，在政治和經濟方面飛速發展，但在數學上幾乎沒有什麼成就。阿拉伯人通過經商發展出十進位，為東西方的文化交流做出巨大貢獻。
但是，他們將歐幾里得的以論證為基礎的數學精神拋諸腦後，數學淪為了貴族子弟接受教育的必修科目。
除了幾何學，古希臘人還就數論中的質數和無理數進行了深入思考，但令人不解的是，他們沒能想到對實際生活有巨大幫助的十進位。其中緣由恐怕在於數學只有學者才去研究，而他們並沒有著眼於實際生活中出現的新的數學事實。即使有關注的想法，在沒有工業的農耕社會，我認為也找不到可以給數學家靈感的素材。
之後經過黑暗的中世紀，文藝復興運動展開，工商業再度興盛，人們生機勃勃，新的數學在歐洲相繼誕生。以文藝復興為契機，「從根源出發，以邏輯的方式推導出複雜的結論」這一歐幾里得幾何的精神復活，也對代數產生了影響。韋達（16 世紀）以加減乘除的基本運算法則——交換律、結合律、分配律為起點將代數學體系化，他也因此被稱為代數學之父。
而後，笛卡兒（17世紀）將平面上的點用兩個數字（坐標）來表示，創造出利用代數來研究幾何學的新方法。
韋達和笛卡兒所處的時代可以算是歐洲數學的搖籃期，在那之後，以無窮、極限、連續和運動為研究對象，數學開始急速發展，直至微積分學的確立這一偉大成就誕生。
這一成就萌芽於古希臘時代阿基米德（公元前 3 世紀）思考的如何避免無窮這一問題，而這引發了離散對象與連續對象之間的矛盾。歐洲數學斬斷了這一思想上的束縛，踏入了一個更加廣闊的世界。契機正是伽利略（16 世紀 ~17 世紀）對天體的研究。
詳細的情形暫且不談，我們繼續微積分學的話題。當時產生了一些精彩絕倫的觀點，比如將曲線看作由「小曲線段（弧）構成，每段弧對應的線段（弦）幾乎（按現在的說法，除去高階無窮小）可以認為是相等的，求出這些小線段長度的和，也就求出了曲線的長度」，還有「運動可以看作無限接近的兩個時間點之間的直線運動，將這些直線運動相加，就可以求出有限時間內物體的位移」等。
通過微分求出曲線或運動的微小變化，然後將之求和就是積分。在這裡非常重要的是，把微分看作直線這一點，現在被稱為線性化（linearization）。
這一嶄新的數學領域叫作微分學（differential calculus），與此相對，在此之前的代數方法被稱為有限元分析。與代數方程相對應，微分方程誕生了，它非常適合用來表示物理學新領域中的諸多法則。
質點系的牛頓方程、流體力學中的歐拉方程和拉格朗日方程等，都是微分方程。如此一來，數學的內容就變得豐富多樣。
這就是 17 世紀和 18 世紀的分析學。在那個時代，複數也在形式上被引入，並被有效利用起來。
古希臘數學的論證精神，在這個時代的數學發展中也扮演著重要的角色，但分析學沒能像歐幾里得幾何那樣形成一個嚴密的體系。當時的數學家們懷有不安，但還是將直觀的、形式上的推論混進理論中，一味地前進著。
進入 19 世紀後，高斯用平面上的點表示複數，建立了有關複數的嚴密理論，柯西根據 ε-δ 定義確立了連續函數的定義等，逐漸鞏固了分析學的基礎。就這樣，數學成果不斷湧現，我們甚至可以稱 19 世紀為數學的黃金時代。
對數學的邏輯上的探討也日益熱烈，非歐幾里得幾何也應運而生。進入 19 世紀末，基於魏爾斯特拉斯、戴德金、康托爾等人的研究，實數的嚴密定義才終於誕生。
進入 20 世紀後，像歐幾里得幾何這樣嚴密的體系才在數學的全部分支中實現。這裡需要預先強調的是，如果以現代的眼光審視，歐幾里得幾何絕對稱不上完整。但是，從基本要素（點、直線）和與其相關的基本性質（公理）出發去構築幾何學的思想是非常重要的。
17 世紀到 19 世紀誕生了無數全新的數學理論。這些理論間具有複雜的關係。對這些理論加以整理，並全部通過基本要素和基本性質推導出來，會讓人覺得其難度是建立歐幾里得幾何所無法比擬的，但其實很簡單。
整個數學的基本要素是集合，基本性質是集合論的公理這一事實在 20 世紀已經被闡明。換句話說，數學從邏輯上來看就是集合的理論。引入集合論的康托爾最初也許並沒有想這麼多，但從結果來看確是如此。
邏輯學中有內包和外延的概念。內包是一種性質，外延則是具有這種性質的事物的集合。將性質 A 和性質 B 的外延記為 A'、B' 的話，從 A 可以推出 B，這表示 A' 包含於 B'（A' ⊂ B'），「A和 B」這個性質的外延是 A' 和 B' 這兩個集合的並集（A'∪B'）。
關於性質的所有命題都可以用與外延（集合）相關的命題表示。從這一層面去考察數學的性質，其實可以歸為對集合的考察。好了，集合論（其實是數學整體）的基本要素就是集合。
如果有兩個集合，那麼 A 要麼是 B 集合中的元素（A∈B），要麼不是。這就是集合的基本性質。光靠這一點還不能構成數學，我們還需要假設其他幾條基本性質（公理）。這些公理之間存在矛盾會比較麻煩，所以人們對此展開了種種探討，由於專業性太強，我在這裡就不介紹相關內容了。大家只需知道，現在這些公理不存在矛盾就可以了。
我們將沒有元素的集合稱為空集（ ∅ ），也可以記作 0。將0 作為元素的集合 {0} 記作 1，將 0 和 1 作為元素的集合 {0，1}記作 2，以此類推，那麼 3={0, 1, 2}，4={0, 1, 2, 3}。這樣的集合可以通過事先給定的公理得到。這樣一來，我們就可以定義自然數（包括 0）了。
從這裡出發，我們也可以定義負整數、有理數、實數、複數，通過坐標定義二維空間、三維空間和 n 維空間等。代數系（群、環、域）或拓撲空間、可微分集合域、概率空間等現代數學中的基礎體系都在集合中加入了結構（structure），這個結構通過映射定義，映射結合圖像以集合的形式表現出來。
因此，所有數學領域的定義或定理都能在集合論的框架中表現出來，定理的證明也能利用集合論的語言來表述。從這一層面上講，數學在邏輯上可以說就是集合論了。
但是一般的數學書中並不會這樣介紹。不過，在對某些推論產生疑問時，只要思路回到集合上，就可以得到答案，能做到這一點的才算得上是數學理論。
如果說能回歸到集合的內容作為數學理論有存在的價值，那麼為了記述科學中的諸多現象而被引入的數學理論，以及引申出來的數學理論也是有價值的，這些理論還能帶來從純粹數學的角度看也很有趣的結論。數學就這樣與科學緊密相連。
以上便是歐洲數學的發展狀況。雖然在中國、印度和阿拉伯，埃及、美索不達米亞的實用風格數學也在蓬勃發展，但基於論證的希臘風格的體系化數學並沒能成為主流，與物理學、工學息息相關的微積分學、分析學也沒能誕生。
03 概率論的歷史
接下來我會向大家介紹概率論的歷史，以及我對微積分方程的一些研究工作。
數學和天文學可以說是歷史最悠久的學科，現代數學的很多分支發源於美索不達米亞和古希臘的古代數學。古代人應該也有概率的概念，但第一位將其用數值表示的，還是以三次方程的解法而聞名於世的卡爾達諾（Cardano）（16 世紀）。
在這之後，帕斯卡和費馬建立了更加體系化的概率論的雛形。他們處理的問題大多與賭博相關。18 世紀後半葉，伯努利證明了「在實驗條件不變的情況下，重複試驗多次，隨機事件的頻率接近於它的概率 p」這一大數定律，由此，概率與統計的關係也清晰起來。
概率論並不是只與賭博相關的數學，它是可以應用在人口問題、保險問題中的頗為實用的數學。
之後，微積分學和分析學的方法也被引入概率論中，湧現出了拉普拉斯的《概率的分析理論》、高斯的《繞日天體運動的理論》等著作。
19 世紀，數學的各個領域都在蓬勃發展，與此相比，概率的數學理論卻沒有什麼像樣的成果。不過，伴隨著經濟統計學和經濟物理學的發展，概率論不斷出現新的素材。其中最重要的，是描述隨時間變化的偶然現象的隨機過程，這其實是描述運動的函數這一概念的概率版本，它在牛頓的時代確立。
進入 20 世紀後，集合論為數學的各個理論打下基礎，這一影響也波及概率論。從 19 世紀到 20 世紀初，人們明白了概率的數學本質是測度。
這是因為波萊爾（Borel）和勒貝格（Lebesgue）所研究的新測度論及積分論的誕生使面積和體積被嚴密定義。這一思想雖然最初只在單個問題上體現，但隨著柯爾莫哥洛夫在概率空間的基礎上建立起概率論，概率論整體終於實現了體系化。
19 世紀末，與各科學領域中的統計現象相關聯的隨機過程也完全能以數學的方式進行研究。這樣一來，幾個基本的隨機過程，比如維納的布朗運動（現在被稱為維納過程）、萊維的獨立增量過程，還有辛欽的平穩過程等都被詳細地研究了。
在隨機過程論創立的初期，雖針對某些時點的值進行過聯合分布的研究，但很快研究重點就轉移到隨機過程的樣本路徑的性質上了。樣本路徑可以說是隨機過程的本質。
柯爾莫哥洛夫開始考慮與普通動力系統相對的概率上的動力系統，最終推導出確定其轉移概率的柯爾莫哥洛夫微分方程。
我深入挖掘潛藏在柯爾莫哥洛夫思路中的線索，開始考慮可以直接表示支配概率動力系統的樣本路徑的微分方程，並為了求解方程定義了隨機積分和隨機微分。
對結果取平均值後，就得到了柯爾莫哥洛夫的微分方程。這一理論在日本、法國、蘇聯和美國的眾多研究者的努力下實現了一般化，現在已經發展成一個名為隨機分析的領域，控制、推測由隨機微分方程確定的現象的理論也已經被建立起來。
在隨機分析中，需要把在一般微積分學中慣用的
這一基本等式寫成下面的形式。
這個公式通常被稱為伊藤公式。現在，這個公式有了更為一般的形式。
最近，隨機分析在日益發展，法國的馬里亞萬引入概率變分法，創立了極其深奧的理論。這一理論被稱為馬里亞萬隨機分析。不只法國的研究者，日本、美國、英國的眾多研究者也為理論的發展添磚加瓦。
就這樣，我引入的隨機微分、隨機積分因眾多數學家的貢獻而茁壯成長，這完全超出了我的預期，對我而言實數僥倖。
世界是概率的
——伊藤清的數學思想與方法
作者：[日]伊藤清
譯者：劉婷婷
出版社：人民郵電出版社
出版時間：2023-02
沃爾夫獎、高斯獎得主，現代隨機分析之父日本數學大家伊藤清，講述數學思想與方法
激發關於概率與世界的深層，呈現日本數學發展的另類線索