EK
(x1,· · · , xn)E(x1,· · · , xn)
(α1,· · · , αn)∈Kn
α1x1+· · · +αnxn=
n
X
k=1
αkxk= 0E=⇒ ∀i∈[|1, n|], αi= 0.
(xi)i∈IE(xi)i∈I
(xi)i∈I
(xi)i∈IE x ∈E n ∈N(α1,· · · , αn)∈Kn
x=
n
X
k=1
αkxk.
E(xi)i∈I
(xi)i∈IE
IE
I
x, y ∈E(x, y)x= 0 y= 0 α∈Ky=αx
(1, X, . . . , Xn)Kn[X]
(Xk)k∈NK[X]
((1,0,0),(0,1,0),(0,0,1)) R3
(cos,sin) C(R,R)
EKB= (e1,· · · , en)E x ∈E n−
(α1,· · · , αn)∈KnxB
x=α1e1+· · · +αnen=
n
X
k=1
αkek.