\
(f1, . . . , fp)E
λ1f1+· · · +λpfp=
p
P
i=1
λifiλ1, . . . , λp
f1, . . . , fp
Vect(f1,...,fp) (f1,...,fp)
u(f1, . . . , fp)
u=λf1+· · · +λpfpλ1, . . . , λp
(f1, . . . , fp)E
Vect(f1, . . . , fp) = E
E(f1, . . . , fp)
∀x∈E, ∃λ1, . . . , λp∈R, x =
p
P
i=1
λifi
(f1, . . . , fp)fp=
p−1
P
i=1
λififp∈Vect(f1, . . . , fp−1)
p−1
Vect(f1, . . . , fp) = Vect(f1, . . . , fp−1)
Vect(f1,...,fp−1)⊂Vect(f1,...,fp)
x∈Vect(f1,...,fp−1)x=
p−1
P
i=1
µifi=
p−1
P
i=1
µifi+ 0fp∈Vect[f1,...,fp]
Vect(f1,...,fp)⊂Vect(f1,...,fp−1)
x∈Vect(f1,...,fp)x="p−1
P
i=1
µifi#+ [µpfp] Vect(f1,...,fp−1)
x∈Vect(f1,...,fp−1) Vect(f1,...,fp)⊂Vect(f1,...,fp−1) Vect(f1,...,fp) = Vect(f1,...,fp−1)