柯西序列

维基百科,自由的百科全书
跳转至: 导航搜索
一个柯西序列 (x_n) 的绘图,使用蓝色,x_n 相对于 n。如果包含这个序列的空间是完备的,则这个序列的“最终目标”也就是极限存在。
非柯西的一个序列。这个序列的元素不能随着序列前进而相互靠近。

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

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

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

实数的柯西列[编辑]

一个实数序列

x_1, x_2, x_3, \ldots

被称为柯西列,如果对于任何正实数r > 0,存在一个正整数N使得对于所有的整数m, n \ge 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)表示xy之间的距离。

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

例子[编辑]

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

这个数列趋于 \sqrt{2} ,但\sqrt{2} 不属于\mathbb{Q} ,因此这个数列不收敛。

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

完备性[编辑]

一个度量空间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\}也是柯西列。

推广[编辑]

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

在一个拓扑向量空间X中同样可以定义一个柯西列:在X选择一个0局部基\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 groupC/C_0称为G相对于H完备化completion)。

可以证明,这个完备化同构与序列\{G/H_4\}逆向极限inverse limit)同构。

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

参考书(英文版)[编辑]

  • Bourbaki, Nicolas. Commutative Algebra English translation. Addison-Wesley. 1972. ISBN 0-201-0644-8. 
  • Lang, Serge. Algebra 3rd ed., reprint w/ corr. Addison-Wesley. 1997. ISBN 0-201-55540-9.