[정의 3.1]
- (n차) 정방행렬 : A가 mXn 행렬일 때, m=n
- 주대각 원소 : 정방행렬의 (i, i) 원소
[정의 3.2]
- 대각행렬 : i ≠ j 인 모든 i, j에 대해 aij = 0일 때, A를 대각행렬이라고 함
- 상삼각행렬 : 대각행렬이 i < j 를 만족하는 모든 i, j에 대해 aij = 0 일 때.
- 즉, 나머지는 다 0이고 위에만 역삼각형 모양을 보이는 행렬
- 하삼각행렬 : 대각행렬이 i > j 를 만족하는 모든 i, j에 대해 aij = 0 일 때.
- 즉, 나머지는 다 0이고 아래에만 삼각형 모양을 보이는 행렬
- 스칼라 행렬 : 정방행렬 중에서 주대각원소의 값이 동일한 대각행렬
- 단위 행렬 : 정방행렬 중에서 주대각원소가 모두 1인 대각행렬
[정의 3.3] 행렬의 상등
- A = (aij)와 B = (bij) 를 mXn 행렬이라 할 때,
모든 i, j (1<=i<=m, 1<=j<=n)에 대해 aij = bij 인 경우,
두 행렬 A와 B는 '서로 같다' 또는 '상등하다'고 한다.- 즉, 두 행렬 A와 B가 서로 같으려면
- 1. 두 행렬의 크기가 서로 같아야 하며
- 2. 대응되는 위치의 행렬원소가 같아야 한다.
- 즉, 두 행렬 A와 B가 서로 같으려면
[정의 3.4] 행렬의 합
- A = (aij), B = (bij). 이 둘은 mXn 행렬. 두 행렬 A, B의 합 C
- cij = aij + bij (1<=i<=m, 1<=j<=n)
- 두 행렬의 합은 C = A + B
[정리 3.1] 행렬의 연산
Mmn이 mXn 행렬 전체의 집합이고 A, B, C가 Mmn의 임의의 원소라고 하면 다음이 성립한다.
(1) A + B = B + A
(2) A + (B + C) = (A + B) + C
(3) A + O = A를 만족하는 유일한 행렬 O가 Mmn에 존재한다.
행렬 O를 mXn 크기의 영행렬 이라고 한다.
(4) A + D = O 를 만족하는 행렬 D가 A에 대해 유일하게 Mmn에 존재한다.
이러한 D를 -A 라고 표기하며 A의 음행렬(negative matrix)라고 한다.
따라서 A + (-A) = O가 된다.
[정의 3.5] 행렬의 스칼라곱
- A = (aij)가 mXn 행렬이고 c를 임의의 수라고 하면, 행렬 A와 수 c의 스칼라곱 cA는 mXn 행렬이고 다음과 같이 정의한다.
- cA = (caij) (1<=i<=m, 1<=j<=n)
[정리 3.2]
(1) (c+d) A = cA + dA
(2) c(A+B) = cA + cB
(3) c(dA) = (cd)A
(4) 1A = A
[정의 3.6] 행렬의 곱
- A = (aij)가 mXp 행렬이고, B = (bij)가 pXn 행렬이면
A,B의 곱 AB는 mXn 행렬 C = (cij)로 다음과 같이 정의한다.
[기타] AB ≠ BA
- 행렬의 곱은 교환법칙 성립X
- A는 mXp 행렬, B는 pXn 행렬이라고 할 때, 곱하는 순서를 바꾼 BA에 대해서는 아래의 네 가지 경우가 있을 수 있음.
- (1) BA를 정의할 수 없는 경우 (n ≠ m)인 경우
- (2) BA가 정의되지만 AB와 크기가 같지 않은 경우
- n = m, p ≠ n 인 경우. AB는 mXn 행렬, BA는 pXp 행렬.
- (3) BA가 정의되고 AB와 크기도 같지만 AB ≠ BA 인 경우
- ex)
- (4) BA가 정의되고 AB와 크기도 같으며 AB = BA 인 경우
[정리 3.3] 행렬의 곱셈에 관한 정리
(1) A(B + C) = AB + AC
(2) (A + B)C + AC + BC
(3) A(BC) = (AB)C
(4) A(cB) = c(AB) = (cA)B
[정의 3.7] 전치행렬
- A = (aij)를 mXn 행렬이라 하면, A의 전치행렬(transpose of A)은 mXn 행렬 AT = ((aT)ij)로 다음과 같이 정의한다.
- (aT)ij = aji (1<=i<=m, 1<=j<=n)
[정리 3.4] 행렬의 전치에 관한 성질
(1) (AT)T = A
(2) (A + B)T = AT + BT
(3) (AB)T = BTAT
(4) (cA)T = cAT
[기타] 대칭행렬 (symmetric matrix)
- AT = A 인 행렬 A를 대칭행렬이라고 한다.
- 행렬 A가 대칭행렬이 되려면
- 1. 정방행렬이어야 하며
- aij = aji 를 만족해야 한다.
- 즉, 주대각원소를 기준으로 대칭되는 위치의 행렬원소가 서로 같다.
[기타] 3X3 행렬의 행렬식 구하는 방법
'Programming > Computer Science Fundamentals' 카테고리의 다른 글
[C프로그래밍] 기말고사 대비 최종점검 (0) | 2022.06.18 |
---|---|
[컴퓨터의 이해] 기말고사 대비 5-13장 요약 (0) | 2022.06.17 |
[이산수학] 부울대수의 기본 정리 Laws and Theorems of Boolean Algebra (0) | 2022.06.17 |
[선형대수] 4. 역행렬 (2) | 2021.11.22 |
[자료구조] 2. 배열 (0) | 2021.10.04 |
[자료구조] 1. 자료구조의 개념 (0) | 2021.10.04 |
[프로그래밍 언어론] BNF를 EBNF로 변환하는 방법 (4장 보충) (0) | 2021.10.04 |
[선형대수] 1. 일차연립방정식 ~ 2. 행렬과 가우스 소거법 (0) | 2021.09.26 |