## [Espace Vectoriel](/fr/node/63313) Définition Ensemble d'objets appelés vecteurs formant un groupe abélien pour l'addition et muni d'une multiplication scalaire par les éléments d'un corps telle que les axiomes usuels (distributivité, associativité, élément unité) sont satisfaits ; équivalemment, un module sur un corps. ## Principe Principe La multiplication scalaire par un corps permet la division par les scalaires non nuls, ce qui assure l'existence de bases (via le lemme de Zorn pour les cas infinis) et fait de la dimension un invariant complet pour les espaces vectoriels de dimension finie. ## Démonstration Démonstration R^n muni de l'addition coordonnée et de la multiplication scalaire par les réels est un exemple standard ; tout espace vectoriel de dimension finie n sur un corps F est isomorphe à F^n. ## Mauvaise application Mauvaise application Traiter des modules sur des anneaux non corps comme des espaces vectoriels (par exemple en supposant que tous les sous-modules ont des compléments ou que la dimension se comporte de la même façon), ou confondre l'indépendance linéaire relative à différents corps sans vérifier la restriction des scalaires. ## Conséquence Conséquence Les espaces vectoriels disposent d'un arsenal complet d'outils d'algèbre linéaire : bases, coordonnées, applications linéaires représentées par des matrices, espaces duals, décompositions canoniques (somme directe) et classification par la dimension en dimension finie. ## Inversion Inversion Un module sur un anneau quelconque n'offre pas les garanties des espaces vectoriels : les bases peuvent faire défaut, les sous-modules peuvent ne pas être des réducts directs et des invariants de type dimensionnel peuvent ne pas classifier les types d'isomorphisme. ## Limite Limite Nécessite que l'anneau des scalaires soit un corps ; exclut les modules sur des anneaux non corps, les espaces vectoriels topologiques (qui ajoutent une topologie) et les structures où les scalaires n'autorisent pas la division par les éléments non nuls. ## Tension sémantique Tension sémantique La tension survient lorsqu'on passe entre descriptions sans coordonnées et modèles concrets par matrices/coordonnées ; il existe aussi une tension entre les comportements en dimension finie et infinie (existence de bases de Hamel vs bases topologiques). ## Synthèse Synthèse Un espace vectoriel est un module sur un corps dont l'inversibilité des scalaires procure une théorie linéaire robuste : existence de bases, classification par dimension en dimension finie et représentation des applications linéaires par des matrices relativement à des bases.