,σ(αn)是线性无关的.因此,n≤m.综合上面的结论可以得到n=m,即V1,V2有相同的维数.充分性.设V1,V2都是n维线性空间,下面我们来建立一个从V1到V2的同构映射,从而证明V1V2.分别取V1的一组基α1,α2,…,αn之下的坐标是唯一确定的,而向量组β1,β2,…......
2023-11-22
定义6.6 若V1和V2是欧氏空间V的子空间,且对任意的α∈V1,β∈V2,总有
<α,β>=0,
则称子空间V1与V2是正交的.如果同时还有V1⊕V2=V成立,则V2就称为V1的正交补空间,记作V2=V1⊥.同样地,此时V1也是V2的正交补空间.
定理6.3n维欧氏空间的任意子空间都有唯一的正交补空间.
证明:设W是n维欧氏空间V的一个子空间,如果W是零维的,无须证明.
现设dimW>0,选取W的一组正交基α1,α2,…,αr,并扩充为V的一组正交基α1,α2,…,αn.令
W1=span(αr+1,αr+2,…,αn),
则显然有W⊥W1并且W⊕W1=V,从而W1是W的正交补空间.
若W1,W2都是W的正交补空间.任取α1∈W1⊆V,则α1=α+α2,这里α∈W,α2∈W2.从而
<α1,α>=<α,α>+<α2,α>,
又由于
<α1,α>=<α2,α>=0,(www.chuimin.cn)
因此<α,α>=0,即得α=0.从而α1=α2∈W2,因此W1⊆W2.
同理可证W2⊆W1,所以W1=W2,即正交补空间是唯一的.证毕.
例6.10 在三维欧氏空间R3中,记
W1={(x,y,z)x+y+z=0},
W2={(x,y,z)x=y=z}.
由解析几何知识知道,W1是一个平面,W2是一条直线,且互相垂直.这样就有W1⊥W2,同时还容易看到W1⊕W2=R3,因此W1⊥=W2或W2⊥=W1.也就是说,这两个空间互为正交补空间.
习题
6.3.1. 证明:(W⊥)⊥=W.
6.3.2. 设V1,V2是欧氏空间V的子空间,证明:
6.3.3. 在R4中,设向量
子空间W=span(α1,α2),求:W的正交补空间W⊥.
有关高等代数的文章
,σ(αn)是线性无关的.因此,n≤m.综合上面的结论可以得到n=m,即V1,V2有相同的维数.充分性.设V1,V2都是n维线性空间,下面我们来建立一个从V1到V2的同构映射,从而证明V1V2.分别取V1的一组基α1,α2,…,αn之下的坐标是唯一确定的,而向量组β1,β2,…......
2023-11-22
从几何上可以看到:在对于两端高度相等的连续光滑曲线上,必存在一条水平的切线(如图3-1所示),这便是罗尔定理.为了罗尔定理证明的需要,下面先给出极值的定义和极值点的一条基本性质——费马定理.图3-1定义1设f(x)在点x0的某邻域内有定义,若x∈(x0,δ),恒有f(x)<f(x0)(或f(x)>f(x0)),则称f(x0)为f(x)的一个极大值(或极小值),函数的极大值与极小值统称为函数的极值......
2023-11-19
或许在整个数学中,还找不到另一个定理,其证明方法之多能够超过毕达哥拉斯定理,不同的时代,不同的国家和地区,不同职业的人物都在寻找定理的新的证明方法.据说,在中世纪,要求取得数学学位的学生必须提供毕达哥拉斯定理的原创证明,这激发了学生和老师们不断提供新的、有创意的证明方法.美国克里夫兰西部高中数学教师卢米斯(1825—1940)在他做教师的50年间,收集整理了毕达哥拉斯定理的371种证明,出版了一本......
2023-11-19
下面将给出几个关于第(1)类非扩张映象在Hilbert 空间上的定义和定理.定理1(Browder-Petryshyn)设H 是一个Hilbert 空间,C 为Hilbert 空间H 的非空有界闭凸子集.设T∶C→C 使第(1)类非扩张型映象,则T 在C中存在不动点.通常用F(T)来表示T 的不动点集,即F(T)={x ∈C∶Tx=x}.定理2(Browder)设X 是一致凸Banach 空间......
2023-10-20
设M是欧氏空间Rn+p内一个n维(局部)等距浸入子流形.记M在Rn+p内的位置向量场为X,有M的第一基本形式这里〈,〉表示Rn+p的内积,〈ei,ej〉=δij.M沿单位法向量eα的第二基本形式这里利用了Weingarten公式.本讲的下标i,j,k,l,…,n.记利用的第一式,要证明考虑方程组是Rn×Rn+p的一个开集内的n+p个独立的Pfaff方程组,即在局部是含dx1,dx2,…,dFn+p的一组独立的Pfaff方程组.而且满足及dF=,i=1,2,…......
2023-11-23
,N 是一族严格非扩张映射使得 假设α=inf{αi}>0,则存在非扩张映射Γ∶C→C 使得.证明设αi,i=1,2,…,N 是[0,1] 内的一组实数,且满足令由于Ti是非扩张的,所以由文献[20] 可知,Γ 是有意义的且这表明Γ 是非扩张的.下面将说明.......
2023-10-20
E 为一实Banach 空间,E为E 的对偶空间,〈·,·〉表示广义对偶对,称J∶E→2E为正规对偶映象,如果Jx={f ∈E∶〈x,f 〉=‖x‖2=‖f ‖2},x ∈E.今后均用j 表示单值赋范对偶映射.设E 为一实Banach 空间,E为E 的对偶空间,C 为E 的一个闭凸子集.若S={x ∈E,‖x‖=1}为E 的单位球面,对任意的x,y ∈S,一致存在,则称E 的范数是一致Gateau......
2023-10-20
相关推荐