Summary

행렬식(determinant)은 정사각행렬 하나에 대응하는 하나의 숫자(스칼라) 로, 그 행렬이 공간의 부피를 몇 배로 키우는지(절댓값)와 방향을 뒤집는지(부호)를 알려준다. det=0이면 공간이 납작하게 찌부러진다는 뜻이고, 이는 곧 그 행렬이 역행렬을 못 가진다는 뜻(특이, singular)이다.

용어 설명

• determinant (행렬식): 정사각행렬에 대응하는 하나의 스칼라 값.
• cofactor expansion (여인수 전개 / Laplace expansion): 큰 행렬식을 한 줄을 따라 작은 행렬식들의 합으로 풀어 계산하는 방법.
• signed volume (부호 있는 부피): 부피 크기에 방향(+/−)까지 붙인 값. 행렬식의 기하학적 정체.
• singular (특이): det=0이라 역행렬이 없는 행렬. 반대는 nonsingular/invertible(가역).
• orientation (방향): 좌표축의 시계/반시계 같은 “손잡이 방향”. 부호가 음수면 뒤집힌 것.
• Jacobian (야코비안): 다변수 변수변환에서 부피가 변하는 비율로 쓰이는 행렬식.

Determinant

1. 직관 (변환이 부피를 몇 배로 키우나; 부호=방향뒤집힘)

행렬 $A$를 “공간을 늘리고 비트는 변환기”라고 생각하자. 단위정사각형(2D) 또는 단위정육면체(3D)를 이 변환기에 넣으면 모양이 바뀐다.

• $|\det A|$ = 부피(넓이) 배율. 예: $\det A=3$이면 모든 도형의 넓이가 3배가 된다. $\det A=0.5$면 절반으로 줄어든다.
• 부호 = 방향(orientation). $+$면 방향 그대로, $-$면 거울처럼 뒤집힘. 예를 들어 오른손이 왼손이 되는 변환은 음수.
• $\det A=0$ = 차원 붕괴(collapse). 부피가 0이 됐다는 건, 2D 평면이 선으로, 3D 공간이 평면이나 선으로 납작하게 찌부러졌다는 뜻. 한 번 납작해지면 원래대로 못 펴므로 → 역행렬이 없다.

Tip

“행렬식은 면적/부피가 몇 배가 되는가”만 기억하면 나머지 성질은 거의 다 따라온다. 0이 되면 찌부러진 것 = 못 되돌림 = 특이행렬.

2. 정의·계산 (2x2, 3x3, 여인수 전개)

2x2 (꼭 외울 것):

$\det \left(\begin{array}{cc}a& b\\ c& d\end{array}\right)=ad-bc$

세로줄 표기 $\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|=ad-bc$ 도 같은 뜻이다.

3x3 (여인수 전개, 첫 행 기준):

$\det \left(\begin{array}{ccc}a& b& c\\ d& e& f\\ g& h& i\end{array}\right)=a\left|\begin{array}{cc}e& f\\ h& i\end{array}\right|-b\left|\begin{array}{cc}d& f\\ g& i\end{array}\right|+c\left|\begin{array}{cc}d& e\\ g& h\end{array}\right|$

규칙: 한 줄(행 또는 열)을 골라, 각 원소 × (그 원소의 행·열을 지운 작은 행렬식) 을 더하되 부호를 +,−,+,− 체스판 무늬로 붙인다.

$\left(\begin{array}{ccc}+& -& +\\ -& +& -\\ +& -& +\end{array}\right)$

일반 $n\times n$: 여인수 전개(cofactor expansion)를 재귀적으로 적용하거나, 실전에서는 가우스 소거로 삼각행렬(triangular)을 만든 뒤 대각원소를 전부 곱한다.

3. 핵심 성질

Important

• $\det A=0⟺A$ 특이(singular, 비가역). 가장 중요한 한 줄.
• $\det (AB)=\det (A)\det (B)$ — 곱의 행렬식은 행렬식의 곱.
• $\det (A^T)=\det (A)$ — 전치해도 안 변함. (그래서 “행” 성질은 “열”에도 그대로)
• 두 행(또는 열)을 교환하면 부호가 반전.
• 한 행에 다른 행의 배수를 더해도 값 불변 (가우스 소거의 핵심: 소거해도 det는 그대로).
• 한 행을 $k$배 하면 det도 $k$배.
• 삼각행렬의 det = 대각원소들의 곱.
• $\det (A^{-1})=\frac{1}{\det A}$.
• 모든 고윳값(eigenvalue)의 곱 = $\det A$.

4. 예시 (구체 계산)

2x2:

$\det \left(\begin{array}{cc}1& 2\\ 3& 4\end{array}\right)=1\cdot 4-2\cdot 3=4-6=-2$

넓이는 2배, 부호가 음수라 방향이 뒤집힌다.

3x3 (여인수 전개):

$\det \left(\begin{array}{ccc}2& 0& 1\\ 3& 0& 0\\ 5& 1& 1\end{array}\right)=2\left|\begin{array}{cc}0& 0\\ 1& 1\end{array}\right|-0\left|\begin{array}{cc}3& 0\\ 5& 1\end{array}\right|+1\left|\begin{array}{cc}3& 0\\ 5& 1\end{array}\right|$

$=2(0\cdot 1-0\cdot 1)-0+1(3\cdot 1-0\cdot 5)=0+3=3$

Tip

위처럼 0이 많은 행/열을 골라 전개하면 계산이 확 줄어든다. (0인 항은 통째로 사라지므로)

삼각행렬:

$\det \left(\begin{array}{ccc}2& 9& 7\\ 0& 3& 5\\ 0& 0& 4\end{array}\right)=2\cdot 3\cdot 4=24$

5. 어디에 쓰나 / 흔한 함정

쓰임:

• 가역성 판정: $\det A\ne 0$ 이면 역행렬 존재(연립방정식이 유일해를 가짐).
• 고윳값: 특성방정식 $\det (A-\lambda I)=0$ 을 풀어 $\lambda$를 찾는다.
• 크라메르 공식(Cramer’s rule): 작은 연립방정식의 해를 행렬식 비율로 표현.
• 부피·야코비안(Jacobian): 다변수 적분에서 변수변환 시 부피가 변하는 비율.

흔한 함정:

• 큰 행렬에 여인수 전개는 계산량이 폭발($n!$) → 실전은 가우스 소거 후 대각곱이 정석.
• 행렬식은 정사각행렬에만 정의된다 (3×2 같은 건 불가).
• $\det (A+B)\ne \det A+\det B$ — 덧셈은 곱처럼 분배되지 않는다.
• “det가 크다 = 좋다”가 아니다. 0에 가까운지(거의 특이, ill-conditioned)가 수치적으로 더 중요할 때가 많다.

6. 30초 요약

• 행렬식 = 정사각행렬 → 숫자 하나. 부피 배율 + 방향 부호.
• 2x2: $ad-bc$. 3x3 이상: 여인수 전개 또는 소거 후 대각곱.
• det=0 ⟺ 특이(비가역) ⟺ 공간이 찌부러짐.
• $\det (AB)=\det A\det B$, $\det (A^T)=\det A$, 행교환 → 부호반전, 배수 더하기 → 불변.
• 고윳값들의 곱 = det. 역행렬의 det = $1/\det A$.
• 쓰임: 가역성·고윳값·크라메르·야코비안. (교과서: Strang, Ch 5)

관련 노트

• Linear Algebra Concepts (index)
• Matrix Inverse
• Eigenvalues and Eigenvectors
• Jacobian