无穷

title: 历史.
title: 早期无限的观点.
content: 最早关于无限的记载出现在印度的夜柔吠陀(公元前1200-900)。书中说:「如果你从无限中移走或添加一部分,剩下的还是无限。」  印度耆那教的经书《Surya Prajnapti》(c. 400 BC) 把数分作三类:「可计的」、「不可计的」及「无限」。每一类再细分成三种阶:  现代科学家解析古代羊皮卷中的阿基米德手稿(Archimedes Palimpsest),在残卷《方法》命题14中,发现阿基米德开始计算无穷大的数目。他采取近似于19世纪微积分与集合论的手法,计算了两组无穷大的集合,以求和的方法,证明它们之间的数目是相等的。  这是在人类记载上第一次出现无限也可以分类这一个念头。
title: 文艺复兴时代至近代.
content: 伽利略最先发现一个集合跟它自己的真子集可以有相同的大小。  他用上一一对应的概念说明自然数集{1, 2, 3, 4...}跟子集平方数集{1,4,9,16...}一样多。就是1→1、2→4、3→9、4→16、...  一一对应正是用于研究无限必要的手法。
title: 数学中的无穷.
title: 无限大的符号.
content: 无限大的符号是formula_1,其Unicode为,在LaTeX中表示为codice_1。  无限大的符号是1655年由约翰·沃利斯开始使用,在开始使用后,也用在数学以外的领域,例如现代神秘主义及符号学。
title: 微积分及实分析中的无穷.
content: 莱布尼茨是微积分的发明者之一,他提出许多有关无穷大及其在数学中应用的猜测。对莱布尼茨而言,无穷大和无穷小量都是理想的实体,和一般数值的本质不同,不过有类似的性质。  在实分析中,符号formula_1称为「无穷大」,代表无界极限。formula_3表示formula_4超出任意给定值,formula_5表示formula_4最终小于任意给定值。  一函数积分的结果可能会是无限大,若对于所有的"t","f"("t") ≥ 0,则  无穷大也可以用来描述无穷级数:  若将标记为formula_16和formula_17的点加入到实数组成的拓扑空间,就产生实数集的「两点紧致化」。再加入代数属性,就得到了扩展的实数轴。也可将formula_16和formula_17作为一个点,记作formula_1,并得到实数的「一点紧致化」,也就是实射影线。射影几何在平面几何上引入无穷远线,在高维上也有类似概念。
title: 复变分析中的无穷.
content: 在复变分析中符号formula_1是指没有正负号的极限值。formula_22是指"x"的大小 formula_23会超过任意给定的数值。可以在复数平面上加上无穷远点,变成一个拓扑空间,即为复数平面的一点紧化。若完成后,所得的平面是一维的复流形或黎曼曲面,称为黎曼球面。也可以定义在其上的代数运算(不过有一个例外,无限大不能和本身相加)。另一方面,有无限大表示可以除以零,而对于任何不为0的复数"z",formula_24,因此可以将亚纯函数对映到黎曼球面上,只要将极点对应到无穷远点formula_1即可。复变函数的定义域也可以加入无穷远点,例如莫比乌斯变换的函数。
title: 无穷大和无穷小.
content: 一般讲无穷指的都是无穷大,但是无穷小也是一种无穷。通过formula_26的映射即可把无穷大映射为无穷小。在微积分中,常用高阶无穷小的概念。
title: 无穷远点.
content: 无穷远点是一个加在实数轴上后得到实射影直线formula_27的点。
title: 集合论中的无穷.
content: 在集合论中对无穷有不同的定义。德国数学家康托尔提出,对应于不同无穷集合的元素的个数(基数),有不同的「无穷」。  这里比较不同的无穷的「大小」的时候,唯一的办法就是通过是否可以建立「一一对应关系」来判断,而抛弃了欧几里得「整体大于部分」的看法。例如整数集和自然数集由于可以建立一一对应的关系,它们就具有相同的基数。  例如,
title: 几何学和拓扑学.
content: 无限维的空间常用在几何学及拓扑学中,尤其是在分类空间,也就是Eilenberg−MacLane空间。常见的例子包括无限维的复射影空间K(Z,2),以及无限维的实射影空间K(Z/2Z,1)。
title: 分形.
content: 分形的结构可以重复的放大,分形可以无限次的放大,但不会变的圆滑,而且仍维持原有的结构,分形的周长是无限的,有些的面积无限,但有些的面积却是有限。像科赫曲线就是有无限周长和有限面积的例子。
title: 没有无穷的数学.
content: 利奥波德·克罗内克怀疑无限的概念,也怀疑1870年代及1880年代时数学家使用无限的方式。这种怀疑主义形成一种称为有限主义的数学哲学,是属于数学结构主义及数学直觉主义中的一种极端形式。
title: 物理中的无穷.
content: 在物理上,实数的近似会用在连续量 (量测)的量测上,自然数的近似会用在离散的量测上。因此科学家假设没有可观察量会到无穷的数值,这是因为科学家很自然的,事实上已经是默认的接受了这样的事情:即在真实的物理场景里,是不存无穷大的可观测物理量的。在例如在扩展的实数轴上取一个无穷的值,或是需要计算某个无穷次事件的次数。因此会默认没有任何物体会有无穷的质量或是能量。有些事物的概念和无限有关,例如无限平面波,但现今尚没有方法可以由实验产生无限平面波。
title: 电脑计算中的无穷.
content: IEEE 754浮点数标准中定义了正无限大及负无限大,定义为溢位、除以零或其他异常程序的结果。  像Java及J语言等程序语言允许在程序中直接用类似常数的方式存取正负无限大。正负无限大可以作为最大元,因为比所有其他的数都大(或是小)。正负无限大也可以做为像排序、搜寻或窗函数等算法中的哨兵值,找到这个值时可以结束计算。  在一些没有最大或最小元素,但允许关系运算子多载的程序语言中,程序员也可以「创建」最大及最小元素。若语言不允许直接存取最大或最小元素,但有浮点数的形态,也可以用特定的运算产生正负无限大,再进行其他处理。  微软的 Visual Studio 用无穷大符号作为图标。
title: 艺术及认知科学中的无穷.
content: 透视艺术使用了消失点或是无穷远点的概念.也就是放在观察者无穷远处的一个点。因此画家可以绘制有现实感空间及距离的作品。艺术家莫里茨·科内利斯·埃舍尔就常将无穷的概念用在他的作品中。  认知科学家乔治·莱考夫将数学及科学中无限的概念视为一个隐喻。这个观点是基于简单的无限隐喻,定义为一直递增的数列<1,2,3...>。  无限的符号常浪漫的表示永恒的爱,许多现代的珠宝就在其造型中加入无限的符号。  Crypton Future Media 的角色主唱系列中 CV-03 巡音流歌的人物形象即包含无穷大的符号以象征“循环、巡回”之意。

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

Infinity: Infinity (often denoted by the symbol formula_1 or Unicode ∞) represents something that is boundless or endless, or else something that is larger than any real or natural number. Since the time of the ancient Greeks, the philosophical nature of infinity was the subject of many discussions among philosophers. In the 17th century, with the introduction of the infinity symbol and the infinitesimal calculus, mathematicians began to work with infinite series and what some mathematicians (including l'Hôpital and Bernoulli) regarded as infinitely small quantities, but infinity continued to be associated with endless processes. As mathematicians struggled with the foundation of the calculus, it remained unclear whether infinity could be considered as a number or magnitude and, if so, how this could be done.