Courbure et droite projective réelle I

Considérons une courbe régulière d’un plan affine euclidien orienté. Pour simplifier l’exposé, nous supposerons avoir choisi une fois pour toute un repère orthonormé et positif et travaillerons directement en coordonnées et composantes relatives à ce repère.

Pour définir la courbure algébrique de , on utilise traditionnellement une base formée d’une tangente unitaire et d’une normale unitaire comme je l’ai expliqué dans cet article. Le tout est résumé par l’équation

qui exprime en sens, direction et intensité, la manière dont varie, i.e. comment la courbe « se plie ».

On aurait tout aussi bien pu étudier la courbe de la droite projective réelle définie par

La droite est en effet le vectoriel directeur de la (droite) tangente à en . Sa façon de varier devrait donc nous renseigner tout autant que celle de sur la courbure de .

C’est précisément ce que nous allons constater ici en calculant le vecteur tangent à l’aide d’une jolie formule.

Nous avons pour cela besoin de quelques rappels à propos de .

Tout d’abord, celui-ci est recouvert par les domaines de deux systèmes privilégiés de coordonnées, dits canoniques, . L’ouvert est formé des droites vectorielles de qui ne sont pas perpendiculaires à . Alors, si est un vecteur directeur de la droite , dans , on a et, dans , .

Nous avons ensuite introduit dans ce billet une famille de champs de vecteurs fondamentaux(*) sur : . En choisissant bien , nous allons obtenir un champ de vecteurs ne s’annulant nulle part et fournissant donc en chaque point de une base de son espace tangent en ce point. Le champ de vecteurs

fait l’affaire. En effet, comme on le voit facilement à l’aide de formules présentées dans le billet signalé quelques lignes plus haut, les expressions locales de ce champ dans les systèmes de coordonnées canoniques sont

(1)

Voici la formule annoncée.

Elle est très simple à établir en utilisant les coordonnées locales. Je montre comment cela fonctionne dans le premier système canonique. Dans le second, les calculs sont tout à fait similaires.

Posons . Pour rappel, la courbure algébrique est alors donnée par

De plus, . Par suite,

Enfin, vu (1),

D’où la formule annoncée puisque .

Cette formule est particulièrement frappante lorsque est une abscisse curviligne de , car alors . Ainsi, lorsque est rapporté à une abscisse curviligne, sa courbure algébrique en est la composante du vecteur tangent selon la base de l’espace tangent à en .

Par exemple, si est le cercle trigonométrique, i.e. si et si, partout dans , , alors la courbure algébrique (qui est l’inverse du rayon de courbure, en l’occurence) est constante et vaut . Par conséquent, pour le cercle trigonométrique, est une courbe intégrale maximale du champ de vecteurs de .

Comme le laisse supposer le titre du présent billet, j’ai encore quelques petites choses à raconter à propos de la courbure et de la droite projective réelle mais cela fera l’objet d’un autre billet.

😉

__________
(*) On désigne par l’ensemble des matrices réelles carrées de tailles deux dont la trace est nulle.