Théorème de Frobenius généraliséEn mathématiques, diverses versions de théorèmes de Frobenius généralisés ont étendu progressivement le théorème de Frobenius de 1877. Ce sont des théorèmes d'algèbre générale qui classifient les algèbres unifères à division de dimension finie sur le corps commutatif R des réels. Moyennant certaines restrictions, il n'y en a que quatre : R lui-même, C (complexes), H (quaternions) et O (octonions). Toutes les algèbres sont ici implicitement supposées unifères, et leur unicité s'entend à isomorphisme près.
Algèbre de compositionEn mathématiques, les algèbres de composition sur un corps commutatif sont des structures algébriques qui généralisent simultanément le corps des nombres complexes, le corps non commutatif des quaternions de Hamilton et l'algèbre des octonions de Cayley. Dans cet article, on note K un corps commutatif (de caractéristique quelconque), et les algèbres ne sont pas supposées être associatives ni – a priori du moins – de dimension finie.
BiquaternionEn mathématiques, un biquaternion (ou quaternion complexe) est un élément de l'algèbre des quaternions sur les nombres complexes. Le concept d'un biquaternion fut mentionné la première fois par William Rowan Hamilton au . William Kingdon Clifford utilisa le même nom à propos d'une algèbre différente. biquaternion de Clifford Il y a aussi une autre notion de biquaternions, distincte : une algèbre de biquaternions sur un corps commutatif K est une algèbre qui est isomorphe au produit tensoriel de deux algèbres de quaternions sur K (sa dimension est 16 sur K, et non pas 8 sur R).
Linear complex structureIn mathematics, a complex structure on a real vector space V is an automorphism of V that squares to the minus identity, −I. Such a structure on V allows one to define multiplication by complex scalars in a canonical fashion so as to regard V as a complex vector space. Every complex vector space can be equipped with a compatible complex structure, however, there is in general no canonical such structure. Complex structures have applications in representation theory as well as in complex geometry where they play an essential role in the definition of almost complex manifolds, by contrast to complex manifolds.
Espace vectoriel symplectiqueEn algèbre, un espace vectoriel est symplectique quand on le munit d'une forme symplectique, c'est-à-dire une forme bilinéaire alternée et non dégénérée. L'étude de ces espaces vectoriels présente quelques ressemblances avec l'étude des espaces préhilbertiens réels puisqu'on y définit également la notion d'orthogonalité. Mais il y a de fortes différences, ne serait-ce que parce que tout vecteur est orthogonal à lui-même. Les espaces vectoriels symplectiques servent de modèles pour définir les variétés symplectiques, étudiées en géométrie symplectique.
Matrice de DiracLes matrices de Dirac sont des matrices qui furent introduites par Paul Dirac, lors de la recherche d'une équation d'onde relativiste de l'électron. Le pendant relativiste de l'équation de Schrödinger est l'équation de Klein-Gordon. Celle-ci décrit des particules de spin 0 et ne convient pas pour les électrons qui sont de spin 1/2. Dirac essaya alors de trouver une équation linéaire comme celle de Schrödinger sous la forme : où est une fonction d'onde vectorielle, la masse de la particule, l'hamiltonien, sont respectivement un vecteur de matrices hermitiques et une matrice hermitique, et i désigne l'unité imaginaire.
Matrice (mathématiques)thumb|upright=1.5 En mathématiques, les matrices sont des tableaux d'éléments (nombres, caractères) qui servent à interpréter en termes calculatoires, et donc opérationnels, les résultats théoriques de l'algèbre linéaire et même de l'algèbre bilinéaire. Toutes les disciplines étudiant des phénomènes linéaires utilisent les matrices. Quant aux phénomènes non linéaires, on en donne souvent des approximations linéaires, comme en optique géométrique avec les approximations de Gauss.
