查看“︁抽象废话”︁的源代码

在[[数学]]中，'''抽象废话'''，'''泛化抽象废话'''和'''泛化废话'''（{{lang-en|abstract nonsense, general abstract nonsense, generalized abstract nonsense, and general nonsense}}）是一些[[数学家]]用于描述[[范畴论]]中的某些概念和方法的幽默用语。

粗略地讲，范畴论是研究数学理论的泛化形式，而不考虑其内容的学科。因此，一个基于范畴论的[[数学证明|证明]]在那些并不习惯这样的抽象的人看来就会有些不知所云，甚至看起来像是滑稽的[[不合逻辑推论]]。有时，这样的证明就会被称作「抽象废话」以轻巧地提醒人们它们的抽象特性。

一般而言，「抽象废话」可以泛指任何使用基本范畴论方法的证明（无论幽默与否），或是指对范畴论本身的研究。要注意的是将一个论证成为「抽象废话」并不是一种贬损的表达，而往往是对论证的繁复性的一种赞赏。<ref name="mathworld" /><ref name="monastyrsky" />

==历史==
这一术语出现在范畴论作为学科建立之前。在提到一篇引入了「[[范畴论|范畴]]」概念的，1942年与[[塞缪尔·艾伦伯格]]合著的论文时，[[桑德斯·麦克兰恩]]指出，该学科当时被称作「泛化抽象废话」。<ref>Saunders Mac Lane. "[http://www.pnas.org/content/94/12/5983.full The PNAS way back then] {{Wayback|url=http://www.pnas.org/content/94/12/5983.full |date=20210109082457 }}". ''Proc. Natl. Acad. Sci. USA'' Vol. 94, pp. 5983–5985, June 1997.
:"''The first of these papers is a more striking case; it introduced the very abstract idea of a "category"—a subject then called "general abstract nonsense"!''"</ref>这一术语于是常常被用于描述范畴论的应用和其在那些不那么抽象的领域的应用。<ref>[http://www.csupomona.edu/~jis/1999/lord.pdf An Application of Abstract Nonsense to Surface Area] {{webarchive|url=https://web.archive.org/web/20040726025100/http://www.csupomona.edu/~jis/1999/lord.pdf |date=2004-07-26 }}, Harriet Lord</ref><ref>[https://www.cs.tcd.ie/~devriese/talks/cattheory.pdf Abstract Nonsense for Functional Programmers]{{dead link|date=2018年3月 |bot=InternetArchiveBot |fix-attempted=yes }}, Edsko de Vries</ref>

一般认为这一术语是由范畴观点的开发者之一，数学家[[诺曼·斯廷罗德]]创造的。<ref>Colin McLarty, ''The Uses and Abuses of the History of Topos Theory'', Brit. J. Phil. Sci, 41 (1990) p 355.
: "''Steenrod jokingly tagged category theory 'abstract nonsense' and made it central to his axiomatics for homology''" </ref><ref>Joseph Rotman, "''An Introduction to Homological Algebra'', by Charles A. Weibel" (book review), Bull. Amer. Math. Soc., 33:4 (Oct. 1996) 473–476.
:"''The self-deprecating phrase ''general abstract nonsense'' (due to Steenrod) was promulgated by Eilenberg and Mac Lane, two of the major innovators of homological algebra, to highlight this aspect of the subject.''"</ref><ref> Serge Lang, "Algebra" Second Edition, Addison Wesley, 1984, p 175</ref>数学从业者往往使用这一术语来表明数学的繁复（或观点的深刻）而非作为贬损的用语。<ref name="monastyrsky">Michael Monastyrsky, ''Some Trends in Modern Mathematics and the Fields Medal.'' Can. Math. Soc. Notes, March and April 2001, Volume 33, nos. 2 and 3.  Online version available at http://www.fields.utoronto.ca/aboutus/FieldsMedal_Monastyrsky.pdf {{Wayback|url=http://www.fields.utoronto.ca/aboutus/FieldsMedal_Monastyrsky.pdf |date=20060813224844 }}.
:"''In algebra, the term “abstract nonsense” has a definite meaning without any pejorative connotation.''"</ref>

在数学中，一些想法和构造在多个领域显示出一种一致性，而这种一致化的主题就是范畴论。当他们确认听众都对这样的论证的一般形式有足够了解时，数学家有时会使用“由抽象废话可知XX和XX为真”这样的表达，而不必提供详尽的、对于某些特例的解释。<ref name="mathworld">{{cite mathworld| urlname=AbstractNonsense | title=Abstract Nonsense}}</ref>

==例子==
典型例子包括含有[[交换图表]]、[[泛性质]]定义的应用、[[函子]]间的[[自然变换]]、[[米田引理]]、[[分类空间]]等概念的论证。

下面给出一个具体的例子：考虑一个具有正[[贝蒂数]]的[[3-流形]] ''M''。试证明对于''M''存在一个到2-球面的「非平凡」（亦即，与常映射非[[同伦]]）映射。由「抽象废话」，可知存在映射<math>f: M\to K(\mathbb{Z},2)</math>到[[艾伦伯格-麦克兰恩空间]]，对应于[[餘調|H<sup>2</sup>(''M'')]]中的非平凡元素。因为[[K(Z,2)]]是一个{{le|複射影空间|complex projective space}}，后者具有在奇维不存在元胞的框架结构，我们可以应用{{le|元胞近似定理|cellular approximation theorem}}得出映射''f''可以被下推到2-框架，亦即[[球面|2-球面]]。

尽管这一证明论证了问题中的陈述的真实性，证明过程却几乎没有提及2-球面或3-流形的[[拓撲空間|拓撲]]或[[几何]]。因此，这一证明并没有揭示该映射的任何性质。但是，证明却出人意料地简明凝练，而任何对于这样一个映射的“实际”构建都会异常劳神。一个预期着一个长而难的证明的读者可能会对这样的抽象废话感到惊奇——甚至感到惊喜。

==注释==
{{reflist}}

==外部链接==
{{wiktionary|abstract nonsense}}
* [http://www.math.harvard.edu/~elkies/M55a.05/nonsense.html Usage in mathematical exposition] {{Wayback|url=http://www.math.harvard.edu/~elkies/M55a.05/nonsense.html |date=20160715142437 }} from [http://www.math.harvard.edu/~elkies/ Noam Elkies' class notes] {{Wayback|url=http://www.math.harvard.edu/~elkies/ |date=20191130030433 }}

[[Category:数学术语]]
[[Category:范畴论]]