Algèbre linéaire
L'algèbre linéaire étudie les espaces vectoriels et les applications linéaires entre eux, fournissant le fondement computationnel et conceptuel pour l'essentiel de la science quantitative et constituant un chapitre central de l'algèbre abstraite.
Definition
L'algèbre linéaire est l'étude des espaces vectoriels sur un corps et des transformations linéaires entre eux, ainsi que la représentation de ces transformations par des matrices et leur classification à équivalence et similarité près.
Scope
Ce domaine couvre les espaces vectoriels, les bases et la dimension, les transformations linéaires et leurs matrices, les noyaux et les images, les valeurs propres et les vecteurs propres, la diagonalisation, les espaces à produit scalaire, le théorème spectral, et les formes canoniques telles que les formes de Jordan et rationnelle. Il aborde à la fois la théorie concrète des matrices et le point de vue structurel indépendant des coordonnées.
Sub-topics
Core questions
- Quelle est la dimension d'un espace vectoriel et comment les bases sont-elles liées les unes aux autres ?
- Comment une transformation linéaire est-elle représentée par une matrice, et comment cette représentation change-t-elle lors d'un changement de base ?
- Quand un opérateur linéaire peut-il être diagonalisé, et quelle forme canonique admet-il sinon ?
- Comment les produits scalaires et l'orthogonalité affinent-ils la structure d'un espace vectoriel ?
Key theories
- Théorème du rang
- Pour une application linéaire entre des espaces de dimension finie, la dimension de l'espace de départ est égale à la somme du rang (dimension de l'image) et de la nullité (dimension du noyau), reliant ainsi la résolubilité des systèmes linéaires et le dénombrement des dimensions.
- Théorème spectral
- Un opérateur auto-adjoint (ou normal) sur un espace à produit scalaire de dimension finie admet une base orthonormée de vecteurs propres et est donc diagonalisable par un changement de base unitaire.
- Formes canoniques de Jordan et rationnelle
- Tout opérateur linéaire sur un espace de dimension finie sur un corps est similaire à une matrice canonique unique (forme de Jordan sur un corps algébriquement clos, forme canonique rationnelle sur n'importe quel corps) déterminée par des facteurs invariants, classifiant les opérateurs à similarité près.
Clinical relevance
L'algèbre linéaire est le pilier des mathématiques appliquées : elle sous-tend le calcul numérique, l'optimisation, les statistiques et la régression, la mécanique quantique, l'infographie, l'apprentissage automatique et le traitement du signal, où les données et opérateurs de haute dimension sont modélisés comme des vecteurs et des matrices.
History
L'algèbre linéaire a émergé de l'étude des systèmes d'équations linéaires et des déterminants, a été formalisée sous forme matricielle par Cayley et Sylvester au milieu du XIXe siècle, et a été abstraite en théorie des espaces vectoriels par Grassmann, Peano et d'autres. La théorie des valeurs propres et la théorie spectrale ont mûri parallèlement au développement de l'analyse fonctionnelle et de la mécanique quantique.
Key figures
- Arthur Cayley
- James Joseph Sylvester
- Camille Jordan
- Hermann Grassmann
- David Hilbert
Related topics
Seminal works
- hoffman1971
- roman2008
- lang2002
Frequently asked questions
- Comment l'algèbre linéaire est-elle liée à la théorie des modules ?
- Un espace vectoriel est précisément un module sur un corps. La théorie des modules généralise l'algèbre linéaire aux coefficients dans un anneau arbitraire, où des phénomènes tels que l'absence de base peuvent apparaître ; la théorie des formes canoniques pour les opérateurs est un cas particulier du théorème de structure pour les modules sur un anneau principal.
- Quand une matrice peut-elle être diagonalisée ?
- Une matrice carrée est diagonalisable sur un corps si et seulement si son polynôme minimal se scinde en facteurs linéaires distincts sur ce corps, ce qui est équivalent à l'existence d'une base de vecteurs propres. Sinon, la forme représentative standard la plus proche est sa forme canonique de Jordan ou rationnelle.