度量空间中序列差的极限与距离三角不等式.docVIP

度量空间中序列差的极限与距离三角不等式

一、度量空间的基本概念与序列极限

度量空间是现代数学分析的核心框架之一，它通过定义“距离”这一抽象概念，将集合中的元素关系量化，为极限、连续性等分析学核心概念提供了统一的语言。设(X)为非空集合，若映射(d:X\timesX\to\mathbb{R})满足以下三条公理，则称((X,d))为度量空间，(d)称为(X)上的度量：

非负性：对任意(x,y\inX)，(d(x,y)\geq0)，且(d(x,y)=0)当且仅当(x=y)；

对称性：对任意(x,y\inX)，(d(x,y)=d(y,x))；

三角不等式：对任意(x,y,z\inX)，(d(x,y)\leqd(x,z)+d(z,y))。

在度量空间中，序列的极限是分析学的基础。设({x_n})是度量空间((X,d))中的序列，若存在(x\inX)，使得对任意(\epsilon0)，存在正整数(N)，当(nN)时，有(d(x_n,x)\epsilon)，则称({x_n})收敛于(x)，记为(\lim_{n\to\infty}x_n=x)。序列极限的本质是通过距离的无限趋近刻画元素的“趋近”关系，而三角不等式作为度量的核心性质，在极限的推