發刊日期 |
2019年9月
|
---|---|
標題 | 用函數來思考(上) |
作者 | |
關鍵字 |
數學史, 解析幾何, 微積分, 冪級數, Fourier級數, 笛卡兒, 費馬, D. Bernoulli, Joseph-Louis Lagrange, Euler, G. L. Dirichlet
|
檔案下載 | |
全文 |
1. 歷史 --- 教育的指南『比我聰明、 有學問的人從歷史發現出布局、 韻律、 預定的模式。 這種種和諧我看不出來。我所看到的只是緊急事件一個接著一個發生, 有如海浪一波接著一波。 關於歷史, 鑑於它的獨特性, 只有一點是真的, 那就是對於歷史我們沒有辦法概括化; 對於學歷史的人只有一個定律 --- 那就是他應該在人類命運的發展中意識到意外和不能預見的事所扮演的角色。這並不是消極和懷疑。進步的事實很清楚的寫在歷史書上, 但進步卻非自然的定律。 上一代的成就可能在下一代輸光, 人的思想可能被引入通往災難、野蠻之路。』 --- 《 A History of Europe》, H.A.L. Fisher(1865$\sim$1940) --- 單純的歷史只是冰冷的往事, 是些已經發生、不再重現的遺跡, 所以是「 不真的」, 因為那裏沒有決斷的自由, 因此也沒有生命、 沒有意義。 真正的歷史並不是客觀地描述過去所發生的事件, 而是尋求事件的意義。 真正的歷史是我們必須與研究的歷史進行「 對話」, 使歷史再一次活現出來。 對於近代的文明與科學有興趣的人, 不能不對「 文藝復興」、「 宗教改革」與「 啟蒙運動」有特別的情感。為何會發生文藝復興? 簡單的答案是 《 有交流就有改變》。 由於十字軍東征, 迫使西方基督教世界與回教世界接觸, 並從中尋獲已失落千年的古希臘遺產。 文藝復興(renaissance) 這個字是「 重生」的意思, 它是指古代藝術文化(特別是古希臘文化)的再生。 另外我們也說它是 「 人道主義」的復興, 因為在漫長的中世紀, 生命中的一切都是從神(或教會)的觀點來解釋, 但到了文藝復興時期, 一切又重新以人為中心。它最重要影響是改變了大家對人本身的看法, 文藝復興時期的人文主義精神使得大家對人本身和人的價值重新產生了信心。 這時期有一項重要的發明 --- 時鐘。這是古老的世界所沒有的, 鐘錶自然成為第谷(Tycho Brahe, 1546$\sim$1601)與克卜勒(Johannes Kepler, 1571$\sim$1630) 研究行星運動的重要工具。 這時期由於實際的需要和各門學科的發展, 使得自然科學轉向對《 運動》 的研究, 對各種變化過程和各個變化著的量之間的依賴關係的研究。 所以在數學中就產生了「 變量」和「 函數」的概念。 要研究變化自然就需要「 微分」的觀念。 因此如果要問 : 既然阿基米得(Archimedes 287?$\sim$212B.C.)已經有極限的概念, 為何沒有發明微積分 ? 合理的答案是: 阿基米得只會積分不會微分, 但是牛頓與萊布尼茲則同時會積分也會微分。 並不是阿基米得才智不如他們二人, 我們只能說那是歷史的無奈。 在生活中只有遲緩的牛車或馬車是無法想像瞬間速度( 變化)這件事, 更不用說 瞬間加速度。 古希臘思想對於嚴謹性的要求, 使得全等成為幾何的基礎, 並且不允許混淆離散 (discrete)與連續(continuous), 但是這種要求無法滿足動力學的嘗試。 此外古希臘天文學也缺少加速度的概念, 一切都是平均速度, 所以行星只能是圓周運動。 整體而言他們所缺少的就是 變化或 改變 (change)的概念。 雖然阿基米得已經十分接近微分和積分的計算, 但卻停留在靜力學問題的範圍之內, 只有等到研究運動的時候, 產生了《 變量》 與 《 函數》的概念, 才促成微積分與數學分析的形成, 才會有牛頓科學革命的成功。 人類的歷史經由漫長的中古世紀來到文藝復興, 也正是數學的歷史由漫長的常量數學時期進展到 變量數學時代, 換句話說就是從 數進展到 函數的數學史。 只要若干量之間有一定的物理關係就會出現函數的概念。 函數發展史最重要的奠基者應屬於法國數學家笛卡兒(René Descartes, 1596$\sim$1650)與費馬(Pierre de Fermat, 1601$\sim$1665), 他們所引進的座標系統, 例如平面上的點以 $(x,y)$ 表示, 從此取代歐幾里得那種模糊的幾何定義方式。 而且還進一步提出 $x$ 與 $y$ 這兩個數有某種關係, 也就是說 $x$ 的每一個值都對應著一個唯一的$y$值, 換言之, $x$ 與 $y$ 構成了一種函數關係。 以費馬而言, 他寫道: 「 每當我們找到兩個未知量的等式, 我們就有一條軌跡, 它描寫的不外乎是一條直線或曲線。」 費馬是從一個代數表達式開始, 然後根據這個表達式在平面上勾勒出一個幾何圖形, 他的預見使得後來的數學家們可以可以通過更複雜的方程式繪製新的曲線。 這是數學史上最有意義的陳述之一。 笛卡兒則是從幾何問題出發並運用代數技巧來求解。 『 幾何的任何問題都可以簡化為這樣的關係式, 例如從特定直線的長度就足以知道它的結構 .... 我毫不猶豫地把這些算術關係引入到幾何中。』 笛卡兒的思想為幾乎所有事物之系統化數學處理開了一扇門。 另外笛卡兒的思想也拓展了數學的研究範圍, 為後來的《 分析(analysis)》舖平了道路, 而數學特別是分析這門學問正是解開大自然奧秘之鑰。 藉著分析或解析方法, 我們能運用簡單的方程式來描述整個族類的曲線之性質。 笛卡兒也確信這種在數學領域上應用得如此順利的方法應當也可擴展至其他領域, 從而使探索者獲得如數學中的確定性。 這就是他的名著《 方法導論》的主要精髓, 其中最重要是底下四個原則:
通常我們將笛卡兒視為近代哲學之父, 他的著作有股清新氣息, 他並不以教師的身分寫作, 而是以發現者與探索者的姿態執筆, 渴望將自己的心得傳達給人。他的文章平易近人且不迂腐, 並不是供學生上課念的, 而是供一般明白事理的人看的。 近代哲學的開拓者有如此可佩的文學素養是值得慶幸的。 哥廷根偉大數學傳統的建立者 Felix Klein (1849$\sim$1925)不僅是了不起的數學家更是不世出的數學經理人, 哥廷根的數學在他的帶領下不僅超越柏林大學且與法國的巴黎大學並駕齊驅, 號稱數學的中心(聖地)。 但他的格局並沒有侷限在數學, 年紀稍長時找來 Arnold Sommerfeld (1868$\sim$1951)發展理論物理, 所以哥廷根不僅是數學的中心也是物理的中心。 但是更令人驚訝的是 1904 年的第三屆國際數學家大會 Felix Klein 在聽完 Ludwig Prandtl (1875$\sim$1953)十分鐘關於流體力學邊界層理論(boundary layer theory)的報告 (Prandtl 那時還是小人物! 只能給十分鐘的演講), 馬上警覺到 Prandtl 研究的重要性, 並將 Prandtl 延攬至理論物理研究所, 從此哥廷根更一舉成為現代流體力學的發源地。 Felix Klein 更令人欽佩的是他觀察到教育的根本重要性, 因此在哥廷根大學為德國中學數學教師及在校學生開設講座, 強調要用近代數學的觀點來改造傳統的中學數學內容。 Felix Klein 於 19 世紀末在德國領導的數學教育改革的口號 就是「 用函數來思考」。他的思想正是這篇文章寫作的動機。 我們已經知道數學中專門研究函數的這門學問叫做分析(analysis), 如果說古希臘的數學是幾何的話, 那麼牛頓之後的數學的中心便是分析。 函數是所有數學中最重要的概念, 藉由它人們才第一次對於大自然各種變化的過程提供了計量上的研究, 函數是數學的靈魂、 貫穿了數學之理論與應用的每一個角落。 20 世紀初由於理論物理(特別是量子力學)的革命性發展促進偏微分方程與相關數學的發展, 此時數學研究的對象是「 函數的函數」, 這門學問就是泛函分析(Functional Analysis), 而其中最重要的是廣義函數論(Generalized Function)或荷佈理論(Distribution)。 2. 函數簡史關於函數(function)的歷史有幾個重要里程碑:
這就是函數的簡史, 但是真正的先驅則是 17 世紀笛卡兒 (René Descartes, 1596$\sim$1650)、費馬 (Fermat, 1601$\sim$1665) 創立的解析幾何, 將 變量這個觀念引進數學, 為微積分的發展舖平了道路, 而且與代數的結合, 同時也帶來幾何學根本之改變。 也因為如此文藝復興時代的數學才得以超越古希臘人的成就。 1637 年笛卡兒在他的《 幾何學》中奠定了解析幾何的基礎 --- 使平面上的曲線與有兩個 未知數的代數方程式之間建立了聯繫, 這對變量數學的建立起著決定性的作用。 要說明笛卡兒成功之處, 我們比較一下歐幾里得與笛卡兒關於圓(假設圓心在原點)的定義:
希臘人的數學是幾何的, 阿基米德的著作中連一個公式都沒有; 甚麼都用文字與圖形來描述。到了17世紀, 人們覺得這種幾何的方法簡直是緊身衣, 最後終於把它擺脫掉。 笛卡兒採用代數的語言來表示幾何性質, 這使得他提出了許多定理的簡單證明, 而這些定理若用傳統的幾何方法來處理是極其困難的。 這裡笛卡兒最重要的貢獻將代數由文字敘述式轉變為以符號描述的 方程式, 從此代數與幾何不再是兩門獨立的數學分支, 並且它們表達了相同的真理。這是整個數學發展史最重要的旅程碑, 也是有史以來精確科學最大的一次進步。 想瞭解數學但不使用方程式, 猶如想瞭解偉大的藝術卻不看畫, 這絕對是不可能的。 把幾何從可見的範疇、把代數從數量或大小的觀念解脫出來, 然後兩者結合不再有代數與幾何之分、並超越圖像與計算的基本限制, 而形成「 函數論」偉大結構, 這就是文藝復興之後數學最大的成就。 『 當代數與幾何沿著它們各自的道路獨立前進時, 其進展是緩慢的, 而且應用 範圍也有許多限制。但是, 當這兩門學科結合在一起, 它們相互從對方汲取新鮮的活力, 相輔相成, 並且以快速的步伐邁向完美。』 ---J. Lagrange(1736$\sim$1814)--- 對於深刻的思想家而言, 笛卡兒的幾何便有一種要超越三度經驗空間的傾向。 例如, 空間的點不再像古希臘數學家侷限在可見的範疇而代之以座標 $(x,y,z)$, 此時我們已不再有任何理由反對更一般的形式 $(x_1, x_2, \ldots,x_n)$。 再以乘冪而言, 其起源是面積: $a^{2}$、體積: $a^{3}$, 但是當乘冪脫離了原來的限制, 經由無理指數、複數指數而進入「 函數」的領域時, 它便成為一個映射(map)或 關係(relation), 這就是進入高維度空間的第一步。函數是一個變量對另一個變量的依賴關係的抽象模型, 我們把數學中專門研究函數的領域叫做 分析(或 數學分析), 有時候也稱作無窮小量分析, 是因為無窮小量之概念是研究函數的重要工具。 在現代的觀念中, 無窮小法就是極限的方法。 數學中的極限法的創造是對那些不能夠用算術、 代數或幾何的方法求解的問題進行探索的結果。 只有當「無窮小量」的概念轉換成「比任何可能的數都要小」的觀念時, 才產生變數的概念, 從而解決極限的問題。 當這種變數脫離原有 「 數量大小」 的性質, 極限不再侷限在對某一個數值的趨近, 那麼它就提昇到函數的地位, 它本身就是逼近, 便是過程與運算, 所以極限不是一種「狀態」而是一種關係(relation)。 [註解]:
3. 函數的基本觀念『 這本書《無窮分析引論》可能是最具影響力的現代教科書。 正是這一著作使函數概念成為了數學的基礎。 它普及了對數的指數定義以及三角函數的比率定義。 它明確了代數函數和超越函數之間的差異以及初等函數和高等函數之間的差異。 它開發了極座標的使用和曲線的參數表示的使用。 現在很多我們習以為常的記法都來自於它。 一句話, 《無窮分析引論》為初等分析所做的一切就如同歐幾里德的幾何原本為幾何所做的一切一樣。』 --- Carl Boyer (數學史學家) --- Euler 是第一個突出函數概念的數學家, 並且對所有的初等函數及其微分與積分做了系統研究與分類。 他在這本書中把數學分析定義為:「 對函數及其性質的研究」。 他首先區分了 常量與 變量並於 1749 年定義函數為: 『 若某些量與其它量有關, 後者有變化時前者也跟著變化, 則前量稱為後量的函數。 無論以任何方式決定此關連都可以。 所以, 若 $x$ 為一變量, 所有由它所決定的或以任何方式與之關連的都叫做它的函數。』 這裡前量就是 $y$ 後量為 $x$, 表示為現代的語言為 $y=f(x)$。 這樣定義函數的方式已足夠, 但是更深層的發展一個比較廣義且抽象的定義實屬必要。 定義 3.1.(函數): 若函數 $f$ 是由集合 $A$ 映入集合 $B$ 的映射, 則存在非空有元素對 $(x,y)\in f$, 其中 $x\in X \subset A$、 $y\in Y \subset B$, 且對於每一個 $x \in X$, 恰存在一個 $y\in Y$ 與之對應。 在這裡我們清楚看到函數從 Euler 到 Cauchy 的演變:
以牛頓運動第二定律 $F=ma$ 而言就是函數, 它告訴我們: 一個不變的力作用到一個質量不變的物體上, 將產生一個不變的加速度。 按定義 3.1 我們可以直接這麼說 : 一對一映射是函數, 多對一映射是函數, 一對多映射不是函數。 或許還是請笛卡兒來幫忙比較容易。 我們看四個方程式:
對橢圓 $\frac{x^{2}}{a^{2}}+\frac{y^{2}}{b^{2}}=1$ 而言, 當你固定 $x_{1}$ 值在圖形上會得到兩個不同的 $y$ 值 : $y_1$ 與 $y_{2}$, 因此不是函數; 直觀而言, 如果垂直切下會得到兩個(含)以上的交點就不是函數; 或者從方程式來看, 若 $y$ 出現的不是一次, 就鐵定不是函數, 例如: $\frac{x^{2}}{a^{2}}+\frac{y^{2}}{b^{2}}=1$, $x=y^{2}$。 藉此概念容易判斷多項式函數、 有理函數都是函數 \begin{eqnarray*} y&=&f(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots+a_{1}x+a_{0}, \\[4mm] y&=&\frac{f(x)}{g(x)}=\frac{a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots+a_{1}x+a_{0}} {b_{m}x^{m}+b_{m-1}x^{m-1}+\cdots +b_{1}x+b_{0}}, \end{eqnarray*} 其中 $a_{i}$, $b_j\in {\Bbb R}$, $i=0, 1,2, \ldots, n$, $j=0,1,2, \ldots, m$。 因為 $y$ 都是一次方, 或者由函數之定義, 固定一個 $x$ 的值, 得到是一個固定的 $y$ 值。 腳踏兩條船是不可能成為函數的! 如果你想要成為大眾情人, 由函數的角度來看, 你必須落在值域而不是定義域。 我們看兩個函數 $$ y={1\over x^2 -2x +3}, y={1\over x^2 +2x-3}. $$ 由這兩個函數的外表即表現式來看並沒有太大之差異, 但由圖形(圖1)馬上就看出兩者之不同處。 學習數學心中始終要有例子(example)來幫助你思考, 否則會身陷大海, 不知何去何從! 研究函數有幾個基本原則, 假設已知函數 $y=f(x)$ 之圖形, 則有
反演直觀而言就是將有限區間 $0\lt x\lt 1$ 變換為無限區間 $1\lt x\lt \infty$ $$ 0\to {1\over 0}=\infty, \infty\to {1\over \infty}=0, 1\to {1\over 1} =1. $$ 這好比莎士比亞的名句: 『 即使身陷胡桃核內, 我仍將自己視為擁有無限空間的君王。』 --- 莎士比亞 (William Shakespeare, 1546$\sim$1616) --- 這個變換主要的特色是當 $x=1$ 時 $x=\frac{1}{x}$, 因此是以直線$x=1$為對稱軸(視為一面鏡子)將 $0\leq x\leq 1$ 的圖形拉到 $1\leq x\leq\infty$ 這個區域, 而將 $1\leq x\leq\infty$ 的圖形壓縮到 $0\leq x\leq 1$。 大部分的函數可藉由這八個基本法則而得其圖形。 例題3.1: 試討論函數 $$ y=\sin {1\over x}, y= x\sin {1\over x}, y=x^2 \sin {1\over x}, x\in (0,\infty) $$
解: 因為 $y=\sin {1\over x}$ 是奇函數我們只考慮 $x\in (0,\infty)$ 的區域, 並與 $y=\sin x$ 相比較 $$ \sin x= \sin {1\over x} \quad\Longleftrightarrow\quad x = 1. $$ 顯然 $x=1$ 是兩個函數重疊之處也就是定點 (fixed point)。 根據反演變換我們將 $y=\sin x$ 中 $0\lt x\le 1$ 這段正弦圖形平緩地拉到 $1\le x\lt \infty$, 而 $1\lt x\lt \infty$ 這區間的無窮多個正弦波則全部擠壓到 $0\lt x\le 1$ 這區間並以振幅為 1 在介於 $y=\pm 1$ 這兩條線之間快速震盪。 至於 $y= x\sin {1\over x}$ 與 $y=x^2 \sin {1\over x}$ 我們只需認識到 $y=x, x^2$ 代表振幅(其實是包絡線(envelope)), 所以這兩個函數本質上與 $y=\sin {1\over x}$ 類似, 在 $0\lt x\le 1$ 這區間以在介於 $y=\pm x, \pm x^2$ 這兩條線(拋物線)之間快速震盪。
---本文作者為國立交通大學應用數學系退休教授--- |