logo

첨가행렬과 기본 행 연산 📂행렬대수

첨가행렬과 기본 행 연산

정의1

아래와 같은 선형 시스템이 주어졌다고 하자.

a11x1+a12x2+⋯+a1nxn=b1a21x1+a22x2+⋯+a2nxn=b2⋮am1x1+am2x2+⋯+amnxn=bm \begin{equation} \begin{aligned} a_{11}x_{1} + a_{12}x_{2} + \cdots + a_{1n}x_{n} &= b_{1}\\ a_{21}x_{1} + a_{22}x_{2} + \cdots + a_{2n}x_{n} &= b_{2}\\ &\vdots\\ a_{m1}x_{1} + a_{m2}x_{2} + \cdots + a_{mn}x_{n} &= b_{m} \end{aligned} \label{linsys2} \end{equation}

선형 시스템의 상수들을 행렬로 표현한 것을 첨가행렬augmented matrix라고 한다.

[a11a12⋯a1nb1a21a22⋯a2nb2⋮⋮⋱⋮⋮am1am2⋯amnbm] \begin{equation} \begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1n} & b_{1} \\ a_{21} & a_{22} & \cdots & a_{2n} & b_{2} \\ \vdots & \vdots & \ddots & \vdots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} & b_{m} \end{bmatrix} \label{augmented} \end{equation}

설명

행렬은 연립 일차 방정식을 쉽게 풀기 위해 고안되었다. 가령 (linsys2)\eqref{linsys2}의 상수들만을 떼서 (augmented)\eqref{augmented}와 같이 표현하거나 다음과 같이 표현할 수 있다.

[a11a12⋯a1na21a22⋯a2n⋮⋮⋱⋮am1am2⋯amn][x1x2⋮xn]=[b1b2⋮bm]Ax=b \begin{align*} \begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{bmatrix} \begin{bmatrix} x_{1} \\ x_{2} \\ \vdots \\ x_{n} \end{bmatrix} &= \begin{bmatrix} b_{1} \\ b_{2} \\ \vdots \\ b_{m} \end{bmatrix} \\ A\mathbf{x} &= \mathbf{b} \end{align*}

특히 첨가행렬로 나타낸 경우에 기본 행 연산elementary row operations을 통해서 선형 시스템을 풀 수 있는데, 사실 이는 중학교때 배운 가감법과 본질적으로 같다.

정의

다음의 세 연산을 기본 행 연산이라 한다.

  • 00이 아닌 상수를 한 행에 곱한다.

  • 두 행의 위치를 바꾼다.

  • 한 행의 상수배를 다른 행에 더한다.

예시

가감법으로 연립방정식을 푸는 것은 첨가행렬을 기본 행 연산으로 각 행의 마지막 열을 빼고 하나의 성분만 남기는 일과 같다. 이를 선형대수학의 언어로 말하자면 ‘첨가행렬을 기본 행 연산을 통해서 기약 행사다리꼴로 만드는 것’이다.

x+y+2z= 92x+4y−3z= 13x+6y−5z= 0[112924−3136−50] \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ 2x &+& 4y &-& 3z &=&\ 1 \\ 3x &+& 6y &-& 5z &=&\ 0 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 2 & 4 & -3 & 1 \\ 3 & 6 & -5 & 0 \end{bmatrix}

첫째줄에 −2-2를 곱한 것을 둘째줄에 더한다.

x+y+2z= 92y−7z= −173x+6y−5z= 0[112902−7−1736−50] \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && 2y &-& 7z &=&\ -17 \\ 3x &+& 6y &-& 5z &=&\ 0 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 2 & -7 & -17 \\ 3 & 6 & -5 & 0 \end{bmatrix}

첫째줄에 −3-3을 곱한 것을 셋째줄에 더한다.

x+y+2z= 92y−7z= −173y−11z= −27[112902−7−1703−11−27] \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && 2y &-& 7z &=&\ -17 \\ && 3y &-&11z &=&\ -27 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 2 & -7 & -17 \\ 0 & 3 & -11 & -27 \end{bmatrix}

둘째줄에 12\dfrac{1}{2}을 곱한다.

x+y+2z= 9y−72z= −1723y−11z= −27[112901−72−17203−11−27] \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && y &-& \dfrac{7}{2} z &=&\ -\dfrac{17}{2} \\ && 3y &-&11z &=&\ -27 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 1 & -\dfrac{7}{2} & -\dfrac{17}{2} \\ 0 & 3 & -11 & -27 \end{bmatrix}

둘째줄에 −3-3을 곱한 것을 셋째줄에 더한다.

x+y+2z= 9y−72z= −172−12z= −32[112901−72−17200−12−32] \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && y &-& \dfrac{7}{2} z &=&\ -\dfrac{17}{2} \\ && &-&\dfrac{1}{2}z &=&\ -\dfrac{3}{2} \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 1 & -\dfrac{7}{2} & -\dfrac{17}{2} \\ 0 & 0 & -\dfrac{1}{2} & -\dfrac{3}{2} \end{bmatrix}

셋째줄에 −2-2를 곱한다.

x+y+2z= 9y−72z= −172z= 3[112901−72−1720013] \begin{array}{rcrcrcr} x &+& y &+& 2z &=&\ 9 \\ && y &-& \dfrac{7}{2} z &=&\ -\dfrac{17}{2} \\ && &&z &=&\ 3 \end{array} \quad \begin{bmatrix} 1 & 1 & 2 & 9 \\ 0 & 1 & -\dfrac{7}{2} & -\dfrac{17}{2} \\ 0 & 0 & 1 & 3 \end{bmatrix}

둘째줄에 −1-1을 곱한 것을 첫째줄에 더한다.

x+112z= 352y−72z= −172z= 3[1011235201−72−1720013] \begin{array}{rcrcrcr} x && &+& \dfrac{11}{2}z &=&\ \dfrac{35}{2} \\ && y &-& \dfrac{7}{2} z &=&\ -\dfrac{17}{2} \\ && &&z &=&\ 3 \end{array} \quad \begin{bmatrix} 1 & 0 & \dfrac{11}{2} & \dfrac{35}{2} \\ 0 & 1 & -\dfrac{7}{2} & -\dfrac{17}{2} \\ 0 & 0 & 1 & 3 \end{bmatrix}

셋째줄에 −112-\dfrac{11}{2}을 곱한 것을 첫째줄에 더하고, 셋째줄에 72\dfrac{7}{2}을 곱한 것을 첫째줄에 더한다.

x= 1y= 2z= 3[100101020013] \begin{array}{rcrcrcr} x && && &=&\ 1 \\ && y && &=&\ 2 \\ && &&z &=&\ 3 \end{array} \quad \begin{bmatrix} 1 & 0 & 0 & 1 \\ 0 & 1 & 0 & 2 \\ 0 & 0 & 1 & 3 \end{bmatrix}

따라서 주어진 선형 시스텝의 해는 x=1x=1, y=2y=2, z=3z=3이다.

  1. Howard Anton, Elementary Linear Algebra: Aplications Version (12th Edition, 2019), p6-8 ↩︎