Intervalle d'espace-temps

Un article de Wikipédia, l'encyclopédie libre.

Albert Einstein
Cet article de physique fait
partie de la série relativité
Avant Einstein
Histoire de la physique
Michelson - Lorentz
Mach - Poincaré - Hilbert
exp:Michelson et Morley - éther
Avec Einstein
Principe de relativité
Principe d'équivalence
c - transformation de Lorentz
espace-temps - E=mc² - temps
exp:pensée?-jumeaux-train
relativité restreinte-générale
controverse historique
En physique des particules
cyclotron
accélérateur de particules
Feynman - EQR
Méta
Formulaire de physique
Tous les articles sur la relativité

Le carré de l’intervalle d'espace-temps entre deux événements dans l'espace-temps de la relativité restreinte ou générale est l'équivalent du carré de la distance géométrique entre deux points dans l'espace euclidien. Cette quantité est invariante par changement de référentiel. Elle permet de savoir si deux événements peuvent être connectés par un lien de cause à effet ou sont au contraire causalement indépendants l'un de l'autre.

Quand le carré de l’intervalle d'espace-temps entre deux événements est positif ou nul (le terme carré n'est ici employé que de manière formelle), l'intervalle d'espace-temps est défini comme étant sa racine carrée. Sinon, l'intervalle d'espace temps n'est pas défini, ou au mieux considéré comme un nombre imaginaire.

Sommaire

[modifier] Expression en relativité resteinte

Dans l'espace euclidien en trois dimensions, le carré de la distance Δl entre deux points A et B de coordonnées (xA, yA, zA) et (xB, yB, zB) par rapport à un repère cartésien orthonormé s'exprime sous la forme :

\,(\Delta l)^2  = (x_\text{B} - x_\text{A})^2 + (y_\text{B}-y_\text{A})^2 + (z_\text{B}-z_\text{A})^2\,,

ce que l'on écrit couramment de façon plus condensée

\Delta l^2 = \Delta x^2 + \Delta y^2 + \Delta z^2 \,.

Il est évident qu'en physique classique, cette grandeur est invariante par changement de référentiel. Mais ce n'est plus le cas en physique relativiste.

Dans la géométrie de l'espace-temps de la relativité restreinte, on écrit le « carré de l'intervalle d'espace-temps », noté Δs2, entre deux événements A et B de coordonnées (tA, xA, yA, zA) et (tB, xB, yB, zB) dans un espace-temps à quatre dimensions (une de temps, soit t, et trois d'espace) sous la forme

(\Delta s)^2 = \, c^2(t_\text{B} - t_\text{A})^2 - (x_\text{B}-x_\text{A})^2 - (y_\text{B}-y_\text{A})^2 - (z_\text{B}-z_\text{A})^2

ou

\Delta s^2\, =\, c^2\Delta t^2 - \Delta l^2 \,

expression dans laquelle le facteur c2 s'impose par le biais des transformations de Lorentz ou des principes de la relativité restreinte, suivant la méthode utilisée pour justifier son invariance par changement de référentiel inertiel.

Alors que le carré de la distance géométrique euclidienne ne contenait que des signes « + » et se révélait donc toujours positif, l'expression de l'intervalle spatio-temporel contient un signe « - » et peut de ce fait être un nombre positif, négatif ou nul, selon la taille respective de la séparation spatiale Δl et du terme de séparation temporelle cΔt des deux événements. Il ne faut pas s'étonner que le carré Δs2 puisse se révéler négatif car cette écriture n'est que formelle et est faite pour souligner que « le carré de l'intervalle d'espace-temps » a la dimension du carré d'une distance. Par conséquent, la notion de « distance » (nous employons d'ailleurs ici le terme d'intervalle d'espace-temps) n'a plus la signification concrète qu'elle possédait en géométrie non relativiste.

[modifier] Invariance

L'invariance du carré de l'intervalle d'espace-temps est une propriété centrale de la relativité restreinte. Selon la présentation choisie, cette invariance peut être posée comme axiome fondateur de la théorie, ou déduite directement des axiomes originaux de la relativité[1], à savoir le principe de relativité et l'invariance de la vitesse de la lumière par changement de référentiel inertiel, ou encore déduite des transformations de Lorentz qui transforment les coordonnées lors d'un changement de référentiel inertiel (ces transformations étant déduites des deux principes de la relativité restreinte). Depuis Hermann Minkowski, certaines présentations de la théorie choisissent une des deux premières options, en adoptant un point de vue purement géométrique en dimension quatre (trois d'espace et une de temps)[2]. La troisième option correspond mieux au développement historique de la théorie.




[modifier] Relation entre événements

Le carré de l'intervalle spatio-temporel entre deux événements peut être de trois types différents :

  • genre temps,
  • genre espace,
  • genre lumière.

Le genre d'un carré d'intervalle d'espace-temps dépend de son signe, et comme il est invariant par changement de référentiel inertiel, le genre d'un intervalle d'espace-temps sera le même pour tout observateur. Ainsi, on pourra remarquer que si deux événements sont séparés par un carré d'intervalle d'espace-temps de genre temps ou lumière, ils peuvent être liés par un lien causal direct, par contre s'ils sont séparés par un de genre espace, ils ne le peuvent pas, et ceci quelque soit l'observateur et son référentiel inertiel.

[modifier] Genre temps

Si l'intervalle temporel cΔt l'emporte sur la distance spatiale Δl l'intervalle est dit du genre temps et l'intervalle d'espace-temps est positif :

\,\Delta s^2 = c^2\Delta t^2 - \Delta l^2 > 0

Ce cas correspond à la situation où | Δl / Δt | < c , ce qui signifie que dans le référentiel où les mesures ont été faites, un mobile allant à la vitesse constante | Δl / Δt | dans la bonne direction peut être à l'endroit exact et au même instant que le premier évènement, puis, après son déplacement, à ceux du deuxième. Par conséquent dans le repère (inertiel) de ce mobile les deux événements se situent au même endroit, mais pas au même moment. Dans ce référentiel particulier, et d'après l'invariance du carré de l'intervalle d'espace-temps, l'écart de temps Δτ séparant les deux événements est appelé le temps propre les séparant, et est donné par la formule :

\Delta s^2 \,=\, c^2 \Delta t^2 - \Delta l^2 ~=~ c^2\Delta \tau^2 - \,0\,,

laquelle montre que le temps propre Δτ est donné par \Delta \tau = \sqrt{\Delta s^2}/2.

Dans ce cas d'un intervalle de genre temps, les deux événements peuvent être liés par un lien causal : par le biais d'une particule allant assez vite d'un événement vers l'autre, ou d'une influence véhiculée par de la lumière allant de l'un vers l'autre et dont l'effet déclancherait par la suite le deuxième événement,...

[modifier] Genre espace

Si l'intervalle spatial Δl l'emporte sur l'intervalle temporel cΔt, l'intervalle est dit du genre espace et le carré de l'intervalle d'espace-temps est négatif :

\,\Delta s^2 ~=~  c^2\Delta t^2  - \Delta l^2  < 0\,.

Ce cas correspond à la situation où | Δl / Δt | > c , ce qui signifie que dans le référentiel où les mesures ont été faites, aucun mobile allant à une vitesse inférieure à celle de la lumière ni aucun signal lumineux ne peut être à l'endroit exact et au même instant que le premier évènement, puis, après son déplacement ou sa propagation, à ceux du deuxième. Il ne peut donc pas y avoir de lien causal entre les deux évènements. On peut montrer qu'alors il existe un référentiel inertiel dans lequel les événements sont simultanés : dans ce référentiel, l'écart de temps entre les deux événements est nul, d'où

\Delta s^2 \,=\, c^2 \Delta t^2 - \Delta l^2 ~=~ \,0 - \Delta l^2 \,

Ainsi, dans ce référentiel inertiel particulier, l'écart de temps est nul entre les évènements et leur distance spatiale, appelée distance propre, est \Delta l = \sqrt{-\Delta s^2}/2.

[modifier] Genre lumière

Si le carré de l'intervalle spatio-temporel est nul, cela veut dire que la lumière parcourt exactement la distance géométrique entre les deux événements pendant le laps de temps séparant ces deux événements.

\,\Delta s^2 ~=~  c^2\Delta t^2  - \Delta l^2  = 0\,.

Ce cas correspond à la situation où | Δl / Δt | = c , ce qui signifie que dans le référentiel où les mesures ont été faites, seuls les particules de masse nulle, donc allant à la vitesse de la lumière, peuvent joindre les deux évènements. La vitesse de la lumière étant la même dans tous les référentiels inertiels, il en est de même quand ces événements sont vus depuis tout autre référentiel inertiel. Cela laisse encore la possibilité d'un lien causal entre les deux événements, un lien se faisant à la vitesse de la lumière.

Exemple : si l'événement A consiste en l'envoi d'un signal laser depuis la Terre vers la Lune et l'événement B consiste en la réception de ce signal sur la Lune, l'intervalle spatio-temporel entre A et B sera nul puisque la distance Δl entre Terre et Lune sera justement égale à la distance cΔt parcourue par la lumière pendant le temps Δt. Dans ce dernier cas on peut dire que l'intervalle est du genre lumière.

[modifier] Ordre temporel et genre

Diagramme de Minkowski représentant l'inversion temporelle apparente des évènements A et B pour l'observateur O et O'. Pour O, B a lieu avant A, tandis que pour O', en mouvement rapide par rapport à O, c'est A qui se produit avant B.
Diagramme de Minkowski représentant l'inversion temporelle apparente des évènements A et B pour l'observateur O et O'. Pour O, B a lieu avant A, tandis que pour O', en mouvement rapide par rapport à O, c'est A qui se produit avant B.

Par principe, les changements de référentiels physiquement réalistes respectent l'orientation de l'axe du temps : on suppose donc que vues d'un référentiel ou d'un autre les aiguilles d'une montre ne changent pas leur sens de rotation, que si une pomme chute de sa branche vu de l'un, alors elle n'y remonte pas vu depuis un autre.

Par contre, dans certains cas l'ordre temporel observé entre deux évènements peut changer d'un référentiel à l'autre : si les deux évènements sont séparés par un intervalle de genre espace, leur ordre temporel observé peut changer d'un référentiel à l'autre, et il y a aussi des référentiels pour lesquels les deux évènements sont simultanés. S'ils sont séparés par un intervalle de genre temps, tous les observateurs constatent le même ordre (mais avec des écarts temporels différents).



[modifier] Le cône de lumière

Icône de détail Article détaillé : cône de lumière.
Le cône de lumière de l'événement A définit une partition de l'espace-temps permettant en particulier de distinguer le passé du futur de façon absolue
Le cône de lumière de l'événement A définit une partition de l'espace-temps permettant en particulier de distinguer le passé du futur de façon absolue

Si on se fixe un événement O particulier comme objet d'étude, on peut partager l'espace-temps en régions regroupant les événements qui sont séparés de O par un intervalle d'espace-temps de genre temps, ceux qui sont séparés de O par un genre lumière et ceux qui sont séparés de O par un genre espace. Cette partition de l'espace-temps à quatre dimensions se fait sous la forme d'un cône à trois dimensions : l'intérieur correspond au premier cas, le bord au deuxième et l'extérieur au troisième. Ces régions correspondent aux différentes possibilités de lien causal avec l'événement O.

Bien entendu, chaque événement possède son propre cône de lumière.

La difficulté de représentation tient en ce que quatre coordonnées, une de temps et trois d'espace, sont nécessaires pour caractériser un événement et qu'il est impossible de figurer un point à quatre coordonnées dans notre espace à trois dimensions. Pour le graphique, on reduit donc le nombre de dimensions spatiales à 2.


[modifier] Métrique

L'espace-temps de la relativité restreinte est doté par le carré de l'intervalle d'espace-temps d'une sorte de distance qui est invariante par changement de référentiel. Vu de cet manière, l'intervalle d'espace-temps peut être considéré comme une métrique de l'espace, à partir de la quelle se démontrent nombres de propriétés mathématiques de l'espace et de la théorie relativiste.

Lorsque les deux événements A et B entre lesquels on calcule le carré de l'intervalle d'espace-temps sont très voisins, leurs coordonnées ne différent donc que par les quantités infinitésimales \scriptstyle (dx^\mu)\,=\, (c\, dt, dx, dy, dz). Cette considération est superflue en relativité restreinte dont l'espace est affine, mais est indispensable en relativité générale dont l'espace est une variété courbe[5] où les \scriptstyle (\Delta x^\mu)\, ne peuvent être définis avec rigueur, mais où les éléments infinitésimaux (dxμ) sont définissables et appartiennent à l'espace tangent.


En relativité restreinte, le carré de l'intervalle infinitésimal d'espace-temps s'écrit alors : \,ds^2 = c^2dt^2 -dx^2 -dy^2 -dz^2.


La métrique de la relativité générale est définissable à partir de celle de la relativité restreinte, en tenant compte du principe d'équivalence et du principe de relativité généralisé à tous les référentiels, et c'est un élément de base (d'un point de vue mathématique) pour la construction de cette théorie. Elle permet la définition de l'élément infinitésimal du le carré de l'intervalle d'espace-temps dans cette théorie.


En relativité générale, la formule du le carré de l'intervalle infinitésimal d'espace-temps est ds^2 = \sum_{\mu=0}^3 \sum_{\nu=0}^3 g_{\mu\nu}\ {\rm d}x^\mu\ {\rm d}x^\nu  , où les coefficients de la métrique, gμν, varient d'un point à l'autre de l'espace-temps, en fonction de la courbure de l'espace.

On écrit aussi, avec la convention d'Einstein pour les sommation : ds^2 = g_{\mu\nu}\ {\rm d}x^\mu\ {\rm d}x^\nu .


Mais cette définition à partir d'éléments infinitésimaux et la courbure de l'espace-temps rendent délicats la justification de propriétés similaires à celles exposées dans les paragraphes ci-dessus, mis à part localement[6]. Toutefois, à partir d'un événement O, on peut toujours faire la partition de l'espace-temps dans son ensemble en événements liés à O par une géodésique de genre temps, lumière ou espace (le genre correspondant au signe constant de ds2 le long de la géodésique).[réf. nécessaire]


[modifier] Cas de l'invariance comme hypothèse

Si l'invariance du le carré del'intervalle d'espace-temps, par changement de référentiel, est posée comme hypothèse initiale dans la théorie de la relativité, les déductions qui en sont faites sont alors mathématiquement cohérentes avec la théorie, mais certaines doivent être écartées pour des raisons physiques.

[modifier] En relativité restreinte

Identifier l'espace physique à un espace mathématique à quatre dimensions doté d'une semblable distance (on dit aussi pseudo-norme) amène à identifier les repères de l'espace affine à quatre dimensions et les référentiels inertiels de la physique, et en cherchant tous les changements de repère ayant la propriété de laisser invariant l'intervalle d'espace-temps, on en trouve qui, tout en étant cohérents avec les mathématiques de la théorie relativiste, ne peuvent être retenus comme des changements de référentiel physiquement réalistes car ils ne respectent pas la convention d'orientation des repères tridimensionnels (l'orientation unanimement admise étant celle de la main droite) ou celle de l'orientation de l'axe du temps (vers le futur)[7].

Les transformations qui préservent les orientations de l'espace et du temps sont les transformations de Lorentz établies dès l'origine par Lorentz, et sont appelées, dans le cadre de cette problématique, transformations de Lorentz propres et orthochrones. Les autres transformations ne sont pas utilisées en physique relativiste mais le sont en physique quantique relativiste pour exploiter les symétries mathématiques des équations. Par exemples, la symétrie T et la parité sont interprétées comme de simples changements de convention des orientations des axes de coordonnées spatiales et temporelle. Ainsi, la symétrie P change-t'elle la convention du choix des référentiels par la main droite en convention du choix par la main gauche.

[modifier] En relativité générale

En relativité générale, l'espace-temps étant essentiellement structuré par l'algèbre, il faut prendre garde à écarter les hypothèses ou résultats mathématiquement corrects mais physiquement irréalistes. Cela est vrai en particulier pour le carré de l'intervalle d'espace-temps \textstyle ds^2 = g_{\mu\nu}\ {\rm d}x^\mu\ {\rm d}x^\nu qui est un élément fondateur de la théorie (du point de vue mathématique) du fait de son invariance par changement de référentiel et de son lien avec la gravitation (qui est une manifestation de la courbure). Déjà, les gμν forment une matrice qui doit avoir un déterminant négatif pour avoir un sens physique[8].

Ainsi, dans un référentiel réaliste[9]pour un observateur, si la coordonnée x0 correspond à la mesure du temps et les coordonnées x1;x2;x3 correspondent à un référentiel spatial quelconque, les termes gμν [10] doivent vérifier g00 > 0, ainsi que gkk < 0 pour k=1, 2, 3 (bref : la signature doit rester inchangée par rapport à celle de la métrique de Minkowski). [11].

Mais la relativité générale autorise l'utilisation de n'importe quel système de référence dans cet espace à quatre dimensions, sans l'obligation de ce préoccuper de réalisme[12], comme méthode mathématique pour déterminer des propriétés de l'espace-temps, et dans ce cas les coefficients gμν ne sont pas soumis à ces contraintes.

[modifier] Notes et références

  1. Voir, par exemple, Lev Landau et Evguéni Lifchitz, Physique théorique, éd. MIR, Moscou [détail des éditions], tome 2 "théorie des champs", chapitre 1, §2.
  2. voir par exemple (en)E.F. Taylor, J.A. Wheeler, Spacetime physics, Introduction to special relativity, second edition, Freeman, 1992
  3. Voir Lev Landau et Evguéni Lifchitz, Physique théorique, éd. MIR, Moscou [détail des éditions] Tome 2, §2
  4. Le sens et l'unité du temps étant définisable à partir de deux événements de genre temps et successifs quelconques (les positions successives des aiguilles d'une horloge, le début et la fin de la chute d'une pomme, ou ...) et toute durée de temps étant par hypothèse mesurable par cette unité, le non retournement de l'axe du temps est équivalent au non retournement de cette unité orientée, et cela impose le non retournement de toute durée utilisable comme unité orientée du temps (du fait que le temps est un espace mathématique d'une seule dimension), donc du non retournement du temps entre deux événements de genre temps quelconques.
  5. Dans cette théorie, la courbure est l'expression géométrique de la gravitation.
  6. L'univers de Gödel est un exemple de théorie compatible avec la relativité générale et où des propriétés de la relativité restreinte ne sont valables que localement : par exemple la distinction entre le passé et le futur.
  7. La conservation de ces orientations comme raison de cette sélection est présentée au chapitre 1, §1.3 de (en)The geometry of Minkowski Spacetime par Gregory L. Naber, Springer-Verlag ISBN 3540978488, 1992.
  8. Ce qui est dû au fait que cette matrice est diagonalisable et que sa forme diagonale doit correspondre à la matrice d'une métrique équivalente à celle de Minkowski.
  9. Le réalisme d'un référentiel pouvant être compris comme : il existe un observateur pour lequel une coordonnée donne le temps mesuré et trois donnent l'espace, avec les orientations valables déjà en relativité resteinte.
  10. qui forment ce que l'on appelle le tenseur métrique et qui reflétent la courbure de l'espace-temps
  11. Lev Landau et Evguéni Lifchitz, Physique théorique, éd. MIR, Moscou [détail des éditions], Tome 2 "Théorie des champs", §82 à §84
  12. Un exemple de référentiel non réaliste s'obtient en remplaçant la coordonnée temporelle par une coordonnée suivant une géodésique de genre lumière.

[modifier] Voir aussi