在泛函分析中,特别重要和有用的一类度量空间是赋范线性空间.
在赋范线性空间中的元素可以相加或者数乘,元素之间不仅有距离,而且每个元素有类似于普通向量长度的称为范数的量.
定义1
设 X X X 是实(或复)的线性空间,如果对每个向量 x ∈ X , x \in X , x∈X, 有一个确定的实数,记为 ∥ x ∥ \| x \| ∥x∥ 与之对应,并且满足
- ∥ x ∥ ⩾ 0 , \| x \| \geqslant 0 , ∥x∥⩾0, 且 ∥ x ∥ = 0 \| x \| = 0 ∥x∥=0 等价于 x = 0 ; x = 0 ; x=0;
- ∥ α x ∥ = ∣ α ∣ ∥ x ∥ \| \alpha x \| = | \alpha | \| x \| ∥αx∥=∣α∣∥x∥ 其中 α \alpha α为任意实(复)数;
- ∥ x + y ∥ ⩽ ∥ x ∥ + ∥ y ∥ , x , y ∈ X , \| x + y \| \leqslant \| x \| + \| y \| , x , y \in X , ∥x+y∥⩽∥x∥+∥y∥,x,y∈X,
则称 ∥ x ∥ \| x \| ∥x∥ 为 向量 x x x 的范数,称 X X X 按 范数 ∥ ⋅ ∥ \| \cdot \| ∥⋅∥为赋范线性空间,