Master 1 Math´ematiques
Calcul diff´erentiel et int´egral sur des vari´et´es
Nicolas Louvet et Tilmann Wurzbacher
Examen Juin 2007 : Dur´ee 3 heures
Aucun document nest admis. — La couleur rouge est r´eserv´ee `a la correction.
I. “Atlas, vari´et´es et diff´eomorphismes”
Soit (M, T) un espace topologique et {Uα|αA}un recouvrement ouvert de M. Si pour
chaque αil existe une application φα:UαRmtelle que φαest un hom´eomorphisme sur
son image φα(Uα), on appelle la famille A={(Uα, φα)|αA}un “atlas topologique” sur
M.
(I.a) Question de cours: Donner la efinition d’un “atlas diff´erentiable”.
(I.b) Soient M=M at(n×n, R) et G=GL(n, R) = {M M | Mest inversible}.
Pourquoi est-ce que Gest ouvert dans M?
(I.c) Posons Ψ = exp : M → G, M 7→ eM=P
k=0 (1/k!)Mk. Montrer que Ψ est bien-
definie (c’est-`a-dire Ψ(M)Gpour tout M) et diff´erentiable.
(I.d) Montrer que la diff´erentielle (DΨ)0est ´egale `a IdM.
(I.e) En d´eduire qu’il existe des voisinages ouverts Vde 0 dans Met Ude In(matrice
unitaire de taille n) dans Gtels que Ψ|V:VUest un diff´eomorphisme.
(I.f) Soit Bdans G. Montrer que LB:M → M, M 7→ B·Mest un diff´eomorphisme.
(I.g) Soient Bdans G, ΨB=LBΨ et UB=LB(U)G. Montrer que ΨB:VUB
est un diff´eomorphisme.
Posons ΦB= Ψ1
B:UBV.
(I.h) Soient B1, B2Get UB1UB1non-vide. D´eduire de (I.g) que
ΦB1Φ1
B2: ΦB2(UB1UB2)ΦB1(UB1UB2)
est de classe C.
(I.i) Expliquer pourquoi A={(UB,ΦB)|BG}est un atlas diff´erentiable pour G.
II. “Champs de vecteurs et leurs flots”
(II.a) Soient Mune vari´et´e et Xun champ de vecteurs sur M. Donner la d´efinition du
“flot de X”.
(II.b) Soit M=R2,A=1 0
01et XAle champ lin´eaire associ´e `a la matrice A:
XA(x) =
2
X
i,j=1
aij xj
xi
x.
1
Calculer le flot φA
t:= φXA
tde XA.
(II.c) Calculer LXA(dx1).
(II.d) Calculer LXA(Ω), o`u Ω = dx1dx2.
[Indication: Rappelons que (LXω)p=d
dt
t=0((φX
t)ω)p.]
III. “Une alg`ebre commutative”
(III.a) Soient Eun espace vectoriel r´eel de dimension finie et tΛkE,sΛlE. Donner
la d´efinition de st.
(III.b) Soient Mune vari´et´e diff´erentiable et ωune k-forme, ainsi que ηune l-forme sur
M. Donner la d´efinition de ωη.
(III.c) Montrer que A:= j0E2j(M) avec l’addition habituelle et la multiplication
donn´ee par “” est une R-alg`ebre commutative. [Indication: vous pouvez ici utiliser -sans
d´emonstration- les propri´et´es de dans ΛEpour Eun espace vectoriel r´eel de dimension
finie.]
IV. “Le th´eor`eme de Stokes”
Soient Mune vari´et´e diff´erentiable orienee de dimension m,DMun domaine r´egulier
(i.e. Dest ouvert et D est soit vide soit une sous-vari´et´e orienee de codimension un dans
M) et ωune (m1)-forme “`a support compact dans M”.
(IV.a) Donner la d´efinition du “support d’une forme diff´erentielle”.
Rappelons l’´enonc´e du th´eor`eme de Stokes:
ZD
=ZD
jω , o`u j:D Mest l’injection canonique.
(IV.b) Soient Vouvert dans Rket η=f(u)du1... dukune k-forme `a support compact
dans V. Donner la d´efinition de RVη.
(IV.c) Soient M=Rm,D={xM|x1<0}et ωune (m1)-forme `a support compact
dans M.
Montrer les points suivants (i.e. montrer Stokes dans ce cas):
(i) Donner la forme g´en´erale de ω.
(ii) Calculer .
(iii) Donner RDet simplifier en utilisant le fait qu’il existe R > 0 tel que supp()
[R, R]met le th´eor´eme fondamental du calcul int´egral dans une variable.
(iv) Calculer jωsur D ={0} × Rm1
=Rm1.
(v) Donner RD jωet comparer `a RD.
2
1 / 2 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 !