행렬 (Matrix)
✔ 어떤 대상을 행과 열로 맞춰 나열한 것 ✔ 어떤 대상이란 주로 복소수 또는 실수
F-위의 행렬(Matrix of F)
F(Field) 실수 전체의 집합 복소수 전체의 집합
자연수 (, ) 와 Field F에 대해
일 때, 다음과 같이 를 직사각형으로 배열한 것을 F-위의 mn 행렬 이라 한다
이때, A를 간단히 표시하면
라고 표기하고, 를 A의 (i, j) 성분이라 부른다
행렬 연산
행렬의 덧셈·뺄셈과 상수배의 연산 법칙
크기가 같은 세 행렬 A, B, C와 상수 m, n에 대해 다음이 성립함
- 결합법칙:
- 교환법칙:
- 항등원: 는 영행렬(zero matrix): 모든 성분이 0인 행렬
- 역원:
- 분배법칙1:
- 분배법칙2:
- 상수배 결합법칙:
행렬의 곱셈
행렬 ()와 행렬 ()에 대해, 와 의 곱셈 는 다음과 같이 정의함
행렬 A, B를 곱할 때, A의 열 개수와 B의 행 개수가 같아야 한다
(2 x 3) 행렬 x (3 x 5) 행렬 = (2 x 5) 행렬 A(m n) B(n k) = C(m k)
행렬의 곱셈 법칙
행렬 A, B, C가 서로 곱셈이 가능한 모양이고, m은 상수일 때 다음이 성립함
전치행렬
전치행렬(Transpose Matrix)
행렬 의 전치행렬 은 다음과 같이 정의 한다.
전치행렬의 성질
정방행렬
정방행렬(Square Matrix)
행과 열의 개수가 n으로 같은 행렬
- 성분들을 통틀어 대각성분(Diagonal component)
- 대각성분을 모두 더한 값은 대각합(Trace)
항등행렬
항등행렬(Identity Matrix)
: 단위행렬(Unit Matrix)
대각성분이 1이고 나머지 성분이 0인 n차 정방행렬을 n차 항등행렬이라고 한다.
n차 항등행렬은 또는 라 표기한다.
이 때, 크로네커 델타(Kronechker’s delta) ()의 의미는,
항등행렬은 행렬 곱셉의 항등원 역할을 한다.
대칭행렬
대칭행렬(Symmetric Matrix)
대칭행렬은 전치행렬에서 언급한 바와 같이 를 만족하는 행렬
대칭행렬의 조건:
가역행렬
가역행렬(Invertible Matrix)
n차 정방행렬 에 대해,
를 만족하는 n차 정방행렬 가 존재할 때,
A를 가역행렬이라 한다. 이 때, B를 A의 역행렬이라고 부르고 다음과 같이 표기한다.
-
행렬의 곱셈은 일반적으로 교환법칙이 성립하지 않기 때문에, 가역행렬인지 확인하기 위해 AB, BA 모두 확인 해봐야 하지만, ==무조건 AB=I 이면, BA=I 이다.==
-
==A가 가역행렬 일 때, A의 역행렬은 하나로 유일하다.==
-
A가 가역행렬 일 때, A의 역행렬 또한 자명하게 가역행렬이다.
2차 정방행렬 에 대해, 다음 조건을 만족하면 는 가역이다.
이 때, A의 역행렬은
2차 정방 행렬에 대해서는 위와 같은 식이 나오며, (행렬) 가우스-조던 소거법 을 이용해 역행렬을 구할 수 있다.
역행렬의 성질
가역행렬 A, B와 0이 아닌 상수 c에 대해 다음이 성립한다.
( 역시 가역이다)
참고
Next: (행렬) 연립방정식과 행렬