Punct de osculație

Un punct de osculație în originea curbei definite de $(x^2+y^2-3x{)}^2-4x^2(2-x)=0$

În geometria algebrică clasică, un punct de osculație (în Format:En) este un tip de punct singular al unei curbe. Este definit ca un punct în care două (sau mai multe) cercuri osculatoare la curbă în acel punct sunt tangente. Aceasta înseamnă că două ramuri ale curbei au aceeași tangentă în punctul dublu.

Exemplul canonic este

$y^2-x^4=0.$

Un punct de osculație al unei curbe arbitrare poate fi apoi definit din acest exemplu, ca un punct de autotangență local difeomorf în punctul de origine a acestei curbe. Un alt exemplu de punct de osculație este dat de curba prezentată în figura din infocasetă, cu ecuația

$(x^2+y^2-3x{)}^2-4x^2(2-x)=0.$

Context mai general

Fie o funcție reală Format:Ill-wd de două variabile Format:Mvar (Format:Mvar), unde Format:Mvar și Format:Mvar sunt reale. Deci Format:Mvar este o funcție care aplică un plan pe o linie. Spațiul tuturor acestor funcții netede este Format:Ill-wd asupra grupului de difeomorfisme ale planului și difeomorfismele liniei, adică modificări difeomorfe ale coordonatelor atât la sursă cât și la țintă. Această acțiune divide întregul spațiu funcțional în Format:Ill-wd, adică orbite ale acțiunii de grup.

O astfel de familie de clase de echivalență este notată cu $A_k^{\pm },$ unde Format:Mvar este un întreg nenegativ. Această notație a fost introdusă de Vladimir Arnold. Se spune că o funcție Format:Mvar este de tip $A_k^{\pm },$ dacă se află pe orbita lui $x^2\pm y^{k+1},$ adică există o schimbare difeomorfă a coordonatei la sursă și țintă care ia una dintre aceste forme ale lui Format:Mvar. Se spune că aceste forme simple $x^2\pm y^{k+1}$ dau Format:Ill-wd ale singularităților de tipul $A_k^{\pm },$.

O curbă cu ecuația Format:Mvar = 0 va avea un punct de osculație, să zicem la origine, dacă și numai dacă Format:Mvar are o singularitate de tip $A_3^{-}$ în origine.

De notat că un nod $(x^2-y^2=0)$ corespunde unei singularități de tip $A_1^{-}$. Un punct de osculație corespunde unei singularități de tip $A_3^{-}$. De fapt fiecare singularitate de tip $A_{2n+1}^{-}$, unde Format:Mvar ≥ 0 este un întreg, corespunde unei curbe care se autointersectează. Pe măsură ce Format:Mvar crește, crește ordinul autointersecției: traversare, tangență obișnuită etc.

Singularitățile de tip $A_{2n+1}^{+}$ nu prezintă interes pentru numerele reale: toate dau câte un punct izolat. Pntru numere complexe, singularitățile de tip $A_{2n+1}^{+}$ și $A_{2n+1}^{-}$ sunt echivalente: Format:Math dă difeomorfismul necesar al formelor normale.

Vezi și

• Punct singular al unei varietăți algebrice
• Punct singular al unei curbe
• Punct izolat al unei curbe
• Punct de întoarcere
• Nod

Legături externe

• Format:En icon Format:MathWorld