한빛 아카데미의 프리드버그 선형대수학 7판을 정리하고 풀이한 글입니다.
야밤의 선형대수학 - 1.2 벡터공간 이후로 너무 오랜만에 포스팅하게 됐다. 연습문제를 싹 다 풀고 정리해서 올리려고 했는데, 풀고 정리하는 데 시간이 너무 오래 걸려서 도중에 멈췄다가 다시 시작했다. 다음 장부터는 몇 가지 문제만 추려서 포스팅해야 할 것 같다.
1. 부분공간
def. 부분공간
F-벡터공간 V의 부분집합 W를 생각하자. 이 부분집합 W가 V에서 정의한 합과 스칼라 곱을 가진 F-벡터공간일 때, V의 부분공간이라 한다.
모든 벡터공간 V에 대해 V와 {0}은 부분공간이다. 벡터공간의 조건 (VS1, 2, 5, 6, 7, 8)은 연산에 대한 성질이며, W는 이를 만족하는 V의 연산을 그대로 물려받고 있으므로 이 조건들에 대해서 따로 확인할 필요는 없다. 부분집합 W가 V의 부분공간이기 위한 필요충분조건은 다음의 4가지 성질을 만족하는 것이다.
성질 1 ∀x,y∈W,x+y∈W
성질 2 ∀c∈F,∀x∈W,cx∈W
성질 3 0∈W
성질 4 ∀x∈W,∃y∈W,s.t., x+y=0
Thm1.3 부분공간이기 위한 필요충분조건
벡터공간 V와 부분집합 W를 생각하자. W가 V의 부분공간이기 위한 필요충분조건은 다음의 세 가지 조건을 만족하는 것이다. 이때, 연산은 V에서 정의된 것과 같다
(1) 0∈W
(2) ∀x,y∈W,x+y∈W
(3) ∀c∈F,∀x∈W,cx∈W
pf.⇒
W가 V의 부분공간이라 하자. W는 V에서 정의된 합과 스칼라 곱을 가지고 있으므로 (2), (3)을 만족한다.
W의 영벡터를 0′이라 하면, x∈W에 대해 x+0′=x이다. x∈V이기도 하므로 x+0=x이다. Thm1.1에 의해 0′=0이므로 (1)이 성립한다.
pf.⇐
조건 (1), (2), (3)이 성립한다고 하자. 성질 4가 만족된다면 W는 V의 부분공간이다. 조건 (3)으로부터 x∈W 이면 (−1)x=−x∈W이다. x+(−x)=0이므로 성질 4가 만족된다. 따라서 W는 V의 부분공간이다.
Thm1.4
벡터공간 V의 부분공간들을 생각하자. 이 부분공간들의 임의의 교집합은 V의 부분공간이다.
pf. V의 부분공간을 원소로 하는 집합족을 C라 하고, C에 속한 모든 부분공간의 교집합을 W라 하자. 영벡터가 모든 부분공간에 속하므로 0∈W이다. 스칼라 a와 벡터 x,y∈W에 대해, x,y는 C에서 꺼낸 임의의 부분공간에 속한다. 벡터공간은 합과 스칼라 곱에 닫혀있으므로 x+y와 ax 또한 부분공간에 속한다. 따라서 x+y∈W,ax∈W이다. Thm1.3에 의해 W는 V의 부분공간이다.
def. 집합의 합
벡터공간 V의, 공집합이 아닌 부분집합 S1,S2에 대해, 두 집합의 합 S1+S2는 다음과 같이 정의된다.
{x+y:x∈S1,y∈S2}
def. 직합
벡터공간 V의 두 부분공간 W1,W2에 대해 W1∩W2={0}이고 W1+W2=V이면 V는 W1,W2의 직합이라 하고, V=W1⨁W2로 표기한다.
def. 잉여류(coset)
F-벡터공간 V와 부분공간 W에서, 임의의 v∈V에 대해 다음의 집합을 v를 포함하는 W의 잉여류라 한다.
{v}+W={v+w:w∈W}
{v}+W는 간단히 v+W로 표기하기도 한다.
def. 몫공간(quotient space)
W의 모든 잉여류를 원소로 하는 집합족 S={v+W:v∈V}와 F에서 꺼낸 스칼라에 대해, 다음과 같이 합과 스칼라 곱을 정의하자. 이때 S는 벡터공간이다. 이를 법 W 에 대한 V의 몫공간이라 하고, V/W로 표기한다.
모든 v1,v2∈V에 대해, (v1+W)+(v2+W)=(v1+v2)+W
모든 v∈V,a∈F에 대해, a(v+W)=av+W
2. 연습문제
1.
(a) W가 V에서 정의된 합과 스칼라 곱 연산을 가진 벡터공간이어야 한다. 거짓
(b) 공집합은 벡터공간이 아니다. 거짓
(c) 벡터공간 V는 점공간을 부분공간으로 포함한다. 이 점공간을 W라 하면, 점공간이 아닌 벡터공간 V는 W=V인 부분공간을 W를 반드시 포함한다. 참
(d) 두 부분공간의 교집합이 V의 부분공간이다. 거짓
(e) 참
(f) 합임. 거짓
(g) 거짓
3.
(aA+bB)ijt∴(aA+bB)t=(aA+bB)ji=(aAji+bBji)=aAji+bBji=aAijt+bBijt=aAt+bBt
4.
Aijt=Aji이므로, (Aijt)t=(Aji)t=Aij이다.
5.
A+At의 i행 j열 성분 (A+At)ij=Aij+Aijt=Aij+Aji이다.
A+At의 j행 i열 성분 (A+At)ji=Aji+Ajit=Aji+Aij이다.
(A+At)ij=(A+At)ji이므로 A+At는 대칭행렬이다.
6.
tr(A)=i=1∑nAii,tr(B)=i=1∑nBii
tr(aA+bB)=i=1∑n(aAii+bBii)=i=1∑naAii+i=1∑nbBii=ai=1∑nAii+bi=1∑nBii=a tr(A)+b tr(B)
7.
A가 대각행렬이면 Aij=0(i=j) 이므로, Aji=0이다. Aij=Aji이므로 A는 대칭행렬이다.
8.
(a) O
(b) X
(c) O
(d) O
(e) X
(f) X
9. 패스
10.
W1 은 Thm1.3을 만족하므로 Fn의 부분공간이다.
1. 0∈W1
2. a,b∈W1이라 하자.
a=(a1,...,an),b=(b1,...,bn) 이라 하면, ∑i=1nai=0,∑i=1nbi=0이다.
(a+b)=(a1+b1,...,an+bn)이고∑i=1n(ai+bi)=∑i=1nai+∑i=1nbi=0이므로 (a+b)∈W1이다. 따라서 W1은 덧셈에 닫혀있다.
3. a∈W,c∈F라 하자. ca=c(a1,...,an)=(ca1,...,can)이고 ∑i=1n(cai)=c∑i=1n(ai)=c0=0이므로 ca∈W1이다. W1은 스칼라 곱에도 닫혀있다.
W2의 경우 0∈W2이다. 따라서 W2는 부분공간이 아니다.
12.
m×n 상삼각행렬의 집합을 U라 하자. 즉 U={A∣A∈Mm ×n(F), Aij=0(i>j)}이다.
1. 0∈U이다.
2. A,B∈U일 때, (A+B)ij=Aij+Bij=0+0 (i>j)이므로 (A+B)∈U이다.
3. A∈U,c∈F일 때, (cA)ij=cAij=c0 (i>j)이므로 cA∈U이다.
따라서 m×n 상삼각행렬의 집합은 Mm×n(F)의 부분공간이다.
13.
F(S,F)에서의 연산들은 1.2 벡터공간의 예제 3을 참고. F(S,F)는 벡터 공간이다.
1. 0∈F(S,F),0(s0)=0인 0∈S이다.
2. f,g∈S라 하자. f,g∈F(S,F)이므로 f+g∈F(S,F)이고, f(s0)=g(s0)=0이므로 (f+g)(s0)=f(s0)+g(s0)=0이다. 따라서 S는 덧셈에 닫혀있다.
3. c∈F,f∈S라 하자. cf∈F(S,F)이고, (cf)(s0)=c[f(s0)]=c(0)=0이다. S는 스칼라 곱에도 닫혀있다.
14.
- 영함수 0∈C(S,F)이다.
- f,g∈C(S,F)이고, f에서는 n개의 점을 제외한 모든 점에서 함숫값이 0이고, g에서는 m개의 점을 제외한 모든 점에서 함숫값이 0이라고 하자. f+g에 대해 함숫값이 0이 아닌 점의 개수가 최대가 될 때는 각 a1,...,an,b1,...,bm이 서로 다를 때로, 최대 m+n개이고, 따라서 유한하다. 따라서 C(S,F)는 덧셈에 닫혀 있다.
- 임의의 스칼라 a∈S와 f∈C(S,F)에 대해, af의 함숫값이 0이 아닌 점의 개수는 a=0일 때로, 최대 n개다. 따라서 af∈C(S,F)다. 즉 C(S,F)는 스칼라 곱에도 닫혀 있다.
16. 15번과 유사하게 풀 수 있으므로 패스
17.
(pf.⇒) W가 V의 부분공간이면 Thm1.3에 따라 0∈W이고 ∀a∈F,∀x,y∈W에 대해 x+y∈W,ax∈W이다. 0∈W이므로 W는 공집합이 아니고, 나머지도 성립한다.
(pf.⇐) W=∅이므로 임의의 x∈W를 생각할 수 있다. 이 x에 대해 ax∈W이다. a=0이라 하면 ax=0x=0∈W이므로 0∈W이다. Thm1.3.에 의해 W는 V의 부분공간이다.
18.
(pf.⇒) W가 V의 부분공간이므로 ax∈W이고 ax+y∈W이다.
(pf.⇐) 0∈W이고 ∀a∈F,∀x,y∈W에 대해 ax+y∈W이다. y=0이라 하면 ax+y=ax∈W이다. a=1이라 하면 ax+y=x+y∈W이다. Thm1.3에 의해 W는 V의 부분공간이다.
19.
(pf.⇐)
W1⊆W2이면 W1∪W2=W2이고, W2⊆W1이면 W1∪W2=W1. W1,W2가 V의 부분공간이므로 어떤 경우에도 W1∪W2는 V의 부분공간이 된다.
(pf.⇒)
∃x∈W1−W2,∃y∈W2−W1이라 가정하자.
W1∪W2가 V의 부분공간이고 x,y∈W1∪W2이므로 x+y∈W1∪W2여야 한다. x+y∈W1∪W2이므로 x+y∈W1 이거나 x+y∈W2이다. 만약 x+y∈W1이면, W1가 부분공간이므로 y∈W1이어야 한다. 반대로 만약 x+y∈W2이면, W2가 부분공간이므로 x∈W2여야 한다. 이는 위에서 가정한 것과 모순이다. 따라서 ∃x∈W1−W−2,∃y∈W2−W2이다. 즉 W1⊆W2이거나 W2⊆W1이다.
21.
수렴하는 수열 (an)의 집합을 W라 하자.
1. 수열 (0,0,0,0,...)∈W이다.
2. W의 원소가 되는 임의의 수렴하는 수열 (an),(bn)에 대해, limn→∞an,limn→∞bn이 존재하므로 limn→∞(an+bn)∈R도 존재한다. 따라서 (an+bn)∈W이다.
3. W의 원소 (an)에 대해, 그 수렴값을 α라 하자. 이때 (can)의 수렴값은 cα∈R가 되므로 (can)∈W이다.
22.
우함수의 집합을 S, 기함수의 집합을 T라 하자.
1. S∈F(F1,F2)임을 증명
- 영함수 0에 대해, 0(−t)=0,0(t)=0이므로 0(−t)=0(t)이다 따라서 0∈S다.
- f,g∈S라 하자. (f+g)(t)=f(t)+g(t)=f(−t)+g(−t)=(f+g)(−t)이다. 따라서 f+g∈S다.
- a∈F1,f∈S라 하자. (af)(t)=a⋅f(t)=a⋅f(−t)=(af)(−t)이다. 따라서 (af)∈S다.
- T∈F(F1,F2)임을 증명
- 영함수 0∈T다.
- f,g∈T라 하자.
(f+g)(−t)=f(−t)+g(−t)=−f(t)+(−g(t))=((−f)+(−g))(t)=−(f+g)(t)다.
따라서 (f+g)∈T다.
- a∈F1,f∈T라 하자. (af)(−t)=a(f(−t))=a(−f(t))=a(−1f(t))=(−a)f(t)=−af(t)다.
직합을 이용한 문제들
23.
(a)
1. W1,W2가 모두 V의 부분공간이므로 0∈W1,0∈W2다. 따라서 0+0=0∈W1+W2이다.
2. x1,x2∈W1이고 y1,y2∈W2라 하자. (x1+y1)∈W1+W2이고 (x2+y2)∈W1+W2이다.
W1,W2가 부분공간이므로 x1+x2∈W1이고 y1+y2∈W2이고, 따라서 (x1+x2)+(y1+y2)=(x1+y1)+(x2+y2)∈W1+W2다. 그러므로 W1+W2는 덧셈에 닫혀있다.
3. x∈W1, y∈W2라 하자. (x+y)∈W1+W2다. a∈F일 때, W1,W2가 부분공간이므로 ax∈W1,ay∈W2이다. (ax+ay)=a(x+y)∈W1+W2이므로 W1+W2는 스칼라 곱에도 닫혀있다.
(b)
W1,W2를 포함하는 V의 부분공간을 W라 하자. 임의의 x∈W1,y∈W2에 대해 (x+y)∈W1+W2이다. 그런데 x,y∈W이므로 x+y∈W이다. 임의의 (x+y)∈W1+W2에 대해 (x+y)∈W이므로 W1+W2⊆W이다.
24.
-
W1∩W2={0}임을 증명
(a1,a2,...,an)∈W1∩W2에 대해, (a1,...,an)∈W1이므로 (a1,...,an−1,an)=(a1,...,an−1,0)이다. (a1,...,an−1,0)∈W2이므로 (0,...,0,0)이다. 따라서 ∀a∈W1∩W2에 대해 a=0이고, W1∩W2={0}이다.
-
W1+W2=Fn임을 증명
a1,a2,...,an−1,an이 모두 F에서 뽑은 임의의 원소라고 하자. (a1,a2,...,an)∈Fn이다.
(a1,a2,...,an−1,0)∈W1,(0,0,...,0,an)∈W2이므로 (a1,a2,...,an−1,an)∈W1+W2이다.
임의의 Fn의 원소가 W1+W2의 원소이므로 Fn⊆W1+W2이다. 반대로 임의의 W1+W2의 원소는 또한 Fn의 원소이므로 W1+W2⊆Fn이다. 따라서 W1+W2=Fn이다.
25.
-
W1∩W2={0}임을 증명
임의의 n차 다항식 h∈W1∩W2를 생각해보자. h∈W1이므로 h의 짝수 차수 항의 계수는 모두 0이다. h∈W2이므로 h의 홀수 차수 항의 계수도 모두 0이다. h=0xn+0xn−1+...+0x+0이다. 즉 영함수다. 임의의 다항식 h∈W1∩W2가 영함수이므로 W1∩W2={0}이다.
-
P(F)=W1+W2임을 증명
임의의 두 n차 다항식 f∈W1,g∈W2를 생각해보자. W1,W2의 조건에 따라 다음과 같다.
f(x)g(x)f(x)+g(x)=anxn+an−1xn−1+...+a2x2+a1x+a0=bnxn+bn−1xn−1+...+b2x2+b1x+b0=(an+bn)xn+(an−1+bn−1)xn−1+...+(a2+b2)x2+(a1+b1)x+(a0+b0)
f(x)+g(x)의 i차수 항의 계수에 ai,bi에 대해, ai,bi∈F이므로 ai+bi∈F이다. 따라서 f+g∈P(F)이다. 즉 W1+W2⊆P(F)다.
이번에는 다음과 같은 임의의 한 m차 다항식 h∈P(F)를 생각해보자. m이 짝수라고 가정하자.
h(x)=cmxm+cm−1xm−1+...+c2x2+c1x+c0
h(x)는 다음과 같이 쓸 수 있다.
h(x)=(0+cm)xm+(cm−1+0)xm−1+...+(0+c2)x2+(c1+0)x+(0+c0)
이를 다음과 같이 정리할 수 있다.
(0+cm)xm+(cm−1+0)xm−1+...+(0+c2)x2+(c1+0)x+(0+c0)=(0xm+cm−1xm−1+...+0x2+c1x+0)+(cmxm+0xm−1+...+c2x2+0x+c0)
이때,
(0xm+cm−1xm−1+...+0x2+c1x+0)∈W1(cmxm+0xm−1+...+c2x2+0x+c0)∈W2
이다. 즉 임의의 짝수 n차 다항식 h∈P(F)에 대해, h∈W1+W2다. 이는 임의의 홀수 차수 다항식에 대해서도 마찬가지이다. 임의의 P(F)의 원소가 W1+W2의 원소이기도 하므로 P(F)⊆W1+W2다.
P(F)⊆W1+W2이고 W1+W2⊆P(F)이므로 P(F)=W1+W2이다.
26.
W1,W2는 모두 Mm×n(F)의 부분공간이다. (증명 생략)
-
W1∩W2={0}임을 증명
임의의 행렬 A∈W1∩W2를 생각하자. A의 i행 j열 성분 Aij의 값은 다음과 같다.
Aij={0,ifi>j0,ifi≤j=0
따라서 A=0이다. W1∩W2의 임의의 원소가 0이므로 W1∩W2={0}이다.
-
Mm×n(F)=W1+W2임을 증명
임의의 행렬 A∈Mm×n을 생각해보자. S∈W1,T∈W2에 대해, S,T의 성분을 다음과 같이 정의한다.
Sij={0,Aij,if(i>j)if(i≤j)Tij={Aij,0,if(i>j)if(i≤j)
A의 성분 Aij는 다음과 같이 쓸 수 있다.
Aij={0+Aij,Aij+0,if(i>j)if(i≤j)={Sij+Tij,Sij+Tij,if(i>j)if(i≤j)=Sij+Tij
따라서 A 는 S+T로 쓸 수 있다. Mm×n⊆W1+W2다.
임의의 U∈W1,V∈W2를 생각해보자. U,V의 임의의 성분은 모두 F의 원소다. 따라서 U+V의 임의의 성분 (U+V)ij∈F이다. 따라서 (U+V)∈Mm×n(F)이고, W1+W2⊆Mm×n(F)다.
따라서 Mm×n(F)=W1+W2이다.
27.
-
W1∩W2={0}임을 증명
임의의 행렬 A∈W1∩W2를 생각하자. A의 i행 j열 성분 Aij는 다음과 같이 쓸 수 있다.
Aij=⎩⎪⎪⎨⎪⎪⎧0,0,0,ifi=jifi=jifi>j
따라서 Aij의 모든 성분은 0일 수 밖에 없고, A=0이다. 임의의 W1∩W2의 원소가 0이므로 W1∩W2={0}이다.
-
V=W1+W2임을 증명
임의의 행렬 S∈W1,T∈W2를 생각하자. S+T의 성분은 다음과 같이 쓸 수 있다.
(S+T)ij=⎩⎪⎪⎨⎪⎪⎧0,Sij,Tij,ifi>jifi=jifi<j
S+T가 상삼각행렬이므로, 따라서 W1+W2⊆V다.
이번에는 반대로 임의의 상삼각행렬 U를 생각해보자. U의 성분은 다음과 같이 쓸 수 있다.
Uij=⎩⎪⎪⎨⎪⎪⎧0+0,Uij+0,0+Uij,ifi>jifi=jifi<j
이제 U1∈W1,U2∈W2를 다음과 같이 정의하자.
U1ij=⎩⎪⎪⎨⎪⎪⎧0,Uij,0,ifi>jifi=jifi<j,U2ij=⎩⎪⎪⎨⎪⎪⎧0,0,Uij,ifi>jifi=jifi<j
이제 U=U1+U2로 쓸 수 있고, U∈W1+W2이다. 따라서 V⊆W1+W2이고, V=W1+W2다.
28.
- W1이 Mn×n(F)의 부분공간임을 증명
- 영행렬 0에 대해, 0ij=−0ji=0이 성립하므로 0∈W1이다.
- 임의의 두 행렬 A,B∈W1을 생각. 두 행렬의 i행 j열 성분 Aij,Bij에 대해 다음이 성립한다.
(A+B)ijt=Aijt+Bijt=−Aji+(−Bji)=−(Aji+Bji)=−(A+B)ji=(−(A+B))ji
따라서 W1는 덧셈에 닫혀있다.
- 임의의 행렬 A∈W1과 스칼라 a∈F에 대해 다음이 성립한다.
(aA)ijt=a(Aijt)=a(−Aji)=(−aA)ji
따라서 W1은 스칼라 곱에도 닫혀있다.
따라서 W1은 Mn×n(F)의 부분공간이다.
- Mn×n(F)=W1⨁W2임을 증명
- W1∩W2={0}임을 증명
A∈W1이라 하자. Aji=−Aij이다. 만약 A∈W2라 하면, Aji=Aij이다. 따라서 −Aij=Aij이고, Aij+Aij=0이다. 체 F의 곱셈에 대한 항등원을 1이라 한다면, Aij+Aij=1⋅Aij+1⋅Aij=(1+1)Aij이다. 그런데 F의 지표가 2가 아니므로 (1+1)=0이다. 따라서 Aij가 0이다(소거법칙). 즉 W1∩W2의 임의의 원소가 갖는 모든 성분은 0이며, 따라서 W1∩W2={0}이다.
- Mn×n(F)=W1+W2임을 증명
W1+W2⊆Mn×n(F)는 따로 증명할 필요가 없어보인다. 반대의 경우가 성립하는지 보자. M∈Mn×n(F)라 하자. M에 대해 다음이 성립한다.M=21(M−Mt)+21(M+Mt) 이때 지표가 2가 아닌 체 F에 대해, 21(M−Mt)ji∈W1이고, 21(M+Mt)∈W2다. 임의의 원소인 M을 W1,W2의 원소의 합으로 나타낼 수 있으므로 M∈W1+W2이고, Mn×n(F)⊆W1+W2다. 즉 Mn×n(F)=W1+W2다.
29.
W1∩W2={0}의 증명은 생략한다. M∈Mn×n(F)라 하자. 다음과 같이 성분이 정의되는 행렬 A,B를 생각하자.
Aij={Mij−Mji, (i>j)0, (i≤j), Bij={Mji, (i>j)Mij, (i≤j)
A∈W1,B∈W2이다. 임의의 원소 M을 W1,W2의 원소의 합으로 나타낼 수 있으므로 M∈W1+W2이고, Mn×n(F)⊆W1+W2다. 즉 Mn×n(F)=W1+W2다.
30.
pf.(⇒)
V가 W1,W2의 직합이라 하자. x1+x2=v,x3+x4=v라 하자. 단 x1,x3∈W1,x1=x3이고 x2,x4∈W2,x2=x+4라 하자. x1+x2=x3+x4이므로 x1−x3=x4−x2다. W1,W2가 부분공간이므로 x1−x3∈W1,x4−x2∈W2이고, x1−x3,x4−x2∈W1∩W2다. 그런데 V가 W1,W2의 직합이므로 W1∩W2={0}다. x1−x3=x4−x2=0이므로 이는 가정과 모순이 된다. 따라서 v에 대한 서로 다른 표현은 있을 수 없고 유일하다.
pf.(⇐)
임의의 벡터 v∈V에 대해 표현 v=x1+x2 (x1∈Wq,x2∈W2)이 존재하므로 V=W1+W2다.
W1,W2가 모두 부분공간이므로 0∈W1∩W2다. W1∩W2={0}이라 가정하자. 즉 u=0인 u∈W1∩W2라 하자. u∈W1,u∈W2이므로 v=x1+u+x2−u라 쓸 수 있고, x1+u∈W1,x2−u∈W2다. 이때 u=0이므로 x1+u=x1,x2−u=x2다. 만약 x1+u=x3,x2−u=x4라 한다면 v=x3+x4로 쓸 수 있다. 이는 v에 대한 표현 v=x1+x2이 유일하다는 가정과 모순이므로 u∈W1∩W2여야 한다. 즉 W1∩W2={0}이다.
V=W1+W2,W1∩W2={0}이므로, V=W1⨁W2다.
31.
(a)
(⇒) v+W가 V의 부분공간이라고 하자. 0∈v+W이고, 0=v+(−v)로 쓸 수 있다. v+W의 임의의 원소는 v+w(w∈W)로 쓸 수 있으므로 −v∈W다. W가 V의 부분공간이므로 −(−v)=v∈W다.
(⇐) v∈W라 하자. W가 V의 부분공간이므로 −v∈W이고, 따라서 v+(−v)=0∈v+W다.
v+W의 임의의 원소 u1,u2를 생각해보자. u1=v+w1, u2=v+w2가 되는 w1,w2가 W에 있다. W가 V의 부분공간이고, v,w1,w2∈W이므로 w1+v+w2∈W다. w1+v+w2를 w3라 해보자. v+W의 임의의 두 원소 u1,u2의 합 u1+u2는 v+w3라 쓸 수 있고, w3∈W이므로 u1+u2∈v+W이다. 즉 v+W는 합에 닫혀있다.
v+W의 임의의 원소 u를 생각해보자. a∈F에 대해, au=a(v+w)=av+aw라 쓸 수 있다(w∈W). v∈W이고 W가 부분공간이므로 au∈W이고, −v+au∈W다. 따라서 v+(−v+au)=au∈v+W이다. 즉 v+W는 스칼라곱에도 닫혀있다. 따라서 v∈W이면 v+W는 V의 부분공간이다.
(b)
(⇒) v1+W=v2+W라 해보자. 이때 v1+W의 임의의 원소 v1+w1은 v2+w2로도 쓸 수 있다(w1,w2∈W). v1+w1=v2+w2이고, v1−v2=w2−w1이다. W가 부분공간이므로 w2−w1∈W다. 따라서 v1−v2∈W다.
(⇐) v1−v2∈W라 하자. v1+W의 임의의 원소는 v1+w1으로 쓸 수 있다. v1−v2∈W이므로 v2−v1∈W다. W가 부분공간이므로 w1+v2−v1∈W이다. v1+w1+v2−v1=w1+v2∈v2+W이다. v1+W의 임의의 원소가 v2+W의 원소이므로 v1+W⊆v2+W다. 반대의 경우도 마찬가지로 증명할 수 있고, v1−v2∈W이면 v1+W=v2+W임이 증명된다.
(c) 패스
(d)
벡터공간이 만족해야 하는 8가지 조건들을 모두 만족하는지 확인해야 한다. 이 중 (VS3)만을 증명하고, 나머지는 생략한다.
(VS3 증명) V가 부분공간이므로 0∈V이고, 0+W∈S다. S의 임의의 원소 v1+W에 대해, (v1+W)+(0+W)=(v1+0)+W=v1+W다. 즉 S에는 합에 대한 항등원인 0+W이 존재한다.