Ir al contenido

Punto singular de una curva

De Wikipedia, la enciclopedia libre
Esta es una versión antigua de esta página, editada a las 11:51 2 ene 2020 por Wiki LIC (discusión · contribs.). La dirección URL es un enlace permanente a esta versión, que puede ser diferente de la versión actual.

En geometría, un punto singular de una curva es aquel en el cual la curva no queda expresada por una función continuamente diferenciable de un parámetro. La definición precisa de un punto singular depende del tipo de curva en consideración.

Curvas algebraicas en el plano

Las curvas algebraicas en el plano pueden quedar definidas por un conjunto de puntos (xy) que obedecen a una ecuación del tipo f(xy)=0, donde f es una función polinómica f:R2R. Si f se desarrolla como

Si el origen (0, 0) se encuentra en la curva entonces a0=0. Si b1≠0 entonces el teorema de la función implícita garantiza que existe una función continuamente diferenciable h es tal que la curva toma la forma y=h(x) cerca del origen. De manera similar, si b0≠0 entonces existe una función continuamente diferenciable k tal que la curva posee la forma x=k(y) cerca del origen. En cualquiera de los dos casos, existe un mapeo continuamente diferenciable desde R al plano que define la curva en las proximidades del origen. Notar que en el origen

por lo que la curva no es singular o regular en el origen si por lo menos una de las derivadas parciales de f no es nula. Los puntos singulares son aquellos puntos de la curva donde ambas derivadas parciales se anulan,

Puntos regulares

Supongamos que la curva pasa por el origen y escribamos y=mx. Entonces f se puede expresar como

Si b0+mb1 no es 0 entonces f=0 posee una solución de multiplicidad 1 en x=0 y el origen es un punto de contacto simple con la línea y=mx. Si b0+mb1=0 entonces f=0 posee una solución de multiplicidad 2 o superior y la línea y=mx, o b0x+b1y=0, es tangente a la curva. En este caso, si c0+2mc1+c2m2 no es 0 entonces la curva posee un punto de doble contacto con y=mx. Si el coeficiente de x2, c0+2mc1+c2m2, es 0 pero el coeficiente de x3 no lo es entonces el origen es un punto de inflexión de la curva. Si el coeficiente de x2 y x3 son ambos 0 entonces el origen se denomina punto de undulación de la curva. Este análisis puede ser aplicado a todo punto de una curva trasladando los ejes coordenados de forma que el origen se encuentre en el punto que se desea estudiar.[1]

Puntos dobles

Tres caracoles de Pascal ilustran los tipos de puntos dobles. La curva de la izquierda posee un acnodo en el origen, el cual es un punto aislado en el plano. La curva central, la cardioide, posee una cúspide en el origen. La curva de la derecha posee un crunodo en el origen y la curva se cruza a sí misma formando un lazo.

Si b0 y b1 son ambos 0 en la expansión precedente, pero si por lo menos uno de c0, c1, c2 no es 0 entonces el origen es denominado un punto doble de la curva. Nuevamente haciendo y=mx, f se puede expresar como

Los puntos dobles pueden ser clasificados según las soluciones de c0+2mc1+m2c2=0.

Crunodos

Si c0+2mc1+m2c2=0 posee dos soluciones reales para m, o sea si c0c2c12<0, entonces el origen es denominado un crunodo. En este caso la curva se cruza a sí misma en el origen y posee dos tangentes diferentes correspondientes a las dos soluciones de c0+2mc1+m2c2=0. En este caso la función f posee un punto de ensilladura en el origen.

Acnodos

Si c0+2mc1+m2c2=0 no posee soluciones reales para m, o sea si c0c2c12>0, entonces el origen es denominado un acnodo. En el plano real el origen es un punto aislado en la curva, sin embargo si la curva es analizada como una curva compleja el origen no se encuentra aislado y tiene dos tangentes imaginarias correspondientes a las dos soluciones complejas de c0+2mc1+m2c2=0. En este caso la función f posee un extremo local en el origen.

Cúspides

Si c0+2mc1+m2c2=0 posee una sola solución de multiplicidad 2 para m, o sea si c0c2c12=0, entonces el origen es denominado una cúspide. En este caso la curva cambia de dirección en el origen creando un punto aguzado. La curva posee una única tangente en el origen la cual puede ser considerada como dos tangentes coincidentes.

Otras clasificaciones

El término nodo se utiliza para referirse a un crunodo o un acnodo, o sea un punto doble que no es una cúspide. El número de nodos y el número de cúspides en una curva son dos invariantes utilizados en la fórmula de Plücker.

Si una de las soluciones de c0+2mc1+m2c2=0 es también una solución de d0+3md1+3m2d2+m3d3=0 entonces la rama correspondiente de la curva posee un punto de inflexión en el origen. En este caso al origen se lo denomina flecnodo. Si ambas tangentes poseen esta propiedad, entonces c0+2mc1+m2c2 es un factor de d0+3md1+3m2d2+m3d3, entonces el origen es denominado biflecnodo.[2]

Puntos múltiples

Curva con un punto triple en el origen.

En general, si todos los términos con grado inferior que k son 0, y por lo menos un término de grado k no es 0 en f, entonces se dice que la curva tiene un punto múltiple de orden k o un punto k-ésimo. En general la curva tendrá, k tangentes en el origen si bien algunas de dichas tangentes pueden ser imaginarias.[3]

Curvas paramétricas

Una curva parametrizada en R2 se define como la imagen de una función g:RR2, g(t) = (g1(t),g2(t)). Los puntos singulares son aquellos puntos donde

Una cúspide.

Muchas curvas se pueden definir de las dos formas, pero ambas definiciones pueden no concordar. Por ejemplo la cúspide puede definirse como una curva algebraica, x3y2 = 0, o como una curva parametrizada, g(t) = (t2,t3). Ambos definiciones indican un punto singular en el origen. Sin embargo, un nodo tal como el de y2x3x2 = 0 en el origen es una singularidad de la curva considerada como una curva algebraica, pero si la parametrizamos como g(t) = (t2−1,t(t2−1)), entonces g′(t) nunca se anula, y por lo tanto el nodo no es una singularidad de la curva parametrizada definida anteriormente.

Se debe tener cuidado al elegir una parametrización. Por ejemplo, la línea recta y = 0 puede ser parametrizada por g(t) =(t3, 0) que posee una singularidad en el origen. En cambio, cuando se parametriza con g(t) = (t, 0) no es singular. Por lo tanto, es técnicamente más correcto discutir punto singular de una aplicación diferenciable en lugar de un punto singular de una curva.

Las definiciones anteriores pueden extenderse para abarcar curvas implícitas, que se definen como el conjunto de ceros f−1(0) de una función continuamente diferenciable, y no es necesario solo considerar variedades algebraicas. Las variables pueden extenderse para cubrir curvas en dimensiones más altas.

El teorema de Hassler Whitney[4][5]​ establece que:

Teorema de Hassler Whitney

Cualquier conjunto cerrado en Rn se produce como el conjunto de soluciones de f−1(0) para alguna función suave f:RnR.

Cualquier curva parametrizada también se puede definir como una curva implícita, y la clasificación de los puntos singulares de las curvas se puede estudiar como una clasificación de puntos singulares de una variedad algebráica.

Tipos de puntos singulares

Algunas de las posibles singularidades son:

Véase también

Referencias

  1. Hilton Chapter II §1
  2. Hilton Chapter II §2
  3. Hilton Chapter II §3
  4. Brooker and Larden, Differential Germs and Catastrophes, London Mathematical Society. Lecture Notes 17. Cambridge, (1975)
  5. Bruce and Giblin, Curves and singularities, (1984, 1992) ISBN 0-521-41985-9, ISBN 0-521-42999-4 (paperback)