P. 1
Derivada Covariante - Wikipedia, La Enciclopedia Libre

Derivada Covariante - Wikipedia, La Enciclopedia Libre

|Views: 120|Likes:
Publicado pornidalsouki

More info:

Published by: nidalsouki on Jan 12, 2014
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/08/2014

pdf

text

original

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

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 . En coordenadas polares. 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 : . se contrae. θ ( t )).) Para un campo vector tangente uno tiene . El cambio infinitesimal del vector es una medida de la curvatura. 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.org/wiki/Covariant_derivative 2/6 . transporte paralelo . entreteje. aparece la nueva base en coordenadas polares ligeramente girada con respecto a la primera serie. hay que tener en cuenta el cambio del sistema de coordenadas. γ pueden escribirse en términos de sus coordenadas radiales y angulares por γ ( t ) = ( r ( t ).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. Entonces nos damos cuenta de que el vector paralelo-transportado a lo largo de un circuito cerrado no regresará como el mismo vector. En un momento un poco más tarde. que sirve como base para descomponer un vector en términos de radial y componentes tangenciales . 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: . Por ejemplo. Notas La definición de la derivada covariante no utiliza la métrica en el espacio. (Desde el colector de métrica siempre se supone que es regular. Un vector de correo en un globo en el ecuador en Q se dirige hacia el norte. tal como la superficie de la Tierra (considerado como una esfera).wikipedia. depende de la ruta de acceso a lo largo de la que el vector se traduce. donde y son tangentes vectores unitarios para las coordenadas polares. etc Considere el ejemplo de moverse a lo largo de una curva γ ( t ) en el plano euclidiano. 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 . giros. El último término no es tangencial a M . que contiene términos adicionales que describen la forma en la cuadrícula de coordenadas en sí "gira". 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. En un espacio curvo. la enciclopedia libre En el caso general. Por otra parte implica (utilizando la simetría del producto escalar y el intercambio del orden de diferenciaciones parciales) en. sin embargo. de torsión . por lo . En otros casos. La derivada covariante de los vectores de la base (los símbolos de Christoffel ) sirven para expresar este cambio. Esto no sucedería en el espacio euclidiano y es causada por la curvatura de la superficie del globo.Wikipedia. La información sobre el entorno de un punto p en la derivada covariante se puede utilizar para definir transporte paralelo de un vector. los términos adicionales describen cómo la cuadrícula de coordenadas expande. la condición de compatibilidad implica independencia lineal de los vectores tangentes derivadas parciales. la aceleración de la curva) se expresa en términos de . 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. Un vector en un momento determinado t [ 7 ] (por ejemplo. sino que tiene otra orientación. la traducción no está bien definido y su análogo. También la curvatura . a continuación. Sin embargo. si la misma derivada covariante está escrito en coordenadas polares en un plano euclidiano de dos dimensiones.

denotado generalmente por y por .org/wiki/Covariant_derivative 3/6 . en los duales de los campos de vectores (es decir. en arbitrarios campos tensoriales . covector campos). . es decir. cualquier vector tangente se puede describir por sus componentes en la base . nos encontramos con que los campos vectoriales generales y obtenemos así en. Coordinar Descripción Dadas las funciones coordenadas . la regla del producto.29/09/13 Derivada covariante . y lo más general. 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 . W y funciones escalares de f y g : 1. vector de campos cuando se ha definido anteriormente. en los campos de vectores. es algebraicamente lineal en por lo es aditivo en por lo obedece la regla del producto .wikipedia. Luego. sobre todo. Para especificar la los coeficientes se llaman símbolos de Christoffel . 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. 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. 2. 3. Campos vectoriales Un derivada covariante de un campo de vector en la dirección del vector denotado de U. 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 . 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. la derivada covariante coincide con la diferenciación normal de una función real en la dirección del vector v . la enciclopedia libre y los rendimientos de los símbolos de Christoffel para la conexión de Levi-Civita. Campos covector Dado un campo de covectores (o un formulario ) .Wikipedia. tiene un cierto comportamiento de las funciones. se define por las siguientes propiedades para cualquier vector v . Funciones Dada una función . utilizando las reglas en la definición. Por lo tanto.

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

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

Sabitov (2001). I. Inc.29/09/13 Derivada covariante . Springer . Enciclopedia de las Matemáticas . Al usar este sitio.php?title=c/c026870) . ISBN 978-1-55608-010-4 Sternberg. Fundamentos de la Geometría Diferencial . en. en Hazewinkel. Wikipedia ® es una marca registrada de la Wikimedia Foundation.org/w/index. Michiel.wikipedia. 1 . Publicar o perecer. la enciclopedia libre Referencias Kobayashi. "la diferenciación covariante" (http://www. Shoshichi y Nomizu. Una completa introducción a la geometría diferencial (Tomo II) . Katsumi (1996 (Nueva edición)). usted acepta los Términos de Uso y Política de Privacidad. Inc. Michael (1999).org/index. una organización sin fines de lucro. El texto está disponible bajo la Licencia Commons Attribution-ShareAlike creativa . . Obtenido de " http://en.wikipedia. cláusulas adicionales pueden aplicar. Prentice-Hall.encyclopediaofmath. Shlomo (1964). Lecciones de Geometría Diferencial .Kh.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. Wiley Interscience . ISBN 0-471-15733-3 .org/wiki/Covariant_derivative 6/6 .Wikipedia. vol. Spivak.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->