Mouvement (géométrie)

En géométrie différentielle, un difféomorphisme est qualifié de mouvement s'il induit une isométrie entre l'espace tangent en un point collecteur et l'espace tangent à l'image de ce point collecteur^[3],[4].

Summarize Timeline Top Qs Fact Check

Pour une géométrie donnée, l'ensemble des mouvements forme un groupe composant des cartographies. Ce groupe de mouvements est connu pour ses propriétés. Par exemple, le groupe euclidien est remarqué pour le sous-groupe normal de translations. Dans le plan, un mouvement euclidien direct est soit une translation, soit une rotation, tandis que dans l'espace tout mouvement euclidien direct peut être exprimé comme un déplacement de vis selon le théorème de Chasles. Lorsque l'espace sous-jacent est une variété riemannienne, le groupe de mouvements est un groupe de Lie. De plus, la variété a une courbure constante si et seulement si, pour chaque paire de points et chaque isométrie, il existe un mouvement liant un point à l'autre pour lequel le mouvement induit l'isométrie ^[5].

L'idée d'un groupe de mouvements pour la relativité restreinte a introduit les mouvements qualifiés de lorentziens. Autre exemple, des idées fondamentales ont été exposées pour un plan caractérisé par la forme quadratique ${\displaystyle \ x^{2}-y^{2}\ }$ dans le mensuel mathématique américain The American Mathematical Monthly ^[6]. Les mouvements de l'espace de Minkowski ont été décrits par Sergei Novikov en 2006 ^[7] :

Le principe physique de vitesse constante de la lumière s'exprime par l'exigence que le passage d'un référentiel inertiel à un autre soit déterminé par un mouvement de l'espace de Minkowski, c'est-à-dire par une transformation

${\displaystyle \phi :R^{1,3}\mapsto R^{1,3}}$

préserver les intervalles spatio-temporels. Cela signifie que

${\displaystyle \langle \phi (x)-\phi (y),\ \phi (x)-\phi (y)\rangle \ =\ \langle x-y,\ x-y\rangle }$

pour chaque paire de points x et y dans R ^1,3 .

Une première approche du rôle du mouvement en géométrie a été donnée par Alhazen (965 à 1039). Son ouvrage « L'espace et sa nature » ^[8] utilise les dimensions comparées d'un corps mobile pour quantifier le vide de l'espace imaginaire. Il a été critiqué par Omar Khayyam qui a souligné qu'Aristote avait condamné l'utilisation du mouvement en géométrie ^[9].

Au XIXe siècle , Felix Klein est devenu un partisan de la théorie des groupes ce qui lui a permis de classer les géométries selon leurs « groupes de mouvements ». Il a proposé d'utiliser des groupes de symétrie dans son programme d'Erlangen, suggestion largement adoptée par la suite. Il a noté que toute congruence euclidienne est une application affine, et que chacune d'elles est une transformation projective ; donc le groupe des projections contient le groupe des applications affines, qui à son tour contient le groupe des congruences euclidiennes. Le terme mouvement, plus court que transformation, permet de mieux souligner les adjectifs associés : projectif, affine, euclidien. Le contexte s'est ainsi élargi, à tel point qu'« en topologie, les mouvements autorisés sont des déformations continues inversibles que l'on pourrait appeler des mouvements élastiques » ^[10].

Le domaine de la cinématique a une approche permettant de traduire le mouvement physique en une expression sous forme de transformation mathématique. Souvent, la transformation peut être écrite en utilisant l'algèbre vectorielle et la cartographie linéaire. Un exemple simple est une rotation autour d'un axe écrit sous la forme d’une multiplication de nombres complexes : ${\displaystyle z\mapsto \omega z\ }$ où ${\displaystyle \ \omega =\cos \theta +i\sin \theta ,\quad i^{2}=-1}$. La rotation dans l'espace est obtenue grâce à l'utilisation de quaternions et les transformations de Lorentz de l'espace-temps grâce à l'utilisation de biquaternions. Au début du XXe siècle, les systèmes numériques hypercomplexes ont été étudiés. Plus tard, leurs groupes d'automorphisme ont conduit à des groupes exceptionnels tels que G2.

Dans les années 1890, les logiciens réduisaient les notions primitives de géométrie synthétique à un minimum absolu. Giuseppe Peano et Mario Pieri ont utilisé l'expression mouvement pour souligner la congruence des paires de points. Alessandro Padoa a réalisé la réduction des notions primitives à de simples points et mouvements dans son rapport au Congrès international de philosophie de 1900. C'est lors de ce congrès que Bertrand Russell découvrit la logique contemporaine à travers Giuseppe Peano. Dans son livre Principes de mathématiques (1903), Russell considère un mouvement comme une isométrie euclidienne qui préserve l'orientation ^[11].

En 1914, D.M.Y. Sommerville a utilisé l'idée d'un mouvement géométrique pour établir celle de distance de la géométrie hyperbolique dans son livre Elements of Non-Euclidean Geometry^[12]. Il explique:

Par mouvement ou déplacement au sens général, on n'entend pas un changement de position d'un seul point ou d'une figure limitée, mais un déplacement de tout l'espace, ou, s'il s'agit seulement de deux dimensions, de tout le plan. Un mouvement est une transformation qui change chaque point P en un autre point P ′ de telle sorte que les distances et les angles restent inchangés.