제2장 백터공간

2.1.7 .

(가) ( -
v) + v =
vt (v) O ⇒ V는 ( -

V )의 역원 & 역은 유일 ⇒ v = -
( -
V)

(나) ( Vtw ) +1 -

V -
W ) =
( V4 ( - v7 +1W +
( -

v1 ) = 0+0=0

(다) (v ) ( ) v1 ) ( vi, v11 W) )

W + W V (viii) ) (W + ( + ( Ut 1 0+0=0
-

= + = =
-
- -
-

2.2.5 . 주어진 집합을 W라 하면 ,

(가) ( 1.0 ,
1 )
'
E W but ( 2, 0.2 ) T4 W I not a Sub
Space
(나) ( 0.0.0 ) T4 W I not a sub
Space
T
KH If ( A, . b, ,
C, ) ,
( az.bz .
C2 )
'
EW ,

then for EF 2(a .tk A2 ) +3 ( bitkbi-k.tk (i) = ( 29+3 b, -

(i) t k ( 202t 3초 - C2 ) = o
,

∴ ( A.tl .az/bHkb2,CitkCr)TEW ⇒ sub

Space of F3

2.2.7 .

ww
(가) V, . W2 E 엂 Wi ⇒ 빌EI
,
W , ,
v, E W군 ⇒ 빌 EI.W.tkV2 EW i ⇒ UHKW . E 없이
(나) W i, W.EE Wi .
( et W ,
= W.it -

.tw , k
,
W2 =
W2 , + -
-
t W2K ,
Where U i
;
E W;

U .t (W2 =
( Wait ( W2 ) ,
+
-
-
t
( W1kt ( War ) Et Ni
n n
W
-
-

, Wk

2.3.3 .

한 개의 원소를 V라 하면 ,
UTV = V = 0 ,
AEF에 대해 AV = V = 0 .
즉 모든 연산에 대해 동일 .
_
이런 느낌?

2.3.5 .

(가) At bi ( a.be 1R ) 를 (A . b) T로 보면 된다

(나) 4 ( a.co ) T
1 AE1R3 ≤ 4 (% ( a. OHKCb.ci = ( atkb.co i)
(다) nope.lu 1 ¢ R ⇒ 상수급에 대해 단해있지 않음
 2.3.6 .

(가) ( A.b.co ) T 와 ( a. b)
T
일대일대응 시
덧셈과 상수급에 대해 사실상 같다

(라) UM W =
4 (A .
b. C) EF3 ) 냐 ( =
o I -
- -
)

(마) ( G. b. ( TE F3 에 대해
,
( a. b.ci ( A, b
-

C, ㅇ) ( O ,
c, ( JE Ut W ,
반대 방향 자명

2.3.8 .
~
2.3 .
10 .

'
상수급에 사실상
'
자명 하게 대응시키면 덧셈과 대해 같다

2.3.12 .

f (비 ,
Stt1ER (F) Let f(비 = An Et - -
+ a, g (t )
= bn Et -

.it
,

F1t ) + KG ( t ) =
( Ant k b n ) t.at -
-
T
( Got No ) E R ( F) ∴ 叭刊 ≤ F E]

f 1t ) 와 (an n
n

, a) T 를 대응시키면 사실상 같다
,

2.3.13 , hlogde.gl f) 2dg (g) ,

상 g 위와 비슷하게 하면

(가) (ft g) (A) = (at b )

n ↑ + . -

t (Auto ) =
( Oh At - -
ta ) t ( b A다 .

.tw ) = f (A) tg ( A )

(나) ( f g) (A) =
E (霽咨 .
A
;
bk ) Al =
콣 ( 燕一沌 ; A기마사 ) ) =
HA ) g (A)

2.3.14 ,

(나) A ( DE ) =

( F-AinE ) ( E
'
(다) 없으면 e.ro .
로 Zero Nw 만들 수 있어서 A 가역에 오슨 ,
in
'
A 존재 ✗ ⇒ A가역에 오슨 )

2.3.16 .

defineSAilitksb.IE = 193 E as G =
Ant km for En EN
2.4.3 . (123 ,
12 ) 만 )

∅ i Pn (F) 一一 ) F
" '
로 정의하면 ,
∅는 biject.in 이고

An M ∅ (f) t ∅ (g) , ∅ (at )

T
.

.tw 1-7 (An ,

i.

, a) ∅ ( AS ) =
ㅋ A ∅ (f)

2.4.5 ,

(가) Iv 는 bijection.tv ( Vtv야 Vtw 二乙 (V) 十工 (W ) 존 (AV ) = av = AI (V)

,

(나) 4가
'
bijec.to n 이므로 나
bigection.WI.lt
도

LE W 에 대해 ㅋ ! V. .
V2 : 4 (VI) =
W ,
4 (V2 ) =
W2
, ,

( 4 (vi) )
' ' '
나 ( With ) 4개의 v, t v. ) )
'
( HE ( W2 )
-

=
E + 이에 = = V, + V2 =
4 W ,

4T ( 4 ( a vi) )
'
나 ( )
"
( U
'

나 ( aw , ) = ace (vi) ) = = a v, =
ace i

(다) ( v45
'
= 4에 o 4
"
로 존재하므로 40 4 는 biject.in

404 ( U , + Km) = 4 ( 4 (U , HK4 (나) ) =

40 Y (U.) +1<404 (나)

2.4.6
.

3기 4
( )
-

(주)
bijectiony.tk
(
"
=
로 너이 존재하므로 L은
-
5K +
4
( 자세2 ) t 4H서이
) (
" "
) ( 롒卞訓十 嶋点 劉二哄 HK4주를 )
(

내 剡十 시작) )
2
=
4 g,
ㅋ
메세지 . sina.nu
=