張喜安
【摘 要】 目前,關于無窮,有經(jīng)典微積分的潛無窮,還有康托的實無窮,而對于黑格爾的無限小定義,則在數(shù)學界還沒有被注意到。我們認為,只有黑格爾的無限小定義才指出了無窮的本質(zhì)。我將在本文詳細介紹黑格爾的無限小定義,并且根據(jù)這個定義指出微積分存在的問題,這里的微積分指的是萊布尼茨微積分和經(jīng)典微積分。關于康托的實無窮,在我的論文“康托集合論為什么是錯誤的理論”和“康托集合論的錯誤的證據(jù)”中,已經(jīng)作了詳細的論述,這里就不討論了。而對于萊布尼茨的無窮小概念,因為存在所謂貝克來悖論而被否定了,這里也就不再加以討論了。再有,在經(jīng)典微積分中還有一個無窮小的定義,在本文中,我們將根據(jù)黑格爾的無限小定義指出其存在的問題。
【關鍵詞】 黑格爾無限小定義;表明;微積分;存在;問題
一、黑格爾的無限小定義
1.準備
為了引入黑格爾的無限小定義,我們必須在理論上做一些準備工作,在我的論文“康托集合論存在的矛盾”和“超實集合論”中提出了超實變量、超實數(shù)、超實數(shù)點和超實函數(shù)的概念,這些概念將為黑格爾無限小定義的引入提供幫助,另一方面,因為黑格爾的無限小定義反映了無限小的本質(zhì),而這也為超實函數(shù)理論提供了重要的理論上的根據(jù),為此,我們將超實變量、超實數(shù)、超實數(shù)點和超實函數(shù)的概念簡單介紹如下:
超實變量、超實數(shù)、超實數(shù)點和超實函數(shù)的定義:如果有實變量y和x,則有超實變量Y=y+dy和X=x+dx。超實變量所對應的數(shù)則為超實數(shù),所對應的點則為超實數(shù)點,所對應的函數(shù)則為超實函數(shù)。上式中的實變量x表示的是超實數(shù)點到原點的距離,dx表示的是超實數(shù)點所具有的無限小長度,它小于任意正實數(shù),但是不等于0,并且遵守算術公理。這里要特別注意的是,無限小量dx和經(jīng)典微積分中的微分概念有本質(zhì)的區(qū)別。如果有實函數(shù)y=f(x),則有超實函數(shù)Y=y+dy=f(X)=f(x+dx),于是有dy=f(x+dx)-f(x)。請注意,這里的dy表示y軸上的點所具有的無限小長度,dx表示x軸上的點所具有的無限小長度。
這里要特別指出的是,超實變量X=x+dx表示的是客觀實際存在的變量,實變量x和超實變量X=x+dx比較,是客觀實際存在的變量X=x+dx去掉dx而得到的變量,而這就是失真,就是錯誤。因此從超實變量的角度看,使用實變量x表示客觀實際存在的變量就是錯誤的,至少是存在問題的。同樣的,超實函數(shù)Y=f(x+dx)表示的才是客觀實際存在的函數(shù),而實函數(shù)y=f(x)是超實函數(shù)Y=f(x+dx)去掉dx而得到的函數(shù),這就是失真。因此,從超實函數(shù)的角度看,使用實函數(shù)表示客觀實際存在的函數(shù)就是錯誤的,至少是存在問題的。
2.黑格爾的無限小定義
黑格爾是德國19世紀著名的唯心主義哲學家,他對辯證法有卓越的貢獻,而黑格爾關于無限小的定義就是黑格爾使用辯證法對數(shù)學所作的重要貢獻?,F(xiàn)在將黑格爾的無限小定義引述如下:
黑格爾的無限小定義:量所具有的質(zhì)的方面的量的規(guī)定性就是無限小。[5]
對于上面的黑格爾的無限小定義,了解辯證法的同志可能已經(jīng)理解了它的含義,但是,我還要根據(jù)個人的理解給出如下的解釋,如果有不當之處請批評指正。
上面黑格爾的無限小定義中提到的量所具有的質(zhì)的方面,指的是量和質(zhì)是辯證統(tǒng)一的關系,量具有質(zhì)的方面,是辯證法的性質(zhì)所決定,例如,陰和陽是辯證統(tǒng)一的關系,因此陽中有陰,陰中有陽,這就是關于量具有質(zhì)的方面的解釋。關于質(zhì)的量的規(guī)定性指的是,任意一個事物都具有確定的質(zhì),當與這個質(zhì)對應的量在一定的范圍內(nèi)變化時,這個事物的質(zhì)保持不變,但是當這個量的變化超出一定的范圍,則與其對應的質(zhì)就發(fā)生了變化,與這個質(zhì)對應的事物就變?yōu)榱硗庖环N事物了。例如,水在0°到100°以內(nèi)變化時,水以及它的性質(zhì)都保持不變,如果溫度超出0°到100°的范圍,那么水以及它的性質(zhì)也就不存在了。這就是對于質(zhì)的量的規(guī)定性的解釋。
上面一節(jié)的超實變量的表達式為X=x+dx,我個人的理解,黑格爾的無限小定義就是給上面的超實變量的無限小量dx所作的定義。這里的超實變量X和黑格爾的無限小定義中的量指的都是客觀實際存在的變量。超實變量X的存在和變化的根據(jù)就是它的質(zhì)的方面的存在和變化,如果它的質(zhì)的方面存在,它就存在,如果它的質(zhì)的方面變化了,它就不存在了,那么超實變量的這一個值就變?yōu)榱硗獾囊粋€值了。而超實變量公式中的無限小量dx就是量的質(zhì)的方面的量的規(guī)定性,也就是說,無限小量dx在一定的范圍內(nèi)變化,則量和它的質(zhì)的方面就保持不變,如果無限小量dx的變化超出了一定的范圍,則量的質(zhì)的方面和量本身就發(fā)生了變化,則量就從這一個值變?yōu)榱硗獾囊粋€值了。從以上分析中可以看出,黑格爾給無限小量dx所作的定義,指出了無限小量dx就是超實變量X存在和變化的根據(jù),同時也就指出了無限小量dx的本質(zhì)。值得注意的是,黑格爾在1812年出版的邏輯學上冊中就給出了上面的無限小定義,但是,一直沒有引起數(shù)學界的注意,而且距離現(xiàn)在已經(jīng)有200多年了。現(xiàn)在看來,黑格爾的無限小定義,不僅是他對數(shù)學的卓越貢獻,而且在現(xiàn)在還具有重要的意義。
二、根據(jù)黑格爾的無限小定義看微積分存在的問題
1.微積分使用實數(shù)表示變量存在的問題
為了指出微積分使用實數(shù)表示變量存在的問題,現(xiàn)將同濟大學數(shù)學教研室主編的高等數(shù)學教材中的兩段關于變量的概念引述如下:“在觀察自然現(xiàn)象或技術過程中,常常會遇到各種不同的量,其中有的量在過程中不起變化,也就是保持一定的數(shù)值,這種量叫常量;還有一些量在過程中是變化著的,也就是可以取不同的數(shù)值,這種量叫變量,設變量x所取數(shù)值的全體組成數(shù)集M,那未變量x也可看作是表示數(shù)集M中任何元素的符號?!边@個定義可以代表微積分使用實數(shù)表示變量的觀點,如果這個定義存在問題,則表明微積分使用實數(shù)表示變量存在問題。
美國著名數(shù)學家魯濱遜在他的名著《非標準分析》中,使用數(shù)理邏輯的方法證明了無限小數(shù)的存在,并且指出“在實數(shù)之后,下一個十分自然的步驟,即引入無限小,竟被完全忽略了……”