대각행렬
📂행렬대수 대각행렬 대각행렬 A A A 를 크기가 n × m n\times m n × m 인 행렬이라고 하자. 행과 열의 번호가 같은 성분, 즉 a i i ( 1 ≤ i ≤ min ( n , m ) ) a_{ii} (1 \le i \le \min(n,m)) a ii ( 1 ≤ i ≤ min ( n , m )) 를 주대각성분 main diagonal elements 이라 한다. 주 대각 성분들을 이은 가상의 선을 주대각선 main diagonal, principal diagonal 이라 한다.
주대각성분을 제외한 모든 성분이 0 0 0 인 행렬 A A A 를 대각행렬 diagonal matrix 이라고 한다.
A = [ a i j ] , a i j = 0 ( i ≠ j )
A = [a_{ij}], \qquad a_{ij} = 0 (i \ne j)
A = [ a ij ] , a ij = 0 ( i = j )
설명 A = [ a 11 0 0 0 a 22 0 0 0 a 33 ] A = [ a 11 0 0 0 0 0 a 22 0 0 0 0 0 a 33 0 0 0 0 0 a 44 0 ]
A=\begin{bmatrix}
\color{red}{a_{11}} & 0 & 0
\\ 0 & \color{red}{a_{22}} & 0
\\ 0 & 0 & \color{red}{a_{33}}
\end{bmatrix} \quad A=\begin{bmatrix}
\color{red}{a_{11}} & 0 & 0 & 0 & 0
\\ 0 & \color{red}{a_{22}} & 0 & 0 & 0
\\ 0 & 0 & \color{red}{a_{33}} & 0 & 0
\\ 0 & 0 & 0 & \color{red}{a_{44}} & 0
\end{bmatrix}
A = a 11 0 0 0 a 22 0 0 0 a 33 A = a 11 0 0 0 0 a 22 0 0 0 0 a 33 0 0 0 0 a 44 0 0 0 0
위의 예시에서 보이듯이 꼭 정사각행렬이 아니어도 주대각성분, 대각행렬을 정의할 수 있다.
정의에 의해 대각행렬은 하삼각행렬 이면서 동시에 상삼각행렬 이다.
성질 거듭제곱 A = [ a i j ] A = \begin{bmatrix} a_{ij}\end{bmatrix} A = [ a ij ] 를 크기가 n × n n\times n n × n 인 대각행렬이라고 하자. 그러면 A A A 의 거듭제곱 은 다음과 같다.
A k = [ ( a 11 ) k 0 ⋯ 0 0 ( a 22 ) k ⋯ 0 ⋮ ⋮ ⋱ ⋮ 0 0 ⋯ ( a n n ) k ]
A^{k}=\begin{bmatrix}
(a_{11})^{k} & 0 & \cdots & 0
\\ 0 & (a_{22})^{k} & \cdots & 0
\\ \vdots & \vdots & \ddots & \vdots
\\ 0 & 0 & \cdots & (a_{nn})^{k}
\end{bmatrix}
A k = ( a 11 ) k 0 ⋮ 0 0 ( a 22 ) k ⋮ 0 ⋯ ⋯ ⋱ ⋯ 0 0 ⋮ ( a nn ) k
역행렬 A A A 의 역행렬 은 다음과 같다. 다시말해 거듭제곱에 대한 성질이 k k k 가 음수일 때도 자연스럽게 확장된다.
A − 1 = [ 1 a 11 0 ⋯ 0 0 1 a 22 ⋯ 0 ⋮ ⋮ ⋱ ⋮ 0 0 ⋯ 1 a n n ]
A^{-1} = \begin{bmatrix}
\dfrac{1}{a_{11}} & 0 & \cdots & 0
\\ 0 & \dfrac{1}{a_{22}} & \cdots & 0
\\ \vdots & \vdots & \ddots & \vdots
\\ 0 & 0 & \cdots & \dfrac{1}{a_{nn}}
\end{bmatrix}
A − 1 = a 11 1 0 ⋮ 0 0 a 22 1 ⋮ 0 ⋯ ⋯ ⋱ ⋯ 0 0 ⋮ a nn 1
행렬식 여인자 전개 를 생각해보면, 대각행렬의 행렬식 은 모든 대각성분의 곱임을 알 수 있다. n × n n \times n n × n 대각행렬 [ a i j ] [a_{ij}] [ a ij ] 의 행렬식은,
det [ a i j ] = a 11 × ⋯ × a n n
\det [a_{ij}] = a_{11} \times \cdots \times a_{nn}
det [ a ij ] = a 11 × ⋯ × a nn