劉金婷 劉嘉瑞

摘要： 文章分析了映射和函數(shù)在不同工具書中定義的異同，并根據(jù)定義的不同討論了形成概念不一致的原因：主要是由于函數(shù)概念隨著數(shù)學(xué)的發(fā)展不斷擴(kuò)展造成的。文章還探討了映射、函數(shù)、算子、泛函之間的相互關(guān)系及在各數(shù)學(xué)分支中的習(xí)慣用法。

關(guān)鍵詞：映射，函數(shù)，算子，泛函

中圖分類號(hào)：N04；O1文獻(xiàn)標(biāo)識(shí)碼：A文章編號(hào)：1673-8578（2015）06-0050-03

引言

在科技術(shù)語(yǔ)中，有很多概念交叉、錯(cuò)綜復(fù)雜、同義異名及同名異義的現(xiàn)象，厘清這些術(shù)語(yǔ)之間的概念差別是術(shù)語(yǔ)工作的重要內(nèi)容之一。在數(shù)學(xué)中，經(jīng)常會(huì)用到映射（mapping）和函數(shù)（function），按照集合論的觀點(diǎn)，它們都是表示兩個(gè)非空集合之間的特殊對(duì)應(yīng)關(guān)系。然而在不同的教科書和工具書中，它們的定義不盡相同，且有的定義相差較大，這就給學(xué)習(xí)和使用的人帶來了困惑。比如在《中國(guó)大百科全書》（第二版）[1]和大學(xué)教材《高等數(shù)學(xué)》[2]中，稱函數(shù)是映射的一種特殊情況，函數(shù)是實(shí)數(shù)域到實(shí)數(shù)域的映射。而在專業(yè)工具書如《數(shù)學(xué)大辭典》[3]和《數(shù)學(xué)百科全書》[4]中，稱函數(shù)就是映射，二者完全等同。與這兩個(gè)概念含義相近的還有算子（operator）、泛函（functional）等，這些概念之間具體有什么差別？本文嘗試分析并探討其差異，建立起它們之間的邏輯關(guān)系。

一映射的概念

映射是集合論中非?；镜母拍?，它的定義并無爭(zhēng)議，在不同的教科書或者工具書中只有一些表述的差異。在《高等數(shù)學(xué)》中，映射的概念如下：設(shè)數(shù)集X、Y為兩個(gè)非空集合，如果存在一個(gè)法則f使得對(duì)X中每個(gè)元素x，按法則f，在Y中有唯一確定的元素y與之對(duì)應(yīng)，則稱f為從X到Y(jié)的映射[2]。也就是說映射是建立在兩個(gè)非空集合之間的對(duì)應(yīng)關(guān)系，并且滿足以下幾個(gè)條件：（1）“對(duì)X中每個(gè)元素x”，就是說X中不能有剩余元素；（2）“在Y中有唯一確定的元素y與之對(duì)應(yīng)”，就是說在Y中有即可，也就是Y中可以有剩余元素；（3）“唯一確定”，說明X中的一個(gè)元素不能在Y中對(duì)應(yīng)多個(gè)元素，即“不能一對(duì)多”；（4）X中的一個(gè)元素在Y中只能對(duì)應(yīng)一個(gè)元素，即可以“一對(duì)一”；（5）X中的多個(gè)元素也可以在Y中對(duì)應(yīng)一個(gè)元素，也就是可以“多對(duì)一”。在《中國(guó)大百科全書》中稱其為函數(shù)概念的推廣，而在《數(shù)學(xué)大辭典》和《數(shù)學(xué)百科全書》中稱映射就是函數(shù)。

二函數(shù)的概念

函數(shù)是數(shù)學(xué)中最重要的術(shù)語(yǔ)之一，但是其概念卻并不完全統(tǒng)一。在大學(xué)教材《高等數(shù)學(xué)》中，函數(shù)的定義如下：設(shè)數(shù)集DR，則稱映射f∶D→R為定義在D上的函數(shù)，在這個(gè)函數(shù)定義中，對(duì)每個(gè)x∈D，按對(duì)應(yīng)法則f，總有唯一確定的值y與之對(duì)應(yīng)，這個(gè)值稱為函數(shù)f在x處的函數(shù)值[2]。從中可以看出，這個(gè)定義中的“函數(shù)”是映射的一個(gè)特例，包含于映射，并且其是實(shí)數(shù)集到實(shí)數(shù)集的映射。在《中國(guó)大百科全書》第二版中稱函數(shù)本質(zhì)上是數(shù)集之間的一種對(duì)應(yīng)（或稱為“映射”）[1]。這也是說函數(shù)本質(zhì)上是一種映射，是數(shù)集上的映射，它與映射的概念不同，它的范圍小于映射。

而在《數(shù)學(xué)大辭典》中的函數(shù)定義為：即映射。設(shè)X與Y為給定的兩個(gè)集合，f是某個(gè)法則，每個(gè)x∈X按照f對(duì)應(yīng)唯一的y∈Y，稱f為從X→Y的一個(gè)函數(shù)[3]?！稊?shù)學(xué)百科全書》中函數(shù)的定義也是從集合論的角度給出，與上述定義內(nèi)涵一致，還指出函數(shù)的概念與映射等價(jià)[4]。這就是說函數(shù)等同于映射，兩者概念一致。

由此可見，在不同的工具書中，映射和函數(shù)的關(guān)系并不相同。這主要是由于函數(shù)這個(gè)術(shù)語(yǔ)的概念在歷史上發(fā)生過多次變化，其概念不斷擴(kuò)展，所以才形成了函數(shù)概念的不一致，從而函數(shù)和映射的關(guān)系也不一致。

三函數(shù)概念的發(fā)展歷史

作為數(shù)學(xué)中非常重要而又非?；镜男g(shù)語(yǔ)，函數(shù)概念的形成和發(fā)展經(jīng)歷了一段比較長(zhǎng)的歷史過程。Function這個(gè)詞首先由萊布尼茨（G.W.Leibniz）提出，后來被中國(guó)數(shù)學(xué)家李善蘭譯為“函數(shù)”。1755年， 歐拉（L.Euler）在他的《微分學(xué)原理》的序言中又給出了如下定義：“ 如果某些量以這樣的方式依賴于另一些量， 即當(dāng)后面這些量變化時(shí)， 前面這些變量也隨之變化， 則將前面的變量稱為后面變量的函數(shù)。”[5]后來隨著分析學(xué)的發(fā)展，函數(shù)的概念也隨之?dāng)U展。伯努利（J.Bernoulli I）等人拓廣了函數(shù)自變量的取值范圍， 他們?cè)试S自變量取函數(shù)， 從而產(chǎn)生了泛函，開創(chuàng)了泛函分析學(xué)科。由此可見，泛函的概念原本大于函數(shù)的概念。

1837年狄利克雷（P.G.Dirichlet）也給函數(shù)下了一個(gè)定義：如果對(duì)于給定區(qū)間上的每一個(gè)x的值有唯一的y值同它對(duì)應(yīng)， 那么y就是x的一個(gè)函數(shù)， 至于在整個(gè)區(qū)間上y是否按照一種或多種規(guī)律依賴于x， 或者y依賴于x是否可用數(shù)學(xué)運(yùn)算來表達(dá)， 那都是無關(guān)緊要的[6]。這個(gè)概念推廣到實(shí)數(shù)域即是我們現(xiàn)在常用的函數(shù)的用法。隨著集合論的大力發(fā)展，人們認(rèn)識(shí)到函數(shù)與映射的內(nèi)涵是一致的，于是將函數(shù)的概念進(jìn)一步擴(kuò)展。戴德金（R.Dedekind）首先將映射和函數(shù)的概念統(tǒng)一了起來。布爾巴基（N.Bourbaki）學(xué)派1939年給出了函數(shù)的一個(gè)較完整的定義：設(shè)E和F是兩個(gè)集合， 它們可以不同， 也可以相同，E中的一個(gè)變?cè)獂和F中的變?cè)獃之間的一個(gè)關(guān)系稱為一個(gè)函數(shù)， 如果對(duì)每一個(gè)x∈E，都存在唯一的y∈F，它滿足跟x的給定關(guān)系，我們稱這樣的運(yùn)算為函數(shù)。這也是現(xiàn)在數(shù)學(xué)專業(yè)工具書上常用的定義。所以根據(jù)現(xiàn)代數(shù)學(xué)的觀點(diǎn)，映射等同于函數(shù)，他們的概念是統(tǒng)一的。出現(xiàn)函數(shù)定義的差別主要原因在于根據(jù)分支學(xué)科的適用范圍采用了歷史上曾有的函數(shù)定義，而不完全采用現(xiàn)代數(shù)學(xué)觀點(diǎn)中的函數(shù)定義。

四算子、泛函等相關(guān)概念

算子是指從一個(gè)空間到另一個(gè)空間的映射。在泛函分析中習(xí)慣稱為“算子”，而稱取值為數(shù)域的算子為“泛函”。基于此發(fā)展起來的算子理論是研究抽象空間之間的對(duì)應(yīng)關(guān)系的重要領(lǐng)域。算子的范圍相對(duì)于泛函來說擴(kuò)展了，如果兩個(gè)空間都為實(shí)數(shù)域，則此算子就是傳統(tǒng)概念中的函數(shù)?？梢娝阕拥母拍畲笥诜汉蛡鹘y(tǒng)概念中的函數(shù)。endprint

如果將函數(shù)的定義域從實(shí)數(shù)域擴(kuò)展到復(fù)數(shù)域，那么以復(fù)數(shù)作為自變量和因變量的函數(shù)稱為復(fù)變函數(shù)。定義域?yàn)閷?shí)數(shù)域的函數(shù)可以看作是復(fù)變函數(shù)的特殊情況。一個(gè)自變量對(duì)應(yīng)多個(gè)因變量的情況，稱作多值函數(shù)。

五映射、函數(shù)、算子、泛函之間的相互關(guān)系

由上文分析可見，映射、函數(shù)、算子、泛函從本質(zhì)來看基本是一致的，只是它們的應(yīng)用范圍不同。函數(shù)和映射是兩個(gè)集合的特殊對(duì)應(yīng)關(guān)系，泛函是空間對(duì)數(shù)集的映射，算子是空間對(duì)空間的映射，算子是擴(kuò)大的泛函。雖然以現(xiàn)代數(shù)學(xué)的觀點(diǎn)，映射和函數(shù)完全等同，但是在分析學(xué)中常用函數(shù)，在集合論中常用映射。在術(shù)語(yǔ)學(xué)理論中，科技術(shù)語(yǔ)要明確界定概念及其應(yīng)用范圍并不容易，特別是有些學(xué)科有習(xí)慣用法，也就是術(shù)語(yǔ)學(xué)中所說的“約定俗成”。對(duì)于同義術(shù)語(yǔ)，也要加以分析，區(qū)別出不同的情況，既然語(yǔ)言中存在同義詞，包括所謂相對(duì)同義詞與絕對(duì)同義詞的差別，那么，在同一題材的范圍內(nèi)，也可以并行地使用不同的說法。因此，即使術(shù)語(yǔ)的概念相近，只是在不同的領(lǐng)域內(nèi)有不同的名稱，也是符合術(shù)語(yǔ)規(guī)范化工作的實(shí)際情況的。雖然它們的內(nèi)涵是一致的，卻不宜統(tǒng)一名稱，在不同領(lǐng)域及不同范圍內(nèi)，根據(jù)實(shí)際情況，在不同的學(xué)科保持慣用的、約定俗成的名稱更合理，強(qiáng)行統(tǒng)一只會(huì)造成更大的使用混亂。因此保持映射、函數(shù)、算子、泛函在不同數(shù)學(xué)分支中根據(jù)各自的常用習(xí)慣來使用更合理。所以，從內(nèi)涵上來說，映射、函數(shù)、算子、泛函可屬于同義異名，但各自應(yīng)用領(lǐng)域不同，不宜完全統(tǒng)一；從約定俗成角度，在集合論中，慣用映射；在分析學(xué)中慣用函數(shù)；在泛函分析中，慣用泛函和算子。

六結(jié)語(yǔ)

從現(xiàn)代數(shù)學(xué)的觀點(diǎn)，函數(shù)就是映射，兩個(gè)概念完全等價(jià)。映射、函數(shù)、算子、泛函從內(nèi)涵來看基本是一致的。從應(yīng)用范圍來看，映射=函數(shù)算子泛函函數(shù)（實(shí)數(shù)域）。函數(shù)多用在實(shí)數(shù)集上，常用于分析學(xué)；映射常用于集合論；泛函和算子常用于泛函分析。保持它們的習(xí)慣用法，不強(qiáng)制統(tǒng)一，符合術(shù)語(yǔ)規(guī)范化工作的實(shí)際情況。

專業(yè)工具書（如《數(shù)學(xué)大辭典》《數(shù)學(xué)百科全書》等）主要面對(duì)數(shù)學(xué)界專業(yè)人員，所以將函數(shù)與映射的概念統(tǒng)一，符合數(shù)學(xué)中這一概念的實(shí)際發(fā)展情況。而《中國(guó)大百科全書》和《高等數(shù)學(xué)》教材面對(duì)更廣泛的人群，將函數(shù)的概念限制在實(shí)數(shù)域，映射用在集合論，將映射作為函數(shù)概念的擴(kuò)展，這更符合大家的實(shí)際使用習(xí)慣。

參考文獻(xiàn)

[1] 《中國(guó)大百科全書》總編委會(huì). 中國(guó)大百科全書[M].2版.北京：中國(guó)大百科全書出版社，2009.

[2] 同濟(jì)大學(xué)數(shù)學(xué)系. 高等數(shù)學(xué)[M].6版.北京：高等教育出版社，2007.

[3] 王元，文蘭，陳木法，等.數(shù)學(xué)大辭典[M].北京：科學(xué)出版社，2010.

[4] 《數(shù)學(xué)百科全書》編譯委員會(huì). 數(shù)學(xué)百科全書[M].北京：科學(xué)出版社，1999.

[5] Dieter Ruthing. 函數(shù)概念的一些定義——從Jon.Bernoulli到N.Bourbaki[J].數(shù)學(xué)譯林，1986（3）：21-23.

[6] 吉特爾曼 A.數(shù)學(xué)史[M]. 北京：科學(xué)普及出版社，1987：265.

[7] 李鵬奇.函數(shù)概念300 年[J].自然辯證法研究，2001，17（3）：48-52.

[8] 鄭述譜.試論屬于標(biāo)準(zhǔn)化的辯證法[J].中國(guó)科技術(shù)語(yǔ)，2008，10（3）：5-10.endprint