史荣昌魏丰版矩阵分析第三章(1)
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
内积空间正规矩阵与第三章内积空间、正规矩阵与H -矩阵
定义:设是实数域上的维线性空间,对于中的任意两个向量按照某一确定法则对应着一V R n V ,αβ个实数,这个实数称为与的内积,记为,并且要求内积满足下列运算条件:
αβ(,)αβ1()(,)(,)αββα=2()(,)(,)
(()(k k αβαβ=34000),,)(,)
()(,),(,).
αβγαγβγααααα+=+≥==当且仅当时
这里是中任意向量,为任意实数,我们称带有这样内积的维线性空间为欧氏空间。,,αβγV k n V 例1在中,对于
n
R 1212(,,,),(,,,)
n n x x x y y y αβ==""规定
11122(,)n n
x y x y x y αβ=+++"容易验证是上的一个内积,从而成
1(
,
)n R n R 为一个欧氏空间。如果规定
211222(,)n n
x y x y nx y αβ=+++"容易验证也是上的一个内积,这样又成为另外一个欧氏空间2(,)n R n R
又成为另外个欧氏空间。
例2在维线性空间中,规定
n m
R
×nm T
容易验证这是上的一个内积,这样对于
(,):Tr()
A B AB =n m
R ×n m
R ×这个内积成为一个欧氏空间。
例3在维线性空间中,规定
2
n n n
C
×(,):()
H
A B Tr AB =其中H
表示中所有元素取共轭复数后再转置,
容易验证是上的一个内积,从而连同这个内积一起成为酉空间。B B (,)n n
×n n
C ×连同这个内积起成为酉空间。C
欧氏空间的性质)()β欧氏空间的性质:
(1)(,,k k αβα==(2)(,)(,)(,))()
t
t
αβγαβαγ++1
1(3)(,,i i i i i i k k αβαβ===∑∑(4)(,)(,)
t
t
i i i i k k αβαβ===∑∑1
1
i i
4242i
i i ++⎡⎤(1)
21i i ⎢⎥−+⎢⎥4212i i ⎢⎥−+−−⎣⎦
6
123i i +⎡⎤(2)
1291i i ⎢⎥−−⎢⎥317i i ⎢⎥−+−⎣⎦
⎡0
18(3)4i i −⎤⎢⎥100i i −−−⎢⎥−−⎦
84i i ⎢⎥⎣3132i i +⎡(4)13415i i ⎤⎢⎥−+2155i i ⎢⎥⎢⎥−−⎣⎦
标准正交基底与Schmidt 正交化方法
定义为一组不含有零向量的向量组如果:设为组不含有零向量的向量组,如果内的任意两个向量彼此正交,则称其为正交向量组{}i α{}i α量组。
定义:如果一个正交向量组中任何一个向量都是单位向量则称此向量组为标准正交向量组
单位向量,则称此向量组为标准正交向量组。
定义n n :在维内积空间中,由个正交向量组成的基底称为正交基底;由个标准的正交向量组成的n 基底称为标准正交基底。
定理:向量组为正交向量组的充分必要条件是
{}i α)0(,,i j i j
αα=≠{}i α向量组为标准正交向量组的充分必要条件是
10(,){
i j ij i j i j
ααδ===≠
定理正交的向量组是一个的向量组反:正交的向量组是一个线性无关的向量组。反之,由一个线性无关的向量组出发可以构造一个正交向量组甚至是一个标准正交向量组交向量组,甚至是一个标准正交向量组。Schmidt 正交化与单位化过程:
设为维内积空间中的个线个向量可以构造一个标准V n {}12,,,r ααα"r 性无关的向量,利用这个向量可以构造个标准正交向量组, 而且它是的一个r {}12span ,,,r ααα"标准正交基。
酉变换与正交变换
定义:设为一个阶复矩阵,如果其满足
A n H H
,一般记为A A AA I
==A n n
A U
×∈则称是酉矩阵般记为为一个阶实矩阵,如果其满足A n 设为个阶实矩阵如果其满足
T T
A A AA I
==则称是正交矩阵,一般记为A n n
A E
×∈
⎡⎤
cos sin (4)01
0i θθ−⎢⎥是一个酉矩阵()sin 0cos i θθ⎢⎥
−⎢⎥⎣
⎦
(5)设且,如果
1
n C
α×∈1
H
αα=2H
G I αα
=−则是一个酉矩阵。通常称为Householder 矩阵。
G
满足
n n
×A 幂等矩阵
定义:设,如果A C
∈2
A A
=则称是一个幂等矩阵。A 对应投影变换
M ⎡例
()
,r n n r n r I A C M C O O ××−⎤=∈∈⎢
⎥⎣⎦
是个分块幂等矩阵是一个分块幂等矩阵。
幂等矩阵的一些性质:设是幂等矩阵,那么有A (1)都是幂等矩阵;
,,,,T
H
T
H
A A I A I A I A −−−(2)()()0A I A I A A −=−=(3)()()
N A R I A =−N I A R A −=()()
(4)的充分必要条件是Ax x =()x R A ∈(5)1
()()
n C
R A N A ×=⊕()
x Ax x Ax =+−