u:E→F(ei)iE
(u(ei))i
F
x∈E0FF(u(ei))i
F={0F}
u:E→FR
u E
F
u E F
(i) (ei)16i6nE(u(ei))16i6n
F y ∈F u x ∈E
u(x) = y(ei)16i6nE x
λ1, . . . , λn∈Rx=λ1e1+· · · +λneny
y=u(x)
=u(λ1e1+· · · +λnen)
=λ1u(e1) + · · · +λnu(en),
u y
u(e1), . . . , u(en)F
(ii) (e1, . . . , en)E(u(e1), . . . , u(en))
F
0F=λ1u(e1) + · · · +λnu(en) = u(λ1e1+· · · +λnen),
u λ1e1+· · · +λnen∈Ker(u)u
λ1e1+· · · +λnen= 0E(e1, . . . , en)
λi= 0Ki
u:E→FRu
E F
u u (ei)16i6n
E u (u(ei))16i6nu
(u(ei))16i6n(u(ei))16i6nF