Groupe de Poincaré (transformations)Le groupe de Poincaré ou symétrie de Poincaré est l'ensemble des isométries de l'espace-temps de Minkowski. Il a la propriété d'être un groupe de Lie non compact à 10 dimensions. Sa version complète inclut quatre types de symétrie : les translations (c'est-à-dire les déplacements) dans le temps et l'espace, formant le groupe de Lie abélien des translations sur l'espace-temps ; les rotations dans l'espace, qui forment le groupe de Lie non abélien des rotations tridimensionnelles ; les transformations de Lorentz propres et orthochrones, laissant inchangés le sens du temps et l'orientation de l'espace ; le renversement du temps T et la parité P (renversement des coordonnées d'espace), qui forment un groupe discret (Id ; T ; P ; PT).
Groupe compactEn mathématiques, et plus particulièrement en analyse harmonique abstraite, un groupe compact est un groupe topologique dont l'espace topologique sous-jacent est compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l'étude. Ces groupes comprennent notamment les groupes finis et les groupes de Lie compacts. Tout groupe compact est limite projective de groupes de Lie compacts. Tout groupe discret fini est un groupe compact. En effet, tout espace discret fini est compact.
DifféomorphismeEn mathématiques, un difféomorphisme est un isomorphisme dans la catégorie usuelle des variétés différentielles : c'est une bijection différentiable d'une variété dans une autre, dont la bijection réciproque est aussi différentiable. vignette|Image d'une grille à maille carrée par un difféomorphisme du carré dans lui-même. Soient : E et F deux espaces vectoriels normés réels de dimension finie ; U un ouvert de E, V un ouvert de F ; f une application de U dans V.
AutomorphismeUn automorphisme est un isomorphisme d'un objet mathématique X dans lui-même. Le plus souvent, c'est une bijection de X dans X qui préserve la « structure » de X. On peut le voir comme une symétrie de X. Les automorphismes de X forment un groupe. La définition abstraite d'un automorphisme est la suivante : c'est un endomorphisme qui est en même temps un isomorphisme. Autrement dit, c'est un morphisme d'un objet X d'une catégorie donnée dans lui-même, qui est également un isomorphisme.
