Point singulier d'une courbe

Modèle:Ébauche En géométrie, un point singulier d'une courbe est un point en lequel la courbe ne peut être paramétrée par un plongement lisse.

Les définitions plus précises du point singulier d'une courbe dépendent du type de courbe concernée.

Courbes algébriques planes

Les courbes algébriques planes peuvent être définies comme étant un ensemble de points $(x,y)$ qui satisfont une équation de la forme $f(x,y)=0,$ où $f:{ℝ}^2\to ℝ$ est une fonction polynomiale.

Supposons $f$ est développée sous la forme :

$f=a_0+b_{0}x+b_{1}y+c_0{x}^2+2c_{1}xy+c_2{y}^2+\dots$

et si l'origine Modèle:Math est sur la courbe, alors $a_0=0$. Si $b_1\ne 0$, alors le théorème des fonctions implicites garantit qu'il existe une fonction lisse Modèle:Mvar telle que la courbe soit de la forme $y=h(x)$ près de l'origine. De même, si $b_0\ne 0$, alors il existe une fonction lisse Modèle:Mvar telle que la courbe soit de la forme $x=k(y)$ près de l'origine.

Dans les deux cas, il existe une fonction lisse sur $ℝ$ qui définit la courbe au voisinage de l'origine. Remarquons qu'à l'origine,

$b_0=\frac{\partial f}{\partial x},b_1=\frac{\partial f}{\partial y},$

de sorte que la courbe est non singulière à l'origine si au moins l'une des dérivées partielles de Modèle:Mvar est non nulle en ce point. Plus généralement, les points singuliers sont les points sur la courbe où les deux dérivées partielles sont nulles :

$f(x,y)=\frac{\partial f}{\partial x}=\frac{\partial f}{\partial y}=0.$

Points réguliers

On suppose que la courbe passe par l'origine et on pose $y=mx.$ Alors Modèle:Mvar peut être écrit sous la forme $$f=(b_0+m{b}_1)x+(c_0+2m{c}_1+c_2{m}^2)x^2+\cdots .$$ Si $b_0+m{b}_1$ est non nul alors Modèle:Math a une solution de multiplicité 1 en Modèle:Math et l'origine est un point de contact simple avec la droite $y=mx.$ Si $b_0+m{b}_1=0$ alors Modèle:Math a une solution de multiplicité 2 ou supérieure et la droite $y=mx,$ ou $b_{0}x+b_{1}y=0,$ est tangente à la courbe. Dans ce cas, si $c_0+2m{c}_1+c_2{m}^2$ est non nul alors la courbe à un point de contact double avec $y=mx.$ Si le coefficient de Modèle:Math, $c_0+2m{c}_1+c_2{m}^2,$ est nul mais le coefficient de Modèle:Math ne l'est pas et donc l'origine est un point d'inflexion de la courbe. Si les coefficients de Modèle:Math et Modèle:Math sont tous les deux nuls alors l'origine est un point d'ondulation de la courbe. Cette analyse peut se déporter en tout point d'une courbe en translatant le repère pour placer l'origine au pont à étudier.

Points doubles

Trois limaçons illustrant les types de points doubles. Une fois revenus en coordonnées cartésiennes de $(x^2+y^2-x{)}^2=\frac{9}{4}(x^2+y^2),$ la courbe gauche a un acnode à l'origine, qui est un point isolé du plan. La courbe centrale, la cardioïde, a un point de rebroussement à l'origine. La courbe droite a un crunode à l'origine et la courbe se croise elle-même pour former une boucle.

Si Modèle:Math et Modèle:Math sont tous deux nuls dans le développement ci-dessus, mais au moins un des Modèle:Math, Modèle:Math, Modèle:Math est non nul alors l'origine est un point double de la courbe. En reprenant $y=mx,$ Modèle:Mvar peut être écrit $$f=(c_0+2m{c}_1+c_2{m}^2)x^2+(d_0+3m{d}_1+3m^2{d}_2+d_3{m}^3)x^3+\cdots .$$ Les points doubles peut être classés selon les solutions de $c_0+2m{c}_1+m^2{c}_2=0.$

Crunodes

Modèle:Article détaillé Si $c_0+2m{c}_1+m^2{c}_2=0$ a deux solutions réelles Modèle:Mvar, soit si $c_0{c}_2-c_1^2<0,$ alors l'origine est un crunode. La courbe dans ce cas se croise elle-même à l'origine et a deux tangentes distinctes correspondantes aux deus solutions de $c_0+2m{c}_1+m^2{c}_2=0.$ La courbe a alors un point-selle à l'origine dans ce cas.

Acnodes

Modèle:Article détaillé Si $c_0+2m{c}_1+m^2{c}_2=0$ n'a aucune solution réelle pour Modèle:Mvar, soit si $c_0{c}_2-c_1^2>0,$ alors l'origine est un acnode. Dans le plan réel, l'origine est un point isolé sur la courbe ; cependant, en tant que courbe complexe l'origine n'est pas isolée et a deux tangentes imaginaires correspondantes aux deux racines complexes de $c_0+2m{c}_1+m^2{c}_2=0.$ La fonction Modèle:Mvar a un extremum local à l'origine dans ce cs.

Point de rebroussement

Modèle:Article détaillé Si $c_0+2m{c}_1+m^2{c}_2=0$ a une solution simple de multiplicité 2 pour Modèle:Mvar, soit si $c_0{c}_2-c_1^2=0,$ alors l'origine est un point de rebroussement. La courbe dans ce cas change de direction à l'origine, créant une crête. La courbe a une tangente simple à l'origine qui peut être comme deux tangentes qui coïncident.

Autres classifications

Le terme de nœud est utilisée pour désigner un crunode ou un acnode, soit un point double qui n'est pas un point de rebroussement. Le nombre de nœuds et le nombre de points de rebroussement sont deux invariants dans la formule de Plücker.

Si une des solutions de $c_0+2m{c}_1+m^2{c}_2=0$ est aussi solution de $d_0+3m{d}_1+3m^2{d}_2+m^3{d}_3=0,$ alors la branche correspondante de la courbe a un point d'inflexion à l'origine. Dans ce cas, on parle de flecnode. Si les deux tangentes ont cette propriété, alors $c_0+2m{c}_1+m^2{c}_2$ est un facteur de $d_0+3m{d}_1+3m^2{d}_2+m^3{d}_3,$ et l'origine est alors un biflecnode.

Points multiples

Une courbe avec un point triple à l'origine : Modèle:Math, Modèle:Math

En général, si tous les termes de degré inférieur à Modèle:Mvar sont nuls, au moins un des termes de degré Modèle:Mvar est nul nul dans Modèle:Mvar, et la courbe a alors un point multiple d'ordre Modèle:Mvar. En ce point, la courbe aura, en général, Modèle:Mvar tangentes à l'origine, certaines pouvant être imaginaires

Notes et références

Modèle:Traduction/Référence, dont une référence était Modèle:Ouvrage. Modèle:Références

Voir aussi

• Point singulier
• Théorie de Morse