第六章带度量的线性空间 6-1欧几里得空间 设f是实线性空间V上的一个正定、对称的双线性函数,则Va,B∈V,(a,): f(a,B)称为向量a与B的内积;具有内积的实线性空间称为欧几里得空间(简称欧氏空 间) 对任意α∈V,定义 lalv(a,a) 为向量a的长度或模.|a|=1时,称a为单位向量 命题1.1(柯西-布尼雅可夫斯基不等式)对欧氏空间V内任意两个向量a,,有

1线性函数 定义1设V是数域P上的一个线性空间,f是V到P的一个映射,如果f满 足

1.按通常数的加法与乘法,下列集合是否构成实数域R上的线性空间? (1)整数集Z:(2)有理数集Q;(3)实数集R;(4)复数集C

针对由一阶智能体和二阶智能体组成的离散异质多智能体系统,研究其一致性问题.设计无通信时延和具有有界通信时延时的分布式一致性协议,通过将系统转化为自治的离散时间线性时不变系统,运用矩阵理论和代数图论方法,分析得到系统实现一致性的充分条件.获得的充分条件与采样周期、控制参数和系统的拓扑结构有关.证明了系统的一致性不受有界通信时延影响.数值仿真结果验证了理论结果的正确性

2.1.4向量组的线性等价和集合上的等价关系 定义(线性等价)给定Km内的两个向量组

若干个同维数的列向量（或同维数的行向量） 所组成的集合叫做向量组．

2.1.4向量组的线性等价和集合上的等价关系 定义(线性等价)给定Km内的两个向量组

一、n元线性方程组 1设线性方程组nx1+an2x2+…+amxn=b若常数项b2,…,bn不全为零,则称此方程组为非1,02,齐次线性方程组;若常数项b,b2bn全为零

5.1.3线性空间上的对称双线性函数、二次型函数的定义 定义若f为V上的双线性函数且f(a,B)=f(B,a),则称f为V上的对称双线性函数

命题如果n维空间V上的线性变换A的矩阵相似于对角矩阵,则A在任一不变子空 间M上(的限制)的矩阵相似于对角矩阵。 证明若V上的线性变换A的矩阵相似于对角矩阵,则V可以分解为特征子空间的直 和。记A的所有特征值为,2,2,则V=V4V,取M=nV, 断言M=M1M2⊕M,首先要证明