线性空间和线性映射(I)

《线性空间和线性映射(I)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、矩阵理论其中为维输入变量，维状态向量，为矩阵理论的简单应用一矩阵在线性系统与多变量控制中的应用线性系统状态空间的线性微分方程组为第一章线性空间和线性映射分别为m维输出向量，矩阵为型矩阵且均为时间的函数。定义：如果上述方程中的矩阵都是常数矩阵，则称该系统是线性定常系统。其状态空间线性方程为考虑一个线性定常系统定义对于上述系统，如果从状态空间中的任意一点开始，可以找到一个输入，在有限的时间内将状态变量驱动到原点，则称该系统是可控的；否则，称该系统是不可控的。定义对于上述系统，如果在任一时刻的状态可以由从这一时刻开始的一个有限时

2、间间隔上对输入为零的输出的观测来决定，则称该系统是可观测的;否则，称该系统是不可观测的。我们首先以单输入单输出系统为例。考虑下面的单输入单输出系统：其中和是维矢量，是矩阵，及是标量。定理1上面的单输入单输出系统是可控的充分必要条件是可控性判别矩阵是可逆（非奇异）矩阵。由于矩阵是可逆矩阵，所以相应的系统是可控的。例1设由于矩阵例2设是不可逆（奇异）矩阵，所以对应的系统是不可控的。定理2上面的单输入单输出系统是可观测的充分必要条件是可观测性判别矩阵是可逆（非奇异）矩阵。例3由于矩阵是可逆矩阵，所以相应的系统是可观测的。例4设由

3、于矩阵是不可逆（奇异）矩阵，所以对应的系统是不可观测的。我们再以多输入多输出系统为例。考虑下面的多输入多输出系统：定理3多输入多输出系统是可控制的充分必要条件是可控制性判别矩阵是行满秩的。该系统是可观测的充分必要条件是可观测性判别矩阵是列满秩的。由于矩阵是行满秩的，所以相应的系统是可控的。例5设二矩阵理论在生物数学中的应用在花的花瓣中存在一种特殊的生物模式。几乎所有花，其花瓣数都是一种有规律的级数。例如百合花的花瓣有3瓣；毛茛属的植物有5瓣花；许多翠雀属的植物花有8瓣；万寿菊的花有13瓣；紫菀属植物的花有21瓣；大多数雏菊

4、的花有34，55，89瓣。另外，在向日葵的花盘内葵花籽的螺旋式排列中也可以发现类似的排列模式，同时植物的叶序中也存在此种现象。这就是著名的Fibonacci级数模式。我们称下面的数列为Fibonacci级数。它满足下述递推公式：以及初始条件：试求该数列的通项公式，并且求出极限解设因为，所以令那么我们有于是我们为了求Fibonacci数列的通项公式只需求出即可，我们利用的相似标准形来化简的计算。的特征多项式为，它的两个特征根为：同理可得基础解系的一个向量为:由此可以看出可以对角化。解齐次线性方程组可以得到基础解系的一个向量为

5、：令那么从而由递推公式以及初始条件可得比较上式的第二个分量得这就是著名的Fibonacci数列通项公式，容易计算出：0.618这个数在最优化中有重要的应用，在最优化中我们经常运用这个数来迅速缩短搜索区间，以便找出最优点，这种方法经常称为黄金分割法。第一节线性空间的概念一线性空间的定义与例子定义设是一个非空的集合，是一个数域，在集合中定义两种代数运算,一种是加法运算,用来表示;另一种是数乘运算,用来表示,并且这两种运算满足下列八条运算律：（1）加法交换律（2）加法结合律（3）零元素在中存在一个元素，使得对于任意的都有（4）负

6、元素对于中的任意元素都存在一个元素使得则称是的负元素.（5）数1（6）（7）（8）称这样的集合为数域上的线性空间。例1全体实函数集合构成实数域上的线性空间。例2复数域上的全体型矩阵构成的集合为上的线性空间。例3实数域上全体次数小于或等于的多项式集合构成实数域上的线性空间.例4全体正的实数在下面的加法与数乘的定义下构成实数域上的线性空间：例5表示实数域上的全体无限序列组成的的集合。即在中定义加法与数乘：则为实数域上的一个线性空间。例6在中满足Cauchy条件的无限序列组成的子集合也构成上的线性空间。Cauchy条件是：使得对

7、于都有例7在中满足Hilbert条件的无限序列组成的子集合不构成上的线性空间。Hilbert条件是：级数收敛例8在中有界的无限序列组成的子集也构成上的线性空间。一个无限序列称为有界的，如果存在一个实数，使得二线性空间的基本概念及其性质定义线性组合；线性表出；线性相关；线性无关；向量组的极大线性无关组；向量组的秩.基本性质：（1）含有零向量的向量组一定线性相关；（2）整体无关部分无关；部分相关整体相关；（3）如果含有向量多的向量组可以由含有向量少的向量组线性表出，那么含有向量多的向量组一定线性相关；（4）向量组的秩是唯一的，

8、但是其极大线性无关组并不唯一；（5）如果向量组（I）可以由向量组（II）线性表出，那么向量组（I）的秩小于等于向量组（II）的秩；（6）等价的向量组秩相同。例1实数域上的线性空间中，函数组是一组线性无关的函数，其中为一组互不相同的实数。例2实数域上的线性空间中，函数组是一组线性无关的函数，其中为一组互不