Métrique riemannienne - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Introduction

Les métriques riemanniennes sont les objets d'étude de la géométrie riemannienne. La première introduction a été donnée par Riemann en 1854. Cependant, son article sur le sujet a été publié après sa mort, en 1868. La même année, Helmholtz publie des résultats analogues.

Les métriques riemanniennes sont des collections différentiables de formes quadratiques définies positives :

Sur un fibré vectoriel $E\rightarrow M$ , une métrique riemannienne $g = g x$ est la donnée d'un produit scalaire $g x$ sur la fibre $E x$ qui dépende de manière lisse du point de base $x\in M$ . Plus formellement, $x\mapsto g_x$ est une section en tout point définie positive du fibré vectoriel des formes bilinéaires symétriques . On dit que la donnée $(E, g)$ est un fibré riemannien.

Pour deux fibrés riemanniens

(E, g)

(F, g')

, un morphisme de fibrés riemanniens est un morphisme de fibré

tel que, pour tout

, l'application linéaire est une isométrie linéaire, id est :

Si $M$ est une variété différentielle (de dimension n), une métrique riemannienne sur $M$ est simplement une métrique riemannienne $g$ sur le fibré tangent $TM\rightarrow M$ . La donnée $(M, g)$ est une variété riemannienne.

Etant données deux variétés riemanniennes

(M, g)

(N, g')

, une isométrie est une application différentiable telle que l'application tangente est un morphisme de fibrés riemanniens. Cette derniere condition se reecrit :

F * g = g

Exemples

Tout produit scalaire $< , >$ sur $R n$ induit sur tout fibré vectoriel trivial une métrique riemannienne :

g x ((x, v),(x, w)) = < v, w >

Soit $g$ une métrique riemannienne sur $E\rightarrow M$ . Pour une fonction différentiable , il existe sur le fibré vectoriel tiré en arrière une unique métrique riemannienne $ψ * g$ telle que le morphisme naturel soit un isomorphisme de fibrés riemanniens.

Si $g$ est une métrique riemannienne sur $E\rightarrow M$ , alors, par restriction, $g$ définit une métrique riemannienne sur tout sous-fibré vectoriel $F\subset E$ .

Existence

Sur tout fibré vectoriel $\pi:E\rightarrow M$ , il existe une métrique riemannienne.

Preuve via une partition de l'unité.

Pour tout ouvert U suffisamment petit de M, le fibré vectoriel est trivialisable. Or, par ci-dessus, tout fibré vectoriel trivialisable admet une métrique riemannienne. Donc, il existe une métrique riemannienne $g U$ sur $π - 1 (U)$ .

En utilisant la paracompacité de $M$ , il existe un recouvrement (strictement) dénombrable de $M$ tel que, pour tout $n\in N$ , il existe une métrique riemannienne $g n$ sur le fibré vectoriel . Soit une partition de l'unité subordonnée à . L'application est une section globale de nulle au voisinage de la frontière . Elle se prolonge par $0$ en une section globale de , abusivement notée .

On pose alors :

C'est une section de , et elle bien définie positive en tout point : si $x\in M$ appartient à l'intérieur du support de $φ n$ , et pour tout vecteur ,

$v\neq 0\Rightarrow g(v,v)\geq \phi_n(x)g^n_x(v,v)>0$

Preuve via un plongement.

Il existe un fibré vectoriel tel que soit trivialisable. On utilise à ce niveau la paracompacité de $M$ . Il existe donc une métrique riemannienne sur qui se restreint en une métrique riemannienne sur $E\rightarrow M$ .

Attention : bien que plus court en apparence, ce second argument dissimule la difficulté dans l'existence de