证明 U and V={0}时 dim(U+V)=dim(U)+dim(V)


U And V={0} 证明 dim(U+V)=dim(U)+dim(V)
设
{u1,u2,...,uk} 是U的基,{v1,v2...,vr}是V的基,
dim(U)=k ,dim(V)=r dim(U)+dim(V)=k+r.
另一方面 U+V={z|z=u+v,u 属于 U,v 属于 V},因此 Span{u1,u2..,uk,v1,v2...,vr} =U+V
现在我们考查 c1 u1 + c2u2...+ck uk + c(k+1)v(k+1)+...c(k+r)v(k+r)=0 (1式)
U中的向量u,与V中的向量v,由U或V的基线性组合成,
即u=c1u1+c2u2+...ckuk v=c(k+1)v(k+1)+...c(k+r)v(k+r),
“1式”可表示成u+v=0 -> u=-v,由子空间标量乘法封闭性可知-1 v=-v=u,那么u应该属于V空间与U空间(同理v也一样),
这个子空间即U and V={0} -> u=0 v=0,
另外u1,u2...uk 以及v1,v2...vk 是线性无关,可知 c1,c2,...ck,c(k+1)....c(k+r) 都只能取0
即u1,u2,...uk,v1,v2...vr 线性无关并且是U+V的基, dim(U+V)=k+r
关于上面u,v同属于U and V 的说明:
如果u=-v 由于子空间定义可知-1 * v =-v 所以-v依然属于V ,而u=-v所以可知道 u也属于V空间
另一解释
如果u=-v 由于v跟-v 必然属于V子空间(理由见注释1),而u等价于v的逆元,所以u也属于V空间
注释1:由公里A4可知,所有向量空间如果有向量v 那么必然有其逆元-v,而V,U都是向量空间
//===============================================================================
证明二:
basis(U)={u1,u2...,uk} 的任意线性组合生成任意u向量,但是因为U and V={0} 所以无法生成V中的任意非0向量,
同理basis(V)也一样, 所以 c1u1+c2u2+....ckuk=c(k+1)v(k+1)+....c(k+r)v(k+r) 成立的唯一可能是c1=c2=...=c(k+1)=c(k+r)=0
所以u1,u2,...uk,v1,v2...vr 线性无关
证明 U and V={0}时 dim(U+V)=dim(U)+dim(V)的更多相关文章
- CF E. Vasya and a Tree】 dfs+树状数组(给你一棵n个节点的树,每个点有一个权值,初始全为0,m次操作,每次三个数(v, d, x)表示只考虑以v为根的子树,将所有与v点距离小于等于d的点权值全部加上x,求所有操作完毕后,所有节点的值)
		题意: 给你一棵n个节点的树,每个点有一个权值,初始全为0,m次操作,每次三个数(v, d, x)表示只考虑以v为根的子树,将所有与v点距离小于等于d的点权值全部加上x,求所有操作完毕后,所有节点的值 ... 
- 在Livemedia的基础上开发自己的流媒体客户端 V 0.01
		在Livemedia的基础上开发自己的流媒体客户端 V 0.01 桂堂东 xiaoguizi@gmail.com 2004-10 2004-12 友情申明: 本文档适合已经从事流媒体传输工作或者对网络 ... 
- 编写一函数用来实现左右循环移位。函数原型为move(value,n);n>0时右移n位,n<0时左移|n|位。
		#include<stdio.h> #include<stdlib.h> int main(){ setbuf(stdout,NULL); int move(int,int); ... 
- 关于 mysql2 -v '0.3.21'(CentOS7.3)
		个人由于没有安装mysql而是装的MariaDB,所以网上说安装mysql,故没有采用,经查阅资料后,详细情况如下: Gem时报错: [root@localhost ~]# gem install m ... 
- 2017-12-15python全栈9期第二天第七节之x or y ,x 为 非 0时,则返回x
		#!/user/bin/python# -*- coding:utf-8 -*-# x or y ,x 为 非 0时,则返回xprint(1 or 2)print(3 or 2)print(0 or ... 
- C++:vector中的v.at(0)和v[0]的区别
		设v是一个vector的对象, 如果v是非空的,则v.at(0)和v[0]是没有区别的,都是取数组中第一个值: 如果v是空的,则v.at(0)会抛出异常(exception std::out_of_r ... 
- MySQL relay_log_purge=0 时的风险
		转自: http://xiezhenye.com/2015/12/mysql-relay_log_purge0-%E6%97%B6%E7%9A%84%E9%A3%8E%E9%99%A9.html 有时 ... 
- .net4.0切换2.0时,SplitContainer”的对象强制转换为类型
		问 题:将dotnet framework 4.0 切换到2.0时,编译没有问题,在运行时出现如下错误:System.InvalidCastException: 无法将类型为“System.Windo ... 
- mybatis查询参数为0时无法识别问题
		最近在工作中遇到一个mybatis参数问题,主要是列表查询按照状态进行过滤,其中已完成状态值是0,被退回是1.如图所示 , 然后Mapper里面是和平常一样的写法<if test="s ... 
随机推荐
- BadgeView 圆形数字提醒  购物车常用
			实际上BadgeView这个类就是继承TextView的.很多TextView中设置字体的方法都适用于BadgeView. 1. setTargetView(View) --> 设置哪个控件显示 ... 
- 成为JAVA架构师必看书籍推荐
			原创文章 “学习的最好途径就是看书“,这是我自己学习并且小有了一定的积累之后的第一体会.个人认为看书有两点好处: 1.能出版出来的书一定是经过反复的思考.雕琢和审核的,因此从专业性的角度来说,一本好书 ... 
- 非线性优化(高翔slam---第六讲 )
			1.线性最小二乘问题 2.非线性最小二乘问题 因为它非线性,所以df/dx有时候不好求,那么可以采用迭代法(有极值的话,那么它收敛,一步步逼近): 这样求导问题就变成了递归逼近问题,那么增量△xk如何 ... 
- threejs纹理
			纹理 纹理用来表现物体的细节.理论上可以将物体的每个细节建模出来,但是这样时间成本和性能成本都太高,因此,将物体的一些细节用纹理来表示. 图片纹理 图片纹理直接在物体表面应用图片.可以使用Textur ... 
- iOS.Objective-C.Dependency.Graphing-v0.1
			当Project越来越复杂,模块间的依赖就会很复杂,不合理的依赖就出现:不必要的依赖,双向依赖等等. 在iOS Application Project中可以将依赖定义为:对某个头文件的import. ... 
- linux网卡绑定脚本
			2013-08-20 15:30:51 此脚本适用于CentOS5.x和CentOS6.x. #!/bin/bash #**************************************** ... 
- linux系统web站点设置-http基础设置
			一.httpd2.2的组成: /etc/httpd:服务器的根目录 conf/httpd.conf,conf.d/*:配置文件 conf/magic:MIME的配置文件 logs:日志文件的存放路径, ... 
- Python 环境安装教程(Windows 10)
			Python编程语言非常强大,非常容易上手,版本更新也不慢,在win10 x64中兼容性也很好,直接安装不需另外配置,虽然Python2和3有点异同.学习的话选择最新的 python 3.7.1版. ... 
- Netty Reator(三)Reactor 模型
			Netty Reator(三)Reactor 模型 Netty 系列目录 (https://www.cnblogs.com/binarylei/p/10117436.html) 本文介绍 DC Sch ... 
- [Spark]Spark章1 Spark架构浅析
			Spark架构 Spark架构采用了分布式计算中的Master-Slave模型.集群中运行Master进程的节点称为Master,同样,集群中含有Worker进程的节点为Slave.Master负责控 ... 
