Subspace
Definition 1. Let be a vector space over . is called a subspace of , denoted by , if is a vector space over with the same operations defined on .
즉 벡터공간 와 동일한 field와 연산을 가진, 다시 말해 동일한 대수적 구조를 가지면서 크기만 줄인 의 부분집합을 의 subspace라고 부른다.
Note. For any vector space , .
어떤 집합 가 주어졌을 때 가 의 subspace인지 판별하는 방법을 알아보자. 정의에 의하면 이며 는 벡터공간이어야 한다. 이때 가 벡터공간의 모든 조건을 만족한다는 것을 일일이 체크해야 한다. 그러나 이라면 일부 조건이 자동으로 성립한다는 것을 쉽게 알 수 있다.
Definition 2. A vector space over a field consists of a set on which two operation (called addition and scalar multiplication, respectively) are defined such that the following conditions hold:
For , ,
(1)
(2)
(3)
(4)
(5)
(6) (We denote .) 1
(7)
(8)
(9)
(10)
라면 의 모든 원소는 의 벡터이기 때문에 (3), (4), (7), (8), (9), (10)은 자명하게 성립한다. 이때 다음의 세 가지 조건만 확인하면 가 의 부분공간임을 보일 수 있다.
Theorem 1 (부분공간 판별법)
Theorem 1. Let . Then for .
Proof.
Trivial.
Let . Then and . Thus .
Theorem 2
Theorem 2. Let . Then
Proof. Let use the induction.
i)
Let and . Then By Thm 1, .
ii)
Suppose that for some .
iii)
By i),
Theorem 3
Theorem 3. Let . Then .
Proof.
() Trivial.
() Let such that . Then
If , then .
If , then . Hence or .
이와 같이 subspace는 교집합을 주더라도 여전히 subspace이지만, 합집합에 대해서는 함부로 그렇다고 말할 수 없다. 이는 벡터 공간에 주어진 연산 중 덧셈에 대해서 원소들이 닫혀있지 않을 수도 있기 때문이다. 두 subspace가 겹치는 부분이 아닌, 각각의 영역에서 벡터들을 뽑아서 더한 벡터가 여전히 두 subspace의 합집합에 머물러 있으리라고는 단정할 수 없기 때문이다. 따라서 주어진 subspace들을 모두 포함하는 subspace는 합집합으로는 항상 찾을 수 없고, direct sum으로 쉽게 얻을 수 있다.
Reference is here: https://product.kyobobook.co.kr/detail/S000003155051
Linear Algebra | Stephen Friedberg - 교보문고
Linear Algebra | For courses in Advanced Linear Algebra. This top-selling, theorem-proof text presents a careful treatment of the principle topics of linear algebra, and illustrates the power of the subject through a variety of applications. It emphasizes
product.kyobobook.co.kr
- 아직 로 사용할 수 없음을 유의하라. [본문으로]