范数一般概念

范数是具有长度概念的函数。
矢量空间内的所有矢量赋予非零的正长度或大小。半范数可以给非零矢量赋予零长度
范数=半范数+额外性质
定义范数的矢量空间称为 赋范矢量空间，定义半范数的矢量空间称为赋半范矢量空间
欧式几何空间（欧几里得空间）
一类特殊的向量空间。对通常3维空间V3中的向量可以讨论长度、夹角等几何性质。若a＝（a1，a2，a3），β＝（b1，b2，b3)，则a的长度a与β的内积a与β的夹角a，β=arccos(假定a，β均非零向量)。推广之，在n维向量空间Rn中，若a＝（a1，……，an），β＝（b1，……，bn），规定
它具有类似的几何性质。Rn连同运算＜，＞，称为一个欧几里得空间。更一般地，若V是R上向量空间，称V×V到R的一个满足一定条件的映射为内积，带有内积的空间称为欧几里得空间。若＜a，β＞＝0，称a与β正交（垂直)。若V的一个基中的向量两两正交且长度为1，则称为标准正交基，V3中常用的直角坐标系就是标准正交基。每个n维欧几里得空间存在标准正交基，可由任意基改造而得。

欧式范数
注：在二维的欧氏几何空间 R中定义欧氏范数，在该矢量空间中，元素被画成一个从原点出发的带有箭头的有向线段，每一个矢量的有向线段的长度即为该矢量的欧氏范数。

半范数

半范数(seminorm)是范数的一种推广，其比范数的要求弱（半范数比范数少一个条件：使半范数值为0的元素不一定是0元素
范数一定是半范数

加上非负性就是范数的定义了

泛函

泛函的自变量是函数，泛函的自变量称为宗量。
简言之，泛函就是函数的函数。

赋范线性空间如果是完备的就称为巴拿赫空间