Un ensemble V muni d'une loi de groupe abélien + et d'une multiplication par des scalaires provenant d'un corps F, satisfaisant les distributivités, l'associativité de la multiplication scalaire et 1·v = v ; autrement dit, un module sur un corps.

Principe

Combinaisons linéaires et clôture : les vecteurs sont fermés par l'addition et la multiplication scalaire, de sorte que les relations linéaires, les bases et la dimension organisent la structure.

Démonstration

R^n avec l'addition coordonnée et la multiplication par des réels ; l'espace F[x] des polynômes sur un corps F est un exemple de dimension infinie. Concrètement, dans R^3 tout vecteur s'exprime comme combinaison linéaire des vecteurs standards e1,e2,e3.

Mauvaise application

Qualifier de 'espace vectoriel' un module sur un anneau non corps (par exemple les Z-modules) : la division par les scalaires et l'existence de bases peuvent échouer. Supposer que tout sous-espace admet un supplémentaire sans l'axiome du choix en dimensions infinies est une erreur fréquente.

Conséquence

Après choix d'un corps de scalaires et d'une base, on obtient des coordonnées, les applications linéaires s'identifient à des matrices, et la dimension et le rang deviennent des invariants clés pour la classification et le calcul.

Inversion

Supprimer la multiplication scalaire et ne garder que le groupe abélien : la plupart des notions linéaires (enveloppe, indépendance linéaire, dimension) disparaissent et la structure est strictement plus faible.

Limite

Exige un corps de scalaires ; exclut les modules sur des anneaux non corps, les espaces affines (qui n'ont pas d'origine canonique) et les structures topologiques ou à produit scalaire sauf si elles sont explicitement fournies.

Tension sémantique

Espace vectoriel vs module : tous deux admettent l'addition, mais les modules sur anneaux peuvent manquer de bases et de divisibilité. Espace vectoriel vs espace affine : lignes et plans existent dans les deux, mais l'espace affine n'a pas d'origine ni de structure scalaire linéaire.

Synthèse

Un espace vectoriel est le cadre algébrique où les éléments se combinent linéairement et se mettent à l'échelle par un corps, rendant centrales les relations linéaires, les bases et les représentations coordonnées.