Algèbre linéaire

L'algèbre linéaire est la branche des mathématiques qui s'intéresse à l'étude des espaces vectoriels, de leurs éléments les vecteurs, des transformations linéaires et des systèmes d'équations linéaires.



Catégories :

Algèbre linéaire

Recherche sur Google Images :


Source image : prepaconcoursb.ensat.fr
Cette image est un résultat de recherche de Google Image. Elle est peut-être réduite par rapport à l'originale et/ou protégée par des droits d'auteur.

Page(s) en rapport avec ce sujet :

  • L'algèbre linéaire est la branche des mathématiques qui s'intéresse à l'étude des espaces... Un espace vectoriel de dimension n est nommé un n-espace.... (source : techno-science)
  • ... Une bonne connaissance de l'algèbre linéaire est principale en Mathématiques... R et des espaces vectoriels réels de dimension finie... (source : meca.unicaen)
  • L'algèbre linéaire est née (au 19ème siècle) du désir de systématiser et ...... 16 (?) Soit deux plans vectoriels différents d'un espace de dimension 3.... (source : denisfeldmann)

L'algèbre linéaire est la branche des mathématiques qui s'intéresse à l'étude des espaces vectoriels (ou espaces linéaires), de leurs éléments les vecteurs, des transformations linéaires et des systèmes d'équations linéaires (théorie des matrices).

Histoire

L'histoire de l'algèbre linéaire débute avec René Descartes qui le premier pose des problèmes de géométrie, comme l'intersection de deux droites, sous forme d'équation linéaire. Il établit alors un pont entre deux branches mathématiques jusqu'désormais scindées : l'algèbre et la géométrie. S'il ne définit pas la notion de base de l'algèbre linéaire qui est l'espace vectoriel, il l'utilise déjà avec succès. Après cette découverte, les progrès en algèbre linéaire vont se limiter à des études ponctuelles comme la définition et l'analyse des premières propriétés des déterminants par Jean d'Alembert.

Ce n'est qu'au XIXe siècle que l'algèbre linéaire devient une branche des mathématiques à part entière. Carl Friedrich Gauss trouve une méthode générique pour la résolution des dispositifs d'équations linéaires, Marie Ennemond Camille Jordan résout définitivement le problème de la réduction d'endomorphisme. En 1843, William Rowan Hamilton (inventeur du terme vector) découvre les quaternions. En 1844, Hermann Grassmann publie un ouvrage Die lineare Ausdehnungslehre.

Le début du XXe siècle voit l'apparition de la formalisation moderne des mathématiques. Les espaces vectoriels deviennent alors une structure générale omni-présente dans presque l'ensemble des domaines mathématiques.

Intérêt

Sous leur forme la plus simple, les espaces vectoriels représentent intuitivement les déplacements dans les espaces géométriques élémentaires comme la droite, le plan ou notre espace physique. Les bases de cette théorie remplacent désormais la représentation construite par Euclide au IIIe siècle av. J. -C. . La construction moderne sert à généraliser la notion d'espace à des dimensions quelconques.

L'algèbre linéaire sert à résoudre tout un ensemble d'équations dites linéaires utilisées non seulement en mathématiques ou en mécanique, mais dans de nombreuses autres branches comme les sciences naturelles ou les sciences sociales.

Les espaces vectoriels forment aussi un outil essentiel pour les sciences de l'ingénieur et servent de base à de nombreux domaines dans la recherche opérationnelle.

Enfin, c'est un outil utilisé en mathématiques pour résoudre des problèmes aussi divers que la théorie des groupes, des anneaux ou des corps, l'analyse fonctionnelle, la géométrie différentielle ou la théorie des nombres.

Présentation élémentaire

L'algèbre linéaire débute par l'étude de vecteurs dans les espaces cartésiens de dimension 2 et 3. Un vecteur, ici, est un segment de droite caractérisé à la fois par sa longueur (ou norme), sa direction et son sens. Les vecteurs peuvent alors être utilisés pour représenter certaines entités physiques comme des déplacements, additionnés entre eux ou encore multipliés par des scalaires (nombres), formant ainsi le premier exemple concret d'espace vectoriel.

L'algèbre linéaire moderne a été étendue pour considérer les espaces de dimension arbitraire ou illimitée. Un espace vectoriel de dimension n est nommé un n-espace. La majorité des résultats obtenus dans les 2-espaces et 3-espaces peuvent être étendus aux espaces de dimensions supérieures. Quoique énormément de personnes ne peuvent appréhender correctement un vecteur dans un n-espace, ils sont utiles pour représenter des données. Les vecteurs étant des listes ordonnées à n composantes, on peut manipuler ces données efficacement dans cet environnement. Par exemple en économie, on peut créer et utiliser des vecteurs à huit dimensions pour représenter le produit national brut de huit pays.

Quelques théorèmes

\text{Dim} (E + G) = \text{Dim} (E) + \text{Dim} (G) - \text{Dim} (E \cap G)

D'autres théorèmes concernent les conditions d'inversion de matrices de divers types :

Un théorème intéressant à l'époque des mémoires d'ordinateurs de petite taille était qu'on pouvait travailler scindément sur des sous-ensembles («blocs») d'une matrice en les combinant ensuite par les mêmes règles qu'on utilise pour combiner des scalaires dans les matrices. Avec les mémoires actuelles de plusieurs gigaoctets, cette question a perdu légèrement de son intérêt pratique, mais reste particulièrement prisée en théorie des nombres, pour la décomposition en produit de facteurs premiers avec le crible général de corps de nombres (GNFS) (méthode Lanczos par blocs).

Utilisations

Les espaces vectoriels forment le support et le fondement de l'algèbre linéaire. Ils sont aussi présents dans de nombreux domaines différents. S'il n'est pas envisageable d'indiquer ici l'ensemble des cas d'utilisation, on peut tout de même citer pour les principales structures objet de théories, des exemples significatifs. Leurs rôles dans de vastes théories ne traitant pas d'une structure spécifique, comme celles des nombres algébriques ou de Galois peuvent aussi être évoqués.

Les espaces vectoriels utilisés sont d'une grande diversité. On y trouve les classiques espaces vectoriels de dimension deux et trois sur les nombres réels, cependant la dimension peut être quelconque, même illimité. Les nombres complexes sont aussi particulièrement utilisés, mais aussi les rationnels. Il n'est pas rare qu'une partie des nombres réels ou complexes soit reconnu comme un espace vectoriel rationnel. Le corps de base peut aussi contenir un nombre fini d'éléments, définissant quelquefois un espace vectoriel dont le cardinal est fini.

Les propriétés géométriques de la structure permettent la démonstration de nombreux théorèmes. Elles ne se limitent pas aux cas où l'espace est réel, même dans le cas de corps plus insolites comme les corps finis ou les extensions finies des rationnels, les propriétés géométriques s'avèrent quelquefois principales.

Groupe fini

Article détaillé : Représentations d'un groupe fini.
Représentation du groupe symétrique d'ordre quatre comme groupe des rotations du cube dans un espace vectoriel de dimension trois.

La classification des groupes finis est une vaste question, toujours objet de recherche. Si le groupe contient un petit nombre d'éléments, les théorèmes de Sylow peuvent suffire pour en déterminer la structure. Une méthode bien plus puissante est indispensable dans le cas général.

Georg Frobenius (1849-1917) , suite à travaux de Richard Dedekind (1831 1916) développe une nouvelle théorie[1] en 1896. Elle se fonde sur l'idée que la totalité des symétries d'un espace vectoriel possède une structure de groupe. Il est toujours envisageable de représenter un groupe fini par des symétries bien choisies sur un espace vectoriel de dimension suffisante. Un groupe est ainsi incarné par des transformations géométriques simples. Une telle incarnation prend le nom de représentation d'un groupe.

Les espaces vectoriels choisis sont de dimension finie, généralement sur le corps des complexes[2], cependant pour disposer de bonnes propriétés arithmétiques le corps peut être celui des rationnels[3] ou encore utiliser des entiers algébriques comme pour la démonstration du théorème de William Burnside (1852-1927) sur les groupes résolubles[4]. Richard Brauer (1901-1977) étudie un cas particulièrement abstrait, celui des représentations sur un espace vectoriel construit avec un corps fini[5].

Un exemple assez simple d'utilisation de cette théorie est donné par Burnside, avec son théorème sur les groupes de type fini et d'exposant fini[6].

Anneau

Article détaillé : théorie des anneaux.
Emmy Nœther utilise la notion d'espace vectoriel pour étudier les anneaux portant désormais son nom.

Un exemple célèbre d'anneau disposant aussi d'une structure d'espace vectoriel est celui des polynômes à cœfficients dans un corps. Cet espace vectoriel, de dimension illimitée, est beaucoup utilisé en algèbre linéaire, à travers par exemple le polynôme minimal ou caractéristique. Le morphisme canonique entre les polynômes et les applications linéaires d'un espace vectoriel est à l'origine d'une structure d'algèbre qui est un anneau, si la multiplication externe est oubliée.

Cette méthode permet d'élucider la structure de certains anneaux. Si la caractéristique d'un anneau est soit nulle soit égale à un nombre premier, alors l'anneau est aussi un espace vectoriel sur tout sous-anneau disposant d'une structure de corps. C'est par exemple le cas du plus petit sous-anneau contenant l'unité. L'espace vectoriel est comparable à la structure développée par Grassman. Cette remarque est utilisée au début du XXe siècle, surtout par Emil Artin (1898 - 1962) et Emmy Nœther (1882 - 1935) pour élucider cette structure dans le cas des anneaux artiniens et nœthériens, qui sont des copies de sous-algèbres sur un espace vectoriel construit sur sous-anneau qui s'avère être un corps.

Un exemple est la généralisation du théorème de Joseph Wedderburn (1882 - 1948) par Artin et portant désormais le nom d'Artin-Wedderburn. Il est important pour l'étude des algèbres non commutatives, ce théorème permet, par exemple, de construire le corps des quaternions avec une représentation du groupe associé sur un espace vectoriel réel de dimension quatre.

Théorie de Galois

Article détaillé : Théorie de Galois.
Un pentagone en théorie de Galois est une figure d'un espace vectoriel rationnel de dimension quatre. Le fait que la dimension soit une puissance de deux est une condition indispensable pour une construction à la règle et au compas.

La théorie de Galois contient de nombreux exemples d'espaces vectoriels. Elle consiste à étudier un corps comme un espace vectoriel sur un sous-corps. Ainsi chaque sous-corps sert à considérer la structure d'origine comme un espace vectoriel spécifique.

Un exemple d'application est celui des figures constructible à la règle et au compas. Ces points forment un corps disposant d'une structure d'espace vectoriel sur les nombres rationnels. Il est de dimension illimitée et , pour chaque points, le plus petit sous-corps le contenant est de dimension finie égale à une puissance de deux. Un tel sous-corps est nommé une tour d'extension quadratique. Cette propriété de ces espaces vectoriel sert à résoudre d'antiques conjectures comme la duplication du cube, la trisection de l'angle ou la construction d'un polygone régulier.

L'exemple historique de la théorie est celui de la résolution d'une équation polynomiale. Le théorème d'Abel donne une condition indispensable et suffisante de résolution par radicaux. Les espaces vectoriels utilisés ont pour éléments ceux du plus petit corps L contenant l'ensemble des cœfficients du polynôme mais aussi ses racines et le corps sous-jacent est un sous-corps K du premier contenant l'ensemble des cœfficients. Le groupe de Galois se compose des automorphismes du corps L et laissant invariant le corps K. Il correspond à un nombre fini de symétries de l'espace vectoriel. L'élément clé de la démonstration montre que l'équation est résoluble uniquement si ces symétries sont diagonalisables.

Voir aussi

Références

  1. C. W. Curtis Representation theory of finite groups, from Frobenius to Brauer Math. Intelligencer p 48-57 1992
  2. Les 11 premiers chapitres de Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions] ne concernent que les espaces vectoriels complexes
  3. W. Feit Characters of finite groups W. A. Benjamin Publ, New-York 1967
  4. William Burnside Theory of Groups of Finite Order Dover Publications 2004
  5. Richard Brauer Über die Darstellung von Gruppen in Galoisschen Feldern Act. Sci. Ind. 195 1935
  6. William Burnside On an unsettled question in the theory of discontinuous groups Quart. J. Math. 33 pages 230 à 238 1902

Liens externes

Recherche sur Amazone (livres) :



Ce texte est issu de l'encyclopédie Wikipedia. Vous pouvez consulter sa version originale dans cette encyclopédie à l'adresse http://fr.wikipedia.org/wiki/Alg%C3%A8bre_lin%C3%A9aire.
Voir la liste des contributeurs.
La version présentée ici à été extraite depuis cette source le 10/03/2010.
Ce texte est disponible sous les termes de la licence de documentation libre GNU (GFDL).
La liste des définitions proposées en tête de page est une sélection parmi les résultats obtenus à l'aide de la commande "define:" de Google.
Cette page fait partie du projet Wikibis.
Accueil Recherche Aller au contenuDébut page
ContactContact ImprimerImprimer liens d'évitement et raccourcis clavierAccessibilité
Aller au menu