Un ensemble V muni de deux opérations (addition de vecteurs et multiplication par des scalaires provenant d'un corps) vérifiant les axiomes : associativité et commutativité de l'addition, élément neutre et inverse pour l'addition, distributivité de la multiplication scalaire sur l'addition du corps et l'addition de vecteurs, compatibilité de la multiplication scalaire, et unité scalaire agissant comme identité ; les vecteurs se combinent linéairement.

Principe

La structure linéaire organise des objets de sorte que combinaisons linéaires et applications linéaires préservent la structure ; la superposition et l'homogénéité sont centrales, permettant de classifier le comportement par dimension, bases et transformations linéaires.

Démonstration

R^n avec addition composante par composante et multiplication scalaire par des réels est un espace vectoriel : par exemple R^3 admet des combinaisons linéaires, des bases (trois vecteurs indépendants) et des applications linéaires représentées par des matrices 3x3.

Mauvaise application

Considérer un ensemble muni seulement d'une opération de groupe comme un espace vectoriel sans corps scalaire compatible néglige la nécessité de la distributivité scalaire et peut conduire à des notions invalides de base ou de dimension.

Conséquence

Avec les axiomes corrects, les notions d'enveloppe linéaire, d'indépendance linéaire, de base, de dimension, d'applications linéaires, de noyaux et d'images sont bien définies ; des théorèmes puissants (rang-nulité, diagonalisation si applicable) en découlent.

Inversion

Abandonner la multiplication scalaire donne une structure de groupe abélien ; remplacer le corps par un anneau conduit aux modules, qui peuvent manquer de bases ou avoir un comportement de dimension différent.

Limite

Les espaces vectoriels exigent des scalaires venant d'un corps et tous les axiomes vectoriels ; ils excluent les structures sur des anneaux non corps, la structure topologique ou de produit scalaire qui n'est pas implicite, et les ensembles sans multiplication scalaire.

Tension sémantique

Proche du module (même formalisme sauf que les scalaires viennent d'un anneau) ; la tension apparaît lorsqu'on discute des bases et des dimensions puisque les modules sur des anneaux généraux peuvent ne pas être libres et posséder des invariants plus subtils.

Synthèse

Un espace vectoriel est une structure algébrique sur un corps où les vecteurs s'additionnent et se dilatent par des scalaires, permettant combinaisons linéaires, bases, dimensions et applications linéaires qui forment l'ossature de l'algèbre linéaire et de ses applications.