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

时间:2022-09-03 18:04:36

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

证明 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)的更多相关文章

  1. 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,求所有操作完毕后,所有节点的值 ...

  2. 在Livemedia的基础上开发自己的流媒体客户端 V 0.01

    在Livemedia的基础上开发自己的流媒体客户端 V 0.01 桂堂东 xiaoguizi@gmail.com 2004-10 2004-12 友情申明: 本文档适合已经从事流媒体传输工作或者对网络 ...

  3. 编写一函数用来实现左右循环移位。函数原型为move(value,n);n>0时右移n位,n<0时左移|n|位。

    #include<stdio.h> #include<stdlib.h> int main(){ setbuf(stdout,NULL); int move(int,int); ...

  4. 关于 mysql2 -v &&num;39&semi;0&period;3&period;21&&num;39&semi;(CentOS7&period;3)

    个人由于没有安装mysql而是装的MariaDB,所以网上说安装mysql,故没有采用,经查阅资料后,详细情况如下: Gem时报错: [root@localhost ~]# gem install m ...

  5. 2017-12-15python全栈9期第二天第七节之x or y &comma;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 ...

  6. C&plus;&plus;:vector中的v&period;at&lpar;0&rpar;和v&lbrack;0&rsqb;的区别

    设v是一个vector的对象, 如果v是非空的,则v.at(0)和v[0]是没有区别的,都是取数组中第一个值: 如果v是空的,则v.at(0)会抛出异常(exception std::out_of_r ...

  7. MySQL relay&lowbar;log&lowbar;purge&equals;0 时的风险

    转自: http://xiezhenye.com/2015/12/mysql-relay_log_purge0-%E6%97%B6%E7%9A%84%E9%A3%8E%E9%99%A9.html 有时 ...

  8. &period;net4&period;0切换2&period;0时,SplitContainer”的对象强制转换为类型

    问 题:将dotnet framework 4.0 切换到2.0时,编译没有问题,在运行时出现如下错误:System.InvalidCastException: 无法将类型为“System.Windo ...

  9. mybatis查询参数为0时无法识别问题

    最近在工作中遇到一个mybatis参数问题,主要是列表查询按照状态进行过滤,其中已完成状态值是0,被退回是1.如图所示 , 然后Mapper里面是和平常一样的写法<if test="s ...

随机推荐

  1. &period;NET 三层架构的简单规划

    今天心血来潮简单看了下petshop4.0的源代码,他就是用三层架构来实现的.现在简单的做下总结. 首先我们先看下petshop的三层架构. 1 WEB 表示层 2 Model 业务实体 3 BLL ...

  2. Python-面向对象编程&lpar;一&rpar;

    初识面向对象: Python中一切皆对象,我自己,我的电脑,电脑桌,都称之为一个对象.对象是类的一个实体. 我们可以通过行为和特征(属性)来描述一个对象,比如小狗,它有四条腿,一个尾巴,两个虎牙,这就 ...

  3. sql 中如何取出指定行&colon; Row&lowbar;Number

    原文:sql 中如何取出指定行: Row_Number ROW_NUMBER (Transact-SQL) USE AdventureWorks2008R2;GOWITH OrderedOrders ...

  4. Android6&period;0-运行时权限处理

    为什么需要有运行时权限? 大家都知道在Android6.0之前,权限在应用安装过程中只询问一次,以列表的形式展现给用户,如果点击取消(即不认可应用所申请的权限),则会取消应用的安装.而用户出于安装应用 ...

  5. ubuntu操作系统以及开发环境的安装

    网盘视频:里面包含了centos,ubuntu,Solaris 三种目前比较主流的操作系统的安装,以及他们的开发环境的安装 https://pan.baidu.com/disk/home#list/v ...

  6. 为何要部署IPV6

    ·IPv4的局限性:   1.地址空间的局限性:IP地址空间的危机由来已久,并正是升级到IPv6的主要动力.   2.安全性:IPv4在网络层没有安全性可言,安全性一直被认为是由网络层以上的层负责. ...

  7. php后台开源框架

    1,OneBase 官网首页:https://onebase.org 后台演示:https://demo.onebase.org/admin.php 接口演示:https://demo.onebase ...

  8. android开发(1):底部导航条的实现 &vert; navigation tab &vert; activity的创建

    底部导航条,在iOS中叫tabbar,在android中叫bottombar或bottom navigation,是一个常用的切换页面的导航条. 同样,如果有良好的第三方库,我们应该优先考虑,能用好别 ...

  9. React文档(四)渲染元素

    元素是React应用的最小单位. 一个React元素描述了你在屏幕上所看到的东西: const element = <h1>Hello, world</h1>; 和浏览器页面中 ...

  10. &lbrack;svc&rsqb;为何linux ext4文件系统目录默认大小是4k&quest;

    linux ext4普通盘为什么目录大小是4k? Why does every directory have a size 4096 bytes (4 K)? To understand this, ...