Summary

역행렬(inverse matrix) 는 행렬 가 한 변환이라면 그 변환을 정확히 “되돌리는” 변환이다. (항등행렬)를 만족하며, 존재하면 단 하나뿐이다. 정사각행렬이고 일 때만 존재한다.

용어 설명

  • inverse matrix (역행렬): 곱하면 항등행렬이 되는 짝꿍 행렬 .
  • identity matrix (항등행렬/단위행렬): 대각선이 1, 나머지는 0인 행렬 . 곱셈에서 숫자 1과 같은 역할.
  • nonsingular / invertible (가역/정칙): 역행렬이 존재하는 행렬.
  • singular (특이/비가역): 역행렬이 없는 행렬 ().
  • determinant (행렬식): 역행렬 존재 여부를 알려주는 숫자 .
  • rank (계수/랭크): 일차독립인 행(또는 열)의 개수.

Matrix Inverse

1. 직관 (변환을 되돌리는 역변환)

행렬 를 벡터에 곱하는 건 “공간을 어떤 식으로 바꾸는 변환”이라고 생각하면 된다. 예를 들어 도형을 2배 늘리거나, 회전시키거나, 기울이는 것.

역행렬 은 그 변환을 정확히 거꾸로 되돌리는 리모컨의 “되감기” 버튼이다.

  • 양말을 신고() → 양말을 벗으면() → 원래 맨발로 돌아옴().
  • 2배 늘렸으면 → 역변환은 절반으로 줄이는 것.
  • 30도 회전시켰으면 → 역변환은 30도 거꾸로 회전.

먼저 로 변환했다가 다시 로 변환하면 아무것도 안 한 것과 같아진다. 그게 바로 다.

Tip

숫자 세계의 “역수”와 똑같다. 처럼, 행렬 세계에서는 . 그래서 을 “행렬의 역수”라고 생각해도 된다.

2. 정의 ()

정사각행렬 에 대해 다음을 만족하는 행렬 을 역행렬이라 한다.

여기서 는 항등행렬(identity matrix):

  • 일반 곱셈과 달리 행렬곱은 순서가 중요하지만, 역행렬은 앞에서 곱하든 뒤에서 곱하든 가 된다.
  • 역행렬이 존재하면 유일하다(단 하나뿐).

3. 존재 조건 (정사각 + det≠0)

역행렬이 존재하려면:

  1. 정사각행렬이어야 한다 (). 직사각형 행렬은 역행렬이 없다.
  2. 이어야 한다.

다음 조건들은 전부 서로 동치다 (하나가 참이면 전부 참, “가역/invertible/nonsingular”의 여러 얼굴):

  • 모든 열(column)이 일차독립(linearly independent)
  • rank(랭크) (꽉 찬 랭크, full rank)
  • 이 자명해(trivial solution) 만 가짐
  • 모든 에 대해 가 항상 유일한 해를 가짐

Warning

이면 **특이행렬(singular)**이라 역행렬이 없다. 변환이 공간을 납작하게 짓눌러 정보를 잃어버린 상태라, 되돌릴 방법이 없다. (찌그러진 점토를 원래 모양으로 못 되돌리는 것과 같다.)

4. 구하는 법 (2x2 공식, Gauss-Jordan)

2x2 공식 (외우기 쉬움)

여기서 . 대각선 는 자리 맞바꾸고, 반대 대각선 는 부호만 뒤집고, 마지막에 으로 나눈다.

예시:

검산: ✓

Gauss-Jordan 소거법 (큰 행렬용)

옆에 항등행렬 를 붙여 를 만들고, **행연산(row operation)**으로 왼쪽을 로 만들면 오른쪽이 저절로 이 된다.

왼쪽 에 한 똑같은 작업이 오른쪽 에도 똑같이 쌓이기 때문에, 를 로 되돌리는 과정 자체가 을 만들어낸다.

5. 성질 / 쓰임

선형계 풀기 (가장 중요)

연립방정식 를 한 방에 풀 수 있다:

양변 앞에 를 곱하면 , 즉 가 되기 때문.

Warning

이건 이론적인 공식이다. 컴퓨터로 실제 계산할 때는 역행렬을 직접 구하지 말고 가우스 소거법(Gaussian elimination) 으로 를 바로 푸는 게 더 빠르고 정확하다.

곱과 전치의 역행렬

Tip

은 “양말 신고 신발 신기”로 기억. 벗을 때는 신발 먼저, 양말 나중으로 역순! (=양말, =신발)

6. 30초 요약

  • 역행렬 = 변환을 되돌리는 역변환, 행렬판 역수.
  • 정의: . 존재하면 유일.
  • 존재 조건: 정사각 + (= 열 일차독립 = rank = 유일해).
  • 2x2: .
  • 큰 행렬: (Gauss-Jordan).
  • 쓰임: (실전 계산은 소거법 권장).
  • 함정: (singular)이면 역행렬 없음, 비정사각도 없음 → 이럴 땐 pseudoinverse(유사역행렬).
  • 참고: Strang, Linear Algebra, Ch 2.

관련 노트