矩阵分析与应用+张贤达

第一章 矩阵与线性方程组（五）

一、实内积空间

• 实内积空间是满足下列条件的实向量空间$E$，即对$E$中每一对向量$x,y$，存在向量$x和y$的内积$<x,y>$服从：
  （1）$⟨x,x⟩>0,\forall x\ne 0$,称为内积的严格正性或称内积是正定的，并且$⟨x,boldmath⟩=0\iff x=0$
  （2）$⟨x,y⟩=⟨y,x⟩$,称为内积的对称性
  （3）
  （4）$⟨\alpha x,y⟩=\alpha ⟨x,y⟩$对所有实向量$x,y$及所有实标量$\alpha$成立

• 典范内积
  是对实n阶向量空间$R^n$定义向量$x=[x_1,x_2,\cdot \cdot \cdot ,x_n{]}^T,y=[y_1,y_2,\cdot \cdot \cdot ,y_n{]}^T$之间的内积
  
  则称$R^n$为n阶Euclidean空间或者Euclidean n空间。

• 令$x(t)$，$y(t)$是$R$的两个连续函数，并且t的定义域为[a,b],则$x(t)$和$y(t)$之间的内积定义
  

二、 范数

• 若$R^n$是一个室内积空间，并且$x\in E^n$，则$x$的范数（或“长度”）记作$||x||$，并定义为
  
• 长度为1的向量称为单位向量。向量$x$和$y$之间的距离定义为
  
• 特别地，对于Euclidean n空间，向量范数取
  
  并称为向量$x$的Euclidean长度
• 向量的距离取
  
  并称之为向量$x$和$y$之间的Euclidean距离。

三、室内积空间的范数具有的一般性质

（1）$||0||=0$，并且$||x||>0,\forall x\ne 0$
（2）$||cx||=|c|||x||$对所有向量$x$和标量$c$成立
（3）范数服从极化恒等式

（4）范数满足平行四边形法则

（5）范数服从Cauchy-Schwartz不等式

等号成立，当且仅当$y=cx$，其中，$c$为某个非零常数。

（6）范数满足三角不等式