![维数定理与容斥原理_第1页](http://file4.renrendoc.com/view/b34f9a52f03b64f11842cfbe56f8c42f/b34f9a52f03b64f11842cfbe56f8c42f1.gif)
![维数定理与容斥原理_第2页](http://file4.renrendoc.com/view/b34f9a52f03b64f11842cfbe56f8c42f/b34f9a52f03b64f11842cfbe56f8c42f2.gif)
![维数定理与容斥原理_第3页](http://file4.renrendoc.com/view/b34f9a52f03b64f11842cfbe56f8c42f/b34f9a52f03b64f11842cfbe56f8c42f3.gif)
![维数定理与容斥原理_第4页](http://file4.renrendoc.com/view/b34f9a52f03b64f11842cfbe56f8c42f/b34f9a52f03b64f11842cfbe56f8c42f4.gif)
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、维数定理与容斥原理两个有限维子空间的和的维数定理:dim(U1+U2)=dimU1+dimU2-dim(U1 n U2)两个有限集合元素个数的容斥原理:card(U1uU2)=cardU1+cardU2-card(U1 n U2)子空间的和类比于集合的并,那么维数定理和容斥原理形式上及其相似。为什么会有如此的 巧合?可以看到子空间的基底构成的集合在维数定理中扮演一个很重要的转换作用:选择U1 nU2的基底并分别扩充到U1和U2的基底之后,设U1和U2的基底构成的集合分别为A1和A2,那么U1+U2, U1 n U2的基底就分别对应A1uA2和A1n A2。因此两个公式相似也就不足为奇。那么是否
2、可以把维数定理推广到多个子空间的情形呢?考虑三个子空间的情形,类比于三个 集合的容斥原理card(U1uU2uU3)=cardU1+cardU2+cardU3-card(U1 n U2)-card(U2 nU3)-card(U1 n U3)+card(U1 n U2n U3)是否也有类似的三个子空间和的维数定理dim(U1+U2 + U3)=dimU1+dimU2+dimU3-dim(U1 n U2)-dim(U2 n U3)-dim(U1 nU3)+dim(U1 n U2n U3)成立呢?循着它们之间的类比关系,我们可以先选取U1 n U2n U3的基底,然后分别扩充到U1 nU2、U2 n
3、 U3和U1 n U3的基底,再接着分别在U1、U2、U3中扩充成U1、U2、U3各自的基底,这种类比关系似乎可以轻松延续。沿着另一条路似乎也可以到达目的地:即通过将U1+U2 + U3写成(U1+U2)+U3,并应用两个子空间的维数定理一步一步地证明三个子空间的情形。现在先看看这条路:dim(U1+U2 + U3)=dim(U1+U2)+dimU3-dim(U1+U2)nU3)=dimU1+dimU2+dimU3-dim(U1 n U2)-dim(U1+U2)n U3)如果类比容斥原理的式子能够成立,应该有dim(U1+U2)n U3)=dim(U1 n U3)+dim(U2 n U3)-d
4、im(U1 n U2n U3)会有这样的式子成立吗?考虑平面上两条坐标轴,和一条过原点但不与坐标轴重合的直线, 这三个一维子空间任意两个的直和是整个二维空间,则dim(U1+U2)n U3)=1,dim(U1 n U3)+dim(U2 n U3)-dim(U1 n U2n U3)=0,显然上面提出的三个子空间的维数猜想不成立。为什么这时这种类比就不成功?我们先前的想法,先选取U1 n U2n U3的基底,然后分别 扩充到U1 n U2、U2 n U3和U1 n U3的基底,再接着分别在U1、U2、U3中扩充成 U1、U2、U3各自的基底,为什么这时得到的这些向量就不是U1+U2 + U3的基底
5、了?参见Linear Algebra Done Right第一章注记和部分习题注记中提到U的问题,V1,V2,.“Vn两两相交于0,即基底的集合两两相交为空集并不能保证它们的和是直和,这个只有n = 2时是个特例,因此只有两个子空间的维数定理,且可以与集合基数的容斥原 理作类比,三个以上子空间的情况就变得更复杂。但是,我们依然可以证明三个子空间和的维数不等式:dim(U1+U2 + U3) dim(U1nU3 + U2nU3)设vU1nU3 + U2nU3,则存在U1nU3中的元素u和U2nU3中的元素w使得v=u+w而 u+weU1+U2 且 u+weU3,因此 v=u+we(U1+U2)n
6、 U3接下来就可以证明结论:dim(U1+U2 + U3)=dimU1+dimU2+dimU3-dim(U1 n U2)-dim(U1+U2)n U3) dimU1+dimU2+dimU3-dim(U1 n U2)-dim(U1nU3 + U2nU3)=dimU1+dimU2+dimU3-dim(U1 nU2)-dim(U1nU3)-dim(U2nU3)+dim(U1nU2nU3)证毕。容斥原理不仅可以用交集计算并集中元素的个数,还可以通过并集反过来计算交集的元素个 数。例如:card(U1 n U2n U3)=cardU1+cardU2+cardU3-card(U1uU2)-card(U2u
7、U3)-card(U1uU3)+card(U1uU2uU3)此公式和并集的容斥原理之间可以用余集的德-摩根定律进行转换。那么有了三个子空间和的维数不等式,我们是否也可以转换出关于三个子空间交集维数的某 个不等式呢?我们需要有可以与集合的余集相类比的子空间的关系。如果你了解内积空间中子空间的正交补空间的概念,那么用正交补与有限集合的余集做类比 应该是一个自然的想法。一个子空间厂的正交补空间是垂直于U中所有向量的向量构成的子空间。容易证明,正交补满足如下性质:濯1:1 厂 11dirnr -, Jim.证明:现只证明2)和3):对于2),因,故。同理有另一方向,.; - - .;.,,因此- - 1 - ,即二因此 ;。故2)成立。对于3),只需在2)中分别用U和V的正交补代替U和V,两边取正交补,再利用1)式即 得证。那么利用正交补(注意有限维向量空间都同构于某个内积空间)的性质,我们可以把上面的 三个子空间的维数不等式翻转,得到它的对偶不等式。可惜的是,即使是这样的不等式,也不具备一般性,当子空间个数增加到四个之后,这样的 不等式也不一定成立了。设想三维空间的三个坐标平面,外加一个过原点但不过任何坐标轴的平面,这四个平面两两 相交于一条直线,但任意三个平面只相交于原点。因此,有:dim(U1+U2 + U3 + U4)=3dimU1+dimU2+dimU3+dimU4-dim
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2023年胶原蛋白项目评估分析报告
- 【正版授权】 IEC 62442-1:2018 EN-FR Energy performance of lamp controlgear - Part 1: Controlgear for fluorescent lamps - Method of measurement to determine the total input power of contr
- 2024年岗位竞聘演讲稿范文
- 专题13《用一元一次方程解决实际问题》达标检测卷-暑假小升初数学衔接(人教版)(原卷版)
- 股权质押合同范本2份
- 防洪度汛专项检查表
- 2024版采购中的谈判与跟单技巧
- 企业车间月工作总结5篇
- 专题05 Unit 3 I'm more outgoing than my sister. Section A-2024年新八年级英语暑假提升自学课讲义(人教版)(解析版)
- 2024版消防项目安全施工协议书
- 老年人旅游产品设计方案(2篇)
- 公关活动与公共政策制定影响
- 无人机知识竞赛考试题及答案
- 第11课《以社会主义核心价值观引领文化建设》第二框教案
- 康养项目策划方案
- Unit 4 Looking good,feeling good Reading 说课课件-2023-2024学年高中英语牛津译林版(2020)必修第一册
- 医院人才梯队建设与培养方案
- 模具车间员工岗位技能矩阵图
- CBD停车行为模式与引导系统优化研究与实践的中期报告
- 避免下载和使用盗版软件的风险
- 2024年消防初级考试模拟试题和答案
评论
0/150
提交评论