简单的线性代数与几何

代码项目: github.com/D-EF/CNML

最后编辑于 2024-01-04

类型说明

Idx_VM 为向量或矩阵的下标类型应为 char 或者 int
var 为全局数值类型, 应为 float 或 doble

本文中所有作为下标的代数均为正整数

向量 Vector

存储

向量是表示方向的量, 在不同维度的下向量的数据长度有所不同；

记录时以轴的顺序记录在不同轴上的坐标 : { x(第0轴的坐标) , y(第1轴的坐标), z(第2轴的坐标)....}

代码中使用数值的指针并携带长度属性代替大部分的向量参数, 例 :

cpp 复制代码

    // 向量模长
    var mag(Idx_VM length, var*& vec);

向量的基本运算

模 mag

向量的模(mag)是指向量的坐标到原点的距离, 用勾股定理即可求;
2D向量(x,y) 的模(mag) : <math xmlns="http://www.w3.org/1998/Math/MathML"> m a g = x 2 + y 2 mag=\sqrt{x^2+y^2} </math>mag=x2+y2
n维度向量 <math xmlns="http://www.w3.org/1998/Math/MathML"> v = ( v 0 , v 1 , v 2 , . . . , v n − 1 ) v=(v_0,v_1,v_2,...,v_{n-1}) </math>v=(v0,v1,v2,...,vn−1) 的模(mag) :
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> m a g = ∣ v ∣ = ∑ i = 0 n − 1 v i 2 mag=|v|=\sqrt{\sum_{i=0}^{n-1}{{v_i}^2}} </math>mag=∣v∣=i=0∑n−1vi2

css 复制代码

var mag(Idx_VM length, var*& vec){
    var rtn_squares=0;
    for(Idx_VM i=0; i<length; ++i) rtn_squares+=vec[i]*vec[i];
    return sqrt(rtn_squares);
}

向量加减 sum / dif

向量加减在几何上表示原向量正向或反向平移偏移量后得到新向量, 在运算时只需要将所有对应维度的值相加或相减
原向量:( <math xmlns="http://www.w3.org/1998/Math/MathML"> v 0 = ( v 0 0 , v 0 1 , v 0 2 , . . . , v 0 n − 1 ) v_0=(v_{0_0} , v_{0_1} , v_{0_2} , ... , v_{0_{n-1}}) </math>v0=(v00,v01,v02,...,v0n−1) )
偏移量:( <math xmlns="http://www.w3.org/1998/Math/MathML"> v 1 = ( v 1 0 , v 1 1 , v 1 2 , . . . , v 1 n − 1 ) v_1=(v_{1_0} , v_{1_1} , v_{1_2} , ... , v_{1_{n-1}}) </math>v1=(v10,v11,v12,...,v1n−1) )
新向量:
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F s u m ( v 0 , v 1 ) = v 0 + v 1 = ( v 0 0 + v 1 0 , v 0 1 + v 1 1 , v 0 2 + v 1 2 , . . . , v 0 n − 1 + v 1 n − 1 ) F_{sum}(v_0,v_1)=v_0+v_1=(v_{0_0}+v_{1_0}, v_{0_1}+v_{1_1}, v_{0_2}+v_{1_2}, ... , v_{0_{n-1}}+v_{1_{n-1}}) </math>Fsum(v0,v1)=v0+v1=(v00+v10,v01+v11,v02+v12,...,v0n−1+v1n−1)
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F d i f ( v 0 , v 1 ) = v 0 − v 1 = ( v 0 0 − v 1 0 , v 0 1 − v 1 1 , v 0 2 − v 1 2 , . . . , v 0 n − 1 − v 1 n − 1 ) F_{dif}(v_0,v_1)=v_0-v_1=(v_{0_0}-v_{1_0}, v_{0_1}-v_{1_1}, v_{0_2}-v_{1_2}, ... , v_{0_{n-1}}-v_{1_{n-1}}) </math>Fdif(v0,v1)=v0−v1=(v00−v10,v01−v11,v02−v12,...,v0n−1−v1n−1)

css 复制代码

void sum(var*& out, Idx_VM length, var*& vec_0, var*& vec_1){
    for(Idx_VM i=0; i<length; ++i) out[i]=vec_0[i]+vec_1[i];
}
void dif(var*& out, Idx_VM length, var*& vec_0, var*& vec_1){
    for(Idx_VM i=0; i<length; ++i) out[i]=vec_0[i]-vec_1[i];
}

向量乘标量 np

向量乘标量在几何上表示多个相同的向量相加, 在运算时只需要将所有维度的值乘以标量
原向量: ( <math xmlns="http://www.w3.org/1998/Math/MathML"> v = ( v 0 0 , v 0 1 , v 0 2 , . . . , v 0 n − 1 ) v=(v_{0_0} , v_{0_1} , v_{0_2} , ... , v_{0_n-1}) </math>v=(v00,v01,v02,...,v0n−1) ) 乘以标量 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> k k </math>k )
新向量:
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F n p ( k , v ) = k v = ( k v 0 0 , k v 0 1 , k v 0 2 , . . . , k v 0 n − 1 ) F_{np}(k,v)=kv=(kv_{0_0} , kv_{0_1} , kv_{0_2} , ... , kv_{0_n-1}) </math>Fnp(k,v)=kv=(kv00,kv01,kv02,...,kv0n−1)

css 复制代码

  void np(var*& vec, Idx_VM length, var k){
      for(Idx_VM i=0; i<length; ++i) vec[i]*=k;
  }

向量点积 dot

向量点积计算时需要将两个向量所有对应维度相乘后再相加
向量0:( <math xmlns="http://www.w3.org/1998/Math/MathML"> v 0 = ( v 0 0 , v 0 1 , v 0 2 , . . . , v 0 n − 1 ) v_0=(v_{0_0} , v_{0_1} , v_{0_2} , ... , v_{0_n-1}) </math>v0=(v00,v01,v02,...,v0n−1) )
向量1:( <math xmlns="http://www.w3.org/1998/Math/MathML"> v 1 = ( v 1 0 , v 1 1 , v 1 2 , . . . , v 1 n − 1 ) v_1=(v_{1_0} , v_{1_1} , v_{1_2} , ... , v_{1_n-1}) </math>v1=(v10,v11,v12,...,v1n−1) )
向量点积 :
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F d o t ( v 0 , v 1 ) = v 0 ⋅ v 1 = ∑ i = 0 n − 1 v 0 i v 1 i F_{dot}(v_0,v_1)=v_0·v_1=\sum_{i=0}^{n-1}{v_{0_i}v_{1_i}} </math>Fdot(v0,v1)=v0⋅v1=i=0∑n−1v0iv1i
向量点积的几何应用 :
- 点积可以表示点在另一个点上的投影系数(t)与模的乘积 : <math xmlns="http://www.w3.org/1998/Math/MathML"> d o t = t 1 ∣ v 1 ∣ dot=t_1|v_1| </math>dot=t1∣v1∣ ;
- 由此可以用于计算点( <math xmlns="http://www.w3.org/1998/Math/MathML"> v 0 v_0 </math>v0 )在另一个点( <math xmlns="http://www.w3.org/1998/Math/MathML"> v 1 v_1 </math>v1 )上的投影的坐标( <math xmlns="http://www.w3.org/1998/Math/MathML"> v v </math>v ) :
  <math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F p r o j e c t i o n ′ p o i n t ( v 0 , v 1 ) = ( v 0 ⋅ v 1 ) ∣ v 1 ∣ F_{projection'point}(v_0,v_1)=\frac{(v_0·v_1)}{|v_1|} </math>Fprojection′point(v0,v1)=∣v1∣(v0⋅v1)
- 使用点积计算两个向量夹角的cos值
  <math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F c o s Θ ( v 0 , v 1 ) = ( v 0 ⋅ v 1 ) ∣ v 0 ∣ ∣ v 1 ∣ F_{cosΘ}(v_0,v_1)=\frac{(v_0·v_1)}{|v_0||v_1|} </math>FcosΘ(v0,v1)=∣v0∣∣v1∣(v0⋅v1)

向量叉积 cross

向量叉积仅适用于2D或3D中
几何意义和公式
- 叉积表示一个向量以某方向旋转到另一个向量时的旋转轴
- 当叉积为0时, 表示两个向量处于同一直线上
- 2D 叉积, 旋转轴总是在一个虚构的z轴上, 所以直接可以使用一个标量表示, 以叉积的正负表示旋转方向; 起始向量(叉积左向量) ( <math xmlns="http://www.w3.org/1998/Math/MathML"> v 0 v_0 </math>v0 ), 终点向量(叉积右向量) { <math xmlns="http://www.w3.org/1998/Math/MathML"> v 1 v_1 </math>v1 }
  
  <math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F c r o s s ( v 0 , v 1 ) = v 0 × v 1 = v 0 x v 1 y − v 0 y v 1 x F_{cross}(v_0,v_1)=v_0×v_1=v_{0_x}v_{1_y}-v_{0_y}v_{1_x} </math>Fcross(v0,v1)=v0×v1=v0xv1y−v0yv1x
  ini 复制代码
```
+y
^ 
|*v_0 {1,2}
|
|     *v_1 {2,1}
+------------> +x

此处有两点处于坐标系中, 其中x在水平方向的右方向, y在垂直方向的上方向, 虚拟的z在注视内容时的前方向; 
v_0={1,2}, v_1={2,1}; cross=1*1-2*2=-3;
此时叉积值为负数, v_0->v_1为顺时针
```
- 3D 叉积, 叉积为一个新的向量, 表示旋转时的旋转轴
  
  起始向量(叉积左向量) ( <math xmlns="http://www.w3.org/1998/Math/MathML"> v 0 v_0 </math>v0 ), 终点向量(叉积右向量) { <math xmlns="http://www.w3.org/1998/Math/MathML"> v 1 v_1 </math>v1 }
  
  <math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F c r o s s ( v 0 , v 1 ) = v 0 × v 1 = ( v 0 y v 1 z − v 0 z v 1 y v 0 z v 1 x − v 0 x v 1 z v 0 x v 1 y − v 0 y v 1 x ) F_{cross}(v_0,v_1)=v_0×v_1=\begin{pmatrix} v_{0_y}v_{1_z} - v_{0_z}v_{1_y} \\ v_{0_z}v_{1_x} - v_{0_x}v_{1_z} \\ v_{0_x}v_{1_y} - v_{0_y}v_{1_x} \\ \end{pmatrix} </math>Fcross(v0,v1)=v0×v1=⎝ ⎛v0yv1z−v0zv1yv0zv1x−v0xv1zv0xv1y−v0yv1x⎠ ⎞

矩阵 Matrix

todo

存储

代码中使用数值的指针并携带宽高属性代替大部分的矩阵参数, 例 :

cpp 复制代码

    // 设置单位矩阵
    var*& setup_Matrix__Identity(var*& out, Idx_VM width, Idx_VM height);

下标位置
- 本文中, 矩阵下标通常以水平坐标 (u) 和垂直坐标 (v) 表示 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> M u , v M_{u,v} </math>Mu,v ) , 本文中所有下标均以0为起点;
  如此矩阵M中0列2行的值 <math xmlns="http://www.w3.org/1998/Math/MathML"> M 0 , 2 M_{0,2} </math>M0,2 = 6
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> M = ( M 0 , 0 , M 1 , 0 , M 2 , 0 M 0 , 1 , M 1 , 1 , M 2 , 1 M 0 , 2 , M 1 , 2 , M 2 , 2 ) = ( 0 , 1 , 2 3 , 4 , 5 6 , 7 , 8 ) M= \begin{pmatrix} M_{0,0}, M_{1,0}, M_{2,0}\\ M_{0,1}, M_{1,1}, M_{2,1}\\ M_{0,2}, M_{1,2}, M_{2,2}\\ \end{pmatrix} = \begin{pmatrix} 0,1,2\\ 3,4,5\\ 6,7,8\\ \end{pmatrix} </math>M=⎝ ⎛M0,0,M1,0,M2,0M0,1,M1,1,M2,1M0,2,M1,2,M2,2⎠ ⎞=⎝ ⎛0,1,23,4,56,7,8⎠ ⎞
- 物理数据下标计算, 需要宽度参数(w), 水平坐标(u), 垂直坐标(v) : <math xmlns="http://www.w3.org/1998/Math/MathML"> F i ( w , u , v ) = v ∗ w + u F_i(w,u,v)=v*w+u </math>Fi(w,u,v)=v∗w+u
- 对角线位置, 水平坐标与垂直坐标相同的位置 <math xmlns="http://www.w3.org/1998/Math/MathML"> M i , i M_{i,i} </math>Mi,i

部分特殊的矩阵

方阵
- 宽度和高度相同的矩阵
零矩阵
- 特征为矩阵中所有数值均为0
单位矩阵
- 特征为矩阵中除了对角线上的数值为1 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> M i , i = 1 M_{i,i} = 1 </math>Mi,i=1 ), 其他数值均为0
正交矩阵
- 特征为对角线位置的值为 1, 且除了对角线位置以外的值都满足 <math xmlns="http://www.w3.org/1998/Math/MathML"> M u , v = − M v , u M_{u,v} = -M_{v,u} </math>Mu,v=−Mv,u
上/下三角矩阵
- 特征为对角线上方或下方所有值为0
  <math xmlns="http://www.w3.org/1998/Math/MathML"> ( v ∈ [ 0 , u ) ) & ( M u , v = 0 ) (v\in[0,u))\&(M_{u,v}=0) </math>(v∈[0,u))&(Mu,v=0)
  <math xmlns="http://www.w3.org/1998/Math/MathML"> ( v ∈ ( u , w ] ) & ( M u , v = 0 ) (v\in(u,w])\&(M_{u,v}=0) </math>(v∈(u,w])&(Mu,v=0)

矩阵部分计算

矩阵乘法

矩阵乘法需要左矩阵的宽度与右矩阵的高度相同, 新矩阵的宽为右矩阵的宽, 高为左矩阵的高
进行矩阵乘法时有顺序要求, 而且不满足乘法交换律;
执行乘法时为左行乘右列, 新矩阵的每个值都是左矩阵的对应行与右矩阵的对应列的点积
A=左矩阵, B=右矩阵; l=左矩阵宽度=右矩阵高度; h=左矩阵高度, w=右矩阵宽度; <math xmlns="http://www.w3.org/1998/Math/MathML"> F g e t R o w ( M , v ) F_{getRow}(M,v) </math>FgetRow(M,v) 和 <math xmlns="http://www.w3.org/1998/Math/MathML"> F g e t C o l ( M , u ) F_{getCol}(M,u) </math>FgetCol(M,u) 分别为取矩阵行与取矩阵列

<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F M u l t i p l i c a t i o n ( A , B ) = ( A 0 , 0 , A 1 , 0 , ... , A l − 1 , 0 A 0 , 1 , A 1 , 1 , ... , A l − 1 , 1 ⋮ A 0 , h − 1 , A 1 , h − 1 , ... , A l − 1 , h − 1 ) ( B 0 , 0 , B 1 , 0 , ... , B w − 1 , 0 B 0 , 1 , B 1 , 1 , ... , B w − 1 , 1 ⋮ B 0 , l − 1 , B 1 , l − 1 , ... , B w − 1 , l − 1 ) = ( F g e t r o w ( A , 0 ) ⋅ F g e t C o l ( B , 0 ) , F g e t r o w ( A , 0 ) ⋅ F g e t C o l ( B , 1 ) , ... , F g e t r o w ( A , 0 ) ⋅ F g e t C o l ( B , w − 1 ) F g e t r o w ( A , 1 ) ⋅ F g e t C o l ( B , 0 ) , F g e t r o w ( A , 1 ) ⋅ F g e t C o l ( B , 1 ) , ... , F g e t r o w ( A , 1 ) ⋅ F g e t C o l ( B , w − 1 ) ⋮ F g e t r o w ( A , h − 1 ) ⋅ F g e t C o l ( B , 0 ) , F g e t r o w ( A , h − 1 ) ⋅ F g e t C o l ( B , 1 ) , ... , F g e t r o w ( A , h − 1 ) ⋅ F g e t C o l ( B , w − 1 ) ) F_{Multiplication}(A,B)= \begin{pmatrix} A_{0,0},A_{1,0}, \dots ,A_{l-1,0} \\ A_{0,1},A_{1,1}, \dots ,A_{l-1,1} \\ \vdots\\ A_{0,h-1},A_{1,h-1}, \dots ,A_{l-1,h-1} \\ \end{pmatrix} \begin{pmatrix} B_{0,0},B_{1,0}, \dots ,B_{w-1,0} \\ B_{0,1},B_{1,1}, \dots ,B_{w-1,1} \\ \vdots\\ B_{0,l-1},B_{1,l-1}, \dots ,B_{w-1,l-1} \\ \end{pmatrix}\\ \quad\\ = \begin{pmatrix} F_{getrow}(A,0)·F_{getCol}(B,0), F_{getrow}(A,0)·F_{getCol}(B,1), \dots ,F_{getrow}(A,0)·F_{getCol}(B,w-1)\\ F_{getrow}(A,1)·F_{getCol}(B,0), F_{getrow}(A,1)·F_{getCol}(B,1), \dots ,F_{getrow}(A,1)·F_{getCol}(B,w-1)\\ \vdots\\ F_{getrow}(A,h-1)·F_{getCol}(B,0), F_{getrow}(A,h-1)·F_{getCol}(B,1), \dots ,F_{getrow}(A,h-1)·F_{getCol}(B,w-1)\\ \end{pmatrix} </math>FMultiplication(A,B)=⎝ ⎛A0,0,A1,0,...,Al−1,0A0,1,A1,1,...,Al−1,1⋮A0,h−1,A1,h−1,...,Al−1,h−1⎠ ⎞⎝ ⎛B0,0,B1,0,...,Bw−1,0B0,1,B1,1,...,Bw−1,1⋮B0,l−1,B1,l−1,...,Bw−1,l−1⎠ ⎞=⎝ ⎛Fgetrow(A,0)⋅FgetCol(B,0),Fgetrow(A,0)⋅FgetCol(B,1),...,Fgetrow(A,0)⋅FgetCol(B,w−1)Fgetrow(A,1)⋅FgetCol(B,0),Fgetrow(A,1)⋅FgetCol(B,1),...,Fgetrow(A,1)⋅FgetCol(B,w−1)⋮Fgetrow(A,h−1)⋅FgetCol(B,0),Fgetrow(A,h−1)⋅FgetCol(B,1),...,Fgetrow(A,h−1)⋅FgetCol(B,w−1)⎠ ⎞

矩阵转置

矩阵转置就是把矩阵的水平方向和垂直方向交换, 新矩阵的高度为原矩阵的宽度, 新矩阵的宽度为原矩阵的高度

<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> F t r a n s p o s i t i o n ( M ) = M t = ( M 0 , 0 , M 1 , 0 , ... , M w − 1 , 0 M 0 , 1 , M 1 , 1 , ... , M w − 1 , 1 ⋮ M 0 , h − 1 , M 1 , h − 1 , ... , M w − 1 , h − 1 ) t = ( M 0 , 0 , M 0 , 1 , ... , M 0 , h − 1 M 1 , 0 , M 1 , 1 , ... , M 1 , h − 1 ⋮ M w − 1 , 0 , M w − 1 , 1 , ... , M w − 1 , h − 1 ) F_{transposition}(M)=M^t= \begin{pmatrix} M_{0,0},M_{1,0}, \dots ,M_{w-1,0} \\ M_{0,1},M_{1,1}, \dots ,M_{w-1,1} \\ \vdots\\ M_{0,h-1},M_{1,h-1}, \dots ,M_{w-1,h-1} \\ \end{pmatrix}^t= \begin{pmatrix} M_{0,0},M_{0,1}, \dots ,M_{0,h-1} \\ M_{1,0},M_{1,1}, \dots ,M_{1,h-1} \\ \vdots\\ M_{w-1,0},M_{w-1,1}, \dots ,M_{w-1,h-1} \\ \end{pmatrix} </math>Ftransposition(M)=Mt=⎝ ⎛M0,0,M1,0,...,Mw−1,0M0,1,M1,1,...,Mw−1,1⋮M0,h−1,M1,h−1,...,Mw−1,h−1⎠ ⎞t=⎝ ⎛M0,0,M0,1,...,M0,h−1M1,0,M1,1,...,M1,h−1⋮Mw−1,0,Mw−1,1,...,Mw−1,h−1⎠ ⎞

基本变换

基本变换分为换行/ 换列 / 行乘标量 / 列乘标量
具体代码实现请翻阅代码 NML_Matrix.hpp , NML_Matrix.cpp

矩阵行列式

矩阵行列式计算时要求矩阵应该是方阵
矩阵行列式几何意义上用于表示线性变换对原对象的规模(体积/面积)影响, 如原对象的体积为 v , 使用变换矩阵的行列式为 d, 则变换后的对象体积为 v·d
本文中, 计算矩阵行列式时使用两种方法, 分别为对 4 阶以及更小规模的方阵使用化简后的快速计算公式, 以及更高阶矩阵使用高斯消元法进行计算
快速计算公式:
- 2阶方阵行列式快速计算公式
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> M = ( m 0 , m 1 m 2 , m 3 ) F d e t 2 ( M ) = ∣ M ∣ = m 0 m 3 − m 1 m 2 ; M=\begin{pmatrix} m_0,m_1 \\ m_2,m_3 \\ \end{pmatrix} \\ \quad \\ F_{det2}(M) = |M| = m_0m_3-m_1m_2; </math>M=(m0,m1m2,m3)Fdet2(M)=∣M∣=m0m3−m1m2;
- 3阶方阵行列式快速计算公式
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> M = ( m 0 , m 1 , m 2 m 3 , m 4 , m 5 m 6 , m 7 , m 8 ) F d e t 3 ( M ) = ∣ M ∣ = m 0 ( m 4 m 8 − m 5 m 7 ) − m 1 ( m 3 m 8 − m 5 m 6 ) + m 2 ( m 3 m 7 − m 4 m 6 ) ; M=\begin{pmatrix} m_0,m_1,m_2 \\ m_3,m_4,m_5 \\ m_6,m_7,m_8 \\ \end{pmatrix} \\ \quad \\ F_{det3}(M) = |M| = \\ m_0(m_4m_8 - m_5m_7) - \\ m_1(m_3m_8 - m_5m_6) + \\ m_2(m_3m_7 - m_4m_6) ;\quad </math>M=⎝ ⎛m0,m1,m2m3,m4,m5m6,m7,m8⎠ ⎞Fdet3(M)=∣M∣=m0(m4m8−m5m7)−m1(m3m8−m5m6)+m2(m3m7−m4m6);
- 4阶方阵行列式快速计算公式
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> M = ( m 0 , m 1 , m 2 , m 3 m 4 , m 5 , m 6 , m 7 m 8 , m 9 , m 10 , m 11 m 12 , m 13 , m 14 , m 15 ) t e m p = ( t 0 = m 0 ∗ m 5 − m 1 ∗ m 4 t 1 = m 0 ∗ m 6 − m 2 ∗ m 4 t 2 = m 0 ∗ m 7 − m 3 ∗ m 4 t 3 = m 1 ∗ m 6 − m 2 ∗ m 5 t 4 = m 1 ∗ m 7 − m 3 ∗ m 5 t 5 = m 2 ∗ m 7 − m 3 ∗ m 6 t 6 = m 8 ∗ m 13 − m 9 ∗ m 12 t 7 = m 8 ∗ m 14 − m 10 ∗ m 12 t 8 = m 8 ∗ m 15 − m 11 ∗ m 12 t 9 = m 9 ∗ m 14 − m 10 ∗ m 13 t 10 = m 9 ∗ m 15 − m 11 ∗ m 13 t 11 = m 10 ∗ m 15 − m 11 ∗ m 14 ) F d e t 4 ( M ) = ∣ M ∣ = t 0 t 11 − t 1 t 10 + t 2 t 9 + t 3 t 8 − t 4 t 7 + t 5 t 6 ; M=\begin{pmatrix} m_{0},m_{1},m_{2},m_{3} \\ m_{4},m_{5},m_{6},m_{7} \\ m_{8},m_{9},m_{10},m_{11} \\ m_{12},m_{13},m_{14},m_{15} \\ \end{pmatrix} \\ \quad \\ temp=\begin{pmatrix} t_{0} = m_{0} * m_{5} - m_{1} * m_{4} \\ t_{1} = m_{0} * m_{6} - m_{2} * m_{4} \\ t_{2} = m_{0} * m_{7} - m_{3} * m_{4} \\ t_{3} = m_{1} * m_{6} - m_{2} * m_{5} \\ t_{4} = m_{1} * m_{7} - m_{3} * m_{5} \\ t_{5} = m_{2} * m_{7} - m_{3} * m_{6} \\ t_{6} = m_{8} * m_{13} - m_{9} * m_{12} \\ t_{7} = m_{8} * m_{14} - m_{10} * m_{12} \\ t_{8} = m_{8} * m_{15} - m_{11} * m_{12} \\ t_{9} = m_{9} * m_{14} - m_{10} * m_{13} \\ t_{10} = m_{9} * m_{15} - m_{11} * m_{13} \\ t_{11} = m_{10} * m_{15} - m_{11} * m_{14} \\ \end{pmatrix} \\ \quad \\ F_{det4}(M) = |M| = t_{0}t_{11} - t_{1}t_{10} + t_{2}t_{9} + t_{3}t_{8} - t_{4}t_{7} + t_{5}t_{6} ; </math>M=⎝ ⎛m0,m1,m2,m3m4,m5,m6,m7m8,m9,m10,m11m12,m13,m14,m15⎠ ⎞temp=⎝ ⎛t0=m0∗m5−m1∗m4t1=m0∗m6−m2∗m4t2=m0∗m7−m3∗m4t3=m1∗m6−m2∗m5t4=m1∗m7−m3∗m5t5=m2∗m7−m3∗m6t6=m8∗m13−m9∗m12t7=m8∗m14−m10∗m12t8=m8∗m15−m11∗m12t9=m9∗m14−m10∗m13t10=m9∗m15−m11∗m13t11=m10∗m15−m11∗m14⎠ ⎞Fdet4(M)=∣M∣=t0t11−t1t10+t2t9+t3t8−t4t7+t5t6;
n阶方阵(M) 消元法求行列式步骤
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> M = ( A 0 , 0 , A 1 , 0 , ... , A n − 1 , 0 A 0 , 1 , A 1 , 1 , ... , A n − 1 , 1 ⋮ A 0 , n − 1 , A 1 , n − 1 , ... , A n − 1 , n − 1 ) M= \begin{pmatrix} A_{0,0},A_{1,0}, \dots ,A_{n-1,0} \\ A_{0,1},A_{1,1}, \dots ,A_{n-1,1} \\ \vdots\\ A_{0,n-1},A_{1,n-1}, \dots ,A_{n-1,n-1} \\ \end{pmatrix} </math>M=⎝ ⎛A0,0,A1,0,...,An−1,0A0,1,A1,1,...,An−1,1⋮A0,n−1,A1,n−1,...,An−1,n−1⎠ ⎞
- 使用基本变换和消元, 从左上开始, 右下结束 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> i = 0 ; i ∈ [ 0 , n ) ; i + = 1 i=0; i\in[0,n); i+=1 </math>i=0;i∈[0,n);i+=1 )
  - 当 <math xmlns="http://www.w3.org/1998/Math/MathML"> M i , i = 0 M_{i,i}=0 </math>Mi,i=0 时, 向下查找并尝试使用矩阵基本变换的换行操作使 <math xmlns="http://www.w3.org/1998/Math/MathML"> M i , i ≠ 0 M_{i,i}\not=0 </math>Mi,i=0 ; 如果无法完成, 则矩阵行列式为 0
  - 缓存矩阵M的第i行上所有值与 <math xmlns="http://www.w3.org/1998/Math/MathML"> 1 M i , i \frac{1}{M_{i,i}} </math>Mi,i1 的积
  <math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> t = ( A 0 , 0 M i , i , A 1 , 0 M i , i , . . . , A w − 1 , 0 M i , i ) t=(\frac{A_{0,0}}{M_{i,i}},\frac{A_{1,0}}{M_{i,i}},...,\frac{A_{w-1,0}}{M_{i,i}})\\ </math>t=(Mi,iA0,0,Mi,iA1,0,...,Mi,iAw−1,0)
  - <math xmlns="http://www.w3.org/1998/Math/MathML"> j ∈ ( i , n ) j\in(i,n) </math>j∈(i,n) , 将矩阵的所有j行与t的倍数相加, 使 <math xmlns="http://www.w3.org/1998/Math/MathML"> M i , j = 0 M_{i,j} = 0 </math>Mi,j=0
  - 回到第一步, 再次计算直到完成结束条件
- 最后会得到一个上三角矩阵 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> M ′ M' </math>M′ ), 矩阵的行列式为该上三角矩阵的对角线上的值的乘积
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> d e t = ∏ i = 0 n M i , i ′ det=\prod_{i=0}^n M'_{i,i} </math>det=i=0∏nMi,i′

n阶方阵(M) 消元法求行列式代码实现

cpp 复制代码

/** 
 * @brief 将矩阵某个为0的项 通过初等变换的换行操作, 变成非0
    * 
    * @param  mat          矩阵数据
    * @param  length       矩阵数据长度
    * @param  width        矩阵宽度
    * @param  index        当前下标
    * @param  v            当前v坐标(行下标)
    * @param  step_length  寻址步长, $1为  ±width
    * @return 返回是否成功换行
    */
bool transformation__ExchangeRow_ToUnZero(var*& mat, Idx_VM length, Idx_VM width, Idx_VM index, Idx_VM v, Idx_VM step_length){
    Idx_VM f=step_length>0?1:-1;
    Idx_VM v_target=v+f;
    for(Idx_VM i=index+step_length;  i>=0&&i<length;  i+=step_length, v_target+=f){
        if(check_Zero(mat[i])){
            // transformation__ExchangeRow 是初等变换的换行操作, 具体实现请翻阅代码 NML_Matrix.hpp , NML_Matrix.cpp 
            transformation__ExchangeRow(mat, width, v, v_target);
            return true;
        }
    }
    return false;
}

/**
 * @brief 使用初等变换计算行列式;
    * 应在n>4时才使用, n<4时推荐使用 calc_Det__${n}
    * 
    * @param mat       矩阵数据 (必须是方阵)
    * @param n         表示这个矩阵是n*n方矩阵
    * @return 返回计算的行列式值 
    */
var calc_Det__Transformation(var*& mat, Idx_VM n){
    const Idx_VM length=n*n;
    var *temp_mat=create_Values__Clone(mat, length);
    var temp, det=1;
    Idx_VM _n=n-1;

    for(Idx_VM uv=0; uv<_n; ++uv){
        Idx_VM index_v=uv*n;
        Idx_VM index_mat__uv=index_v+uv;
        
        if(check_Zero(temp_mat[index_mat__uv])){    // 换行
            if(!transformation__ExchangeRow_ToUnZero(temp_mat, length, n, index_mat__uv, uv, n)){
                delete temp_mat;
                return 0;
            }
            else det=-det;
        }
        
        // 消元
        for(Idx_VM index=index_mat__uv+n;  index<length;  index+=n){
            temp=(temp_mat[index])/temp_mat[index_mat__uv];
            for(Idx_VM i=uv+1, j=index+1;  i<n;  ++i, ++j){
                temp_mat[j]-=temp*temp_mat[index_v+i];
            }
        }
        det*=temp_mat[index_mat__uv];
    }
    det*=temp_mat[length-1];

    delete temp_mat;

    return det;
}

余子式 / 代数余子式 / 标准伴随矩阵

原矩阵中剔除某个元素的行和列后余剩的其他元素称为余子式矩阵, 余子式矩阵的宽高为原矩阵的宽高减一, 这个矩阵的行列式就是余子式
代数余子式 = 余子式 * <math xmlns="http://www.w3.org/1998/Math/MathML"> − 1 u + v -1^{u+v} </math>−1u+v
例 :

<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> 原矩阵 M = ( M 0 , 0 , M 1 , 0 , M 2 , 0 M 0 , 1 , M 1 , 1 , M 2 , 1 M 0 , 2 , M 1 , 2 , M 2 , 2 ) 矩阵 M 的元素 M 0 , 0 的余子式矩阵 Q = ( M 1 , 1 , M 2 , 1 M 1 , 2 , M 2 , 2 ) 矩阵 M 的元素 M 0 , 0 的代数余子式 = ( − 1 ) 0 + 0 Q 原矩阵M= \begin{pmatrix} M_{0,0}, M_{1,0}, M_{2,0}\\ M_{0,1}, M_{1,1}, M_{2,1}\\ M_{0,2}, M_{1,2}, M_{2,2}\\ \end{pmatrix} \\ \quad \\ 矩阵M的元素M_{0,0}的余子式矩阵 Q= \begin{pmatrix} M_{1,1}, M_{2,1}\\ M_{1,2}, M_{2,2}\\ \end{pmatrix} \\ \quad \\ 矩阵M的元素M_{0,0}的代数余子式 = (-1)^{0+0}Q </math>原矩阵M=⎝ ⎛M0,0,M1,0,M2,0M0,1,M1,1,M2,1M0,2,M1,2,M2,2⎠ ⎞矩阵M的元素M0,0的余子式矩阵Q=(M1,1,M2,1M1,2,M2,2)矩阵M的元素M0,0的代数余子式=(−1)0+0Q

原矩阵中的每个值的代数余子式组成一个新的矩阵就是标准伴随矩阵 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> a d j ( M ) adj(M) </math>adj(M) );

矩阵的逆

矩阵的逆和行列式一样, 计算时要求矩阵应该是方阵; 当矩阵的行列式=0 时, 逆矩阵不存在
矩阵 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> M M </math>M ) 的逆 (逆矩阵) ( <math xmlns="http://www.w3.org/1998/Math/MathML"> M − 1 M^{-1} </math>M−1 ) , 原矩阵和逆矩阵相乘会得到一个单位矩阵 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> I I </math>I ); 几何意义上逆矩阵用于还原一个进行过线性变换的对象

<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"> M − 1 m = M M − 1 = I M^{-1}m=MM^{-1}=I </math>M−1m=MM−1=I

本文中求矩阵的逆由两种方式组成, 分别为对 4 阶以下的方阵使用标准伴矩阵 / 行列式 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> a d j ( M ) ∣ M ∣ \frac{adj(M)}{|M|} </math>∣M∣adj(M) ) 进行比较简单的计算 , 以及对更高阶的矩阵使用高斯消元法
高斯消元法求逆矩阵操作与求行列式有些相似之处; 步骤如下
- 建立增广矩阵 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> M ′ M' </math>M′ ), 初始化为与原规模相同的单位矩阵
- 从原矩阵左上开始, 右下结束 ( <math xmlns="http://www.w3.org/1998/Math/MathML"> i = 0 ; i ∈ [ 0 , n ) ; i + = 1 i=0; i\in[0,n); i+=1 </math>i=0;i∈[0,n);i+=1 )
  - 当 <math xmlns="http://www.w3.org/1998/Math/MathML"> M i , i = 0 M_{i,i}=0 </math>Mi,i=0 时, 向下查找并尝试使用矩阵基本变换的换行操作使 <math xmlns="http://www.w3.org/1998/Math/MathML"> M i , i M_{i,i} </math>Mi,i 为同列元素中绝对值最大的 ; 如果无法满足 <math xmlns="http://www.w3.org/1998/Math/MathML"> M i , i ∈ = 0 M_{i,i}\in=0 </math>Mi,i∈=0, 则矩阵行列式为 0, 逆矩阵不存在
  - 缓存 M 和 M' 的第i行上所有值与 <math xmlns="http://www.w3.org/1998/Math/MathML"> 1 M i , i \frac{1}{M_{i,i}} </math>Mi,i1 的积
  - <math xmlns="http://www.w3.org/1998/Math/MathML"> ( j ≠ i ) & j ∈ [ 0 , n ) (j\not=i)\&j\in[0,n) </math>(j=i)&j∈[0,n) , 将矩阵的所有j行与t的倍数相加, 使 <math xmlns="http://www.w3.org/1998/Math/MathML"> M i , j = 0 M_{i,j} = 0 </math>Mi,j=0
  - 回到第一步, 再次计算直到完成结束条件
- 计算完成后, M 将会变成单位矩阵, 而 M' 就是原矩阵的逆

消元法求逆矩阵代码实现

cpp 复制代码

/** 
 * @brief 寻找最大主元并换行; 换行将副作用到其他矩阵上
    * 
    * @param  mats         矩阵数据集合
    * @param  length_g     有多少个矩阵
    * @param  length       每个矩阵长度
    * @param  width        矩阵宽度
    * @param  index        当前下标
    * @param  v            当前v坐标(行下标)
    * @param  step_length  寻址步长, $1为  ±width
    * @param  _index_m     传入多个矩阵时使用哪个矩阵的值 默认0
    * @return 返回是否成功换行
    */
bool transformation__ExchangeRow_PivotToMax(var**& mats, Idx_VM length_g, Idx_VM length, Idx_VM width, Idx_VM index, Idx_VM v, Idx_VM step_length, Idx_VM _index_m){
    Idx_VM f=step_length>0?1:-1;
    Idx_VM v_target=v+f;
    
    Idx_VM max_row=v;
    Idx_VM max_row_pivot_index=index;
    for(Idx_VM i=index+step_length;  i>=0&&i<length;  i+=step_length, v_target+=f){
        if(mats[_index_m][max_row_pivot_index]<mats[_index_m][i]){
            max_row_pivot_index=i;
            max_row=v_target;
        }
    }
    if(check_Zero(mats[_index_m][max_row_pivot_index])){
        return false;
    }
    if(v!=max_row) transformation__ExchangeRow(mats, length_g, width, v, max_row);
    return true;
}


/**
 * @brief 矩阵求逆 使用初等变换法(高斯乔丹消元法)
    * 
    * @param out       输出目标
    * @param mat       矩阵数据 (必须是方阵)
    * @param n         表示这个矩阵是n*n方阵
    * @return 返回是否成功计算逆矩阵
    */
bool setup_Matrix__Inverse__Transformation(var*& out, var*& mat, Idx_VM n){
    Idx_VM length=n*n;
    var *temp_mat=create_Values__Clone(mat, length);
    
    // 初始化 out 为增广矩阵
    setup_Matrix__Identity(out, n, n);
    var **mats=new var*[2]{temp_mat, out};
    
    for(Idx_VM uv=0; uv<n; ++uv){
        Idx_VM index_v=uv*n;
        Idx_VM index_mat__uv=index_v+uv;

        // 换行设置最大主元
        if(!transformation__ExchangeRow_PivotToMax(mats, 2, length, n, index_mat__uv, uv, n)) {
            delete temp_mat;
            delete mats;
            return false;
        }
        transformation__ScaleRow(mats, 2, n, uv, 1/mats[0][index_mat__uv]);

        for(Idx_VM i=0, index=0;  i<n;  ++i, index+=n){
            if(i==uv) continue;
            var k=temp_mat[index+uv];
            for(Idx_VM j=0;  j<n;  ++j){
                temp_mat[index+j] -= k * temp_mat[index_v+j];
                out[index+j]      -= k * out     [index_v+j];
            }
        }
    }

    delete temp_mat;
    delete mats;
    return true;
}

速通/复习 简单的线性代数与几何

简单的线性代数与几何

类型说明

向量 Vector

存储

向量的基本运算

模 mag

向量加减 sum / dif

向量乘标量 np

向量点积 dot

向量叉积 cross

矩阵 Matrix

存储

部分特殊的矩阵

矩阵部分计算

矩阵乘法

矩阵转置

基本变换

矩阵行列式

余子式 / 代数余子式 / 标准伴随矩阵

矩阵的逆

速通/复习简单的线性代数与几何