Une structure algébrique V sur un corps F composée d'un groupe abélien (V, +) et d'une multiplication scalaire F × V → V satisfaisant distributivité, associativité avec la multiplication du corps et action scalaire unitaire ; les vecteurs peuvent être additionnés et mis à l'échelle par des éléments du corps.

Principe

Combiner la structure de groupe additif avec la multiplication scalaire par un corps afin que combinaisons linéaires, bases et dimensions se comportent de manière prévisible et permettent de résoudre des systèmes linéaires et d'effectuer des analyses spectrales.

Démonstration

L'espace euclidien R^n est un espace vectoriel réel ; l'ensemble des polynômes sur un corps forme un espace vectoriel dont la base et la dimension dépendent des restrictions de degré ; les espaces de solutions de systèmes linéaires homogènes sont des sous-espaces vectoriels.

Mauvaise application

Traiter un R-module comme un espace vectoriel lorsque les scalaires ne forment pas un corps, ou supposer que tout sous-espace possède un complémentaire (ce qui demande une structure supplémentaire comme un produit scalaire ou la finitude de la dimension).

Conséquence

Les espaces vectoriels admettent des bases, des applications linéaires déterminées par les images d'une base, des dimensions bien définies (dans le cas fini) et une théorie complète des transformations linéaires, valeurs propres et espaces duals.

Inversion

Si l'on supprime l'exigence que les scalaires forment un corps, on obtient les modules, où l'absence d'inverses scalaires supprime de nombreuses simplifications et rend les propriétés dépendantes de l'anneau.

Limite

Les scalaires doivent provenir d'un corps ; exclut les modules sur anneaux, les espaces vectoriels topologiques qui ajoutent la continuité, et les espaces affines qui n'ont pas d'origine canonique.

Tension sémantique

Tension entre espaces vectoriels abstraits et réalisations concrètes (espaces de coordonnées), et entre espaces vectoriels et espaces affines qui partagent les combinaisons linéaires mais diffèrent par la dépendance à l'origine.

Synthèse

Un espace vectoriel est un module dont les scalaires forment un corps, fournissant le cadre classique où combinaisons linéaires, bases et dimensions structurent de manière maniable la théorie des phénomènes linéaires.