Singulara punkto de kurbo
En matematiko, singulara punkto sur kurbo estas punkto kie ĝi estas ne glata, ekzemple, je kuspo.
La difino de singulara punkto dependas de speco de kurbo.
Implica kurbo en R2 estas difinita kiel la nula aro f−1(0) de glata funkcio f: R2→R. La kurbo estas algebra kurbo se la funkcio f estas polinoma funkcio. La singularaj punktoj estas tiuj punktoj sur la kurbo kie ambaŭ partaj derivaĵoj estas nulaj, do samtempe estas plenumataj tri kondiĉoj
- f(x, y)=0
Parametrigita kurbo en R2 estas difinita kiel bildo de funkcio
- g: R→R2, g(t) = (g1(t), g2(t))
La singularaj punktoj estas tiuj punktoj kie
- kaj
Multaj kurboj povas esti difinitaj en ambaŭ manieroj, sed la du difinoj de singulara punkto povas ne koincidi. Ekzemple la kuspo povas esti difinita kiel algebra kurbo x3-y2 = 0, aŭ kiel parametrigita kurbo g(t) = (t2, t3). Ambaŭ difinoj donas singularan punkton je (0, 0). Tamen, punkto (0, 0) de algebra kurbo y2-x3-x2 = 0 estas specialaĵo, sed se parametrigi ĝin kiel g(t) = (t2-1, t(t2-1)) do g'(t) nenie estas nula, kaj de ĉi tie (0, 0) ne estas specialaĵo de la parametrigita kurbo.
Ekzisto de specialaĵo dependas de parametrigo de la kurbo. Ekzemple rekto y=0 povas esti parametrigita kiel g(t) = (t3, 0) kiu havas specialaĵon je (0, 0). kaj parametrigita kiel g(t) = (t, 0) kiu havas neniun specialaĵon. De ĉi tie, estas pli korekte diri pri singulara punkto de glata surĵeto sed ne pri singulara punkto de kurbo.
La difinoj povas esti etenditaj al kurboj en pli altaj dimensioj.
Estas teoremo de Hassler Whitney: Ĉiu fermita aro en Rn okazas kiel la solvaĵa aro f−1(0) por iu glata funkcio f: Rn→R.
Ĉiu parametrigita kurbo povas ankaŭ esti difinita kiel implica kurbo, kaj la klasifiko de singularaj punktoj de kurboj povas esti studita kiel klasifiko de singularaj punktoj de algebraj diversaĵoj.
Specoj de singularaj punktoj
[redakti | redakti fonton]Iu eblaj specialaĵoj (je (0, 0) en la ekzemploj) estas:
- Izolita punkto: x2+y2 = 0
- Sinsekco - du linioj intersekciĝas: x2-y2 = 0
- Kuspo: x3-y2 = 0
- Kuspo de pli alta ordo: x5-y2 = 0