Assistant: joseph.saliba@epfl.ch Corrig´ e 4 11/03/2013
1 Exercice 1
A l’aide des angles d’Euler, g ∈ SO(3) s’´ ecrit
g = R
3(φ)R
1(θ)R
3(ψ),
o` u R
j(α) est la rotation d’un angle α autour de l’axe j . En identifiant SO(2) ` a une rotation autour de l’axe 3, on peut choisir comme repr´ esentant de [g]
SO(2)l’´ el´ ement ˜ g = R
3(φ)R
1(θ). En effet, pour g ∈ SO(3), posons h = g
−1˜ g. Ce h est un ´ el´ ement de SO(2)
h = g
−1g ˜ = R
−13(ψ)R
1−1(θ)R
−13(φ)R
3(φ)R
1(θ) = R
−13(ψ) ∈ SO(2), et tel que ˜ g = gh. Donc
SO(3)/SO(2) = { R
3(φ)R
1(θ) | φ ∈ [0, 2π[, θ ∈ [0, π] } .
Comme repr´ esentant dans
SO(2)[g], on prend ¯ g = R
1(θ)R
3(ψ). Comme pr´ ec´ edemment, on v´ erifie que ¯ gg
−1∈ SO(2); ainsi
SO(2) \ SO(3) = { R
1(θ)R
3(ψ) | θ ∈ [0, π], ψ ∈ [0, 2π[ } .
Quant ` a la sph´ ere S
2, tout x ∈ S
2est d´ ecrit, en coordonn´ ees sph´ eriques, par les deux angles θ ∈ [0, π] et φ ∈ [0, 2π[, selon
~
x = (cos φ sin θ, sin φ sin θ, cos θ).
On voit donc qu’il y a une correspondance biunivoque entre ~ x et ˜ g ou ¯ g. Soit l’application f : SO(2) \ SO(3) −→ S
2R
1(θ)R
3(φ) −→ ~ x =
cos φ sin θ sin φ sin θ
cos θ
Munissons SO(2) \ SO(3) et S
2des distances
d
SO(2)\SO(3)(A, B) = max
1≤i,j≤3
| A
ij− B
ij| d
S2(~ x, ~ y) = max
1≤j≤3
| x
j− y
j| .
Ceci donne une structure d’espace m´ etrique ` a SO(2) \ SO(3) et S
2. Montrons la continuit´ e de l’application f ; on a
R
1(θ)R
3(φ) =
1 0 0
0 cos θ sin θ 0 − sin θ cos θ
cos φ sin φ 0
− sin φ cos φ 0
0 0 1
=
cos φ sin φ 0
− cos θ sin φ cos θ cos φ sin θ sin θ sin φ − sin θ cos φ cos θ
1
donc
d
SO(2)\SO(3)(A, A
0) < δ
⇒
⇒ max
1≤i,j≤3
| A
ij− A
0ij| < δ
⇒| A
ij− A
0ij| < δ
∀ i, j = 1, 2, 3
⇒| cos φ sin θ − cos φ
0sin θ
0| < δ
| sin φ sin θ − sin φ
0sin θ
0| < δ
| cos θ − cos θ
0| < δ
⇒| x
j− x
0j| < δ
∀ j = 1, 2, 3
⇒ max
1≤j≤3
| x
j− x
0j| < δ
⇒ d
S2(~ x, ~ x
0) < δ
f est donc continue. La continuit´ e de f
−1peut ˆ etre montr´ ee de la mˆ eme fa¸con . On a donc
S
2' SO(2) \ SO(3)
Un raisonnement analogue permet d’´ etablir que S
2' SO(3)/SO(2).
2 Exercice 2
La caract´ eristique d’Euler est donn´ ee par χ(X) = s − c+f, o` u s est le nombre de sommets, c le nombre de cˆ ot´ es, f le nombre des faces. Pour calculer χ on peut utiliser le fait que ces espaces sont hom´ eomorphes ` a des espaces quotients obtenus ` a partir de R
2en utilisant des relations d’´ equivalence opportunes:
1. Tore T
2' R
2/ ∼ avec x ∼ y ⇔ x
1− y
1= 2πn
1, x
2− y
2= 2πn
2, n
i∈ Z 2. Ruban de Moebius M ' R
2/ ∼ avec x ∼ y ⇔ x
1− y
1= 2πn,
x
2= ( − 1)
ny
2, n ∈ Z
3. Bouteille de Klein K ' R
2/ ∼ avec x ∼ y ⇔ x
1= ( − 1)
n2y
1+ 2πn
1, x
2− y
2= 2πn
2, n
i∈ Z
4. L’espace projectif RP
2' R
2/ ∼ avec x ∼ y ⇔ x
1= ( − 1)
n2y
1+ 2πn
1, x
2= ( − 1)
n1y
2+ 2πn
2, n
i∈ Z
On a donc (voir Fig.(1)):
1. χ(T
2) = 1 − 2 + 1 = 0;
2. χ( M ) = 2 − 3 + 1 = 0;
3. χ( K ) = 1 − 2 + 1 = 0 4. χ(RP
2) = 2 − 2 + 1 = 1
2
A A A A
B A
B A
A A
A A
B A
B A
T
2M K RP
2Fig. 2.2: Espaces quotient deR2: toreT2, ruban de MoebiusM, bouteille de KleinKet de l’espace projectif RP2.