Espace vectoriel

Un espace vectoriel est un ensemble dont les éléments peuvent être additionnés et multipliés par des scalaires issus d'un corps, constituant l'objet central de l'algèbre linéaire et le modèle de structure linéaire dans l'ensemble des mathématiques.

Definition

Un espace vectoriel sur un corps est un groupe abélien de vecteurs, muni d'une multiplication scalaire par des éléments du corps, satisfaisant des axiomes de distributivité, d'associativité et d'unité qui rendent les deux opérations compatibles.

Scope

Ce sujet aborde les axiomes d'un espace vectoriel, les sous-espaces, l'indépendance linéaire, les familles génératrices, les bases et la dimension, les coordonnées, les sommes directes et les espaces quotients, ainsi que les espaces duaux. Il établit le cadre dans lequel les transformations linéaires et les matrices sont étudiées.

Core questions

• Quels axiomes transforment un ensemble en un espace vectoriel ?
• Qu'est-ce qu'une base, et pourquoi tout espace vectoriel en possède-t-il une ?
• Pourquoi la dimension est-elle un invariant bien défini d'un espace vectoriel ?
• Comment les sous-espaces, les sommes directes et les espaces quotients décomposent-ils un espace vectoriel ?

Key theories

Existence d'une base

Tout espace vectoriel possède une base, c'est-à-dire une famille génératrice linéairement indépendante, de sorte que chaque vecteur est une combinaison linéaire finie unique de vecteurs de base ; dans le cas de dimension finie, cela découle d'arguments d'échange élémentaires.

Invariance de la dimension

Deux bases quelconques d'un espace vectoriel ont la même cardinalité, de sorte que la dimension est un invariant bien défini qui classifie les espaces vectoriels sur un corps fixé à isomorphisme près.

Sous-espaces, quotients et espaces duaux

Les sous-espaces, les sommes directes, les espaces quotients et l'espace dual des formes linéaires sont les constructions fondamentales qui permettent de bâtir et d'analyser les espaces vectoriels et qui sous-tendent la théorie des applications linéaires.

Clinical relevance

Les espaces vectoriels modélisent une gamme considérable de phénomènes : les ensembles de solutions d'équations linéaires et d'équations différentielles, les espaces fonctionnels en analyse, les espaces d'états en mécanique quantique et les espaces de caractéristiques (feature spaces) en science des données et en apprentissage automatique sont tous des espaces vectoriels, ce qui rend l'algèbre linéaire universellement applicable.

History

Grassmann a introduit en 1844 un calcul abstrait de quantités étendues qui anticipait les espaces vectoriels, et Peano en a donné une définition axiomatique en 1888. La notion est devenue standard au XXe siècle, avec le développement des espaces de dimension infinie par Hilbert et Banach en analyse fonctionnelle.

Key figures

• Hermann Grassmann
• Giuseppe Peano
• David Hilbert
• Stefan Banach

Seminal works

• hoffman1971
• roman2008
• lang2002

Frequently asked questions

Tout espace vectoriel possède-t-il une base ?

Oui. Les espaces de dimension finie possèdent une base par des arguments élémentaires, et les espaces vectoriels arbitraires en ont une en supposant l'axiome du choix. Une base permet d'écrire chaque vecteur de manière unique comme une combinaison de vecteurs de base.

En quoi un espace vectoriel diffère-t-il d'un module ?

Un espace vectoriel est un module dont les scalaires proviennent d'un corps. Sur un corps, tout module possède une base et se comporte de manière uniforme ; sur un anneau général, cela n'est pas toujours vrai, ce qui distingue la théorie des modules de l'algèbre linéaire.