Géométrie différentielle : exercices
Séance 2– 22 février 2012
Exercice 1. Montrer que le cercle S1, muni de la topologie induite par R2, est une
variété différentiable. Quel est le nombre minimal de cartes d’un atlas de S1?
Correction. Du point de vue topologique, S1est bien séparé et à base dénombrable
car sa topologie est induite par R2.
On peut définir un atlas à deux cartes (U, ϕ)et (V, ψ), où
U=S1\ {(1,0)}
et ϕ:U]0; 2π[ : (x, y)7→
arccos(x)si y0
2πarccos(x)si y < 0
V=S1\ {(1,0)}
et ψ:V]π;π[ : (x, y)7→
arccos(x)si y0
arccos(x)si y < 0
et les applications réciproques sont données par
ϕ1(θ) = (cos(θ),sin(θ)) et ψ1(θ) = (cos(θ),sin(θ))
de sorte que
(ψϕ1)(θ) =
θsi 0< θ < π
θ2πsi π < θ < 2π
et (ϕψ1)(θ) =
θ+ 2πsi π < θ < 0
θsi 0< θ < π
Les cartes Uet Vsont bien des ouverts de S1(pourquoi ?), les applications ϕ
et ψsont continues (pourquoi ?), leur réciproque également (pourquoi ?) donc ce
sont des homéomorphismes (parce que !). De plus, il est clair que les applications de
changement de cartes sont C(pourquoi ?).
D’un autre côté, 2est le nombre minimal de cartes, sinon S1serait homéomorphe
àR, ce qu’il n’est notoirement pas (pourquoi ?).
Exercice 2. Montrer que le groupe de matrices
SU(2) def
=nAGl(2,C)t.q. t¯
AA = Id det A= 1o
est une variété différentiable de dimension 3.
Aide Expliciter la définition de SU(2) et utiliser le fait que S3est une variété diffé-
rentiable.
Correction. Une matrice Ade SU(2) s’écrit
A= a b
c d!avec
¯aa + ¯cc = 1
¯
bb +¯
dd = 1
¯ab + ¯cd = 0
ad bc = 1
et ces équations impliquent
¯a= ¯aad ¯abc = (1 ¯cc)d+ ¯cdc =d
et ¯
b=¯
bad ¯
bbc =¯
dcd (1 ¯
dd)c=c
donc le système est équivalent à
¯aa +¯
bb = 1
d= ¯a
c=¯
b
et on en déduit
SU(2) = ( a b
¯
b¯a!Gl(2,C)t.q. |a|2+|b|2= 1)
ce qui fournit un homéomorphisme avec S3, et donc une structure de variété sur
SU(2).
Exercice 3. On considère la sphère S3R4comme les quaternions unités :
S3={qHt.q. q¯q= 1}.
Soit Φ : UR3:x+iy +jz +kw 7→ (y, z, w)
U=nx+iy +jz +kw S3t.q. x > 0o.
Pour chaque qS3, on définit la carte (Uq, ψq)par
ψq:Uq
def
=npS3t.q. q1pUoB(0,1) R3:p7→ Φ(q1p)
2
1. Vérifier que S3est la sphère usuelle de R4.
2. Vérifier que (Uq, ψq)est bien une carte (pour tout qS3).
3. Montrer que l’ensemble de ces cartes constitue un atlas différentiable pour S3.
Correction. La sphère est considérée avec sa topologie induite, pour laquelle
Uest bien un ouvert (pourquoi ?). On en déduit que Uqest également un ouvert
(pourquoi ?). De plus, comme qUq, la réunion des Uqrecouvre bien la sphère.
L’application Φest évidemment continue (pourquoi ?) et sa réciproque
Φ1:B(0,1) S3: (y, z, w)7→ (q1(y2+z2+w2), y, z, w)
est également continue (pourquoi ?), donc Φest un homéomorphisme. On en déduit
que ψqa pour réciproque
ψ1
q:B(0,1) Uq: (y, z, w)7→ qφ1(y, z, w)
et est également un homéomorphisme car composé d’homéomorphismes.
Enfin, on a
(ψqψ1
r)(y, z, w) = Φ(q1rΦ1(y, z, w))
qui est bien différentiable sur son domaine, pour tout q, r : pour le voir sans calculs,
remplacer Φ1par une application à valeur dans R4=H, et Φpar une application
dont le domaine est R4, et utiliser le fait que c’est maintenant une composition
d’applications différentiables.
Exercice 4. Soit (X, T)un espace topologique. On veut définir une topologie sur
¯
Xdef
=Xt {∞}. Notons ¯
Tla collection des sous-ensemble Ude ¯
Xtels que Uest
ouvert dans X(lorsque /U), ou X\Uest compact avec la topologie induite par
X(lorsque ∞ ∈ U).
1. Sous quelles conditions ¯
Test-il un espace topologique ?
2. Si (¯
R,¯
Tusuelle)est un espace topologique, est-il homéomorphe à un espace
connu ?
3
1 / 3 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !