度量空间中序列和的极限与坐标逐项运算.docVIP

度量空间中序列和的极限与坐标逐项运算

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

（一）度量空间的定义与核心性质

度量空间是现代分析学的基础框架之一，它通过定义“距离”概念将集合赋予拓扑结构。设(X)是一个非空集合，若存在映射(d:X\timesX\to\mathbb{R}_{\geq0})，满足以下四个条件，则称((X,d))为度量空间：

非负性：对任意(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,z)\leqd(x,y)+d(y,z))；

确定性：距离由唯一的映射规则确定，不依赖于外部参数。

常见的度量空间包括：

欧几里得空间(\mathbb{R}^n)：距离定义为(d(x,y)=\sqrt{\sum_{i=1}^n(x_i-y_i)^2})，其中(x=(x_1,x_2,\dots,x_n))，(y=(y_1,y_2,\dots,y_n))；

连续函数空间(C[a,b])：距离定义为(d(f,g)=\max_{x\i