Subspaces

2023. 3. 10. 16:34·Mathematics/Linear Algebra
목차
  1. Subspace
  2. Theorem 1 (부분공간 판별법)
  3. Theorem 2
  4. Theorem 3

Subspace

Definition 1. Let VV be a vector space over FF. W⊆VW⊆V is called a subspace of VV, denoted by W≤VW≤V, if WW is a vector space over FF with the same operations defined on VV.

    즉 벡터공간 VV와 동일한 field와 연산을 가진, 다시 말해 동일한 대수적 구조를 가지면서 크기만 줄인 VV의 부분집합을 VV의 subspace라고 부른다.

Note. For any vector space VV, V≤V,{0}≤VV≤V,{0}≤V.

    어떤 집합 WW가 주어졌을 때 WW가 VV의 subspace인지 판별하는 방법을 알아보자. 정의에 의하면 W⊆VW⊆V이며 WW는 벡터공간이어야 한다. 이때 WW가 벡터공간의 모든 조건을 만족한다는 것을 일일이 체크해야 한다. 그러나 W⊆VW⊆V이라면 일부 조건이 자동으로 성립한다는 것을 쉽게 알 수 있다.

Definition 2. A vector space VV over a field FF consists of a set on which two operation (called addition and scalar multiplication, respectively) are defined such that the following conditions hold:
For x,y,z∈Vx,y,z∈V, a,b∈Fa,b∈F,
(1) x+y∈Vx+y∈V
(2) ax∈Vax∈V
(3) x+y=y+xx+y=y+x
(4) (x+y)+z=x+(y+z)(x+y)+z=x+(y+z)
(5) ∃0∈Vsuch thatx+0=x∃0∈Vsuch thatx+0=x
(6) ∀x∈V,∃y∈Vsuch thatx+y=0∀x∈V,∃y∈Vsuch thatx+y=0 (We denote y=−xy=−x.[각주:1])
(7) 1x=x1x=x
(8) (ab)x=a(bx)(ab)x=a(bx)
(9) a(x+y)=ax+aya(x+y)=ax+ay
(10) (a+b)x=ax+bx(a+b)x=ax+bx

    W⊆VW⊆V라면 WW의 모든 원소는 VV의 벡터이기 때문에 (3), (4), (7), (8), (9), (10)은 자명하게 성립한다. 이때 다음의 세 가지 조건만 확인하면 WW가 VV의 부분공간임을 보일 수 있다. 

Theorem 1 (부분공간 판별법)

Theorem 1.  Let ∅≠W⊆V∅≠W⊆V. Then W≤V⟺ax+y∈WW≤V⟺ax+y∈W for x,y∈W,a∈Fx,y∈W,a∈F. 
Proof. 
(⟹)(⟹) Trivial. 
(⟸)(⟸) Let x∈Wx∈W. Then 0x=0∈W0x=0∈W and (−1)x=−x∈W(−1)x=−x∈W. Thus W≤VW≤V. ■◼

Theorem 2

Theorem 2. Let Wi(i=1,...,n)≤VWi(i=1,...,n)≤V. Then n⋂i=1Wi≤V.⋂i=1nWi≤V.
Proof. Let use the induction. 
i) n=2n=2
Let x,y∈W1∩W2x,y∈W1∩W2 and a∈Fa∈F. Then x,y∈W1∩W2⟹x,y∈W1∧x,y∈W2⟹ax+y∈W1∧ax+y∈W2⟹ax+y∈W1∩W2.x,y∈W1∩W2⟹x,y∈W1∧x,y∈W2⟹ax+y∈W1∧ax+y∈W2⟹ax+y∈W1∩W2. By Thm 1, W1∩W2≤VW1∩W2≤V. 

ii) n=kn=k
Suppose that k⋂i=1Wi≤V⋂i=1kWi≤V for some k>3k>3.

iii) n=k+1n=k+1
By i), (k⋂i=1Wi)∩Wk+1=k+1⋂i=1Wi≤V.(⋂i=1kWi)∩Wk+1=⋂i=1k+1Wi≤V. ■◼

Theorem 3

Theorem 3. Let W1,W2≤VW1,W2≤V. Then W1∪W2≤V⟺W1⊆W2∨W2⊆W1W1∪W2≤V⟺W1⊆W2∨W2⊆W1.
Proof. 
(⟸⟸) Trivial.
(⟹⟹) Let x∈W1,y∈W2x∈W1,y∈W2 such that x∉W2,y∉W1x∉W2,y∉W1. Then x+y∈W1∪W2⟹x+y∈W1∨x+y∈W2.x+y∈W1∪W2⟹x+y∈W1∨x+y∈W2.
If x+y∈W1x+y∈W1, then (x+y)−x=y∈W1⨂(x+y)−x=y∈W1⨂.
If x+y∈W2x+y∈W2, then (x+y)−y=x∈W2⨂(x+y)−y=x∈W2⨂. Hence x∈W1⟹x∈W2x∈W1⟹x∈W2 or y∈W2⟹y∈W1y∈W2⟹y∈W1. ■◼

    이와 같이 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

 

  1. 아직 −x=(−1)x−x=(−1)x로 사용할 수 없음을 유의하라. [본문으로]
저작자표시 (새창열림)
  1. Subspace
  2. Theorem 1 (부분공간 판별법)
  3. Theorem 2
  4. Theorem 3
'Mathematics/Linear Algebra' 카테고리의 다른 글
  • Basis and Dimension
  • Linearly dependence and independence
  • Linear Combination and Span
  • Vector space
Erdos
Erdos
수학과, 물리학과 학부생들이 운영하는 팀블로그입니다.
SAMICO수학과, 물리학과 학부생들이 운영하는 팀블로그입니다.
  • Erdos
    SAMICO
    Erdos
  • 전체
    오늘
    어제
    • 분류 전체보기 (269) N
      • Mathematics (181) N
        • Real analysis (28) N
        • Linear Algebra (64)
        • Number Thoery (11)
        • Calculus (55)
        • Probability (6)
        • Set Theory (13)
        • Writing (2)
        • Problems (1)
        • Abstract Algebra (1)
      • Physics (69)
        • 일반물리 (2)
        • 상대성이론과 양자역학 입문 (35)
        • 열물리 (13)
        • 수리물리 (13)
        • 고전역학 (6)
      • Computer (7)
      • 독서 (12)
        • 과학 (5)
        • 문학 (2)
        • 자기계발서 (4)
  • 공지사항

    • 참고서적
  • 최근 댓글

  • 최근 글

  • hELLO· Designed By정상우.v4.10.2
Erdos
Subspaces

개인정보

  • 티스토리 홈
  • 포럼
  • 로그인
상단으로

티스토리툴바

단축키

내 블로그

내 블로그 - 관리자 홈 전환
Q
Q
새 글 쓰기
W
W

블로그 게시글

글 수정 (권한 있는 경우)
E
E
댓글 영역으로 이동
C
C

모든 영역

이 페이지의 URL 복사
S
S
맨 위로 이동
T
T
티스토리 홈 이동
H
H
단축키 안내
Shift + /
⇧ + /

* 단축키는 한글/영문 대소문자로 이용 가능하며, 티스토리 기본 도메인에서만 동작합니다.