劉曉

（南昌工程學(xué)院 水利與生態(tài)工程學(xué)院，江西 南昌330099）

模型方法是現(xiàn)代科學(xué)的核心方法,在科學(xué)認(rèn)識活動中，常借助于理想模型來進(jìn)行分析、推理和運(yùn)算，以揭示客體所遵循的規(guī)律，數(shù)學(xué)也不例外。本文通過對科學(xué)模型方法進(jìn)行再認(rèn)識，指出現(xiàn)行數(shù)形模型在闡釋微積分基本原理時(shí)存在的不足，提出對于現(xiàn)行數(shù)形模型的若干思考。

1 科學(xué)模型再認(rèn)識

自然科學(xué)是研究自然界的形態(tài)、結(jié)構(gòu)、性質(zhì)和運(yùn)動規(guī)律的科學(xué)，它的目的是認(rèn)識自然規(guī)律，為人類正確改造自然開辟道路。[1]從本質(zhì)上說，科學(xué)是人腦借助于模型或常數(shù)，運(yùn)用邏輯的形式對規(guī)律的近似體系。邏輯包括形式邏輯和形象邏輯等，前者以數(shù)學(xué)為代表，后者以中醫(yī)為代表。科學(xué)并不等于規(guī)律自身，因?yàn)槿藗儗φ胬恚ㄒ?guī)律）的認(rèn)識是由相對到絕對不斷演化的過程，每一真理都是無限發(fā)展的物質(zhì)世界在有限范圍內(nèi)和有限程度上所作的正確反映。[2]

人的認(rèn)識能力和人使用的觀測手段具有局限性，使得人對規(guī)律的認(rèn)識是個(gè)逐漸逼近的過程。以對原子的認(rèn)識為例。法拉第的電解定律實(shí)驗(yàn)（1834 年）反映了電荷的不連續(xù)性；湯姆生（1897 年）發(fā)現(xiàn)電子是這種不連續(xù)電荷的最小單元，提出棗核模型，但不能解釋盧瑟福1906 年發(fā)現(xiàn)的α 射線的散射現(xiàn)象；盧瑟福（1911 年）設(shè)想出原子的行星模型，但解釋原子的穩(wěn)定性等問題遇到困難，得到的推論和實(shí)驗(yàn)事實(shí)相矛盾；玻爾抓住該矛盾（1913 年）提出了量子化假設(shè)，建立了量子化的原子模型；薛定諤（1926 年）在德布羅意關(guān)系式的基礎(chǔ)上將電子運(yùn)動描繪為電子云，由于電子具有波粒二象性，因此畫不出它的運(yùn)動軌跡。這反映了人們認(rèn)識發(fā)展的階段性[3]。接著海森堡（1927 年）提出了著名的不確定性關(guān)系（測不準(zhǔn)關(guān)系），對我們的世界觀產(chǎn)生了深遠(yuǎn)的影響。有學(xué)者指出，不確定性關(guān)系的邏輯基礎(chǔ)是光學(xué)放大器的分辨率公式，觀測行為存在介入性干擾問題，測不準(zhǔn)是人的觀測手段的產(chǎn)物，解決介入性干擾的出路在于改用系統(tǒng)學(xué)方法研究微觀客體，一旦采用新的方法和新的觀測手段認(rèn)知微觀事物，人們未來會發(fā)現(xiàn)微觀領(lǐng)域根本不存在不確定問題，人們會揭示出更多對原子運(yùn)動規(guī)律的認(rèn)識。

科學(xué)要揭示規(guī)律就要進(jìn)入定量認(rèn)識的水平，數(shù)量化的表達(dá)形式必須借助于科學(xué)模型，并涉及數(shù)學(xué)工具問題，所以模型方法是現(xiàn)代科學(xué)的核心方法。在科學(xué)認(rèn)識活動中，常運(yùn)用抽象的思維模型進(jìn)行分析、推理和運(yùn)算，以獲得對客體的規(guī)律性認(rèn)識。思維模型是人腦對客體簡化和理想化的結(jié)果，包括理想模型、數(shù)學(xué)模型等。

客體與世界的聯(lián)系是無限的，它的屬性很多，理想模型是對客體的一種抽象、簡化和理性化，客體有許多沒有直接關(guān)系的屬性和作用是不予考慮的。例如，在經(jīng)典力學(xué)中，當(dāng)只考慮物體的位置移動，且空間尺度遠(yuǎn)大于物體尺度時(shí)，將物體的質(zhì)量集中于一點(diǎn)，即理想化和簡化為質(zhì)點(diǎn)模型；當(dāng)考慮物體自身的轉(zhuǎn)動時(shí)，忽略掉物體受力時(shí)發(fā)生的形變，物體被理想化為剛體模型；當(dāng)考慮物體自身形變時(shí)，物體被理想化為彈性體模型。同樣的，理想氣體模型將氣體分子看成彈性小球，忽略其體積和分子間的相互作用。物理中的理想流體和點(diǎn)電荷、化學(xué)中的理想溶液等都是經(jīng)過簡化和理想化處理的模型，是科學(xué)抽象的結(jié)果，只存在于人的思維中，在實(shí)際中并不存在，因此，以此為模型所建立的科學(xué)體系都不免是近似的。

在數(shù)學(xué)中，沒有長寬高的點(diǎn)，沒有厚度和寬度的線，沒有厚度的面，都是人腦中的東西，人們在現(xiàn)實(shí)中找不到點(diǎn)線面，也畫不出點(diǎn)線面。同樣的，人們也找不到圓、雙曲線、圓球、正方體等。在研究實(shí)際問題時(shí)，把現(xiàn)實(shí)中形狀近似的物體等同于人腦中相應(yīng)的模型，比如將與圓柱形狀相近的物體等同于圓柱體，把現(xiàn)實(shí)中運(yùn)動著的物體看作靜止物體來認(rèn)定其質(zhì)量，把質(zhì)量分布不均勻的物體看作質(zhì)點(diǎn)，把微小帶電體看作點(diǎn)電荷等，那么在此前提下抽象出數(shù)學(xué)方程就會存在失真性，已經(jīng)不能完整而準(zhǔn)確地反映現(xiàn)實(shí)。

再好的模型也是一種階段性的認(rèn)識成果，模型方法通過不斷改進(jìn)模型，去逐步逼近真實(shí)客體。模型的積極意義在人借助模型可以接近規(guī)律，它的消極作用在于失真性?？茖W(xué)工作者要充分利用模型的代表性而警惕模型的失真性，充分而恰當(dāng)?shù)匕l(fā)揮模型的種種功能。[4]

2 數(shù)形模型再思考

馬克思說：“一門科學(xué)只有當(dāng)它達(dá)到了能夠運(yùn)用數(shù)學(xué)時(shí)，才算真正發(fā)展了”。成熟的科學(xué)要達(dá)到定量認(rèn)識的水平，需要利用數(shù)學(xué)工具來揭示規(guī)律。數(shù)學(xué)是研究現(xiàn)實(shí)世界的空間形式和數(shù)量關(guān)系的科學(xué)[5]，即“形”和“數(shù)”的科學(xué)。數(shù)學(xué)同樣要借助于模型，實(shí)數(shù)體系和幾何元素就是數(shù)學(xué)基本的數(shù)形模型。

古人在實(shí)踐中，從一只羊、一棵樹等一定物群的共有性方面抽象出整數(shù)的概念，分割整數(shù)產(chǎn)生分?jǐn)?shù)，整數(shù)運(yùn)算出現(xiàn)了零和負(fù)數(shù)，它們構(gòu)成有理數(shù)，有理數(shù)的開方產(chǎn)生無理數(shù)，這是實(shí)數(shù)的發(fā)生史。無理數(shù)的出現(xiàn)曾經(jīng)引發(fā)“第一次數(shù)學(xué)危機(jī)”，動搖了畢達(dá)哥拉斯學(xué)派關(guān)于萬物皆依賴于整數(shù)的信條，遭到他們的強(qiáng)烈反對，直到2000 多年后戴德金用有理數(shù)的“分割”來定義無理數(shù)，才確立了實(shí)數(shù)定義及其“完備性”。

然而在對微積分基本原理的研究中，有學(xué)者指出現(xiàn)行數(shù)形模型的不足之處。在坐標(biāo)軸中，任何兩個(gè)點(diǎn)（數(shù)）之間可以插入無數(shù)個(gè)點(diǎn)（數(shù)），所以點(diǎn)（數(shù)）是離散的，無法描述連續(xù)，沒有描述兩個(gè)點(diǎn)分合過渡和兩個(gè)數(shù)異同過渡的方式。點(diǎn)無長度，即無測度；數(shù)無度量，數(shù)的差即數(shù)量才有測度。那么不連續(xù)無測度的點(diǎn)如何滾動生成連續(xù)有測度的線呢？現(xiàn)行數(shù)形模型說不清楚。事實(shí)上，無理數(shù)和有理數(shù)一樣，是無度量的，所以實(shí)數(shù)無法填滿數(shù)軸，點(diǎn)再多數(shù)軸都有孔隙。[6]

現(xiàn)行微積分原理的基礎(chǔ)之一是極限論，其一個(gè)來源是“正多邊形邊數(shù)無限增多的極限是圓”，但依據(jù)點(diǎn)的規(guī)定性，不管正多邊形的邊數(shù)怎樣無限增多，其任意一個(gè)邊的兩個(gè)端點(diǎn)都無法重合，得到的將是邊長無限小下去的動態(tài)正多邊形，極限不存在了。同樣的，瞬時(shí)變化率、切線等也不存在，解析幾何中得到的是切割長度無限減小的割線。[7]

筆者沿著萊布尼茨的思路探討過微分問題，從哲學(xué)上說微分本應(yīng)用來描述無到有的質(zhì)變過程，但事實(shí)上現(xiàn)行的微分定義對這個(gè)過程說不清楚；從本質(zhì)上看，微分是點(diǎn)級微化的產(chǎn)物，微分在量上是有無相互過渡的中介，定性為有，定量為零，在點(diǎn)上是分合過渡的中介。[8]無論把微分看作零或者其極限為零，都難以描述其本質(zhì)，問題的根本在于數(shù)形模型。

有學(xué)者將數(shù)和點(diǎn)的規(guī)定性進(jìn)行修正為：每個(gè)實(shí)數(shù)的有性擴(kuò)張為0，準(zhǔn)有性擴(kuò)張不為零；點(diǎn)的有性度量的0，準(zhǔn)有性度量不為0，相同的數(shù)（點(diǎn)）變?yōu)椴煌臄?shù)（點(diǎn)）有一個(gè)異同（合分）的過渡過程。這才有合理的連續(xù)概念，他將微分表述為“準(zhǔn)有”，進(jìn)一步揭示出微分的本質(zhì)。借助于新的數(shù)形模型，測度有了承擔(dān)者，微積分基本原理能得到更清楚的闡釋，并且不需要依賴于極限論，張景中院士和林群院士[9]同樣地不依賴于極限論來建立微積分原理。

3 結(jié)論

科學(xué)對規(guī)律的逼近離不開模型，而模型是人腦中理想化的東西，相對客體具有失真性?，F(xiàn)有的數(shù)形模型在微積分應(yīng)用中表現(xiàn)出不足，使得微積分原理的闡釋出現(xiàn)問題，解決的辦法之一是優(yōu)化數(shù)形模型，并按照“持之有故，言之成理”的科學(xué)準(zhǔn)則來評判。