最近在磕 PCA 主成分分析的原理,在理解协方差矩阵的特征向量和特征值部分,对其计算的数学原理的理解上碰到了不少关于线性代数的问题,而在大学时期接触的线性代数到现在都已经忘得七七八八。看到数学算法俱乐部的这篇线性代数总结,非常不错,作为 PCA 原理的基础知识,这里分享一下。后面有空再给大家总结一下个人在学习 PCA 主成分分析的一些理解。
算法数学之美
日期:2019年5月24日
正文共:2295字135图
预计阅读时间:6分钟
来源:king110108
1. 线性代数知识图谱
线性代数是代数学的一个分支,主要处理线性关系问题。线性关系意即数学对象之间的关系是以一次形式来表达的。例如,在解析几何里,平面上直线的方程是二元一次方程;空间平面的方程是三元一次方程,而空间直线视为两个平面相交,由两个三元一次方程所组成的方程组来表示。含有 n个未知量的一次方程称为线性方程。变于关量是一次的函数称为线性函数。线性关系问题简称线性问题。解线性方程组的问题是最简单的线性问题。
线性(linear)指量与量之间按比例、成直线的关系,在数学上可以理解为一阶导数为常数的函数
非线性(non-linear)则指不按比例、不成直线的关系,一阶导数不为常数。
行列式非零
矩阵可逆
方阵满秩
向量组满秩(向量个数等于维数)。
2. 行列式
矩阵的行列式,determinate(简称det),是基于矩阵所包含的行列数据计算得到的一个标量。是为求解线性方程组而引入的。
计算方式:对角线法则
计算方式:对角线法则
性质1 行列式与它的转置行列式相等 注:行列式中行与列具有同等的地位,行列式的性质凡是对行成立的对列也同样成立. 性质2 互换行列式的两行(列),行列式变号 推论 如果行列式有两行(列)完全相同,则此行列式为零 性质3 行列式的某一行(列)中所有的元素都乘以同一个倍数k,等于用数k乘以此行列式. 推论 行列式的某一行(列)中所有元素的公因子可以提到行列式符号的外面. 性质4 行列式中如果有两行(列)元素成比例,则此行列式为零. 性质5 若行列式的某一列(行)的元素都是两数之和,则等于对应的两个行列式之和.
性质6 把行列式的某一列(行)的各元素乘以同一个倍数然后加到另一列(行)对应的元素上去,行列式不变.
1)利用定义 2)利用性质把行列式化为上三角形行列式,从而算得行列式的值
定理中包含着三个结论: 1)方程组有解;(解的存在性) 2)解是唯一的;(解的唯一性) 3)解可以由公式(2)给出.
定理4 如果线性方程组(1)的系数行列式不等于零,则该线性方程组一定有解,而且解是唯一的 . 定理4′ 如果线性方程组无解或有两个不同的解,则它的系数行列式必为零.
齐次线性方程组的相关定理 定理5 如果齐次线性方程组的系数行列式D不等于0,则齐次线性方程组只有零解,没有非零解. 定理5′ 如果齐次线性方程组有非零解,则它的系数行列式必为零.
1. 用克拉默法则解线性方程组的两个条件 1) 方程个数等于未知量个数; 2) 系数行列式不等于零. 2. 克拉默法则的意义主要在于建立了线性方程组的解和已知的系数以及常数项之间的关系.它主要适用于理论推导.
对角线法则只适用于二阶与三阶行列式. 本节主要考虑如何用低阶行列式来表示高阶行列式.
3. 矩阵
行列式与矩阵加法的比较:
反对称矩阵(skew symmetric matrix)
分块矩阵不仅形式上进行转置,而且每一个子块也进行转置.
4. 矩阵的初等变换与线性方程组
5. 向量组的线性相关性
结论:矩阵的最高阶非零子式一般不是唯一的,但矩阵的秩是唯一的.
问题:什么是线性方程组的解的结构? 答:所谓线性方程组的解的结构,就是当线性方程组有无限多个解时,解与解之间的相互关系.
备注: 1)当方程组存在唯一解时,无须讨论解的结构. 2)下面的讨论都是假设线性方程组有解.
定义:所谓封闭,是指集合中任意两个元素作某一运算得到的结果仍属于该集合.
定义:设 V 是 n 维向量的集合,如果 ① 集合 V 非空, ② 集合 V 对于向量的加法和乘数两种运算封闭, 具体地说,就是: 若 a ∈ V, b ∈ V,则a + b ∈ V .(对加法封闭) 若 a ∈ V, l ∈ R,则 l a ∈ V .(对乘数封闭) 那么就称集合 V 为向量空间.
定义:如果向量空间 V 的非空子集合 V1 对于 V 中所定义的加法及乘数两种运算是封闭的,则称 V1 是 V 的子空间.
6. 相似矩阵及二次型
单位向量:长度为1的向量。
向量正交:向量内积为0。
1)矩阵半正定当且仅当它的每个特征值大于等于零(>=0)。
2)矩阵正定当且仅当它的每个特征值都大于零(>0)。
-- End --