Espace pseudo-euclidienEn mathématiques, et plus particulièrement en géométrie, un espace pseudo-euclidien est une extension du concept d'espace euclidien, c'est-à-dire que c'est un espace vectoriel muni d'une forme bilinéaire (qui définirait la métrique dans le cas d'un espace euclidien), mais cette forme n'est pas définie positive, ni même positive. L'espace de Minkowski est un exemple d'espace pseudo-euclidien. Dans les espaces euclidiens, les notions de métrique et d'orthogonalité sont construites par l'adjonction d'un produit scalaire à un espace vectoriel réel de dimension finie.
Symétrie centralethumb|upright=0.7|Symétrie centrale plane dans une carte à jouer : sur la carte figure le roi de cœur et son symétrique par rapport au centre de cette dernière. En géométrie, une symétrie centrale est une transformation d'un espace affine. Elle se réalise à partir d'un point fixe noté Ω appelé centre de symétrie. Elle transforme tout point M en un point M' tel que le point Ω soit le milieu du segment [MM']. En termes de vecteurs, cela se traduit par : Comme toute symétrie, c'est une involution, c'est-à-dire qu'on retrouve le point ou la figure de départ si on l'applique deux fois.
Longueur d'un moduleLa longueur d'un module M sur un anneau A est un entier naturel ou l'infini. Elle généralise d'une certaine manière la notion de dimension d'un espace vectoriel sur un corps. Les modules de longueur finie ont beaucoup de particularités généralisant celles des espaces vectoriels de dimension finie. Les modules simples sont les modules M non nuls qui n'ont pas d'autres sous-modules que {0} et M. Par exemple, un espace vectoriel est simple en tant que module si et seulement si c'est une droite vectorielle.
Espace tangentL'espace tangent en un point p d'une variété différentielle M est un espace vectoriel qui intuitivement est l'ensemble de tous les vecteurs-vitesse possibles d'un « mobile » se déplaçant (sans pouvoir la quitter) dans la variété M quand il est en p. Une façon commune en physique de décrire l'espace tangent est de dire que les vecteurs qu'il contient représentent les différences entre ce point et des points de la variété infiniment proches du premier.
Relation d'équivalenceEn mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d'éléments qui se ressemblent, définissant ainsi la notion de classe d'équivalence, pour enfin construire de nouveaux ensembles en « assimilant » les éléments similaires à un seul et même élément. On aboutit alors à la notion d'ensemble quotient. vignette|upright=1.5|Sur cet ensemble de huit exemplaires de livres, la relation « .
Tenseur métriqueEn géométrie, et plus particulièrement en géométrie différentielle, le tenseur métrique est un tenseur d'ordre 2 permettant de définir le produit scalaire de deux vecteurs en chaque point d'un espace, et qui est utilisé pour la mesure des longueurs et des angles. Il généralise le théorème de Pythagore. Dans un système de coordonnées donné, le tenseur métrique peut se représenter comme une matrice symétrique, généralement notée , pour ne pas confondre la matrice (en majuscule) et le tenseur métrique g.
IsométrieEn géométrie, une isométrie est une transformation, qui conserve les longueurs et les mesures d’angles, délimités par deux demi‐droites ou bien deux demi‐plans. Autrement dit, une isométrie est une similitude particulière, qui reproduit n’importe quelle figure à l’échelle 1. Ce rapport 1 de longueurs s’appelle le rapport de la similitude. Comme une similitude, une isométrie dite directe conserve l’orientation des figures, tandis qu’une isométrie indirecte inverse leur orientation.
One-dimensional symmetry groupA one-dimensional symmetry group is a mathematical group that describes symmetries in one dimension (1D). A pattern in 1D can be represented as a function f(x) for, say, the color at position x. The only nontrivial point group in 1D is a simple reflection. It can be represented by the simplest Coxeter group, A1, [ ], or Coxeter-Dynkin diagram . Affine symmetry groups represent translation. Isometries which leave the function unchanged are translations x + a with a such that f(x + a) = f(x) and reflections a − x with a such that f(a − x) = f(x).
Fibré tangent unitaireIn Riemannian geometry, the unit tangent bundle of a Riemannian manifold (M, g), denoted by T1M, UT(M) or simply UTM, is the unit sphere bundle for the tangent bundle T(M). It is a fiber bundle over M whose fiber at each point is the unit sphere in the tangent bundle: where Tx(M) denotes the tangent space to M at x. Thus, elements of UT(M) are pairs (x, v), where x is some point of the manifold and v is some tangent direction (of unit length) to the manifold at x.
Free presentationIn algebra, a free presentation of a module M over a commutative ring R is an exact sequence of R-modules: Note the image under g of the standard basis generates M. In particular, if J is finite, then M is a finitely generated module. If I and J are finite sets, then the presentation is called a finite presentation; a module is called finitely presented if it admits a finite presentation. Since f is a module homomorphism between free modules, it can be visualized as an (infinite) matrix with entries in R and M as its cokernel.
