張喜安

【摘 要】 目前，關(guān)于無(wú)窮，有經(jīng)典微積分的潛無(wú)窮，還有康托的實(shí)無(wú)窮，而對(duì)于黑格爾的無(wú)限小定義，則在數(shù)學(xué)界還沒(méi)有被注意到。我們認(rèn)為，只有黑格爾的無(wú)限小定義才指出了無(wú)窮的本質(zhì)。我將在本文詳細(xì)介紹黑格爾的無(wú)限小定義，并且根據(jù)這個(gè)定義指出微積分存在的問(wèn)題，這里的微積分指的是萊布尼茨微積分和經(jīng)典微積分。關(guān)于康托的實(shí)無(wú)窮，在我的論文“康托集合論為什么是錯(cuò)誤的理論”和“康托集合論的錯(cuò)誤的證據(jù)”中，已經(jīng)作了詳細(xì)的論述，這里就不討論了。而對(duì)于萊布尼茨的無(wú)窮小概念，因?yàn)榇嬖谒^貝克來(lái)悖論而被否定了，這里也就不再加以討論了。再有，在經(jīng)典微積分中還有一個(gè)無(wú)窮小的定義，在本文中，我們將根據(jù)黑格爾的無(wú)限小定義指出其存在的問(wèn)題。

【關(guān)鍵詞】 黑格爾無(wú)限小定義;表明;微積分;存在;問(wèn)題

一、黑格爾的無(wú)限小定義

1.準(zhǔn)備

為了引入黑格爾的無(wú)限小定義，我們必須在理論上做一些準(zhǔn)備工作，在我的論文“康托集合論存在的矛盾”和“超實(shí)集合論”中提出了超實(shí)變量、超實(shí)數(shù)、超實(shí)數(shù)點(diǎn)和超實(shí)函數(shù)的概念，這些概念將為黑格爾無(wú)限小定義的引入提供幫助，另一方面，因?yàn)楹诟駹柕臒o(wú)限小定義反映了無(wú)限小的本質(zhì)，而這也為超實(shí)函數(shù)理論提供了重要的理論上的根據(jù)，為此，我們將超實(shí)變量、超實(shí)數(shù)、超實(shí)數(shù)點(diǎn)和超實(shí)函數(shù)的概念簡(jiǎn)單介紹如下：

超實(shí)變量、超實(shí)數(shù)、超實(shí)數(shù)點(diǎn)和超實(shí)函數(shù)的定義：如果有實(shí)變量y和x，則有超實(shí)變量Y=y+dy和X=x+dx。超實(shí)變量所對(duì)應(yīng)的數(shù)則為超實(shí)數(shù)，所對(duì)應(yīng)的點(diǎn)則為超實(shí)數(shù)點(diǎn)，所對(duì)應(yīng)的函數(shù)則為超實(shí)函數(shù)。上式中的實(shí)變量x表示的是超實(shí)數(shù)點(diǎn)到原點(diǎn)的距離，dx表示的是超實(shí)數(shù)點(diǎn)所具有的無(wú)限小長(zhǎng)度，它小于任意正實(shí)數(shù)，但是不等于0，并且遵守算術(shù)公理。這里要特別注意的是，無(wú)限小量dx和經(jīng)典微積分中的微分概念有本質(zhì)的區(qū)別。如果有實(shí)函數(shù)y=f（x），則有超實(shí)函數(shù)Y=y+dy=f（X）=f（x+dx），于是有dy=f（x+dx）-f（x）。請(qǐng)注意，這里的dy表示y軸上的點(diǎn)所具有的無(wú)限小長(zhǎng)度，dx表示x軸上的點(diǎn)所具有的無(wú)限小長(zhǎng)度。

這里要特別指出的是，超實(shí)變量X=x+dx表示的是客觀實(shí)際存在的變量，實(shí)變量x和超實(shí)變量X=x+dx比較，是客觀實(shí)際存在的變量X=x+dx去掉dx而得到的變量，而這就是失真，就是錯(cuò)誤。因此從超實(shí)變量的角度看，使用實(shí)變量x表示客觀實(shí)際存在的變量就是錯(cuò)誤的，至少是存在問(wèn)題的。同樣的，超實(shí)函數(shù)Y=f（x+dx）表示的才是客觀實(shí)際存在的函數(shù)，而實(shí)函數(shù)y=f（x）是超實(shí)函數(shù)Y=f（x+dx）去掉dx而得到的函數(shù)，這就是失真。因此，從超實(shí)函數(shù)的角度看，使用實(shí)函數(shù)表示客觀實(shí)際存在的函數(shù)就是錯(cuò)誤的，至少是存在問(wèn)題的。

2.黑格爾的無(wú)限小定義

黑格爾是德國(guó)19世紀(jì)著名的唯心主義哲學(xué)家，他對(duì)辯證法有卓越的貢獻(xiàn)，而黑格爾關(guān)于無(wú)限小的定義就是黑格爾使用辯證法對(duì)數(shù)學(xué)所作的重要貢獻(xiàn)?，F(xiàn)在將黑格爾的無(wú)限小定義引述如下：

黑格爾的無(wú)限小定義：量所具有的質(zhì)的方面的量的規(guī)定性就是無(wú)限小。[5]

對(duì)于上面的黑格爾的無(wú)限小定義，了解辯證法的同志可能已經(jīng)理解了它的含義，但是，我還要根據(jù)個(gè)人的理解給出如下的解釋，如果有不當(dāng)之處請(qǐng)批評(píng)指正。

上面黑格爾的無(wú)限小定義中提到的量所具有的質(zhì)的方面，指的是量和質(zhì)是辯證統(tǒng)一的關(guān)系，量具有質(zhì)的方面，是辯證法的性質(zhì)所決定，例如，陰和陽(yáng)是辯證統(tǒng)一的關(guān)系，因此陽(yáng)中有陰，陰中有陽(yáng)，這就是關(guān)于量具有質(zhì)的方面的解釋。關(guān)于質(zhì)的量的規(guī)定性指的是，任意一個(gè)事物都具有確定的質(zhì)，當(dāng)與這個(gè)質(zhì)對(duì)應(yīng)的量在一定的范圍內(nèi)變化時(shí)，這個(gè)事物的質(zhì)保持不變，但是當(dāng)這個(gè)量的變化超出一定的范圍，則與其對(duì)應(yīng)的質(zhì)就發(fā)生了變化，與這個(gè)質(zhì)對(duì)應(yīng)的事物就變?yōu)榱硗庖环N事物了。例如，水在0°到100°以內(nèi)變化時(shí)，水以及它的性質(zhì)都保持不變，如果溫度超出0°到100°的范圍，那么水以及它的性質(zhì)也就不存在了。這就是對(duì)于質(zhì)的量的規(guī)定性的解釋。

上面一節(jié)的超實(shí)變量的表達(dá)式為X=x+dx，我個(gè)人的理解，黑格爾的無(wú)限小定義就是給上面的超實(shí)變量的無(wú)限小量dx所作的定義。這里的超實(shí)變量X和黑格爾的無(wú)限小定義中的量指的都是客觀實(shí)際存在的變量。超實(shí)變量X的存在和變化的根據(jù)就是它的質(zhì)的方面的存在和變化，如果它的質(zhì)的方面存在，它就存在，如果它的質(zhì)的方面變化了，它就不存在了，那么超實(shí)變量的這一個(gè)值就變?yōu)榱硗獾囊粋€(gè)值了。而超實(shí)變量公式中的無(wú)限小量dx就是量的質(zhì)的方面的量的規(guī)定性，也就是說(shuō)，無(wú)限小量dx在一定的范圍內(nèi)變化，則量和它的質(zhì)的方面就保持不變，如果無(wú)限小量dx的變化超出了一定的范圍，則量的質(zhì)的方面和量本身就發(fā)生了變化，則量就從這一個(gè)值變?yōu)榱硗獾囊粋€(gè)值了。從以上分析中可以看出，黑格爾給無(wú)限小量dx所作的定義，指出了無(wú)限小量dx就是超實(shí)變量X存在和變化的根據(jù)，同時(shí)也就指出了無(wú)限小量dx的本質(zhì)。值得注意的是，黑格爾在1812年出版的邏輯學(xué)上冊(cè)中就給出了上面的無(wú)限小定義，但是，一直沒(méi)有引起數(shù)學(xué)界的注意，而且距離現(xiàn)在已經(jīng)有200多年了。現(xiàn)在看來(lái)，黑格爾的無(wú)限小定義，不僅是他對(duì)數(shù)學(xué)的卓越貢獻(xiàn)，而且在現(xiàn)在還具有重要的意義。

二、根據(jù)黑格爾的無(wú)限小定義看微積分存在的問(wèn)題

1.微積分使用實(shí)數(shù)表示變量存在的問(wèn)題

為了指出微積分使用實(shí)數(shù)表示變量存在的問(wèn)題，現(xiàn)將同濟(jì)大學(xué)數(shù)學(xué)教研室主編的高等數(shù)學(xué)教材中的兩段關(guān)于變量的概念引述如下：“在觀察自然現(xiàn)象或技術(shù)過(guò)程中，常常會(huì)遇到各種不同的量，其中有的量在過(guò)程中不起變化，也就是保持一定的數(shù)值，這種量叫常量;還有一些量在過(guò)程中是變化著的，也就是可以取不同的數(shù)值，這種量叫變量，設(shè)變量x所取數(shù)值的全體組成數(shù)集M，那未變量x也可看作是表示數(shù)集M中任何元素的符號(hào)?！边@個(gè)定義可以代表微積分使用實(shí)數(shù)表示變量的觀點(diǎn)，如果這個(gè)定義存在問(wèn)題，則表明微積分使用實(shí)數(shù)表示變量存在問(wèn)題。

美國(guó)著名數(shù)學(xué)家魯濱遜在他的名著《非標(biāo)準(zhǔn)分析》中，使用數(shù)理邏輯的方法證明了無(wú)限小數(shù)的存在，并且指出“在實(shí)數(shù)之后，下一個(gè)十分自然的步驟，即引入無(wú)限小，竟被完全忽略了……”