K R C
EK(x1, x2, . . . , xp)p E p ∈N∗
(x1, x2, . . . , xp)E
E E = Vect(x1, x2, . . . , xp)E
Kx1, x2,...xp
(x1, x2, . . . , xp)E
x1, x2, . . . , xp
∀(λ1, λ2, . . . , λp)∈Kp, p
X
k=1
λkxk= 0E!⇒(λ1=λ2=· · · =λp= 0)
∃(λ1, λ2, . . . , λp)∈Kp,
p
X
k=1
λkxk= 0E(λ1, λ2, . . . , λp)6= (0,0,...,0)
(x1, x2, . . . , xp) Vect(x1, x2, . . . , xp)
x1, x2, . . . , xp
(x1, x2, . . . , xp)E
(x1, x2, . . . , xp)E E
Kx1, x2,...xp
∀y∈E, ∃!(λ1, λ2,...λp)∈Kp, y =
p
X
i=1
λixi