Seconde forme fondamentale

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant la géométrie
Cet article est une ébauche concernant la géométrie.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En géométrie différentielle, la seconde forme fondamentale, notée II, est une forme quadratique sur l'espace tangent de l'hypersurface d'une variété riemannienne.

Cas d'une surface dans ℝ3[modifier | modifier le code]

Soit une surface Σ paramétrée par X(u, v). En un point P donné, le plan tangent (lorsqu'il est défini) est généré par les vecteurs tangents Xu et Xv, et le vecteur normal est défini comme étant le vecteur unitaire n colinéaire à Xu ∧ Xv. Dans le repère (P, Xu, Xv, n), si la surface est localement lisse, on peut faire un développement limité de Σ sous la forme

et définir la forme quadratique

II = Ldx2 + 2Mdxdy + Ndy2.

avec

Cette forme quadratique II est appelée seconde forme fondamentale. Elle peut aussi être représentée par la matrice

Les vecteurs tangents (Xu, Xv) constituent une base du plan vectoriel tangent à Σ en P ; tout vecteur tangent peut s'écrire comme combinaison linéaire de Xu et Xv. La seconde forme fondamentale appliquée à deux vecteurs w1 = aXu + bXv et w2 = cXu + dXv s'écrit

II(w1, w2) = Lac + M(ad + bc) + Nbd

et pour un seul vecteur

II(w1, w1) = La2 + 2Mab + Nb2

La seconde forme fondamentale s'exprime également à partir de l'opérateur de forme S et du produit scalaire :

II(w1, w2) = S(w1)⋅w2.

La courbure de Gauss K peut être calculée à partir des première et seconde formes fondamentales :

.

Les courbures principales sont les valeurs propres de la matrice symétrique

Définition[modifier | modifier le code]

On considère une hypersurface orientée d'une variété riemannienne.

Soit n le champ de normales associé à cette hypersurface (cf. application de Gauss).

En notant la dérivée covariante de la variété ambiante, on pose :

.

Le signe de la seconde forme fondamentale dépend du choix de la direction de n (la co-orientation de l'hypersurface).

On peut généraliser le concept de seconde forme fondamentale aux espaces de codimension arbitraire. Dans ce cas, c'est une forme quadratique sur l'espace tangent, à valeurs dans le fibré normal :

avec la projection orthogonale de la dérivée covariante sur le fibré normal.

Espaces euclidiens[modifier | modifier le code]

Dans les espaces euclidiens, le tenseur de courbure d'une sous-variété peut être décrit par l'équation de Gauss :

Variétés riemanniennes[modifier | modifier le code]

Pour une variété riemannienne quelconque, on doit ajouter la courbure de l'espace ambiant. Si N est une variété incluse dans une variété riemannienne (M,g), alors le tenseur de courbure de N avec métrique induite peut être exprimé à partir de la seconde forme fondamentale et de , le tenseur de courbure de M :

Voir aussi[modifier | modifier le code]

Notes et références[modifier | modifier le code]