logo

행렬의 거듭제곱꼴 공식 📂행렬대수

행렬의 거듭제곱꼴 공식

공식

행렬 X=[xij]∈Rn×nX = [x_{ij}] \in \mathbb{R}^{n \times n}에 대해 다음이 성립한다.

[XX]ij=∑k=1nxikxkj [XX]_{ij} = \sum_{k=1}^{n} x_{ik} x_{kj}

XX=X2=[∑k=1nx1kxk1⋯∑k=1nx1kxkn⋮⋱⋮∑k=1nxnkxk1⋯∑k=1nxnkxkn] XX = X^{2} = \begin{bmatrix} \sum\limits_{k=1}^{n} x_{1k} x_{k1} & \cdots & \sum\limits_{k=1}^{n} x_{1k} x_{kn} \\ \vdots & \ddots & \vdots \\ \sum\limits_{k=1}^{n} x_{nk} x_{k1} & \cdots & \sum\limits_{k=1}^{n} x_{nk} x_{kn} \end{bmatrix}

XX가 대칭행렬이면,

X2=[∑k=1n(x1k)2⋯∑k=1nx1kxkn⋮⋱⋮∑k=1nxnkxk1⋯∑k=1n(xnk)2] X^{2} = \begin{bmatrix} \sum\limits_{k=1}^{n} (x_{1k})^{2} & \cdots & \sum\limits_{k=1}^{n} x_{1k} x_{kn} \\ \vdots & \ddots & \vdots \\ \sum\limits_{k=1}^{n} x_{nk} x_{k1} & \cdots & \sum\limits_{k=1}^{n} (x_{nk})^{2} \end{bmatrix}

일반화

다음이 성립한다.

XXX=X3=[∑k,ℓ=1nx1kxkℓxℓ1⋯∑k,ℓ=1nx1kxkℓxℓn⋮⋱⋮∑k,ℓ=1nxnkxkℓxℓ1⋯∑k,ℓ=1nxnkxkℓxℓn] XXX = X^{3} = \begin{bmatrix} \sum\limits_{k,\ell=1}^{n}x_{1k}x_{k\ell}x_{\ell 1} & \cdots & \sum\limits_{k,\ell=1}^{n}x_{1k}x_{k\ell}x_{\ell n} \\ \vdots & \ddots & \vdots \\ \sum\limits_{k,\ell=1}^{n}x_{nk}x_{k\ell}x_{\ell 1} & \cdots & \sum\limits_{k,\ell=1}^{n}x_{nk}x_{k\ell}x_{\ell n} \end{bmatrix}

집합 K={k1,k2,…,k∣K∣}K = \left\{ k_{1}, k_{2}, \dots, k_{|K|} \right\}에 대해 다음이 성립한다.

X∣K∣=[∑Kx1k1xk1k2⋯xk∣K∣1⋯∑Kx1k1xk1k2⋯xk∣K∣n⋮⋱⋮∑Kxnk1xk1k2⋯xk∣K∣1⋯∑Kxnk1xk1k2⋯xk∣K∣n] X^{|K|} = \begin{bmatrix} \sum\limits_{K} x_{1k_{1}}x_{k_{1}k_{2}}\cdots x_{k_{|K|}1} & \cdots & \sum\limits_{K} x_{1k_{1}}x_{k_{1}k_{2}}\cdots x_{k_{|K|}n} \\ \vdots & \ddots & \vdots \\ \sum\limits_{K} x_{nk_{1}}x_{k_{1}k_{2}}\cdots x_{k_{|K|}1} & \cdots & \sum\limits_{K} x_{nk_{1}}x_{k_{1}k_{2}}\cdots x_{k_{|K|}n} \end{bmatrix}

설명

해당 공식은 행렬 하나의 거듭제곱꼴일 때 뿐만 아니라 여러 행렬의 곱셈꼴에서도 모두 성립한다. 또한 전치가 포함되면 해당 행렬의 인덱스 순서를 반대로 하면 된다. 가령 n×nn \times n행렬 A,B,CA, B, C에 대해서,

[AB]ij=[∑kaikbkj][ABT]ij=[∑kaikbjk][ABC]ij=[∑k,saikbkscsj][ABTC]ij=[∑k,saikbskcsj] \begin{align*} [AB]_{ij} &= \left[ \sum_{k} a_{ik}b_{kj}\right] \\[1em] [AB^{\mathsf{T}}]_{ij} &= \left[ \sum_{k} a_{ik}b_{jk}\right] \\[1em] [ABC]_{ij} &= \left[ \sum_{k,s} a_{ik}b_{ks}c_{sj}\right] \\[1em] [AB^{\mathsf{T}}C]_{ij} &= \left[ \sum_{k,s} a_{ik}b_{sk}c_{sj}\right] \end{align*}

증명

단순 계산으로 얻는다. 같은 방식으로 거듭제곱꼴에 대해서도 확인할 수 있다.

XX=[x11x12⋯x1nx21x22⋯x2n⋮⋮⋱⋮xn1xn2⋯xnn][x11x12⋯x1nx21x22⋯x2n⋮⋮⋱⋮xn1xn2⋯xnn] XX = \begin{bmatrix} x_{11} & x_{12} & \cdots & x_{1n} \\ x_{21} & x_{22} & \cdots & x_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ x_{n1} & x_{n2} & \cdots & x_{nn} \end{bmatrix} \begin{bmatrix} x_{11} & x_{12} & \cdots & x_{1n} \\ x_{21} & x_{22} & \cdots & x_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ x_{n1} & x_{n2} & \cdots & x_{nn} \end{bmatrix}

  ⟹  [XX]11=x11x11+x12x21+⋯+x1nxn1=∑kx1kxk1[XX]12=x11x12+x12x22+⋯+x1nxn2=∑kx1kxk2⋮[XX]nn=xn1x1n+xn2x2n+⋯+xnnxnn=∑kxnkxkn \implies \begin{align*} [XX]_{11} &= x_{11} x_{11} + x_{12} x_{21} + \cdots + x_{1n} x_{n1} = \sum\limits_{k} x_{1k} x_{k1} \\ [XX]_{12} &= x_{11} x_{12} + x_{12} x_{22} + \cdots + x_{1n} x_{n2} = \sum\limits_{k} x_{1k} x_{k2} \\ & \vdots \\ [XX]_{nn} &= x_{n1} x_{1n} + x_{n2} x_{2n} + \cdots + x_{nn} x_{nn} = \sum\limits_{k} x_{nk} x_{kn} \end{align*}

  ⟹  XX=[∑kx1kxk1⋯∑kx1kxkn⋮⋱⋮∑kxnkxk1⋯∑kxnkxkn] \implies XX = \begin{bmatrix} \sum\limits_{k} x_{1k} x_{k1} & \cdots & \sum\limits_{k} x_{1k} x_{kn} \\ \vdots & \ddots & \vdots \\ \sum\limits_{k} x_{nk} x_{k1} & \cdots & \sum\limits_{k} x_{nk} x_{kn} \end{bmatrix}

■