El endomorfismo lineal del espacio tangente en un punto de una hipersuperficie inmersa, definido por A_n(v)= - (∇_v n)_T donde n es una normal unitaria elegida y el subíndice T denota la proyección tangente; sus valores propios son las curvaturas principales.

Principio

Representa la diferencial del mapa de Gauss (con signo) y codifica cómo cambia la normal a lo largo de direcciones tangentes; es el adjunto métrico de la segunda forma fundamental mediante II(u,v)=⟨A(u),v⟩.

Demostración

Para una superficie en R^3 con una base tangente ortonormal, se obtiene la matriz de A a partir de las derivadas direccionales de la normal unitaria; al diagonalizar esa matriz se obtienen directamente direcciones y curvaturas principales.

Aplicación incorrecta

Descuidar el signo menos o la proyección tangente, de modo que se interpreten mal las componentes normales, o asumir simetría sin referirse a la métrica riemanniana (la simetría solo se garantiza respecto de la métrica).

Consecuencia

Proporciona un endomorfismo cuya descomposición espectral da curvaturas y direcciones principales; su traza y determinante (según convención de signos) producen las medidas de curvatura media y de Gauss.

Inversión

Considerar la curvatura solo como una forma bilineal (segunda forma fundamental) elimina la perspectiva de operador; al recuperar II desde A vía la métrica se pierde la inmediatez de un mapa lineal actuando sobre campos vectoriales.

Límite

Definido para hipersuperficies inmersas (o respecto de un campo normal elegido en codimensiones mayores) y depende de la elección de orientación/normal; las convenciones de signo varían y deben fijarse para comparar resultados.

Tensión semántica

Existe tensión entre tratar la curvatura extrínseca como un operador (operador de forma) frente a una forma bilineal (segunda forma fundamental) y entre distintas convenciones de signo para la diferencial del mapa de Gauss.

Síntesis

El operador de forma es la linealización en el espacio tangente de la variación normal: un endomorfismo dependiente de la métrica cuyas datos espectrales coinciden con las curvaturas principales y cuya relación adjunta con la segunda forma fundamental une las perspectivas de operador y forma.