定义
设 E E E 是实(或复)线性空间,如果对于 E E E 中的每个元素 x x x,都有一个实数,记为 ∥ x ∥ \Vert x\Vert ∥x∥,与之对应,且满足:
- ∥ x ∥ ⩾ 0 , ∥ x ∥ = 0 \Vert x\Vert\geqslant0,\Vert x\Vert=0 ∥x∥⩾0,∥x∥=0 的充分必要条件是 x = θ x=\theta x=θ
- ∥ α x ∥ = ∣ α ∣ ∥ x ∥ \Vert \alpha x\Vert = \vert \alpha\vert\Vert x\Vert ∥αx∥=∣α∣∥x∥,这里 α \alpha α 是实(或复)数
- ∥ x + y ∥ ⩽ ∥ x ∥ + ∥ y ∥ \Vert x+y\Vert\leqslant\Vert x\Vert+\Vert y\Vert ∥x+y∥⩽∥x∥+∥y∥ (设 y ∈ E y\in E y∈E)
则称 E E E 为 实(或复)赋范线性空间, ∥ x ∥ \Vert x\Vert ∥x∥ 称为元素 x x x 的范数
举例
在 C [ a , b ] C[a,b] C[a,b] 上定义线性运算如下:
设 x , y x,y x,y 均为 C [ a , b ] C[a,b] C[a,b] 中的元素, α \alpha α 为数,令
( x + y ) ( t ) = x ( t ) + y ( t ) (x+y)(t)=x(t)+y(t) (x+y)(t)=x(t)+y(t)
( α x ) ( t ) = α x ( t ) (\alpha x)(t)=\alpha x(t) (αx)(t)=αx(t)
则 C [ a , b ] C[a,b] C[a,b] 按照上述线性运算是一个线性空间。再在 C [ a , b ] C[a,b] C[a,b] 中令
∥ x ∥ = max a ⩽ t ⩽ b ∣ x ( t ) ∣ ( x ∈ C [ a , b ] ) \Vert x\Vert=\max_{a\leqslant t\leqslant b}\vert x(t)\vert\quad(x\in C[a,b]) ∥x∥=a⩽t⩽bmax∣x(t)∣(x∈C[a,b])
则 ∥ ⋅ ∥ \Vert \cdot\Vert ∥⋅∥ 满足范数的全部条件,因此 C [ a , b ] C[a,b] C[a,b] 按照上述定义的范数是一个赋范线性空间。
2022年4月11日20:38:21