數學分析

數學分析粵拼sou3 hok6 fan1 sik1英文mathematical analysis)係數學嘅一個分支領域,重點在於研究極限(limit)同相關嘅概念:喺數學上,一個函數有極限值即係指,隨住個函數嘅輸入值趨近某個值,個函數嘅輸出值會趨近另外一個值,可以用公式想像成[1]

呢條線就噉望落似係嘅,但將佢斬開做幾橛嘅話,其中有幾橛望落似係嘅。

上述呢條式係指「隨住輸入值 嘅值趨近 ), 呢個以 做輸入值嘅函數嘅輸出值()會趨近 [1]。呢個概念可以用嚟分析複雜嘅函數,好似係附圖嗰條線噉,條線就噉望落似係嘅,而家將條線喺 嗰點斬開, 之間嗰一細橛望落比較似一條直線,即係話-

一個恆定嘅數值

喺條式當中, 係指 喺某兩點之間變咗幾多,而 同理係指 喺嗰兩點之間變咗幾多。上述呢條式講嘅係,無論一條線幾咁曲都好,如果將條線斬到極細,就可以將每一極細橛想像成直線(斜率有個特定數值),而呢個諗頭亦係微積分(calculus)嘅理論基礎[2][3]。除咗微積分之外,數學分析仲會著手研究實數函數、複數函數、逼近理論同埋諧波分析等等嘅課題[4]

數學分析嘅用途廣泛得好交關:自然科學上研究嘅各種自然現象同埋工程學上研究嘅人造系統都可以用函數嚟描述;例如物理學就好興用函數嘅方法表達佢哋啲定律,所以數學分析上嘅方法能夠幫到手理解呢啲函數同埋按呢啲定律設計出嚟嘅人造系統[5][6]

基礎概念

函數

各有自己嘅元素,個函數會講明 每個元素對應 嘅邊個或者邊啲元素(啲箭咀)。

數學分析最基本上係分析緊函數(mathematical function / function)。响概念上,函數可以噉樣想像:攞兩個集, ,一個函數會講明 裏面嘅每一個元素對應 入面嘅邊一個元素[4][7];舉個簡單例子說明,有兩個集,

兩個集之間嘅函數(通常用「 」代表)係

呢個函數講明「喺 裏面是但攞個元素 嚟睇, 入面嘅對應( )係 嘅兩倍」[7]。函數仲可以按好多特性嚟分類,當中連續函數(continuous function)可以話係數學分析上最重要嗰種函數,簡單講就係「條線唔會斷」嘅函數-呢啲函數亦係對極限(limit;睇下面)嘅思考嘅基礎[8]

函數可以用嚟表示變數(variable)之間嘅關係。例如假想家陣有個連住條彈弓嘅波喺彈弓嘅力影響下來回前後噉郁,個波距離 0 點嘅位移 )會隨住時間 )變化,噉講即係話是但搵個時間點 會係 (所有 可能值嘅集合)嘅元素,而且會有個相應嘅 數值(喺 嗰點時間嘅 ),所以 -而假想研究者知道咗所需嘅物理定律,知道 係點嘅樣,就可以郁手對 (一個反映個波嘅行為嘅變數)作出數學分析。因為「表達唔同變數之間嘅關係嘅函數」呢家嘢無論喺任何科學工程學領域上都會用到,數學分析嘅技巧喺各科學工程領域上都有廣泛嘅應用價值[7]

數列

數列(sequence)係一種同函數好有啦掕嘅數學物體。一個數列會好似一個(set)噉由一柞元素組成;而同集唔同,數列係有特定次序嘅,即係例如一個由數組成嘅數列會分「邊個係排第 1 嗰個數」、「邊個係排第 2 嗰個數」... 等等-每個元素都掕住個自然數 ,表示佢喺個數列入面嘅位置[9][10]

例:

而且一個數列可以同一款元素出現喺個數列嘅唔同位置,

例: (「2」同「4」都出現咗最少兩次);

數列可以當係函數嘅一種,指「會將自然數 )轉換成第個數(數列嘅第 個數)」嘅函數[9]

極限

數列嘅一個重要特徵係可以匯合(converge):想像有個由數組成嘅數列 ,依家攞個數列嘅第 個元素嚟睇,隨住 嘅數值愈嚟愈大,發現元素 嘅數值愈嚟愈接近某個特定嘅數值 (即係 愈嚟愈接近 0),而呢樣嘢用數學符號嚟表達嘅話係噉樣[1][9]

上述呢條式用日常用語講,係指「隨住 嘅值趨近無限大 ), 會趨近 呢個數值」。喺數學上嚟講,如果上述呢點成立,數列 就可以算係話有個極限(limit),而呢個極限就係 。用圖嘅形式嚟表達,如果打戙嗰條軸 嘅值,打橫嗰條軸就做 ,而個數列嘅極限係 0( ),就會出以下呢幅噉嘅圖:

微積分

附圖 1; 直線嘅圖解

微分

想像家陣將 畫做一條線,當中 Y 軸表示 X 軸表示 ,而 出嘅線喺 呢兩點之間係直線(附圖 1),噉條線喺 之間嘅斜率(slope) 定義上係

當中「 」呢個符號係希臘字母 Δ(delta),喺數學上意思係「... 嘅改變」噉解,即係「 」表示「 嘅改變」( ),而個斜率 就反映咗「喺嗰段線之間 變率[11][12]

而家想像 畫出嚟唔係一條直線,而係一條好複雜曲線,例如噉:

呢條線嘅斜率會隨 嘅數值有所變化。而家喺條線上面是但攞兩點 嚟睇,而 嘅值細到喺嗰段仔可以想像成直線。 喺呢兩點之間隨 嘅斜率係[11][12]

微分(differentation)嘅做法建基於函數極限嘅諗頭,嚟表達一個函數嘅瞬間變率(instantaneous rate of change):而家想像將 嘅數值變到愈嚟愈細,即係將條線斬做愈嚟愈細嘅橛,會得出 喺呢兩點之間隨 導數(derivative), ,即係

嘅數值一旦細到咁上下,就會變成無窮小量(infinitesimal)- ,但無限咁接近 0。用日常用語講嘅話,即係話如果將一條曲線斬開做好多極細嘅橛,如果啲橛仔夠細,噉每一橛仔都可以當成一條好短嘅直線,有一個可以有方法決定嘅斜率。如果用圖像方法表示,可以想像好似下圖嗰條線噉樣嘅情況-隨住直線嘅數量(由圖中嘅 反映)增加,每條直線對應嘅 會愈嚟愈細( ),而條線望落會愈嚟愈似想像中嗰條曲線[11][12]

應用例子

因為自然科學工程學會用函數描述好多嘢(自然現象同人造嘅系統),所以瞬間變率同埋建基於瞬間變率嘅函數分析方法喺好多科學同工程學上嘅研究裏面都有用[11][12]牛頓力學(Newtonian mechanics)就會用到導數嘅概念,將速度 )想像成位移 )隨時間 )嘅瞬間變率,而加速度 )就想像成速度隨時間嘅瞬間變率,即係[13]

例如下圖嗰幾嚿嘢因為材料等嘅原因而以唔同嘅速度加速度郁動,不過佢哋嘅 都可以想像成 嘅瞬間變率。

簡單例子:假想依家已知

當中 係一個常數;噉嘅話

,當中 數值極細但大過 0;

-得出「 係一個常數」[14]。用日常用語講,有咗微分嘅技術,知道咗「 點隨 變化」就會知道埋「 點隨 變化」同「 點隨 變化」[註 1];而事實表明咗,有咗用微分嚟做力學分析嘅技巧,就基本上可以分析嗮所有喺地球環境下郁動物體[15]。喺物理學上,微分仲可以攞嚟分析天體嘅郁動[16]流體嘅流動[17]等好多課題,而工程學又會攞呢啲分析嘅結果嚟思考機械建築物嘅設計。

積分

黎曼積分嘅圖解:一條曲線X 軸之間嘅面積可以用「好多個極窄長方形嘅面積總和」嚟得出個大致數值。

積分(integral)係一個同微分好有啦掕嘅概念。喺最簡單最基本嗰種黎曼積分(Riemann integral)當中,積分係噉樣定義[18][19]:想像家陣有個函數 ;「函數 嘅積分」用數學符號嚟表達最基本如下:

而黎曼積分嘅定義如下:

上述呢條式講嘅嘢係噉嘅:想像依家將函數 畫做條線,得出附圖 2 噉嘅線;設 ,個研究者想計 呢四點之間包住嘅面積係幾多,佢可以噉樣想像[18]

  • 之間嗰段 X 軸斬開做 咁多橛( ),並且畫 咁多個長方形喺條線之內;
  • 由幅圖睇得出,响 嗰陣,個長方形嘅面積完全唔似研究者想要嘅面積;
  • 但又想像依家 變得極大,畫咗極多個長方形喺條之內,而每個呢啲長方形嘅闊度 )極細( );
  • 每一個呢啲極窄長方形嘅面積係 (嗰一點嘅 乘以 ),而呢啲長方形嘅面積加埋(「 」呢個符號所表達嘅嘢)就會非常接近研究者想要嗰個面積。

簡單講,如果話微分計嘅係一條曲線上指定某一點嘅瞬間斜率,噉積分計嘅就係一條曲線指定某一個間距內( 之間)條線同 X 軸之間嘅面積[19]

附圖 2,積分嘅想像圖解;函數 係「 」。

基本定理

積分可以話係將微分做嘅嘢掉返轉頭嚟做,而呢點係微積分基本定理(fundamental theorem of calculus)嘅重要一部份:簡單講嘅話,想像家陣有個函數

(導數嘅定義);

考慮呢個導數喺是但兩點 之間嘅積分,當中

呢個積分嘅數值會等同

(積分嘅定義);即係話

用日常用語講嘅話,攞一個函數 導數 上嘅一極細橛( )嚟睇,嗰橛嘅 積分數值等同函數 之間嘅 [20][21]

積分喺應用數學上都有廣泛嘅用途。例如係正話提到嗰個牛頓力學嘅例子噉,速度 係位移 隨時間 嘅導數,

(睇返上面)

亦即係話是但搵兩點時間點 ,嗰兩點時間之間嘅 嘅積分數值上會等同件物體喺嗰兩點時間之間嘅 變化總數[15]

事實係,自然科學同工程學喺分析系統嗰時往往都會想知啲變數會點樣隨時間變化,所以結合微分同積分嘅分析做法-微積分(calculus)-响呢啲領域上極之有用,可以攞嚟(例如)搵出能夠清楚精確噉表達嗮唔同嘅變數分別點樣隨時間變化嘅函數[22]

動態系統

一個嘅圖解;藍色箭咀表示個擺嘅 ,而紅色箭咀表示個擺嘅

微積分相關嘅諗頭帶起咗動態系統(dynamical system)嘅概念。用日常用語講,動態系統係指啲特性會隨時間變化嘅系統[23]。舉個例說明,想像一個用條繩吊咗喺天花板嗰度嘅[24]

  • 個擺因為受到某啲嘅影響,而開始左右來回噉擺(簡諧運動),就噉睇已經可知,個擺嘅位置( )會隨時間( )而變化,噉即係話個擺嘅速度實係一個唔係 0 嘅數值:
  • 進一步嘅觀察顯示,個 都係喺度係噉變(個擺向左移到咁上下就停咗喺度,再改為向右移...),噉即係話個擺嘅加速度都係一個唔係 0 嘅數值:

... 等等。上述嘅係一個簡化例子,但淨係由上述講嘅嘢經已可知,呢個系統有最少兩個會隨時間變化嘅變數 ,所以呢個系統係一個動態系統。喺物理學上,動態系統可以用微分定義-如果話一個(由一粒或者多粒粒子組成嘅)系統係一個「動態系統」,即係話呢個系統喺每個時間點嘅狀態都可以用一個多元組嚟表示(有若干個變數),而描述呢個系統嘅方程式當中實會涉及某啲系統變數( )隨時間嘅導數( [25]

混沌理論

動態系統仲係混沌理論(chaos theory)嘅基礎:喺 19 世紀尾,法國數學家龐加萊(Henri Poincaré)等嘅研究者喺度諗太陽系天體嘅軌跡會點樣隨時間變化,佢哋用微分方程嚟做分析(用到隨時間嘅導數),發覺喺分析多過兩個天體嘅軌道嗰陣,啲現象經已複雜得滯,難以用公式描述,啲模型嘅可能結果由「啲天體冚唪唥都完美噉跟住現有嘅軌跡行」以至極端嘅「其中有粒行星重力掟出去太陽系外或者撞落太陽嗰度」都有;打後(用微分方程做)嘅研究又發現,有好多動態系統都有啲噉嘅情況-「只要啲初始條件嘅數值變咗少少,成個系統嘅狀態就會出現極端嘅變化」,而呢點就係混沌理論上所講嘅「混沌」。混沌嘅現象喺天氣生態系統以至量子力學等多種現象嗰度都會見得到,係廿一世紀初數學界相當重視嘅一套理論[26]

例如下圖係混沌理論當中嘅洛倫茲系統(Lorenz system)嘅電腦模擬結果:成個系統有幾個變數同參數,包括 ,幅圖打戙嗰條軸做 ,打橫嗰條軸做時間,設 做「 嘅初始數值」,唔同色嘅線表示喺唔同 之下 隨時間變化嘅規律。由幅圖睇得出, 係噉咦變咗少少,就會令最後嘅 變化規律唔同嗮(嗰幾條唔同色嘅線大約去到 嗰陣分開)。

諧波分析

諧波分析(harmonic analysis)係指將函數訊號表示成基本波形(睇波動)嘅相加。用附圖 3 噉嘅圖解說明:想像一個有交流電電壓電流週期性)嘅電路或者是但一個啲變數數值會週期性噉變嘅系統,而家打戙嗰條軸做某一個點嘅電壓,打橫嗰條軸代表時間 ),左圖同右圖下面嘅兩條幼線( )代表個別波形嘅活動,而最上面嘅粗線( )代表兩條幼線嘅活動加埋( )-由左圖睇得出,當兩條線嘅活動完全唔同步(即係一個去到最高點嗰陣,另外嗰個啱啱處於最低點),佢哋嘅活動總和會係 0;而右圖就顯示,如果兩條線嘅活動完全同步(兩個同時去到最高點,又同時去到最低點),佢哋嘅活動總和就會到達最大數值。諧波分析做嘅就係攞一啲望落複雜嘅函數,再睇吓每個呢啲函數可唔可以想像成若干個簡單波形(例如正弦波)嘅相加[27]

附圖 3
例子:傅利葉變換

諧波分析嘅一個出名應用係傅利葉變換(Fourier transform):想像家陣有個週期性嘅訊號,個訊號由若干個細啲嘅週期性訊號組成,即係有啲細訊號以 5 Hz頻率出現(每秒重複 5 次),成一個 5 Hz 嘅正弦波,有啲會以 15 Hz 嘅頻率出現,成一個 15 Hz 嘅正弦波... 如此類推(可以睇埋波動)。呢啲活動嘅總和形成成條線嗰啲整體嘅上上落落,即係話時間點 嘅微電壓 可以用類似噉嘅式表示[28][29]

當中 係一個波嘅最大振幅, 反映頻率,而 就係相位 反映嗰個波喺時間點 嘅振幅,而 就表示唔同頻率嘅波喺 嘅振幅冚唪唥加埋。好似係以下嘅圖解噉:

圖入面嗰條紅線( ;唔似正弦波)可以想像成一大柞細啲嘅正弦波(柞藍線)加埋一齊。

傅立葉變換簡單講就係將每個上上落落嘅波形數據拆開,變成組成佢嘅波,估計每個頻率嘅腦電波嘅波幅同相位(例子可以睇腦電波)。傅立葉變換最基本嗰條式如下:

係一個頻率嘅函數,而 係一個時間嘅函數[30]

第啲重要課題

逼近理論個諗頭:藍線同啲紅線形狀上好似,同時藍線又因為係直線所以條式簡單好多。
  • 實分析(real analysis)同複分析(complex analysis):實分析係指針對實數同實數變數嘅實數函數做嘅數學分析,包括咗一般嘅微積分。而複分析就係指涉及複數嘅數學分析;後者喺好多物理學工程學嘅分析上都有用[31]
  • 泛函分析(functional analysis):研究帶有一啲極限相關結構嘅向量空間,以及係呢啲向量空間之間嘅線性轉換;泛函分析會用到泛函(functional)嘅概念,泛函係所謂嘅「函數嘅函數」,能夠攞嚟表示一個函數同乜嘢物體對應,例如微分就係一種泛函(定義一個函數 同佢嘅導數 之間嘅對應)[32]
  • 測度(measure):「一個針對某個做嘅測度」係指一種有系統噉幫嗰個集嘅一個子集加個俾佢嘅方法,例如係量度長度噉(幫個子集俾個數嚟表示佢有幾長),而呢個過程可以想像成一個函數-一個測度簡單講就係將一個子集俾個數嚟對應佢(例:咁長咁長嘅話對應 1 厘米、咁長咁長嘅話對應 2 厘米...);因為噉,測度會用到數學分析嗰啲概念[33]
  • 逼近理論(approximation theory):思考點樣用簡單嘅函數嚟逼近複雜嘅函數。想像家陣有個函數 ,個函數能夠完美準確噉描述研究緊嘅現象,但 複雜得滯,搞到用 計起數上嚟好撈絞,於是研究者就用某啲方法搵一個新嘅函數 出嚟, 簡單過 ,計起數上嚟冇咁撈絞,而且同時做起預測上嚟得出嘅結果同 差距唔係咁大-例:是但搵個 值, 嘅永遠都會細過某個特定嘅預設數值 [34][35]
    • 逼近理論研究嘅嘢正正就係「點樣搵出 」,喺科學同工程學嘅應用上好有價值[35]
  • 數值分析(numerical analysis):研究點樣靠演算法嚟用近似值解決數學分析上撞到嘅問題;喺實際嘅科學同工程學應用上,好多時研究者都淨係需要搵出個近似值就夠用,即係同真嗰個數值差距唔係咁大嘅數值(睇返逼近理論),而數值分析就係想研究點樣用演算法搵出呢啲近似值[36]

... 等等。

簡史

數學分析嘅概念好多都歷史悠久,而成套理論正式起源係 17 世紀嘅科學革命時期:原則上,數學分析用到嗰啲概念有好多遠至公元前嘅時代經已存在,例如古希臘數學家阿基米德(Archimedes)經已有喺佢嘅著作嗰度用過無窮小量嘅諗頭[37];不過,喺 17 世紀打前,世人頂櫳都淨係停留喺「用咗某啲同數學分析相關嘅概念」嘅階段,而到咗 17 世紀嗰陣,歐洲處於科學革命時期,牛頓萊布尼茲(Leibniz)開創出形式化嘅微積分,可以話係現代數學分析嘅開端-用時間導數分析動態系統、對太陽系嘅研究引起混沌理論嘅諗頭以至傅利葉變換等嘅數學分析技術冚唪唥都係建基於對微分方程等微積分概念嘅分析嘅。到咗今日,數學分析經已成為咗應用數學當中嘅重要一環,好多科學同工程學上嘅研究都實要用到數學分析技術[38]

註釋

睇埋

文獻

  • Aleksandrov, A.D.; Kolmogorov, A.N.; Lavrent'ev, M.A., eds. (1984). Mathematics, its Content, Methods, and Meaning. Translated by Gould, S.H.; Hirsch, K.A.; Bartha, T. Translation edited by S.H. Gould (2nd ed.). MIT Press; published in cooperation with the American Mathematical Society.
  • Apostol, Tom M. (1974). Mathematical Analysis (2nd ed.). Addison–Wesley. ISBN 978-0-201-00288-1.
  • Binmore, K.G. (1980–1981). The foundations of analysis: a straightforward introduction. Cambridge University Press.
  • Hutchinson, J. E. (1994). Introduction To Mathematical Analysis (PDF).
  • Johnsonbaugh, Richard; Pfaffenberger, W.E. (1981). Foundations of mathematical analysis. New York: M. Dekker.
  • Nikol'skii, S.M. (2002). "Mathematical analysis". In Hazewinkel, Michiel (ed.). Encyclopaedia of Mathematics. Springer-Verlag. ISBN 978-1-4020-0609-8.
  • Rudin, Walter (1976). Principles of Mathematical Analysis (3rd ed.). New York: McGraw-Hill. ISBN 978-0-07-054235-8.
  • Rudin, Walter (1987). Real and Complex Analysis (3rd ed.). New York: McGraw-Hill. ISBN 978-0-07-054234-1.
  • Smith, David E. (1958). History of Mathematics. Dover Publications. ISBN 978-0-486-20430-7.
  • Whittaker, E.T.; Watson, G N. (1927). A Course of Modern Analysis (4th ed.). Cambridge University Press. ISBN 978-0-521-58807-2.

參考資料