【선형대수학】 2강. 행렬의 계수

2강. 행렬의 계수

 

추천글 : 【선형대수학】 선형대수학 목차

---

1. 기저 [본문]

2. 직교집합 [본문]

3. 상공간과 영공간 [본문]

---

 

1. 기저(basis) [목차]

⑴ 정의 : 생성집합 중에서 선형독립인 것 

⑵ 정리 1. 벡터 공간의 기저의 원소의 개수는 유일함 : 그 개수를 차원(dimension)이라고 함

① 정리 1-1. V가 n차원 벡터공간이고 V의 부분집합을 S =｛y₁, ···, y_m｝이라 할 때, n ＜ m이면 S는 선형종속

 

○ 증명

x₁, x₂, ···, x_n을 V의 기저라고 정의

 

 

그런데 m개의 미지수에 n개의 연립방정식이므로 전체 연립방정식이 부정방정식이 되어 선형종속이 됨

 

② 정리 1-2. 정리 1과 유사하게 n ＞ m이면 S는 생성집합이 아님 : 즉, 벡터의 개수가 부족함

⑶ 정리 2. 벡터 공간의 기저의 존재성 : dim V = n이고 A =｛X₁, ···, X_n｝이 선형독립이면 A는 V의 기저

 

○ 증명

x가 V의 임의의 기저라 할 때

 

 

｛X₁, ···, X_n｝은 생성집합인 동시에 선형독립이므로 V의 기저임

 

⑷ 정리 3. W가 벡터공간 V의 부분공간이고 dim W = dim V이면 W = V가 성립

 

○ 증명

W의 기저를 ｛w₁, ···, w_n｝, V의 기저를 ｛v₁, ···, v_n｝이라 하자.

v ∈ V이고 v ∉ W인 v가 존재한다고 가정하자. (＃)

 

x_n+1 ≠ 0이라면 (＃)에 모순됨

 

 

따라서 x_n+1 = 0이어야 (＃)을 만족하고 그 결과 w₁, ···, w_n, v는 선형독립

 

이는 V가 n차원 벡터이고 V의 부분집합을 S = {y₁, ···, y_m}이라 할 때, n ＜ m이면 S는 선형종속이라는 명제와 모순따라서 그러한 v는 존재하지 않으므로 W = V가 성립함

 

⑸ 정리 4. 초평면｛(x₁, x₂, ···, x_n)' | p₁x₁ + p₂x₂ + ··· + p_nx_n = 0, p₁ ≠ 0｝의 기저로 다음 n-1개를 선택할 수 있음

 

 

⑹ 정리 5. 기저에 대한 선형사상의 변환행렬

① V, W : 유한 차원 벡터공간

② T : V → W : 선형변환

③ B =｛v₁, v₂, ···, v_n｝ : V의 기저

④ B' =｛w₁, w₂, ···, w_m｝ : W의 기저

⑤ 수식화 

 

 

⑥ 기저 B, B'에 관한 T의 행렬

 

 

 

2. 직교집합 [목차]

⑴ 직교(orthogonal)

 

 

⑵ 직교집합(orthogonal set) : 집합 내 서로 다른 임의의 원소가 직교한 경우. 직교집합은 선형독립성을 만족함

 

 

⑶ 직교기저(orthogonal basis) : 직교집합 S가 V의 기저인 경우

⑷ 정규직교기저(orthonormal basis) : S가 직교기저이고 모든 j에 대하여 || x_j || = 1인 경우

⑸ 표준기저(standard basis) : ℝⁿ의 기저 중 하나인 ℰⁿ ≡ {e₁, e₂, ···, e_n}을 지칭함

⑹ 좌표계(coordinates system)

 

 

⑺ 직교좌표계(orthogonal coordinates system) : 표준기저에 의하여 결정되는 좌표계

⑻ 그람-슈미트 직교화 과정(Gram-Schmidt orthogonalization process) 

① 정의 : 임의의 기저로부터 직교기저를 얻는 방법

 

 

② 직관적 해석 : y_k를 구할 때 주어진 x_k에 y₁, ···, y_k-1로 수정을 하는 느낌

③ 정규직교기저를 얻으려면 y₁, ···, y_k 등의 직교기저를 따로 정규화해야 함 

④ 주어진 벡터들의 선형결합과 수직한 직교기저를 얻을 때 행간소 사다리꼴을 이용함

 

 

3. 상공간과 영공간 [목차]

⑴ 개요

① 상공간(image space) : 컬럼 공간(column space)이라고도 함

 

 

② 계수(rank) : rank (T) 또는 rk (T)로 나타냄

 

 

③ 핵(kernel) 또는 영공간(null space)

 

 

④ 퇴화차수(nullity) : nullity (T) 또는 nul (T)로 나타냄

 

 

⑤ 예 1. T(x, y, z) = (3x - 2z, y + z)'

 

 

⑥ 예 2. T(x, y) = (x - 4y, x + 2y, 2x - y)' 

 

 

⑦ 예 3. 선형사상 T가 행렬로 표현된 경우 : 열벡터들 중 선형독립인 것들의 최대 개수는 2이므로,

 

 

⑧ 예 4. 선형사상 T가 행렬로 표현된 경우

 

 

⑵ 정리 1. 계수정리 : 임의의 행렬의 열벡터들의 계수와 행벡터들의 계수는 같음

⑶ 정리 2. rank(AB) ≠ rank(BA)

 

 

⑷ 정리 3. rank-nullity theorem : 사상 T : U → V가 선형사상이고 dim U = n이면 다음 관계가 성립함

 

 

○ 증명

 

 

① 정리 3-1. 선형 사상 T가 전사함수이면 T는 단사함수이고, 그 역도 성립함

 

 

② 정리 3-2. m ×  n 행렬 A와 n × p 행렬 B에 대해 다음 등식이 성립

 

rank(AB) = rank(B) - dim［Ker(A) ∩ Im(B)］

 

○ 증명 1

 

 

○ 증명 2. rank-nullity theorem 이용

 

 

③ 정리 3-3. m × n 행렬 A에 관하여 다음 등식이 성립함

 

Im(A) = Im(AA')

 

○ 증명

 

 

Im(A')의 어떤 원소 A'x가 동시에 ker(A)의 원소라고 가정

 

 

따라서 dim [ker(A) ∩ Im(A')] = 0이므로 다음이 성립함

 

 

⑸ 정리 4. 프로베니우스 rank 부등식(Frobenius' rank inequality) : k × ℓ 행렬 A, ℓ × m 행렬 B, m × n 행렬 C에 대해 다음 부등식이 성립

 

rank(AB) + rank(BC) ≤ rank(B) + rank(ABC)

 

○ 증명

 

 

입력: 2020.04.25 10:03