9 votos

¿De dónde viene esta expresión de la curvatura gaussiana?

En mi curso de Geometría Diferencial, hemos visto una manera de calcular la curvatura de Gauss $K$ da una métrica expresada como la suma de dos Pfaff formas $Q = ω_1^2 + ω_2^2$: nos encontramos con otra Pfaff forma $ω_3$ (que dijeron que es único) que cumple con estas ecuaciones

$$ \mathrm{d} ω_1 = ω_2 \wedge ω_3 \\ \mathrm{d} ω_2 = ω_3 \wedge ω_1 $$

Entonces, la curvatura de Gauss $K$ es la única función que $$ \mathrm{d} ω_3 = K ω_1 \wedge ω_2$$ or alternatively $$ K = \frac{\mathrm{d}ω_3}{ω_1\wedge ω_2} $$

Mi pregunta es, ¿de dónde viene esta expresión? Yo entiendo lo que es la curvatura Gaussiana y su relación con la geometría de la superficie y la primera y segunda formas fundamentales (o al menos eso creo entender), pero esta expresión es absolutamente misteriosa para mí. He buscado en google un montón y sólo se encuentran que puede estar relacionada con las conexiones, pero no hemos estudiado topología todavía.

8voto

Gil Bor Puntos 2564

Esto es (probablemente) la pregunta más importante en la geometría diferencial.

Hay varias definiciones de la curvatura de Gauss, incluyendo la de Gauss original (muy diferente de la suya, él se define a través de la 2ª forma fundamental, que no es intrínseca, haciendo parecer bastante sorprendente que $K$ es una característica intrínseca de la cantidad).

Algunas definiciones de $K$ son más geométricamente satisfacciones e intuitiva, pero difícil de trabajar (calcular en los ejemplos), otros son más abstracto y misterioso, pero más fácil de trabajar, como la que le dio (probablemente el más fácil trabajar con ella, utilizando el formalismo de movimiento marcos, como el desarrollado por Cartan y Chern). El coordinar las fórmulas que usted encontrará en cualquier moderno libro de texto estándar, como Kobayashi-Nomizu, también son útiles, pero igualmente misteriosas.

Una manera de difundir algunos de el misterio es para ver algunas de las alternativas más definiciones conceptuales. Como regla general, el más definiciones conceptuales decir que el valor de la curvatura de la función de $K$ a un punto de $p$ sobre una superficie puede ser expresado como un límite de una combinación de fáciles de captar cantidades geométricas (área, longitud, ángulos). Por el contrario, la curvatura de la función de $K$ permite, a través de la integración, para recuperar la propiedad geométrica que dio origen a $K$.

El proceso de la digestión de la materia se compone de todas estas de ida y vuelta se mueve entre lo abstracto y lo concreto, lo formal y lo intuitivo, lo que demuestra la equivalencia de las distintas definiciones y comprobación de las mismas en algunos de los principales ejemplos (que a los maestros y a los buenos libros de texto debe de suministro).

Por lo demás, a continuación, estas observaciones generales, lo que puedo ofrecer en este foro es una lista de algunos de los más intuitiva definiciones alternativas de la curvatura. Usted puede tratar de demostrar su equivalencia con su definición (no va a ser fácil, usted debe obtener ayuda de los libros y los maestros).

(1) el Área y la circunferencia de la geodésica discos. Para un disco de radio $r$ en el plano euclidiano su circunferencia y el área está dada por $C_0(r)=2\pi r$, $A_0(r)=\pi r^2.$ Ahora tome una geodésica disco de radio $r$ centrada en algún punto de $p$ de una superficie de riemann (es decir, el conjunto de puntos sobre la superficie cuya distancia formulario de $p$ es en la mayoría de las $r$), denotan su circunferencia por $C(r)$ y su área por $A(r)$ y escribir $\Delta A=A(r)-A_0(r)$ $\Delta C=C(r)-C_0(r)$ como una potencia de la serie en $r$. Entonces, la 1ª no de fuga términos en cualquiera de estas dos series le $K(p)$.

(2) De Gauss-Bonnet. La suma de los (interior) los ángulos de un triángulo en el plano euclidiano es $\pi$. En general la superficie de la suma de los ángulos es $\pi+\delta,$ donde $\delta$ es la integral de la $K$ sobre el triángulo.

(3) transporte Paralelo. Inicio en $p$ y caminar una distancia $\epsilon$ a lo largo de una geodésica en alguna dirección. Llame el punto de llegar a $p_1$. Gire a la izquierda $90^0$ $p_1$ y volver a mover una distancia $\epsilon$. Llame el nuevo punto de $p_2$. Repetir y conseguir $p_3$,$p_4$. Si usted se encuentra en el plano euclidiano, a continuación,$p_4=p$, pero en general son algunas de distancia $d(\epsilon)$ desde su punto de partida ($d$ podría también dependen de la dirección inicial). De nuevo, si usted escribe $d^2$ como una potencia de la serie en $\epsilon$, entonces, la 1ª no desapareciendo término da $K(p)$.

(4) a la Rodadura. Dibujar un poco simple circuito cerrado de área $A$, empezando y terminando en $p$. Tome un pedazo de (plana) cartón y dibuja una flecha. A continuación, alinee el cartón con el plano tangente a $p$, de forma que la flecha está apuntando en una dirección paralela a la dirección inicial del bucle en la superficie. Ahora coloque el cartón a lo largo del bucle, sin resbalar o de torsión. Cuando el cartón está de vuelta para el plano tangente a $p$, la dirección de la flecha de la caja de cartón se forma un cierto ángulo respecto a su dirección inicial. Si usted escribe este ángulo como una función de $A$, el 1 significativos término da $K(p).$

(5) Divergentes geodesics. Si le disparamos dos partículas $p$ a lo largo de dos diferentes geodesics, a la misma velocidad, entonces la distancia entre ellos, si estábamos en el avión, crece linealmente con el tiempo. En general la superficie de la distancia crecerá más lento o más rápido, a continuación, lineal, y el 1 concepto importante en la expresión que describe esta divergencia da $K(p).$


Tal vez algunos otros participantes de este foro podría aportar más elementos a esta lista.

5voto

Jesse Madnick Puntos 13166

Esta es una pregunta muy buena.

Acuse de recibo: casi todo lo que voy a decir es levantado directamente de Barrett O'Neill "Elementales de la Geometría Diferencial."

Recordar: Dado un ortonormales campo marco de $\{E_1, E_2\}$ sobre una superficie $M$, definimos $\omega_1, \omega_2$ como su doble $1$-formas. Es decir, $$\begin{align*} \omega_1(E_1) & = 1, & \omega_1(E_2) & = 0 \\ \omega_2(E_1) & = 0, & \omega_2(E_2) & = 1. \\ \end{align*}$$ Podemos interpretar $\omega_3$ (usualmente denotado $\omega_{12}$ o $\omega_{21}$ en la literatura), que describe la tasa de rotación del marco de $\{E_1, E_2\}$.

(Esto es análogo a cómo la curvatura $\kappa$ de una curva en $\mathbb{R}^3$ describe el vector tangente $t$ está girando hacia el vector normal $n$, o cómo la torsión $\tau$ describe el vector normal $n$ está girando hacia el vector binormal $b$.)

Lo bueno aquí es que las formas $\omega_1, \omega_2$, e $\omega_{12}$ son intrínsecas a la superficie: podemos dar sentido completo sin hacer referencia al espacio ambiente $\mathbb{R}^3$. Dicho de otra manera, que puede ser definido sin referencia a una normal de superficie de campos vectoriales (a diferencia de, digamos, la segunda forma fundamental o la forma del operador o la media de la curvatura).


Pero vamos a tomar un extrínseca punto de vista por un momento. Supongamos que $M$ se encuentra en $\mathbb{R}^3$, de modo que podemos hablar acerca de su forma de operador $S$. Vamos a expresar la forma del operador en términos de nuestro marco de campo $\{E_1, E_2\}$. Al hacerlo, podemos escribir $$S(v) = \omega_{13}(v)E_1 + \omega_{23}(v)E_2,$$ donde $\omega_{13}$ $\omega_{23}$ dos nuevos $1$-formas, que funcionan como componentes de $S$ con respecto a nuestro marco de campo. Dicho de otra manera, podemos escribir la forma del operador como una matriz $$S = \begin{pmatrix} \omega_{13}(E_1) & \omega_{13}(E_2) \\ \omega_{23}(E_1) & \omega_{23}(E_2) \\ \end{pmatrix}.$$

Entonces, ¿qué? Bien, si recordamos que la curvatura de Gauss $K$ es el determinante de la forma del operador, vemos que

$$K = \det(S) = \omega_{13}(E_1)\omega_{23}(E_2) - \omega_{13}(E_2)\omega_{23}(E_1) = (\omega_{13} \wedge \omega_{23})(E_1, E_2),$$ y así \begin{equation} \omega_{13} \wedge \omega_{23} = K \,\omega_1 \wedge \omega_2. \tag{1} \end{equation}

Finalmente llegamos al punto: hay una muy importante de la ecuación, llamada Cartan la Segunda Estructura de la Ecuación, la cual dice que \begin{equation} d\omega_{12} = \omega_{13} \wedge \omega_{23}. \tag{2} \end{equation}

Esto es esencialmente diciendo que el espacio ambiental, $\mathbb{R}^3$, es plano (aunque no voy a entrar en por qué usted debe creer en mí en eso). En cualquier caso, poner (1) y (2) en conjunto da la Ecuación de Gauss $$d\omega_{12} = K\,\omega_1 \wedge \omega_2.$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X