【Sonic π】電路學之補充《四》無窮小算術‧中上

XDF-scale

Universe_expansion2

300px-Hubble_01

History_of_the_Universe.svg

Carl_Friedrich_Gauss

數學王子

200px-Floor_function.svg

200px-Ceiling_function.svg

Gamma-area.svg

歐拉 \gamma 推導

220px-Int_function.svg

軟體語言中的 INT(x) 函數

 

hyperinteger

 

Indeterminate_form_-_0x

0^0 未定式 \lim \limits_{x \to0^+} 0^x = 0

Indeterminate_form_-_x_over_x3

0/0 未定式 \lim \limits_{x \to 0} \frac{x}{x^3} = \infty

Indeterminate_form_-_sin_x_over_x_close

0/0 未定式 \lim \limits_{x \to 0} \frac{\sin(x)}{x} = 1

sin-x

\lim \limits_{x \to 0} \frac{\sin(x)}{x} = 1 證明圖

hyperrealsystem

threekindnumber

220px-Rectangular_function.svg

莊子‧雜篇‧天下

惠施多方,其書五車,其道舛駁,其言也不中。厤物之意,曰:『至大無外,謂之大一﹔至小無內,謂之小一。無厚,不可積也,其大千里。天與地卑,山與澤平。日方中方睨,物方生方死。大同而與小同異,此之謂【小同異】﹔萬物畢同畢異,此之謂【大同異】。南方無窮而有窮。今日適越而昔來。連環可解也。我知天之中央,燕之北、越之南是也。泛愛萬物,天地一體也 。』……

一九九零年發射的『哈伯太空望遠鏡』 HST Hubble Space Telescope 是以美國著名的天文學家『愛德溫‧鮑威爾‧哈伯』 Edwin Powell Hubble 為名,是一架在地球軌道上的望遠鏡。由於它位於地球大氣層之上,因此獲得了地上望遠鏡所沒有的好處:影像不受大氣湍流的影響、視相度極好,更無大氣散射造成的背景光干擾,甚至能觀測會被臭氧層吸收的紫外線。哈伯太空望遠鏡』彌補了地面觀測的不足,幫助天文學家『理解』和『解答』了許多天文學上的『基本問題』,使得人類對『宇宙緣起』有了更深的『認識』。

約翰‧卡爾‧弗里德里希‧高斯』 Johann Karl Friedrich Gauß 【Gauss】是德國著名數學家、物理學家、天文學家和大地測量學家,生於布倫瑞克,卒於哥廷根。高斯被認為是歷史上最重要的數學家之一,而且有『數學王子』的美譽。一八零八年,在高斯的數學巨著《算術研究》 Disquisitiones Arithmeticae 首度出現了一個形式符號 [x] 它表示等於或小於實數 x 的『最大整數』,也就是說 x - 1 <  [x] \leq x。今天這個『高斯符號』又稱之為『底函數』  floor function floor(x) = \lfloor x\rfloor ,與另一『頂函數』 ── 是指比實數 x 大的『最小整數 ── ceiling functions ceiling(x) = \lceil x \rceil 成為一對,經常出現於『數學』和『計算機科學』之中。這個『高斯符號』有什麼重要的嗎?通常一個好的『符號』能使人清晰『表達』複雜和困難的『概念』,而且讓人容易『理解』所說的『內容』,因此是十分重要的啊!!

舉例來說,歐拉研究過『調和級數』 harmonic series  \sum \limits_{k=1}^n \frac{1}{k} 和『自然對數』 natural logarithm  \ln(a)=\int_1^a \frac{1}{x}\,dx 之間的關係,雖然這兩者都是『發散的』 ──  值為無限大 \infty ── 它們的『差值』卻是一個叫做『歐拉-馬歇羅尼常數』的 \gamma 值。它可以定義如下
\gamma = \lim \limits_{n \rightarrow \infty } \left( \sum \limits_{k=1}^n \frac{1}{k} - \ln(n) \right)
=\int_1^\infty\left({1\over\lfloor x\rfloor}-{1\over x}\right)\,dx.
,計算後得到
\gamma = \sum \limits_{k=2}^\infty (-1)^k \frac{ \left \lfloor \log_2 k \right \rfloor}{k}
= \tfrac12-\tfrac13 + 2\left(\tfrac14 - \tfrac15 + \tfrac16 - \tfrac17\right) + 3\left(\tfrac18 - \dots - \tfrac1{15}\right) + \dots
= 0.57721 56649 \cdots

。 對一個不是『整數』的實數 x,『高斯函數』也可以表示為

\lfloor x\rfloor = x - \frac{1}{2} + \frac{1}{\pi} \sum \limits_{k=1}^\infty \frac{\sin(2 \pi k x)}{k}

。因此說『超實數系』裡也有『超整數』 hyperinteger 這就一點也不奇怪了吧!如果只從『形式定義』上講,一個『超整數』就是一個『超實數』的『整數部份』,也就是說

[r^{*}] = [ st(r + \delta x)] = [r]

, 可能沒有什麼意思。假使設想『超實數系』既有『無窮小\delta x,那它的『倒數』 reciprocal \frac{1}{\delta x} 就是『無限大』,也可以叫做『巨量』 Huge,一般用 H 表示。如果說『某數K 是個『巨量』,就是講 \frac{1}{K} 是『無窮小』數 \epsilon,這樣 \frac{\delta x}{\epsilon}\frac{H}{K}H \cdot \epsilonH - K 又是些什麼樣的數呢?它們被稱作『未定式』 Indeterminate form,因為假使不知道它們的『來歷』,我們並不能『確定』最終的『運算結果』 ── 是無窮小、有限量或是無限大 ── 。純就『形式』上講,它門是 \frac{0}{0}\frac{\infty}{\infty}\infty \cdot 0\infty - \infty 的計算,然而這可在『代數運算』是不被允許的啊!但是如果x > 0,那麼不管說 x 多大多小 0^{x} = 0,因此即使 x 是『正無窮小』數 \delta x,也應該得到 0^{\delta x} = 0 的『極限結果』的吧!同樣的 \frac{\delta x}{{\delta x}^3} = \frac{1}{{\delta x}^2} 是『趨近』於『無限大』的啊!也就是說『無窮小』與『無限大』也是有『等級』 Order 的,如果忽略了『這件事』,隨便混談『至大』和『至小』,大概就是『非量』與『非非量』的『迷惑』之所從來的了!!

舉例來說,左圖中『三角形\triangle OBB^{'} 的面積,小於『扇形\sphericalangle OBB^{'},更小於『四邊形\Box OBCB^{'},於是

\sin{\theta} \cos{\theta} < \theta < \tan{\theta}

,因此 \cos{\theta} < \frac{ \theta}{\sin{\theta} } < \frac{1}{\cos{\theta}}

,然而 \theta \approx 0, \ \cos{\theta} \approx 1},所以說 \frac{\sin{\theta} } { \theta} \approx 1 的啊!也可以講當 \theta 很小的時候,\theta\sin{\theta} 是『同等級』的啊!!

假使我們想像『巨量 – 巨量 = 常量』的『情況』,就彷彿是用著超級『望遠鏡』來『觀察』遙遠的『銀河系』,然而因為『太遙遠』了,有時它不過祇是天上的『一點』亮光,甚至它的『附近』還有著『星光』點點,這難到說就是『超整數』所想『描繪』的『天文圖象』的嗎??

由於『無窮小』數滿足『代數法則』,自然人們自可將『狄拉克 \delta(x) 函數』看成『底為 \delta x 高為 \frac{1}{\delta x} 的矩形』,從『直覺』上掌握物理上『衝量』 impulse 一詞所指的『情境』的啊!!

一九六九年美國威斯康辛大學數學系教授『杰羅姆‧凱斯勒』 H. Jerome Keisler 不但盛讚 德國數學家『亞伯拉罕‧魯濱遜』 Abraham Robinson 為『微積分』史上三百年來『最重要』發展的第一人,並且推動『無窮小』數之『教育』與『學習』,而且寫作了『Elementary Calculus: An Infinitesimal Approach』一書推廣這個『理念』,有興趣的讀者可以到『凱斯勒』的網頁『免費』下載『閱讀』該書的喔!!