siempre que el límite exista para todos , donde el límite se toma para escalar . Esto es similar a la definición habitual de derivada direccional, pero la extiende a funciones que no necesariamente tienen valores escalares.
A continuación, elija un conjunto de vectores base y considere los operadores, denominados , que realizan derivadas direccionales en las direcciones de :
donde el producto geométrico se aplica después de la derivada direccional. Más detalladamente:
Este operador es independiente de la elección del marco y, por lo tanto, puede usarse para definir lo que en cálculo geométrico se llama derivada vectorial :
Esto es similar a la definición habitual de gradiente , pero también se extiende a funciones que no necesariamente tienen valores escalares.
La derivada direccional es lineal respecto a su dirección, es decir:
De esto se deduce que la derivada direccional es el producto interno de su dirección por la derivada vectorial. Lo único que hay que observar es que la dirección se puede escribir de modo que:
Por este motivo, se suele señalar .
El orden estándar de operaciones para la derivada vectorial es que actúa sólo sobre la función más cercana a su derecha inmediata. Dadas dos funciones y , entonces, por ejemplo, tenemos
Regla del producto
Aunque la derivada parcial exhibe una regla del producto , la derivada vectorial solo hereda parcialmente esta propiedad. Considere dos funciones y :
Como el producto geométrico no es conmutativo con en general, necesitamos una nueva notación para proceder. Una solución es adoptar la notación de sobrepunto , en la que el alcance de una derivada vectorial con un sobrepunto es la función con valores multivectoriales que comparte el mismo sobrepunto. En este caso, si definimos
entonces la regla del producto para la derivada del vector es
Derivado interior y exterior
Sea un multivector de grado. Luego podemos definir un par adicional de operadores, las derivadas interior y exterior,
En particular, si es grado 1 (función con valores vectoriales), entonces podemos escribir
A diferencia de la derivada vectorial, ni el operador de la derivada interior ni el operador de la derivada exterior son invertibles.
Derivada multivectorial
La derivada con respecto a un vector como se analizó anteriormente se puede generalizar a una derivada con respecto a un multivector general, llamada derivada multivectorial .
Sea una función multivectorial de un multivector. La derivada direccional de con respecto a en la dirección , donde y son multivectores, se define como
¿Dónde está el producto escalar ? Con una base vectorial y la correspondiente base dual , la derivada multivectorial se define en términos de la derivada direccional como [2]
Esta ecuación simplemente se expresa en términos de componentes en una base recíproca de palas, como se analiza en la sección del artículo Álgebra geométrica#Base dual .
Una propiedad clave de la derivada multivectorial es que
¿Dónde está la proyección de sobre las calificaciones contenidas en ?
Sea un conjunto de vectores base que abarcan un espacio vectorial -dimensional. Del álgebra geométrica, interpretamos que el pseudoescalar es el volumen con signo del paralelotopo - subtendido por estos vectores base. Si los vectores de base son ortonormales , entonces esta es la unidad pseudoescalar.
De manera más general, podemos restringirnos a un subconjunto de los vectores base, donde , para tratar la longitud, el área u otro volumen general de un subespacio en el espacio vectorial dimensional general. Denotamos estos vectores base seleccionados por . Un volumen general del paralelotopo subtendido por estos vectores base es el multivector de grado .
De manera aún más general, podemos considerar un nuevo conjunto de vectores proporcionales a los vectores base, donde cada uno de ellos es un componente que escala uno de los vectores base. Somos libres de elegir componentes tan infinitamente pequeños como queramos, siempre que sigan siendo distintos de cero. Dado que el producto externo de estos términos puede interpretarse como un volumen, una forma natural de definir una medida es
Por tanto, la medida es siempre proporcional a la unidad pseudoescalar de un subespacio -dimensional del espacio vectorial. Compare la forma de volumen de Riemann en la teoría de formas diferenciales. La integral se toma con respecto a esta medida:
Más formalmente, consideremos algún volumen dirigido del subespacio. Podemos dividir este volumen en una suma de simples . Sean las coordenadas de los vértices. En cada vértice asignamos una medida como la medida promedio de los simples que comparten el vértice. Entonces la integral de con respecto a este volumen se obtiene en el límite de una partición más fina del volumen en simples más pequeños:
Teorema fundamental del cálculo geométrico.
La razón para definir la derivada vectorial y la integral como se indicó anteriormente es que permiten una fuerte generalización del teorema de Stokes . Sea una función multivectorial de entrada de grado y posición general , lineal en su primer argumento. Entonces el teorema fundamental del cálculo geométrico relaciona la integral de una derivada sobre el volumen con la integral sobre su frontera:
Como ejemplo, consideremos una función con valores vectoriales y un multivector de grado () . Encontramos eso
Una superficie suficientemente lisa en un espacio dimensional se considera una variedad . A cada punto del colector, podemos unir una hoja que sea tangente al colector. Localmente, actúa como un pseudoescalar del espacio -dimensional. Esta pala define una proyección de vectores sobre el colector:
Así como la derivada del vector se define en todo el espacio dimensional, es posible que deseemos definir una derivada intrínseca , definida localmente en la variedad:
(Nota: el lado derecho de lo anterior puede no estar en el espacio tangente a la variedad. Por lo tanto, no es lo mismo que , que necesariamente se encuentra en el espacio tangente).
Si es un vector tangente a la variedad, entonces tanto la derivada del vector como la derivada intrínseca dan la misma derivada direccional:
Aunque esta operación es perfectamente válida, no siempre es útil porque no necesariamente está en el colector. Por lo tanto, definimos la derivada covariante como la proyección forzada de la derivada intrínseca sobre la variedad:
Dado que cualquier multivector general se puede expresar como la suma de una proyección y un rechazo, en este caso
introducimos una nueva función, el tensor de forma , que satisface
¿Dónde está el producto del conmutador ? En una base de coordenadas locales que abarca la superficie tangente, el tensor de forma viene dado por
Es importante destacar que en una variedad general, la derivada covariante no conmuta. En particular, el conmutador está relacionado con el tensor de forma mediante
Es evidente que el término es de interés. Sin embargo, al igual que la derivada intrínseca, no está necesariamente en la variedad. Por lo tanto, podemos definir el tensor de Riemann como la proyección sobre la variedad:
Por último, si es de grado , entonces podemos definir las derivadas covariantes interiores y exteriores como
Alternativamente, podemos introducir un multivector de grado como
y una medida
Aparte de una sutil diferencia de significado para el producto exterior con respecto a formas diferenciales versus el producto exterior con respecto a vectores (en el primero los incrementos son covectores, mientras que en el segundo representan escalares), vemos las correspondencias de la forma diferencial
Incorporar la teoría de las formas diferenciales dentro del cálculo geométrico.
Historia
A continuación se muestra un diagrama que resume la historia del cálculo geométrico.
Referencias y lecturas adicionales
^ David Hestenes , Garrett Sobczyk: Del álgebra de Clifford al cálculo geométrico, un lenguaje unificado para las matemáticas y la física (Dordrecht/Boston:G.Reidel Publ.Co., 1984, ISBN 90-277-2561-6
^ Doran, Chris; Lasenby, Anthony (2007). Álgebra geométrica para físicos . Prensa de la Universidad de Cambridge. pag. 395.ISBN978-0-521-71595-9.
Macdonald, Alan (2012). Cálculo vectorial y geométrico. Charleston: Crear espacio. ISBN 9781480132450. OCLC 829395829.