柯西序列

维库，知识与思想的自由文库

在数学中，一个柯西列是指一个这样一个序列，它的元素随着序数的增加而愈发靠近。更确切地说，在去掉有限个元素后，可以使得余下的元素中任何两点间的距离的最大值不超过任意给定的正的常数。柯西列是以数学家奥古斯丁·路易·柯西的名字命名的。

柯西列的定义依赖于距离的定义，所以只有在度量空间(metric space)中柯西列才有意义。在更一般的一致空间(uniform space)中，可以定义更为抽象的柯西滤子(Cauchy filter)和柯西网(Cauchy net)。

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

[编辑] 实数的柯西列

一个实数序列

$x_1, x_2, x_3, \ldots$

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

| x m - x n | < r,

其中的竖线表示绝对值。

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

[编辑] 度量空间中的柯西列

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

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

$x_1, x_2, x_3, \ldots$

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

d (x m, x n) < r

其中 $d (x, y)$ 表示 $x$ 和 $y$ 之间的距离。

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

[编辑] 完备性

一个度量空间 $X$ 中的所有柯西列都存在极限，那么 $X$ 被称为是一个完备空间。

[编辑] 例子：实数

实数是完备的，而且标准的实数构造包含有理数的柯西列。

[编辑] 反例：有理数

有理数 $\mathbb{Q}$ 在通常定义的距离意义下不是完备的：

存在某个由有理数组成的序列，收敛到某个无理数，这就是说它在有理数的意义下是不收敛的。

例如：

如下定义的序列： $x 0 = 1, x n + 1 = (x n + 2 / x n) / 2$ ，即 $(1,3 / 2,17 / 12,...)$ 。可以证明这个序列收敛到一个无理数 $\sqrt{2}$ 。

对于每个给定的 $x \ne 0$ 而言，以下函数 $exp(x),sin(x),cos(x)$ 的值都可以表示为一个有理数序列的极限，但当 $x$ 为有理数时，这个值却是无理数。

[编辑] 其他性质

任何收敛列必然是柯西列，任何柯西列必然是有界序列。

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

如果 ${x n}$ 和 ${y n}$ 是有理数、实数或复数构成的柯西列，那么 ${x n + y n}$ 和 ${x n y n}$ 也是柯西列。

[编辑] 推广

[编辑] 拓扑向量空间中的柯西列

在一个拓扑向量空间(topological vector space) $X$ 中同样可以定义一个柯西列：在 $X$ 选择一个 $0$ 邻域基(local base) $\mathcal{B}$ ，如果对于 $\mathcal{B}$ 中的任何元素 $V$ ，存在一个正整数 $N$ 使得对于任意的 $m, n > N$ 而言，序列 ${x k}$ 满足 $x_m - x_n \in V$ ，那么这个序列就称为一个柯西列。

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

[编辑] 群中的柯西列

在一个群(group)中，同样可以定义柯西列：

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

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

可以证明，这个完备化同构与序列 ${G / H 4}$ 的逆向极限(inverse limit)同构。

如果 $H$ 是个共尾(cofinal)序列（即任何有限的正规子群均包含某个 $H r$ ），那么这个完备化在与 ${G / H} H$ 的逆极限同构的意义下是规范的（canonical），这里的 $H$ 跑遍所有有限的正规子群。

[编辑] 参考书（英文版）

Bourbaki, Nicolas (1972). Commutative Algebra, English translation, Addison-Wesley. ISBN 0-201-0644-8.

Lang, Serge (1997). Algebra, 3rd ed., reprint w/ corr., Addison-Wesley. ISBN 0-201-55540-9.

来自“http://hello_baby.movieclub.com.cn/wiki/%E6%9F%AF%E8%A5%BF%E5%BA%8F%E5%88%97”

个人工具