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)
역행렬이 존재하려면:
- 정사각행렬이어야 한다 (). 직사각형 행렬은 역행렬이 없다.
- 이어야 한다.
다음 조건들은 전부 서로 동치다 (하나가 참이면 전부 참, “가역/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.