无穷

数学术语

无穷或无限，来自于拉丁文的“infinitas”，即“没有边界”的意思。其数学符号为∞。它在科学、神学、哲学、数学和日常生活中有着不同的概念。通常使用这个词的时候并不涉及它的更加技术层面的定义。

简介

在神学方面，根据书面记载无穷这个符号最早被用于某些秘密宗教，通常代表人类中的神性，而书写此符号时两圆的不对等代表人神间的差距，例如神学家邓斯·司各脱（Duns Scotus）的著作中，上帝的无限能量是运用在无约束上，而不是运用在无限量上。在哲学方面，无穷可以归因于空间和时间。在神学和哲学两方面，无穷又作为无限，很多文章都探讨过无限、绝对、上帝和芝诺悖论等的问题。

在数学方面，无穷与下述的主题或概念相关：数学的极限、阿列夫数、集合论中的类、戴德金无限集合、罗素悖论、超实数、射影几何、扩展的实数轴以及绝对无限。在一些主题或概念中，无穷被认为是一个超越边界而增加的概念，而不是一个数。

历史

早期无限的观点

最早关于无限的记载出现在印度的夜柔吠陀（公元前1200－900）。书中说：“如果你从无限中移走或添加一部分，剩下的还是无限。”

印度耆那教的经书《Surya Prajnapti》（c. 400 BC）把数分作三类：“可计的”、“不可计的”及“无限”。每一类再细分成三种阶：

现代科学家解析古代羊皮卷中的阿基米德手稿，在残卷《方法》命题14中，发现阿基米德开始计算无穷大的数目。他采取近似于19世纪微积分与集合论的手法，计算了两组无穷大的集合，以求和的方法，证明它们之间的数目是相等的。

这是在人类记载上第一次出现无限也可以分类这一个念头。

文艺复兴时代至近代

伽利略最先发现一个集合跟它自己的真子集可以有相同的大小。

他用上一一对应的概念说明自然数集{1, 2, 3, 4 ...}跟子集平方数集{1,4,9,16,...}一样多。就是1→1、2→4、3→9、4→16、.....

一一对应正是用于研究无限必要的手法。

数学无穷

无限大的符号

无限大的符号是，其Unicode

无限大的符号是1655年由约翰·沃利斯开始使用，在开始使用后，也用在数学以外的领域，例如现代神秘主义及符号学。

几何学和拓扑学

主条目：向量空间的维数

无限维的空间常用在几何学及拓扑学中，尤其是在分类空间，也就是Eilenberg−MacLane空间。常见的例子包括无限维的复射影空间K(Z,2)，以及无限维的实射影空间K(Z/2Z,1)。

分形

分形的结构可以重复的放大，分形可以无限次的放大，但不会变的圆滑，而且仍维持原有的结构，分形的周长是无限的，有些的面积无限，但有些的面积却是有限。像科赫曲线就是有无限周长和有限面积的例子。

没有无穷的数学

利奥波德·克罗内克怀疑无限的概念，也怀疑1870年代及1880年代时数学家使用无限的方式。这种怀疑主义形成一种称为有限主义的数学哲学，是属于数学结构主义及数学直觉主义中的一种极端形式。

物理无穷

在物理上，实数的近似会用在连续量的量测上，自然数的近似会用在离散的量测上。因此科学家假设没有可观察量会到无穷的数值，这是因为科学家很自然的，事实上已经是默认的接受了这样的事情：即在真实的物理场景里，是不存无穷大的可观测物理量的。在例如在扩展的实数轴上取一个无穷的值，或是需要计算某个无穷次事件的次数。因此会预设没有任何物体会有无穷的质量或是能量。有些事物的概念和无限有关，例如无限平面波，但现今尚没有方法可以由实验产生无限平面波。

电脑计算中

IEEE 754 浮点数标准中定义了正无限大及负无限大，定义为溢位、除以零或其他异常程序的结果。

像Java及J语言等编程语言允许在程式中直接用类似常数的方式存取正负无限大。正负无限大可以作为最大元，因为比所有其他的数都大（或是小）。正负无限大也可以做为像排序、搜寻或窗函数等算法中的哨兵值，找到这个值时可以结束计算。

在一些没有最大或最小元素，但允许关系运算子多载的编程语言中，程序员也可以“创建”最大及最小元素。若语言不允许直接存取最大或最小元素，但有浮点数的形态，也可以用特定的运算产生正负无限大，再进行其他处理。

微软的Visual Studio用无穷大符号作为图标。

认知科学

透视艺术使用了消失点或是无穷远点的概念．也就是放在观察者无穷远处的一个点。因此画家可以绘制有现实感空间及距离的作品。艺术家莫里茨·科内利斯·埃舍尔就常将无穷的概念用在他的作品中。

认知科学家乔治·莱考夫将数学及科学中无限的概念视为一个隐喻。这个观点是基于简单的无限隐喻，定义为一直递增的数列<1,2,3,...>。

无限的符号常浪漫的表示永恒的爱，许多现代的珠宝就在其造型中加入无限的符号。

Crypton Future Media的角色主唱系列中 CV-03巡音流歌的人物形象即包含无穷大的符号以象征“循环、巡回”之意。