范数

范数,是具有“长度”概念的函数。在线性代数泛函分析及相关的数学领域,是一个函数,其为向量空间内的所有向量赋予非零的正长度大小。半范数反而可以为非零的向量赋予零长度。

举一个简单的例子,一个二维度的欧氏几何空间\R^2就有欧氏范数。在这个向量空间(譬如:(3,7))的元素常常在笛卡儿座标系统被画成一个从原点出发的箭号。每一个向量的欧氏范数就是箭号的长度。

拥有范数的向量空间就是赋范向量空间。同样,拥有半范数的向量空间就是赋半范向量空间。


定义

假设V是域F上的向量空间V半范数是一个函数p:V\to\mathbb{R}; x\mapsto{}p(x),满足:

\forall a \in F,\forall u,v \in V,

  1. p(v) \ge 0 (正值性)
  2. p(a v) = |a| p(v)(正值齐次性)
  3. p(u + v) \le p(u) + p(v) (三角不等式

范数是一个半范数加上额外性质:

4.  p(v)=0,当且仅当 v零向量正定性

如果拓扑向量空间的拓扑可以被范数导出,这个拓扑向量空间被称为赋范向量空间

例子

  • 所有范数都是半范数。
  • 平凡半范数,即p(x) = 0, \forall x \in V
  • 绝对值实数集上的一个范数。
  • 对向量空间上的线性型f可定义一个半范数:x → |f(x)|。

欧几里德范数

n欧几里德空间Rn上,向量x =(x1x2, ..., xn)的最符合直觉的长度由以下公式给出

\|\boldsymbol{x}\| := \sqrt{x_1^2 + \cdots + x_n^2}.

根据勾股定理,它给出了从原点到点x之间的(通常意义下的)距离。 欧几里德范数是Rn上最常用的范数,但正如下面举出的,Rn上也可以定义其他的范数。然而,以下定义的范数都定义了同一个拓扑结构,因此它们在某种意义上都是等价的。

在一个n维复数空间Cn中,最常见的范数是:

\|\boldsymbol{z}\| := \sqrt{|z_1|^2 + \cdots + |z_n|^2}= \sqrt{z_1 \bar z_1 + \cdots + z_n \bar z_n}.

以上两者又可以以向量与其自身的内积平方根表示:

\|\boldsymbol{x}\| := \sqrt{\boldsymbol{x}^* \boldsymbol{x}},

其中x是一个列向量([x1x2; ...; xn]),而x*表示其共轭转置

以上公式适用于任何内积空间,包括欧式空间和复空间。在欧几里得空间里,内积等价于点积,因此公式可以写成以下形式:

\|\boldsymbol{x}\| := \sqrt{\boldsymbol{x} \cdot \boldsymbol{x}}.

特别地,Rn+1中所有的欧几里得范数为同一个给定正实数的向量的集合是一个n维球面

复数的欧几里得范数

如果将复平面看作欧几里得平面R2,那么复数的欧几里得范数是其绝对值(又称为)。这样,我们可把x + iy视为欧几里得平面上的一个向量,由此,这个向量的欧几里得范数即为\sqrt{x^2 +y^2}(最初由欧拉提出)。





评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值