Groupe unitaireEn mathématiques, le groupe unitaire de degré n sur un corps K relativement à un anti automorphisme involutif (cf. Algèbre involutive) σ de K (par exemple K le corps des nombres complexes et σ la conjugaison) est le groupe des matrices carrées A d'ordre n à coefficients dans K, qui sont unitaires pour σ, c'est-à-dire telles Aσ(tA) = In. Plus généralement, on peut définir le groupe unitaire d'une forme hermitienne ou antihermitienne non dégénérée φ sur un espace vectoriel sur un corps comme étant le groupe des éléments f de GL(E) tels que φ(f(x), f(y)) = φ(x, y) quels que soient les vecteurs x et y de E.
Espace de Hilbertvignette|Une photographie de David Hilbert (1862 - 1943) qui a donné son nom aux espaces dont il est question dans cet article. En mathématiques, un espace de Hilbert est un espace vectoriel réel (resp. complexe) muni d'un produit scalaire euclidien (resp. hermitien), qui permet de mesurer des longueurs et des angles et de définir une orthogonalité. De plus, un espace de Hilbert est complet, ce qui permet d'y appliquer des techniques d'analyse. Ces espaces doivent leur nom au mathématicien allemand David Hilbert.
Foncteur représentableOn rencontre en mathématiques de nombreuses propriétés universelles. Le formalisme des catégories permet d'exprimer ces propriétés de façon très simple. Soit une catégorie localement petite et F un foncteur contravariant, respectivement covariant, de dans Ens (catégorie des ensembles). On dit que F est représentable s'il existe un objet X de tel que F soit isomorphe au foncteur , respectivement au foncteur . Les transformations naturelles de dans F correspondent bijectivement aux éléments de .
Théorème de l'indice d'Atiyah-SingerEn mathématiques, et plus précisément en géométrie différentielle, le théorème de l'indice d'Atiyah-Singer, démontré par Michael Atiyah et Isadore Singer en 1963, affirme que pour un opérateur différentiel elliptique sur une variété différentielle compacte, l’indice analytique (lié à la dimension de l'espace des solutions) est égal à l’indice topologique (défini à partir d'invariants topologiques). De nombreux autres théorèmes, comme le théorème de Riemann-Roch, en sont des cas particuliers, et il a des applications en physique théorique.
CobordismeEn topologie différentielle, le cobordisme est une relation d'équivalence entre variétés différentielles compactes. Deux variétés compactes M et N sont dites cobordantes ou en cobordisme si leur réunion disjointe peut être réalisée comme le bord d'une variété à bord compacte L. On dit alors que cette variété L est un cobordisme entre M et N, ou bien que L réalise un cobordisme entre M et N. L'existence d'un tel cobordisme implique que M et N soient de même dimension.
