这一章节我们主要讨论定义在R^n空间上的向量之间的关系,而这个关系概括来讲其实就是正交,然后引入正交投影、最佳逼近定理等,这些概念将为我们在求无解的线性方程组Ax=b的最优近似解打下基石.

正交性:

先举个最简单的例子,在平面中,两个二维向量的点乘如果为0,那么我们可判定两个向量互相垂直,那么实际上这两个向量就是R^2向量空间上的一组正交向量。

下面推广到R^n向量空间上,给出正交性的定义:

正交集:

给定向量集合S,当S中任意两个元素都相互正交,我们称S是一个正交集。

基的一个概念其实表征一个空间(集合)中所有元素的一些分量,它的概念和线性无关紧密联系的,所以这里我们将实现放在线性无关上即可。

这个定理其实就显现出了对于子空间W,用正交基相对于用其他非正交基的优势,它在计算权值上有着极大的便利性,给出子空间W中某个向量y,我们便可以它基于正交基的线性表示。

这样计算的正确性的证明也很好证明,充分利用正交这一条性质即可。

基于对正交基概念的理解,这里再引入单位化。

结合这两个概念,我们将一组单位向量组成的正交基成为单位正交基。

此时我们再将这个概念和矩阵联系在一起,因为对于m x n的矩阵,它本质上也是n个R^m空间的向量的集合。

这里提前剧透,各列能够组成单位正交基的矩阵在矩阵运算中会有比较大的作用,因此我们很有必要知道对于任意一个m x n矩阵,我们如何判断它的各列能否组成单位正交基。

正交补:

基于向量正交的概念,这里引入一个在后面的论述中会用到的概念——正交补。

根据定义,我们就能够给出正交补的一条基本性质:

基于这条性质与之前我们已经介绍过描述一个子空间W的正交基的概念,来看下面一个命题。

正交投影:

其实关于正交投影,我们最熟悉的莫过于高中物理中对一系列矢量做的正交分解了,那里将一个力沿另一个力方向进行正交分解,本质上就是求正交投影的思路。

在这里我们给出线性代数中关于正交投影更为一般化的定义。

在高中物理分析矢量的有力工具——正交分解定理,其实便源于线性代数中推广形式的正交分解定理。

在高中物理中我们将某个矢量沿着我们规定的坐标轴正方向进行分解。在推广形式中,不仅仅向量的维度上升,而且正交分解基于子空间W和W的正交补空间,这也是体现“推广”这个动作很重要的一个地方。

其实结合之前我们给出的正交投影的概念,这里 (1)式似乎就是求了一个正交投影,结合有几何意义的情况,对于三维向量,W作为一个R^3的子空间,可以看成两个正交基组成的平面,而(1)式其实就是在求向量y在W(一个面)上的投影。

这是对于推广性的正交分解定理较为感性的理解,下面我们呈现严谨的证明过程。

下面介绍的定理将在最小二乘法算法中起到重要作用。

《Linear Algebra and Its Applications》-chaper6-正交性和最小二乘法-基本概念与定理的更多相关文章

  1. 《Linear Algebra and Its Applications》-chaper1-线性方程组- 线性变换

    两个定理非常的简单显然,似乎是在证明矩阵代数中的基本运算律.但是它为后面用“线性变换”理解矩阵-向量积Ax奠定了理论基础. 结合之前我们讨论过的矩阵和向量的积Ax的性质,下面我们就可以引入线性变换了. ...

  2. 《Linear Algebra and Its Applications》-chaper4-向量空间-子空间、零空间、列空间

    在线性代数中一个非常重要的概念就是向量空间R^n,这一章节将主要讨论向量空间的一系列性质. 一个向量空间是一些向量元素构成的非空集合V,需要满足如下公理: 向量空间V的子空间H需要满足如下三个条件: ...

  3. 《Linear Algebra and Its Applications》-chaper6-正交性和最小二乘法-最小二乘问题

    最小二乘问题: 结合之前给出向量空间中的正交.子空间W.正交投影.正交分解定理.最佳逼近原理,这里就可以比较圆满的解决最小二乘问题了. 首先我们得说明一下问题本身,就是在生产实践过程中,对于巨型线性方 ...

  4. 《Linear Algebra and Its Applications》-chaper6-正交性和最小二乘法- 格拉姆-施密特方法

    构造R^n子空间W一组正交基的算法:格拉姆-施密特方法.

  5. 《Linear Algebra and Its Applications》-chaper5-特征值与特征向量-基本概念

    基于之前章节的铺垫,我们这里能够很容易的引出特征向量和特征值的概念. 首先我们知道n x n矩阵的A和n维向量v的乘积会得到一个n维的向量,那么现在我们发现,经过计算u=Av,得到的向量u是和v共线的 ...

  6. 《Linear Algebra and Its Applications》-chaper3-行列式-克拉默法则

    计算线性方程组唯一解的克拉默法则:

  7. 《Linear Algebra and Its Applications》-chaper3-行列式-行列式初等变换

    承接上一篇文章对行列式的引入,这篇文章将进一步记录关于行列式的有关内容,包括如下的几个方面: (1)行列式3个初等变换的证明. (2)转置行列式与原行列式相等的证明. (3)定理det(AB) = d ...

  8. 《Linear Algebra and Its Applications》-chaper3-行列式-从一个逆矩阵算法证明引入的行列式

    这一章节开始介绍线性代数中另外一个基本概念——行列式. 其实与矩阵类似,行列式也是作为简化表述多项式的一种工具,关于行列式的历史渊源,有如下的介绍. 在介绍逆矩阵的时候,我们曾提及二阶矩阵有一个基于矩 ...

  9. 《Linear Algebra and Its Applications》-chaper2-矩阵代数-分块矩阵

    分块矩阵的概念: 在矩阵的实际应用中,为了形式的更加简化我们将一个较大的矩阵的内部进行一定的划分,使之成为几个小矩阵,然后在表大矩阵的时候,矩阵的内部元素就用小矩阵代替. 进行了这一步简化,我们就要分 ...

随机推荐

  1. mvc5 + ef6 + autofac搭建项目(四).1视屏上传生成截图

    即上一篇中上传涉及到的 一个视频生成截图的问题,这个很简单,这是上一篇中的代码片段 #region 视频上传,生成默认展示图片(自动剪切) try { string fileSavePath = Da ...

  2. hibernate 连接 oracle数据库

    前言:以下所有的操作都是基于你已经成功安装了oracle数据库并且java的开发环境正常的情况下进行的. 如果没有完善请先配置基础环境. 第一步:配置需要的环境(下载并导入需要的包). 我的百度云盘里 ...

  3. C# 调用AForge类库操作摄像头

    如有雷同,不胜荣幸,若转载,请注明 最近做项目需要操作摄像头,在网上百度了很多资料,很多都是C#调用window API 发送SendMessage,实现操作摄像头,但是C#调用window API的 ...

  4. java_设计模式_状态模式_State Pattern(2016-08-16)

    定义: 当一个对象的内在状态改变时允许改变其行为,这个对象看起来像是改变了其类. 类图: 状态模式所涉及到的角色有: ● 环境(Context)角色,也成上下文:定义客户端所感兴趣的接口,同时维护一个 ...

  5. Savelog项目总结回忆

    Savelog项目的细节已经不太记得,感觉有些遥远,需要翻回旧的笔记本电脑或者是旧的笔记本. 概述: 本项目采用的Linux C,监听一个或多个特殊的端口,当其中一个端口有发起连接时就产生一个新的线程 ...

  6. CentOS7 开关防火墙

    systemctl start firewalld.service#启动firewallsystemctl stop firewalld.service#停止firewallsystemctl dis ...

  7. ubuntu 14.04 修改PS1提示符

    默认情况下,Ubuntu终端会输出完整路径,在路径名很长的时候,提示方式很不友好,通过以下步骤修改PS1变量的设置,可以让终端输出相对路径.类似于红帽系统的风格.修改思路:将w修改为W显示绝对路径,并 ...

  8. PHP设计模式之:装饰模式

    <?php// 人类class Person{    private $name;    public function __construct($name)    {        $this ...

  9. AS3的数据类型和定义

    AS3的数据类型分: 基元数据类型:Boolean  int(整数)  Number(长的浮点数)  unit(很大的正整数)  String 复杂数据类型:Arrary  Date  Error   ...

  10. wordpress4.0.1源码学习和摘录--项目设置

    1.静态变量日期 define( 'MINUTE_IN_SECONDS', 60 ); define( 'HOUR_IN_SECONDS', 60 * MINUTE_IN_SECONDS ); def ...