Dduction axiomatique

Postulats Continuit L'espace-temps est continu. C'est--dire qu'on peut avoir deux vnements aussi proche que l'on veut ou, ce qui revient au mme, deux points dont les coordonnes sont diffrentes de quantits aussi petites que l'on veut. Idalement les diffrences peuvent tre infinitsimales. On a vu qu'on pouvait considrer cela comme valide au moins dans la limite de prcision de nos mesures qui, d'ailleurs, ne montrent aucune discontinuit dans l'espace-temps. Les diffrences infinitsimales sont un idal qui facilite la vie en mathmatique (d'ailleurs lever ce postulat n'a rien d'vident) mais si l'on considre cela comme trop idalis, rien n'empche de considrer des diffrences extrmement petites, mais non nulles, infrieures la meilleure prcision disponible. Dans ce cas, toutes les manipulations sur ces quantits reviennent au mme que celles pratiques sur les infinitsimaux comme x = x + dx puisque le minuscule cart ne peut tre mesur. Postulat d'application Quand deux observateurs observent le mme espace-temps physique, ils assignent des systmes de coordonnes individuels aux mme points de l'espace-temps physique (c'est dire aux vnements). Il y a une relation entre les assignations qu'ils font (sparment) qui est appele une transformation des coordonnes, habituellement exprime comme un ensemble consistant en formules mathmatiques reliant les valeurs numriques des coordonnes d'un observateur aux coordonnes de l'autre. La transformation des coordonnes d'un systme l'autre doit tre bijective car elles dcrivent le mme espace physique. La transformation doit tre inversible, ce qui est immdiat si elle est bijective (un terme mathmatique qui signifie qu' un seul jeu de coordonnes de l'un correspond un et un seul jeu de coordonnes de l'autre observateur).

Notons que cette correspondance tait dj implicite dans notre description des repres avec plusieurs observateurs.

Les mathmaticiens peuvent s'inquiter sur les conditions pour que cela soit possible. C'est dire quelles contraintes cela impose-t-il aux systmes de coordonnes. Par exemple, dans un espace-temps courbe, il peut y avoir des difficults. Une autre condition est la continuit. Dans un espace-temps non continu, par exemple avec une structure fractale, il peut y avoir des difficults mathmatiques pour tablir une telle correspondance bijective. Mais nous avons adopt cette continuit. Nous supposerons que les systmes physiques satisfont les proprits permettant leur modlisation mathmatique de satisfaire ces rgles. Ce postulat d'application n'est pas vraiment un postulat mais plutt une condition logique et philosophique : nous pouvons comprendre le monde en le modlisant et en traduisant les mesures en donnes numriques et de l en relations mathmatiques. S'il n'y avait aucune relation entre observateurs, chacun ayant un univers totalement dconnect des autres (sans relation causale), plus rien ne pourrait tre prdit. Une modlisation faites par un observateur ne pourrait mme pas tre communique un autre observateur ! En tout cas, un tel univers semble tre trs loign de ce que nous pouvons observer ! Principe de relativit Nous adoptons le principe de relativit dont quelques consquences sont : Tous les repres inertiels sont quivalents. L'espace et le temps sont homognes et isotropes (tous les points et toutes les directions sont quivalents). Si la vitesse du repre K' est gale V par rapport K (mesur dans K), alors la vitesse de K sera gale V par rapport K' (mesur dans K'). Cela ne concerne pas, bien entendu, le "contenu", uniquement la description des lois, par exemple les rgles permettant de passer des coordonnes d'un repre l'autre. Un objet peut trs bien avoir des coordonnes diffrentes et un mouvement diffrent dans chaque repre.

Postulat de groupe Nous recherchons donc les transformations permettant de passer des coordonnes d'un repre K un autre repre K'. Ces transformations vont donc dpendre des relations entre ces deux repres, par exemple de leur vitesse relative.

A chaque paire de repres correspond donc une transformation particulire.

L'ensemble de toutes les transformations possibles doit former un groupe sous la composition par application successive des transformations.

C'est le postulat clef qui permet une drivation gnrale des quations des transformations. Il a quatre consquences importantes : Une transformation identit existe. Elle applique un systme de coordonnes sur luimme.

Cette relation est vidente.

Toute transformation a un inverse qui est aussi une transformation.

Nous avons dj vu que ce rsultat est une consquence du postulat d'application. Le rsultat de l'application de deux transformations successives est aussi une transformation. C'est ce qui est illustr dans la premire illustration ci-dessus.

L'application des trois transformations successives suit la loi de l'associativit.

Notons que nombre de drivations de la Relativit Restreinte qui peuvent tre trouves dans la littrature n'utilisent pas ce postulat. Dans les travaux originaux d'Einstein, en particulier, il utilise une approche plus exprimentale et montre l'importance des symtries en physique, ce qui conduit en fait automatiquement et naturellement la thorie des groupes.

Ce postulat n'est pas ncessaire pour une approche simple mais il sera un outil puissant pour l'approche plus rigoureuse que nous verrons. A nouveau, il ne s'agit pas d'un postulat physique, exprimental. C'est une condition logique, un postulat de consistance. Par exemple, comme le montre la premire illustration, il est vident que la composition des transformations donne galement une transformation. C'est une consquence immdiate de la dfinition de ce que nous appelons transformation des coordonnes. Si les quations dcrivant ces transformations ne respectaient pas ces conditions nous aurions un gros problme de consistance. En fait, ce postulat est rellement une dfinition mathmatique de ce que l'on appelle "transformation des coordonnes". Rappel des groupes Un groupe G est un ensemble d'lments g muni d'une loi de composition et respectant les axiomes suivant : 1) La composition de deux lments du groupe est galement un lment du groupe. g1 , g 2 G : g 2 og1 G 2) Il existe un lment identit i tel que : goi = i og = g 3) Pour tout lment g du groupe il existe un inverse g 1 tel que : gog 1 = g 1og = i 4) La loi de composition est associative : g1og 2 og 3 = ( g1og 2 )og 3 = g 1o( g 2 og 3 ) 5) Si la loi de composition est commutative, g1og 2 = g 2 og1 pour tout lment du groupe, alors le groupe est dit commutatif. Il ne faut pas confondre le groupe et ses lments avec l'espace auquel s'appliquent les lments du groupe. Pour l'illustrer considrons le groupe des permutations de trois objets.

Soit l'ensemble E = {O1 , O2 , O3 } de trois objets et considrons leurs permutations : p1 : O1O2 O3 O1O2 O3 p 2 : O1O2 O3 O1O3O2 p3 : O1O2 O3 O2 O1O3 p 4 : O1O2 O3 O2 O3O1 p5 : O1O2 O3 O3 O1O2 p 6 : O1O2 O3 O3O2 O1 Les permutations leur composition forment, comme on le vrifi aisment, un groupe G = {p1 , p 2 , p3 , p 4 , p5 , p 6 }. Ce groupe est usuellement not P(3) . Mais peut importe les objets auxquels ces permutations s'appliquent. Peut importe l'ensemble E . On peut tudier le groupe P(3) pour lui-mme et tudier sa structure, c'est--dire les lments p1 , p 2 , et leurs rgles de composition. Appliquer le groupe un espace particulier s'appelle une reprsentation du groupe. Il s'agit de faire correspondre les lments du groupe des transformations particulires sur un espace donn (par exemple ici les permutations de trois objets) Ces transformations peuvent prendre toutes sortes de formes mathmatiques. Par exemple, il existe des reprsentations matricielles des groupes. La thorie des groupes est trs puissante et fournit de nombreux outils aux physiciens. En particulier, la thorie des groupes est particulirement utile dans tous les problmes qui traitent des symtries. On identifie souvent un groupe une symtrie. Ainsi la symtrie par rflexion dans un miroir est le groupe P(2) qui est aussi le groupe des permutations de deux objets. Il y a aussi la symtrie par translation associe au groupe U (1) . Ou les symtries par rotation dans l'espace ou groupe O(3) . Et encore bien d'autres.

Application aux coordonnes Voyons maintenant le cas des transformations. C'est donc, selon ce que nous venons de dire, la reprsentation d'un groupe qu'il nous reste encore dcouvrir. Les "objets" auxquels s'appliquent ces transformations sont les systmes de coordonnes. Une transformation T , transforme un systme de coordonnes en un autre. Ou, pour chaque vnement physique, ses coordonnes dans un systme en ses coordonnes dans l'autre. (x , y , z , t ) = T (x, y, z, t ) En pratique une transformation pourrait tre donne par quatre fonctions des quatre coordonnes : x = Tx ( x, y, z , t ) y = T y ( x, y , z , t )

z = Tz ( x, y, z , t ) t = Tt ( x, y, z , t )

La composition de deux transformations est donne par T2 o T1 = T2 (T1 ) . Et en utilisant la reprsentation fonctionnelle, on a simplement, par exemple : x = T1x ( x, y, z , t ) x = T2 x ( x , y , z , t )
x = T2 x (T1x ( x, y, z , t ), T1 y (x, y, z , t ), T1z ( x, y, z , t ), T1t ( x, y, z , t ))

L'ensemble des transformations et leur composition forme une reprsentation du groupe recherch.

Prsentation Rappelons les postulats utiliss ici : Le postulat d'application. Le principe de relativit.

Le postulat de groupe. Le postulat de continuit. Nous utiliserons aussi le postulat d'invariance de la vitesse de la lumire, mais tout la fin. Le rsultat est une transformation gnrale dpendant d'un paramtre arbitraire q . Si ce paramtre est nul, on retrouve les transformations de Galile. Si ce paramtre est positif, on trouve des transformations assez curieuses o le temps se comporte comme l'espace et o les voyages dans le temps sont possibles. Elles ne respectent donc pas la causalit et il est difficile de visualiser un monde qui obirait ces transformations. Si ce paramtre est ngatif (on le relie alors un paramtre c positif), on retrouve les transformations de Lorentz. L'exprience montre que le seul choix possible est l'utilisation des transformations de Lorentz et l'identification du paramtre c avec la vitesse de la lumire dans le vide. C'est pourquoi la plus part des physiciens (si pas tous) croient aujourd'hui en la Relativit Restreinte. Il est impossible de construire une description alternative sans violer un des postulats ou sans carter un trs grand nombre de donnes exprimentales. Si vous croyez que la Relativit Restreinte doit tre fausse (pour quelle que raison que ce soit), reprenez les postulats initiaux et trouvez un dfaut dedans. Cela sera d'autant plus difficile que la plupart de ces postulats n'ont aucune contrainte physique exprimentale mais sont simplement des postulats logiques ou des choix mathmatiques de description du monde sans consquence physique. Einstein a trouv un dfaut dans ces postulats et nous a donn la Relativit Gnrale.

Le dpart d'Einstein fut le postulat d'isotropie et d'homognit (le principe de relativit). Il proposa que l'espace-temps est isotrope et homogne seulement dans une rgion infinitsimale d'un point donn de l'espace-temps. C'est dire qu'en prsence de matire, l'espace-temps n'est pas homogne mais sa gomtrie est affecte par la prsence de matire. Notons plusieurs choses intressantes : Cela n'est pas incompatible avec le principe de relativit. Celui-ci dit qu'une ventuelle inhomognit, par exemple, doit avoir une origine physique et non pas rsulter d'un choix mathmatique. Or la prsence de matire constitue bien un dfaut d'homognit ! La seul chose qu'il faut exiger c'est que les lois soient capables de tenir compte de toutes les situations physiques, de tout contenu en matire. Les quations doivent rester invariantes sous tout changement de coordonnes compatibles avec la prsence de matire. En relativit gnrale, on parle de covariance gnrale ou, pour les mathmaticiens, d'invariance par diffomorphisme. La faille correspondante dans les raisonnements ci-dessous est flagrante : nous avons suppos les vitesses constantes. La drivation reste valable pour toutes vitesses si on considre un intervalle de temps infinitsimal. Et en effet, en relativit gnrale, il est toujours possible de trouver en un point un systme de coordonnes local (dans un voisinage infinitsimal de ce point) qui soit dcrit par la relativit restreinte. Gomtriquement, cela revient dire qu'en tout point de l'espace-temps de la relativit gnrale (l'espace-temps riemannien) il existe un espace-temps de Minkowski tangent (un peu comme un plan tangent une sphre). La relativit gnrale ne remet donc pas en cause la relativit restreinte, elle dit simplement que celle-ci n'est valable que localement et, en l'absence de matire, elle redonne la relativit restreinte. Faire l'inverse, savoir passer d'une gomtrie locale de Minkowski une gomtrie globale n'est pas aussi trivial. La description mathmatique de l'espace ainsi obtenu (la gomtrie de Riemann) est assez complexe. Elle fait appel l'algbre tensorielle et aux varits. Les espaces de Riemann dcrivent des espaces courbes. Et nous avons vu que les outils mathmatiques correspondant sont ardus. Nous aurons l'occasion de les employer mais dans des circonstances plus simples que celles de la relativit gnrale.

La courbure de l'espace-temps n'est gure tonnante car nous n'avons pas impos ici le postulat de gomtrie spatiale euclidienne. Celle-ci revient imposer l'existence de droites (entre autre, c'est un des postulats d'Euclide). Or imposer l'existence gomtrique de droites revient imposer une relation globale (non locale) entre des points spatialement spars (coordonne temporelle identique). Dans un monde o tous les signaux se propagent vitesse finie infrieure c c'est un postulat vraiment arbitraire. Nous n'approfondirons pas plus ici et nous retiendrons que la relativit restreinte est correcte au moins dans une rgion ou la gomtrie d'Euclide s'applique l'espace. Et les transformations de Lorentz sont valides si la vitesse relative est constante ou sinon dans une rgion infinitsimale.

Dduction Cette drivation sera faite avec une seule dimension spatiale. C'est dire pour une coordonne spatiale et une coordonne temporelle. La dduction est similaire quatre dimensions, seulement plus lourde sans exhiber de proprits supplmentaires.
Il y a trois repres de rfrence (ou systmes de coordonnes) qui nous intressent ; ils seront appels K, K' et K" ; leurs coordonnes seront notes respectivement x et t , x et t et x et t . Ils sont choisis tels que les axes x , x et x sont colinaires avec l'origine des systmes de coordonnes qui concident (c'est dire exactement au mme endroit dans l'espace-temps physique) ; c'est dire que les coordonnes x = 0 et t = 0 , x = 0 et t = 0 et x = 0 et t = 0 se rfrent tous au mme vnement dans l'espace-temps rel. Le principe de relativit garantit qu'il n'y a pas de signification particulire au fait que les origines des systmes de coordonnes concident. Les trois repres utiliseront les mmes chelles pour les longueurs et les temps, c'est dire les mmes units. Cela dcoule d'ailleurs naturellement de notre manire de dfinir les talons. Cette condition n'est en fait pas une obligation et il est possible de choisir des talons diffrents dans chaque repre mais au prix d'une plus grande complexit mathmatique.
La diffrence entre les trois repres est dans leur vitesse relative. Nous appellerons U la vitesse de K' mesure dans K, V la vitesse de K" mesure dans K' et W la vitesse de K"

mesure dans K. La situation physique assure que ces assignations peuvent tre faites. Implicitement on suppose que ces vitesses relatives sont constantes mais arbitraires. Le postulat d'application et le principe de relativit impliquent que les quations de transformations sont linaires, avec des coefficients indpendants de la position et du temps. C'est dire (1) x = A(U )x + D(U )t + E (U ) (2) t = B(U )x + C (U )t + F (U ) Les coefficients ( A , B , C , D , E , F ) peuvent dpendre de la vitesse relative entre K et K' (c'est dire U ) mais il n'y a aucune autre quantit qui a une pertinence physique et qui pourrait intervenir dans leur valeur. Donc les quations (1) et (2) sont les plus gnrales possibles satisfaisant les postulats. C'est important. S'il y avait d'autres puissances de x ou de t du cot droit, les transformations ne seraient pas bijectives (postulat d'application. Si les coefficients dpendaient de x ou de t , alors le principe de relativit serait viol (l'espace et le temps ne seraient plus homogne et isotrope). Certaines drivations utilisent un postulat qui dit que les lignes droites sont transformes en lignes droites pour dduire la linarit des quations de transformation. Mais comme nous le voyons, ce n'est pas ncessaire. Puisque K' se dplace avec la vitesse U relativement K, le point x = 0 se dplace avec la vitesse U (relativement K) ; cela nous permet de trouver la valeur de D(U ) , sans perte de gnralit : (3) x = A(U )( x Ut ) (4) t = B(U )x + C (U )t

Notons que U = 0 est videmment possible, auquel cas K' est identique K et donc A(0) = 1 , B(0) = 0 et C (0) = 1 (c'est dire que dans ce cas x = x et t = t ). Dans la suite, U et V seront supposs non nuls mais nous n'imposons aucune restriction la valeur de W . Les transformations de K' vers K" et de K vers K" sont similaires : (5) x = A(V )(x Vt ) (6) t = B(V )x + C (V )t (7) x = A(W )( x Wt ) (8) t = B(W )x + C (W )t Notons que ces relations utilisent les mmes fonctions et c'est normal car tous les repres sont quivalents. Nous allons maintenant utiliser le postulat de groupe pour composer les quations (3) et (4) avec les quations (5) et (6) pour avoir les quations (7) et (8) (c'est dire que U et V sont arbitrairement fixs et que W est dtermin partir de leurs valeurs). En substituant les quations (3) et (4) dans (5) et (6), nous avons : (9) x = [ A(V )A(U ) A(V )VB(U )]x [ A(V )VC (U ) + A(V ) A(U )U ]t (10) t = [B(V ) A(U ) + C (V )B(U )]x + [ UB(V ) A(U ) + C (V )C (U )]t En comparant les quations (9) et (10) avec les quations (7) et (8) et en galant les coefficients de x et t (n'oublions pas que les quations (7) (10) sont chacune valides pour toutes les valeurs de x et toutes les valeurs de t ), nous en concluons : (11) A(W ) = A(V ) A(U ) A(V )VB(U ) (12) WA(W ) = A(V )VC (U ) + A(V )A(U )U (13) B(W ) = B(V ) A(U ) + C (V )B(U ) (14) CW = C (U )C (V ) UB(V ) A(U )

Considrons maintenant le cas particulier V = U . Alors les quations (5) et (6) seront l'inverse de (3) et (4) (principe de relativit et postulat de groupe), ainsi W = 0 . Les quations (11) (14) deviennent : (15) 1 = A( U ) A(U ) + UA( U )B(U ) (16) 0 = A( U )UC (U ) + A( U )A(U )U (17) 0 = B( U )A(U ) + C ( U )B(U ) (18) 1 = C (U )C ( U ) UB( U ) A(U ) En supposant que UA( U ) est non nul (voir ci-dessous), l'quation (16) nous dit que : (19) C (U ) = A(U ) Notons que cela est vrai en gnral et pas seulement dans le cas V = U car c'est une affirmation mathmatique sur les deux fonctions, valide pour tout U puisque, bien entendu, ce sont les mmes fonctions qui interviennent dans ces quations quelles que soient les valeurs de U et V . Le Principe de Relativit impliquant l'isotropie de l'espace-temps ncessite que C ( U ) = C (U ) . C'est dire que si le repre K se dplace dans une direction diffrente (ici dans l'autre sens), les horloges de K' doivent tre affectes exactement de la mme manire. Des quations (17) et (19), nous tirons (19a) B( U )C (U ) = C ( U )B(U ) Comme cela est vrai pour tout U , cela peut seulement se produite dans un des cas suivant : (19b1) B(U ) = 0 (19b2) C (U ) = 0 (19b3) B(U ) = B( U ) et C (U ) = C ( U ) (19b4) B(U ) = B( U ) et C (U ) = C ( U )

(19b2) et (19b3) sont inconsistants avec les valeurs donnes pour U = 0 ce qui est en accord avec notre remarque sur l'isotropie ci-dessus. Si nous supposons (19b1), alors l'quation (18) donne C ( U ) = 1 / C (U ) ce qui peut tre consistant avec l'isotropie seulement si C (U ) = 1 . Cela revient au mme que le choix q = 0 que nous verrons ci-dessous. Le seul autre choix non trivial restant est (19b4) et donc :

(20) B( U ) = B(U ) Notons que les symtries tablies pour A(U ) , B(U ) et C (U ) sont consistantes avec leurs valeurs quand U = 0 donnes ci-dessus. Les quations (15) (18) se rduisent 2 (21) 1 = A(U ) + UA(U )B (U )

En revenant au cas gnral (V arbitraire), les quations (11) (14) deviennent : (22) A(W ) = A(V ) A(U ) VA(V )B(U ) (23) WA(W ) = VA(U ) A(V ) + UA(U ) A(V ) (24) B(W ) = B(V ) A(U ) + A(V )B(U ) (25) A(W ) = A(U )A(V ) UB(V ) A(U ) Notez la symtrie des quations (22) et (25) sous l'change U V (cela change les quations (22) et (25)). Cela n'est pas tonnant car composer des vitesses colinaires ne devrait pas dpendre de leur ordre. Les quations (22) et (25) conduisent : (26) VA(V )B(U ) = UB(V ) A(U ) ou (en supposant que UA(U ) et VA(V ) sont tous les deux non nuls) :

(27)

B (U ) B (V ) = UA(U ) VA(V )

Puisque l'quation (27) doit tre valable pour toute valeur de U et V , elle doit tre gale une constante universelle que nous appelons q : B (U ) B (V ) = (28) q UA(U ) VA(V ) soit (29) B(U ) = qUA(U ) En substituant l'quation (29) dans (21), cela donne : 2 2 (30) 1 = A(U ) + qU 2 A(U ) En rsolvant cette quation pour A(U ) , nous avons : 1 (31) A(U ) = 1 + qU 2

En combinant les quations (3), (4), (19), (29) et (30), nous obtenons la forme gnrale des quations de transformations des coordonnes : 1 (31) A(U ) = 1 + qU 2 (32) x = A(U )( x Ut ) (33) t = qUA(U )x + A(U )t En rsolvant l'quation (22) pour W , nous obtenons la rgle pour la composition des vitesses : U +V (34) W = 1 + qUV

Le choix de q est arbitraire. Il y a trois choix de base qui ont des comportements significativement diffrents : zro, ngatif et positif. On l'appelle le choix topologique car cela conduit des gomtries diffrentes. En choisissant q = 0 nous obtenons les transformations de Galile : (35) x = x Ut (36) t = t (37) W = U + V Notez le temps universel et la simple addition des vitesses. Ce sont les quations de transformations "familires" qui sont vraies au moins approximativement (avec une grande prcision) dans notre vie ordinaire lorsque les vitesses sont petites.

c par q 1 / c 2 (manifestement ngatif) et on pose (U / c ) A(U ) , nous avons : (38) x = (U / c )( x (U / c)ct ) (39) ct = (U / c )(U / c )x + (U / c )ct 1 (40) (U / c ) = 2 1 (U / c ) (U / c ) + (V / c ) (41) W / c = 1 + (U / c )(V / c )

Choisir q < 0 conduit aux transformations de Lorentz. Par convention, on dfinit la constante

Ici ct et ct sont la coordonnes temporelles multiplies par c (ce qui donne la mme unit que x et x , une longueur). Habituellement (U / c ) est appel facteur gamma et U / c est appel bta. Dans la limite U / c 0 , les quations (38) (41) se rduisent (35) - (37), les transformations de Galile. Ici, les vitesses ne s'additionnent pas simplement mais ont une rgle de composition plus complique et un objet se dplaant avec la vitesse c dans un repre se dplace la vitesse c dans tous les repres.

Notez cependant que les quations de transformation ne se comportent pas bien lorsque l'on a un repre se dplaant la vitesse c ; la vitesse c sert de vitesse limite car (U / c ) tend vers l'infini lorsque U / c tend vers un. L'quation (41) garantit que la composition de deux vitesses sera moins que c aussi longtemps que les deux autres vitesses sont chacune infrieure c . Si U / c > 1 , des nombres imaginaires apparaissent conduisant la plus part des physiciens tre sceptique sur la pertinence physique de telles vitesses. Choisir q > 0 conduit une troisime transformation. Ici q = +1 / c 2 (manifestement positif) et (U / c ) A(U ) : (42) x = (U / c )( x (U / c )ct ) (43) ct = (U / c ) (U / c )x + (U / c )ct 1 (44) (U / c ) = 2 1 + (U / c ) (U / c ) + (V / c ) (45) W / c = 1 (U / c )(V / c ) Cette transformation peut tre mise sous une forme plus familire par les substitutions : U = c tan (k )

V = c tan (l ) W = c tan (m ) o k , l , m varient de / 2 + / 2 .

Alors les transformations deviennent (en utilisant un prolongement analytique et les identits de la trigonomtrie) : (46) x = x cos(k ) ct sin (k ) (47) ct = x sin (k ) + ct cos(k ) 1 (48) (U / c ) = = cos(k ) 2 1 + tan (k )

(49) m = k + l Cette transformation est clairement une simple transformation euclidienne de l'espace-temps dans laquelle la coordonne temporelle se comporte de la mme manire que la coordonne spatiale et les mouvements relatifs sont de simples rotations. La limite U / c 0 conduit encore aux transformations de Galile. La vitesse c sert de "vitesse d'chelle" mais rien de dramatique ne se passe pour la transformation quand U / c = 1 (c'est--dire quand k = / 4 ) ou quand U / c > 1 . La singularit de l'quation (45) disparat lorsque les vitesses sont vues comme des "angles" dans l'quation (49). Notez que la composition de deux vitesses positives plus grande que c donne une vitesse ngative (quation (45)) ce qui s'explique par les quations (46) (49) comme le fait de faire plus d'un demi-tour autour d'un cercle. Notez qu'il n'y a pas de vitesse invariante et que la causalit n'est pas ncessairement prserve par une transformation des coordonnes ( ct peut aller en arrire dans le temps par rapport ct ). Il semble trs difficile de construire une vision du monde base sur les quations (42) (45) (ou (46) (49)). Revenons au cas gnral. Plus haut, nous avons suppos plusieurs endroit que les vitesses U et V taient non nulles ainsi que certaines fonctions. On vrifie facilement que de telles suppositions sont valides. On peut galement refaire la drivation entire en conservant les termes de translation dans les quations (1) et (2). Cela ne change pas les conclusions gnrales et correspond simplement une position initiale des repres diffrente. Pour ceux connaissant la thorie des groupes, le groupe de Poincar complet inclut non seulement les transformations de Lorentz drives ici mais galement les rotations spatiales et les transformations discrtes : l'inversion par parit ( x = x ) et le renversement du temps ( t = t ). Les quations (31) (33) ont t drives de considrations trs gnrales mais n'incluent pas ces transformations discrtes. On peut facilement adapter la drivation pour les inclure.

Faire le bon choix de topologie de l'espace-temps peut seulement tre fait par comparaison des observations physiques de phnomnes dans le monde rel (c'est dire en faisant des expriences). Il y a un gigantesque ensemble d'vidences exprimentales qui montrent que la vitesse de la lumire (dans le vide) est indpendante des vitesses aussi bien de la source que de l'observateur (il y a aussi plusieurs autres observations quivalentes). Cela nous force choisir les transformations de Lorentz (quations (38) (41)) et identifier la constante c arbitraire avec la vitesse de la lumire dans le vide. Aucun autre choix n'est possible si l'on doit satisfaire aux postulats de dpart et l'vidence exprimentale. On peut le vrifier comme suit. Les mesures les plus prcises et les plus faciles de la vitesse de la lumire se font sur un aller-retour (par exemple en mesurant la frquence avec une horloge atomique et la longueur d'onde par interfromtrie). Ces mesures sont d'ailleurs les seules dont nous ayons une certitude (voir les difficults de mesure des vitesses sur un aller simple dans la section sur la synchronisation). Ces mesures ont t faites aussi bien au repos dans le laboratoire qu'avec des dispositifs en mouvement. La somme de donnes est telle que le rsultat de c invariant sur un aller-retour est une certitude. Considrons alors un signal lumineux partant de l'origine des coordonnes l'instant initial et y revenant aprs le temps T . On peut identifier les trois vnements : dpart du signal, demitour et arrive, par les coordonnes dans K : (50) (0,0) , (L, t ) , (0, T ) L est la distance parcourue et t une dure inconnue. L'exprience nous dit que : 2L (51) c = T
Les trois vnements auront pour coordonnes dans K' (selon (32) et (33)) : (52) (0,0) , ( A(U )(L Ut ), qUA(U )L + A(U )t ) , ( A(U )UT , A(U )T ) Pour avoir la vitesse dans K', exprimentalement gale aussi c , il suffit de diviser la distance totale parcourue par le temps total. (52) nous donne :

(53)

2 A(U )x 2 A(U )Ut + A(U )UT =c A(U )UT

En utilisant (51), nous obtenons alors : (54) T = 2t C'est dire que la vitesse de la lumire est isotrope. Il nous suffit alors de considrer les deux vnements d'envoi et rception d'un signal lumineux : (55) (0,0) , (L, T ) Avec cette fois : (56) L / t = c Dans R2, la vitesse tant la mme, on aura : A(U )(L UT ) (57) =c A(U )(qUL + T ) Et en utilisant (56) on trouve : (58) q = 1 / c 2 Ce qui confirme la thse que les transformations de Lorentz sont celles qu'il faut utiliser pour tre en accord avec les donnes exprimentales. Les sceptiques pourraient dire que la prcision n'tant pas parfaites, la vitesse relle du signal lumineux n'est peut-tre pas tout fait c mais c + , tant une valeur trs petite. La dduction d'isotropie ne serait plus tout fait valable et celle qui suit non plus. Et dans ce cas, ne pourrait-on pas aboutir q = 0 , ventuellement avec une vitesse anisotrope ? Car

videmment, une valeur q > 0 resterait valable (mme si la valeur de 1 / c 2 pourrait tre trs lgrement diffrente de celle mesure). Alors vrifions cela. Vrifions si a marche en supposant que q = 0 . On considre la mesure dans K d'un signal effectuant un aller-retour sur une certaine distance. Soit un signal mesur gal c dans K. Mais en ralit, sa vitesse est c1 dans un sens et c 2 dans l'autre. Tout ce que nous pouvons dire est que cc (59) c = 1 2 c1 + c 2 Soit le signal mesur gal c dans K' mais en ralit, la valeur relle est lgrement diffrente cause de la prcision : c + . Et la vitesse dans un sens est c1 et dans l'autre c . 2 On a : c c (60) c + = 1 2 2 c1 + c Puisque q = 0 , on peut utiliser l'addition des vitesses (37), et donc : c1 = c1 U (61) c = c2 U 2 En replaant dans (60) on a : (c U )(c 2 + U ) (62 c + = 1 c1 + c 2 Il y a dj une difficult puisque le cot gauche ne dpend pas de U mais le cot droit si. Voyons a plus clairement. On tire de (62)

c1 c 2 U c1 + c 2 tant trs petit par rapport U et c , on doit avoir (64) c1 = c 2 + U + tant une autre trs petite valeur.
(63) = U Mais les valeurs de c1 et c 2 se rapportant K, il n'y a aucune raison qu'elles dpendent de U qui peut tre quelconque. Elles seraient diffrentes si on considrait un autre repre que K' ! Donc, a ne marche pas.