查看“︁柯西序列”︁的源代码

{{no footnotes|time=2015-05-11T03:24:18+00:00}}

{{multiple image|
| image1            = Cauchy sequence illustration.png
| caption1          = 一个柯西序列 <math>(x_n)</math> 的绘图，使用蓝色，<math>x_n</math> 相对于 <math>n</math>。如果包含这个序列的空间是完备的，则这个序列的“最终目标”也就是极限存在
| image2            = Cauchy sequence illustration2.png
| caption2          = 非柯西的一个序列。这个序列的元素不能随着序列前进而相互靠近
| total_width       = 220
| perrow            = 1/1
}}

在数学中，'''柯西序列'''、'''柯西列'''、'''柯西数列'''（{{lang-en|Cauchy sequence}}），也称为'''基本列'''，是指一个元素随着序数的增加而愈发靠近的[[数列]]，{{notetag|更确切地说，在去掉有限个元素后，可以使得余下的元素中任何两点间的[[距离]]的最大值不超过任意给定的正数。}}以数学家[[奥古斯丁·路易·柯西]]的名字命名。

柯西列的定义依赖于[[距离]]的定义，所以只有在[[度量空间]]中柯西列才有意义。在更一般的[[一致空间]]中，可以定义更为抽象的[[柯西滤子]]和[[柯西网]]。

柯西列一个重要性质是，在[[完备空间]]中，所有的柯西数列都有[[极限 (序列)|极限]]且极限在这空间里，这就让人们可以在不求出这个极限（如果存在）的情况下，利用柯西列的判别法则证明该数列的极限是存在的。柯西列在构造具有[[完备性]]的代数结构的过程中也有重要价值，如构造[[实数]]。

==复数的柯西列==

一个复数序列

:<math>z_1, z_2, z_3, \ldots </math>

被称为'''柯西列'''，如果对于任何正实数<math>r > 0</math>，存在一个正[[整数]]<math>N</math>使得对于所有的整数<math>m, n \ge N</math>，都有

:<math>|z_m - z_n| < r, </math>

其中的竖线表示[[绝对值]]或[[范数|模]]。

类似地，我们可以定义[[实数]]的柯西列。

==度量空间中的柯西列==

为了将柯西列的定义推广到一般的[[度量空间]]，必须将[[绝对值]]替换为该度量空间中的[[距离]]。

形式上说，给定任何一个度量空间<math>(M, d)</math>，一个序列

:<math>x_1, x_2, x_3, \ldots </math>

被称为'''柯西列'''，如果对于任何正实数<math>r > 0</math>，存在一个正[[整数]]<math>N</math>使得对于所有的整数<math>m, n > N</math>，都有

:<math>d(x_m, x_n) < r</math>

其中<math>d(x, y)</math>表示<math>x</math>和<math>y</math>之间的距离。

直观上说，一个序列中的元素越来越靠近似乎说明这个序列必然在这个度量空间存在一个极限，而事实上在某些情况下这个结论是不对的。

===例子===

*对于有绝对值作为范数的有理数空间<math>\mathbb{Q} </math>，定义[[数列]]：
:<math>x_1, x_2, x_3, \cdots </math>满足： <math>x_n = { [ \sqrt{2} n ] \over n} </math>

这个数列趋于 <math>\sqrt{2} </math> ，但<math>\sqrt{2} </math>不属于<math>\mathbb{Q} </math>，因此这个数列不收敛。

*对于所有[[多项式]]组成的空间，定义每个多项式的范数是其系数绝对值的最大值，两个多项式之间的距离则是它们的差的范数。考虑多项式列：:<math>x_1, x_2, x_3, \cdots </math>满足： <math>x_n = \sum_{k=1}^n {x^k \over k} </math>。这个多项式列中，对任意 <math> m > n \in \mathbb{N} </math>，<math>d(x_m, x_n)  = || \sum_{k=n+1}^m {x^k \over k} || = {1 \over n+1} </math>，趋于零，因此它是一个柯西列。但这个柯西列显然不收敛。

== 完备性 ==

一个度量空间<math>X</math>中的所有柯西數列都會收斂到 <math>X</math> 中的一點 ，那么<math>X</math>被称为是一个[[完备空间]]。

* 例子：实数 
实数是完备的，而且标准的[[实数构造]]包含[[有理数]]的柯西列。
* 反例：有理数

[[有理数]]<math>\mathbb{Q}</math>在通常定义的距离意义下不是完备的：

存在某个由有理数组成的序列，收敛到某个[[无理数]]，所以這數列在有理数這空間是不收敛的。

例如：

* 如下定义的序列：<math>x_0 = 1, x_{n + 1} = (x_n + 2 / x_n) / 2</math>，即<math>(1, 3/2, 17/12,...)</math>。可以证明这个序列收敛到一个无理数<math>\sqrt{2}</math>。
* 对于每个给定的<math>x \ne 0</math>而言，以下函数<math>\exp(x), \sin(x), \cos(x)</math>的值都可以表示为一个有理数序列的极限，但当<math>x</math>为有理数时，这个值却是无理数。

=== 其他性质 ===

任何收敛數列必然是柯西列，任何柯西列必然是[[有界集合|有界]]序列。

如果<math>f \colon M \rightarrow N</math>是一个由度量空间<math>M</math>到度量空间<math>N</math>的[[一致连续]]的映射，并且<math>\{x_n\}</math>是<math>M</math>中的柯西列，那么<math>\{f(x_n)\}</math>也必然是<math>N</math>中的柯西列。

如果<math>\{x_n\}</math>和<math>\{y_n\}</math>是有理数、实数或复数构成的柯西列，那么<math>\{x_n + y_n\}</math>和<math>\{x_n y_n\}</math>也是柯西列。

==推广==
=== 拓扑向量空间中的柯西列 ===

在一个[[拓扑向量空间]]<math>X</math>中同样可以定义一个柯西列：在<math>X</math>选择一个<math>0</math>[[局部基]]<math>\mathcal{B}</math>，如果对于<math>\mathcal{B}</math>中的任何元素<math>V</math>，存在一个正整数<math>N</math>使得对于任意的<math>m, n > N</math>而言，序列<math>\{x_k\}</math>满足<math>x_m - x_n \in V</math>，那么这个序列就称为一个柯西列。

如果这个拓扑向量空间<math>X</math>上有恰好可以引入一个[[平移不变度量]]<math>d</math>，那么上述方法定义的柯西列和利用这个度量<math>d</math>定义的柯西列是等价的。

=== 群中的柯西列 ===

在一个[[群]]中，同样可以定义柯西列：

命<math>H = \{H_r\}</math>表示一列[[有限群|有限指标]]的递减的<math>G</math>的[[正规子群]]，那么群<math>G</math>中一个序列<math>\{x_n\}</math>称为柯西列（对于上述<math>H</math>而言），[[当且仅当]]对于任意的<math>r</math>，存在正整数<math>N</math>使得对于任意的<math>m,n >N</math>，都有<math>x_m x_n^{-1} \in H</math>。

如果用<math>C</math>表示所有的这样定义的柯西列组成的集合，那么<math>C</math>在序列点点相乘的意义下构成一个新的群。而且<math>C_0</math>，即所有空序列（对于任意<math>r</math>，存在<math>N</math>使得对于任意<math>n > N</math>，都有<math>n \in H_r</math>）构成了<math>C</math>的正规子群。而[[商群]]<math>C/C_0</math>称为<math>G</math>相对于<math>H</math>的[[完备化]]。

可以证明，这个完备化同构与序列<math>\{G/H_4\}</math>的{{link-en|逆向极限|inverse limit}}同构。

如果<math>H</math>是个[[共尾]]序列（即任何有限的正规子群均包含某个<math>H_r</math>），那么这个完备化在与<math>\{G/H\}_H</math>的逆极限同构的意义下是规范的，这里的<math>H</math>跑遍所有有限的正规子群。

==注释==
{{notefoot}}

== 参考书目==

* {{cite book | author=Bourbaki, Nicolas | title=Commutative Algebra | url=https://archive.org/details/commutativealgeb0000bour | edition = English translation| publisher=Addison-Wesley | year=1972 | id=ISBN 0-201-0644-8 }}

* {{cite book | author=Lang, Serge | title=Algebra | edition = 3rd ed., reprint w/ corr. | publisher=Addison-Wesley | year=1997 | id=ISBN 978-0-201-55540-0 }}
{{級數}}
[[Category:奥古斯丁-路易·柯西]]
[[Category:度量几何]]
[[Category:拓扑学]]
[[Category:抽象代数]]
[[Category:序列]]
[[Category:收敛 (数学)]]