数值分析基础第1章:引论
本文的内容主要来自关治的《数值分析基础(第3版)》第1章《引论》和老师的PPT。
# 1 数值分析的研究对象
(略)
# 2 数值计算的误差
# 2.1 误差的来源与分类
误差大致分为4类:
- 输入数据的误差;
- 舍入误差:来源于计算机的数字是有限的;
- 截断误差:用有限的过程代替无限的过程,或用简化的问题代替不易计算的原问题;
- 误差在计算过程中的传播。
# 2.2 绝对误差和相对误差、有效数字
定义2.1 设是精确值,
是一个近似值。
称为
的绝对误差,而
称为
的相对误差。
定义2.2 因为通常是未知的,一般只能给出
的上界
。
称为
的绝对误差界,而
称为
的相对误差界。
对于一个实数,取有限位数作为近似值,采用四舍五入的方法。这样得到的近似值,绝对误差界为最后数位的半个单位。因此引入了有效数字概念。
定义2.3 设是
的一个近似值,
,其中
为整数,
,
。如果有
,则称
具有
位有效数字:
。
有效数字就是寻找误差在以内(包括
)的那位,计数之前数字的个数。
设的近似值
,则:
如果
有
位有效数字,则:
如果:
则
至少有
位有效数字。
1的证明比较简单,这里证明2,由可以证明。
# 2.3 求函数值和算术运算的误差估计
向前误差分析 设的浮点数表示为
。则:
因而,每次乘法相对误差加倍。这里,由于超出浮点数表示能力而被忽略。
向后误差分析 把计算结果的误差归结为原始数据经扰动之后的精确的计算结果的误差分析叫做后向误差分析。
设,如果参量
有误差,则
也会有误差。若
的近似值为
,相应的解为
,则
的绝对误差和相对误差分别为:
把两个数的
看成二元函数,则有:
# 2.4 计算机的浮点数表示和舍入误差
在计算机上,实数系统是用浮点数系统
来近似的。实数
在
进制浮点数系统下的表示为:
其中:
:符号位,
为负数,
为正数;
:尾数,
称为字长;
:指数。
二进制浮点数系统为:
其中。
浮点数的近似,有两种:
- 截断;
- 舍入:IEEE属于这种。
定义为机器精度:
# 3 病态问题、数值稳定性与避免误差危害
# 3.1 病态问题与条件数
敏度分析是研究有微小变化
时,函数值
会发生多大的变化:
称为
在
的条件数。
当很大时,自变量的微小变化就可能引起函数值的巨大变化,则称
在
点是病态的;否则称
在
点是良态的。
一个计算问题是否病态是问题本身的固有属性。
例如:Wilkinson多项式求根就属于病态问题,用特征值的定义求求解特征值同样是病态问题。
# 3.2 数值方法的稳定性
一个数值方法,如果初始数或计算过程某一不有微小的改变,由此引发的计算结果也只是微小的变化,则称该方法是数值稳定的,否则称为数值不稳定的。
一般来说,如果具有初始误差,计算
步后的误差为
,若方法是数值稳定的,则存在与
无关的常数
使得
。
,线性型的误差增长;
,指数型的误差增长。
稳定,
不稳定。
TODO: 给个例子。
# 3.3 避免误差危害
- 避免相近的数相减;
- 避免和绝对值大的数相乘;
- 避免和绝对值小的除数相除。
数学上等价计算上等价:例如对于
,采用
,可以解决
情况下的问题;使用
替代
可以避免
时精度的损失。同时对于求解
次多项式,可以利用分配律合并多项式,达到
次乘法和
次加法。
选用公式也很重要,对于无穷级数毕竟求解的情况,通常选用同号数列求和极限比交替数列求和极限收敛速度更快。
# 4 线性代数的一些基本概念
矩阵乘法的定义 定义的一个运算,称为矩阵乘法,
,其中
。
矩阵迹的定义 设,矩阵
的迹是其所有对角元素之和。
。
定理 若,则
。
证明:
非奇异矩阵的定义 矩阵称为非奇异的或可逆的,若存在一个矩阵
,使得
。其中
称为
的逆矩阵,如果
的逆矩阵不存在,则称其是奇异的。
注:对于有结合律且有左右逆的代数系统中,左逆一定等于右逆。此外,。
线性方程组的可解性定理 可逆,则方程组
有唯一解
。
非奇异
齐次方程组
只有
解(平凡解)
。
矩阵转置的定义 设,它的转置
可通过交换
的行和列得到,即
注:,
,
。
对称矩阵的定义,若,则称
为对称矩阵。
注:一定是对称矩阵。
# 4.1 矩阵的特征值问题、相似变换化标准形
矩阵的特征值问题 对于,若有
和非零向量
,使得:
则称为特征值
对应的特征向量。
特征值的求解 ,多项式
称为
的特征多项式,方程
称为特征方程,若
是
的根,则
是
的特征值。
注:由于实际上,特征多项式是一个高阶多项式,所以直接使用特征多项式求解特征值是个病态问题。
谱的定义 任意,一定有
个特征值。全体特征值的集合称为
的谱,记作
:
还定义谱半径:
有:
;
。
注:展开特征多项式就能得到这个结论。
可对角化的定义 设,若存在非奇异矩阵
,使得:
为对角阵,则称可对角化。
可对角化的充要条件是它有
个线性无关的特征向量。
实对称矩阵的特征值问题 若是实对称矩阵,则
的特征值都是实数,可以对角化。且不同特征值的特征向量相互正交。
可对角化的充分条件 矩阵的不同特征值对应的特征向量是线性无关的。若
有
个不同的特征值,则
可对角化。
代数重数的定义 若具有重特征值,即特征方程有重根,则:
亦即是特征方程的
重根,
称为特征值
的代数重数。
几何重数的定义 设对应的最大线性无关特征向量的个数为
,则
就是其次方程组
的基础解系所包含最大线性无关解的个数,亦即特征值对应的特征子空间的维数,
称为特征值
的几何重数。
几何重数小于代数重数 。
可对角化的充要条件 设具有重特征值,则
可对角化的重要条件是每个特征值的几何重数和代数重数相等。
Jordan标准型 任意复方阵可以通过相似变换化为Jordan标准型J:
每个对应一个特征值
,它是
个小块组成的块对角阵:
# 4.2 线性空间与内积空间
# 4.2.1 线性空间
线性空间的定义 设是一个数域,
是一个非空集合,在
上定义两种运算:
- 加法:
,有唯一
(封闭性),且:
(加法交换律);
(加法结合律);
- 有唯一零元素
,使得
;
- 对每个
,有唯一的负元素
,使得
。
- 数乘:
,有唯一
(封闭性),且:
(单位元);
(数乘的交换律);
(数乘对数的结合律);
(数乘对向量的结合律)。
称为数域
上的线性空间(或数域
上的向量空间)。
线性子空间的定义 若线性空间的一个子集
按照
的加法和数乘也是一个线性空间,则称
是
的线性子空间。
例子:实向量、复向量
、
闭区间上的连续函数
、实矩阵
、复矩阵
和
闭区间上最高次数为
的多项式
都能组成线性空间。
线性无关的定义 设是一个线性空间,
,若存在不是全零的
,使得:
则称是线性相关的,反之,则称它是线性无关的。
例子:在中,
是线性无关的,在
中,
是线性无关的。
基和维数的定义 若,且
,有
,则
构成
的一组基,空间的维数为
。
例子:中
是一组基,
;
中
是线性无关的,
。
# 4.2.2 内积空间
内积的定义 设是数域
上的线性空间,内积
,且有:
;
;
;
,且
。
则称是
和
的内积,定义了内积的空间称为内积空间。
欧氏空间上的一种内积 ,则内积定义为:
酉空间上的一种内积 ,则内积定义为:
此外也可以定义一种带权内积:。
正交的定义 若向量满足
,则称它们是正交的。两个向量的集合
和
,如果每个
和每个
正交,则称
与
正交。
正交集合的定义 是非零向量的集合,若
,则称其为正交集合。
定理正交是线性无关的充分条件 正交集合中的向量是线性无关的。
证:假设,假设有
,两边同时点乘
,有
,由
和正定性,我们知道
,故
,同理
,集合
中的向量线性无关。
正交基的推论 若正交集合有
个向量,则它是
的一组基。
连续函数内积的定义 设,则它们的
内积为:
权函数的定义 若定在上的可积函数
满足:
;
- 在
的任一子区间上
不恒为零。
称为
上的一个权函数。
利用权函数可以定义带权内积:
Cauchy-Schwarz不等式 设是一个内积空间,对任一的
有:
等号成立当且仅当线性相关。
证:这里仅给出实数域上的证明,对任意,考虑内积
,故判别式
,得证。
Gram-Schmidt正交化方法 若是内积空间
中的一个线性无关元素系列,则:
生成中一个正交序列
是
的一组基。
若要求归一化,。则可得到QR分解。
经典的Gram-Schmidt正交化:
:
- 计算
;
- 计算
;
- 计算
,如果
,停止,否则
;
- 计算
改进的Gram-Schmidt正交化:
:
- 令
;
:
- 计算
;
- 计算
;
- 计算
- 计算
,如果
,停止,否则
;
- 令
# 4.3 范数、赋范线性空间
范数的定义 设是数域
上的线性空间,定义
,满足:
- 正定性:
,且
;
- 齐次性:
;
- 三角不等式:
。
称为
的范数(模),定义了范数的线性空间称为赋范线性空间。
常见的范数 对于可定义范数结构:
-范数:
;
-范数:
;
-范数:
;
-范数:
。
内积与2-范数的关系 通过内积可定义-范数:
设,其夹角
被定义为:
平行时,即或
时,Cauchy-Schwarz不等式取等号。
距离的定义 设是任一非空集合,
中的任意两点
有
与之一一对应,且满足:
- 非负性:
,且
;
- 对称性:
;
- 三角不等式:
。
称是
上的一个距离,定义了距离的集合
称为一个距离空间。
范数与距离的关系 设是赋范空间,则
的距离可定义为:
常见距离相似度:
- Hamming距离:序列最小替换以相同的树木;
- 欧氏距离:
;
- 曼哈顿距离:
;
- 切比雪夫距离:
;
- 余弦距离(实际上是相似度):
;
- Jaccard相似系数:
;
- 相关系数
。
K近邻(KNN)算法 监督学习,选取最近的个训练数据点,预测数据分类为这
个数据点的多数类别。
k-means聚类算法 无监督学习,确定有个分类后,选择
个距离较远的初始数据点作为质心,而后每个数据点离哪个质心近,就归类为质心所属的集合,再重新计算每个集合的质心,循环往复直到质心位置变化量小。
范数等价 设和
是线性空间
的两个范数,若存在正的常数
和
,使得:
则称范数和范数
等价。
有限维空间中的任意两个范数等价。
# 5 几种常见矩阵的性质
# 5.1 正交矩阵和酉矩阵
正交矩阵的定义 设,若满足:
则称为正交矩阵。
正交矩阵的性质 正交矩阵有如下的性质:
不同的列向量相互正交,且各列向量的2-范数为1;
,且
也是正交矩阵;
;
- 若
和
是同阶的正交矩阵,则
和
都是正交矩阵。
# 5.2 对称矩阵和对称正定矩阵
对称阵的定义 如果,有
,则称
为对称阵。
对称阵的性质:
的特征值均为实数,且有
个线性无关的特征向量;
对应于不同特征值的特征向量必正交;
- 存在正交阵
使得
为对角阵。
性质1的证明: