Ordered geometryOrdered geometry is a form of geometry featuring the concept of intermediacy (or "betweenness") but, like projective geometry, omitting the basic notion of measurement. Ordered geometry is a fundamental geometry forming a common framework for affine, Euclidean, absolute, and hyperbolic geometry (but not for projective geometry). Moritz Pasch first defined a geometry without reference to measurement in 1882. His axioms were improved upon by Peano (1889), Hilbert (1899), and Veblen (1904).
Demi-plan de PoincaréLe demi-plan de Poincaré est un sous-ensemble des nombres complexes. Il a permis au mathématicien français Henri Poincaré d'éclairer les travaux du Russe Nikolaï Lobatchevski. Le demi-plan de Poincaré est formé par les nombres complexes de partie imaginaire strictement positive. Il fournit un exemple de géométrie non euclidienne, plus précisément de géométrie hyperbolique. On considère le demi-plan supérieur : On munit le demi-plan supérieur de la métrique : Cette métrique possède une courbure scalaire constante négative : On se ramène usuellement au cas d'une courbure unité, c’est-à-dire qu'on choisit : a = 1 pour simplifier les équations.
Application projectiveEn mathématiques, une application projective est une application entre deux espaces projectifs qui préserve la structure projective, c'est-à-dire qui envoie les droites, plans, espaces... en des droites, plans, espaces. ➪ Fichier:France homographie (1).gif Une application projective bijective s'appelle une homographie. Rappelons que la définition moderne d'un espace projectif est d'être un ensemble dont les points sont les droites vectorielles d'un -espace vectoriel .
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 de symétrieLe groupe de symétrie, ou groupe des isométries, d'un objet (, signal, etc.) est le groupe de toutes les isométries sous lesquelles cet objet est globalement invariant, l'opération de ce groupe étant la composition. C'est un sous-groupe du groupe euclidien, qui est le groupe des isométries de l'espace affine euclidien ambiant. (Si cela n'est pas indiqué, nous considérons ici les groupes de symétrie en géométrie euclidienne, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous.
SymétrieLa symétrie est une propriété d'un système : c'est lorsque deux parties sont semblables. L'exemple le plus connu est la symétrie en géométrie. De manière générale, un système est symétrique quand on peut permuter ses éléments en laissant sa forme inchangée. Le concept d'automorphisme permet de préciser cette définition. Un papillon, par exemple, est symétrique parce qu'on peut permuter tous les points de la moitié gauche de son corps avec tous les points de la moitié droite sans que son apparence soit modifiée.
Structure (mathématiques)En mathématiques, une structure est une théorie plus forte que la théorie des ensembles, c'est-à-dire une théorie qui en contient tous les axiomes, signes et règles. C'est donc une théorie fondée sur la théorie des ensembles, mais contenant également des contraintes supplémentaires, qui lui sont propres, et qui permettent également de définir de nouvelles structures qu'elle inclut. Cette notion est ainsi une puissante contribution à l'hypothèse selon laquelle la théorie des ensembles fournit le fondement des mathématiques.
Groupe affineLes automorphismes d'un espace affine A constituent un groupe appelé groupe affine de A et noté GA(A). En notant E l'espace vectoriel qui dirige A, l'application qui à tout automorphisme u de A fait correspondre l'automorphisme f de E associé à u est un morphisme du groupe affine GA(A) dans le groupe linéaire GL(E). Son noyau forme le groupe des translations. GA(A) est isomorphe au produit semi-direct du groupe additif de E par GL(E). Il est donc engendré par les translations, les transvections et les dilatations.
Nicolas BourbakiNicolas Bourbaki est un mathématicien imaginaire, sous le nom duquel un groupe de mathématiciens francophones, formé en 1935 à Besse (aujourd'hui Besse-et-Saint-Anastaise) en Auvergne sous l'impulsion d'André Weil, a commencé à écrire et à éditer des textes mathématiques à la fin des . L'objectif premier était la rédaction d'un traité d'analyse. Le groupe s'est constitué en association, lAssociation des collaborateurs de Nicolas Bourbaki, le . Sa composition a évolué avec un renouvellement constant de générations.
