实数的柯西列

一个实数序列

被称为柯西列，如果对于任何正实数r>0{\displaystyle r>0}整数在一个正整数N{\displaystyle N}使得对于所有的整数m,n≥ ≥ -->N{\displaystyle m,n\geq N}，都有

其中的竖线表示绝对值。

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

度量空间中的柯西列

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

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

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

其中d(x,y){\displaystyle d(x,y)}表示x{\displaystyle x}和y{\displaystyle y}之间的距离。

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

例子

对于有绝对值作为范数的有理数空间Q{\displaystyle \mathbb {Q} }，定义数列：

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

对于所有多项式组成的空间，定义每个多项式的范数是其系数绝对值的最大值，两个多项式之间的距离则是它们的差的范数。考虑多项式列：:x1,x2,x3,⋯ ⋯ -->{\displaystyle x_{1},x_{2},x_{3},\cdots }满足： xn=∑ ∑ -->k=1nxkk{\displaystyle x_{n}=\sum _{k=1}^{n}{x^{k} \over k}}。这个多项式列中，对任意 m>n∈ ∈ -->N{\displaystyle m>n\in \mathbb {N} }，d(xm,xn)=||∑ ∑ -->k=n+1mxkk||=1n+1{\displaystyle d(x_{m},x_{n})=||\sum _{k=n+1}^{m}{x^{k} \over k}||={1 \over n+1}}，趋于零，因此它是一个柯西列。但这个柯西列显然不收敛，因为它的元素次数趋于无穷。

完备性

一个度量空间X{\displaystyle X}中的所有柯西数列都会收敛到 X{\displaystyle X} 中的一点 ，那么X{\displaystyle X}被称为是一个完备空间。

例子：实数

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

反例：有理数

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

存在某个由有理数组成的序列，收敛到某个无理数，所以这数列在有理数这空间是不收敛的。

例如：

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

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

其他性质

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

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

如果{xn}{\displaystyle \{x_{n}\}}和{yn}{\displaystyle \{y_{n}\}}是有理数、实数或复数构成的柯西列，那么{xn+yn}{\displaystyle \{x_{n}+y_{n}\}}和{xnyn}{\displaystyle \{x_{n}y_{n}\}}也是柯西列。

推广

拓扑向量空间中的柯西列

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

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

群中的柯西列

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

命H={Hr}{\displaystyle H=\{H_{r}\}}表示一列有限指标的递减的G{\displaystyle G}的正规子群，那么群G{\displaystyle G}中一个序列{xn}{\displaystyle \{x_{n}\}}称为柯西列（对于上述H{\displaystyle H}而言），当且仅当对于任意的r{\displaystyle r}，存在正整数N{\displaystyle N}使得对于任意的m,n>N{\displaystyle m,n>N}，都有xmxn− − -->1∈ ∈ -->H{\displaystyle x_{m}x_{n}^{-1}\in H}。

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

可以证明，这个完备化同构与序列{G/H4}{\displaystyle \{G/H_{4}\}}的逆向极限（英语：inverse limit）同构。

如果H{\displaystyle H}是个共尾序列（即任何有限的正规子群均包含某个Hr{\displaystyle H_{r}}），那么这个完备化在与{G/H}H{\displaystyle \{G/H\}_{H}}的逆极限同构的意义下是规范的，这里的H{\displaystyle 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 978-0-201-55540-0. 

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。