四川省攀枝花市老年科技工作者協(xié)會 張喜安
眾所周知,從幾何的角度,微積分理論首先要解決的兩個問題是:過曲線上一點的切線的斜率和曲邊梯形的面積,前者是求函數(shù)的導(dǎo)數(shù),后者是求函數(shù)的定積分。因此,本文分三部分,即超實函數(shù)理論簡介、導(dǎo)數(shù)部分和定積分部分。現(xiàn)在分別敘述如下:
超實函數(shù)定義:令xs=x+dx為超實變量,則實變量x表示超實變量xs在數(shù)軸上的位置,dx表示與超實變量xs對應(yīng)的點的性質(zhì)(在這里請?zhí)貏e注意,dx與微分的概念有本質(zhì)的區(qū)別),dx為無限小量,它小于任意正實數(shù),但是不等于0,它的幾何意義為超實變量xs在數(shù)軸上對應(yīng)點的無限小長度。與超實變量xs對應(yīng)的點為超實數(shù)點,與超實數(shù)點對應(yīng)的集合為超實數(shù)點的集合,與超實變量對應(yīng)的函數(shù)為超實函數(shù)。
根據(jù)上面的定義,如果有實變量y和x,則有超實變量ys=y+dy和xs=x+dx,如果有實函數(shù)y=f(x),則有超實函數(shù)ys=f(xs)=f(x+dx),又因為ys=y+dy,所以dy=ys-y=f(x+dx)-f(x),公式dy=f(x+dx)-f(x)很重要,以后經(jīng)常用到。
對于超實函數(shù)ys=f(x+dx),在研究康托爾集合論存在的錯誤的過程中起了重要的作用,并且已經(jīng)認(rèn)識到它是一個客觀真實存在的函數(shù)?,F(xiàn)在我們?nèi)サ暨@個函數(shù)中的dx,就得到與上述超實函數(shù)對應(yīng)的實函數(shù)f(x),由于實函數(shù)f(x)是客觀真實存在的超實函數(shù)ys=f(x+dx)去掉dx而得到的函數(shù),因此實函數(shù)f(x)相對于超實函數(shù)ys=f(x+dx)而言,就是一個失真函數(shù)。這個概念一時難以理解,在后面使用超實函數(shù)理論論述微積分理論得到好處的時候,人們就會認(rèn)識到我們?yōu)槭裁窗褜嵑瘮?shù)f(x)稱之為失真函數(shù)。
根據(jù)上述超實函數(shù)理論,如果有實函數(shù)y=f(x),就有超實函數(shù)ys=f(x+dx),并且 dy=f(x+dx)-f(x),如果(x,y)為曲線 y=f(x)上的任意一點,則dx的幾何意義為該點沿x軸方向的無限小長度,dy的幾何意義為該點沿y軸方向的無限小長度。這時,以dx和dy為兩個直角邊的直角三角形是一個無限小三角形,則即為過曲線y=f(x)上的任意點(x,y)的切線的斜率,同時也就是該點的導(dǎo)數(shù)。根據(jù)上述理解,我們就可以給出超實函數(shù)ys=f(x+dx)和與之對應(yīng)的實函數(shù)y=f(x)的導(dǎo)數(shù)的定義如下:
定義 如果有實函數(shù)y=f(x),則有與之對應(yīng)的超實函數(shù)ys=f(x+dx),這時即為超實函數(shù)ys=f(x+dx)的導(dǎo)數(shù),如果去掉含有無限小dx的部分,就得到實函數(shù)y=f(x)的導(dǎo)數(shù)。
超實函數(shù)ys=f(x+dx)和與其對應(yīng)的實函數(shù)f(x)的導(dǎo)數(shù)可以根據(jù)上述的導(dǎo)數(shù)定義計算出來,現(xiàn)在舉例說明如下:
如果有實函數(shù)y=x2和與其對應(yīng)的超實函數(shù)ys=(x+dx)2,則超實函數(shù)ys=(x+dx)2的導(dǎo)數(shù)即為果去掉dx ,則實函數(shù)y=x2的導(dǎo)數(shù)就是y'=2x。
從以上論述可以看出,導(dǎo)數(shù)的定義和計算都異常簡單明了,和經(jīng)典微積分比較,沒有使用極限理論,這都是因為使用超實函數(shù)理論的結(jié)果。
微積分的理論在歷史上經(jīng)歷了非常曲折的道路,萊布尼茨的微積分理論,在歷史上曾經(jīng)取得輝煌的成就,但是由于貝克萊悖論而被否定了,被現(xiàn)在的以極限理論為基礎(chǔ)的所謂經(jīng)典微積分所取代。難道以極限理論為基礎(chǔ)的經(jīng)典微積分就不存在問題嗎?日本數(shù)學(xué)家野口 洪在他的《拓?fù)鋵W(xué)的基礎(chǔ)和方法》一書中認(rèn)為,極限理論存在不明確性的問題,并且指出,日本的教科書是使用拓?fù)鋵W(xué)的方法來定義導(dǎo)數(shù)的。
此外,以極限理論為基礎(chǔ)的經(jīng)典微積分理論還存在循環(huán)定義的邏輯問題。因為循環(huán)小數(shù)是使用極限的概念來定義的,而導(dǎo)數(shù)又一次使用極限概念來定義,因此就出現(xiàn)了循環(huán)定義的邏輯問題。為了解決這個問題,數(shù)學(xué)家們又給出了使用區(qū)間套的理論來定義循環(huán)小數(shù),這是否就解決了問題呢?仍然是一個問題。由此可見,以極限理論為基礎(chǔ)的經(jīng)典微積分存在的問題,并不比萊布尼茨的微積分理論少,而我們使用了超實函數(shù)的理論,上面的所有問題都一掃而光,這也就是我們?yōu)槭裁匆褂贸瑢嵑瘮?shù)理論對微積分理論加以創(chuàng)新的原因。
首先我們研究使用定積分方法來計算x軸上線段的長度。根據(jù)超實函數(shù)的理論,超實函數(shù)ys=f(x+dx)是客觀真實存在的函數(shù),而與之對應(yīng)的實函數(shù)y=f(x)則是超實函數(shù)ys=f(x+dx)去掉dx的一個失真函數(shù),同時也可以說,實函數(shù)y=f(x)是超實函數(shù)ys=f(x+dx)的一個伴隨函數(shù)。同樣的道理,實變量x也可以說是超實變量xs=x+dx的一個伴隨變量。因此,當(dāng)我們說x軸上的任意點x,則dx就表示x對應(yīng)的點的性質(zhì),它的幾何意義即為x對應(yīng)的點的無限小長度。令a和b分別為x軸上的兩個點,并且a<b,則b-a即為上述兩點間的線段的長度,這個長度應(yīng)該等于兩點間所有的點的無限小長度的算數(shù)和,即這就是使用定積分來計算x軸上線段的長度的表達(dá)式。
眾所周知,定積分的幾何意義為曲邊梯形的面積?,F(xiàn)在我們來研究以x軸上a和b兩點間的線段為底邊,以函數(shù)y=f(x)為曲邊的曲邊梯形的面積的定積分的計算方法。
如果x為a和b兩點間的一個任意值,x點的無限小長度為dx,則f(x)dx為垂直于x軸,并且與x點對應(yīng)的以dx為底邊,以f(x)為高的無限小的長方形的面積。則要求的曲邊梯形的面積即為a和b間所有的x對應(yīng)的上述的長方形的面積的算數(shù)和。即上述的曲邊梯形的面積根據(jù)對定積分的幾何意義為曲邊梯形的面積的理解,可以給出定積分的定義如下:
定義 如果有連續(xù)函數(shù)f(x),則在區(qū)間[a,b]上的定積分為
其中a為定積分的下限,b為定積分的上限,[a,b]為積分區(qū)間,f(x)dx為被積式。
從以上的敘述中可以看出,定積分的定義和計算公式的導(dǎo)出,不僅沒有用使用極限的理論,而且異常簡單明了,這充分體現(xiàn)了超實函數(shù)理論的優(yōu)越性。
這種微積分理論,由于使用了超實函數(shù)的理論,因此,這種微積分理論可以叫作超實微積分。