29/09/13

Derivada covariante - Wikipedia, la enciclopedia libre

Derivada covariante
De Wikipedia, la enciclopedia libre

En matemáticas , la derivada covariante es una manera de especificar un derivado junto vectores tangentes de un colector . Alternativamente, la derivada covariante es una forma de introducir y de trabajo con una conexión en un colector por medio de un operador diferencial , de ser contrastada con el enfoque dado por una conexión principales sobre el haz de marco - ver conexión afín . En el caso especial de un colector isométricamente encajado en un dimensional superior espacio euclidiano , la derivada covariante puede ser vista como la proyección ortonormal del derivado euclidiana a lo largo de un vector tangente en el espacio tangente del colector. En este caso, el derivado euclidiana se divide en dos partes, la componente normal extrínseca y la intrínseca componente derivada covariante. Este artículo presenta una introducción a la derivada covariante de un campo de vectores con respecto a un campo de vector, tanto en un lenguaje libre de coordenadas y el uso local de un sistema de coordenadas y la notación índice tradicional. La derivada covariante de un tensor de campo se presenta como una extensión del mismo concepto. La derivada covariante generaliza forma directa a una noción de diferenciación asociado a una conexión en un paquete del vector , también conocida como una conexión de Koszul .

Contenido
1 Introducción y antecedentes 2 Motivación 2.1 Observaciones 3 Definición informal con una inmersión en el espacio euclidiano 4 Definición formal 4.1 Funciones 4.2 Campos vectoriales 4,3 campos covector 4,4 campos tensoriales 5 Descripción de coordenadas 6 Ejemplos 7 Notación 8 Derivado largo de la curva 9 Relación de Lie derivado 10 Véase también 11 Notas 12 Referencias

Alternatively, the covariant derivative is a way of intr working with a connection on a manifold by means of operator , to be contrasted with the approach given b connection on the frame bundle – see affine connection .
Sugiere una traducción mejor

Introducción e historia
Históricamente, a finales del siglo 20, la derivada covariante fue presentado por Gregorio Ricci-Curbastro y Tullio Levi-Civita [ 1 ] en la teoría de Riemann y la geometría pseudoriemanniana . Ricci y Levi-Civita (siguiendo las ideas de Elwin Bruno Christoffel ) observaron que los símbolos de Christoffel se utilizan para definir la curvatura [ 2 ] [ 3 ] también podría proporcionar una idea de la diferenciación que se generalizó la clásica derivada direccional de campos vectoriales en un colector. Este nuevo derivado - la conexión de Levi-Civita - era covariante en el sentido de que se cumple el requisito de Riemann que los objetos de la geometría debe ser independiente de su descripción en un sistema de coordenadas particular. Pronto se observó por otros matemáticos, prominentes entre éstos siendo Hermann Weyl , ene Arnoldus Schouten , y Élie Cartan , [ 4 ] que una derivada covariante se podría definir abstractamente sin la presencia de una métrica . La característica crucial no era un particular dependencia de la métrica, pero que los símbolos de Christoffel satisfecho un cierto segunda ley precisa transformación fin. Esta ley transformación podría servir como punto de partida para la definición de la derivada de una manera covariante. Así, la teoría de la diferenciación covariante bifurca fuera del contexto estrictamente Riemann para incluir una gama más amplia de posibles geometrías. En la década de 1940, los practicantes de la geometría diferencial comenzaron a introducir otras nociones de diferenciación covariante generales en paquetes del vector que eran, en contraste con los haces clásicos de interés para geómetras, no forman parte del análisis tensorial del colector. En general, estos derivados covariantes generalizadas tuvieron que ser especificado ad hoc por alguna versión del concepto de conexión. En 1950, Jean-Louis Koszul unificado estas nuevas ideas de diferenciación covariante en un paquete de vectores por medio de lo que se conoce hoy en día como una conexión Koszul [ 5 ] o de una conexión en un fibrado vectorial . Usando las ideas de álgebra de Lie cohomología , Koszul convirtió con éxito muchas de las características analíticas de diferenciación covariante en los algebraicas. En particular, las conexiones Koszul eliminaron la necesidad de manipulaciones torpes de los símbolos de Christoffel (y otros no análogos tensoriales ) los objetos de la geometría diferencial. Así que rápidamente suplantados la noción clásica de derivada covariante en muchos tratamientos post-1950 sobre el tema.

Motivación
La derivada covariante es una generalización de la derivada direccional de cálculo vectorial . Al igual que con la derivada direccional, la derivada covariante es una regla, , que toma como sus entradas: (1) un vector, u , definido en un punto P , y (2) un campo de vector , V , definida en un entorno de P . [ 6 ] La salida es el vector , también en el punto P . La diferencia primaria de la derivada direccional habitual es que debe, en un cierto sentido preciso, ser independiente de la manera en la que se expresa en un sistema de coordenadas . Un vector puede ser descrito como una lista de números en términos de una base , sino como un objeto geométrico un vector conserva su propia identidad, independientemente de cómo se elige para describir en una base. Esta persistencia de la identidad se refleja en el hecho de que cuando un vector está escrito en una base, y luego se cambia la base, el vector se transforma de acuerdo con un cambio de base de la fórmula. Una ley de transformación se conoce como una transformación covariante . Se requiere que la derivada covariante para transformar, en virtud de un cambio en las coordenadas, en la misma forma que un vector hace: la derivada covariante debe cambiar por una transformación covariante (de ahí el nombre). En el caso de espacio euclidiano , se tiende a definir la derivada de un campo de vector en términos de la diferencia entre dos vectores en dos puntos cercanos. En tal un sistema de un solo traduce uno de los vectores con el origen de la otra, manteniéndola paralela. Con un cartesiano (fija ortonormal sistema de coordenadas) que por lo tanto obtenemos el ejemplo más sencillo: derivada covariante que se obtiene tomando la derivada de los componentes.

en.wikipedia.org/wiki/Covariant_derivative

1/6

etc Considere el ejemplo de moverse a lo largo de una curva γ ( t ) en el plano euclidiano. por lo . Un vector en un momento determinado t [ 7 ] (por ejemplo. En un espacio curvo.org/wiki/Covariant_derivative 2/6 . para cada medida hay una única torsión derivada covariante libre llamada conexión de Levi-Civita tal que la derivada covariante de la métrica es cero. También la curvatura . El cambio infinitesimal del vector es una medida de la curvatura. Un vector de correo en un globo en el ecuador en Q se dirige hacia el norte. a continuación. si la misma derivada covariante está escrito en coordenadas polares en un plano euclidiano de dos dimensiones. γ pueden escribirse en términos de sus coordenadas radiales y angulares por γ ( t ) = ( r ( t ). que contiene términos adicionales que describen la forma en la cuadrícula de coordenadas en sí "gira". sino que tiene otra orientación. los términos adicionales describen cómo la cuadrícula de coordenadas expande. La derivada covariante se define como sólo una parte tangencial de la derivada habitual: En el caso de la conexión de Levi-Civita se requiere que sea ortogonal al espacio tangente. pero se puede expresar como una combinación lineal de los vectores de base espacio tangente utilizando los símbolos de Christoffel como factores lineales más un vector no tangente: . entreteje.) Para un campo vector tangente uno tiene . Entonces nos damos cuenta de que el vector paralelo-transportado a lo largo de un circuito cerrado no regresará como el mismo vector. que sirve como base para descomponer un vector en términos de radial y componentes tangenciales . transporte paralelo . y geodésicas pueden definirse sólo en términos de la derivada covariante u otra variación correspondiente en la idea de una conexión lineal . La información sobre el entorno de un punto p en la derivada covariante se puede utilizar para definir transporte paralelo de un vector. Por ejemplo. de torsión . Por otra parte implica (utilizando la simetría del producto escalar y el intercambio del orden de diferenciaciones parciales) en. θ ( t )). Esto no sucedería en el espacio euclidiano y es causada por la curvatura de la superficie del globo. depende de la ruta de acceso a lo largo de la que el vector se traduce.29/09/13 Derivada covariante . Supongamos que paralelamente transportamos el vector primero a lo largo de la línea ecuatorial hasta P y luego (manteniéndola paralela a sí misma) arrastre a lo largo de un meridiano al polo N y (manteniendo la dirección allí) posteriormente transportarla lo largo de otro meridiano volver a Q. sin embargo. la condición de compatibilidad implica independencia lineal de los vectores tangentes derivadas parciales. Notas La definición de la derivada covariante no utiliza la métrica en el espacio. En coordenadas polares. la aceleración de la curva) se expresa en términos de . tal como la superficie de la Tierra (considerado como una esfera). giros. se contrae. El mismo efecto se puede notar si arrastramos el vector a lo largo de una superficie cerrada infinitesimalmente pequeña posteriormente a lo largo de dos direcciones y luego de vuelta. Sin embargo. El último término no es tangencial a M . En un momento un poco más tarde.wikipedia. hay que tener en cuenta el cambio del sistema de coordenadas. Las propiedades de un derivado implican que depende de un entorno arbitrariamente pequeño de un punto p en la misma forma que por ejemplo la derivada de una función escalar a lo largo de una curva en un punto dado p depende de un entorno arbitrariamente pequeño de p . aparece la nueva base en coordenadas polares ligeramente girada con respecto a la primera serie. la traducción no está bien definido y su análogo. La derivada covariante de los vectores de la base (los símbolos de Christoffel ) sirven para expresar este cambio. En otros casos. la enciclopedia libre En el caso general. Definición informal mediante una inmersión en el espacio euclidiano Asumir una (pseudo) variedad de Riemann se incrusta en el espacio euclidiano el espacio tangente en es atravesado por los vectores mediante una (dos veces seguidas) aplicación diferenciable tal que y el producto escalar en es compatible con la métrica en M : . donde y son tangentes vectores unitarios para las coordenadas polares.Wikipedia. (Desde el colector de métrica siempre se supone que es regular.

se define por las siguientes propiedades para cualquier vector v . nos encontramos con que los campos vectoriales generales y obtenemos así en. la derivada covariante coincide con la diferenciación normal de una función real en la dirección del vector v . tiene un cierto comportamiento de las funciones. 3. denotado generalmente por y por . en términos de la métrica: Definición formal La derivada covariante es una conexión (Koszul) en el paquete de la tangente y otros paquetes tensor . W y funciones escalares de f y g : 1. La derivada covariante de un vector de la base a lo largo de un vector de la base es de nuevo un vector y así se puede expresar como una combinación lineal derivada covariante es suficiente para especificar la derivada covariante de cada campo vector de la base a lo largo . Campos tensoriales Una vez que la derivada covariante se define para los campos de vectores y covectores que se puede definir para arbitrarias tensor campos usando las siguientes identidades donde son los dos tensores: y y si y son campos tensoriales del mismo conjunto tensor luego La derivada covariante de un tensor de campo a lo largo de un campo vectorial V es de nuevo un campo de tensores del mismo tipo. . sobre todo. es decir. 2. en arbitrarios campos tensoriales . vector de campos cuando se ha definido anteriormente. y lo más general. utilizando las reglas en la definición. Funciones Dada una función . la regla del producto. su derivada covariante se puede definir mediante la siguiente identidad que se satisface para todos los campos de vectores u La derivada covariante de un campo covector lo largo de un campo vectorial v es de nuevo un campo covector. Para especificar la los coeficientes se llaman símbolos de Christoffel . Campos covector Dado un campo de covectores (o un formulario ) . Por lo tanto. Tenga en cuenta que en el punto p depende del valor de v en p y en los valores de u en un barrio de la p por la última propiedad. en los campos de vectores. covector campos). Campos vectoriales Un derivada covariante de un campo de vector en la dirección del vector denotado de U. en los duales de los campos de vectores (es decir. Luego.org/wiki/Covariant_derivative 3/6 .Wikipedia.wikipedia. cualquier vector tangente se puede describir por sus componentes en la base . Coordinar Descripción Dadas las funciones coordenadas . es algebraicamente lineal en por lo es aditivo en por lo obedece la regla del producto . la enciclopedia libre y los rendimientos de los símbolos de Christoffel para la conexión de Levi-Civita.29/09/13 Derivada covariante .

" indica la diferenciación parcial.29/09/13 Derivada covariante . debido a que la derivada covariante de una función únicamente de la métrica es siempre cero. y Este último puede ser mostrado mediante la adopción de (sin pérdida de generalidad) que . en palabras: hay que tomar la derivada parcial del tensor y añade: a para cada índice superior . tenemos: Para un campo vector covariante . uno está tratando de diferenciar una densidad tensor (de 1 peso).y para todos los índices más bajos . Por ejemplo. se tiene: Para una (2. y luego multiplicar ese término por W . Si en lugar de un tensor." indica la diferenciación covariante y coma ". la enciclopedia libre El primer término en esta fórmula es responsable de "torsión" el sistema de coordenadas con respecto a la derivada covariante y el segundo para los cambios de componentes del campo de vector u .org/wiki/Covariant_derivative 4/6 . s ) a lo largo de tensor de campo viene dada por la expresión: O. la diferenciación covariante es simplemente la diferenciación parcial: Para un campo vector contravariante . Del mismo modo. es decir . que indican cómo el cambio de coordenadas. es fácil demostrar que: donde es el tensor de Riemann . tenemos: La notación anterior se entiende en el sentido Siempre hay que recordar que derivadas covariantes no conmutan.Wikipedia. entonces también se añade un término Si se trata de un tensor de densidad de peso W . es una densidad escalar (de 1 peso).0) campo de tensores de tipo . Ejemplos Para un campo escalar . por lo que tenemos: en punto y coma ".1) tensor de campo tipo . en. esta expresión particular es igual a cero. se tiene: Para una (0. tenemos: Para una (1. En realidad.2) tensor de campo tipo . Dicho sea de paso. En particular En otras palabras: la derivada covariante es la derivada normal a lo largo de las coordenadas en términos de corrección. La derivada covariante de un tipo ( r .wikipedia.

3. EB. La derivada covariante en el otro lado presenta su propio cambio para los vectores en una dirección dada. Sin embargo. y sólo depende de la dirección del vector en un solo punto.org/wiki/Covariant_derivative 5/6 . En esta notación se escribe lo mismo que: Una vez más. en lugar de un campo vectorial en un entorno abierto de un punto. T. esto demuestra que la derivada covariante de un campo vectorial no es sólo simplemente obtienen diferenciando a las coordenadas v en sí a través . ed. 4. ^ Christoffel. 6. 5. 7. u otras notaciones. Esta estructura adicional es necesario porque no hay forma canónica para comparar vectores de diferentes espacios vectoriales. En otras palabras. 1953. entonces su antisimetrización es la derivada de Lie.: Dover. en. con Cartan.Wikipedia. Se trata simplemente de considerarse como un parámetro variable abstracta sin problemas y monótonamente a lo largo de la ruta de acceso. Ecole Normale 40 (1923). reimpresión. la enciclopedia libre Notación En los libros de texto de física. ^ cf.wikipedia. Si la derivada covariante es la conexión de Levi-Civita de una determinada métrica entonces las geodésicas de la conexión son. Si desaparece entonces la curva se denomina geodésica de la derivada covariante. ^ Riemann . H. al menos para aplicaciones en la relatividad general . B . 70 (1869). A menudo se usa una notación en la que la derivada covariante se da con un punto y coma . la derivada covariante es lineal (más de C ∞ ( M )) en el argumento de dirección. ^ La derivada covariante también se indica diversamente por v u . pero también depende del vector En algunos textos antiguos (especialmente Adler. New York. . G. las geodésicas de la métrica que se parametrizado por la longitud del arco. ^ Levi-Civita. La derivada de Lie evalúa el cambio de un campo vectorial a lo largo del flujo de otro campo vectorial. precisamente.29/09/13 Derivada covariante .∇ v U . existe otra generalización de los derivados direccionales que es canónica: la derivada de Lie . 2. como es necesario para esta generalización de la derivada direccional . la derivada covariante se denota por un doble tubo: Derivado a lo largo de la curva Dado que la derivada covariante de un tensor de campo largo de una curva suave en un colector: en un punto depende sólo sobre el valor del campo de vector en uno puede definir la derivada covariante a lo Tenga en cuenta que el campo tensor sólo necesita ser definido en la curva de esta definición para tener sentido. Por lo tanto. hay que conocer los dos campos vectoriales en un entorno abierto. en términos de sus componentes en esta ecuación. Annales. "Über die Hypothesen. Introducción a la Relatividad General ). puede ser mejor no pensar en t como correspondientes a tiempo. E. ^ En muchas aplicaciones.numdam. El derivado a lo largo de una curva también se utiliza para definir el transporte paralelo a lo largo de la curva. 54 (1900) 125-201. Weber. Relación con Lie derivados Un derivado de covariante presenta una estructura geométrica adicional en un colector que permite a los vectores en los espacios tangentes vecinos para ser comparados. ^ Koszul. Math. y Ricci. de manera que si una conexión es simétrica. D v u . welche der Geomtrie zu Grunde liegen". Bulletin de la Société Mathématique 78 (1950) 65-127. 325-412. "Über die Transformation der homogenen Differentialausdrücke Zweiten Grados". 46-70. En particular. Véase también Conexión afín Símbolos de Christoffel Conexión (marco algebraico) Conexión (matemáticas) Conexión (haz vector) Forma de conexión Exterior derivada covariante Medir derivada covariante Introducción a las matemáticas de la relatividad general Conexión de Levi-Civita Transporte paralelo Ricci cálculo Derivado Tensor (mecánica de medios continuos) Notas 1. Bazin y Schiffer. Tenga en cuenta que la derivada covariante antisymmetrized ∇ u v . A veces la derivada covariante a lo largo de una curva se denomina absoluta o derivado intrínseca . "de calcul diferenciales absolu et leurs aplicaciones Metodos". für die Reine und Angew.org/item?id=ASENS_1923_3_40__325_0) . JL "homologie et des cohomologie algebres de Lie". mientras que una normal de derivada parcial se indica mediante una coma . Gesammelte Werke Mathematische (1866). y la derivada de Lie L u v difieren por la torsión de la conexión . la derivada covariante a veces se limitó a afirmar. mientras que la derivada de Lie es lineal en ninguno de argumento. Ann. GFB. Math. J. es un campo de vectores a lo largo de la curva en sí. "Sur les variétés una conexión afín y la Teoría de la relativité généralisée" (http://www.

Katsumi (1996 (Nueva edición)).29/09/13 Derivada covariante .org/wiki/Covariant_derivative 6/6 .org/index. una organización sin fines de lucro. en.org/w/index. Inc. Spivak. Inc. Michiel. ISBN 978-1-55608-010-4 Sternberg. Lecciones de Geometría Diferencial . Shlomo (1964). ISBN 0-471-15733-3 .php?title=c/c026870) .wikipedia. 1 . en Hazewinkel.Kh. Fundamentos de la Geometría Diferencial . Shoshichi y Nomizu. Publicar o perecer. Enciclopedia de las Matemáticas . Prentice-Hall. Wiley Interscience .wikipedia. I. la enciclopedia libre Referencias Kobayashi. "la diferenciación covariante" (http://www.Wikipedia. . Al usar este sitio. Michael (1999). Springer . vol. Sabitov (2001). cláusulas adicionales pueden aplicar.encyclopediaofmath. Obtenido de " http://en. El texto está disponible bajo la Licencia Commons Attribution-ShareAlike creativa . Wikipedia ® es una marca registrada de la Wikimedia Foundation.php?title=Covariant_derivative&oldid=565457625 " Categorías : Geometría diferencial Geometría de Riemann Conexión (matemáticas) Métodos matemáticos de la relatividad general Mecánica de Sólidos Esta página fue modificada por última vez el 23 de julio de 2013 10:28. Una completa introducción a la geometría diferencial (Tomo II) . usted acepta los Términos de Uso y Política de Privacidad.

Sign up to vote on this title
UsefulNot useful