赋范空间与巴拿赫空间
线性空间建立了元素间的线性运算,而有时还需元素的度量。距离是任两元素间一种度量,而范数则是每个元素自己(或与0元素间)的度量。
范数与赋范空间
范数
与距离的条件相比,第(2)条变成了 α \alpha α常数(线性)的可拆。距离的第(2)条则是对称性。
赋范空间
与距离空间类似,线性赋范空间同样是与空间一起定义。
范数与距离的关系
证明:赋范空间到距离空间
如上,只需证明 ∣ ∣ x − y ∣ ∣ ||x-y|| ∣∣x−y∣∣满足距离的性质即可。如果 ∣ ∣ x − y ∣ ∣ ||x-y|| ∣∣x−y∣∣是距离,则称 ∣ ∣ x − y ∣ ∣ ||x-y|| ∣∣x−y∣∣是由范数导出的距离。
可以理解为:赋范空间是一种特殊的距离空间。
如上,在赋范空间中依然有收敛
、柯西列
概念。
巴拿赫空间
完备的线性赋范空间称为巴拿赫空间
,简称B-空间
。
如上,我们早就证明过,如果距离为 ∣ x − y ∣ |x-y| ∣x−