En 1827, en el libro Disquisitiones generales circa superficies curvas, Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores. Volume VI, pp. Johann Carl Friedrich Gauss desarrolla el teorema conocido como egregio, Egregium, (destacable) que ha tenido notables y trascendentales consecuencias en el desarrollo de la posterior geometría diferencial.
El teorema, en resumidas cuentas, prueba que si dos superficies son isométricas, tienen la misma curvatura total en dos puntos correspondientes.
Se puede interpretar también que en las flexiones de una superficie que no supongan dilatación, ni contracción, se conservará la curvatura total, producto de las curvaturas principales en el punto de referencia.
Dado que en estas flexiones se conservan las distancias, se conservarán también los coeficientes de la primera forma fundamental (tensor métrico). Entonces, se conservará también cualquier ente que dependa de ellos.
Si se prueba que la curvatura gaussiana depende de forma exclusiva de los coeficientes de la primera forma fundamental, quedará por lo tanto probado que dicha curvatura se mantiene invariante en las flexiones.
Se demostrará, entonces, que la curvatura gaussiana se puede calcular a partir de los coeficientes de la primera forma fundamental y de sus derivadas, es decir, del tensor métrico y sus derivadas.

Notación que se usará


[Error LaTeX: Compilación LaTeX fallida]
Se pondrá, por comodidad [Error LaTeX: Compilación LaTeX fallida] , en lugar de[Error LaTeX: Compilación LaTeX fallida] . Y en general, mientras no se preste a confusión, se evitará escribir [Error LaTeX: Compilación LaTeX fallida]

Definiciones

[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
Demostración previa

Primero demostraremos que los símbolos de Christoffel de segunda especie dependen de los coeficientes de primera forma fundamental y sus derivadas, lo cual nos servirá al final de la demostración del teorema.

[Error LaTeX: Compilación LaTeX fallida]
Para ello, tenemos que demostrar que

[Error LaTeX: Compilación LaTeX fallida]
Partimos de las derivadas de los coeficientes de la primera forma:

[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]

Luego sumamos las dos primeras y restamos a la segunda, teniendo en cuenta la conmutatividad del producto escalar y la simetría de las derivadas segundas; para luego obtener:

[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
Lo que demuestra que los símbolos de Christoffel dependen de los coeficientes de la primera forma y sus derivadas.

Demostración del teorema

Partimos ahora de las fórmulas de Gauss y derivamos respecto de k.

[Error LaTeX: Compilación LaTeX fallida]
Y sabiendo que:

[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
Sustituimos

[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
Agrupamos sumatorias cambiando de índice de la primera m=l
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
Análogamente, llegamos a
[Error LaTeX: Compilación LaTeX fallida]
Ahora, como la función es de clase [Error LaTeX: Compilación LaTeX fallida] , las derivadas terceras son simétricas respecto del orden de derivación [Error LaTeX: Compilación LaTeX fallida] . Y partiendo de una base, los coeficientes deberán ser iguales. Tomamos la igualdad del vector tangente para obtener las ecuaciones de Gauss Codazzi:

[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
Multiplicamos ambos miembros por (-1) y llegamos

[Error LaTeX: Compilación LaTeX fallida]
Análogamente, si tomamos la igualdad de coeficientes del vector normal, obtenemos la expresión de Codazzi Mainardi:


[Error LaTeX: Compilación LaTeX fallida]
Volviendo unos pasos atrás, obtenemos

[Error LaTeX: Compilación LaTeX fallida] [Error LaTeX: Compilación LaTeX fallida]
Multiplicamos ambios miembros por

[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
Haciendo

[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
[Error LaTeX: Compilación LaTeX fallida]
Sabiendo que el determinante de L es el producto del determinante de G por la curvatura gaussiana:

[Error LaTeX: Compilación LaTeX fallida]
Lo cual demuestra el teorema, pues el tensor de curvatura de Riemann depende de los coeficientes de la primera forma fundamental y de los símbolos de Christoffel de segunda especie , los cuales dependen también de la métrica de g y de sus derivadas (como se demostró al principio).

¡Salud y gracias por leer!