标准正交基
标准正交基
一、标准正交基的定义及相关概念
1、欧几里得空间:设V实数域R上一线性空间,在V上定义了一个二元实函数,称为内积,记作(α,β),它具有以下性质: (1)(α,β)=(β,α); (2)(kα,β)=k(α,β);
(3)(α+β,γ)=(α,γ)+(β,γ);
(4)(α,α)>=0,当且仅当α=0时,(α,α)=0;
这里,α,β,γ是V中任意的向量,k是任意实数,这样的线性空间V称为欧几里得空间,简称欧氏空间。
2、正交向量组:欧式空间V中一组非零的向量,如果它们两两正交,就称为一正交向量组。
3、标准正交基:在n维欧氏空间中,由n个向量组成的正交向量组称为正交基,由单位向量组成的正交基称为标准正交基。
二、标准正交基的相关性质
1、正交向量组的性质:
(1)正交向量组是线性无关的。
证明:设α1,α2,...,αm是一正交向量组,k1,k2,...,km是m个实数,且有: k1α1+k2α2+...+kmαm=0
用αi与等式两边作内积,得:ki(αi,αi)=0
由αi≠0,有(αi,αi)>0,从而:ki=0 (i=1,2,...,m) 命题得证。
(2)单个非零向量组成的向量组是正交向量组。
(3)在n维欧氏空间中,两两正交的非零向量不超过n个。(如:在平面上找不到三个两两垂直的非零向量,在空间中找不到四个两两垂直的非零向量。)
2、标准正交基的性质:
(1)若ε1,ε2,...εn是一组标准正交基,则:(εi,εj)=⎨ i≠j时,由正交向量定义:(εi,εj)=0 命题得证。
(2)对一组正交基单位化就得到一组标准正交基。
⎛1⎫⎛1⎫⎛0⎫⎛0⎫ ⎪ ⎪ ⎪ ⎪2200 ⎪ ⎪ ⎪ ⎪ 1⎪ 1⎪ 1⎪ 1⎪
-例如:e1= ⎪,e2= ⎪,e3= ⎪,e4= ⎪
22 ⎪ ⎪ 2⎪ 2⎪ 0⎪ 0⎪ 1⎪ 1⎪ ⎪ ⎪ ⎪ -⎪002⎭⎝⎭⎝⎭⎝2⎭⎝
⎧⎪(ei,ej)=0,(i≠j;i,j=1,2,3,4),由于⎨
(e,e)=1,(i=j;i,j=1,2,3,4).⎪⎩ij
所以e1,e2,e3,e4是R4的一组标准正交基。
⎧1,i=j;
0,i≠j.⎩
证明:i=j时,由单位向量定义:(i,j)=1,∴(εi,εj)=1
(3)n维欧氏空间中,一组基为标准正交基的充要条件是这组基的度量矩阵为单位矩阵。
因为度量矩阵是正定的,根据第五章关于正定二次型的结果,正定矩阵等同于单位矩阵,这说明在n维欧氏空间中存在一组基,它的度量矩阵是单位矩阵,由此可以断言,在n维欧氏空间中,标准正交基是存在的。
(4)若ε1,ε2,...,εn是一组标准正交基,向量α在该基下的坐标为(x1,x2,...,xn),即:α=x1ε1+x2ε2+...+xnεn 则:xi=(εi,α) (i=1,2,...,n)
证明:(εi,α)=(εi,x1ε1+x2ε2+...+xnεn)
=(εi,x1ε1)+...+(εi,xi-1εi-1)+(εi,xiεi)+(εi,xi+1εi+1)+...+(εi,xnεn) =x1(εi,ε1)+...+xi-1(εi,εi-1)+xi(εi,εi)+xi+1(εi,εi+1)+...+xn(εi,εn) =xi(εi,εi)=xi
(5)若ε1,ε2,...,εn是一组标准正交基,且: α=x1ε1+x2ε2+...+xnεn, β=y1ε1+y2ε2+...+ynεn, 则:(α,β)=x1y1+x2y2+...+xnyn=XTY
这个表达式是几何中向量的内积在直角坐标系中的坐标表达式的推广。
三、标准正交基的求法
定理1:n维欧氏空间中任一个正交向量组都能扩充成一组正交基。 证明:设α1,α2,...,αm是欧氏空间中的一正交向量组, 对n-m作数学归纳法,
当n-m=0时,α1,α2,...,αm就是一组正交基了。
假设n-m=k时定理成立,也就是说,可以找到向量β1,β2,...,βk,使得α1,α2,...,αm;β1,β2,...,βk成为一组正交基。
现在来看n-m=k+1的情形。因为m
.), (αi,αm+1)=(β,αi)-ki(αi,αi) (i=1,2,..m 取 ki=
(β,αi)
.), 有(αi,αm+1)=0 (i=1,2,..m.), (i=1,2,..m
(αi,αi)
由β的选择可知,αm+1≠0.因此α1,α2,...,αm,αm+1是一正交向量组,根据归纳法假定,α1,α2,...,αm,αm+1可以扩充成一正交基,得证。
定理2:对于n维欧氏空间中任意一组基ε1,ε2,...,εn,都可以找到一组标
,准正交基η1,η2,...,ηn,使L(ε1,ε2,...,εi)=L(η1,η2,...,ηi), i=1,2,..n..
证明:设ε1,ε2,...,εn是一组基,逐个求出向量η1,η2,...,ηn 首先,取η1=
1
ε1
ε1.一般的,假定已经求出η1,η2,...,ηm,它们单位正
交,具有性质L(ε1,ε2,...,εi)=L(η1,η2,...,ηi), i=1,2,...,m. 下一步求ηm+1
因为L(ε1,ε2,...,εm)=L(η1,η2,...,ηm),所以εm+1不能被η1,η2,...,ηm线性表出按定理1证明中的方法,作向量ξm+1=εm+1-∑(εm+1,ηi)ηi.
i=1m
显然,ξm+1≠0,且(ξm+1,ηi)=0,i=1,2,...,m. 令ηm+1=
ξm+1
,η1,η2,...,ηm,ηm+1就是一单位正交向量组, ξm+1
同时,L(ε1,ε2,...,εm+1)=L(η1,η2,...,ηm+1) 由归纳法原理,得证。
,定理中的要求,L(ε1,ε2,...,εi)=L(η1,η2,...,ηi), i=1,2,..n..就相当于由基
ε1,ε2,...,εn到基η1,η2,...,ηn的过渡矩阵是上三角形的。
定理 2中把一组线性无关的向量变成一单位正交向量的方法称为施密特(Schimidt)正交化过程。
例:把α1=(1,1,0,0), α2=(1,0,1,0), α3=(-1,0,0,1), α4=(1,-1,-1,1) 变成单位正交的向量组。
解:先把它们正交化,得:β1=α1=(1,1,0,0),
(α,β)(α,β)(α2,β1)⎛11⎫⎛111⎫
β1= ,-,1,0⎪, β3=α3-31β1-32β2= -,,,1⎪, (β1,β1)(β1,β1)(β2,β2)⎝22⎭⎝333⎭
(α,β)(α,β)(α,β)
β4=α4-41β1-42β2-43β3=(1,-1,-1,1),
(β1,β1)(β2,β2)(β3,β3)
β2=α2-
再单位化,得:η1=
12⎫⎛1⎛11⎫
,,0,0⎪, η2= ,-,,0⎪, 2266⎝⎭⎝⎭
113⎫⎛1⎛1111⎫
η3= -,,,⎪, η4= ,-,-,⎪.
⎝2222⎭⎝⎭
四、正交矩阵
1、定义:n级实数矩阵A称为正交矩阵,如果ATA=E;
因此,以上分析表明,由标准正交基到标准正交基的过渡矩阵是正交矩阵;反过来,如果第一组基是标准正交基,同时过渡矩阵是正交矩阵,那么第二组基一定也是标准正交基。
最后,根据逆矩阵的性质,由ATA=E,得AAT=E,
⎧1;(i=j)
写出来就是:ai1aj1+ai2aj2+...+ainajn=⎨
0;(i≠j)⎩
上式是矩阵行与行之间的关系,而a1ia1j+a2ia2j+...+anianj=⎨列与列之间的关系,两者是等价的。
2、正交矩阵的性质:
(1)若A为正交矩阵,则A-1=AT;
(2)若A为正交矩阵,则AAT=ATA=E; (3)若A为正交矩阵,则A-1也是正交矩阵; (4)若A为正交矩阵,则=±1;
⎧1;(i=j)
是矩阵
⎩0;(i≠j)
(5)两个正交矩阵的乘机还是正交矩阵; (6)若A为正交矩阵,则A*也是正交矩阵;
3、A=(aij)为正交矩阵的充要条件是它的行(列)向量组是标准正交向量组。
参考文献:
[1]线性代数(第四版),同济大学应用数学系。高等教育出版社,2003。[2]高等代数(第三版)。北京大学数学系几何与代数教研室前代数小组.高等代数(第三版)。高等教育出版社,2003。