Base holonómica

En matemáticas y física matemática , una base coordinada o base holonómica para una variedad diferenciable M es un conjunto de campos vectoriales de base { e ₁ ,..., e _n } definidos en cada punto P de una región de la variedad como

${\displaystyle \mathbf {e} _{\alpha }=\lim _{\delta x^{\alpha }\to 0}{\frac {\delta \mathbf {s} }{\delta x^{\alpha }}},}$

donde δ s es el vector de desplazamiento entre el punto P y un punto cercano Q cuya separación de coordenadas de P es δx ^α a lo largo de la curva de coordenadas x ^α (es decir, la curva en la variedad que pasa por P para la cual la coordenada local x ^α varía y todas las demás las coordenadas son constantes). ^[1]

Es posible realizar una asociación entre dicha base y operadores de derivados direccionales. Dada una curva parametrizada C en la variedad definida por x ^α ( λ ) con el vector tangente u = u ^α e _α , donde u ^α =dx ^α/dλ, y una función f ( x ^α ) definida en una vecindad de C , la variación de f a lo largo de C se puede escribir como

${\displaystyle {\frac {df}{d\lambda }}={\frac {dx^{\alpha }}{d\lambda }}{\frac {\partial f}{\partial x^{\alpha }}}=u^{\alpha }{\frac {\partial }{\partial x^{\alpha }}}f.}$

Como tenemos que u = u ^α e _α , la identificación a menudo se realiza entre un vector base de coordenadas e _α y el operador de derivada parcial∂/∂xα​^​, bajo la interpretación de los vectores como operadores que actúan sobre funciones. ^[2]

Una condición local para que una base { e ₁ , ..., e _n } sea holonómica es que todas las derivadas mutuas de Lie desaparezcan: ^[3]

${\displaystyle \left[\mathbf {e} _{\alpha },\mathbf {e} _{\beta }\right]={\mathcal {L}}_{\mathbf {e} _{\alpha }}\mathbf {e} _{\beta }=0.}$

Una base que no es holonómica se llama base anholonómica, ^[4] no holonómica o no coordinada.

Dado un tensor métrico g en una variedad M , en general no es posible encontrar una base de coordenadas que sea ortonormal en cualquier región abierta U de M. ^[5] Una excepción obvia es cuando M es el espacio de coordenadas real R ⁿ considerado como una variedad, siendo g la métrica euclidiana δ _ij e ⁱ ⊗ e ^j en cada punto. 

Referencias

1. MP Hobson; GP Efstathiou; AN Lasenby (2006), Relatividad general: una introducción para físicos , Cambridge University Press , pág. 57
2. T. Padmanabhan (2010), Gravitación: fundamentos y fronteras , Cambridge University Press , p. 25
3. Roger Penrose; Wolfgang Rindler, Spinors and Space-Time: Volumen 1, Cálculo de dos espinores y campos relativistas , Cambridge University Press , págs.
4. Charles W. Misner; Kip S. Thorne; John Archibald Wheeler (1970), Gravitación , pág. 210
5. Bernard F. Schutz (1980), Métodos geométricos de la física matemática , Cambridge University Press , págs. 47–49, ISBN 978-0-521-29887-2

Ver también

• paquete de jet
• Formalismo tétrada
• cálculo de ricci