历史
矩阵的研究历史悠久,拉丁方阵和幻方在史前年代已有人研究。
示线性方程组,得到了其增广矩阵。在消元过程中,使用的把某行乘以某一非零实数、从某行中减去另一行等运算技巧,相当于矩阵的初等变换。但那时并没有现今理解的矩阵概念,虽然它与现有的矩阵形式上相同,但在当时只是作为线性方程组的标准表示与处理方式。
1854年时法国数学家埃尔米特(C.Hermite)使用了“正交矩阵”这一术语,但他的正式定义直到1878年才由费罗贝尼乌斯发表。1879年,费罗贝尼乌斯引入矩阵秩的概念。至此,矩阵的体系基本上建立起来了。
矩阵的概念最早在1922年见于中文。1922年,程廷熙在一篇介绍文章中将矩阵译为“纵横阵”。1925年,科学名词审查会算学名词审查组在《科学》第十卷第四期刊登的审定名词表中,矩阵被翻译为“矩阵式”,方块矩阵翻译为“方阵式”,而各类矩阵如“正交矩阵”、“伴随矩阵”中的“矩阵”则被翻译为“方阵”。1935年,中国数学会审查后,中华民国教育部审定的《数学名词》(并“通令全国各院校一律遵用,以昭划一”)中,“矩阵”作为译名首次出现。1938年,曹惠群在接受科学名词审查会委托就数学名词加以校订的《算学名词汇编》中,认为应当的译名是“长方阵”。中华人民共和国成立后编订的《数学名词》中,则将译名定为“(矩)阵”。1993年,中国自然科学名词审定委员会公布的《数学名词》中,“矩阵”被定为正式译名,并沿用至今。
定义
由 m × n 个数aij排成的m行n列的数表称为m行n列的矩阵,简称m × n矩阵。记作:
这m×n 个数称为矩阵A的元素,简称为元,数aij位于矩阵A的第i行第j列,称为矩阵A的(i,j)元,以数 aij为(i,j)元的矩阵可记为(aij)或(aij)m × n,m×n矩阵A也记作Amn。
基本运算
加法
矩阵的加法满足下列运算律(A,B,C都是同型矩阵):
减法
数乘
矩阵的数乘满足以下运算律:
转置
矩阵的转置满足以下运算律:
共轭
则
共轭转置
则
乘法
主条目:矩阵乘法
,它的一个元素:
例如:
矩阵的乘法满足以下运算律:
矩阵乘法不满足交换律。
行列式
主条目:行列式
一个n×n矩阵的行列式等于其任意行(或列)的元素与对应的代数余子式乘积之和,即:
特征值与特征向量
主条目:特征值,特征向量
为特征值。
矩阵的迹
主条目:矩阵的迹
正定性
,对应的二次型
矩阵的分解
主条目:矩阵分解
三角分解
谱分解
奇异值分解
假设M是一个m×n阶矩阵,其中的元素全部属于域K,也就是实数域或复数域。如此则存在一个分解使得
满秩分解
LUP分解
特殊类别
对称矩阵
.
Hermitian矩阵
对一个实值矩阵,Hermitian矩阵与对称矩阵等价。
正交矩阵
.
酉矩阵
.
带型矩阵
三角矩阵
相似矩阵
。
相合矩阵
Vandermonde矩阵
例如:
或以第i行第j列的关系写作:
Hadamard矩阵
。这里In是n×n的单位矩阵。
对角矩阵
分块矩阵
该矩阵可以分为四个2×2的矩阵:
分块后的矩阵可以写为如下形式:
Jacobian矩阵
Jacobian矩阵是函数的一阶偏导数以一定方式排列成的矩阵。
可表示为如下形式:
旋转矩阵(Rotation matrix)
旋转矩阵(Rotation matrix)是在乘以一个向量的时候有改变向量的方向但不改变大小的效果的矩阵。旋转矩阵不包括反演,它可以把右手坐标系改变成左手坐标系或反之。所有旋转加上反演形成了正交矩阵的集合。
旋转矩阵是世界上著名的彩票专家、澳大利亚数学家底特罗夫研究的,它可以帮助您锁定喜爱的号码,提高中奖的机会。首先您要先选一些号码,然后,运用某一种旋转矩阵,将你挑选的数字填入相应位置。如果您选择的数字中有一些与开奖号码一样,您将一定会中一定奖级的奖。当然运用这种旋转矩阵,可以最小的成本获得最大的收益,且远远小于复式投注的成本。
旋转矩阵的原理在数学上涉及到的是一种组合设计:覆盖设计。而覆盖设计,填装设计,斯坦纳系,t-设计都是离散数学中的组合优化问题。它们解决的是如何组合集合中的元素以达到某种特定的要求。
范数
主条目:范数
满足以下要求:
上的矩阵范数。
诱导范数
常用的诱导范数为p-范数:
元素形式范数
Schatten范数
Schatten范数是用矩阵的奇异值定义的范数,定义为:
应用
图像处理
这里表示的是一次线性变换再街上一个平移。
线性变换及对称
线性变换及其所对应的对称,在现代物理学中有着重要的角色。例如,在量子场论中,基本粒子是由狭义相对论的洛伦兹群所表示,具体来说,即它们在旋量群下的表现。内含泡利矩阵及更通用的狄拉克矩阵的具体表示,在费米子的物理描述中,是一项不可或缺的构成部分,而费米子的表现可以用旋量来表述。描述最轻的三种夸克时,需要用到一种内含特殊酉群SU(3)的群论表示;物理学家在计算时会用一种更简便的矩阵表示,叫盖尔曼矩阵,这种矩阵也被用作SU(3)规范群,而强核力的现代描述──量子色动力学的基础正是SU(3)。还有卡比博-小林-益川矩阵(CKM矩阵):在弱相互作用中重要的基本夸克态,与指定粒子间不同质量的夸克态不一样,但两者却是成线性关系,而CKM矩阵所表达的就是这一点。
量子态的线性组合
简正模式
几何光学
在几何光学里,可以找到很多需要用到矩阵的地方。几何光学是一种忽略了光波波动性的近似理论,这理论的模型将光线视为几何射线。采用近轴近似(英语:paraxial approximation),假若光线与光轴之间的夹角很小,则透镜或反射元件对于光线的作用,可以表达为2×2矩阵与向量的乘积。这向量的两个分量是光线的几何性质(光线的斜率、光线跟光轴之间在主平面(英语:principal plane)的垂直距离)。这矩阵称为光线传输矩阵(英语:ray transfer matrix),内中元素编码了光学元件的性质。对于折射,这矩阵又细分为两种:“折射矩阵”与“平移矩阵”。折射矩阵描述光线遇到透镜的折射行为。平移矩阵描述光线从一个主平面传播到另一个主平面的平移行为。
电子学
在电子学里,传统的网目分析(英语:mesh analysis)或节点分析会获得一个线性方程组,这可以以矩阵来表示与计算。