Base d'un e.v

[mathelot]

bonjour,

soit une base de E.
est ce que la famille doit être ordonnée par l'ensemble d'indices ?

merci.

je pense pas. On demande simplement que l'ensemble d'indices permette de matcher
des vecteurs avec des coordonnées.

[chombier]

bonjour,

soit une base de E.
est ce que la famille doit être ordonnée par l'ensemble d'indices ?

merci.

je pense pas. On demande simplement que l'ensemble d'indices permette de matcher
des vecteurs avec des coordonnées.

Dans le cas où I est fini, il faut quand même le mettre d'une façon ou d'une autre en bijection avec [[1; n]] si on veut associer à chaque vecteur un élement de R^n

((1,0), (0,1)) n'est pas la même base que ((0,1), (1,0))

EDIT : sinon ça te permet de mettre E en bijection avec R^I