Vous êtes sur la page 1sur 20

CaMUS 4, 92 111

Espace-temps de Minkowski et univers


dEinstein
Yannick Lebrun

Rsum Le but de cet article est dinitier le lecteur des gomtries associes
la thorie de la relativit en physique. Nous prsentons tout dabord lespace-
temps et y introduisons la gomtrie de Minkowski. Par la suite, nous nous
intressons lunivers dEinstein avec une attention marque sur sa visualisa-
tion. Finalement, nous discutons brivement du fait que ce dernier compactifie
lespace-temps.

1 Introduction
Le temps nous semble tre une chose immuable : une chose qui scoule constam-
ment, peu importe notre point de vue. Or, depuis Albert Einstein et sa thorie de
la relativit, cette intuition ne correspond plus avec la reprsentation physique
de notre ralit. La perception du temps, au mme titre que celle des distances,
dpend de notre point de vue. Autrement dit, elle est relative notre rfrentiel.
Cette conclusion nous amne considrer lespace et le temps comme des entits
indissociables. Leur union forme une nouvelle structure : lespace-temps.
Lutilisation de lespace-temps passe principalement par ltude du mouve-
ment. La branche de la physique mcanique qui tudie le mouvement des objets
est la cinmatique. Or, loutil principal de la cinmatique est la gomtrie. Ainsi,
les ides relies lespace-temps peuvent tre interprtes dans un contexte plus
mathmatique. Cest le point de vue que nous emploierons majoritairement dans
cet article.
la section 2, nous prsentons plus formellement lespace-temps et dfinis-
sons les photons et les cnes de lumire. La gomtrie de Minkowski, qui nous
permet de traiter de lespace-temps de Minkowski, y est introduite par la suite.
la section 3, nous abordons un espace semblable qui est lunivers dEinstein.
Nous discutons de ses principales caractristiques et tudions les faons de le
visualiser. Les photons et les cnes de lumire sont revisits afin de profiter de
ces visualisations. Nous terminons avec la section 4 en tablissant que lunivers
dEinstein est une compactification de lespace-temps de Minkowski.
Jaimerais remercier Virginie Charette pour mavoir supervis tout au long de lcriture
et de la rvision de cet article. Je lui suis aussi reconnaissant pour son support financier et sa
disponibilit lors de mes recherches.

c
Universit de Sherbrooke
Y. Lebrun 93

2 Espace-temps de Minkowski
Nous nvoluons pas seulement dans lespace, mais aussi travers le temps. Ainsi,
il est naturel de vouloir mener des calculs dans un rfrentiel dont les coordonnes
ne sont pas uniquement spatiales. Dans cette section, nous effectuons un survol
de lespace-temps et de la gomtrie qui lui est associe.
2.1 Espace-temps et cne de lumire
Lespace R3 est le modle souvent employ pour reprsenter ce que notre il
peroit. Il est muni dun systme de coordonnes [x, y, z] issu dune base avec
lequel nous pouvons dcrire la position des objets. Lorsque nous ajoutons une
coordonne temporelle t, nous parlons despace-temps. Dans ce dernier, un point
[x, y, z, t] est plutt appel un vnement afin de mettre laccent sur la nouvelle
dimension.
Un avantage important de lespace-temps est quil dcrit les changements
de position au fil du temps. La trajectoire dun objet ponctuel (cest--dire un
objet tenant en un point) illustre dans lespace-temps porte le nom de ligne
dunivers 1 . Une ligne dunivers nest pas une courbe quelconque, car elle est n-
cessairement continue et ne peut revenir en arrire dans le temps. Ces restrictions
justifient la dfinition plus formelle ci-dessous :

Dfinition 2.1. Une ligne dunivers est une fonction continue m : I R R4 ,


I tant un intervalle, telle que

m(t) = [x(t), y(t), z(t), t].

Nous admettons la possibilit que m ne soit pas diffrentiable en certains


points. Ces points indiquent des changements brusques du vecteur vitesse :

m (t) = [x (t), y (t), z (t), 1].

Limage de m tant dans un espace quatre dimensions, nous nous limitons


ici un ou deux axes spatiaux pour sa visualisation. La figure 1 prsente un
exemple de ligne dunivers dans le plan y, z = 0.
Un objet important de lespace-temps est le cne de lumire, mais afin de
laborder, nous devons passer par les photons. En physique, un photon est dfini
comme tant une particule de lumire2 . Dans le cadre de cet article, ce terme
dsignera plutt la ligne dunivers de la particule par souci de cohrence avec
lunivers dEinstein dcrit dans [LD12]. Nous labordons la section 3.
Une particule de lumire se dplace en ligne droite, une vitesse constante
denviron c = 3 108 m/sec, dans le vide. cette chelle, le mtre nest pas
appropri pour illustrer les lignes dunivers, car les pentes sont trop abruptes. Par
consquent, nous pouvons plutt utiliser la seconde-lumire qui est la distance
parcourue par la lumire en une seconde. Ce choix, en gardant la seconde comme
1
De langlais worldline.
2
condition de considrer la lumire comme un faisceau de particules.
94 Espace-temps et univers dEinstein
x

Figure 1 Ma ligne dunivers lorsque je fais des va-et-vient dans un couloir


reprsent ici par laxe x. La vitesse (instantane) de mon dplacement est don-
ne par la pente de la courbe. Celle-ci varie selon lintensit de mes rflexions.
Lorsquon marrte pour discuter, ma ligne dunivers devient parallle laxe t.

unit temporelle, permet de diminuer la pente des photons 1. Cette nouvelle


chelle est plus pratique en relativit et nous lutiliserons pour le reste de cette
sous-section. Ainsi, si k k dnote la norme habituelle, nous pouvons dire :
Dfinition 2.2. Un photon est une ligne dunivers m(t) paramtrant une droite
de pente 1 : pour tout t R et pour tout k R+ ,
k [x(t + k), y(t + k), z(t + k)] [x(t), y(t), z(t)] k = k.
Considrons lexprience suivante tire de la section 1.1 de [Cal00]. Suppo-
sons que nous plaons une source ponctuelle lorigine [0, 0, 0]. Supposons de
plus que celle-ci projette un clair lumineux au temps t = 0. Dans cette situa-
tion, des particules de lumire sont propulses partout dans lespace une vitesse
constante de 1 seconde-lumire/sec. Aprs t secondes, toute particule sera une
distance de t secondes-lumire de lorigine. Cela revient dire que si [x, y, z]
dsigne les coordonnes spatiales dune telle particule, alors lquation suivante
est satisfaite :
x2 + y 2 + z 2 = t2 . (1)
Rciproquement, tout vnement [x, y, z, t] qui satisfait cette quation appar-
tient un photon, car les particules de lumire ont t propulses dans toutes
les directions. Lquation (1) dcrit un cne et, plus particulirement, un cne
de lumire dans lespace-temps. Dans lexprience prcdente, le choix de lv-
nement initial [0, 0, 0, 0] tait arbitraire : toute autre origine est valable. Plus
gnralement :
Dfinition 2.3. Un cne de lumire est le milieu des vnements qui, pour une
source [x0 , y0 , z0 , t0 ] R4 donne, satisfont lquation
(x x0 )2 + (y y0 )2 + (z z0 )2 = (t t0 )2 .
96 Espace-temps et univers dEinstein

Avec lespace vectoriel Rn , il est possible de parler de la norme dun vecteur


ou de langle entre deux vecteurs. Loutil la base de ces concepts est un pro-
duit scalaire sur Rn . Nous rappelons que cest une fonction f : Rn Rn R
satisfaisant aux trois conditions ci-dessous. Pour tous vecteurs u, v, w Rn et
scalaires , R :

1. f est une forme bilinaire : f (u + v, w) = f (u, w) + f (v, w) et


f (u, v + w) = f (u, v) + f (u, w) ;

2. f est symtrique : f (u, v) = f (v, u) ;

3. f est dfinie positive : si u 6= 0, f (u, u) > 0.

Le produit scalaire habituellement utilis est le produit scalaire canonique .


Pour x, y Rn exprims dans la base canonique, il est dfini par :

x y = xTInn y = x1 y1 + x2 y2 + + xn yn .

Avec ce dernier, les calculs de distance et dangle se rapportent la gomtrie


dEuclide (dite euclidienne) qui est bien connue et rpandue. Si nous voulons une
gomtrie diffrente, une option possible est de choisir un autre produit scalaire.
Supposons que les n 1 premires coordonnes dun vecteur x Rn sont
spatiales et que la dernire (xn ) est temporelle. Un produit scalaire adquat
devrait idalement distinguer la dernire coordonne des autres afin de mettre
laccent sur sa dimension temporelle. Ainsi, nous pourrions considrer la forme
bilinaire suivante :

Dfinition 2.4. Pour x, y Rn exprims dans la base canonique, le produit


intrieur de Minkowski est dfini par :
" #
T I(n1)(n1) 0(n1)1
xy=x y = x1 y1 + x2 y2 + + xn1 yn1 xn yn .
01(n1) 1

Si nous posons y = x, cette quation devient :

x x = x21 + x22 + + x2n1 x2n . (2)

La forme bilinaire est symtrique, mais elle nest pas dfinie positive, car
selon le choix de x Rn , x x peut tre positif, nul ou ngatif. Labsence de
constance sur le signe de x x en fait une forme bilinaire non seulement non
dfinie positive, mais non dfinie. Par consquent, nest pas un produit scalaire
selon notre dfinition et porte plutt le nom de produit intrieur 3,4 . Or, comme
le produit scalaire canonique, est non dgnre, cest--dire que si x est non
nul, alors il existe v Rn tel que x v 6= 0.
Lespace vectoriel Rn muni du produit intrieur de Minkowski est not Rn1,1 .
Lespace-temps de Minkowski dsigne habituellement le cas spcifique R3,1 , mais
3
Le terme produit intrieur vient de langlais inner product.
4
Certains auteurs gardent lappellation scalaire.
Y. Lebrun 97

il nest ultimement pas fautif dutiliser cette appellation pour Rn1,1 tant donn
que nous travaillons avec des coordonnes spatiales et temporelles. Les vecteurs
de Rn1,1 sont diviss en trois types selon le signe de x x. Nous dirons dun
vecteur x Rn1,1 quil est de type :

espace si x x > 0 ;

lumire si x x = 0 ;

temps si x x < 0.

Il dcoule de (2) que x est de type lumire si et seulement si lquation


suivante est vrifie :
x21 + x22 + + x2n1 = x2n .
La forme de cette quation implique que lensemble des vecteurs de type
lumire est un cne. Si nous posons n = 4, nous retrouvons le cne de lumire
(1) lorigine de lespace-temps. Les vecteurs de type espace sont lextrieur
du cne et ceux de type temps lintrieur.
Nous pouvons calculer des distances et des angles avec le produit intrieur
de Minkowski. Ces calculs sinscrivent dans une nouvelle gomtrie que nous
appelons la gomtrie de Minkowski ou gomtrie lorentzienne. Avant de ter-
miner cette section, nous en prsentons quelques particularits. Toute personne
voulant creuser davantage le sujet peut se rfrer la section 2.3 de [Cal00].

2.2.1 Norme et intervalle


De faon analogue la gomtrie euclidienne, [Cal00] dfinit la nouvelle norme
comme suit :

Dfinition
p 2.5. Soit x Rn1,1 . La norme de Minkowski de x est kxkM in =
|x x|.

Notons que malgr son appellation, kkM in nest pas une norme proprement
parler. Cela est d au fait quelle ne respecte pas lingalit du triangle, cest--
dire quil existe des vecteurs x, y Rn1,1 tels que

kx + ykM in > kxkM in + kykM in .

Un exemple simple est x = [1,1]T et y = [1,1]T dans R1,1 . Ces deux vecteurs
sont de type lumire et ont une norme nulle, mais ce nest pas le cas de x + y =
[0,2]T qui est de type temps. Bref, la norme de Minkowski ne correspond pas
notre notion intuitive de longueur.
En gomtrie euclidienne, les vecteurs de mme norme k R+ forment la
sphre centre lorigine de rayon k. En gomtrie lorentzienne, un vecteur
x Rn1,1 a une norme gale k si et seulement si :

x x = x21 + x22 + + x2n1 x2n = k 2 .


98 Espace-temps et univers dEinstein

Si n = 2, x = x1 et y = x2 , nous obtenons les quations ci-dessous associes


des hyperboles :
x2 y 2 = k 2 , x2 y 2 = k 2 .

La figure 3 illustre quelques exemples de ces courbes. Dans le cas gnral,


les vecteurs de mme norme forment une hyperbolode.
Nous pouvons aussi dfinir la distance entre deux vecteurs de Rn1,1 de
la faon suivante :

Dfinition 2.6. Soient x, y Rn1,1 . Lintervalle entre x et y est ky xkM in .

y
k2 =
3
k2=
2
k2
=
1

x
3

1
2
=
k2 =

k2=

k2

Figure 3 Courbes x2 y 2 = k 2 (rouge jaune) et x2 y 2 = k 2 (mauve


cyan) pour quelques valeurs de k 2 . Pour un k R+ donn, ces deux hyperboles
identifient tous les vecteurs dont la norme de Minkowski est k.

2.2.2 Isomtries et groupe O(n1,1)

Dans Rn , nous pouvons dduire une mtrique d de la norme euclidienne k k


en posant d(x, y) = ky xk. Cette dernire fait de Rn un exemple despace
mtrique. Dans le contexte dun espace mtrique, nous pouvons dfinir la notion
disomtrie qui est une transformation prservant les distances :

Dfinition 2.7. Soit X un ensemble muni dune mtrique d. Une isomtrie


de (X, d) est une fonction f : X X o, pour tous x, y X, d(f (x), f (y)) =
d(x, y).
Y. Lebrun 99

La norme de Minkowski ntant pas une norme, lintervalle nest donc pas une
mtrique de Rn1,1 . Dans cet espace, le terme isomtrie est plutt employ
pour dcrire les transformations suivantes :
Dfinition 2.8. Une isomtrie de Rn1,1 est une fonction f : Rn1,1 Rn1,1
o, pour tous x, y Rn1,1 ,
(f (x) f (y)) (f (x) f (y)) = (x y) (x y).
Il est bien connu que les isomtries de Rn sont des compositions de transla-
tions, de rflexions et de rotations. Partant de cela, il est possible de trouver des
quivalents ces trois transformations de base pour Rn1,1 . Une translation sur
x Rn1,1 consiste lui additionner un vecteur b Rn1,1 et a le mme effet
quune translation de Rn . Si la coordonne temporelle xn nest pas implique
dans la transformation, les rflexions et les rotations reviennent aussi celles de
la gomtrie euclidienne. Sinon, nous parlons plutt de rflexion hyperbolique ou
de rotation hyperbolique 5 .
Toute rflexion ou rotation sur x Rn1,1 revient une application linaire.
Limage dune telle application est de la forme Ax, o A est une matrice de di-
mension nn avec coefficients dans R. La notation Mn (R) dsigne lensemble des
matrices possdant ces caractristiques. Les rflexions et les rotations sont inver-
sibles, impliquant de plus que A est inversible. Nous rappelons que lensemble
des matrices A Mn (R) inversibles forment un groupe pour la multiplication
matricielle. Ce dernier sappelle le groupe gnral linaire dordre n sur R et est
not GLn (R). Or, toute application linaire inversible nest pas ncessairement
une isomtrie. Ce qui distingue les rflexions et les rotations, cest quelles pr-
servent le produit intrieur de Minkowski. Cela veut dire que, pour une matrice
A GLn (R) associe ce type de transformation, Ax Ay = x y pour tous
x, y Rn1,1 .
Nous en arrivons donc la dfinition et la proposition suivantes qui com-
pltent la sous-section :
Dfinition 2.9. Le groupe pseudo-orthogonal de type (n 1,1), not O(n
1,1), est lensemble {A GLn (R) | A prserve }. Lopration du groupe est la
multiplication matricielle.
Proposition 2.10. Une fonction t : Rn1,1 Rn1,1 est une isomtrie de
Rn1,1 si et seulement si :
x 7 t(x) = Ax + b , o A O(n1,1) et b Rn1,1 .

3 Univers dEinstein
Un autre espace dans lequel nous retrouvons des photons et des cnes de lumire
est lunivers dEinstein. Quoique cette appellation peut effrayer, lunivers dEin-
stein nest la base quun espace projectif dans Rn avec quelques conditions.
5
Parfois appele transformation de Lorentz. Elle prserve le cne de lumire dun rfrentiel
galilen un autre.
100 Espace-temps et univers dEinstein

De plus, il prsente plusieurs similarits avec lespace-temps de Minkowski qui


nous est maintenant familier. Dans cette section, nous dfinissons cet univers et
en prsentons quelques visualisations.
3.1 Dfinitions
Considrons lespace vectoriel Rn+2 (n 2) dont les vecteurs x sont reprsents
par des matrices colonnes [xi ](n+2)1 . De faon analogue la section 2.2, nous
allons munir cet espace dun produit intrieur h , i : Rn+2 Rn+2 R non
dfini et non dgnr. Pour x, y Rn+2 exprims dans la base canonique, nous
posons :

hx, yi = x1 y1 + x2 y2 + + xn yn xn+1 yn+1 xn+2 yn+2 .

Si y = x, alors lexpression devient :

hx, xi = x21 + x22 + + x2n x2n+1 x2n+2 . (3)

Lespace Rn+2 muni du produit intrieur h , i est not Rn,2 . De mme, le


groupe des matrices M GLn+2 (R) prservant h , i est not O(n,2).
Selon que hx, xi soit positif, nul ou ngatif, nous dirons du vecteur x Rn,2
quil est de type espace, lumire ou temps, respectivement, comme dans lespace-
temps de Minkowski. Cette terminologie nous mne la dfinition suivante :

Dfinition 3.1. Le cne de lumire Nn,2 est lensemble des vecteurs de type
lumire de Rn,2 .

ce moment, nous avons presque dcrit lunivers dEinstein, car ce dernier


est essentiellement Nn,2 . La diffrence est qu la place de travailler avec des
vecteurs, nous travaillons plutt avec des objets associables aux droites passant
par lorigine. Pour crer de tels objets, nous regroupons les vecteurs de mme
direction dans une seule classe dquivalence.

Dfinition 3.2. Deux vecteurs x, y Rn,2 sont en relation de colinarit, not


x y, si et seulement sil existe un scalaire k R tel que x = ky. De plus, si
k > 0, alors ils sont en relation de colinarit positive, not x + y.

Les relations et + sont des relations dquivalence. Rappelons maintenant


les concepts de classe dquivalence et densemble quotient :
Rappel . Soient E un ensemble et une relation dquivalence. La classe dqui-
valence dun lment x E est x e = {y E | x y}. Lensemble des classes
dquivalence de E est appel lensemble quotient de E par et est not E/ .
Lorigine 0 est lunique point singulier de Nn,2 , cest--dire lunique point o
le cne de lumire nest pas diffrentiable. Par consquent, il nous est prfrable
de plutt considrer Nn,2 \{0} avant de passer au quotient par .

Dfinition 3.3. Soit V un espace vectoriel. La projectivisation de V , note


PV , est lensemble quotient de V \{0} par la relation dquivalence .
Y. Lebrun 101

La fonction P : V \{0} PV , envoyant chaque lment v V \{0} vers sa


classe dquivalence pour , porte aussi le nom de projectivisation.
Dfinition 3.4. Lunivers dEinstein issu de Rn,2 , not Einn1,1 , est PNn,2 =
(Nn,2 \{0})/ .
Si le quotient est plutt effectu avec la relation de colinarit positive + ,
nous obtenons un revtement de Einn1,1 . La notion de revtement nest pas
importante pour cet article et nous donnons la dfinition suivante pour des fins
de visualisation seulement :
n1,1
d
Dfinition 3.5. Le revtement double de lunivers dEinstein, not Ein ,
est (N \{0})/ + .
n,2

Nous poussons lide que les lments de Einn1,1 peuvent tre interprts
comme tant des droites. Cela fait de lunivers dEinstein un espace projectif.
Ce concept sinspire de la projection perspective dont le fonctionnement est
similaire la vision humaine. Lorsque nous regardons dans une direction donne,
nous ne voyons que lobjet le plus prs de nous : les objets derrire ce dernier
nous sont invisibles. Ainsi, linformation visuelle de la direction est rsume
par lobjet en question. Le quotient par donne un effet semblable dans un
contexte gomtrique. Les coordonnes dun espace projectif portent le nom
de coordonnes homognes. Celles-ci sont habituellement crites avec des deux-
points : entre les valeurs.
Nous terminons cette sous-section avec deux objets importants de Einn1,1 :
les photons et les cnes de lumire. Ces derniers possdent des traits communs
avec les objets de mme nom dans lespace-temps. Ces traits sont mis en vidence
la section 3.2.
Dfinition 3.6. Un photon Einn1,1 est la projectivisation dun plan P
de Rn,2 , o chaque vecteur x P est de type lumire.
Autrement dit, considrons deux vecteurs linairement indpendants u, v
Rn,2tels que pour tous scalaires , R,

hu + v, u + vi = 0.

Lensemble des combinaisons linaires de ces deux vecteurs,

P = {u + v | , R},

forme un plan de Rn,2 et = PP est un exemple de photon.


Dfinition 3.7. Le cne de lumire dun lment x Einn1,1 , not L(x), est
lunion de tous les photons , o x .
Une dfinition quivalente et parfois plus pratique dun cne de lumire est
donne dans [LD12]. Nous la prsentons sous la forme dun lemme :
Lemme 3.8. Pour tout x Einn1,1 , L(x) = {y Einn1,1 | hx, yi = 0}.
102 Espace-temps et univers dEinstein

3.2 Visualisation de lunivers dEinstein


La condition n 2 sur Rn,2 entrane que les lments de lunivers dEinstein ont
au moins quatre coordonnes. Malheureusement, il est plutt difficile de visua-
liser un espace de dimension suprieure trois. Or, la dimension relle de
Einn1,1 nest pas n + 2, mais bien n. Ce fait est mis en vidence par la propo-
sition 3.10. Avant de lnoncer, nous rappelons que la notation S n1 dsigne la
sphre unitaire de Rn , soit
S n1 = {x Rn | x21 + x22 + + x2n = 1}.
De plus, nous avons besoin de la relation dquivalence suivante :
Dfinition 3.9. Deux vecteurs x, y Rn,2 sont en relation antipodale, not
x y, si et seulement si x = y ou x = y.
Voici maintenant le rsultat. Pour une dmonstration intuitive de ce dernier,
le lecteur peut se rfrer la section 2.2.1 de [LD12] :
Proposition 3.10. Lespace Einn1,1 est homomorphe (S n1 S 1 )/ et
d n1,1 est homomorphe S n1 S 1 .
Ein
n1,1
Dune certaine faon, nous pouvons simplement retenir que Ein d et
S n1 1
S sont le mme espace. Cette interprtation est satisfaisante pour la
section courante et la proposition 3.10 nest revisite que brivement la section
4. Notons toutefois que les espaces impliqus ici sont plus quhomomorphes et
que la vrit implique des notions qui dpassent le niveau de larticle.
Quoique S n1 est un ensemble de points dans Rn , seulement n1 paramtres
sont suffisants pour le dcrire. Si nous prenons comme exemple le cercle
S 1 = {x R2 | x21 + x22 = 1},
alors x1 = cos et x2 = sin, o [0, 2). Ainsi, le paramtre identifie
uniquement les points et fait de S 1 un espace de dimension un. Si nous choisissons
plutt la sphre
S 2 = {x R3 | x21 + x22 + x23 = 1},
alors tout point x S 2 peut scrire sous la forme suivante :
h iT
x = cos sincos sinsin , o [0, ] et [0, 2).
Nous reconnaissons les formules associes au systme de coordonnes sph-
riques. Dans le cas S n1 S 1 de la proposition, le nombre de paramtres est gal
(n1)+1 = n do la dimension relle de Eind n1,1 . Nous pouvons raisonner
d n1,1 ne sont pas seulement des
ce rsultat en ralisant que les lments de Ein
vecteurs de Rn,2 . En effet, ceux-ci doivent tre de type lumire et sont regrou-
ps en demi-droites par la relation dquivalence + . Ces deux conditions
diminuent dune certaine faon la dimension.
Pour le reste de cette sous-section, nous nous intressons la visualisation
de S n1 S 1 dans les cas n = 2 et n = 3. Entre autres, nous illustrons des
photons et des cnes de lumire dans ce modle.
Y. Lebrun 103

3.2.1 Visualisation de S1 S1
Nous savons que tout point x S 1 S 1 est de la forme
h iT
x = cos sin cos sin , o , [0, 2). (4)

1,1
Il peut en tre de mme pour tout vecteur de Ein d , mais ce fait nest pas
1,1
immdiat. Afin de le voir, observons que y Eind implique que y est de type
lumire. Il suit de lexpression (3) du produit intrieur h , i que :

y12 + y22 = y32 + y42 .


1,1
d
Lespace Ein tant projectifi, la dfinition 3.3 nous informe que lorigine
0 nest pas incluse. Par consquent, les deux termes de cette galit sont non
nuls et la quantit
1
=q
y32 + y42
1,1
est relle et non nulle. Rappelons de plus que le revtement double Eind est
un espace quotient par la relation de colinarit positive + . Le vecteur y est
d 1,1 , o z = ky et k R+ . Un candidat,
donc quivalent tout vecteur z Ein
(1/)y, se dmarque des autres la lumire du fait suivant :
 2  2  2  2
y1 y2 y3 y4
+ = + = 1.

De cette quation, nous concluons que le vecteur (1/)y a bien la forme
identifie en (4). Ainsi, en plus davoir fourni des arguments la proposition
3.10, nous avons trouv une faon dassocier un vecteur quelconque de Ein d 1,1
un point de S 1 S 1 afin de le visualiser.
Pour ce qui est de la reprsentation de S 1 S 1 , il est possible dillustrer cet
ensemble par un plan [0, 2) [0, 2), o et occupent les deux axes. Si nous
considrerions plutt (S 1 S 1 )/, alors un des deux paramtres devrait tre
limit [0, ). Sinon, nous afficherions la fois un point x (S 1 S 1 )/ et
son antipode x qui sont quivalents en vertu de la relation . Lidentification
ci-dessous clarifie la situation :

cos cos( + )
sin sin( + )

x x = = .
cos cos( + )
sin sin( + )

Le plan [0, 2) [0, 2) prsente le dsavantage de ne pas rendre la relation


antipodale visuellement claire. De plus, il nous serait intressant davoir une
reprsentation plus fidle la nature cyclique de S 1 S 1 . Cest pourquoi, comme
[LD12], nous prfrons plutt utiliser un tore ou beigne dans le langage familier.
104 Espace-temps et univers dEinstein

Cet objet est une surface de rvolution de rayon R issue dun cercle de rayon
r R et contient bien deux copies de S 1 . Nous utiliserons la paramtrisation
donne en (5) pour passer de S 1 S 1 au tore. Pour les figures de cet article, les
rayons choisis sont R = 2 et r = 1 :

cos
sin (R + rcos)cos

7 (R + rcos)sin . (5)
cos
rsin
sin

La figure 4 montre le tore associ S 1 S 1 et identifie R, r, et sur


ce dernier. Un vecteur P Ein d 1,1 et son antipode par la relation sont aussi
prsents. Si nous voulions illustrer (S 1 S 1 )/, la limitation de ou de
lintervalle [0, ) nous laisserait avec un demi-tore.

3.2.2 Visualisation de S2 S1
Les paramtrisations du cercle S 1 et de la sphre dans lespace S 2 ont dj t
discutes. Ainsi, nous pouvons dduire que tout point x S 2 S 1 scrit sous
la forme :
cos
sincos


x = sinsin , o [0, ] et , [0, 2). (6)

sin
cos
Nous choisissons cette paramtrisation en particulier d une convention
h iT
concernant le point 1 0 0 0 1 ; les autres paramtrisations possibles nen
sont pas moins valides. Dans tous les cas, nous pouvons montrer que tout vec-
d 2,1 correspond aussi la forme (6) moyennant une multiplication
teur y Ein
scalaire approprie. La dmarche suivre est identique celle pour Eind 1,1 qui
est prsente la sous-section 3.2.1.
Nous pourrions reprsenter S 2 S 1 par un espace avec (, , ) comme sys-
tme de coordonnes. Or, ici aussi, nous prfrons un modle qui facilite la
visualisation des identifications issues de :

cos cos( )
sincos sin( )cos( + )


x x = sinsin = sin( )sin( + ) .

sin sin( + )
cos cos( + )

Lide utilise par [LD12] est de ramener S 2 un disque ou cercle plein


de rayon , soit q
D2 = {x R2 | x21 + x22 }.
Y. Lebrun 105

La transformation employe est la suivante :


h iT h iT
cos sincos sinsin 7 cos sin .

Puisque [0, ], ce dernier est interprt comme un rayon dans D2 . Le


paramtre , quant lui, devient un angle de rotation. Cette transformation
h iT
est correctement dfinie, sauf lorsque = , soit au point 1 0 0 . Dans ce
cas, sin = 0 et il est impossible de dterminer la valeur de associe au rayon
. Nous ferons donc correspondre limage de ce point la frontire du disque. Il
arrive aussi que sin = 0 si = 0, mais le rayon nul entrane que langle est
sans importance : notre image est au centre du disque.
Si nous interprtons le troisime paramtre [0, 2) comme tant une
hauteur, nous en arrivons la paramtrisation suivante :

cos
sincos cos


sinsin 7 sin .

sin
cos

Le solide rsultant est un cylindre qui sera notre modle pour S 2 S 1 .


La figure 5 affiche le cylindre et identifie , et sur ce dernier. Un vecteur
d 2,1 et son antipode par la relation sont aussi prsents. Si nous voulions
P Ein
plutt afficher (S 2 S 1 )/, le paramtre est celui que nous limiterions [0, ).
Dans ce cas, nous obtiendrions seulement la moiti infrieure du cylindre qui est
identifiable sur la figure par la diffrence de coloration.

3.2.3 Visualisation de photons


Nous rappelons quun photon est la projectivisation dun plan o chaque vecteur
est de type lumire. Posons {u, v} Rn,2 la base dun tel plan et Einn1,1
le photon qui lui est associ. Ainsi, pour tout x ,

x = u + v , o , R.

Or, puisque nous sommes dans Einn1,1 , un espace quotient, x est un repr-
sentant dune classe dquivalence. En vertu de la dfinition de , ce reprsentant
peut tre chang par un multiple scalaire non nul de x. Par exemple, si 6= 0,
alors :
1 1
x x = (u + v) = u + v = u + tv , o t = R.

Si = 0, alors x = v tout simplement. Par consquent, nous pouvons
redfinir , de faon quivalente, par :

= {u + tv | t R} {v}.
106 Espace-temps et univers dEinstein

Figure 4 Tore modlisant S 1 S 1 avec les rayons R = 2 et r = 1 et les angles


et identifis. Les deux points bleus correspondent un vecteur quelconque
d 1,1 et son antipode P lorsquils sont affichs sur le tore. Ces derniers
P Ein
montrent que la relation antipodale du revtement double, quoique plus claire
comparativement au plan, nest pas conserve.

Figure 5 Cylindre modlisant S 2 S 1 avec le rayon , langle et la hau-


teur identifis. Les deux points bleus correspondent un vecteur quelconque
P Eind 2,1 et son antipode P lorsquils sont affichs dans le cylindre. Ces
derniers montrent que la relation antipodale nest pas conserve. La moiti inf-
rieure rose du cylindre reprsente (S 2 S 1 )/ et, consquemment, Ein2,1 . La
restriction de lintervalle [0, ) permet disoler cette moiti.
Y. Lebrun 107

Cest cette forme qui est habituellement utilise pour dcrire les photons de
lunivers dEinstein. Avec elle, nous pouvons voir quun photon est, un dtail
prs, une droite. Cette observation nous permet dtablir un lien supplmentaire
avec lespace-temps de Minkowski dont les photons sont des droites. La diffrence
ici est lajout de {v} qui approche le comportement de lorsque t tend vers
linfini.
Les figures 6 8 contiennent des exemples de photons dans S 1 S 1 et S 2 S 1 .
Nous encourageons le lecteur tenter dexpliquer leur forme en appliquant les
connaissances des dernires sous-sections. Cet exercice constitue une excellente
occasion de se familiariser avec les reprsentations de lunivers dEinstein.

3.2.4 Visualisation des cnes de lumire

Soit un vecteur x Einn1,1 . La dfinition 3.7 prsente le cne de lumire L(x)


comme lunion de tous les photons passant par x. Cependant, cette dfinition ne
nous est utile que si nous avons une bonne connaissance des photons de Einn1,1 .
Cela est le cas lorsque n = 2, car les photons sur S 1 S 1 nont essentiellement que
deux formes ou orientations. Pour laborer, tout photon sur le tore admet une
reparamtrisation o les angles et varient au mme rythme. Ainsi, seulement
deux scnarios peuvent se prsenter : ces angles voluent dans la mme direction
ou dans des directions opposes. La figure 9 prsente graphiquement les deux
orientations. Pour chacune dentre elles, il ny a quun seul photon qui passe
par notre vecteur x. En conclusion, L(x) correspond simplement lunion des
deux photons qui sintersectent en x. La figure 10 montre un exemple de cne
de lumire sur le tore.
Nous avons vu que les photons dans S 2 S 1 prennent des formes plus varies.
Par consquent, la dfinition 3.7 nest pas trs pratique lorsque n = 3 et il est
prfrable davoir recours au lemme 3.8 dans cette situation. En vertu de ce
lemme, trouver le cne de lumire L(x) revient rsoudre lquation hx, yi = 0
par rapport y Ein2,1 . Cette tche nest pas toujours facile et son traitement
dborde du cadre de larticle. Nous prsentons un exemple de cne de lumire
dans le cylindre la figure 11.

4 Compactification
Plusieurs similitudes entre lespace-temps de Minkowski et lunivers dEinstein
ont t explicites ou laisses lil attentif du lecteur dans la section prc-
dente. Il est ainsi naturel de se demander quelle est la vritable nature de leur
relation. Nous nous limitons ici une rponse partielle et des explications in-
compltes, mais ces dernires devraient tout de mme donner une ide gnrale
de la situation. La rponse partielle est la suivante :

Proposition 4.1. Lunivers dEinstein Einn1,1 est une compactification de


lespace-temps de Minkowski Rn1,1 .
108 Espace-temps et univers dEinstein

Figure 6 Photon [1 : t : 1 : t]T [0 : 1 : 0 : 1]T de Ein1,1 reprsent dans S 1 S 1 .


Dans limage de gauche, nous prenons toutes les valeurs t R. Dans celle de
droite, nous prenons des valeurs discrtes de t par bond de 1/2. Les points
daccumulation du photon correspondent aux limites t , soit [0 : 1 : 0 : 1]T .

Figure 7 Photon [1 : t : 0 : t : 1]T [0 : 1 : 0 : 1 : 0]T de Ein2,1 reprsent dans


S 2 S 1 . Dans limage de gauche, nous prenons toutes les valeurs t R. Dans
celle de droite, nous prenons des valeurs discrtes de t par bond de 1/2. Les
limites t correspondent au point daccumulation [0 : 1 : 0 : 1 : 0]T . Le cercle
pointill indique latteinte de la frontire du disque de hauteur par le photon.
Puisque nous avons tabli que cette frontire correspond un unique point de
d 2,1 , nous lavons colore en entier. Des ombres grises ont t ajoutes la
Ein
figure afin damliorer la visualisation en trois dimensions.
Y. Lebrun 109

Figure 8 Photon [0 : 1 : t : t : 1]T [0 : 0 : 1 : 1 : 0]T de Ein2,1 reprsent


dans S 2 S 1 . Dans limage de gauche, nous prenons toutes les valeurs t R.
Dans celle de droite, nous prenons des valeurs discrtes de t par bond de 1/2.
Les limites t correspondent au point daccumulation [0 : 0 : 1 : 1 : 0]T .
Le cylindre, tant utilis comme solide plutt que surface, permet des photons
dapparences plus varies que le tore. Des ombres grises ont t ajoutes la
figure afin damliorer la visualisation en trois dimensions.

Figure 9 Deux orientations possibles dun photon de Ein1,1 sur le tore. Les
angles et voluent dans la mme direction pour les photons de limage de
gauche et dans des directions opposes pour ceux de limage de droite.
110 Espace-temps et univers dEinstein

Figure 10 Cne de lumire au point P associ au vecteur [1 : 0 : 1 : 0]T de


Ein1,1 . Ce cne nest effectivement compos que de deux photons dorientations
diffrentes. Sa forme nest pas sans rappeler celle des cnes dans le plan. Notons,
de plus, quil passe par lantipode P et est aussi son cne de lumire.

Figure 11 Cne de lumire au point P associ au vecteur x = [1 : 0 : 0 : 0 : 1]T


de Ein2,1 . Lquation hx, yi = 0 se rsout facilement et donne la condition
y1 y5 = 0 sur y Ein2,1 . En vertu de la paramtrisation (6), les points qui
composent le cne sont ceux o cos = cos. En plus de son apparence inverse
par rapport aux cnes conventionnels, il passe par lantipode P et est aussi
son cne de lumire.
Y. Lebrun 111

Cela nous dit essentiellement que lunivers dEinstein est un compact et


une extension de lespace-temps de Minkowski. La premire affirmation est
une consquence de la proposition 3.10. En effet, affirmer que Einn1,1 est ho-
momorphe (S n1 S 1 )/ implique quil existe une bijection continue h, du
premier ensemble au deuxime, dont linverse h1 est aussi continue. Puisque les
sphres S m sont compactes, le produit cartsien S n1 S 1 lest aussi. Le passage
au quotient par la relation dquivalence prserve la compacit. Finalement,
limage dun compact par une fonction continue tant compacte, la fonction h1
nous mne au rsultat. Ce sont l les grandes tapes du raisonnement et nous ne
dsirons pas aller plus loin dans la dmonstration de la proposition 4.1. Le reste
de la section est consacr donner une conception simplifie de ce rsultat.
Dans Rn , tout ensemble compact ne stend pas linfini : il est born. Notre
exprience avec les ensembles (S n1 S 1 )/ nous montre quils sont aussi bor-
ns. Lillustration des photons et des cnes de lumire dans ceux-ci est intres-
sante pour la raison que leurs points daccumulation sont inclus. Pourtant, ces
points correspondent des limites linfini. Par comparaison, il est impossible
de considrer les points infinis de lespace-temps de Minkowski qui nest pas
born.
Cest la lacune mentionne ci-dessus qui permet lunivers dEinstein de
rayonner : ce dernier tend lespace-temps de Minkowski linfini. Un exemple
particulirement parlant pour illustrer cette ralit sont les photons. Rappelons
quun photon de Einn1,1 , qui est la base un plan, peut tre rcrit de la
faon suivante :
= {u + tv | t R} {v}.
La premire partie de cette union est la donne dune droite qui est de la
forme dun photon dans Rn1,1 . Le point v ne sera jamais atteint par la droite,
mais cette dernire peut sen approcher autant que possible lorsque t . Tout
point de lespace-temps de Minkowski peut tre plong dans lunivers dEinstein
et il en est de mme pour ses objets. Nous ne donnons pas les dtails, mais
rfrons plutt lindividu intress la section 2 de [LD12].

Rfrences
[Cal00] J. J. Callahan : The Geometry of Spacetime : An Introduction to
Special and General Relativity. Springer-Verlag New York, Inc., 2000.

[LD12] R. Lareau-Dussault : Les surfaces croches de lunivers dEinstein.


matrise s sciences, Universit de Sherbrooke, 2012.

Yannick Lebrun
Dpartement de mathmatiques, Universit de Sherbrooke
Courriel: Yannick.Lebrun@USherbrooke.ca