矩阵是啥?
矩阵(数学术语)
在数学中,矩阵(Matrix)是一个按照长方阵列排列的复数或实数集合、 ,最早来自于方程组的系数及常数所构成的方阵。这一概念由19世纪英国数学家凯利首先提出。
定义
由 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。
元素是实数的矩阵称为实矩阵,元素是复数的矩阵称为复矩阵。而行数与列数都等于n的矩阵称为n阶矩阵或n阶方阵 。
矩阵的历史
矩阵的研究历史悠久,拉丁方阵和幻方在史前年代已有人研究。
在数学中,矩阵(Matrix)是一个按照长方阵列排列的复数或实数集合[1] ,最早来自于方程组的系数及常数所构成的方阵。这一概念由19世纪英国数学家凯利首先提出。作为解决线性方程的工具,矩阵也有不短的历史。成书最迟在东汉前期的《九章算术》中,用分离系数法表示线性方程组,得到了其增广矩阵。在消元过程中,使用的把某行乘以某一非零实数、从某行中减去另一行等运算技巧,相当于矩阵的初等变换。但那时并没有现今理解的矩阵概念,虽然它与现有的矩阵形式上相同,但在当时只是作为线性方程组的标准表示与处理方式。
矩阵正式作为数学中的研究对象出现,则是在行列式的研究发展起来后。逻辑上,矩阵的概念先于行列式,但在实际的历史上则恰好相反。日本数学家关孝和(1683年)与微积分的发现者之一戈特弗里德·威廉·莱布尼茨(1693年)近乎同时地独立建立了行列式论。其后行列式作为解线性方程组的工具逐步发展。1750年,加布里尔·克拉默发现了克莱姆法则。
矩阵的现代概念在19世纪逐渐形成。1800年代,高斯和威廉·若尔当建立了高斯—若尔当消去法。1844年,德国数学家费迪南·艾森斯坦(F.Eisenstein)讨论了“变换”(矩阵)及其乘积。1850年,英国数学家詹姆斯·约瑟夫·西尔维斯特(James Joseph Sylvester)首先使用矩阵一词。
英国数学家阿瑟·凯利被公认为矩阵论的奠基人。他开始将矩阵作为独立的数学对象研究时,许多与矩阵有关的性质已经在行列式的研究中被发现了,这也使得凯利认为矩阵的引进是十分自然的。他说:“我决然不是通过四元数而获得矩阵概念的;它或是直接从行列式的概念而来,或是作为一个表达线性方程组的方便方法而来的。”他从1858年开始,发表了《矩阵论的研究报告》等一系列关于矩阵的专门论文,研究了矩阵的运算律、矩阵的逆以及转置和特征多项式方程。凯利还提出了凯莱-哈密尔顿定理,并验证了3×3矩阵的情况,又说进一步的证明是不必要的。哈密尔顿证明了4×4矩阵的情况,而一般情况下的证明是德国数学家弗罗贝尼乌斯(F.G.Frohenius)于1898年给出的[4] 。
1854年时法国数学家埃尔米特(C.Hermite)使用了“正交矩阵”这一术语,但他的正式定义直到1878年才由费罗贝尼乌斯发表。1879年,费罗贝尼乌斯引入矩阵秩的概念。至此,矩阵的体系基本上建立起来了。
1854年时法国数学家埃尔米特(C.Hermite)使用了“正交矩阵”这一术语,但他的正式定义直到1878年才由费罗贝尼乌斯发表。1879年,费罗贝尼乌斯引入矩阵秩的概念。至此,矩阵的体系基本上建立起来了。
无限维矩阵的研究始于1884年。庞加莱在两篇不严谨地使用了无限维矩阵和行列式理论的文章后开始了对这一方面的专门研究。1906年,希尔伯特引入无限二次型(相当于无限维矩阵)对积分方程进行研究,极大地促进了无限维矩阵的研究。在此基础上,施密茨、赫林格和特普利茨发展出算子理论,而无限维矩阵成为了研究函数空间算子的有力工具。
矩阵的概念最早在1922年见于中文。1922年,程廷熙在一篇介绍文章中将矩阵译为“纵横阵”。1925年,科学名词审查会算学名词审查组在《科学》第十卷第四期刊登的审定名词表中,矩阵被翻译为“矩阵式”,方块矩阵翻译为“方阵式”,而各类矩阵如“正交矩阵”、“伴随矩阵”中的“矩阵”则被翻译为“方阵”。1935年,中国数学会审查后,中华民国教育部审定的《数学名词》(并“通令全国各院校一律遵用,以昭划一”)中,“矩阵”作为译名首次出现。1938年,曹惠群在接受科学名词审查会委托就数学名词加以校订的《算学名词汇编》中,认为应当的译名是“长方阵”。中华人民共和国成立后编订的《数学名词》中,则将译名定为“(矩)阵”。1993年,中国自然科学名词审定委员会公布的《数学名词》中,“矩阵”被定为正式译名,并沿用至今。
应用
矩阵是高等代数学中的常见工具,也常见于统计分析等应用数学学科中。 在物理学中,矩阵于电路学、力学、光学和量子物理中都有应用;计算机科学中,三维动画制作也需要用到矩阵。 矩阵的运算是数值分析领域的重要问题。将矩阵分解为简单矩阵的组合可以在理论和实际应用上简化矩阵的运算。对一些应用广泛而形式特殊的矩阵,例如稀疏矩阵和准对角矩阵,有特定的快速运算算法。关于矩阵相关理论的发展和应用,请参考矩阵理论。在天体物理、量子力学等领域,也会出现无穷维的矩阵,是矩阵的一种推广。
图像处理
在图像处理中图像的仿射变换一般可以表示为一个仿射矩阵和一张原始图像相乘的形式,例如:
这里表示的是一次线性变换再街上一个平移。
线性变换及对称
线性变换及其所对应的对称,在现代物理学中有着重要的角色。例如,在量子场论中,基本粒子是由狭义相对论的洛伦兹群所表示,具体来说,即它们在旋量群下的表现。内含泡利矩阵及更通用的狄拉克矩阵的具体表示,在费米子的物理描述中,是一项不可或缺的构成部分,而费米子的表现可以用旋量来表述。描述最轻的三种夸克时,需要用到一种内含特殊酉群SU(3)的群论表示;物理学家在计算时会用一种更简便的矩阵表示,叫盖尔曼矩阵,这种矩阵也被用作SU(3)规范群,而强核力的现代描述──量子色动力学的基础正是SU(3)。还有卡比博-小林-益川矩阵(CKM矩阵):在弱相互作用中重要的基本夸克态,与指定粒子间不同质量的夸克态不一样,但两者却是成线性关系,而CKM矩阵所表达的就是这一点。
量子态的线性组合
1925年海森堡提出第一个量子力学模型时,使用了无限维矩阵来表示理论中作用在量子态上的算子。这种做法在矩阵力学中也能见到。例如密度矩阵就是用来刻画量子系统中“纯”量子态的线性组合表示的“混合”量子态。
另一种矩阵是用来描述构成实验粒子物理基石的散射实验的重要工具。当粒子在加速器中发生碰撞,原本没有相互作用的粒子在高速运动中进入其它粒子的作用区,动量改变,形成一系列新的粒子。这种碰撞可以解释为结果粒子状态和入射粒子状态线性组合的标量积。其中的线性组合可以表达为一个矩阵,称为S矩阵,其中记录了所有可能的粒子间相互作用。
简正模式
矩阵在物理学中的另一类泛应用是描述线性耦合调和系统。这类系统的运动方程可以用矩阵的形式来表示,即用一个质量矩阵乘以一个广义速度来给出运动项,用力矩阵乘以位移向量来刻画相互作用。求系统的解的最优方法是将矩阵的特征向量求出(通过对角化等方式),称为系统的简正模式。这种求解方式在研究分子内部动力学模式时十分重要:系统内部由化学键结合的原子的振动可以表示成简正振动模式的叠加[31] 。描述力学振动或电路振荡时,也需要使用简正模式求解。
几何光学
在几何光学里,可以找到很多需要用到矩阵的地方。几何光学是一种忽略了光波波动性的近似理论,这理论的模型将光线视为几何射线。采用近轴近似(英语:paraxial approximation),假若光线与光轴之间的夹角很小,则透镜或反射元件对于光线的作用,可以表达为2×2矩阵与向量的乘积。这向量的两个分量是光线的几何性质(光线的斜率、光线跟光轴之间在主平面(英语:principal plane)的垂直距离)。这矩阵称为光线传输矩阵(英语:ray transfer matrix),内中元素编码了光学元件的性质。对于折射,这矩阵又细分为两种:“折射矩阵”与“平移矩阵”。折射矩阵描述光线遇到透镜的折射行为。平移矩阵描述光线从一个主平面传播到另一个主平面的平移行为。
由一系列透镜或反射元件组成的光学系统,可以很简单地以对应的矩阵组合来描述其光线传播路径。
电子学
在电子学里,传统的网目分析(英语:mesh analysis)或节点分析会获得一个线性方程组,这可以以矩阵来表示与计算。
绛旓細寰崥鐭╅樀鏄PRAC鐞嗚鐨勬柟娉曡锛屾槸鎸囦袱涓繀椤婚」锛氬搧鐗屽井鍗氬拰瀹㈡埛寰崥锛屽拰4涓夋嫨椤癸細鍛樺伐寰崥銆佷骇鍝佸井鍗氥佺矇涓濆井鍗氬拰娲诲姩寰崥锛屸4+2鈥濇ā寮忎笅鐨勭煩闃靛垎甯冦
绛旓細濂囧紓鍊兼槸A^TA鐨勭壒寰佸笺傘傛潯浠舵暟鏄疉鐨勭粷瀵瑰兼渶澶х殑鐗瑰緛鍊间笌缁濆鍊兼渶灏忕殑鐗瑰緛鍊肩殑姣斿笺傚寮傚煎湪瀵鐭╅樀A鍋歋VD鍒嗚В锛堝寮傚煎垎瑙o級鏃讹紝鎸変粠澶у埌灏忕殑娆″簭渚濇鍑虹嚎鍦ㄥ瑙掔煩闃礦鐨勫瑙掔嚎涓娿傘傛潯浠舵暟涓烘棤绌锋椂锛岀煩闃礎濂囧紓锛堣鍒楀紡涓0锛夈傛潯浠舵暟涓嶄负鏃犵┓鏃讹紝鐭╅樀A鍙嗐傚綋鏉′欢鏁板緢澶ф椂锛岃櫧鐒跺彲浠ユ眰寰楃煩闃礎...
绛旓細鐭╅樀妯″紡鏄竴绉嶇洰鏍囪鍒掑埗鐨勪竴绉嶆ā寮.鐭╅樀妯″紡鏄竴绉嶇洰鏍囪鍒掑埗鐨勪竴绉嶆ā寮忥紝鐢ㄤ簬瀹氫箟鍜岀鐞嗗洟闃熺殑宸ヤ綔浠诲姟鍜屽垎宸ャ傜煩闃垫ā寮忓皢鍥㈤槦鎴愬憳鎸夌収涓嶅悓鐨勬妧鑳芥垨鑱岃兘鍒掑垎涓鸿锛堣涓哄洟闃熸垚鍛橈級鍜屽垪锛堣涓轰换鍔★級锛屽舰鎴愪竴涓煩闃点傜煩闃电殑浜ゅ弶鐐硅〃绀轰簡姣忎釜鍥㈤槦鎴愬憳璐熻矗瀹屾垚鐨勪换鍔°傚湪鐭╅樀妯″紡涓嬶紝姣忎釜鍥㈤槦鎴愬憳閫氬父鍚屾椂灞炰簬...
绛旓細娴峰鐭╅樀鏄涓涓暟瀛︽蹇碉紝鐢ㄦ潵鎻忚堪澶氬厓鍑芥暟鍦ㄦ煇涓鐐圭殑灞閮ㄨ涓恒備笅鏂囧皢璇︾粏璇存槑娴峰鐭╅樀鐨勫畾涔夈佹ц川浠ュ強搴旂敤棰嗗煙銆1.娴峰鐭╅樀鐨勫畾涔 娴峰鐭╅樀鍙堢О榛戝鐭╅樀鎴栬呮捣鐟熺煩闃碉紝鏄竴涓簩娆″瀷鐭╅樀锛岀敤浜庢弿杩板鍏冨嚱鏁板湪鏌愪竴鐐圭殑灞閮ㄧ壒寰併傚叿浣撹岃█锛岃鍑芥暟f鏄竴涓疄鍊煎嚱鏁帮紝x鏄痭缁村疄鍚戦噺锛岄偅涔堝湪鐐箈澶勭殑娴峰鐭╅樀H...
绛旓細蹇樹簡涓涓簨鎯咃紝鏈杩戣佹槸鏈変竴鍫嗕汉闂垜锛屾棤浜虹洿鎾煩闃靛埌搴曟槸浠涔堬紝鍟ュ彨鐭╅樀锛屽畬鍏ㄤ笉鎳傦紒鎴戜竴鑸殑鍥炲灏辨槸锛屾棤浜虹洿鎾簡瑙e悧锛熸湁娌℃湁鍋氳繃鏃犱汉鐩存挱锛屽鏋滃彲浠ヤ綘鍏堢帺濂5-10涓彿锛屽啀鏉ヨ冭檻鐭╅樀鐨勯棶棰樸傝繍钀ュ涓姈闊冲彿鏈川涓婃垨鑰呰杩涢樁灏辨槸璐﹀彿鐭╅樀锛岄偅涔堣处鍙鐭╅樀鏄粈涔鍛紵璇ユ庝箞鐜╁憿锛熻繍钀ョ煩闃靛彲浠ヤ繚璇...
绛旓細1 0 0 0 1 0 鍗曚綅鐭╅樀 0 0 1 瀵硅鐭╅樀鎵鏈夐潪涓诲瑙掔嚎鍏冪礌鍏ㄧ瓑浜庨浂鐨刵闃剁煩闃,绉颁负瀵硅鐭╅樀鎴栫О涓哄瑙掓柟闃.瀵硅鐭╅樀鐨勬ц川 1銆併瀵硅鐭╅樀D =[ a,0,0] 涓庣煩闃礎 =1 2 3 [ 0,b,0] 4 5 6 [ 0,0,c] 7 8 9 D*A=[ a,2*a,3*a] [ 4*b,5*b,6*b] [ 7*c,8*c,9*...
绛旓細闅忕潃鏂板獟浣撳钩鍙拌秺鏉ヨ秺澶氾紝鎴戜滑甯稿父浼氬惉鍒颁竴涓瘝鈥斺斾紒涓氳嚜濯掍綋钀ラ攢鐭╅樀銆傝繖鏄暐锛鏈変粈涔堜綔鐢紵鎬庝箞鎼缓锛熺煩闃垫湰鏉ユ槸涓涓暟瀛︽蹇碉紝鐜板湪鎴戜滑鐢ㄦ潵琛嶇敓鍒颁紒涓氳嚜濯掍綋钀ラ攢涓娿備紒涓氳嚜濯掍綋钀ラ攢鐭╅樀锛岀洰鍓嶈繕娌℃湁缁熶竴瀹氫箟锛屾垜浠彲浠ユ殏涓斿皢瀹冨畾涔変负鈥斺旇兘澶熻Е杈剧洰鏍囩兢浣撶殑澶氱鏂板獟浣撴笭閬撶粍鍚堛傛惌寤轰紒涓氳嚜濯掍綋钀ラ攢鐭╅樀绗竴...
绛旓細鐭╅樀鏍囧噯鍨嬫槸锛氬鏋滅煩闃礏鍙互鐢盇缁忚繃涓绯诲垪鍒濈瓑鍙樻崲寰楀埌 閭d箞鐭╅樀A涓嶣鏄瓑浠风殑銆傝嫢鐭╅樀A鑳戒笌瀵硅褰㈢煩闃电浉浼硷紝閭d箞璇ュ瑙掑舰鐭╅樀鐨勫瑙掔嚎鍏冪礌鏄疉鐨刵涓壒寰佸艰屼笖鍙嗙煩闃祊鐨勫垪鍚戦噺灏辨槸瀵瑰簲浜庤繖浜涚壒寰佸肩殑n涓嚎鎬ф棤鍏崇殑鐗瑰緛鍚戦噺銆傛爣鍑嗗舰鐭╅樀锛氭瘡涓潪闆惰鐨勭涓涓潪闆跺厓绱犱负1锛屾瘡涓潪闆惰鐨勭涓涓潪闆...
绛旓細琛ㄧず鐭╅樀鐨勮浆缃傝A涓簃脳n闃剁煩闃碉紙鍗砿琛宯鍒楋級锛岀i 琛宩 鍒楃殑鍏冪礌鏄痑(i,j)锛屾妸m脳n鐭╅樀A鐨勮鎹㈡垚鍚屽簭鏁扮殑鍒楀緱鍒颁竴涓猲脳m鐭╅樀锛屾鐭╅樀鍙仛A鐨勮浆缃煩闃碉紝璁板仛A^T.渚嬪鐭╅樀 鐨勮浆缃鐭╅樀涓 鐭╅樀鐨勮浆缃弧瓒充互涓嬭繍绠楀緥锛
绛旓細鍓嶉潰姹傚嚭鐨勬爣鍑嗗舰閲屾湁涓や釜姝g殑锛屾墍浠ョ敤1浠f浛锛堝叾瀹炶鑼冭繃绋嬫槸鍐嶄竴娆″鏍囧噯褰㈢嚎鎬у彉鎹紝绯绘暟鍙栨牴鍙凤紝鐪嬪埌绯绘暟鏄鐨勫氨鎹㈡垚1锛屾槸璐熺殑灏辨崲鎴愨1锛夛紝鎵浠ワ紝瑙勮寖褰㈠氨鏄1銆1銆0銆鐭╅樀锛圡atrix锛夋寚鍦ㄦ暟瀛︿腑锛屾寜鐓ч暱鏂归樀鍒楁帓鍒楃殑澶嶆暟鎴栧疄鏁伴泦鍚堬紝鏈鏃╂潵鑷簬鏂圭▼缁勭殑绯绘暟鍙婂父鏁版墍鏋勬垚鐨勬柟闃碉紝鐢19涓栫邯鑻卞浗...