濫用符號

數學中,濫用符號(英語:Abusing notation[註 1])雖然不嚴格,並非按數學符號的字面定義來運用,但有時能使數學論證更清晰,或引導讀者明白其直觀意義英語Mathematical intuition,同時減少犯錯和增進理解。不過,符號是否嚴格使用,或句法英語syntax (logic)上是否正確,很視乎時代和學科背景。某些用法,在某些場合算為濫用,在另一種背景下卻是嚴格正確。某理論在嚴格化前,若已引入新的符號,則該些符號是否屬濫用,就可能取決於時代,因為有時該理論發展後,邏輯根基得到鞏固,統一符號用法,而使符號變成嚴格正確。濫用符號不等於誤用符號,因為前者是表意與嚴格性兩方面的取捨,而後者則僅是錯誤,應當避免。誤用積分常數為後者一例[1]

相似的概念是濫用語文(英語:abusing language)或濫用術語(英語:abusing terminology),此時濫用的是詞語,而非符號。例如,「表示」的正式含義,是由某個 到某向量空間 上的一般線性群 群同態,但經常會將 稱為 的表示。另一個常見濫用,是稱兩個典範同構英語Canonical isomorphism但不相等的物件為等同。[2]類似還有:視常數函數與其值等同、視(一個基集與其上二元運算組成的二元組)與其基集等同、視集合笛卡兒積與三維歐氏空間(配備幾何結構)等同。[3]

集合與映射例子

函數寫法

許多教科書中,會寫「設函數   為⋯⋯(填入關於   的式子)」。此為濫用符號,因為函數的名稱應為  ,而   應表示函數   在其定義域中某處   的取值。嚴格的寫法為:「設   為函數,在   處取值為⋯⋯」或「設   為函數  」此種濫用非常廣泛,[4]因為可簡化寫法,而嚴格的寫法可能顯得過於執着細節。

類似的濫用尚有「考慮函數  ⋯⋯」,因為   並非函數,真正的函數是將   對應到   的運算,用匿名函數的寫法可將該函數寫成  。同樣,此種濫用亦廣泛出現,因為避免拘泥小節,同時一般不會造成混淆。

數學結構

許多數學物件是由一個集合(通常稱為基集,英語:underlying set)及其上的額外結構組成。此種結構可以是數學運算關係拓撲結構。經常濫用同一個符號,同時表示基集及整個數學結構(此現象稱為「壓參數」,英語:suppression of parameters[3])。舉例,  表示整數集,但同時可以表示整數集與加法組成的,還可以是整數集連同加法乘法組成的。一般而言,此類用法中,若所指的物件為所熟知,則不會引起讀者混淆;若刻意避免濫用,反而可能略嫌冗餘,使數學論述更難理解。實在混淆時,可以寫出整個結構以作區分,即以   表示整數的加法群,  表示整數環。

同理,拓撲空間由基集   與拓撲結構   兩部分構成,後者是   若干子集構成的族,該些子集稱為開集。通常,只考慮   上某一個拓撲,於是一經指定,就無需再次提及,可用同一個符號   同時表示基集及   與拓撲結構   組成的二元組,而不引起混淆,即使嚴格而言,兩者為不同的數學物件。不過,有時要同時考慮同一個基集上的兩個拓撲(如拓撲向量空間上的強拓撲英語strong topology弱拓撲英語weak topology,或實數線上的歐氏拓撲下限拓撲),此時則須當心使用結構的全寫,如   ,以作區分。

等價類

等價關係中,元素   所在等價類嚴格地可記為  ,但有時亦濫用符號記為  。此處等價類的意思是,若集合   分劃成等價關係   的等價類,則對每個  ,等價類   記為  。但實用上,若取商集後,餘下討論僅關心等價類,而非原集合的元素,則常會棄用方括號。

例如,模算術中,有等價關係  ,其定義中,  當且僅當  。將整數集按   劃分,可以得到等價類  ,關於加法組成一個   循環群,但實用上,該群的元素常簡記為  

另一個例子是,某測度空間上,可測函數(類)組成的向量空間,或勒貝格可積函數(類)組成的向量空間。此處等價關係為「幾乎處處相等」。

相等抑或同構

許多數學構造是以某性質來刻劃其定義(經常是泛性質),如直積張量積自由積。選定所需性質後,可能有多種方法構造出具該性質的結構,各結構嚴格而言,固然是不同的物件,但因為性質完全一樣(「同構」),不能藉其性質區分各同構物件,即使實際不等亦常逕稱「相等」。[2]

笛卡兒積為例,常以為可結合

 

實則不然,因為若  ,則有序對之間的等式   會推出   ,而   甚至不合式,是句法錯誤。不過,在範疇論中,得以自然變換的概念,將上述「結合律」修正。

類似濫用亦常見於談論結構「個數」的句子。舉例「恰有兩個8階非交換群」嚴格而言可寫作「8階非交換群的同構類英語Isomorphism class恰有兩個」或「不別同構之異,恰有兩種8階非交換群」。

微積分例子

導數

數學分析中,導函數萊布尼茲記法 ,算是濫用了分數符號。此種寫法的好處是,形式上得以沿用分數的運算法則,方便計算,例如複合函數求導的連鎖律,按萊布尼茲記法為:

 

狀似分數乘法。

類似濫用出現於解微分方程分離變數法,常將方程   左邊的導數,如分數般「移項」寫成  ,然後兩邊積分。還有積分記號中,將    看成因子,與   的分子相乘,寫成

 

但在微分形式理論中,有    的嚴格定義,此時,上述寫法不再是濫用。

向量叉積

設實向量   ,則兩者的叉積可用形式行列式定義為:

 

其中頂行的三項是三個方向的單位向量,沿該行用餘子式展開可得結果。此種濫用有助記憶,實際計算亦有用。[5]其所以為濫用,是因為一般僅定義上某矩陣的行列式,但向量   與純量   等不在同一環內(除非考慮幾何代數英語Geometric algebra)。

倒三角算子

倒三角算子   是將偏微分算子組裝成類似向量的形式:

 

以便用向量運算表示梯度  散度  旋度  。但是,倒三角算子並未齊備向量的全部性質,例如與其他向量的內積可換。此觀點下,是濫用向量符號。

大O記號

使用大O符號時,常以   表示「當   充分大英語sufficiently large時,  至多為   的常數倍」。這可以看成濫用了等號,因為如德布魯因英語Nicolaas Govert de Bruijn所言,  [6]

主觀性

一種用法是否屬濫用符號,視乎學科背景和上下文。大部分數學科目中,以   表示偏函數英語partial function,皆算為濫用,但範疇論中則不一定,因為   在集合和偏函數構成的範疇中,確實是態射

評價

尼古拉·布爾巴基在《數學原本》起首的「本書用法」中,稱任何數學書若不濫用語文或符號,則易拘於小節(pédantesque)甚至不堪卒讀(illisible)。[7]陶哲軒認為,論文的嚴格論證中,所用符號應當明確而不含糊,但即使如此,仍允許一定程度的濫用符號。[8]

參見

  1. ^ 英文常用搭配為"by abuse of notation",意即「藉濫用符號」。

參考資料

  1. ^ Common Errors in College Math [大學數學常犯錯誤]. math.vanderbilt.edu. [2019-11-03]. (原始內容存檔於2021-10-04) (英語). 
  2. ^ 2.0 2.1 Glossary — Abuse of notation. www.abstractmath.org. [2019-11-03]. (原始內容存檔於2021-12-22). 
  3. ^ 3.0 3.1 More about the languages of math — Suppression of parameters. www.abstractmath.org. [2019-11-03]. (原始內容存檔於2021-05-06). 
  4. ^ Abuse of Math Notation. xahlee.info. [2019-11-03]. (原始內容存檔於2021-11-20). 
  5. ^ Stewart, James. Multivariable Calculus 6th. Brooks/Cole. 2007: 822–823. ISBN 0-495-01163-0 (英語). 
  6. ^ N. G. de Bruijn. Asymptotic Methods in Analysis. Amsterdam: North-Holland. 1958: 5–7 [2021-11-06]. ISBN 978-0-486-64221-5. (原始內容存檔於2021-11-06) (英語). 
  7. ^ Bourbaki, Nicolas. Théorie des ensembles. Éléments de mathématique. : Mode d'emploi de ce traité. doi:10.1007/978-3-540-34035-5 (法語). …, les abus de langage ou de notation, sans lesquels tout texte mathématique risque de devenir pédantesque et même illisible, … 有英譯本
    Bourbaki, Nicolas. Theory of Sets. Elements of Mathematics. 1968. doi:10.1007/978-3-642-59309-3 (英語). 
  8. ^ Tao, Terence. Use good notation (網誌). [2021-11-05]. (原始內容存檔於2021-11-07) (英語). A certain amount of abuse of notation is permitted, though, as long as this is properly pointed out.