![](https://img-blog.csdnimg.cn/20210105204639760.jpg?x-oss-process=image/resize,m_fixed,h_224,w_224)
高等数学
文章平均质量分 86
矩阵论/数理逻辑
燕双嘤
程序辅导,毕业设计,课程作业,比赛代打等,17724838277
展开
-
概率论:高斯分布及其相似度
高斯分布(Gaussian Distribution)又称正态分布(Normal Distribution):若随机变量 服从一个数学期望为 ,方差为 的正态分布,则记为 。高斯分布的概率密度函数为正态分布,期望值决定了其位置,其标准差 决定了分布的幅度。当 ,标准差时的正态分布是标准正态分布。.........原创 2019-03-07 13:19:08 · 2481 阅读 · 0 评论 -
矩阵分析:基于SVD的彩色图像压缩技术
题目:基于SVD的彩色图片压缩技术摘要:本文首先研究图片的构成原理,结合矩阵分析,将图片分解为三种颜色矩阵,然后通过矩阵的奇异值分解将原本的颜色矩阵分解为两个酉矩阵和一个对角矩阵的乘积,然后通过选择对角矩阵中特征值的个数对图像进行一定程度的压缩。经实验证明利用矩阵奇异值分解可以做到图片的无损压缩以及允许极小误差下的有损压缩,并且效果显著,不仅有利于网络传输,还减轻了图片存储压力。关键字:SVD;奇异值分解;压缩;有色图片;1,引言在人类获取的所有信息中,83%来源于眼睛,也就是视觉。眼.原创 2021-11-19 15:54:26 · 4369 阅读 · 2 评论 -
矩阵分析:Kronecker积,Hadamard积
1,Kronecker积的定义和性质1.1,Kronecker积的概念设,称如下的分块矩阵:为与的积或直积。(1)对于矩阵和,一般有,即矩阵的积不满足交换律。(2)任意矩阵与零矩阵的积等于零矩阵,即(3)阶单位矩阵与阶单位矩阵的积为阶单位矩阵,即:。【例1】设,则:1.2,Kronecker积的性质性质1:设为常数,则性质2:设与为同解矩阵,则:性质3:性质4:矩阵的积满足结合...原创 2021-12-31 23:24:11 · 5265 阅读 · 0 评论 -
矩阵分析:广义逆矩阵,{1}逆,MP逆,D逆
1,广义逆矩阵设满足下列四个方程:(1)(2)(3)(4)的某个几个或全部,则称为的广义逆矩阵。满足全部四个方程的广义逆矩阵称为的逆(存在且唯一)。设,若满足方程中的第等方程,则称为的逆,记为,其全体记为。的唯一的逆记为,也称为的加号逆。【例1】2,{1}逆及其应用2.1,{1}逆的计算及性质设,且和阶置换矩阵使得:则对任意矩阵,矩阵是的逆;当时,...原创 2021-12-31 23:18:45 · 5660 阅读 · 1 评论 -
矩阵分析:特征值界估计,Hermite特征值,广义特征值
1,特征值界的估计设,满足,则。【证明】设,则:设,则的任一特征值满足:【证明】假设满足,则:,(1)(2)(3)推论:(实对称)矩阵的特征值都是实数,反(实反对称) 矩阵的特征值为或纯虚数。对任意的实数,恒有:。设,则的任一特征值满足:【例1】设,故计的特征值的界。因为所以由于的任一特征值满足:故故设的特征值为,则且上...原创 2021-12-31 23:10:53 · 3270 阅读 · 0 评论 -
矩阵分析:三角分解,QR分解,秩分解,奇异值分解
1,矩阵的三角分解1.1,三角分解的存在唯一性问题设,如果存在下三角矩阵和上三角矩阵,使得则称可以作三角分解。【例1】矩阵有下列三角分解三角分解不唯一设,则可以作三角分解的充要条件是,其中是的阶顺序主子式,而为的阶顺序主子阵。【证明】必要性,设可作三角分解,即:由于故将进行分块得其中是的阶顺序主子阵,分别是下三角矩阵与上三角矩阵由分块乘法得故,即的个...原创 2021-12-31 22:58:15 · 3993 阅读 · 2 评论 -
矩阵分析:矩阵序列,矩阵级数,矩阵函数,微积分,函数应用
1,矩阵序列1.1,矩阵序列设中的矩阵序列,其中。若:则称矩阵序列收敛于,或称为矩阵序列的极限,记为:或(1)不收敛的矩阵序列称为发散。(2)矩阵序列收敛的本质是矩阵的所有元素都收敛。(3)上一个矩阵序列的收敛相当于个数列同时收敛。(4)用初等分析法太繁琐。(5)与向量序列一样,可以利用矩阵范数来研究矩阵序列的收敛问题。设,则:其中是上的任一矩阵范数。证明:当矩阵序列收敛时,矩阵序列的任意范数也收敛,反之不成...原创 2021-12-31 11:01:52 · 3990 阅读 · 0 评论 -
矩阵分析:向量范数,矩阵范数,范数应用
1,向量范数1.1,向量范数的定义和例子设是复数域上的维向量空间,称函数为向量范数,是指对所有,有下列性质:(1)非负性:,并且当且仅当。(2)齐次性:对任何,。(3)三角不等式:若对任意,有:(1)(2)(3)证明(3):根据三角不等式,有:两式分别相减可得:设,则下列实值函数都是上的向量范数:(1)2范数:(2)1范数:(3)范数:(4)p范数:,当时,分别得到向量1范数和2范数,并且可以证明...原创 2021-12-31 10:42:24 · 4622 阅读 · 2 评论 -
矩阵分析:Hamilton-Cayley定理,向量内积,酉相似
4,Hamilton-Cayley定理4.1,Hamilton-Cayley定理设,,则。证:设是矩阵的个特征值,则:由定理知,存在可逆矩阵使得:不妨设,其中为 或于是【例1】已知矩阵,试计算(1)(2)(3)矩阵的特征多项式为(1)令,用 除得:其中由 Hamilton-Cayley 定理知,于是(2)由,得故(3)设,由得:从而...原创 2022-01-08 17:00:00 · 3052 阅读 · 0 评论 -
矩阵分析:特征值,相似度对角化,Jordan标准形
1,特征值与特征向量1.1,特征值与特征向量的概念设,如果存在常数和非零的维列向量,使得:则称为的特征值,为的对应于的特征向量。特征向量为非零向量。 特征向量与特征值是成对出现的,一个特征值可对应多个特征向量,反之不然。将上式移项:有非零解这是个未知数个方程的齐次线性方程组,它有非零解的充分必要条件是系数行列式。,称为的特征矩阵。 称为矩阵的特征多项式。 称为矩阵的特征方程。 的特征值就是的特征方程的根。...原创 2021-12-31 08:44:19 · 3462 阅读 · 0 评论 -
数理逻辑:证明与反驳
1,自然演绎系统1.1,定义如果我们不过分追求精确,在形式系统中使用作为逻辑连接词,使用等。的推演规则:Hyp:若则 EHyp:若,则 Ded:,则 P:若且为重言式,则 Neg: IP:若则 Case:若,且,则 :若且满足条件,则及 :若且在中不自由,则 :若且对中的可代入,则 :若,且对中的是自由的,则 :若,,对中的可代入,且在中...原创 2021-12-29 15:55:04 · 1258 阅读 · 0 评论 -
数理逻辑:等词系统
1,等词系统1.1,定义一阶等词系统由一阶系统添加如下成分获得:语言部分:引入了二元谓词常元的公理。 推理部分:引入两条关于的公理。新公理: 其中,为个体变元,是原子公式,其他部分同系统。由于当且仅当,所以。若一阶理论含有等词并且含有,则称为带等词的一阶理论。1.2,等词替换等词替换定理:在中,可归纳证明: 称为等词替换定理。进一步: ,其中对中可代入。等词...原创 2021-12-29 10:40:32 · 825 阅读 · 1 评论 -
数理逻辑:一阶逻辑
1,一阶逻辑系统1.1,的定义一阶逻辑系统也称为谓词系统或者量化理论。一阶形式系统可写为,其中:的通用逻辑符号包括:连接词(),量词(),辅助符号()。非逻辑符号包括:可数无穷多个个体/函数/命题/谓词变元。任意多个个体/函数/命题/谓词常元。 可归纳定义如下:(1)若为个体变元或常元,则;(2)若为元函数常元或变元,为项,则为项;(3)任何项都可有限次应用(1)和(2)获得。 由下列公式构成:设为元谓词常元或者变元,为项,则。 ...原创 2021-12-29 09:33:49 · 2719 阅读 · 7 评论 -
数理逻辑:命题逻辑
1,形式系统的定义1.1,语言部分形式系统,其中:包括通用符号及特殊符号——可数多个命题变元构成。 是满足以下条件的最小集合:(1)若是命题变元,则;(2)若,则;(3)若,则。 1.2,公式集是包含所有命题变元,且关于构造封闭的最小集合。于是就是由全部原子命题构成的集合。要证明的公式集满足某个性质,可按公式结构归纳法证明:证明若为命题变元,则满足性质。 证明若满足,则亦然。 证明若和...原创 2021-12-28 18:46:17 · 1063 阅读 · 3 评论 -
数理逻辑:形式系统
1,形式系统1.1,形式系统的定义一个形式系统是一个五元偶,其中:非空集合是 的字母表,其元素称为 的符号。 ,称为 的项集,其元素称为的项。项集可以是空集。 ,且,称为的公式集,其元素称为 的公式。一般不允许为空。特别的,有一个子集,其元素称为的原子公式。 ,称为的公理集合,其元素称为的公理。公理是定理的一种,定理一定是正确的,公式可能不正确。 ,是的演绎规则集合,其元素称为的演绎规则,简称规则。1.2,语言部分与推理部分...原创 2021-12-28 11:00:17 · 1618 阅读 · 0 评论