Cúspide (singularidad)

Considérese una función suave de valor real de dos variables, como f (x, y), donde x e y son números reales. Entonces f es una función del plano sobre la recta. El grupo de difeomorfismos del plano y los difeomorfismos de la recta actúan sobre el espacio de todas estas funciones suaves, es decir, introducen cambios difeomórficos de coordenadas tanto en la fuente como en la imagen. Esta acción divide todo el espacio de funciones en clases de equivalencia, es decir, órbitas de la acción del grupo.

Una de esas familias de clases de equivalencia se denota por A_k^±, donde k es un número entero no negativo. Esta notación fue introducida por V. I. Arnold. Se dice que una función f es de tipo A_k^± si se encuentra en la órbita de x² ± y^k+1, es decir, existe un cambio difeomórfico de coordenadas en el origen y el destino que toma f en una de estas formas. Estas formas simples x² ± y^k+1 se dice que dan formas normales para las singularidades del tipo A_k^±. Obsérvese que A_2n⁺ son iguales a A_2n^-, ya que el cambio difeomorfo de la coordenada (x, y) → (x, −y) en la fuente transforma x² + y²ⁿ⁺¹ en x² − y²ⁿ⁺¹. Entonces, se puede eliminar la notación ± de A_2n^±.

Las cúspides son dadas por los conjuntos de nivel cero de los representantes de las clases de equivalencia A_2n, donde n ≥ 1 es un entero.^{[cita requerida]}

• Una cúspide ordinaria viene dada por x² − y ³ = 0, es decir, el conjunto de nivel cero de una singularidad de tipo A₂. Sea f(x, y) una función suave de x e y, y supóngase, por simplicidad, que f (0,0) = 0. Entonces, una singularidad tipo A₂ de f en (0,0) puede caracterizarse por:

1. Tener una parte cuadrática degenerada, es decir, los términos cuadráticos en la serie de Taylor de f forman un cuadrado perfecto, como L(x, y)², donde L(x, y) es lineal en x e y, y además
2. L(x, y) no divide los términos cúbicos en la serie de Taylor de f (x, y)

• Una cúspide rhamphoide (que proviene del griego con el significado de pico de un ave)[2] denotó originalmente una cúspide de tal manera que ambas ramas están en el mismo lado de la tangente, como para la curva de ecuación ${\displaystyle x^{2}-x^{4}-y^{5}=0.}$ Como tal singularidad está en la misma clase diferencial que la cúspide de la ecuación ${\displaystyle x^{2}-y^{5}=0,}$ que es una singularidad de tipo A₄, el término se ha extendido a todas estas singularidades. Estas cúspides no son genéricas como cáusticas y frentes de onda. La cúspide rhamphoide y la cúspide ordinaria no son difeomórficas.

Para una singularidad del tipo A₄ se necesita que f tenga una parte cuadrática degenerada (esto da el tipo A_≥2), que L divida los términos cúbicos (esto da el tipo A_≥3), otra condición de divisibilidad (dando el tipo A_≥4), y una condición final de no divisibilidad (dando el tipo exactamente A₄).

Para ver de donde provienen estas condiciones de divisibilidad adicionales, supóngase que f tiene una parte cuadrática degenerada L² y que L divide los términos cúbicos. Se deduce que la serie de Taylor de tercer orden de f viene dada por L² ± LQ, donde Q es cuadrática en x e y. Se puede completar el cuadrado para mostrar que L² ± LQ = (L ± ½ Q)² – ¼Q⁴. Ahora, se puede hacer un cambio difeomorfo de variable (en este caso simplemente se sustituyen polinomios con partes lineales linealmente independientes) de modo que (L ± ½Q)² − ¼Q⁴ →  x₁² + P₁ donde P₁ es una cuártica (orden cuatro) en x₁ e y₁. La condición de divisibilidad para el tipo A_≥4 es que x₁ divida P₁. Si x₁ no divide P_1, entonces se tiene exactamente el tipo A₃ (el conjunto de nivel cero aquí implica un tacnodo). Si x₁ divide a P₁, se completa el cuadrado en x₁² + P₁ y se cambian las coordenadas para que obtener x₂² + P₂, donde P₂ es una quíntica (orden cinco) en x₂ e y₂. Si x₂ no divide a P_2, entonces se tiene exactamente el tipo A₄, es decir, el conjunto de nivel cero será una cúspide rhamphoide.

Ejemplo de una cúspide ordinaria, presente en la cáustica formada por los rayos de luz en el fondo de una taza de té

Las cúspides aparecen naturalmente cuando se proyecta en un plano una curva suave en el espacio euclídeo tridimensional. En general, tal proyección es una curva cuyas singularidades son puntos de autocruzamiento y cúspides ordinarias. Los puntos de autocruzamiento aparecen cuando dos puntos diferentes de las curvas tienen la misma proyección. Las cúspides ordinarias aparecen cuando la tangente a la curva es paralela a la dirección de proyección (es decir, cuando la tangente se proyecta en un solo punto). Las singularidades más complicadas se presentan cuando varios fenómenos ocurren simultáneamente. Por ejemplo, las cúspides rhamphoides se producen a partir de los puntos de inflexión (y los puntos de ondulación) para los que la tangente es paralela a la dirección de proyección.

En muchos casos, y típicamente en visión por computadora y gráficos por computadora, la curva que se proyecta es la curva de los puntos críticos de la restricción a un objeto espacial (suave) de la proyección. Una cúspide aparece así como una singularidad del contorno de la imagen del objeto (visión) o de su sombra (gráficos por computadora).

Las cáusticas y los frentes de onda son otros ejemplos de curvas que tienen cúspides que son visibles en el mundo real.

• Punto singular
• Punto singular de una curva
• Acnodo, crunodo y tacnodo
• Teoría de las catástrofes
• Cardioide

• Bruce, J. W.; Giblin, Peter (1984). Curves and Singularities. Cambridge University Press. ISBN 978-0-521-42999-3.
• Porteous, Ian (1994). Geometric Differentiation. Cambridge University Press. ISBN 978-0-521-39063-7.

• Los físicos ven el cosmos en una taza de café