线性代数
A
=
[
1
2
3
4
]
{\displaystyle \mathbf {A} ={\begin{bmatrix}1&2\\3&4\end{bmatrix))}
向量 ·
向量空间 ·
基底 ·
行列式 ·
矩阵
向量
标量 ·
向量 ·
向量空间 ·
向量投影 ·
外积(
向量积 ·
七维向量积) ·
内积(
数量积) ·
二重向量
矩阵与行列式
矩阵 ·
行列式 ·
线性方程组 ·
秩 ·
核 ·
跡 ·
單位矩陣 ·
初等矩阵 ·
方块矩阵 ·
分块矩阵 ·
三角矩阵 ·
非奇异方阵 ·
转置矩阵 ·
逆矩阵 ·
对角矩阵 ·
可对角化矩阵 ·
对称矩阵 ·
反對稱矩陣 ·
正交矩阵 ·
幺正矩阵 ·
埃尔米特矩阵 ·
反埃尔米特矩阵 ·
正规矩阵 ·
伴随矩阵 ·
余因子矩阵 ·
共轭转置 ·
正定矩阵 ·
幂零矩阵 ·
矩阵分解 (
LU分解 ·
奇异值分解 ·
QR分解 ·
极分解 ·
特征分解) ·
子式和余子式 ·
拉普拉斯展開 ·
克罗内克积
线性空间与线性变换
线性空间 ·
线性变换 ·
线性子空间 ·
线性生成空间 ·
基 ·
线性映射 ·
线性投影 ·
線性無關 ·
线性组合 ·
线性泛函 ·
行空间与列空间 ·
对偶空间 ·
正交 ·
特征向量 ·
最小二乘法 ·
格拉姆-施密特正交化
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin:0;display:inline}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist dt:after{content:" :"}.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{content:" · ";font-weight:bold}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" | ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" - ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)"\a0 "}.mw-parser-output ul.cslist,.mw-parser-output ul.sslist{margin:0;padding:0;display:inline-block;list-style:none}.mw-parser-output .cslist li,.mw-parser-output .sslist li{margin:0;display:inline-block}.mw-parser-output .cslist li:after{content:","}.mw-parser-output .sslist li:after{content:";"}.mw-parser-output .cslist li:last-child:after,.mw-parser-output .sslist li:last-child:after{content:none}.mw-parser-output .navbar{display:inline;font-weight:normal;font-size:88%}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit;color:inherit!important}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}
查论编
克萊姆法則或克拉瑪公式(英語:Cramer's rule / formula)是一個線性代數中的定理,用行列式來計算出線性等式組中的所有解。這個定理因加百列·克萊姆(1704年 - 1752年)的卓越使用而命名。在計算上,並非最有效率之法,因而在很多條等式的情況中沒有廣泛應用。不過,這一定理在理論性方面十分有效。
基本方程
一個線性方程組可以用矩陣与向量的方程來表示:
![{\displaystyle Ax=c\,\qquad \qquad \qquad \qquad \qquad \qquad (1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0da439f3ea51a1c720ec3b9908c2600a92165d42)
其中的
是一个
的方塊矩陣,而向量
是一个长度为n的行向量(中國大陸為列向量)。
也一样。
克莱姆法则说明:如果
是一个可逆矩陣(
),那么方程(1)有解
,其中
(1)
当中
是列向量
的第i行(行向量与列向量不一样,解释默认列向量)
當中
是列向量
取代了
的第i列后得到的矩阵。為了方便,我們通常使用
來表示
,用
來表示
。所以等式(1)可以寫成為:
。
證明概要
对于
元线性方程组
把系数矩阵
表示成行向量的形式
由于系数矩阵可逆,故方程组一定有解
.
设
,即
考虑
的值,利用行列式的線性和交替性質,有
于是
例子
运用克萊姆法則可以很有效地解決以下方程组。
已知:
![{\displaystyle ax+by={\color {red}e}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1785b46f109b594bf6c0c7994075492b34d040c6)
![{\displaystyle cx+dy={\color {red}f}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b34663de309b8f756016155bc8d8d6182abf6f9b)
使用矩陣來表示時就是:
![{\displaystyle {\begin{bmatrix}a&b\\c&d\end{bmatrix)){\begin{bmatrix}x\\y\end{bmatrix))={\begin{bmatrix}{\color {red}e}\\{\color {red}f}\end{bmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8426e7651c3d03938e8ca4693786d546bb2087c6)
当矩阵可逆时,x和y可以從克萊姆法則中得出:
![{\displaystyle x={\frac {\begin{vmatrix}\color {red}{e}&b\\\color {red}{f}&d\end{vmatrix)){\begin{vmatrix}a&b\\c&d\end{vmatrix))}=((\color {red}e}d-b{\color {red}f} \over ad-bc))](https://wikimedia.org/api/rest_v1/media/math/render/svg/60f07e999e5580924ee6f1b68e88f2a8da98bcda)
- 以及
![{\displaystyle y={\frac {\begin{vmatrix}a&\color {red}{e}\\c&\color {red}{f}\end{vmatrix)){\begin{vmatrix}a&b\\c&d\end{vmatrix))}={a{\color {red}f}-{\color {red}e}c \over ad-bc))](https://wikimedia.org/api/rest_v1/media/math/render/svg/526a37875a797bf33aec50a7893f04b32cb893c2)
用3×3矩陣的情況亦差不多。
已知:
![{\displaystyle ax+by+cz={\color {red}j}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95da1db9a1506d1a01c8db3e201bd44cca5637a2)
![{\displaystyle dx+ey+fz={\color {red}k}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f55339e46b223c1ab695c233d1d9d0cae0366e5)
![{\displaystyle gx+hy+iz={\color {red}l}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68c8d1ac04dcedfc4cd24f6989b2e69780b5b258)
當中的矩陣表示為:
![{\displaystyle {\begin{bmatrix}a&b&c\\d&e&f\\g&h&i\end{bmatrix)){\begin{bmatrix}x\\y\\z\end{bmatrix))={\begin{bmatrix}{\color {red}j}\\{\color {red}k}\\{\color {red}l}\end{bmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9946f0492e9eb0c2a7a84983e267d6b51fb2099e)
当矩阵可逆时,可以求出x、y和z:
、
以及 ![{\displaystyle z={\frac {\begin{vmatrix}a&b&{\color {red}j}\\d&e&{\color {red}k}\\g&h&{\color {red}l}\end{vmatrix)){\begin{vmatrix}a&b&c\\d&e&f\\g&h&i\end{vmatrix))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce39b2e5c430fb0a32d7685d3a9079c24d4ac195)
微分幾何上的應用
克萊姆法則在解決微分幾何的问题时十分有用。
先考慮兩條等式
和
。其中的u和v是需要考虑的变量,并且它们互不相关。我們可定義
和
。
找出一條等式適合
是克萊姆法則的簡單應用。
首先,我們要計算
、
、
和
的導數:
![{\displaystyle dF={\frac {\partial F}{\partial x))dx+{\frac {\partial F}{\partial y))dy+{\frac {\partial F}{\partial u))du+{\frac {\partial F}{\partial v))dv=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8e06ed09a6e21af8271ed7feee03881d2a1e7f3)
![{\displaystyle dG={\frac {\partial G}{\partial x))dx+{\frac {\partial G}{\partial y))dy+{\frac {\partial G}{\partial u))du+{\frac {\partial G}{\partial v))dv=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dd8e1b611e6ebe5a6163e2a35dc105cee9b61aa)
![{\displaystyle dx={\frac {\partial X}{\partial u))du+{\frac {\partial X}{\partial v))dv}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a81dd7f07351b26f523c8403078143fe6e1f60b)
![{\displaystyle dy={\frac {\partial Y}{\partial u))du+{\frac {\partial Y}{\partial v))dv}](https://wikimedia.org/api/rest_v1/media/math/render/svg/716a5350c66e8704180284d1775656738c52fbe7)
將
和
代入
和
,可得出:
![{\displaystyle dF=\left({\frac {\partial F}{\partial x)){\frac {\partial x}{\partial u))+{\frac {\partial F}{\partial y)){\frac {\partial y}{\partial u))+{\frac {\partial F}{\partial u))\right)du+\left({\frac {\partial F}{\partial x)){\frac {\partial x}{\partial v))+{\frac {\partial F}{\partial y)){\frac {\partial y}{\partial v))+{\frac {\partial F}{\partial v))\right)dv=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acc5c9c2eab4b49bf9067123796dd79311f96fc3)
![{\displaystyle dG=\left({\frac {\partial G}{\partial x)){\frac {\partial x}{\partial u))+{\frac {\partial G}{\partial y)){\frac {\partial y}{\partial u))+{\frac {\partial G}{\partial u))\right)du+\left({\frac {\partial G}{\partial x)){\frac {\partial x}{\partial v))+{\frac {\partial G}{\partial y)){\frac {\partial y}{\partial v))+{\frac {\partial G}{\partial v))\right)dv=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28c9931c724fb95ca2c30e753800dba7cda85154)
因為
和
互不相关,所以
和
的系數都要等於0。所以等式中的系數可以被寫成:
![{\displaystyle {\frac {\partial F}{\partial x)){\frac {\partial x}{\partial u))+{\frac {\partial F}{\partial y)){\frac {\partial y}{\partial u))=-{\frac {\partial F}{\partial u))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6178d8b188a777327a478161d76ed6f7c2a364c)
![{\displaystyle {\frac {\partial G}{\partial x)){\frac {\partial x}{\partial u))+{\frac {\partial G}{\partial y)){\frac {\partial y}{\partial u))=-{\frac {\partial G}{\partial u))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d3e256e9cb1063e7e321947548016f95d9d332d)
![{\displaystyle {\frac {\partial F}{\partial x)){\frac {\partial x}{\partial v))+{\frac {\partial F}{\partial y)){\frac {\partial y}{\partial v))=-{\frac {\partial F}{\partial v))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f906aa9d48280241628eba00e90dc324f1741b63)
![{\displaystyle {\frac {\partial G}{\partial x)){\frac {\partial x}{\partial v))+{\frac {\partial G}{\partial y)){\frac {\partial y}{\partial v))=-{\frac {\partial G}{\partial v))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/386450c3dccbab28c4361d76766d820de8eb6c01)
現在用克萊姆法則就可得到:
![{\displaystyle {\cfrac {\partial x}{\partial u))={\cfrac {\begin{vmatrix}-{\cfrac {\partial F}{\partial u))&{\cfrac {\partial F}{\partial y))\\-{\cfrac {\partial G}{\partial u))&{\cfrac {\partial G}{\partial y))\end{vmatrix)){\begin{vmatrix}{\cfrac {\partial F}{\partial x))&{\cfrac {\partial F}{\partial y))\\{\cfrac {\partial G}{\partial x))&{\cfrac {\partial G}{\partial y))\end{vmatrix))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c53f43640fbb0be9433c152c605819aef994a10)
用兩個雅可比矩陣來表示的方程:
![{\displaystyle {\cfrac {\partial x}{\partial u))=-{\cfrac {\left({\cfrac {\partial \left(F,G\right)}{\partial \left(y,u\right)))\right)}{\left({\cfrac {\partial \left(F,G\right)}{\partial \left(x,y\right)))\right)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4df30960928eb9cd6771874258233e9710ee8da1)
用類似的方法就可以找到
、
以及
。
基本代數上的應用
克萊姆法則可以用來證明一些線性代數中的定理,當中的定理對環理論十分有用。
線性規劃上的應用
克萊姆法則可以用來證明一個線性規劃問題有一個基本整數的解。這樣使得線性規劃的問題更容易被解決。
參考文獻