Introduccià N Matemática A La Relatividad General
Introduccià N Matemática A La Relatividad General
Artículos
Introducción matemática a la relatividad general 1
Tensor de energía-impulso 11
Tensor de curvatura 14
Ecuaciones del campo de Einstein 19
Magnitud física 22
Geometría euclidiana 26
Geometría no euclidiana 29
Geometría hiperbólica 33
Curvatura del espacio-tiempo 36
Variedad pseudoriemanniana 38
Tensor métrico 40
Convenio de sumación de Einstein 44
Combinación lineal 46
Geodésica 47
Longitud de arco 49
Campo vectorial 52
Campo tensorial 56
Fibrado tangente 57
1-forma 58
Espacio dual 60
Ley de subir o bajar índices (tensores) 62
Escalar de curvatura de Ricci 64
Teoría de Einstein-Cartan 65
Conexión (matemática) 69
Principio de mínima acción 70
Lagrangiano 75
Ecuaciones de Euler-Lagrange 83
Símbolos de Christoffel 86
Principio de covariancia 90
Principio de equivalencia 92
Relatividad general 95
Constante de gravitación universal 124
Velocidad de la luz 125
Teoría relativista de la gravitación 137
Gravitón 140
Teoría de Kaluza-Klein 142
Teoría de la relatividad 145
Gravedad 155
No linealidad 161
Métrica de Schwarzschild 162
Carga eléctrica 167
Agujero negro de Reissner-Nordström 172
Constante cosmológica 173
Teoría del Big Bang 174
Teoría de la relatividad especial 188
Perihelio 202
Eclipse solar 203
Covarianza 215
Covariancia de Lorentz 218
Electromagnetismo 220
Acción a distancia 226
Sistema de referencia inercial 227
Causalidad (física) 231
Campo gravitatorio 233
Cono de luz 236
Espacio (física) 238
Fuerza ficticia 244
Efecto Coriolis 248
Fuerza centrífuga 255
Espacio-tiempo de Minkowski 257
Sistema de referencia 259
Covariancia y contravariancia 261
Aceleración 263
Fuerza 269
Masa 277
Mecánica clásica 281
Caída libre 288
Singularidad espaciotemporal 295
Experimento de Pound y Rebka 298
Órbita 300
Gravedad cuántica 309
Mecánica cuántica 314
Límite clásico 320
Derivada covariante 324
Principio de acoplamiento mínimo 328
Transporte paralelo 329
Fuerza de marea 330
Planeta extrasolar 333
Límite de Roche 351
Enana blanca 356
Supernova 374
Conservación de la energía 384
Métrica 387
Tensor de Ricci 412
Espacio-tiempo 414
Teoría de la estabilidad 420
Métrica de Friedman-Lemaître-Robertson-Walker 421
Expansión acelerada del Universo 427
Corrimiento al rojo 429
Onda gravitacional 442
Universo de Gödel 444
Aproximación para campos gravitatorios débiles 447
Balística 451
Estructura estelar 453
Diagrama de Hertzsprung-Russell 463
Secuencia principal 464
Límite de Chandrasekhar 469
Principio de exclusión de Pauli 470
Ecuación de onda 471
Curva cerrada de tipo tiempo 479
Viaje a través del tiempo 482
Efecto Shapiro 490
Partícula subatómica 491
Teoría cuántica de campos 495
Ecuaciones de Maxwell 513
Invariancia galileana 525
Campo electromagnético 528
Cuadricorriente 530
Cuadrimomento 531
Cantidad de movimiento 532
Transición de la relatividad especial a la relatividad general 538
Geometría 540
Geometría del espacio 543
Geometría algebraica 545
Geometría analítica 549
Geometría clásica 557
Topología geométrica 558
Geometría descriptiva 560
Geometría diferencial 563
Geometría de curvas y superficies 563
Geometría de Riemann 564
Geometría diferencial de curvas 565
Geometría diferencial de hipersuperficies 568
Geometría diferencial de superficies 570
Geometría diferencial de variedades 576
Geometría diferencial discreta 576
Geometría proyectiva (Matemáticas) 577
Geometría esférica 580
Geometría elíptica 581
Fractal 583
Geometría discreta 595
Geometría de incidencia 597
Geometría convexa 597
Geometría afín 598
Geometría absoluta 599
Anexo:Glosario de relatividad 600
Referencias
Fuentes y contribuyentes del artículo 605
Fuentes de imagen, Licencias y contribuyentes 612
Licencias de artículos
Licencia 620
Introducción matemática a la relatividad general 1
La variedad espacio-tiempo
Matemáticamente el universo o espacio-tiempo es representado mediante una entidad geométrica llamada variedad
pseudoriemanniana, dentro de la cual se especificia un procedimiento para medir las distancias o tensor métrico, una
derivada covariante asociada y un transporte paralelo asociado. Todas esas magnitudes permiten definir tanto la
curvatura, como relacionar magnitudes físicas medidas por diferentes observadores situados en diferentes puntos del
espacio-tiempo.
Todas estas ideas fueron recogidas por Albert Einstein, quien empleando las herramientas matemáticas creadas por
Bernhard Riemann, Tullio Levi-Civita, Gregorio Ricci-Curbastro y Erwin Bruno Christoffel, logró construir la teoría
geométrica de la gravedad que hoy en día conocemos con el nombre de Teoría de la Relatividad General.
Introducción matemática a la relatividad general 4
El tensor métrico
El tensor métrico es el objeto matemático que permite calcular "distancias" y otros conceptos métricos en relatividad
general. Además a partir de sus derivadas puede construirse el concepto de curvatura. Técnicamente es un tensor
simétrico de segundo orden, a partir del cual puede calcularse longitud de una curva a partir de una integral a lo largo
de tramos de dicha curva y definida entre dos puntos de la misma. Una vez especificado un sistema de coordenadas,
el tensor métrico se representa mediante un conjunto de funciones , llamadas componentes o coeficientes del
tensor métrico:
(1a)
En física la expresión del tensor métrico se escribe de una forma en que se aprecia como las componentes anteriores
se relacionan localmente con la longitud, mediante la expresión informal, usando el convenio de sumación de
Einstein además dado el significado físico y uso del tensor se omiten los productos tensoriales y la expresión
equivalente que usualmente se escribe es:
(1b)
El ejemplo más sencillo posible de tensor métrico, es el del espacio euclídeo tridimensional, expresado en
coordenadas cartesianas, cuyas componentes representadas matricialmente son precisamente las de la matriz
identidad:
(*) ,
En este espacio, el cálculo de la distancia entre dos puntos, a y b unidos por una curva L = {(x1,...,xn)| λ en [a, b]} se
puede expresara partir de (1b):
Introduciendo los valores dados por (*) e introduciendo una parametrización φ del segmento (con φ(s0) = a y φ(sf) =
b) debe entenderse como la integral de línea:
De hecho, este tensor métrico es posible derivar el teorema de Pitágoras para tres dimensiones.
Introducción matemática a la relatividad general 5
El transporte paralelo
En un espacio-tiempo curvo no existe una manera obvia de relacionar diferentes magnitudes vectoriales o tensoriales
medidas en diferentes puntos del espacio-tiempo. Esto sucede porque el espacio tangente en cada punto del universo
es diferente (a diferencia de lo que sucede en un espacio-tiempo plano donde el propio espacio-tiempo puede
identificarse con su espacio tangente). El transporte paraleo es un procedimiento que permite comparar magnitudes
vectoriales o tensoriales en diferentes puntos del universo. Para definir una forma de "transporte paralelo" es
necesario definir una conexión métrica.
Una vez definida una conexión métrica se hace posible comparar magnitudes medidas en diferentes puntos del
espacio tiempo. Una peculiaridad de los espacios-tiempo curvos es que el transporte paralelo hecho a través de una
curva cerrada, lleva en general a un vector diferente del de partida, por culpa de la propia curvatura. De hecho esta
última propiedad es la que se utiliza para medir la propia curvatura a través del tensor de curvatura de Riemann.
La derivada covariante
El hecho de que el espacio tiempo sea curvo hace que en cada punto del espacio, los espacios vectoriales tangentes
no coincidan, y por tanto, al derivar una magnitud tensorial es necesario tener en cuenta tanto la variación de las
componentes como de la base vectorial al cambiar de un punto a otro del espacio. Para expresar la derivada
covariante respecto a una dirección asociada con la coordenada se usa la notación en lugar de . Así la
derivada de una magnitud vectorial vendrá dada por la variación de las componentes y la base vectorial:
En la epxresión anterior hemos hecho uso de la convenio de sumación de Einstein sobre indíces repetidos ( ),
que aparecen en un mismo término arriba y abajo. En la expresión anterior son los llamados símbolos de
Christoffel que expresan la derivada de un vector como combinación lineal de los vectores de la base. La expresión
anterior puede expresarse, teniendo en cuenta que los índices repetidos son índices mudos, equivalentemente como:
Introducción matemática a la relatividad general 6
Donde la expresión entre paréntesis son las componentes de la derivada coviariante del vector expresado en la misma
base de partida. Además resulta que para un número escalar:
Donde:
, es precisamente la longitud de arco a lo largo de la curva.
, son el punto inicial y el vector tangente en el punto inicial.
En relatividad el cálculo de las geodésicas es importante para determinar como se está moviendo globalmente la
materia en un espacio-tiempo.
Un problema básico es que en un espacio-tiempo curvo, el hiperplano tangente a la variedad en cada punto
(considerado como objeto de , con n > 4) en cada punto es diferente. De la misma manera que en una esfera
cada punto tiene su plano propio plano tangente. Ese hecho requiere que se defina alguna regla para comparar
vectores y tensores medidos por un mismo observador a medida que se mueve a través del espacio-tiempo. Por
ejemplo para poder hablar de que cierta magnitud física permanece constante a lo largo del movimiento debemos
tener en cuenta que en cada instante la magnitud física está definida sobre un punto diferente y por tanto sobre
Introducción matemática a la relatividad general 7
espacios tangentes diferentes en cada momento. Así que para hablar de "conservación" o comparación necesitamos
definir una regla físicamente razonable que permita identificar magnitudes defindas en puntos diferentes, de manera
continua.
Este conjunto puede ser dotado de manera natural de estructura de variedad diferenciable de dimensión (4+4).
Usando este conjunto un campo vectorial se define usualmente como la aplicación:
La definición de una 1-forma es análoga al de campo vectorial sin más que substituir en cada punto el espacio
tantenge por el espacio cotangente. Matemáticamente el espacio cotangente es un espacio vectorial análogo al
espacio tangente, que de hecho es el espacio dual del primero, por lo que tiene la misma dimensión y estructura, y
puede construirse un isomorfismo entre ellos. En teoría de la relatividad el hecho de que exista un tensor métrico no
degenerado hace que sea posible definir un isomorfismo canónico entre el espacio tangente en un punto y el espacio
cotagente dado por:
Esto tiene una importante consecuencia, cualquier magnitud física vectorial puede ser representada indistintamente
por un vector campo vectorial o por 1-forma, según conveniencia matemática, y sin que le hecho de usar una u otra
descripción altere el contenido físico de lo que se representa. Esa "equivalencia" de representación es lo que conduce
a la operación de "subir y bajar índices", que no es otra cosa que un cambio de forma a la hora de representar una
misma magnitud física.
el siguiente cuadro muestra como algunas leyes de la mecánica clásica y el electromagnetismo, escritas en notación
vectorial clásica, puden ser reescritas usando las componentes de magnitudes tensoriales:
Introducción matemática a la relatividad general 8
Relación fuerza-trabajo .
Fuerza de Lorentz
Teorema de Gauss
Teorema de Stokes
Donde denota la métrica de Minkowski en coordenadas galileanas. En estas coordenadas los símbolos de
Cristoffel se anulan en el punto . Dada la ecuación anterior el tensor de curvatura mide "cuanto se aleja el
espacio-tiempo de la planitud". Si el tensor de Riemann se anula idénticamente el espacio tiempo es isométrico al
espacio-tiempo de Minkowski en todos sus puntos.
Este tensor de Ricci está relacionado con las diferentes curvaturas seccionales del espacio-tiempo según diferentes
planos. Debe tenerse en cuenta que el tensor de Ricci no caracteriza completamente la geometría del espacio tiempo,
es decir, dados dos unviersos con el tensores de Ricci iguales en puntos correspondientes, sus geometrías no tienen
porqué coincidir (ni siquiera localemnte) dado que sus tensores de Riemann no tienen porqué coincidir. Existen una
descomposición del tensor de curvatura de Riemann:
El primer miembro caracteriza por el tensor de curvatura de Riemann, mientras que en el segundo miembro el primer
término se caracteriza mediante tensor de curvatura de Weyl, el segundo por el tensor de curvatura de Ricci, y el
último por la curvatura escalar.
Introducción matemática a la relatividad general 9
Donde:
son las componentes del tensor de Riemann.
son las componentes del tensor de Ricci.
es la curvatura escalar de Ricci.
se refiere a la parte antisimétrica de un tensor.
El tensor de torsión
En la teoría de la relatividad general ordinaria la conexión matemática se toma como la única conexión lineal sin
torsión y simétrica. Y por tanto en se contexto el tensor torsión es idénticamente nulo. Sin embargo, algunas teorías
que generalizan como la teoría de Einstein-Cartan involucran un tensor torsión diferente de cero y un tensor de Ricci
asimétrico (esta teoría fue introducida para describir el momento angular intrínseco o espín en el contexto de la física
clásica). El tensor torsión se define como:
O en componentes:
Obviamente en la teoría de la relatividad general ordinaria se considera que los símbolos de Cristoffel son simétricos
en los dos indices inveriores y por tanto el tensro de torsión se anula:
Donde:
, es la curvatura escalar del espacio-tiempo.
, son la constante de la gravitación y la velocidad de la luz.
son las componentes de la métrica (pseudo)riemanniana efectiva y del espacio de Minkowski
subyacente.
, se calculan a partir del determinante de la métrica efectiva.
Algunas teorías métricas de la gravitación como la teoría relativista de la gravitación usan lagrangiano ligeramente
más complicado que incluye términos asociados a la masa del gravitón:
Donde:
, se calcula a partir del determinante de la métrica minkowskiana,.
, es la masa del gravitón.
Referencia
[1] En alemán "Über die Hypothesen, Welche der Geometrie zu Grunde liegen".
[2] Landau & Lifshitz, Teoría clásica de los campos, pp. 372-373
Bibliografía
• Misner, Thorne and Wheeler, Gravitation, Freeman, (1973), ISBN 0-7167-0344-0.
• Robert M. Wald, General Relativity, Chicago University Press, ISBN 0-226-87033-2.
• Steven Weinberg, Gravitation and Cosmology: principles and applications of the general theory of relativity,
Wiley (1972), ISBN 0-471-92567-5.
Tensor de energía-impulso
El tensor de tensión-energía, también llamado tensor
energía-impulso (o igualmente tensor de energía -
momento) es una cantidad tensorial en la teoría de la
relatividad que se usa para describir el flujo de energía
y el momento lineal de una distribución continua de
materia en el contexto de la teoría de la relatividad,
además de ser de suma importancia en las ecuaciones
de Einstein para el campo gravitacional.
Introducción
Fijado un conjunto de coordenadas o una base en cada punto del espacio-tiempo (los elementos de esta
base sería matemáticamente 1-formas), el tensor energía-impulso es un tensor de rango 2 que puede describirse como
una matriz del tipo:
Ley de conservación
En el contexto de la teoría de la relatividad, la ley de conservación de la energía y la ley de conservación de la
cantidad de movimiento pueden expresarse de manera muy simple en términos del tensor de energía-impulso.
Concretamente ambas leyes pueden escribirse conjuntamente como una ecuación de continuidad del tipo:
La cantidad
sobre una rebanada de tipo espacio da el cuadrivector energía-momento o cuadrimomento. Este tensor es la corriente
de Noether asociada a las translaciones en el espacio-tiempo. En relatividad general, esta cantidad actúa como la
fuente de la curvatura del espacio-tiempo, y es la densidad de corriente asociada a las transformaciones de gauge (en
este caso transformaciones de coordenadas) por el teorema de Noether. Ahora bien, en el espacio-tiempo curvado,la
integral de tipo espacio depende de la rebanada de tipo espacio, en general. No hay de hecho manera de definir un
vector global de energía-momento en un espacio-tiempo curvado en general.
Tensor de energía-impulso 13
Tensores relacionados
La parte tridimensional del tensor energía-impulso coincide con el tensor tensión de la mecánica de medios
continuos.
Ejemplos
• En teoría de la relatividad el tensor energía-impulso de un fluido perfecto es expresable en términos de su
cuadrivelocidad, densidad másica y presión:
(1)
donde es la densidad lagrangiana de la materia, que aparece en la integral de acción, para la parte
gravitatoria no es posible definir un tensor análogo. Este tensor en un amplio conjunto de circunstancias es simétrico
e invariante gauge.
Referencias
Enlaces externos
• http://people.hofstra.edu/faculty/Stefan_Waner/diff_geom/Sec12.html
Tensor de curvatura
En geometría diferencial, el tensor de curvatura de Riemann , o simplemente tensor de curvatura o tensor de
Riemann, supone una generalización del concepto de curvatura de Gauss, definido para superficies, a variedades de
dimensiones arbitrarias. Representa una medida de la separación de la métrica de la variedad respecto de la métrica
euclídea.
Fue introducido en 1862 por B. Riemann y desarrollado en 1869 por E. B. Christoffel como una forma de describir
completamente la curvatura en cualquier número de dimensiones mediante un "pequeño monstruo": un tensor de tipo
(1,3) representado generalmente por el símbolo . El valor de cualquier otra entidad que describa la curvatura
de una variedad puede deducirse de este tensor. Tal es el caso del tensor de Ricci (un tensor de tipo (0,2)), de la
curvatura escalar o de la curvatura seccional.
Aunque en 2 dimensiones la curvatura puede representarse por un escalar en cada punto (o tensor de orden cero), tal
como hacía la curvatura de Gauss, la geometría de variedades de Riemann con dimensión mayor o igual que 3 es
demasiado compleja como para describirla totalmente por un número en un punto dado. Así, en 3 dimensiones la
curvatura puede representarse por un tensor de segundo orden (el tensor de Ricci). Sin embargo, para dimensiones
superiores necesitaremos al menos un tensor de cuarto orden (el tensor de Riemann).
El tensor de curvatura tiene una influencia notable en la evolución de la separación de un conjunto de geodésicas
inicialmente próximas, vía la ecuación de Hamilton-Jacobi. Da lugar a efectos observables de la curvatura en las
fuerzas de marea que aparecen en relatividad general.
Definición
Formalmente, el tensor de curvatura está definido para toda variedad de Riemann, y, más generalmente, en toda
variedad dotada de una conexión afín con o sin torsión, por la fórmula siguiente:
Expresión en coordenadas
Dada una base cualquiera , definida como una sección del fibrado tangente, y su base dual
las coordenadas del tensor de curvatura vienen dadas por:
En un sistema de coordenadas asociada a una carta local las componentes del tensor de curvatura de Riemann
vienen dadas por:
(*)
Donde son los campos vectoriales asociados a cada una de las coordenadas y que juntos constituyen
una base natural. La expresión (*) puede reescribirse en términos de de los símbolos de Christoffel de la siguiente
manera, usando el convenio de sumación de Einstein:
Existen distintas definiciones de este tensor, equivalentes salvo en signo, lo que nos obliga a tener que determinar en
cada caso la convención de signo del autor. En contraste, el resto de definiciones de todos los autores se ajustan para
que las nociones de curvatura seccional, de Ricci o escalar permanezcan inalteradas.[1]
Donde:
son campos vectoriales definidos sobre la variedad:
Puede probarse además que si es la base dual de la anterior la diferencial exterior de los elementos de esta
base dual satisfacen:
Donde:
es el conjunto de n 2-formas de torsión
que son nulas si se usa la conexión riemanniana asociada a la métrica de Riemann de la variedad. Las 2-formas de
curvatura vienen dadas simplemente por:
En general, el procedimiento de cálculo mediante las 1-formas de la conexión y 2-formas de curvatura resulta más
eficiente y rápido que el cálculo directo mediante la expresión en coordenadas.
Tensor de curvatura 16
Es decir el tensor de Riemann da las desviaciones de la métrica respecto a la métrica euclídea plana hasta segundo
orden. En una variedad lorentziana la relación es similar:
• Simetría respecto al intercambio del bloque formado por los dos primeros índices con el bloque formado por los
últimos:
• Primera identidad de Bianchi: la suma en tres entradas del tensor de curvatura (las tres últimas con nuestra
convención de signos) bajo permutación circular se anula
que también aparece en forma más compacta como , donde el corchete [ ] denota
antisimetrización sobre las componentes seleccionadas. Los 6 términos que aparecen se reducen a tres usando
la primera de las simetrías.
• Segunda identidad de Bianchi
,
Tensor de curvatura 17
o de modo equivalente:
Aunque el tensor de curvatura tenga componentes, donde es la dimensión de la variedad donde está definido,
las tres primeras relaciones reducen el número de componentes independientes a . En dimensiones
2, 3 y 4, el número de componentes independientes será 1, 6, 20. En caso de trabajar en una variedad con una
conexión arbitraria, las identidades de Bianchi adoptan una forma que generaliza a las anteriores e involucra al tensor
de torsión de la conexión.
Curvatura seccional
Del mismo modo que para hacer más tratable una función bilineal la estudiamos al aplicarla a dos vectores iguales
(su forma cuadrática asociada), para estudiar un tensor de cuarto orden como el de curvatura podemos intentar
aplicarlo sobre el mínimo número de vectores distintos. Por antisimetría, con solo un vector obtendríamos resultados
nulos. Debemos usar, pues, dos vectores diferentes.
Dado un plano , y una base del mismo, se demuestra que la cantidad[2]
no depende de la base escogida. Así, podemos decir que K sólo depende de y recibe el nombre de curvatura
seccional del plano . Si escogemos una base ortonormal , su cálculo puede simplificarse, de modo que:
El conocimiento de todas las curvaturas seccionales determina unívocamente al tensor de curvatura. Podemos pensar
en ellas como unidades de información a la hora de analizar el tensor de curvatura.
Los elementos diagonales del tensor de Ricci pueden expresarse fácilmente como combinación de curvaturas
seccionales. Por ejemplo, dada una base ortonormal , (suma de las
.
Si calculamos la contracción usando una base ortonormal , obtendremos su desarrollo como suma de
curvaturas seccionales:
En dos dimensiones, el tensor de curvatura está determinado por la curvatura escalar. En tres dimensiones, el tensor
de curvatura está especificado por la curvatura de Ricci. Esto tiene que ver con el hecho de que el espacio de
Tensor de curvatura 18
2-formas es tridimensional: la misma razón por la que podemos definir el producto vectorial para 3 dimensiones (el
producto vectorial es precisamente el producto cuña de dos 1-formas compuesto con la estrella de Hodge, si
representamos vectores con su 1-formas correspondientes).
En más dimensiones, el tensor pleno de curvatura contiene más información que la curvatura de Ricci. Eso significa
que, para un número de dimensiones n < 4, el tensor de curvatura queda completamente especificado si se conoce el
tensor de Ricci, no ocurriendo así para n > 3. Eso tiene una importante consecuencia en la Teoría general de la
relatividad puesto que el espacio-tiempo de n = 4 dimensiones, pero en donde las ecuaciones del campo gravitatorio
sólo determinan el tensor de Ricci. Por tanto, las ecuaciones de Einstein para el campo gravitatorio no determinan
completamente el tensor de curvatura total: La parte de la curvatura no especificada por las ecuaciones de Einstein,
coincide precisamente con el tensor de Weyl que se definie a continuación.
La curvatura de Weyl
Para dimensión n>3, el tensor de curvatura se puede descomponer en la parte que depende de la curvatura de Ricci, y
el tensor de Weyl. Si R es el tensor (0, 4)-valente de curvatura de Riemann, entonces
donde Ric es la versión (0, 2)-valente de la curvatura de Ricci, s es la curvatura escalar y g es el tensor métrico (0,
2)-valente y
Donde:
son las componentes del tensor de Riemann.
son las componentes del tensor de Ricci.
es la curvatura escalar de Ricci.
se refiere a la parte antisimétrica de un tensor.
Si g'=fg para una cierta función escalar - el cambio conforme de la métrica - entonces W'=fW. Para curvatura
constante, el tensor de Weyl es cero. Por otra parte, W=0 si y solamente si la métrica es conforme a la métrica
euclidiana estándar (igual a fg, donde g es la métrica estándar en un cierto marco coordinado y f es una cierta función
escalar). La curvatura es constante si y solamente si W=0 y Ric=s/n
Tensor de curvatura 19
Referencias
[1] O Neill Semiriemaniann geometry. Academic Press, 1983. ISBN 0-12-526740-1 (tratamiento de curvatura en variedades semiriemanianas)
[2] Berger, M. A panoramic view of riemannian Geometry. Springer, 2003. ISBN 3-540-65317-1
Bibliografía
• Lee, J.M. Riemannian manifolds: an introduction to curvature. GTM 176. ISBN 0-387-98271-X
• Spivak, Michael (1999), A Comprehensive introduction to differential geometry, Volumen 2, Publish or Perish,
ISBN 0-914098-71-3
Para cada punto del espacio-tiempo, la ecuación del campo de Einstein describe cómo el espacio-tiempo se curva por
la materia y tiene la forma de una igualdad local entre un tensor de curvatura para el punto y un tensor que describe
la distribución de materia alrededor del punto:
donde:
Ecuaciones del campo de Einstein 20
es el tensor de curvatura de Einstein, que se forma a partir de derivadas segundas del tensor métrico
es el tensor de tensión-energía.
, es el número π
, es la velocidad de la luz
, es la constante de la gravitación universal.
Esa ecuación se cumple para cada punto del espacio-tiempo,
El tensor de la curvatura de Einstein se puede escribir como
donde:
, es el tensor de curvatura de Ricci
es el escalar de curvatura de Ricci
es la constante cosmológica.
La ecuación del campo por lo tanto también puede darse como sigue:
es un tensor simétrico 4 x 4, así que tiene 10 componentes independientes. Dado la libertad de elección de las
cuatro coordenadas del espacio-tiempo, las ecuaciones independientes se reducen en número a 6. Estas ecuaciones
son la base de la formulación matemática de la relatividad general. Nótese que considerando la contracción sobre los
dos índices de la última relación se encuentra que el escalar de curvatura se relaciona con la traza del tensor energía
impulso y la constante cosmológica mendiante:
donde
c = 3 × 1010 [cm s-1] es la velocidad de la luz
G = 6,67 × 10-8 [cm3 s-2 g-1] es la constante de la gravitación universal.
De acuerdo con el significado geométrico de la curvatura escalar, esta igualdad afirma que en una esfera de masa M
y densidad constante, el exceso radial (la diferencia entre el radio real y el radio que le correspondería en la
geometría euclídea a una esfera de igual área) es igual a
Por ejemplo, en el caso de la Tierra el exceso radial es de 0,15cm y en el caso del Sol es de unos 4400 metros.
Es asombroso que esta ecuación, que introduce mínimas correcciones en las fórmulas de la geometría euclídea,
recoja casi todas las ecuaciones conocidas de la física macroscópica. En efecto, cuando la velocidad de la luz c
tiende a infinito, de ella se derivan ley de gravitación universal de Newton, la Ecuación de Poisson y, por tanto, el
Ecuaciones del campo de Einstein 21
carácter atractivo de las fuerzas gravitatorias, las ecuaciones de la mecánica de fluidos (ecuación de continuidad y
ecuaciones de Euler), las leyes de conservación de la masa y el momento, el carácter euclídeo del espacio, etc.
Igualmente se derivan todas la leyes de conservación relativistas, y que la existencia de campos gravitatorios y de
masa sólo es posible cuando el espacio tiene dimensión mayor que 2. Más aún, si se supone que el espacio tiene
dimensión 4 (las tres que vemos diariamente más una pequeñísima dimensión circular extra, aproximadamente del
tamaño de la llamada longitud de Planck cm) de la ecuación de Einstein se deducen la teoría clásica del
electromagnetismo: las Ecuaciones de Maxwell y, por tanto, la Ley de Coulomb, la Conservación de la carga
eléctrica y la ley de Lorentz.
Límite clásico
En el límite clásico la única componente no nula del tensor de Ricci es la componente temporal . Para obtener el
límite clásico debe suponerse que el potencial gravitatorio es muy pequeño en relación al cuadrado de la velocidad
de la luz y a continuación debe tomarse el límite de las ecuaciones cuando la velocidad de la luz tiende a infinito,
haciendo esas manipulaciones se obtiene que las ecuaciones de campo de Einstein para el campo gravitatorio se
reducen a la ecuación diferencial de Poisson para el potencial gravitorio. Suponiendo que para campos gravitatorios
débiles la métrica del espacio tiempo puede escribirse como una perturbación de la métrica de Minkowski:
La última expresión es precisamente la ecuación de Poisson que es la expresión clásica que relaciona el potencial
gravitatorio con la densidad de materia.
Referencia
Notas
Bibliografía
• Robert M. Wald, General Relativity, Chicago University Press, ISBN 0-226-87033-2.
Magnitud física
Una magnitud física es una propiedad o cualidad medible de un sistema físico, es decir, a la que se le pueden
asignar distintos valores como resultado de una medición o una relación de medidas. Las magnitudes físicas se
miden usando un patrón que tenga bien definida esa magnitud, y tomando como unidad la cantidad de esa propiedad
que posea el objeto patrón. Por ejemplo, se considera que el patrón principal de longitud es el metro en el Sistema
Internacional de Unidades.
Las primeras magnitudes definidas estaban relacionadas con la medición de longitudes, áreas, volúmenes, masas
patrón, y la duración de periodos de tiempo.
Existen magnitudes básicas y derivadas, y constituyen ejemplos de magnitudes físicas: la masa, la longitud, el
tiempo, la carga eléctrica, la densidad, la temperatura, la velocidad, la aceleración y la energía. En términos
generales, es toda propiedad de los cuerpos o sistemas que puede ser medida. De lo dicho se desprende la
importancia fundamental del instrumento de medición en la definición de la magnitud.
La Oficina Internacional de Pesos y Medidas, por medio del Vocabulario Internacional de Metrología (International
Vocabulary of Metrology, VIM), define a la magnitud como un atributo de un fenómeno, un cuerpo o sustancia que
puede ser distinguido cualitativamente y determinado cuantitativamente.
A diferencia de las unidades empleadas para expresar su valor, las magnitudes físicas se expresan en cursiva: así, por
ejemplo, la "masa" se indica con "m", y "una masa de 3 kilogramos" la expresaremos como m = 3 kg.
Magnitud física 23
• Cantidad de sustancia: mol (mol). El mol es la cantidad de sustancia de un sistema que contiene tantas entidades
elementales como átomos hay en 12 gramos de carbono-12.
• Intensidad luminosa: candela (cd). La candela es la unidad luminosa, en una dirección dada, de una fuente que
emite una radiación monocromática de frecuencia 540×1012 Hz y cuya intensidad energética en dicha dirección es
1/683 vatios por estereorradián.
Referencias
Enlaces externos
• Wikisource contiene obras originales de o sobre Patrones oficiales de las magnitudes (España).Wikisource
• Wikimedia Commons alberga contenido multimedia sobre Magnitud física. Commons
• Bureau International des Poids et Mesures (BIPM) - The International System of Mesures (http://www.bipm.
org/utils/common/pdf/si_brochure_8_en.pdf)
Geometría euclidiana 26
Geometría euclidiana
La geometría euclidiana, euclídea o parabólica[1] es el estudio de las propiedades geométricas de los espacios
euclídeos. Es aquella que estudia las propiedades geométricas del plano afín euclídeo real y del espacio afín euclídeo
tridimensional real mediante el método sintético, introduciendo los cinco postulados de Euclides.
También es común (abusando del lenguaje) decir que una geometría es euclidiana si no es no euclidiana, es decir, si
en dicha geometría se verifica el quinto postulado de Euclides. Ésta denominación está cada vez más en desuso,
debido a la pérdida de interés que va teniendo el tema de la posibilidad de trazar paralelas a una recta desde un punto
exterior a la misma.
En ocasiones los matemáticos usan las expresiones geometría euclídea o geometría euclidiana para englobar
geometrías de dimensiones superiores con propiedades similares. Sin embargo, con frecuencia son sinónimos de
geometría plana o de geometría clásica. [[Archivo:Oxyrhynchus papyrus with Euclid's
Elements.jpg|thumb|300px|Fragmento de Los elementos de Euclides, escrito en papiro, hallado en el yacimiento de
Oxirrinco (Egipto).]
Interpretaciones
• Desde un punto de vista historiográfico, la geometría euclidiana es aquella geometría que postuló Euclides, en su
libro Los elementos, dejando al margen las aportaciones que se hicieron posteriormente —desde Arquímedes
hasta Jakob Steiner—.
• Según la contraposición entre método sintético y método algebraico-analítico, la geometría euclidiana sería,
precisamente, el estudio por métodos sintéticos de los invariantes de un espacio vectorial real de dimensión 3
dotado de un producto escalar muy concreto (el frecuentemente denominado «producto escalar habitual»).
• Según la filosofía del programa de Erlangen (propuesto por el matemático Felix Klein), la geometría euclídea
sería el estudio de los invariantes de las isometrías en un espacio euclídeo (espacio vectorial real de dimensión
finita, dotado de un producto escalar), al aplicarles transformaciones ortogonales.[2]
Geometría euclidiana 27
Geometría plana
La geometría plana es una parte de la geometría que trata de aquellos elementos cuyos puntos están contenidos en
un plano. La geometría plana está considerada parte de la geometría euclídea, pues ésta estudia los elementos
geométricos a partir de dos dimensiones.
Axiomas
La presentación tradicional de la geometría euclidiana se hace en
un formato axiomático. Un sistema axiomático es aquél que, a
partir de un cierto número de proposiciones que se presuponen
«evidentes» (conocidas como axiomas) y mediante deducciones
lógicas, genera nuevas proposiciones cuyo valor de verdad es
también lógico.
Postulados
Euclides planteó cinco postulados en su sistema:
1. Dados dos puntos se puede trazar una recta que los une.
2. Cualquier segmento puede prolongarse de manera continua en
cualquier sentido.
3. Se puede trazar una circunferencia con centro en cualquier
punto y de cualquier radio.
4. Todos los ángulos rectos son congruentes.
5. Si una recta, al cortar a otras dos, forma ángulos internos
menores a dos ángulos rectos, esas dos rectas prolongadas
indefinidamente se cortan del lado en el que están los ángulos
Portada de Los elementos de Euclides, publicada en
menores que dos rectos (ver quinto postulado de Euclides). 1570 por Sir Henry Billingsley.
Este último postulado, que es conocido como el postulado de las
paralelas, fue reformulado como:
5. Por un punto exterior a una recta, se puede trazar una única paralela a la recta dada.
Este postulado parece menos obvio que los otros cuatro, y muchos geómetras, incluido el propio Euclides, han
intentado deducirlo de los anteriores. Cuando intentaron reducirlo al absurdo negándolo, surgieron dos nuevas
geometrías: la elíptica, también llamada geometría de Riemann o riemanniana (dada una recta y un punto exterior a
ella, no existe ninguna recta que pase por el punto y sea paralela a la recta dada) y la hiperbólica o de Lobachevsky
(existen varias rectas paralelas que pasen por un punto exterior a una dada).
Geometría euclidiana 28
Limitaciones
Euclides asumió que todos sus postulados o axiomas eran autoevidentes y por tanto hechos que no requerían
demostración. Sin embargo, resultó que el quinto postulado —si bien es compatible con los otro cuatro— en cierto
modo es independiente. Es decir, tanto el quinto postulado como la negación del quinto postulado, son compatibles
con los otros cuatro postulados. Las geometrías donde el quinto postulado no es válido se llaman geometrías
no euclidianas.
Una limitación del trabajo de Euclides fue no reconocer la posibilidad de sistemas geométricos perfectamente
consistentes donde el quinto axioma no era válido, es decir, para Euclides y los geómetras posteriores hasta el
siglo XVIII pasó inadvertida la posibilidad de geometrías no euclidianas, hasta el trabajo de Nikolái Lobachevski,
Gauss y Riemann.
Si bien durante el siglo XIX se consideró a las geometrías no euclidianas un artefacto matemáticamente interesante e
incluso con cierto interés práctico pero limitado, como es el caso de la trigonometría esférica usada en astronomía,
en cierto modo se admitió que la geometría del espacio físico era euclidiana y, por tanto, las geometrías
no euclidianas eran tan sólo un artificio abstracto útil para ciertos problemas, pero en modo alguno descripciones
realistas del mundo. Sin embargo, el trabajo de Albert Einstein hizo ver que entre las necesidades de la física
moderna están las geometrías no euclidianas para describir, por ejemplo, el espacio-tiempo curvo.
Alguno de los errores de Euclides fue omitir al menos dos postulados más:
• Dos circunferencias cuyos centros estén separados por una distancia menor a la suma de sus radios, se cortan en
dos puntos (Euclides lo utiliza en su primera construcción).
• Dos triángulos con dos lados iguales y los ángulos comprendidos también iguales, son congruentes (afirmación
equivalente al concepto de movimiento, que Euclides usa para su teorema cuarto sin definir explícitamente).
Euclidiano y euclídeo
En la comunidad matemática de habla hispana no están unificados los criterios acerca del uso de los adjetivos
«euclidiano» y «euclídeo». Así, algunos autores asignan significados específicos a cada uno de estos términos,
sirviéndose de ellos para distinguir entre conceptos matemáticos diferentes; mientras que otros hacen uso exclusivo,
ya sea de uno o del otro, en todos sus trabajos. Esta dualidad de criterios no se presenta en el idioma inglés, donde
solo existe el término euclidean.
Aunque desde el punto de vista lingüístico ambas formas tienen el mismo significado: hacer referencia a algo
perteneciente o relativo al matemático griego Euclides, la Real Academia Española solo adopta como correcta la
palabra «euclidiano», mientras que no recoge «euclídeo».[]
Notas y referencias
[1] Siguiendo la analogía de las cónicas, una parábola es el caso límite entre una elipse y una hipérbola; en el mismo sentido que la geometría
parabólica o euclidiana es el caso límite entre la geometría elíptica y la geometría hiperbólica
[2] Hay que indicar que se puede dotar a un mismo espacio vectorial real de distintos productos escalares, así que, incluso con esta acepción,
existe una enorme ambigüedad, al no quedar claro ni la dimensión del espacio (en principio cualquier dimensión finita) ni el producto a
escalar al que nos referimos. Este término puede permitir que cosas que no se parecen en nada a lo que entendemos por geometría euclidiana
pueda llamarse precisamente geometría euclidiana.
Enlaces externos
• Geometría euclídea (http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Geometria/marco_geometria.htm)
• Geometría euclídea (http://sauce.pntic.mec.es/~agarci28/geometria_euclidea_en_el_espacio.pdf)
Geometría no euclidiana 29
Geometría no euclidiana
Se denomina geometría no euclidiana
o no euclídea, a cualquier forma de
geometría cuyos postulados y
propiedades difieren en algún punto de
los establecidos por Euclides en su
tratado Elementos. No existe un solo
Los tres tipos de geometrías homogéneas posibles, además de la geometría euclidea de
tipo de geometría no euclídea, sino curvatura nula, existen la geometría elíptica de curvatura positiva, y la geometría
muchos, aunque si se restringe la hiperbólica de curvatura negativa. Si se consideran geometrías no-euclídeas homogéneas
discusión a espacios homogéneos, en entonces existe una infinidad de posibles geometrías, descritas por las variedades
riemannianas generales.
los que la curvatura del espacio es la
misma en cada punto, en los que los
puntos del espacio son indistinguibles pueden distinguirse tres tipos de geometrías:
• La geometría euclidiana satisface los cinco postulados de Euclides y tiene curvatura cero.
• La geometría hiperbólica satisface sólo los cuatro primeros postulados de Euclides y tiene curvatura negativa.
• La geometría elíptica satisface sólo los cuatro primeros postulados de Euclides y tiene curvatura positiva.
Todos estos son casos particulares de geometrías riemannianas, en los que la curvatura es constante, si se admite la
posibilidad de que la curvatura intrínseca de la geometría varíe de un punto a otro se tiene un caso de geometría
riemanniana general, como sucede en la teoría de la relatividad general donde la gravedad causa una curvatura no
homogénea en el espacio tiempo, siendo mayor la curvatura cerca de las concentraciones de masa, lo cual es
percibido como un campo gravitatorio atractivo.
Historia
El primer ejemplo de geometría no euclidiana fue la hiperbólica, teorizada inicialmente por Immanuel
Kant[cita requerida], formalizada posterior e independientemente por varios autores a principios del siglo XIX tales
como Carl Friedrich Gauss, Nikolái Lobachevski, János Bolyai y Ferdinand Schweickard.
Los desarrollos de geometrías no euclídeas se gestaron en sus comienzos con el objetivo de construir modelos
explícitos en los que no se cumpliera el quinto postulado de Euclides.
La geometría Euclideana había sido desarrollada por los griegos y expuesta por Euclides en la obra Los elementos.
En su primera obra publicada, "Pensamientos sobre la verdadera estimación de las fuerzas vivas" (Gedanken von der
wahren Schätzung der lebendigen Kräfte und Beurteilung der Beweise derer sich Herr von Leibniz und anderer
Mechaniker in dieser Streitsache bedient haben) (1746), Immanuel Kant considera espacios de más de tres
dimensiones y afirma:
Una ciencia de todas estas posibles clases de espacio sería sin duda la empresa más elevada que un
entendimiento finito podría acometer en el campo de la Geometría... Si es posible que existan
extensiones con otras dimensiones, también es muy probable que Dios las haya traído a la existencia,
porque sus obras tienen toda la magnitud y variedad de que son capaces.
Esas posibles geometrías que Kant entrevé son las que hoy se llaman geometrías euclidianas de dimensión mayor
que 3.
Por otra parte, ya desde la antigüedad se consideró que el quinto postulado del libro de Euclides no era tan evidente
como los otros cuatro pues, al afirmar que ciertas rectas (las paralelas) no se cortarán al prolongarlas
indefinidamente, habla de una construcción mental un tanto abstracta. Por eso durante muchos siglos se intentó sin
éxito demostrarlo a partir de los otros cuatro. A principios del siglo XIX, se intentó demostrarlo por reducción al
Geometría no euclidiana 30
absurdo, suponiendo que es falso y tratando de obtener una contradicción. Sin embargo, lejos de llegar a un absurdo
se encontró que existían geometrías coherentes diferentes de la euclídea. Se había descubierto así la primera
geometría no euclídea (en concreto el primer ejemplo que se logró era una geometría llamada hiperbólica).
Geometría hiperbólica
A principios del siglo XIX, y de modo
independiente, Gauss (1777-1855), Lobachevsky
(1792-1856), János Bolyai y Ferdinand
Schweickard lograron construir la geometría
hiperbólica, a partir del intento de negar el
quinto postulado de Euclides y tratar de obtener
una contradicción. En lugar de obtener una
contradicción lo que obtuvieron fue una curiosa
geometría en la que los tres ángulos de un
triángulo sumaban menos de 180º sexagesimales
(en la geometría euclídea los ángulos de
cualquier triángulo suman siempre exactamente
180º).
Algunos afirman que Gauss fue el primero en considerar la posibilidad de que la geometría del Universo no fuera la
euclídea. Sabiendo que en la geometría hiperbólica la suma de los ángulos de cualquier triángulo es menor que
dos rectos, se dice que subió a la cima de tres montañas con un teodolito, aunque la precisión de sus instrumentos no
fue suficiente para decidir la cuestión con tal experimento. Sin embargo, otros afirman que cuando escribió que
trataba de corregir los efectos de posibles curvaturas se refería a corregir el efecto de la curvatura terrestre en los
estudios cartográficos que estaba realizando.
Geometría no euclidiana 31
Geometría elíptica
La geometría elíptica es el segundo tipo de geometría no-euclídea
homogénea, es decir, donde cualquier punto del espacio resulta
indistinguible de cualquier otro. Una variedad de Riemann de
curvatura positiva constante es un ejemplo de geometría elíptica. Un
modelo clásico de geometría elíptica n-dimensional es la n-esfera.
En la geometría elíptica las líneas geodésicas tienen un papel similar a
las líneas rectas de la geometría euclídea, con algunas importanes
diferencias. Si bien la mínima distancia posible entre dos puntos viene
dada por una línea geodésica, que además son líneas de curvatura
mínima, el quinto postulado de Euclídes no es válido para la geometría
elíptica, ya que dada una "recta" de esta geometría (es decir, una línea
geodésica) y un punto no contenido en la misma no se puede trazar La esfera es un modelo de geometría elíptica
ninguna geodésica que no corte a la primera. bidimensional, los meridianos resultan ser líneas
geodésicas mientras que los paralelos son líneas
de curvatura no mínima.
Geometría euclídea
La geometría euclídea es claramente un caso límite intermedio entre la geometría elíptica y la geometría hiperbólica.
De hecho la geometría euclídea es una geometría de curvatura nula. Puede demostrarse que cualquier espacio
geométrico o variedad de Riemann cuya curvatura es nula es localmente isométrico al espacio euclídeo y por tanto es
un espacio euclídeo o idéntico a una porción del mismo.
Aspectos matemáticos
Los espacios de curvatura constante el tensor de curvatura de Riemann viene dado en componentes por la siguiente
expresión:
Eso hace que la geometría no sea homogénea, y permite distinguir unos puntos de otros. Esto es relevante en la
teoría de la relatividad general, ya que en principio es posible hacer experimentos de medición de distancias y
ángulos que permitan distinguir unos puntos del espacio de otros, tal como especifican numerosos experimentos
mentales imaginados por Einstein y otros en los que un experimentador encerrado en una caja puede realizar
experimentos para decidir la naturaleza del espacio-tiempo que le rodea.
Finalmente un aspecto interesante de la geometría riemanniana es que si la curvatura no es constante entonces el
grupo de isometría del espacio tiene dimensión estrictamente menor que siendo la dimensión del
espacio. En concreto según la relatividad general un espacio-tiempo con una distribución muy irregular de la materia
podría tener un grupo de isometría trivial de dimensión 0.
Referencias
Bibliografía
• N. A'Campoy A. Papadopoulos (2012) Notes on hyperbolic geometry, in: Strasbourg Master class on Geometry,
pp. 1-182, IRMA Lectures in Mathematics and Theoretical Physics, Vol. 18, Zürich: European Mathematical
Society (EMS), 461 pages, SBN ISBN 978-3-03719-105-7, DOI 10.4171/105.
• Anderson, James W. Hyperbolic Geometry, second edition, Springer, 2005
• Blumenthal, Leonard M. (1980), A Modern View of Geometry, New York: Dover, ISBN 0-486-63962-2
• H. S. M. Coxeter (1942) Non-Euclidean Geometry, University of Toronto Press, reissued 1998 by Mathematical
Association of America, ISBN 0-88385-522-4 .
• Jeremy Gray (1989) Ideas of Space: Euclidean, Non-Euclidean, and Relativistic, 2nd edition, Clarendon Press.
• Manning, Henry Parker (1963), Introductory Non-Euclidean Geometry, New York: Dover
• Milnor, John W. (1982) Hyperbolic geometry: The first 150 years (http://projecteuclid.org/euclid.bams/
1183548588), Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp. 9–24.
• John Stillwell (1996) Sources of Hyperbolic Geometry, American Mathematical Society ISBN 0-8218-0529-0 .
Geometría hiperbólica 33
Geometría hiperbólica
La geometría hiperbólica (o lobachevskiana) es un modelo de geometría que satisface solo los cuatro primeros
postulados de la geometría euclidiana. Aunque es similar en muchos aspectos y muchos de los teoremas de la
geometría euclidiana siguen siendo válidos en geometría hiperbólica, no se satisface el quinto postulado de Euclides
sobre las paralelas. Al igual que la geometría euclidiana y la geometría elíptica, la geometría hiperbólica es un
modelo de curvatura constante:
• La geometría euclidiana satisface los cinco postulados de Euclides y tiene curvatura cero.
• La geometría hiperbólica satisface solo los cuatro primeros postulados de Euclides y tiene curvatura negativa.
• La geometría elíptica satisface solo los cuatro primeros postulados de Euclides y tiene curvatura positiva.
Historia
Desde la antigüedad se realizaron esfuerzos por deducir el quinto postulado de Euclides referente a las paralelas de
los otros cuatro. Uno de los intentos más amplios y ambiciosos fue el de Giovanni Gerolamo Saccheri en el siglo
XVIII quien, contradictoriamente creó lo que podríamos considerar modelo incipiente de geometría hiperbólica. Sin
embargo, Saccheri creyó que no era consistente y no llegó a formalizar todos los aspectos de su trabajo. También
Johann Heinrich Lambert encontró algunas fórmulas interesantes referentes a lo que hoy llamaríamos triángulos de
la geometría hiperbólica, probando que la suma de los ángulos es siempre menor que 180º (o π radianes), la fórmula
de Lambert establecía que para uno de estos triángulos se cumplía:
Donde:
, es la suma de los ángulos del triángulo (expresada en radianes).
, es el área total del triángulo.
es una constante de proporcionalidad positiva relacionada con la curvatura constante del espacio
hiperbólico en que se halla inmerso el triángulo.
Más adelante Carl Friedrich Gauss trabajó en un modelo similar pero no publicó sus resultados. En los años 1820
dos jóvenes matemáticos que trabajaban de modo independiente, János Bolyai y Nikolai Ivanovich Lobachevsky,
publicaron sus modelos por los cuales establecían la posibilidad de un tipo de geometría alternativa, totalmente
consistente, que es el que conocemos como geometría hiperbólica.
Geometría hiperbólica 34
Introducción
Las diferencias entre rectas hiperparalelas y ultraparaleas, también pueden ser vistas de la siguiente forma: la
distancia entre rectas hiperparalelas tiende a cero mientras uno se aleja infinitamente de PB por la recta R. Sin
embargo, la distancia entre rectas ultraparalelas no tiende a cero si uno se aleja infinitamente de PB por la recta r. El
ángulo de paralelismo en la geometría euclidiana es una constante, es decir, cualquier longitud BP, determinará un
ángulo de paralelismo igual a 90 grados. En la geometría hiperbólica, el ángulo de paralelismo varía con la que es
llamada la función Π(p). Esta función, descrita por Nikolai Ivanovich Lobachevsky, produce un ángulo único de
paralelismo para cada longitud dada BP. Mientras la longitud BP se haga más pequeña, el ángulo de paralelismo se
acercará a 90º. Si la longitud BP incrementa sin límites, el ángulo de paralelismo se acercará a cero. Note que,
debido a este hecho, mientras las distancias se hagan más pequeñas, el plano hiperbólico se comportará cada vez más
Geometría hiperbólica 35
como la Geometría Euclidiana. Por lo tanto, a pequeñas escalas, un observador en el plano hiperbólico tendrá
dificultades para darse cuenta de que las distancias no se encuentran en un plano euclidiano. En la geometría
euclídea la suma de los ángulos de cualquier triángulo es siempre 180°. En la geometría hiperbólica esta suma es
siempre menor de 180°, siendo la diferencia proporcional al área del triángulo.
• La representación de Klein,
también conocida como el modelo
proyectivo del disco o modelo de
Modelo del disco Poincaré con una teselación {3,7} de rombos truncados.
Beltrami-Klein, usa el interior de
un círculo como plano hiperbólico,
y las cuerdas como líneas del círculo. Este modelo tiene como ventaja su simplicidad, pero como desventaja que
los planos hiperbólicos están distorsionados.
• El modelo de Poincaré usa también el interior de un círculo plano, y en él las líneas rectas de la geometría
hiperbólica vienen representadas por arcos de circunferencia que cortan el borde del círculo plano en ángulo
recto.
Además este modelo es un modelo de curvatura constante negativa, que admite una representación como variedad
riemanniana con un tensor métrico dado por:
Referencias
Bibliografía
• A'Campo, Norbert and Papadopoulos, Athanase, (2012) Notes on hyperbolic geometry, in: Strasbourg Master
class on Geometry, pp. 1--182, IRMA Lectures in Mathematics and Theoretical Physics, Vol. 18, Zürich:
European Mathematical Society (EMS), 461 pages, SBN ISBN 978-3-03719-105-7, DOI 10.4171/105.
• Robert M. Wald, General Relativity, Chicago University Press, ISBN 0-226-87033-2.
• Lee, J.M. Riemannian manifolds: an introduction to curvature. GTM 176. ISBN 0-387-98271-X
Bases matemáticas
Las matemáticas para estudiar geometrías curvas totalmente generales, se llamaron con el tiempo bajo el nombre de
geometría de Riemann y fueron desarrolladas por Bernhard Riemann, discípulo de Gauss. Durante todo el siglo XIX,
la teoría de espacios curvos fue considerada una abstracción matemática que nada tenía que ver con la geometría del
universo real. No fue hasta después de que Einstein desarrolló la teoría de la relatividad especial que las geometrías
no-euclídeas se hicieron notorias también fuera de las matemáticas.
Espacio-tiempo
Dentro de la teoría de la relatividad, el espacio y el tiempo forman una variedad diferenciable, llamada
espacio-tiempo, que matemáticamente se trata como una variedad pseudoriemanniana de signatura (3,1) (ya que
existen tres dimensiones espaciales y una dimensión temporal). Y la curvatura del espacio-tiempo viene definida por
el tensor de curvatura de Riemann.
Debe tenerse presente que el teorema de "incubación" de Whitney implica que un espacio-tiempo curvo de cuatro
dimensiones puede ser considerado como una hipersuperficie curva dentro del espacio euclídeo . Si se
establecen limitaciones físicas sobre un espacio-tiempo físicamente admisible puede considerarse que el espacio
euclídeo en el que puede "incubarse" dentro de un espacio euclídeo de dimensión menor. Por ejemplo la teoría
relativista de la gravitación de Anatoli Logunov el espacio-tiempo puede incluirse en .
donde:
, es el tensor de curvatura de Ricci
es el escalar de curvatura de Ricci
, es el tensor de energía-impulso
Ejemplos
El campo gravitatorio solar viene dado
de manera aproximada por la métrica
de Schwarzschild, que a distancias
muy grandes se aproxima a geometría
plana del espacio de Minkowski. La
figura de la derecha muestra
aproximadamente el plano de la
eclíptica del sistema solar modelizado
mediante la métrica de Schwarzschild,
una órbita planetaria es una curva
cuasi-elíptica alrededor del centro de
dicha eclíptica. Una representación del paraboloide de Flamm, cuya curvatura geométrica coincide con la
del plano de la eclíptica o ecuatorial de una estrella esféricamente simétrica.
Curvatura del espacio-tiempo 38
Variedad pseudoriemanniana
En geometría diferencial, una
variedad pseudoriemanniana es una
variedad diferenciable equipada con un
tensor métrico (0,2)-diferenciable,
simétrico, que es no degenerado en
cada punto de la variedad. Este tensor
se llama un tensor métrico
pseudoriemanniano y a diferencia de
un tensor métrico riemanniano no tiene
por qué ser definido positivo. De hecho
la variedades pseudoriemannianas
generalizan el concepto de variedad
riemannana
Variedades de Lorentz
Las métricas pseudoriemannianas de signatura (p, 1) (o a veces (1, q), considerando la convención de signo) se
llaman métricas de Lorentz. Un variedad equipada de una métrica de Lorentz naturalmente se llama una variedad
de Lorentz. Después de las variedades de Riemann, las variedades de Lorentz, forman la subclase más importante de
las variedades pseudoriemannianas. Son importantes debido a sus usos físicos para la teoría de la relatividad general.
Una asunción principal de la relatividad general es que el espacio-tiempo se puede modelar como variedad de
Lorentz de la signatura (3, 1).
Así pues, el espacio euclídeo Rn se puede pensar como la variedad modelo de Riemann, el espacio de Minkowski
Rp,1 con la métrica chata de Minkowski es la variedad modelo de Lorentz.
Una diferencia importante entre las variedades de Riemann y las variedades de Lorentz, es que en las primeras toda
curva geodésica es un mínimo local de longitud, mientras que en una variedad lorentziana es un extremo local o una
curva de "longitud cero" (un mínimo en el caso de geodésicas espaciales, un máximo en el caso de geodésicas
temporales y una curva de "longitud" cero a lo largo de una geodésica lumínica).
Geodésicas
Una propiedad importante de las variedades pseudoriemannianas es que en ellas las curvas geodésicas o curvas de
mínima curvatura no tienen por qué ser localmente curvas de mínima longitud, sino simplemente extremales de las
ecuaciones de Euler-Lagrange, es decir, curvas que pueden ser localmente de máxima o de mínima "longitud" (de
hecho, el nombre longitud puede ser incorrecto ya que nos referimos a una magnitud que generaliza la longitud de
una curva y puede ser positiva, negativa o cero).
Variedad pseudoriemanniana 40
Bibliografía
• O'Neill, B. Semi-Riemannian Geometry: With Applications to Relativity. Academic Press, 1983.
ISBN 0-12-526740-1
Tensor métrico
En geometría de Riemann, el tensor métrico es un tensor de rango 2 que se utiliza para definir conceptos métricos
como distancia, ángulo y volumen en un espacio localmente euclídeo.
Definición
Una vez que se elige una base local, el tensor métrico aparece como una matriz, notada convencionalmente G (véase
también métrica). La notación gij se utiliza convencionalmente para los componentes del tensor. Así el tensor
métrico g se expresa fijada una base coordenada como:
O más cómodamente usando el convenio de sumación de Einstein (que usaremos de aquí en adelante para el resto
del artículo como):
En física es muy común escribir la métrica como el cuadrado del elemento de longitud, dado que el tensor es
simétrico la notación física es equivalente a la notación anterior:
El ángulo entre dos vectores U y V (o entre dos curvas cuyos vectores tangentess U y V ) se define como:
El n-volumen de una región R de una variedad de dimensión n viene dado por la integral extendida a dicha región de
la n-forma de volumen:
Para computar el tensor métrico de un conjunto de ecuaciones que relacionan el espacio con espacio cartesiano (gij =
ηij: vea delta de Kronecker para más detalles), compute el jacobiano del conjunto de ecuaciones, y multiplique el
(producto exterior) transpuesto de ese jacobiano por el jacobiano.
Tensor métrico 41
Coordenadas cartesianas
Dado un tensor métrico euclidiano en dos dimensiones, dado en coordenadas cartesianas :
Puesto que y .
La longitud de una curva C parametrizada mediante el parámetro t se reduce a la fórmula familiar del cálculo
(teorema de Pitágoras):
Coordenadas polares
Coordenadas polares:
Tensor métrico 42
Coordenadas cilíndricas
Coordenadas cilíndricas:
Coordenadas esféricas
Coordenadas esféricas:
Puede probarse que mediante ninguna transformación posible de coordenadas el tensor métrico en esas coordendas
será igual al tensor métrico del espacio euclídeo bidimensional, lo cual evidencia que ese tensor representa una
geometría no-euclídea (además su curvatura escalar es precisamente 1/R). Puede probarse que dada una curva sobre
dicha esfera , su longitud viene dada:
Además sucede que fijados dos puntos sobre la esfera la curva de distancia mínima entre dos puntos, es además una
curva con curvatura mínima. La curva de longitud mínima entre dos puntos de una esfera puede obtenerse buscando
la intersección de un plano que contenga a los dos puntos y al centro de la esfera, entonces la interasección entre
dicho plano y la esfera es un círculo máximo, y por tanto con radio máximo R (y, por tanto, de curvatura 1/R
mínima).
Una curva de curvatura mínima o longitud mínima en una variedad riemanniana se denomina geodésica. Y en una
esfera pensada como variedad riemanniana los círculos máximos son curvas geodésicas.
Tensor métrico 43
Obsérvese la submatriz de 3x3 que se refiere a las coordenadas espaciales es similar a una métrica esférica difiriendo
sólo en el término . En coordenadas esféricas y la métrica resulta plana y por tanto representa un
espacio euclídeo, sin embargo, en la métrica de Schwarzschild los términos caracterizan la curvatura del
espacio-tiempo por culpa del campo gravitatorio del sol.
Por otro lado, la métrica de Friedman-Lemaître-Robertson-Walker se considera que podría ser un modelo adecuado
del universo a escalas bastante más grandes que la de una galaxia. En el sistema comóvil pseudo-esférico
esta métrica resulta ser:
Para resulta un universo abierto que se expande sin límite, mientras que para la métrica ante anterior
describe un universo cerrado y finito que tras expandirse hasta un máximo recolapsa sobre sí mismo dando lugar al
big crunch.
Convenio de sumación de Einstein 44
Definición
Dada una expresión lineal en en la que se escriben todos sus términos de forma explícita:
La notación de Einstein obtiene una expresión aún más condensada eliminando el signo de sumatorio y entendiendo
que en la expresión resultante un índice indica suma sobre todos los posibles valores del mismo.
Índices
Un índice utilizado en la notación de Einstein puede aparecer en forma de producto hasta dos veces en mismo
término de una expresión, por lo que las siguientes expresiones son válidas:
en cálculo de tensores es también común utilizar una de las ocurrencias como un subíndice y la otra como un
superíndice. Por ejemplo, en la siguiente expresión en
Un índice que se repite dos veces en el mismo término de una ecuación se conoce como índice mudo, por ejemplo:
Un índice que se repite en cada uno de los términos de una expresión a excepción de los términos constantes se
conoce como índice libre.
Los índices libres no se expanden en forma de sumatorio, sino que representan un sistema de ecuaciones
independientes.
Convenio de sumación de Einstein 45
Representaciones Vectoriales
Se emplea el convenio de Einstein en Álgebra lineal para distinguir fácilmente entre vectores columna y vectores
fila. Se puede, por ejemplo, poner índices sobre-escritos para representar elementos en una columna e índices
subcritos para representar elementos en una fila. Siguiendo esta convención, entonces,
Representación Matricial
Empleando la notación estándar, se puede generar una matriz M × N denominada A mediante multiplicación de
vectores columna u por vectores fila v:
Como i y j representan dos índices diferentes y en este caso con dos rangos diferentes M y N respectivamente, los
índices no son eliminados en la multiplicación. Ambos índices sobreviven a la multiplicación para llegar a crear una
nueva matriz A.
Referencias
• Rawlings, Steve (01-02-2007). Lecture 10 - Einstein Summation Convention and Vector Identities (http://
www-astro.physics.ox.ac.uk/~sr/lectures/vectors/lecture10final.pdf). Oxford University.
• ELEMENTOS DE MATEMATICAS (http://ing.unne.edu.ar/mecap/Apuntes/Estabilidad_4Mod1/estab4c0.
pdf). 09-02-2012.
Combinación lineal 46
Combinación lineal
Un vector se dice que es combinación lineal de un conjunto de vectores
si se puede expresar como suma de los vectores de multiplicados cada uno de ellos por un coeficiente escalar
, es decir:
Así, es combinación lineal de vectores de si podemos expresar como una suma de productos por escalar
de una cantidad finita de elementos de .
Ejemplo:
El vector (20, 12, 37) es una combinación lineal de los vectores (1, 3, 5) y (6, 2, 9):
Otro ejemplo:
sin más que despejar la . De la misma manera, despejando oportunamente, cada una de estas variables se podría
expresar como combinación lineal de las otras dos.
Los escalares dicen cuánto de cada vector del conjunto necesito para que, cuando se combinen linealmente
dichos elementos, pueda formar el vector en cuestión.
Expansión lineal
Dado un conjunto de vectores , finito o infinito, se llama expansión lineal, denotada como al
[cita requerida]
conjunto:
Geodésica
En geometría, la línea geodésica se define
como la línea de mínima longitud que une
dos puntos en una superficie dada, y está
contenida en esta superficie. El plano
osculador de la geodésica es perpendicular
en cualquier punto al plano tangente a la
superficie. Las geodésicas de una superficie
son las líneas "más rectas" posibles (con
menor curvatura) fijado un punto y una
dirección dada sobre dicha superficie.
Donde xi(t) es la expresión paramétrica de los puntos de la curva parametrizada mediante el parámetro t. Todas las
líneas geodésicas son extremales de la integral anterior. Para encontrar la ecuación de las geodésicas, consideraremos
que dichas geodésicas están parametrizadas mediante la longitud de arco s. En ese caso, usando los símbolos de
Christoffel asociadas a la conexión sin torsión, la curva geodésica de mínima longitud que pasan por un punto x0 y
tiene el vector tangente v constante satisface la siguiente ecuación:
(1)
Puede probarse que la ecuación anterior puede obtenerse también por métodos variacionales de mínima acción. De
hecho las geodésicas son una solución particular de las Ecuaciones de Euler-Lagrange para un lagrangiano basado en
la forma cuadrática asociada al tensor métrico que interviene en el cálculo de longitudes.
(2)
Donde es una función cuya derivada no se anula nunca que relaciona el parámetro t con el parámetro s
cumpliéndose .
Ejemplos
• En un espacio euclídeo dotado de la métrica usual, cualquier línea recta es una geodésica.
• En una esfera cualquier círculo máximo, obtenido como intersección de la superficie esférica con un plano que
pase por su centro, es también una geodésica. En particular, el ecuador y los meridianos de una esfera son líneas
geodésicas. Usando coordenadas esféricas para una esfera de radio R, las ecuaciones de las geodésicas son
simplemente:
(3)
En particular un meridiano que atraviese los polos norte y sur responde a las ecuaciones paramétricas:
(4)
Bibliografía
• do Carmo, Manfredo Perdigao (1993). Birkhäuser. ed. Riemannian Geometry. ISBN 0-8176-3490-8.
• Shoshichi Kobayashi (1996). Wiley-Interscience. ed. Foundations of Differential Geometry, Vol. 1. ISBN
0-471-15733-3.
• O'Neill, Barret (1983). Academic Press,London. ed. Semi-Riemannian Geometry. ISBN 0-12-526740-1. Para el caso
semiriemanniano.
Longitud de arco
En matemática, la longitud de arco, también llamada rectificación de una curva, es la medida de la distancia o
camino recorrido a lo largo de una curva o dimensión lineal. Históricamente, ha sido difícil determinar esta longitud
en segmentos irregulares; aunque fueron usados varios métodos para curvas específicas, la llegada del cálculo trajo
consigo la fórmula general para obtener soluciones cerradas para algunos casos.
Métodos modernos
Al considerar una curva definida por una función y su respectiva derivada que son continuas en un
intervalo [a, b], la longitud s del arco delimitado por a y b es dada por la ecuación:
(1)
En el caso de una curva definida paramétricamente mediante dos funciones dependientes de t como e
, la longitud del arco desde el punto hasta el punto se calcula mediante:
(2)
Si la función está definida por coordenadas polares donde la coordenadas radial y el ángulo polar están relacionados
mediante , la longitud del arco comprendido en el intervalo , toma la forma:
(3)
En la mayoría de los casos, no hay una solución cerrada disponible y será necesario usar métodos de integración
numérica. Por ejemplo, aplicar esta fórmula a la circunferencia de una elipse llevará a una integral elíptica de
segunda especie. Entre las curvas con soluciones cerradas están la catenaria, el círculo, la cicloide, la espiral
logarítmica, la parábola, la parábola semicúbica y la línea recta.
Un caso un poco más general que el último, es el caso de coordenadas curvilíneas generales (e incluso el de espacios
no eunclídeos) caracterizadas por un tensor métrico donde la longitud de una curva viene
dada por:
(4)
Pasando a operar algebraicamente la forma en la que se calcula cada hipotenusa para llegar a una nueva expresión;
Ahora bien, mientras más pequeños sean estos segmentos, mejor será la aproximación buscada; serán tan
pequeños como se desee, de modo que tienda a cero. Así, se convierte en , y cada cociente
incremental se transforma en un general, que es por definición . Dados estos cambios,
la aproximación anterior se convierte en una sumatoria más fina y ahora exacta, una integración de infinitos
segmentos infinitesimales;
Longitud de arco 51
Métodos Históricos
Antigüedad
A través de la historia de las matemáticas, grandes pensadores consideraron imposible calcular la longitud de un arco
irregular. Aunque Arquímedes había descubierto una aproximación rectangular para calcular el área bajo una curva
con un método de agotamiento, pocos creyeron que era posible que una curva tuviese una longitud definida, como
las líneas rectas. Las primeras mediciones se hicieron posibles, como ya es común en el cálculo, a través de
aproximaciones: los matemáticos de la época trazaban un polígono dentro de la curva, y calculaban la longitud de los
lados de éste para obtener un valor aproximado de la longitud de la curva. Mientras se usaban más segmentos,
disminuyendo la longitud de cada uno, se obtenía una aproximación cada vez mejor.
Siglo XVII
En esta época, el método de agotamiento llevó a la rectificación por métodos geométricos de muchas curvas
trascendentales: la Espiral logarítmica de Torricelli en 1645 (algunos piensan que fue John Wallis en 1650), el
Cicloide de Christopher Wren en 1658, y la Catenaria de Gottfried Leibniz en 1691.
Enlaces externos
• Math Before Calculus [1]
• The History of Curvature [2]
• Weisstein, Eric W. «Longitud de arco [3]» (en inglés). MathWorld. Wolfram Research.
• Ed Pegg, Jr.. «Longitud de arco [4]» (en inglés). The Wolfram Demonstrations Project. Wolfram Research.
• Calculus Study Guide – Arc Length (Rectification) [5]
• Famous Curves Index [6] The MacTutor History of Mathematics archive
• Chad Pierson, Josh Fritz, Angela Sharp. «Aproximación de la longitud de arco [7]» (en inglés). The Wolfram
Demonstrations Project. Wolfram Research.
• Length of a Curve Experiment [8] Illustrates numerical solution of finding length of a curve.
Referencias
[1] http:/ / math. kennesaw. edu/ ~jdoto/ 13. pdf
[2] http:/ / www3. villanova. edu/ maple/ misc/ history_of_curvature/ k. htm
[3] http:/ / mathworld. wolfram. com/ ArcLength. html
[4] http:/ / demonstrations. wolfram. com/ ArcLength/
[5] http:/ / www. pinkmonkey. com/ studyguides/ subjects/ calc/ chap8/ c0808501. asp
[6] http:/ / www-groups. dcs. st-and. ac. uk/ ~history/ Curves/ Curves. html
[7] http:/ / demonstrations. wolfram. com/ ArcLengthApproximation/
[8] http:/ / numericalmethods. eng. usf. edu/ experiments/ Length_of_curve_experiment. pdf
Campo vectorial 52
Campo vectorial
En matemáticas, un campo vectorial representa la
distribución espacial de una magnitud vectorial. Es una
expresión de cálculo vectorial que asocia un vector a
cada punto en el espacio euclídeo, de la forma
.
Los campos vectoriales se utilizan en física, por
ejemplo, para representar la velocidad y la dirección de
un fluido en el espacio, o la intensidad y la dirección de
fuerzas como la gravitatoria o la fuerza
electromagnética.
Como expresión matemática rigurosa, los campos
vectoriales se definen en variedades diferenciables
como secciones del fibrado tangente de la variedad.
Este es el tipo de tratamiento necesario para modelizar
el espacio-tiempo curvo de la teoría general de la
relatividad por ejemplo. Ejemplo de campo vectorial no conservativo cuyo rotacional no se
anula.
Definición
Un campo vectorial sobre un subconjunto del espacio euclídeo es una función con valores vectoriales:
Se dice que es un campo vectorial Ck si como función es k veces diferenciable con continuidad en X. Un campo
vectorial se puede visualizar como un espacio X con un vector n- dimensional unido a cada punto en X.
define el módulo de los campos vectoriales Ck sobre el anillo de las funciones Ck. Alternativamente el conjunto de
todos los campos vectoriales sobre un determinado subconjunto X es en sí mismo un espacio vectorial.
Campo vectorial 53
Puntos estacionarios
Un punto x en X se llama estacionario si:
El conjunto de todos los espacios vectoriales definidos sobre un subconjunto X, que son estacionarios en un
determinado punto forman un subespacio vectorial del conjunto del espacio vectorial definido en la sección anterior.
Ejemplos
• Un campo vectorial para el movimiento del aire en la tierra asociará a cada punto en la superficie de la tierra un
vector con la velocidad y la dirección del viento en ese punto. Esto se puede dibujar usando flechas para
representar el viento; la longitud (magnitud) de la flecha será una indicación de la velocidad del viento. Un "Alta"
en la función usual de la presión barométrica actuaría así como una fuente (flechas saliendo), y un "Baja" será un
sumidero (flechas que entran), puesto que el aire tiende a moverse desde las áreas de alta presión a las áreas de
presión baja.
• Un campo de velocidad de un líquido móvil. En este caso, un vector de velocidad se asocia a cada punto en el
líquido. En un túnel de viento, las líneas de campo se pueden revelar usando humo.
• Campos magnéticos. Las líneas de campo se pueden revelar usando pequeñas limaduras de hierro.
• Las ecuaciones de Maxwell permiten que utilicemos un conjunto dado de condiciones iniciales para deducir, para
cada punto en el espacio euclídeo, una magnitud y una dirección para la fuerza experimentada por una partícula
de prueba cargada en ese punto; el campo vectorial que resulta es el campo electromagnético.
Campo gradiente
Los campos vectoriales se pueden construir a partir de campos escalares usando el operador diferencial vectorial
gradiente que da lugar a la definición siguiente.
Un campo vectorial Ck F sobre X se llama un campo gradiente o campo conservativo si existe una función Ck+1 a
valores reales f: X → R (un campo escalar) de modo que
La integral curvilínea sobre cualquier curva cerrada (e.g. γ(a) = γ(b)) en un campo gradiente es siempre cero.
Campo vectorial 54
Campo central
Un campo vectorial C∞ sobre Rn \{0} se llama campo central si puede encontrarse un punto tal que:
Donde O(n, R) es el grupo ortogonal.Se dice que los campos centrales son invariantes bajo transformaciones
ortogonales alrededor de un punto S cuyo vector posición es . El punto S se llama el centro del campo.
Un campo central es siempre un campo gradiente, por los campos centrales pueden ser caracterizados más fácilmente
mediante:
Donde es una función potencial que depende sólo de la distancia entre el punto donde se mide
el campo y el "centro del campo".
Campo solenoidal
Otros campos vectoriales se pueden construir a partir de un campo vectorial usando el operador diferencial vectorial
rotacional que da lugar a la definición siguiente.
Un campo vectorial Ck F sobre X se llama un campo solenoidal si existe una función vectorial Ck+1 A: X → Rn (un
campo vectorial) de modo que:
La integral de superificie o flujo cualquier superficie cerrada de un campo solenoidal es siempre cero.
Integral curvilínea
Una técnica común en la física es integrar un campo vectorial a lo largo de una curva. Dado una partícula en un
campo vectorial gravitacional, donde cada vector representa la fuerza que actúa en la partícula en ese punto del
espacio, la integral curvilínea es el trabajo hecho sobre la partícula cuando viaja a lo largo de cierta trayectoria.
La integral curvilínea se construye análogamente a la integral de Riemann y existe si la curva es rectificable (tiene
longitud finita) y el campo vectorial es continuo.
Dado un campo vectorial F(x) y una curva γ(t) de a a b se define la integral curvilínea como
Curvas integrales
Los campos vectoriales tienen una interpretación agradable en términos de ecuaciones diferenciales ordinarias de
primer orden autónomas.
Dado un C0 campo vectorial F definido sobre X
podemos intentar definir curvas γ(t) sobre X de modo que para cada t en un intervalo I
lo que es la definición de una ecuación diferencial ordinaria de primer orden explícita con las curvas γ(t) como
soluciones.
Si F es Lipschitz continua se puede encontrar una curva C¹ única γx para cada punto x en X de modo que
Las curvas γx se llaman las curvas integrales del campo vectorial F y particionan X en clases de equivalencia. No es
siempre posible ampliar el intervalo (-µ, +µ) a la recta real total. El flujo puede por ejemplo alcanzar el borde de X en
un tiempo finito.
Integrar el campo vectorial a lo largo de cualquier curva integral γ da
En dimensión 2 o tres se puede visualizar el campo vectorial como dando lugar a un flujo en X. Si dejamos caer una
partícula en este flujo en el punto x se moverá a lo largo de una curva γx en el flujo dependiendo del punto inicial x.
Si x es un punto estacionario en F entonces la partícula seguirá estacionaria.
Los usos típicos son aerodinámica en líquidos, flujo geodésico, los subgrupos uniparamétricos y la función
exponencial en grupos de Lie.
Teorema de Poincaré
El teorema de Poincaré sobre 1-formas exactas tiene varias consecuencias interesantes para los campos vectoriales:
1. Si un campo vectorial cumple en algún punto P que , entonces el campo es localmente
conservativo, es decir, existe un entorno de P donde se cumple que: , es decir, es localmente
expresable como el gradiente de un campo escalar.
2. Si un campo vectorial es solenoidal en un punto P: , entonces el campo localmente deriva de un
potencial vector, es decir, existe un entorno de P donde se cumple que: .
Campo tensorial 56
Campo tensorial
Un campo tensorial es aquel en que cada punto del espacio lleva asociado un tensor. Es una asignación de una
aplicación multilineal a cada punto de un dominio del espacio. En física, también se llama campo tensorial a
cualquier magnitud física que puede ser representada por una asignación del tipo anterior definida sobre una región
del espacio físico.
Donde Trs es el conjunto de tensores r veces covariantes y s veces contravariantes. Decimos que T es un campo
vectorial Ck si T es k veces continuamente diferenciable en Ω. Obsérvese que:
1. Si (r, s) = (0,0) el campo tensorial es un campo escalar convencional.
2. Si (r, s) = (1,0) o (0,1) el campo tensorial es un campo vectorial convencional.
3. Si r+s = 2 el campo tensorial se puede visualizar como un espacio n-dimensional con una matriz de n×n unida a
cada punto de Ω.
Fibrado tangente
En matemáticas, el fibrado tangente de una variedad es uno de los tipos más
sencillos de fibrado obtenido como la unión disjunta de todos los espacios
tangentes en cada punto de la variedad.
Referencias
1-forma 58
1-forma
Una 1-forma o uno-forma o covector, intuitivamente es un objeto matemático definido sobre un cierto dominio
(o de una variedad diferenciable) que "operado" con un campo vectorial da lugar un campo escalar o
función definida sobre el mismo dominio. Es decir:
Donde denota el conjunto de funciones vectoriales con derivadas parciales continuas hasta orden k
definidas sobre , es decir, es un conjunto formado por campos vectoriales. Una 1-forma o forma uno es un caso
particular de n-forma.
Es una 1-forma, que aplicada a un vector velocidad da la potencia realizada por la fuerza:
La integral a lo largo del tiempo de la potencia, que es un escalar, da el trabajo finito realizado por la fuerza. Cuando
la 1-forma trabajo infinitesimal debido a la naturaleza de las fuerzas es una diferencial exacta, se dice que el conjunto
de fuerzas forma un campo conservativo.
• En termodinámica el llamado impropiamente "calor infinitesimal" es otra 1-forma, normalmente no exacta, que
es expresable en diferentes tipos de coordenadas:
Donde son las capacidades caloríficas bajo volumen y bajo presión constantes respectivamente y
son 1-formas exactas asociadas a las variables de estado, entropía y temperatura respectivamente. Un factor
integrante es una función multiplicativa que convierte a una 1-forma no exacta en exacta. Así un factor integrante
para la magnitud "calor infinitesimal" es el inverso de la temperatura, en ese caso la 1-forma resultante puede
derivarse de la variable de estado llamada entropía
• En electrodinámica clásica el potencial vector puede ser considerado una 1-forma sobre un espacio-tiempo de
cuatro dimensiones del que se puede derivar todas las componentes del campo electromagnético. Esta 1-forma
nunca es exacta a menos que el campo electromagnético sea nulo.
• Un campo vectorial que derive de un potencial admite una representación como 1-forma exacta.
Por ser la anterior una 1-forma exacta, también es también una 1-forma cerrada, lo cual implica que:
1-forma 59
Se puede probar que una condición necesaria y suficiente para que una 1-forma sea exacta, alrededor de algún punto,
de acuerdo con el teorema de Poincaré es que exista algún punto en el que se cumpla que:
Cuando la condición anterior se satisface en algún punto entonces la 1-forma es localmente exacta en ese punto, es
decir, existe una pequeña región alrededor del punto en el que la 1-forma es exacta.
Obviamente esta diferencial de la energía interna sí es una 1-forma exacta puesto que la energía interna es una
variable de estado. Sin embargo, ni el calor, ni el trabajo son 1-formas exactas. Para el calor tenemos:
En la anterior ecuación si la derivada de la temperatura respecto al volumen fuera nula significaría que el cuerpo
tiene una tasa de dilatación adiabática infinita, lo cual es absurdo. Para el trabajo tenemos que por las relaciones de
Maxwell, el trabajo no es una 1-forma exacta a menos que el coeficiente de dilatación adiabática (αS) sea cero, ya
que el trabajo sólo puede ser una diferencial exacta en un sistema termodinámico sí y sólo sí:
Espacio dual 60
Espacio dual
En matemáticas, la existencia de un espacio vectorial 'dual' refleja de una manera abstracta la relación entre los
vectores fila (1×n) y los vectores columna (n×1) de una matriz. La construcción puede darse también para los
espacios infinito-dimensionales y da lugar a modos importantes de ver las medidas, las distribuciones y el espacio de
Hilbert. El uso del espacio dual es así, en una cierta manera, recurso del análisis funcional. Es también inherente a la
transformación de Fourier.
para todos φ, ψ en V*, a en F y x en V. En lenguaje del cálculo tensorial, los elementos de V a veces se llaman
vectores contravariantes, y los elementos de V* vectores covariantes (y a campos de estos uno-formas).
Ejemplos
Si la dimensión de V es finita, entonces V* tiene la misma dimensión que V; si { e1,..., e n} es una base para V,
entonces la base dual asociada { e¹,...,e n} de V* viene dada por:
Específicamente, si se interpreta Rn como espacio de columnas de n números reales, su espacio dual se escribe
típicamente como el espacio de filas de n números. Tal fila actúa en Rn como funcional lineal por la multiplicación
ordinaria de matrices. Si V consiste en el espacio de los vectores geométricos (flechas) en el plano, entonces los
elementos del dual V* se pueden intuitivamente representar como colecciones de líneas paralelas. Tal colección de
líneas se puede aplicar a un vector para dar un número de la manera siguiente: se cuenta cuántas de las líneas cruzan
el vector.
Si V es infinito-dimensional, entonces la construcción antedicha ej no produce una base para V* y la dimensión de
V* es mayor que la de V. Considérese por ejemplo el espacio R (ω), cuyos elementos son las secuencias de números
reales que tienen solo una cantidad finita de entradas diferentes de cero. El dual de este espacio es Rω, el espacio de
todas las secuencias de números reales. Tal secuencia (an) se aplica a un elemento (xn) de R(ω) para dar Σn xnan.
para cada en W*, la asignación genera un homomorfismo inyectivo entre el espacio de operadores
lineales de V a W y el espacio de operadores lineales de W* a V*; este homomorfismo es un isomorfismo ssi W es
finito-dimensional o V es trivial. Si la función lineal f es representada por la matriz A con respecto a dos bases de V
y W, entonces tf es representada por la matriz transpuesta tA con respecto a las bases duales de W* y de V*. Si g: W
→ X es otra función lineal, se tiene t(g o f) = tf o t g. En el lenguaje de la teoría de las categorías, tomar el dual de los
espacios vectoriales y la transpuesta de funciones lineales es por lo tanto un funtor contravariante de la categoría de
los espacios vectoriales sobre F a sí misma.
Espacio dual 61
Inyección en el doble-dual
Hay un homomorfismo natural Ψ de V en el doble dual V**, definido por (Ψ(v))(f) = f(v) para todo v en V, f en V*.
Esta función Ψ es siempre inyectiva; es un isomorfismo si y solamente si V es finito-dimensional.
Ejemplos
• Para cualquier espacio vectorial normado o espacio vectorial topológico finito-dimensional, tal como el espacio
euclidiano n-dimensional, el dual continuo y el dual algebraico coinciden.
• Sea 1 < p < ∞ un número real y considere el espacio de Banach ''l''<sup>''p''</sup> de todas las secuencias a =
(an) para las que
es finito. Defínase el número q por 1/p + 1/q = 1. Entonces el dual continuo lp se identifica naturalmente con lq: dado
un elemento φ de (lp)', el elemento correspondiente de lq es la secuencia (φ(en)) donde en denota la secuencia cuyo
término n-ésimo es 1 y todos los demás son cero. Inversamente, dado un elemento a = (an ) ∈ lq, el funcional lineal
continuo correspondiente φ en lp es definido por φ(b) = Σn an bn para toda b = (bn) ∈ lp (véase la desigualdad de
Hölder).
• De una manera similar, el dual continuo de l¹ se identifica naturalmente con l∞. Además, el dual continuo de los
espacios de Banach c (que consisten en todas las series convergentes, con la norma del supremo) y c0 (las
Espacio dual 62
secuencias que convergen a cero) son ambas identificadas naturalmente con l¹.
• Otro ejemplo interesante es el dual topológico de las funciones suaves de soporte compacto cuyo dual
topológico son precisamente las distribuciones convencionales o funciones generalizadas.
Otras propiedades
Si V es el espacio de Hilbert, entonces su dual continuo es un espacio de Hilbert que es contra-isomorfo a V. Éste es
el contenido del teorema de representación de Riesz, y da lugar a la notación bra-ket usada por los físicos en la
formulación matemática de la mecánica cuántica. En analogía con el caso del doble dual algebraico, hay siempre un
operador lineal continuo inyectivo naturalmente definido Ψ: V → V '' en su doble dual continuo V ''. Esta función es
de hecho una isometría, significando ||Ψ(x)||=||x|| para todo x en V. Espacios para los cuales la función Ψ es una
biyección se llaman reflexivos. El dual continuo se puede utilizar para definir una nueva topología en V, llamada la
topología débil. Si el dual de V es separable, entonces así es el espacio V mismo. El inverso no es verdad; el espacio
l¹ es separable, pero su dual es l∞, que no es separable.
Enlaces externos
• Weisstein, Eric W. «Dual Space [1]» (en inglés). MathWorld. Wolfram Research.
• Dual Space [2] en PlanetMath
Referencias
[1] http:/ / mathworld. wolfram. com/ DualSpace. html
[2] http:/ / planetmath. org/ encyclopedia/ DualSpace. html
Definición formal
La operación de subir o bajar índices puede ser vista como una contracción del producto tensorial del tensor métrico
o el co-tensor métrico con otro tensor arbitrario. Estos tensores permiten definir un isomorfimo, llamado
isomorfismo musical, entre el espacio tangente en un punto de una variedad diferenciable y el espacio
cotangente :
En una variedad riemanniana cualquier magnitud vectorial puede ser unívocamente definida por un vector (elemento
del espacio tangente) o una 1-forma (elemento del espacio cotagente), ya que entre ambos espacios existe un
isomorfismo natural dado por el tensor métrico, tal que fijada una base del espacio cotangente fija una base del
espacio tangente:
Expresión en coordenadas
Teniendo en cuenta lo anterior las componentes contravariantes (del vector tangente) están relacionadas con las
componentes covariantes (de la 1-forma) mediante la siguiente relación:
(donde se ha hecho uso de la convención de la suma de Einstein con respecto al índice j) y aquí las componentes
de un vector (tangente) han sido cambiados por que son las componentes de un covector o 1-forma asociado al
mismo vector . Desde un punto de vista físico la magnitud puede ser igualmente bien descrita por las
componentes o las componentes .
El isomorfismo entre vectores tangentes y covectores cotangentes puede extenderse a tensores de rango superior a 1.
Así puede extenderse el isomorfimos anterior a una colección de isomorfismos de a siempre y
cuando se cumpla que . Así si por ejemplo tentemos un tensor mixto
y que por tanto es 3-covariante y 1-contravariante podemos encontrar un tensor
4-covariante, cuyas componentes sean y la relación entre ellos es
donde nuevamente se está haciendo uso de la convención de Einstein con respecto al índice s.
Aplicaciones
• Seguramente la aplicación más importante de la ley de subir y bajar índices es extender la definición de gradiente
a espacios no-euclídeos como las espacios riemannianos o calcular gradientes usando sistemas de coordenadas no
cartesianos de manera más sencilla. El gradiente de una función escalar se puede generalizar formalmente a
variedades riemannianas de la sigueinte manera:
• Otra aplicación es construir la traza de un 2-tensor simétrico. Si es un tensor simétrico y covariante de segundo
orden, entonces es un tensor mixto de tipo (1,1) para el cual se puede definir la traza. En esas condiciones se
define la traza de respecto a como:
Ley de subir o bajar índices (tensores) 64
Referencia
Bibliografía
• John M. Lee (1997), Riemannian Manifolds: An Introduction to Curvature, Graduate Texts in Mathematics, 176,
Springer-Verlag, ISBN 978-0-387-98271-X
• Robert M. Wald, General Relativity, Chicago University Press, ISBN 0-226-87033-2.
Expresión en componentes
El escalar de curvatura de Ricci R puede expresarse fácilmente en términos del tensor métrico (y sus primeras
derivadas ) que define la geometría de la superficie o variedad riemanniana cuyo escalar de curvatura pretendemos
encontrar, usando el convenio de sumación de Einstein:
Donde los símbolos de Christoffel que aparecen en la expresión anterior se calculan a partir de las primeras
derivadas de los componentes del tensor métrico:
Bibliografía
• Lee, J. M. Riemannian manifolds: an introduction to curvature. GTM 176. ISBN 0-387-98271-X.
• Wald, R. M. General Relativity, University of Chicago Press, 1984. ISBN 0-226-87033-2.
Teoría de Einstein-Cartan 65
Teoría de Einstein-Cartan
En 1922 Élie Cartan conjeturó que la relatividad general debe ser extendida incluyendo la torsión afín, que permite
un tensor de Ricci asimétrico. La extensión de la geometría de Riemann para incluir torsión afín ahora se conoce
como geometría de Riemann-Cartan. Una geometría de Riemann-Cartan se determina unívocamente por:
1. una elección del campo tensorial métrico (que especifica todas las longitudes de los vectores y los ángulos entre
los vectores),
2. un campo de torsión afín, y
3. el requisito de que las longitudes y los ángulos se preserven por traslación paralela (como en la geometría de
Riemann donde la torsión es cero).
Una geometría de Riemann es una geometría de Riemann-Cartan con la torsión cero, así que es determinada
unívocamente por un tensor métrico.
Como la teoría principal de la física clásica, la relatividad general tiene un defecto conocido: no puede describir
adecuadamente el intercambio entre el momento angular intrínseco (espín) y el momento angular orbital. El
problema arraiga en los fundamentos de la relatividad general. La relatividad general se basa en la geometría de
Riemann, en la cual el tensor de curvatura de Ricci Rij debe ser simétrico en i y j (es decir, Rij = Rji. En relatividad
general, Rij modela las fuerzas gravitacionales locales, y su simetría fuerza al tensor de momento (usamos P y
dejamos T para torsión): Pij a ser simétrico, de modo que la relatividad general no puede acomodar la ecuación
general de la conservación del momento angular: divergencia de la corriente de espín ½(Pij - Pji) = 0.
Una interpretación geométrica de la torsión afín viene de la mecánica del continuo en materiales sólidos. La torsión
afín es la aproximación continua a la densidad de dislocaciones que se estudian en metalurgia y cristalografía. Las
clases más simples de dislocaciones en cristales reales son:
• las dislocaciones de borde (formadas agregando un semiplano adicional de átomos a un cristal perfecto, así que se
consigue un defecto en la estructura cristalina regular a lo largo de la línea donde el semiplano adicional termina),
y
• las dislocaciones de "tornillo" (formadas insertando "una rampa de garaje de estacionamiento" que amplía los
bordes del garaje en una estructura, que de otra manera sería perfectamente apilada).
Se puede pensar en una geometría de Riemann-Cartan como unívocamente determinada por las longitudes y los
ángulos de vectores y la densidad de dislocaciones en la estructura afín del espacio.
La relatividad general fijó la torsión afín en cero, porque no parecía necesaria para proporcionar un modelo de la
gravitación (con un conjunto consistente de ecuaciones que condujo a un problema bien-definido del valor inicial).
donde
• es el tensor de curvatura de Ricci (una contracción del tensor pleno de curvatura de Riemann que tiene
cuatro índices: ) (se sigue la convención de Einstein: un índice repetido superior (indica contravariante) y
un inferior (indica covariante) involucran una sumatoria sobre ese índice.)
• es el tensor métrico (no degenerado, simétrico),
• es la curvatura escalar:
Teoría de Einstein-Cartan 66
• es el tensor de energía-momento
• es la Constante gravitatoria universal de Newton y es la velocidad de la luz.
La "segunda identidad de Bianchi contraída" de la geometría de Riemann se convierte, en relatividad general, en
div(P)=0, que hace la conservación de la energía y del momento equivalente a una identidad de la geometría de
Riemann.
Una pregunta básica en formular la teoría de Einstein-Cartan es qué variables en la acción deben variar para
conseguir las ecuaciones del campo. Se puede variar el tensor métrico y el tensor de torsión, . Sin
embargo, esto hace las ecuaciones de la teoría de Einstein-Cartan más sucias que lo necesario y disfraza el contenido
geométrico de la teoría. La intuición clave es dejar que el grupo de simetría de la teoría de Einstein-Cartan sea el
grupo no homogéneo de rotación (que incluye traslaciones en espacio y tiempo). La simetría rotatoria no homogénea
está rota por el hecho de que el punto cero en cada fibra tangente sigue siendo un punto privilegiado, según lo es en
la geometría ordinaria de Riemann basada en el grupo homogéneo de rotación. Variamos la acción con respecto a los
coeficientes de la conexión afín asociados a las simetrías de translación y rotación. Un enfoque similar en relatividad
general es llamado "variación de Palatini", en el cuál se varía la acción con respecto a los coeficientes rotatorios de la
conexión en vez de la métrica; la relatividad general no tiene ningún coeficiente de translación en la conexión.
Las ecuaciones del campo resultantes de la teoría de Einstein-Cartan son:
donde
• es el tensor de espín de toda la materia y radiación
• es el tensor de torsión modificado:
• es el tensor de torsión afín.
La primera ecuación es igual que en relatividad general, excepto que la torsión afín está incluida en todos los
términos de la curvatura, así que no necesita ser simétrico.
La segunda identidad de Bianchi contraída de la geometría de Riemann-Cartan se convierte, en la teoría de
Einstein-Cartan, en
• div(P) = algunos términos muy pequeños que son productos de la curvatura y la torsión,
• div(σ) = - parte antisimétrica de PLa conservación del momento es alterado por los productos de la fuerza del
campo y de la densidad gravitacional de espín. Estos términos son extremadamente pequeños bajo condiciones
normales, y parecen razonables puesto que el campo gravitacional en sí mismo lleva energía. La segunda
ecuación es la conservación del momento angular, en una forma que acomoda el acoplamiento espín-órbita.
Conexión (matemática)
En geometría diferencial, la conexión es un objeto matemático
definido en una variedad diferenciable que permite establecer una
relación o "conectar" la geometría local en torno a un punto con la
geometría local en torno a otro punto. El caso más sencillo de conexión
es una conexión afín que permite especificar una derivada covariante
en una variedad diferenciable.
Introducción
La teoría de conexiones conduce a los invariantes de curvatura (véase
también tensor de curvatura), y la torsión. Esto se aplica a los fibrados
tangentes; hay conexiones más generales, en geometría diferencial: una
conexión puede referirse a una conexión en cualquier fibrado vectorial
El transporte paralelo de un vector a lo largo de
o a una conexión en un fibrado principal.
una curva cerrada sobre la esfera, que al igual que
En un acercamiento particular, una conexión es una 1-forma a valores el concepto de derivada covariante se basa en la
en un álgebra de Lie que es un múltiplo de la diferencia entre la noción de conexión matemática. El ángulo
después de recorrer una vez la curva es
derivada covariante y la derivada parcial ordinaria. Es decir, la
proporcional al área dentro de la curva.
derivada parcial no es una noción intrínseca en una variedad
diferenciable: una conexión corrige el concepto y permite la discusión
en términos geométricos. Las conexiones dan lugar a un transporte paralelo.
Tipos de conexión
Hay un gran número de enfoques posibles relacionados con el concepto de conexión, entre los cuales están los
siguientes:
• Un muy directo estilo módulo a la diferenciación covariante, indicando las condiciones que permiten a los
campos vectoriales a actuar sobre secciones de fibrados vectoriales.
• La notación tradicional de índices especifica la conexión por los componentes, vea derivada covariante (tres
índices, pero esto no es un tensor).
• En geometría de Riemann hay una manera de derivar una conexión del tensor métrico (conexión de Levi-Civita).
• Usando fibrados principales y formas diferenciales a valores en un álgebra de Lie (véase conexión de Cartan).
• el acercamiento más abstracto puede ser el sugerido por Alexander Grothendieck, donde se considera una
conexión como descenso de vecindades infinitesimales de la diagonal.
Las conexiones referidas arriba son conexiones lineales o afines. Hay también un concepto de conexión proyectiva;
la forma más comúnmente de esto es derivado de Schwarz en análisis complejo. Vea también: conexión de
Gauss-Manin
Principio de mínima acción 70
Postulado
Históricamente el principio de mínima acción formulaba que para
sistemas de la mecánica clásica, postulaba que la evolución temporal
de todo sistema físico, se daba de tal manera que una cantidad llamada
"acción" tendía a ser la mínima posible. En la imagen aparecen una carga positiva fija (en
rojo) y un electrón libre (en azul). De todas las
Posteriormente se generalizó el principio a sistemas continuos y cuyas trayectorias posibles, ¿cuál escogerá el electrón?
magnitudes básicas no sólo dependía de una variable temporal, sino El principio de acción mínima determina que la
también de las otras coordenadas espacio-temporales. Además la trayectoria 1 será la elegida.
Historia
La primera formulación del principio se debe a Pierre-Louis Moreau de Maupertuis (1744), que dijo que la
"naturaleza es económica en todas sus acciones" (D'Alembert había formulado un año antes el principio de
d'Alembert que generalizaba las leyes de Newton). Entre los que desarrollaron la idea se incluyen Euler y Leibniz.
Debe ser dicho que, desde el punto de vista del cálculo de variaciones, hablar de principio de acción estacionaria es
más exacto. Anteriormente, Pierre de Fermat había introducido la idea de que los rayos de la luz, en situaciones
ópticas tales como la refracción y la reflexión, seguían un principio de menor tiempo (ver principio de Fermat).
El principio de menor acción condujo al desarrollo de las formulaciones lagrangiana y hamiltoniana de la mecánica
clásica. Aunque sean al principio más difíciles de captar, tienen la ventaja que su cosmovisión es más transferible a
los marcos de la Teoría de la Relatividad y la mecánica cuántica que la de las leyes de Newton. Esto ha hecho pensar
a alguna gente que este principio es un principio "profundo" de la física.
Formulación
Donde:
Principio de mínima acción 71
Es decir, la variación de la integral temporal de la función lagrangiana es igual a cero. De esta ecuación se deducen
asimismo las ecuaciones de Euler-Lagrange:
En teoría clásica de campos es frecuente escribir la ecuación anterior de forma totalmente covariante:
Esta forma es totalmente equivalente al principio de D'Alembert que establece que bajo cualquier desplazamiento
virtual compatible con las ecuaciones de movimiento:
Como es bien sabido para una fuerza conservativa que deriva de un potencial se tiene que , es
decir, la energía potencial es igual al negativo del producto escalar de la fuerza por el desplazamiento del cuerpo.
Reescribiendo la última ecuación introduciendo la definición de la aceleración:
Procedemos a integrar por partes el segundo término del lado izquierdo de la ecuación: 1) aplicando la derivada
temporal a la variación de la distancia , en lugar de hacerlo a la velocidad , y 2) introduciendo un
término límite, que hace referencia a la diferencia del valor de la función entre los puntos y :
Si tomamos un sistema de referencia inercial K' que se mueve respecto al sistema anterior a una velocidad muy
pequeña V, tenemos que la velocidad y el lagrangiano se transforman de acuerdo con las siguientes leyes:
Por tanto tendremos que para velocidades V pequeñas las formas funcionales de los dos lagrangianos están
relacionadas por:
Como las trayectorias sólo pueden ser iguales si las dos funciones anteriores sólo difieren en una derivada total del
tiempo, es necesario que exista una función de las coordenadas y del tiempo, tal que su derivada coincida con ese
sumando. Eso sólo puede ocurrir si el segundo término es una función lineal de la velocidad cosa que sólo sucede si
la derivada del segundo término se anula. Eso último a su vez requiere que:
Si introducimos esa forma del lagrangiano en las ecuaciones de Euler-Lagrange tenemos la primera ley de Newton:
Esta última ecuación dice que una partícula libre mantiene su velocidad constante. Si se estudia la misma partícula
sometida a una fuerza constante puede deducirse que la cosntante coincide con la masa de la partícula, α = m.
Partículas
En mecánica relativista la acción de una partícula se obtiene mediante cálculo a lo largo de la línea de universo de
una partícula, concretamente una partícula material de masa m se mueve a lo largo de una geodésica. La integral de
acción a lo largo de una curva L viene dada en coordenadas curvilíneas por:
Si se introduce en las ecuaciones de Euler-Lagrange el integrando de la anterior integral se obtienen las ecuaciones
de las geodésicas:
,
Principio de mínima acción 74
Campos
Un campo físico es cualquier tipo de magnitud que presenta variación tanto espacial como temporal. El tratamiento
de este tipo de entidades físicas requiere el tratamiento mediante densidades lagrangianas, ya que no son
representables como sistemas con un número finito de grados de libertad. Además su tratamiento riguroso
generalmente requiere el uso de la mecánica relativista para explicar su propagación. Los campos con los que
usualmente trata la teoría clásica de campos:
• Campo electromagnético, que es el campo asociado a la interacción de partículas cargadas, y que en última
instancia explica las propiedades de la materia convencional, como las propiedades de sólidos, líquidos y gases,
fenómenos como el color, la luz, etc.
• Campo gravitatorio, es un tipo de campo relativamente débil, comparado con el campo electromagnético, pero
al ser acumulativo su efecto, es el único relevante a escala cósmica para explicar la evolución del universo.
La integral de acción para el campo electromagnético viene dado por un escalar construido a partir del tensor campo
electromagnético:
De hecho este lagrangiano puede reescribirse en términos de los campos elétrico y magnético para dar (en unidades
cgs):
Introduciendo este lagrangiano en las ecuaciones de Euler-Lagrange, el resultado son las ecuaciones de Maxwell no
homogéneas.
En relatividad general el campo gravitatorio es visto como una manifestación de la geometría curva del espacio
tiempo, por tanto la formulación lagrangiana del campo gravitatorio relativistamente tratado debe involucrar a algún
escalar relacionado con el tensor métrico y sus derivadas primeras (equivalentemente los símbolos de Christoffel
) o con el tensor de curvatura. Puede probarse que no es posible hallar ningún escalar que involucre sólo las
componentes del tensor métrico y los símbolos de Christoffel, ya que mediante cierta transformación de coordenadas
se pueden anular éstos últimos (lo cual es precisamente el contenido del llamado principio de equivalencia).
Es interesante que la curvatura escalar R, nos da una forma de acción adecuada: aunque contiene derivadas segundas
del tensor métrico, la variación de su integral de acción sobre una región puede puede acabar expresándose en
términos de sólo derivadas primeras.[3] De hecho la forma común de la integral de acción para el campo gravitatorio
más comúnmente en la teoría de la relatividad general es:
Donde:
, es la curvatura escalar del espacio-tiempo.
, son la constante de la gravitación y la velocidad de la luz.
son las componentes de la métrica (pseudo)riemanniana efectiva.
, es el determinante del tensor métrico.
Algunas teorías métricas de la gravitación como la teoría relativista de la gravitación usan lagrangiano ligeramente
más complicado que incluye términos asociados a la masa del gravitón. Si se substituye la integral de acción anterior
en las ecuaciones de Euler-Lagrange se obtienen como resultado las ecuaciones de campo de Einstein.
Principio de mínima acción 75
Referencias
[1] R.P. Feynmann (1948): Review of Modern Physics, 20, p. 367.
[2] Landau y Lifshitz, p. 7
[3] Landau & Lifshitz, Teoría clásica de los campos, pp. 372-373
Bibliografía
• Landau & Lifschitz: Mecánica, Ed. Reverté, Barcelona, 1991 (pp. 2-7) ISBN 84-291-4081-6.
Enlaces externos
• Principle of Least Action (scholarpedia) (http://www.scholarpedia.org/article/Principle_of_least_action)
• http://www.eftaylor.com/leastaction.html
Lagrangiano
En física, un lagrangiano es una función escalar a partir de la cual se pueden obtener la evolución temporal, las
leyes de conservación y otras propiedades importantes de un sistema dinámico. De hecho, en física moderna el
lagrangiano se considera el operador más fundamental que describe un sistema físico.
El formalismo lagrangiano permite alcanzar, tanto las leyes de Newton como las ecuaciones de Maxwell, los cuales
pueden ser derivados como las ecuaciones de Euler-Lagrange de un lagrangiano clásico. Igualmente la forma del
lagrangiano determina las propiedades básicas del sistema en teoría cuántica de campos.
Introducción
Históricamente el formalismo lagrangiano surgió dentro de la mecánica clásica para sistemas con un número finito
de grados de libertad. Este lagrangiano permitía escribir las ecuaciones de movimiento de un sistema totalmente
general que tenía restricciones de movimiento o era no-inercial de modo muy sencillo.
Más tarde el concepto se generalizó a sistemas con un número no finito de grados de libertad como los medios
continuos o los campos físicos. Más tarde el concepto pudo generalizarse también a la mecánica cuántica,
particularmente en la teoría cuántica de campos.
Lagrangiano 76
Formalismo matemático
El lagrangiano es una función escalar definida sobre un cierto espacio de posibles estados del sistema. En un sistema
de un número finito de grados de libertad la acción física se define como una integral de línea sobre las trayectorias
del movimiento (1), mientras que en un sistema continuo o sistema con un número no finito de grados de libertad la
acción se define como una integral múltiple sobre un 4-volumen (2):
(1)
(2)
Las ecuaciones del movimiento pueden obtenerse a partir de la forma del lagrangiano, ya que sobre las trayectorias
del movimiento real del sistema son tales que las integrales anteriores toman el valor mínimo posible. Conocida la
forma del lagrangiano en un sistema de coordenadas, las ecuaciones de Euler-Lagrange particularizadas para el
lagrangiano concreto son precisamente las ecuaciones de movimiento.
(3) ,
,
Donde es el pushforward o diferencial del homeomorfismo que define la carta local. El lagrangiano
definido en coordenadas locales y definido directamente sobre el espacio de estados están relacionados mediante:
(6)
Las trayectorias que dan la evolución temporal de un sistema son curvas diferenciables sobre la variedad de
configuración, que pueden calcularse a partir de las ecuaciones de Euler-Lagrange:
(7)
Lagrangiano 77
(8) ,
Dadas ciertas condiciones de contorno sobre el borde de una región , entonces las ecuaciones del
movimiento vienen dadas por las ecuaciones de Euler-Lagrange:
(9) ,
(10) ,
Donde es el tensor métrico del espacio euclídeo expresado en las coordenadas generalizadas
coorrespondientes, que sólo depende de las propias coordenadas de las velocidades .
Lagrangiano 78
(11) ,
Y entonces el sistema resulta ser inercial, y las ecuaciones de Euler-Lagrange se reducen simplemente a las leyes de
Newton:
(12) ,
(13) ,
Usando las ecuaciones de Euler-Lagrange, el mismo cálculo de la sección anterior nos conduce a las ecuaciones de
movimiento sobre un sistema no inercial:
Entre los términos adicionales que ahora han aparecido está la fuerza de Coriolis y la fuerza centrípeta, así el
formalismo lagrangiano predice automáticamente que cualquier de sistema de referencia no cartesiano conlleva la
aparición de fuerzas no inerciales.
Si se introduce en las ecuaciones de Euler-Lagrange el integrando de la anterior integral se obtienen las ecuaciones
de las geodésicas:
,
Lagrangiano 79
Donde:
, son las componentes de la matriz o tensor de constantes elásticas.
, son las componentes del tensor de deformación.
son las componentes del vector de desplazamientos, que se define para cada punto del cuerpo.
son las fuerzas por unidad de masa, como el peso o las fuerzas centrífugas, que actúan sobre cada punto del
cuerpo.
Substituyendo la anterior densidad lagrangiana en las ecuaciones de Euler-Lagrange y aplicando las condiciones de
simetría del tensor de constantes elásticas a continuación se llega a que:
Finalmente las ecuaciones de Euler-Lagrange dan como resultado las ecuaciones de equilibrio de un sólido elástico:
Para problemas dinámicos basta ampliar el lagrangiano anterior con las derivadas del desplazamiento:
De hecho este lagrangiano puede reescribirse en términos de los campos elétrico y magnético para dar (en unidades
cgs):
Introduciendo este lagrangiano en las ecuaciones de Euler-Lagrange, el resultado son las ecuaciones de Maxwell y
aplicando una transformación de Legrendre generalizada se obtiene la expresión de la energía electromagnética:
Algunas teorías métricas de la gravitación como la teoría relativista de la gravitación usan lagrangiano ligeramente
más complicado que incluye términos asociados a la masa del gravitón:
Donde:
, es la curvatura escalar del espacio-tiempo.
, son la constante de la gravitación y la velocidad de la luz.
son las componentes de la métrica (pseudo)riemanniana efectiva y del espacio de Minkowski
subyacente.
, se calculan a partir de los determinantes de la métrica efectiva y minkowskiana, calculados
en las mismas coordenadas.
, es la masa del gravitón.
Lagrangiano 81
Donde:
es un espinor de Dirac que representa el campo fermiónico de partículas.
es el adjunto de Dirac del espinor anterior.
es la derivada parcial respecto a las coordenadas.
Donde:
es el el campo ferminónico que representa las partículas con carga eléctrica.
es el campo adjunto de Dirac.
, son las matrices de Dirac que intervienen en forma covariante de la ecuación de Dirac para los
fermiones.
, es la carga eléctrica de la partícula.
, es el tensor de campo electromagnético.
, es la derivada covariante asociada al campo.
Lagrangiano 82
Lagrangiano de QCD
La cromodinámica cuántica o QCD que describe la interacción entre los quarks y el campo de gluones puede ser
descrita mediante la siguiente acción euclídea, con lagrangiano dado por:[3][4][5][6]
Donde:
, espinor de Dirac que representa los campos fermiónicos que describen los quarks (y su adjunto de
Dirac).
representa las matrices de Dirac.
, es la derivada covariante asociada al campo gauge gluónico.
, es el tensor de campo gluónico, análogo al tensor campo electromagnético.
, son las matrices de Gell-Mann para su(3) que satisfacen la reglas de conmutación
es el espinor del campo "fantasma" de Faddeev–Popov.
Referencias
[1] Un caso típico es lo que sucede con la llamada Fuerza de Abraham-Lorentz de la electrodinámica clásica.
[2] Landau & Lifshitz, Teoría clásica de los campos, pp. 372-373
[3] Gökeler et al. (2009), "Non-perturbative renormalization of three-quark operators", en Nuclear Physics B, 812, pp. 229. (http:/ / adsabs.
harvard. edu/ abs/ 2009NuPhB. 812. . 205Q)
[4] Quantum Chromodynamics (QCD) (http:/ / www. fuw. edu. pl/ ~dobaczew/ maub-42w/ node9. html)
[5] Semiclassical QCD (http:/ / smallsystems. isn-oldenburg. de/ Docs/ THEO3/ publications/ semiclassical. qcd. prep. pdf)
[6] V. Skulka on quark and gluons (http:/ / www-zeus. physik. uni-bonn. de/ ~brock/ teaching/ jets_ws0405/ seminar09/ sluka_quark_gluon_jets.
pdf)
Bibliografía
• Landau & Lifshitz, Teoría clásica de los campos, Ed. Reverté, ISBN 84-291-4082-4.
Ecuaciones de Euler-Lagrange 83
Ecuaciones de Euler-Lagrange
Las ecuaciones de Euler-Lagrange son las condiciones bajo las cuales cierto tipo de problema variacional alcanza
un extremo. Aparecen sobre todo en el contexto de la mecánica clásica en relación con el principio de mínima acción
aunque también aparecen en teoría clásica de campos (electromagnetismo, Teoría general de la relatividad).
Caso discreto
En mecánica clásica, estas ecuaciones establecen que la integral de acción para un sistema físico es un mínimo. Los
sistemas de partículas o sistemas discretos tienen un número finito de grados de libertad, y en esos casos la integral
de acción es del tipo:
donde L es el lagrangiano para el sistema, y son las coordenadas generalizadas del sistema.
Caso continuo
La formalización de ciertos problemas físicos requiere construir una integral de acción sobre un continuum o sistema
que no puede ser tratado mediante un número finito de variables o grados de libertad. Así en teoría de campos y
mecánica de medios continuos la acción física puede expresarse como una integral sobre un volumen:
Donde es el elemento de volumen que usualmente viene dado por una n-forma y representan las
variables del campo y sus derivadas respecto a las coordenadas espaciales (o espacio-temporales). Cuando la acción
toma esa forma las ecuaciones de Euler-Lagrange para el campo que minimiza la anterior integral, usando el
convenio de sumación de Einstein, vienen dadas por:
La función lagrangiana anterior usa coordenadas cartesianas, aunque según el tipo de problema también puede
escribirse un lagrangiano en en términos de cualquier tipo de coordenadas generalizadas:
Ecuaciones de Euler-Lagrange 84
Las ecuaciones de Euler-Lagrange para el caso de las coordenadas cartesianas se reducen a la segunda ley de Newton
para la partícula:
Teoría de campos
La teoría clásica de campos es un buen ejemplo del caso multidimensional anteriormente descrito. Así por ejemplo
las ecuaciones de Maxwell no son otra cosa que las ecuaciones de Euler-Lagrange aplicadas al "lagrangiano" de
Maxwell. La densidad lagrangiana de Maxwell viene dada por:
(*)
Donde el primer término es el lagrangiano de interacción y el segundo el lagrangiano del campo electromagnético
libre y además:
, son los campos eléctrico y magnético.
, son la densidad de carga eléctrica y la densidad de corriente asociada a las cargas que interactúan con el
campo.
, son el potencial eléctrico y el potencial vectorial del campo.
Considerando aquí el campo descrito por los potenciales , los campos
eléctrico y magnético son expresables en términos de sus derivadas:
Todos estos términos substituidos en la ecuación de Euler-Lagrange (*) nos lleva a las ecuaciones de Maxwell. Si a
la densidad lagrangiana anterior le agregamos, la densidad lagrangiana de la materia en interacción con el campo
electromagnético viene dado por:
Cuando esta parte se tiene en cuenta también se recupera la expresión para la fuerza de Lorentz.
método hamiltoniano es esencialmente de forma no relativista, dado que delimita una variable de tiempo particular
como la conjugada canónica de la función hamiltoniana.
Por estas razones sería deseable tomar la cuestión de lo que corresponde en la teoría cuántica al método lagrangiano
de la teoría clásica. Una pequeña consideración muestra, sin embargo, que uno no puede esperar ser capaz de tomar
las ecuaciones clásicas de Lagrange en una forma directa. Estas ecuaciones involucran derivadas parciales del
lagrangiano respecto a las coordenadas y velocidades y no significa poder tener tales derivadas en mecánica
cuántica.
El sólo proceso de diferenciación que puede realizarse respecto a las variables dinámicas de la mecánica cuántica es
el que forma los corchetes de Poisson y este proceso conduce a la teoría hamiltoniana.
Debemos por lo tanto mirar nuestra teoría cuántica lagrangiana de una manera indirecta. Debemos intentar tomar las
ideas de la teoría lagrangiana clásica, no las ecuaciones de la teoría clásica lagrangiana”.[1]
Puesto que dados dos puntos cualquiera de VR las geodésicas son las líneas de mínima longitud entre ellos podemos
plantear el siguiente problema variacional, para el cuadrado de la longitud de una curva:
La minimización de la expresión anterior al ser la raíz una función monótona, es equivalente a la minimización de
una integral de acción donde el lagrangiano sea:
La ecuación anterior de hecho puede, usando la simetría del tensor métrico, escribirse como:
Que en términos de los símbolos de Christoffel (de primera o segunda especie) sencillamente como:
Ecuaciones de Euler-Lagrange 86
Donde se han definido los símbolos de Christoffel como a partir de las derivadas del tensor métrico y el tensor
inverso del tensor métrico:
Referencias
[1] “The lagrangian in quantum mechanics” de P.A.M. Dirac en “Quantum Electrodynamics” editado por Julian Schwinger – Dover Publications
Inc. - ISBN 486-60444-6
[2] “Lagrangian Interaction” de Noel A. Doughty – Addison Wesley Publishing Co. – ISBN 0-201-41625-5
Bibliografía
• Gel'fand, Israel (1963). Calculus of Variations. Dover. ISBN 0-486-41448-5.
Símbolos de Christoffel
En matemáticas y física, los símbolos de Christoffel, así nombrados por Elwin Bruno Christoffel (1829 - 1900), son
expresiones en coordenadas espaciales para la conexión de Levi-Civita derivada del tensor métrico. Se utilizan los
símbolos de Christoffel siempre que se deban realizar cálculos teóricos que implican geometría, pues permiten
efectuar cálculos muy complejos sin confusión. Inversamente, la notación formal (sin índices) para la conexión de
Levi-Civita, es elegante y permite que los teoremas sean establecidos de un modo breve, pero son casi inútiles para
los cálculos prácticos.
Preliminares
Las definiciones dadas abajo son válidas para las variedades de Riemann y las variedades seudoriemannianas, tales
como las de la relatividad general, con la distinción cuidadosa que debe ser hecha entre los índices superiores e
inferiores (índices contra- y covariantes). Las fórmulas valen para cualquier convención de signo, a menos que se
establezca explícitamente en forma diferente.
Definición
Los símbolos de Christoffel se pueden derivar de la anulación de la derivada covariante del tensor métrico gi k:
Obsérvese que aunque los símbolos tienen tres índices en ellos, no son tensores. No se transforman como tensores.
En cambio, son los componentes de un objeto en el segundo fibrado tangente, un fibrado "jet". Vea abajo para las
propiedades de transformación de los símbolos de Christoffel bajo cambio de la base coordenada.
Observe que la mayoría de los autores eligen definir los símbolos de Christoffel en una base coordenada holonómica,
que es la convención seguida aquí. En coordenadas no holonómicas, los símbolos de Christoffel toman la forma más
Símbolos de Christoffel 87
compleja:
donde ek son los vectores de base y [,] es el corchete de Lie. Un ejemplo de una base anholonómica con coeficientes
no triviales de conmutación son las coordenadas esféricas y cilíndricas.
Las expresiones abajo son válidas solamente en una base holonómica, a menos que se establezca en forma diferente.
Algunos libros viejos de física escriben de vez en cuando dx en lugar de X, y lo ponen después de la ecuación, más
bien que antes. Aquí, se utiliza la notación de Einstein, los índices repetidos establecen la adición sobre esos índices
y la contracción con el tensor métrico sirve para levantar y para bajar índices:
.
Tenga presente que y que , la delta de Kronecker. La convención es que el tensor métrico es el
que tiene los índices inferiores; la forma correcta de obtener gi k de gi k es solucionar la ecuación lineal
.
La afirmación de que la conexión es libre de torsión , a saber que
es equivalente a la afirmación de que el símbolo de Christoffel es simétrico en los dos índices inferiores:
.
El artículo sobre derivada covariante proporciona discusión adicional de la correspondencia entre las notaciones con
o sin índices. Contrayendo índices ligados, se consigue
La divergencia covariante es
Curvatura de Riemann
El tensor de curvatura de Riemann viene dado en términos de los símbolos de Christoffel y las derivadas de estos
por:
La identidad de Bianchi es
Curvatura de Ricci
El tensor de Ricci viene dado por una contracción de índices del tensor de curvatura de Riemann, explícitamente
contrayendo índices:
Usando las fórmulas de la sección anterior y aplicando la contracción, se puede ver que el tensor de Ricci viene dado
en términos de los símbolos de Christoffel por:
Símbolos de Christoffel 89
Este tensor es simétrico: . Si se realiza una última contracción sobre los dos índices del tensor de Ricci
se obtiene la curvatura escalar que viene dada por:
.
La derivada covariante de la curvatura escalar se sigue de la identidad de Bianchi:
Tensor de Weyl
El tensor de Weyl viene dado por
Cambio de variable
Bajo cambio de variable de a , los vectores se transforman como
y por tanto
Referencias
• L. D. Landau, E. M. Lifschitz, V. B. Berestetskii y L. P. Pitaevskii (Academia de Ciencias Moscú, URSS),
"Curso de física teórica. Tomo II, Teoría clásica de los campos (5ª edición), Editorial Reverté, 1987, Barcelona.
ISBN 84-291-4082-4
Principio de covariancia 90
Principio de covariancia
El principio de covariancia o principio general de relatividad establece que las leyes de la física deben tomar la
misma forma en todos los marcos de referencia. Esto es una extensión del principio de relatividad especial. El
principio de covariancia es una de las motivaciones principales que llevaron a Einstein a generalizar la teoría de la
relatividad especial.
Introducción
Las ecuaciones de la mecánica newtoniana presuponían que el espacio y el tiempo eran magnitudes absolutas, de
carácter universal. Sin embargo, este esquema era incompatible con la relatividad especial, cuyo axioma principal
afirmaba que cada observador, dependiendo de su velocidad, tenía un tiempo local y un marco espacial diferente.
De ahí que la ecuación gravitatoria de Poisson tuviese que ser reformulada, puesto que la densidad de masa es un
concepto que depende de dos magnitudes fundamentales: La primera de ellas es la masa, que es una magnitud cuya
medición depende del sistema de coordenadas que escojamos y que ha de ser sustituida por la única magnitud
conservada e invariante ante las transformaciones de Lorentz, el tetramomentum. La segunda de estas magnitudes es
el espacio, que experimenta una contracción sensible en aquellos marcos que se muevan a grandes velocidades. Por
este motivo, la densidad de masa no es un parámetro invariante, sino que su medición da resultados diferentes
conforme se modifica la velocidad del observador.
El problema se plantea asimismo en el marco de las ecuaciones de Maxwell, que también contienen gradientes y
derivadas temporales, y por lo tanto no son transformables.
Se hace necesario por tanto, reformular las principales ecuaciones de la mecánica clásica y la teoría electromagnética
para que sean válidas para todos los sistemas de referencia. Para ello dichas leyes han de expresarse tensorialmente:
Sus "ingredientes" han de venir constituidos por elementos que permanezcan invariantes ante las transformaciones
de Lorentz, como las constantes o los escalares, o que sean transformables de acuerdo a ellas (es el caso de los
tensores).
Fuerza de Lorentz
Principio de covariancia 91
Formulación
El principio de covarianza general afirma que las leyes o ecuaciones fundamentales de la física deben tener la misma
forma para cualquier observador sea cual sea el estado de movimiento de éste. La objetividad del mundo material
requiere que las medidas hechas por diversos observadores sean relacionables mediante leyes de transformación
fijas:
1. Matemáticamente el principio de covariancia implica que las leyes de la física deben ser leyes tensoriales en el
que las magnitudes medidas por diferentes observadores sean relacionables de acuerdo a la transformación de
coordenadas de cada observador.
2. Físicamente el principio de covariancia depende de que para diversos sistemas de referencia coordenados no
exista procedimiento físico para distinguir entre ellos. Influido por el principio de equivalencia y otras
observaciones, Einstein y otros llegaron a teorizar que era posible construir una teoría donde todas las ecuaciones
pudieran ser escritas en una forma suficientemente general como para tener la misma forma en cualquier sistema
de coordenadas.
Ejemplo de aplicación
Un ejemplo de los requerimientos del principio de covarianza es el equivalente relativista de la segunda ley de
Newton que se escribe para cualquier sistema de coordenadas xi, en términos del tiempo propio (τ), los símbolos de
Christoffel (Γ) del sistema de coordenadas y las componentes de la cuadrifuerza (F) como:
Así la distinción aparente entre sistemas inerciales y no inerciales de la mecánica newtoniana era ilusoria y
desaparece en relatividad general, ya que estos no son más que sistemas en los que los símbolos de Christoffel que
aparecen en la expresión anterior se anulan, y por tanto, los sistemas inerciales son sólo un caso particular de sistema
de referencia, pero no un tipo privilegiado o de ningún modo destacado de sistema de referencia, un vez las leyes se
formulan en la forma covariante adecuada.
Principio de equivalencia 92
Principio de equivalencia
El principio de equivalencia es el principio físico de la relatividad general y de varias otras teorías métricas de la
gravedad. El principio afirma que: "un sistema inmerso en un campo gravitatorio es puntualmente indistinguible de
un sistema de referencia no inercial acelerado".[1] Así fijado un determinado acontecimiento instantáneo de
naturaleza puntual (un evento o suceso) en el seno de un campo gravitatorio puede ser descrito por un observador
acelerado situado en ese punto, como moviéndose libremente. Es decir, existe cierto observador acelerado que no
tiene forma de distinguir si las partículas se mueven o no dentro de un campo gravitatorio.
Por ejemplo: si caemos tras una piedra desde un acantilado, la veremos descender con velocidad constante,
exactamente igual que si no existiera el campo gravitatorio que nos hace caer. Lo mismo les ocurre a los astronautas
en torno a su nave, donde les parece que todo flota como si no cayera hacia la Tierra siguiendo su órbita.
Este principio fue utilizado por Einstein para intuir que la trayectoria de las partículas en caída libre en el seno de un
campo gravitatorio depende únicamente de la estructura métrica de su entorno inmediato o, lo que es igual, del
comportamiento de los metros y los relojes patrones en torno suyo.
Formalmente suelen presentarse tres tipos de principio de equivalencia para formular las leyes del movimiento de los
cuerpos:
• Débil o Principio de Equivalencia de Galileo.
• Principio de Equivalencia de Einstein.
• Principio de Equivalencia Fuerte.
donde la masa inercial es la resistencia de un cuerpo a ser acelerado. Por otro lado, de la Ley de Gravitación
Universal de Newton se cumple que:
Para un objeto en caída libre, es decir, sin más fuerzas actuando en él, se tiene la igualdad de ambas fórmulas:
por lo que el principio de equivalencia en forma débil especifica la igualdad entre las masas inercial y gravitacional,
volviéndolas indistinguibles.
Esta formulación ha sido probada a gran precisión desde los experimentos de Eötvos y es uno de los principios más
probados de la física.
Principio de equivalencia 93
El hecho anterior junto con el hecho de que el lagrangiano debe ser un escalar físico independiente del sistema de
referencia escogido, que el lagrangiano del campo gravitatorio no puede formarse exclusivamente a partir del tensor
métrico y los símbolos de Christoffel , puesto que entonces debido a que este es nulo para el sistema de
coordenadas considerado anteriormente, la variación sería idénticamente nula para todos los observadores, lo cual no
tiene sentido físico.
Donde son la curvatura escalar y el determinante del tensor métrico, y la integral anterior se extiende sobre
una cierta región del espacio-tiempo.
Referencia
[1] Localmente el principio no es cierto, ya que dado un punto del espacio-tiempo, localmente el tensor de curvatura de Riemann para un campo
gravitatorio no sería nulo, pero sí podría ser nulo en el segundo caso.
Enlaces externos
• Recientes Experimentos sobre el Principio de Equivalencia (http://www.mazepath.com/uncleal/eotvos.htm)
Relatividad general 95
Relatividad general
Algunas partes de este artículo pueden resultar complicadas, en ese caso se recomienda Introducción a la
relatividad general
La teoría general de la relatividad o relatividad
general es una teoría del campo gravitatorio y de los
sistemas de referencia generales, publicada por Albert
Einstein en 1915 y 1916.
El nombre de la teoría se debe a que generaliza la
llamada teoría especial de la relatividad. Los principios
fundamentales introducidos en esta generalización son
el Principio de equivalencia, que describe la
aceleración y la gravedad como aspectos distintos de la
misma realidad, la noción de la curvatura del
espacio-tiempo y el principio de covariancia
generalizado.
Las ecuaciones de campo de Einstein son no lineales y muy difíciles de resolver. Einstein utilizó los métodos de
aproximación en la elaboración de las predicciones iniciales de la teoría. Pero ya en 1916, el astrofísico Karl
Schwarzschild encontró la primera solución exacta no trivial de las ecuaciones de campo de Einstein, la llamada
Métrica de Schwarzschild. Esta solución sentó las bases para la descripción de las etapas finales de un colapso
gravitacional, y los objetos que hoy conocemos como agujeros negros. En el mismo año, los primeros pasos hacia la
generalización de la solución de Schwarzschild a los objetos con carga eléctrica fueron tomadas, que finalmente
resultaron en la solución de Reissner-Nordström, ahora asociada con la carga eléctrica de los agujeros negros. En
1917, Einstein aplicó su teoría al universo en su conjunto, iniciando el campo de la cosmología relativista. En línea
con el pensamiento contemporáneo, asumió un universo estático, añadiendo un nuevo parámetro a su ámbito original
ecuaciones -la constante cosmológica- para reproducir esa "observación". En 1929, sin embargo, el trabajo de
Hubble y otros han demostrado que nuestro universo se está expandiendo. Esto es fácilmente descrito por las
soluciones encontradas por Friedmann para la expansión cosmológica en 1922, que no requieren de una constante
cosmológica. Lemaître utilizó estas soluciones para formular la primera versión de los modelos del Big Bang, en la
Relatividad general 96
que nuestro universo ha evolucionado desde un estado anterior extremadamente caliente y denso. Einstein declaró
más tarde la constante cosmológica el mayor error de su vida.
Durante ese período, la relatividad general se mantuvo como una especie de curiosidad entre las teorías físicas. Fue
claramente superior a la gravedad newtoniana, siendo consistente con la relatividad especial y contestaba varios
efectos no explicados por la teoría newtoniana. El mismo Einstein había demostrado en 1915 cómo su teoría explica
el avance del perihelio anómalo del planeta Mercurio sin ningún parámetro arbitrario. Del mismo modo, en una
expedición de 1919 liderada por Eddington confirmaron la predicción de la relatividad general para la desviación de
la luz estelar por el Sol durante el eclipse total de Sol del 29 de mayo de 1919, haciendo a Einstein instantáneamente
famoso. Sin embargo, la teoría ha entrado en la corriente de la física teórica y la astrofísica sólo con el desarrollo de
aproximadamente entre 1960 y 1975, ahora conocido como la edad de oro de la relatividad general. Los físicos
empezaron a comprender el concepto de un agujero negro, e identificar la manifestación de objetos astrofísicos como
los cuásares. Cada vez más precisas, las pruebas del sistema solar confirmaron el poder predictivo de la teoría, y la
cosmología relativista, también se volvió susceptible a encaminar pruebas observacionales.
Principios generales
Las características esenciales de la teoría de la relatividad general son las siguientes:
• El principio general de covariancia: las leyes de la física deben tomar la misma forma matemática en todos los
sistemas de coordenadas.
• El principio de equivalencia o de invariancia local de Lorentz: las leyes de la relatividad especial (espacio plano
de Minkowski) se aplican localmente para todos los observadores inerciales.
• La curvatura del espacio-tiempo es lo que observamos como un campo gravitatorio, en presencia de materia la
geometría del espacio-tiempo no es plana sino curva, una partícula en movimiento libre inercial en el seno de un
campo gravitorio sigue una trayectoria geodésica.
Principio de covariancia
El principio de covariancia es la generalización de la teoría de la relatividad especial, donde se busca que las leyes
físicas tengan la misma forma en todos los sistemas de referencia. Esto último equivale a que todos los sistemas de
referencia sean indistinguibles, y desde el punto de vista físico equivalentes. En otras palabras, que cualquiera que
sea el movimiento de los observadores, las ecuaciones tendrán la misma forma matemática y contendrán los mismos
términos. Ésta fue la principal motivación de Einstein para que estudiara y postulara la relatividad general.
El principio de covariancia sugería que las leyes debían escribirse en términos de tensores, cuyas leyes de
transformación covariantes y contravariantes podían proporcionar la "invariancia" de forma buscada, satisfaciéndose
el principio físico de covariancia.
El principio de equivalencia
Un hito fundamental en el desarrollo de la teoría de la
relatividad general lo constituyó el principio enunciado
por Albert Einstein en el año 1912: principio de
equivalencia, al que su autor calificó como «la idea
más feliz de mi vida». Dicho principio supone que un
sistema que se encuentra en caída libre y otro que se
mueve en una región del espacio-tiempo sin gravedad
se encuentran en un estado físico sustancialmente
similar: en ambos casos se trata de sistemas inerciales.
donde a es la aceleración, F la fuerza y m la masa. La fuerza podía ser de origen mecánico, electromagnético o,
cómo no, gravitatorio. Según los cálculos de Galieo y de Newton, la aceleración gravitatoria de los cuerpos era
constante y equivalía a 9,8 m/s2 sobre la superficie terrestre. La fuerza con la que un cuerpo era atraído hacia el
centro de la Tierra se denominaba peso. Evidentemente, según los principios de la mecánica clásica un cuerpo en
caída libre no es un sistema inercial, puesto que se mueve aceleradamente dentro del campo gravitatorio en que se
Relatividad general 98
encuentra.
Sin embargo, la teoría de la relatividad considera que los efectos gravitatorios no son creados por fuerza alguna,
sino que encuentran su causa en la curvatura del espacio-tiempo generada por la presencia de materia. Por ello, un
cuerpo en caída libre es un sistema (localmente) inercial, ya que no está sometido a ninguna fuerza (porque la
gravedad no es como tal en relatividad general). Un observador situado en un sistema inercial (como una nave en
órbita) no experimenta ninguna aceleración y es incapaz de discernir si está atravesando o no, un campo gravitatorio.
Como consecuencia de ello, las leyes de la física se comportan como si no existiera curvatura gravitatoria alguna. De
ahí que el principio de equivalencia también reciba el nombre de Invariancia Local de Lorentz: En los sistemas
inerciales rigen los principios y axiomas de la relatividad especial.
El principio de equivalencia implica asimismo que los observadores situados en reposo sobre la superficie de la tierra
no son sistemas inerciales (experimentan una aceleración de origen gravitatorio de unos 9,8 metros por segundo al
cuadrado, es decir, "sienten su peso").
Aunque la mecánica clásica tiene en cuenta la aceleración medida por un observador en reposo respecto al campo
gravitatorio (p.e. un astrónomo); el Principio de Equivalencia, contrariamente, toma en consideración la aceleración
experimentada por un observador situado en el sistema en cuestión: cualquier cuerpo que se mueva sin restricciones
por un campo gravitatorio puede ser considerado como un sistema inercial. Es el caso de los planetas que orbitan en
torno del Sol y de los satélites que orbitan alrededor de los primeros: los habitantes de la Tierra no llegan a percibir
si nos estamos acercando o alejando del Sol, ni si nos encontramos en el afelio o en el perihelio, a pesar de las
enormes diferencias de la gravedad solar.
La gravedad se convierte, en virtud del Principio de Equivalencia, en una fuerza aparente, como la fuerza
centrífuga y la fuerza de Coriolis: en estos dos últimos supuestos su aparición es debida a la elección de un marco de
referencia acelerado (un observador situado en la superficie de una esfera en rotación). En el caso de la gravedad,
únicamente percibimos la fuerza aparente gravitatoria cuando escogemos un sistema de referencia no inercial (en
reposo sobre la superficie terrestre), pero no cuando nos situamos en otro que sí lo es (un cuerpo en caída libre).
Aunque el principio de equivalencia fue históricamente importante en el desarrollo de la teoría, no es un
ingrediente necesario de una teoría de la gravedad, como prueba el hecho de que otras teorías métricas de la
gravedad, como la teoría relativista de la gravitación prescindan del principio de equivalencia. Además conviene
señalar que el principio de equivalencia no se cumple en presencia de campos electromagnéticos, por ejemplo una
partícula cargada moviéndose a lo largo de una geodésica de un espacio-tiempo cualquiera en general emitirá
radiación, a diferencia de una partícula cargada moviéndose a lo largo de una geodésica del espacio de Minkowski.
Ese y otros hechos sugieren que el principio de equivalencia a pesar de su equivalencia histórica no es parte esencial
de una teoría relativista de la gravitación.
Relatividad general 99
Es decir, la frecuencia es igual al número de ciclos que tienen lugar en un determinado período (generalmente, un
segundo). Donde es el tiempo medido por un observador situado a una distancia infinita del cuerpo masivo (y
por lo tanto no experimenta la atracción gravitatoria de éste), mientras que es el tiempo medido por un
observador bajo la influencia del campo gravitatorio y en reposo respecto a este (como, por ejemplo, una persona
situada sobre la superficie terrestre). De ahí se deduce que cerca de un cuerpo masivo el tiempo se ralentiza,
Relatividad general 100
En una singularidad espacio-temporal (como las que existen en el interior de los agujeros negros), la densidad de
masa-materia y el campo gravitatorio tienden al infinito, lo que provoca la congelación del tiempo y por lo tanto la
eliminación de todo tipo de procesos dinámicos:
La derivada covariante
Uno de los conceptos esenciales sobre el que gira toda la teoría de
la relatividad general es el de derivada covariante (a veces
impropiamente llamada conexión afín), que fue definida por
primera vez por el matemático italiano Tullio Levi-Civita y que
puede ser considerada tanto desde una perspectiva física como
desde otra matemática. Desde un punto de vista físico, la derivada
ordinaria de la velocidad es la aceleración de un cuerpo medida
por un observador externo en reposo respecto a un campo
gravitatorio (por ejemplo, un astrónomo situado sobre la superficie
terrestre). En este caso el observador se mantiene a una distancia r
constante del centro de masas, pero no así el objeto observado, que
progresivamente se va aproximando al origen del campo
gravitatorio.
Los cuerpos en caída libre (como las naves en órbita)
son sistemas inerciales en los que la derivada
Por el contrario, la derivada covariante de la velocidad ó covariante de su velocidad es nula ( ).
Por ello, no experimentan ningún tipo de aceleración
[4] inercial provocada por la "fuerza gravitatoria". Sin
es la aceleración medida por un observador comóvil, es
embargo, un observador externo, como un astrónomo
decir, que está en reposo respecto al cuerpo en caída libre (por
situado en la Tierra, puede observar cómo dicho cuerpo
ejemplo, el piloto de un avión en caída libre o los tripulantes de en caída libre se aproxima a la Tierra con una
una nave espacial con sus motores apagados). aceleración creciente (de ahí que la derivada ordinaria
En resumidas cuentas, la derivada ordinaria se utiliza para de la velocidad en este caso sea diferente a cero -
Desde un punto de vista estrictamente matemático, el cálculo de la derivada covariante tiene lugar a través de un
sencillo procedimiento. Se procede en primer lugar al cómputo de la derivada parcial covariante y luego se
generaliza ésta.
La derivada ordinaria se aplica exclusivamente sobre los componentes de un vector, mientras que la derivada
covariante se aplica también sobre las bases del espacio vectorial:
Puesto que para un observador inercial (p.e. un cuerpo en caída libre) , esta última ecuación toma la
siguiente forma:
Estas fórmulas reciben el nombre de ecuación de las líneas geodésicas, y se utilizan para calcular la aceleración
gravitatoria de cualquier cuerpo.
Relatividad general 104
De este modo, la ecuación galileana de los sistemas inerciales se transforma en virtud de dicho principio en la
ecuación relativista de las líneas geodésicas:
Sin embargo, en virtud del principio de simetría de los símbolos de Christoffel, las leyes electromagnéticas en
general no experimentan modificaciones debidas a la curvatura gravitatoria:
Relatividad general 105
Ley de conservación Sí
de la energía
Tensor electromagnético No
Ecuaciones de Maxwell No
Velocidad de la luz No
Aceleración Sí
Volumen Sí
donde a es la aceleración de marea, el potencial gravitatorio y la distancia entre las dos partículas. Las fuerzas
de marea vienen determinadas por las derivadas de segundo orden del potencial gravitatorio.
Desde el punto de vista relativista, las fuerzas de marea vienen determinadas por el tensor de Riemann y si la región
del espacio tiene una escasa densidad de cuadrimomento y una distribución uniforme de la curvatura, los
componentes aquél toman aproximadamente los valores siguientes:
Como se puede deducir de los párrafos anteriores, en relatividad general las fuerzas de marea están determinadas por
el tensor de Riemann y las primeras derivadas de los símbolos de Christoffel. Si estas magnitudes tienen un valor no
nulo, el diferencial de los símbolos de Christoffel provoca la dispersión de las geodésicas correspondientes a
partículas de un fluido determinado.
Las geodésicas (trayectorias inerciales en el espacio-tiempo) vienen determinadas por los valores de los símbolos de
Christoffel. Si éstos son constantes, las partículas de un fluido se mueven uniformemente, a una misma velocidad y
aceleración, y no se altera su distancia entre sí. Pero si los componentes de los símbolos de Christoffel varían a lo
largo de una determinada región, ello conlleva la divergencia de las líneas de universo y la distorsión del fluido, en la
medida en que cada una de sus partes constituyentes acelera distintamente.
Las fuerzas de marea y el tensor de Riemann tienen una
importancia fundamental en la formación y
configuración de los sistemas planetarios, así como en
multitud de procesos astrofísicos y cosmológicos. Sirva
de ejemplo nuestro propio Sistema Solar: Hace cerca de
4.500 millones de años, una nube molecular alcanzó la
densidad y la compresión suficientes como para
transformarse en un sistema planetario. La mayor parte
del material de la nube se precipitó sobre en torno al
En esta recreación artística se reproducen el planeta y los dos
núcleo, dando lugar al Sol. Sin embargo, ciertas
cinturones de asteroides que orbitan alrededor de la estrella Épsilon
Eridani. cantidades de gas y de polvo continuaron rotando bajo
la forma de un disco de acreción, y se aglutinaron para
dar origen a planetesimales y posteriormente a planetas.
Sin embargo, en la zona situada entre Marte y Júpiter,
los tensores de Riemann correspondientes a las masas
del Sol y de Júpiter generaron unas intensas fuerzas de
marea que dispersaron las líneas de universo de los
planetesimales allí situados, impidiendo que se
agregaran entre sí para dar lugar a un cuerpo masivo.
Los planetesimales permanecieran dispersos bajo la
forma de un cinturón de asteroides. Este fenómeno que
acaba de describirse no es exclusivo de nuestro Sistema
Solar, sino que ha sido observado en multitud de
sistemas exoplanetarios descubiertos desde principios
de los años noventa hasta la actualidad, como los
mostrados en las ilustraciones de esta sección. El sistema planetario de la estrella HD 69830 viene compuesto por
un masivo cinturón de asteroides y por tres exoplanetas de masa
Las fuerzas de marea también poseen cierta neptuniana cuyos efectos gravitatorios dispersan las líneas de
universo de los asteroides, impidiendo que se agreguen para formar
importancia en el desarrollo de otros fenómenos
nuevos planetas.
astronómicos como las supernovas de tipo II,
deflagraciones cósmicas que suelen tener lugar en el
marco de sistemas estelares dobles. En efecto, en los sitemas binarios es frecuente que una estrella masiva orbite
alrededor de una enana blanca. Si el tamaño de la primera sobrepasa el límite de Roche, el tensor de Riemann
Relatividad general 108
generado por la masa de la enana blanca extrae material de las capas exteriores de su compañera y lo precipita sobre
la enana blanca, en torno a la cual dicho material orbita formando un disco de acreción. El plasma queda sometido a
enormes temperaturas que provocan la emisión de rayos X y la aparición de explosiones periódicas conocidas con el
nombre de supernovas de tipo II.
La relación entre el tensor métrico y el tensor de Ricci se expresa a través de la llamada ecuación de flujo de Ricci,
que tiene la forma siguiente:
Según esta ecuación, la existencia de valores positivos del tensor de Ricci implica la disminución a lo largo del
tiempo de los coeficientes del tensor métrico, y como consecuencia de ello la disminución de los volúmenes en esa
región de la variedad. Por el contrario, la presencia de valores negativos en el tensor de Ricci lleva consigo una
expansión progresiva de las distancias, las superficies y los volúmenes.
Por todo lo dicho, los tensores de energía-momentum y de Ricci permitían expresar de manera tensorial y covariante
la fórmula de Poisson, y de ahí que originalmente Einstein propusiera las siguientes ecuaciones de universo:
En relatividad general, el tensor de Ricci tiene la particularidad de representar aquellos efectos gravitatorios
originados por la presencia inmediata de cuadrimomento, que son con gran diferencia los más importantes a gran
Relatividad general 109
escala.
El tensor de Ricci rige, pues, la mayor parte de los procesos astrofísicos que tienen lugar a amplias escalas:
constituye una medida de la contracción de nubes moleculares que dan lugar al nacimiento de estrellas y planetas;
cuantifica el colapso de las grandes cuerpos estelares y su conversión en enanas blancas, estrellas de neutrones y
agujeros negros; y proporciona una medida de la expansión del universo.
Del tensor de Ricci, particularmente de la forma que toma en los campos gravitatorios esféricos (como las estrellas
estáticas),[7] se deriva la llamada Ley de equilibrio hidrostático, que regula el equilibrio entre la presión del fluido
estelar[8] (que tiende a expandir el volumen de la estrella) y la curvatura gravitatoria (que lo contrae). Este equilibrio
se mantiene prácticamente durante toda la vida de la estrella y sólo se rompe en dos ocasiones diferentes: 1) Cuando
la estrella deviene en una gigante roja, en cuyo caso los efectos de la presión de radiación[9] desbordan los del tensor
de Ricci, y como resultado, el volumen de la estrella se expande hasta alcanzar una nueva situación de equilibrio. 2)
Cuando la estrella agota su combustible. Se produce entonces un descenso en la presión del fluido, y la estrella, bien
se transforma en una enana blanca, en una estrella de neutrones, o bien colapsa definitivamente convirtiéndose en un
agujero negro.
Teniendo en cuenta que el escalar de curvatura es proporcional a la traza del tensor de Einstein , las
ecuaciones de universo de Einstein pueden reformularse de la manera siguiente:
Relatividad general 110
Donde es la presión del fluido, que en general es muy pequeña comparada con , por lo que tenemos es una
ligera corrección de la anteriormente citada fórmula newtoniana. Como vemos, la atracción gravitatoria viene
determinada no sólo por la masa-energía sino también por la presión, aunque la contribución de ésta es inferior a
la de la primera. Por eso, en las regiones del espacio-tiempo sometidas a bajas presiones y temperaturas, como las
nebulosas o nuestro Sistema Solar, la masa es prácticamente la única fuente de atracción gravitatoria y por ello las
ecuaciones de la gravitación universal newtonianas constituyen una muy buena aproximación de la realidad física.
En cambio, en fluidos sometidos a altas presiones, como las estrellas que se colapsan, la materia que se precipita en
los agujeros negros o los chorros que son expelidos de los centros de las galaxias; en todos ellos la presión puede
tener cierta importancia a la hora de computar la atracción gravitatoria y la curvatura del espacio-tiempo.
El tensor de Weyl
Es importante notar que, puesto en un espacio-tiempo de cuatro dimensiones, el tensor pleno de curvatura contiene
más información que la curvatura de Ricci. Eso significa que las ecuaciones del de campo anteriores, con Λ = 0, no
especifican completamente el tensor de curvatura sino una parte del mismo, el tensor de Ricci. La parte de la
curvatura no especificada por las ecuaciones de Einstein, coincide precisamente con el tensor de Weyl. Eso significa
que las ecuaciones de Einstein no especifican por completo el tensor de curvatura, ni la forma global del universo.
Relatividad general 111
La constante cosmológica
Desde el principio Einstein apreció que matemáticamente el miembro derecho de su ecuación de campo podía incluir
un término proporcional al tensor métrico sin que se violara el principio de conservación de la energía. Aunque
inicialmente no incluyó dicho término, ya que no parecía tener una interpretación física razonable; más tarde lo
incluyó. Esto se debió a que en sus primeros intentos de encontrar soluciones exactas a las ecuaciones de campo
consideró que lo que hoy conocemos como modelo estacionario de Einstein. Einstein apreció que esa solución,
explicaba adecuadamente los datos disponibles en su tiempo, y correspondía a un universo estático similar a los
datos observados. Sin embargo, dicha solución era inestable matemáticamente lo cual no parecía corresponderse con
la estabilidad física observable, y se dio cuenta de que con el término proporcional a la métrica la solución podía ser
similar pero esta vez estable.
Por esa razón Einstein introdujo en sus ecuaciones un término proporcional al tensor métrico. Siendo la constante de
proporcionalidad precisamente la constante cosmológica. El trabajo de varios científicos (FLRW): Alexander
Friedman, Georges Lemaître, Howard Percy Robertson y Arthur Geoffrey Walker, probó que existían soluciones
estables no estacionarios sin el término proporcional a la constante cosmológica. Y aunque Einstein inicialmente
había rechazado el trabajo de Friedman por describir un universo en expansión que no parecía ser descriptivamente
adecuado a un universo que él creía estacionario, los datos del corrimiento al rojo del astrónomo Edwin Hubble sólo
parecían explicables mediante un modelo de universo en expansión. Esto convenció a Einstein de que la solución
FLRW era de hecho correcta y descriptivamente adecuada y por tanto la constante cosmológica innecesaria.
Recientemente la evidencia de la aceleración de la expansión del Universo han llevado a reintroducir la constante
cosmológica diferente de cero como una de las posibles explicaciones del fenómeno.
Resumen
Derivada covariante Aceleración inercial medida por un observador comóvil, situado en la propia línea de universo del cuerpo
observado
Tensor métrico Distancia (o, en su caso, intervalo) entre dos puntos (eventos) del espacio(-tiempo)
Ecuaciones de universo de Einstein Contracción de un fluido como consecuencia de la presencia inmediata de cuadrimomento
Desviación geodésica Fuerzas de marea entre dos partículas que caen en un mismo campo gravitatorio
No linealidad
Cuando Einstein formuló en 1915 las ecuaciones de universo de la Relatividad general, el científico alemán pensó,
en un principio, que dichas ecuaciones eran irresolubles debido a su carácter no lineal, que se manifestaba tanto
desde un punto de vista físico como desde otro matemático:
• En el plano estrictamente físico, la no linealidad de las ecuaciones de campo de Einstein se deriva del mutuo
condicionamiento entre el tetramomentum y la curvatura del espacio tiempo. Así, la densidad de masa, contenida
en el coeficiente , provoca una contracción (parametrizada a través de ) del volumen tridimensional
que de nuevo vuelve a alterar el densidad de masa, y así sucesivamente. Este movimiento cíclico recuerda a la
autoinductancia el electromagnetismo y no suele tener importancia en campos gravitatorios de baja intensidad,
pero sí ha de tenerse en cuenta en el cálculo de las perturbaciones gravitatorias originadas por una alta
concentración local de tetramomentum, como sucede en el caso de los agujeros negros o los fluidos relativistas.
De una manera más intuitiva la no linealidad de las ecuaciones de Einstein puede pensarse desde el punto de vista
físico de la siguiente manera: Dada una distribución de materia, esta producirá una curvatura del espacio o
"campo gravitatorio" el cual contiene energía. Dado que E=mc2 dicha energía a su vez generará otra curvatura o
"campo gravitatorio" el cual a su vez contendrá cierta energía y así sucesivamente. Esta retroalimentación entre la
fuente (materia) y el efecto (curvatura) está representada en el carácter no lineal de las ecuaciones de Einstein.
tanto funciones lineales como derivadas de primer y de segundo orden del tensor métrico , lo que hace
imposible despejar los coeficientes de este último a partir de los valores del tensor de energía momentum .
No es posible, pues, construir una función de tipo .
Las comprobaciones experimentaqles mostraron que la métrica de Schwarzschild describe con enorme precisión lo
que sucede en sistemas esféricos estáticos, similares al sistema solar.
Relatividad general 114
Donde:
son la presión y la densidad a una distancia r del centro del astro.
Como vemos, el potencial gravitatorio medido por el observador en el tiempo t, es proporcional a la densidad de
masa que tiene el cuerpo estelar observado en el tiempo t - r/c, donde c es la velocidad de la luz, r es la distancia
entre el observador y el objeto y r/c es el retardo, es decir, el tiempo que la luz tarda en desplazarse desde la estrella
en cuestión hasta el observador.
Ahora bien, la relatividad general es una teoría métrica de la gravedad, y explica los fenómenos gravitatorios en
términos de perturbaciones de la métrica. Es conveniente, por tanto, introducir en nuestra ecuación el pseudotensor
, que representa la desviación de los coeficientes del tensor métrico respecto a la métrica de Minkowski .
Aplicando el límite newtoniano, en cuya virtud es igual a , obtenemos el resultado siguiente:
Fórmula de Poisson
A grandes rasgos, la sustitución del laplaciano por el d'alembertiano viene exigida por la obligada
eliminación del principio de acción a distancia; el empleo del pseudotensor en lugar del potencial como
elemento definitorio del campo gravitatorio es una consecuencia de la del carácter métrico de la teoría de la
relatividad general; y finalmente, la eliminación, en el lado derecho de la ecuación, del parámetro y su sustitución
por la expresión tensorial viene exigida por el principio de la covariancia general.
Relatividad general 117
En los siglos XVIII y XIX, astrónomos como Laplace y Le Verrier habían aplicado los postulados de la mecánica
newtoniana al estudio de la evolución del Sistema Solar, obteniendo unos resultados muy fructuosos: La precisión de
los cálculos astronómicos obtenidos había permitido incluso prever la existencia de un planeta hasta entonces nunca
observado por los astrónomos, Neptuno. Por este motivo no es de extrañar que cuando la relatividad general obtuvo
pleno reconocimiento, se desarrollase por parte de los astrofísicos una aproximación que siguiera en su estructura el
modelo newtoniano y que fuese fácilmente aplicable tanto por los astrónomos como por los ordenadores.
De acuerdo con la teoría clásica de la gravitación, la aceleración de un cuerpo en caída libre es el gradiente negativo
del potencial gravitatorio:
Como ya se ha avanzado en secciones anteriores, esta fórmula presupone la asunción del principio newtoniano de
acción a distancia, contrario a los postulados de la Relatividad Especial, y además no tiene en cuenta los efectos
gravitatorios generados por la energía y por el momentum. La aproximación posnewtoniana soslaya estos
inconvenientes introduciendo otros dos nuevos potenciales: el potencial , que constituye una aproximación en
segundo grado del potencial y el potencial , derivado de la presencia de momentum en el fluido.
Efectos gravitacionales
• Desviación gravitacional de luz hacia el rojo
en presencia de campos con intensa
gravedad: La frecuencia de la luz decrece al
pasar por una región de elevada gravedad.
Confirmado por el experimento de Pound y
Rebka (1959).
• Dilatación gravitacional del tiempo: Los
relojes situados en condiciones de gravedad
La más famosa de las primeras verificaciones positivas de la teoría de la
elevada marcan el tiempo más lentamente relatividad, ocurrió durante un eclipse solar de 1919, que se muestra en la
que relojes situados en un entorno sin imagen tomada por Sir Arthur Eddington de ese eclipse, que fue usada para
gravedad. Demostrado experimentalmente confirmar que el campo gravitatorio del sol curvaba los rayos de luz de
estrellas situadas tras él.
con relojes atómicos situados sobre la
superficie terrestre y los relojes en órbita del
Sistema de Posicionamiento Global (GPS por sus siglas en inglés). También, aunque se trata de intervalos de
tiempo muy pequeños, las diferentes pruebas realizadas con sondas planetarias han dado valores muy cercanos a
los predichos por la relatividad general.
• Efecto Shapiro (dilatación gravitacional de desfases temporales): Diferentes señales atravesando un campo
gravitacional intenso necesitan mayor tiempo para atravesar dicho campo.
• Decaimiento orbital debido a la emisión de radiación gravitacional. Observado en púlsares binarios.
Relatividad general 119
Efectos rotatorios
Esto implica el comportamiento del espacio-tiempo alrededor de un objeto masivo rotante.
• Fricción del marco de referencia. Un objeto en plena rotación va a arrastrar consigo al espacio-tiempo, causando
que la orientación de un giroscopio cambie con el tiempo. Para una nave espacial en órbita polar, la dirección de
este efecto es perpendicular a la precisión geodésica.
• El principio de equivalencia fuerte: incluso objetos que gravitan en torno a ellos mismos van a responder a un
campo gravitatorio externo en la misma manera que una partícula de prueba lo haría.
Otros efectos
• Gravitones: De acuerdo con la teoría cuántica de campos, la radiación gravitacional debe ser compuesta por
cuantos llamados gravitones. La relatividad general predice que estos serán partículas de espín 2. Todavía no han
sido observados.
Comprobaciones
La teoría de la relatividad general ha sido confirmada en numerosas formas desde su aparición. Por ejemplo, la teoría
predice que la línea del universo de un rayo de luz se curva en las proximidades de un objeto masivo como el Sol. La
primera comprobación empírica de la teoría de la relatividad fue a este respecto. Durante los eclipses de 1919 y 1922
se organizaron expediciones científicas para realizar esas observaciones. Después se compararon las posiciones
aparentes de las estrellas con sus posiciones aparentes algunos meses más tarde, cuando aparecían de noche, lejos del
Sol. Einstein predijo un desplazamiento aparente de la posición de 1,745 segundos de arco para una estrella situada
justo en el borde del Sol, y desplazamientos cada vez menores de las estrellas más distantes. Se demostró que sus
cálculos sobre la curvatura de la luz en presencia de un campo gravitatorio eran exactos. En los últimos años se han
llevado a cabo mediciones semejantes de la desviación de ondas de radio procedentes de quásares distantes,
utilizando interferómetros de radio. Las medidas arrojaron unos resultados que coincidían con una precisión del 1%
con los valores predichos por la relatividad general.
Otra confirmación de la relatividad general está relacionada con el perihelio del planeta Mercurio. Hacía años que se
sabía que el perihelio (el punto en que Mercurio se encuentra más próximo al Sol) gira en torno al Sol una vez cada
tres millones de años, y ese movimiento no podía explicarse totalmente con las teorías clásicas. En cambio, la teoría
de la relatividad sí predice todos los aspectos del movimiento, y las medidas con radar efectuadas recientemente han
confirmado la coincidencia de los datos reales con la teoría con una precisión de un 0,5%.
Se han realizado otras muchas comprobaciones de la teoría, y hasta ahora todas parecen confirmarla. Prácticamente
con la más reciente prueba del satélite Gravity Probe B, se podría considerar a la teoría como una ley.
Aplicaciones prácticas
Los relojes en los satélites GPS requieren una sincronización con los situados en tierra para lo que hay que tener en
cuenta la teoría general de la relatividad y la teoría especial de la relatividad. Si no se tuviese en cuenta el efecto que
sobre el tiempo tiene la velocidad del satélite y su gravedad respecto a un observador en tierra, se produciría un
adelanto de 38 microsegundos por día en el reloj del satélite (sin corrección, su reloj retrasaría al día 7
microsegundos como consecuencia de la velocidad y adelantaría 45 microsegundos por efecto de la gravedad), que a
su vez provocarían errores de varios kilómetros en la determinación de la posición. Puede considerarse otra
comprobación de ambas teorías.
Relatividad general 120
Inercia
Tanto en mecánica cuántica como en relatividad se asumía que el espacio, y más tarde el espacio-tiempo, eran
planos. En el lenguaje de cálculo tensorial, esto significaba que Rabcd = 0, donde Rabcd es el tensor de curvatura de
Riemann. Adicionalmente, se asumía que el sistema de coordenadas era un sistema de coordenadas cartesianas. Estas
restricciones le permitían al movimiento inercial ser descrito matemáticamente como:
donde
a
• x es un vector de posición,
• ,y
• τ es tiempo propio.
Hay que notar que en la mecánica clásica, xa es tridimensional y τ ≡ t, donde t es una coordenada de tiempo.
En la relatividad general, si estas restricciones son usadas en la forma de espacio-tiempo y en el sistema de
coordenadas, éstas se perderán. Ésta fue la principal razón por la cual se necesitó una definición diferente de
movimiento inercial. En relatividad especial, el movimiento inercial ocurre en el espacio de Minkowski como
parametrizada por el tiempo propio. Esto se generaliza a espacios curvos matemáticamente mediante la ecuación de
las geodésicas:
donde
• es un símbolo de Christoffel (de otro modo conocido como conexión de Levi-Civita).
Como x es un tensor de rango uno, estas ecuaciones son cuatro y cada una está describiendo la segunda derivada de
una coordenada con respecto al tiempo propio. (En la métrica de Minkowski de la relatividad especial, los valores de
conexión son todos ceros. Esto es lo que convierte a las ecuaciones geodésicas de la relatividad general en
para el espacio plano de la relatividad especial).
Gravitación
En gravitación, la relación entre la teoría de la gravedad de Newton y la relatividad general son gobernadas por el
principio de correspondencia: la relatividad general tiene que producir los mismos resultados, así como la gravedad
lo hace en los casos donde la física newtoniana ha demostrado ser certera.
Alrededor de objetos simétricamente esféricos, la teoría de la gravedad de Newton predice que los otros objetos
serán acelerados hacia el centro por la ley:
Donde: M: masa que genera el Campo gravitatorio, y m es la masa del cuerpo que es atraído.
, es la distancia al objeto atraído, y
es un vector de unidad identificando la dirección al objeto masivo.
En la aproximación de campo débil de la relatividad general tiene que existir una aceleración en coordenadas
idénticas. En la solución de Schwarzschild, la misma aceleración de la fuerza de gravedad es obtenida cuando la
constante de integración es igual a 2m (donde m = GM/c2).
Relatividad general 121
Electromagnetismo
El electromagnetismo planteó un obstáculo fundamental para la mecánica clásica, debido a que las ecuaciones de
Maxwell no son invariantes según la relatividad galileana. Esto creaba un dilema que fue resuelto por el
advenimiento de la relatividad especial. En forma tensorial, las ecuaciones de Maxwell son:
,y
Donde:
, es el tensor de campo electromagnético, y
, es una cuadricorriente.
El efecto de un campo electromagnético en un objeto cargado de masa m es entonces:
Donde
es el cuadrimomento del objeto cargado.
En la relatividad general, las ecuaciones de Maxwell se convierten en
and
.
La ecuación para el efecto del campo electromagnético sigue siendo la misma, aunque el cambio de métrica
modificará sus resultados. Nótese que al integrar esta ecuación para cargas aceleradas las hipótesis habituales no son
válidas (ya que implican que una carga sujeta en un campo gravitato debe comportarse como si estuviera
uniformemente acelerada, lo que muestra que una carga uniformemente acelerada no puede radiar).
Conservación de energía-momentum
En la mecánica clásica, la conservación de la energía y el momentum son manejados separadamente. En la
relatividad especial, la energía y el momentum están unidos en el cuadrimomento y los tensores de energía. Para
cualquier interacción física, el tensor de energía-impulso satisface la ley local de conservación siguiente:
En la relatividad general, esta relación es modificada para justificar la curvatura, convirtiéndose en:
gravitatorio.
Hoy sabemos que Einstein consideraba que la teoría de la relatividad sólo era aplicable a sistemas de referencia
inerciales estrictamente, aunque Logunov ha probado en el marco de la teoría relativista de la gravitación que de
hecho fijado un observador inercial o no, cualquier otro que se mueva con velocidad uniforme respecto al primero
escribirá las leyes físicas de la misma forma. Probando así que la relatividad especial de hecho es más general de lo
que Einstein creyó en su momento. Además el trabajo de Logunov prueba que siempre que el espacio-tiempo sea
plano puede establecerse para cada observador existe un grupo decaparamétrico de transformaciones de coordenadas
que generaliza las propiedades del grupo de Lorentz para observadores no inerciales.
El principio de geometrización y el principio de equivalencia fueron las piedras angulares en las que Einstein basó su
búsqueda de una nueva teoría, tras haber fracasado en el intento de formular una teoría relativista de la gravitación a
partir de un potencial gravitatorio. La teoría escalar de la gravitación de Nordström[12] y la interpretación geométrica
que extrajo de ella Adriaan Fokker (1914), el estudiante de doctorado de Hendrik Lorentz, llevaron a Einstein a
poder relacionar el tensor de energía-impulso con la curvatura escalar de Ricci de un espacio-tiempo con métrica:
que involucraba la métrica del espacio-tiempo plano y un campo escalar relacionado con el campo gravitatorio. La
superación de las deficiencias de la teoría de la gravitación escalar de Nordström llevaron a Einstein a formular las
ecuaciones correctas de campo.
Referencias
[1] En alemán: "Über den Einfluß der Schwerkfraft auf die Ausbreitung des Lichtes"
[2] Ello como consecuencia de la fórmula de Planck, que supone que cuanto más energéticos sean los fotones, más alta es su frecuencia.
[3] Escogemos un sistema de coordenadas esférico, compuesto de tres grados de libertad: Latitud , longitud
Bibliografía
• Hawking, Stephen; and Ellis, G. F. R. (1973). The Large Scale Structure of Space-Time. Cambridge: Cambridge
University Press. ISBN 0-521-09906-4.
• Misner, Thorne and Wheeler, Gravitation, Freeman, (1973), ISBN 0-7167-0344-0.
• Robert M. Wald, General Relativity, Chicago University Press, ISBN 0-226-87033-2.
• Steven Weinberg, Gravitation and Cosmology: principles and applications of the general theory of relativity,
Wiley (1972), ISBN 0-471-92567-5.
Enlaces externos
• Página introductoria a la relatividad general de la Universidad de Illinois (http://archive.ncsa.uiuc.edu/
Cyberia/NumRel/GenRelativity.html) (en inglés)
• Tesis de Juan Antonio Navarro González de la Universidad de Extremadura (http://kolmogorov.unex.es/
~navarro/relatividad/apuntrel.pdf)
• Otero Carvajal, Luis Enrique: "Einstein y la revolución científica del siglo XX, Cuadernos de Historia
Contemporánea, nº 27, 2005, INSS 0214-400-X (http://www.ucm.es/info//hcontemp/leoc/hciencia.htm)
• Otero Carvajal, Luis Enrique: "Einstein y la teoría de la relatividad. Del Universo estático al Universo en
expansión", Umbral, revista de la Facultad de Estudios Generales de la Universidad de Puerto Rico, recinto de
Río Piedras (http://www.ucm.es/info/hcontemp/leoc/Einstein y la relatividad general.pdf)
• Otero Carvajal, Luis Enrique: "La cosmología relativista. Del Universo estático al Universo en expansión", en
Umbral, revista de la Facultad de Estudios Generales de la Universidad de Puerto Rico, recinto de Río Piedras
(http://www.ucm.es/info/hcontemp/leoc/la cosmologia relativista.pdf)
• ¿Hacia una nueva prueba de la relatividad general? Artículo en Astroseti.org (http://www.astroseti.org/vernew.
php?codigo=2061)
• http://es.groups.yahoo.com/group/relatividad/foro sobre relatividad en español
• http://www.relatividad.org/bhole/relatividad.htm apuntes sobre relatividad
• Relatividad sin fórmulas (http://eltamiz.com/category/fisica/relatividad-sin-formulas/page/2/)
Constante de gravitación universal 124
Sólo se sabe con certeza que son correctas las primeras cifras decimales: se trata de una de las constantes físicas que
han sido determinadas con menor precisión. Esto ocasiona dificultades a la hora de medir con precisión la masa de
los diferentes cuerpos del Sistema Solar, como el Sol o la Tierra. Y otras constantes derivadas como la constante de
Einstein.
La primera medición de su valor ha sido atribuida en muchas ocasiones a Henry Cavendish, en el experimento de la
balanza de torsión descrito en las Philosophical Transactions de 1798 publicadas por la Royal Society. Sin embargo
Cavendish no pretendía obtener el valor de G, sino medir la densidad de la Tierra —que resultó "ser 5,48 veces la del
agua"—, sin hacer ninguna referencia a la constante G o a Newton, aunque sí aplicó la ley propuesta por él para
comparar fuerzas gravitatorias entre masas diferentes.[1]
G, la constante de gravitación universal, no debe ser confundida con g, letra que representa la intensidad del campo
gravitatorio de la Tierra, que es lo que habitualmente recibe el nombre de "gravedad" y cuyo valor sobre la superficie
terrestre es de aproximadamente 9.8 m/s2.
Constante de gravitación universal 125
Esta constante es el factor de proporcionalidad entre el tensor de curvatura de Einstein (que es una medida de la
intensidad del campo gravitatorio) y el tensor energía-impulso de la materia que provoca el campo:
El equivalente clásico de esta última ecuación es la ecuación de Poisson para el potencial gravitatorio:
Referencias
[1] Pesar la Tierra: Test newtoniano y origen de un anacronismo. Moreno González, Antonio. ENSEÑANZA DE LAS CIENCIAS, 2000, 18 (2),
319-332 (http:/ / www. raco. cat/ index. php/ Ensenanza/ article/ viewPDFInterstitial/ 21677/ 21511)
Enlaces externos
• Medida de la constante G de la Gravitación Universal, en sc.ehu.es (http://www.sc.ehu.es/sbweb/fisica/
celeste/constante/constante.htm) (ac. 04-04-09)
• Revista Science 5 de enero de 2007 (http://www.sciencemag.org/cgi/content/abstract/315/5808/
74?rss=1][[REPORTS])
Velocidad de la luz
Unidades de Planck 1
Valores aproximados
Distancia: Tiempo:
un metro 3,34 ns
un kilómetro 3,34 μs
Descripción
De acuerdo con la física moderna toda radiación electromagnética (incluida la luz visible) se propaga o mueve a una
velocidad constante en el vacío, conocida común —aunque impropiamente[cita requerida]— como "velocidad de la
luz" (magnitud vectorial), en vez de "rapidez de la luz" (magnitud escalar). Ésta es una constante física denotada
como c. La rapidez c es también la rapidez de la propagación de la gravedad en la Teoría general de la relatividad.
Una consecuencia en las leyes del electromagnetismo (tales como las ecuaciones de Maxwell) es que la rapidez c de
radiación electromagnética no depende de la velocidad del objeto que emite la radiación. Así, por ejemplo, la luz
emitida de una fuente de luz que se mueve rápidamente viajaría a la misma velocidad que la luz proveniente de una
fuente estacionaria (aunque el color, la frecuencia, la energía y el momentum de la luz cambiarán; fenómeno que se
conoce como efecto Doppler).
Si se combina esta observación con el principio de relatividad, se concluye que todos los observadores medirán la
velocidad de la luz en el vacío como una misma, sin importar el marco de referencia del observador o la velocidad
del objeto que emite la luz. Debido a esto, se puede ver a c como una constante física fundamental. Este hecho,
entonces, puede ser usado como base en la teoría de relatividad especial. La constante es la rapidez c, en vez de la
luz en sí misma, lo cual es fundamental para la relatividad especial. De este modo, si la luz es de alguna manera
Velocidad de la luz 127
retardada para viajar a una velocidad menor a c, esto no afectará directamente a la teoría de relatividad especial.
Observadores que viajan a grandes velocidades encontrarán que las distancias y los tiempos se distorsionan de
acuerdo con la transformación de Lorentz. Sin embargo, las transformaciones distorsionan tiempos y distancias de
manera que la velocidad de la luz permanece constante. Una persona viajando a una velocidad cercana a c también
encontrará que los colores de la luz al frente se tornan azules y atrás se tornan rojos.
Si la información pudiese viajar más rápido que c en un marco de referencia, la causalidad sería violada: en otros
marcos de referencia, la información sería recibida antes de ser mandada; así, la causa podría ser observada después
del efecto. Debido a la dilatación del tiempo de la relatividad especial, el cociente del tiempo percibido entre un
observador externo y el tiempo percibido por un observador que se mueve cada vez más cerca de la velocidad de la
luz se aproxima a cero. Si algo pudiera moverse más rápidamente que luz, este cociente no sería un número real. Tal
violación de la causalidad nunca se ha observado.
Un cono de luz define la ubicación que está en contacto causal y
aquellas que no lo están. Para exponerlo de otro modo, la información
se propaga de y hacia un punto de regiones definidas por un cono de
luz. El intervalo AB en el diagrama a la derecha es "tiempo-como" (es
decir, hay un marco de la referencia en qué acontecimiento A y B
ocurren en la misma ubicación en el espacio, separados solamente por
su ocurrencia en tiempos diferentes, y si A precede B en ese marco
entonces A precede B en todos marcos: no hay marco de referencia en
el cual el evento A y el evento B ocurren simultáneamente). De este
modo, es hipotéticamente posible para la materia (o la información)
viajar de A hacia B, así que puede haber una relación causal (con A la
causa y B el efecto).
De acuerdo a la definición actual, adoptada en 1983, la rapidez de la luz es exactamente 299.792.458 m/s
(aproximadamente 3 × 108 metros por segundo, 300 000 km/s o 300 m por millonésima de s).
El valor de c define la permitividad eléctrica del vacío ( ) en unidades del SIU como:
La permeabilidad magnética del vacío ( ) no es dependiente de c y es definida en unidades del SIU como:
.
Estas constantes aparecen en las ecuaciones de Maxwell, que describen el electromagnetismo y están relacionadas
por:
Las distancias astronómicas son normalmente medidas en años luz (que es la distancia que recorre la luz en un año,
aproximadamente 9,46 × 1012 km (9,46 billones de km).
Velocidad de la luz 128
Comunicaciones
La velocidad de la luz es de gran importancia para las
telecomunicaciones. Por ejemplo, dado que el perímetro de la Tierra es
de 40 075 km (en la línea ecuatorial) y c es teóricamente la velocidad
más rápida en la que un fragmento de información puede viajar, el
período más corto de tiempo para llegar al otro extremo del globo
terráqueo sería 0,067 s.
La velocidad finita de la luz se hizo aparente a todo el mundo en el control de comunicaciones entre el Control
Terrestre de Houston y Neil Armstrong, cuando éste se convirtió en el primer hombre que puso un pie sobre la Luna:
después de cada pregunta, Houston tenía que esperar cerca de 3 s para el regreso de una respuesta aun cuando los
astronautas respondían inmediatamente.
De manera similar, el control remoto instantáneo de una nave interplanetaria es imposible debido a que una nave
suficientemente alejada de nuestro planeta podría tardar algunas horas desde que envía información al centro de
control terrestre y recibe las instrucciones.
La velocidad de la luz también puede tener influencia en distancias cortas. En los superordenadores la velocidad de
la luz impone un límite de rapidez a la que pueden ser enviados los datos entre procesadores. Si un procesador opera
Velocidad de la luz 129
a 1 GHz, la señal sólo puede viajar a un máximo de 300 mm en un ciclo único. Por lo tanto, los procesadores deben
ser colocados cerca uno de otro para minimizar los retrasos de comunicación. Si las frecuencias de un reloj continúan
incrementándose, la rapidez de la luz finalmente se convertirá en un factor límite para el diseño interno de chips
individuales.
Física
donde v y w son las velocidades de las naves observadas por un tercer observador, y u es la velocidad de cualquiera
de las dos naves observada por la otra.
Contrariamente a la intuición natural, sin importar la velocidad a la que un observador se mueva relativamente hacia
otro observador, ambos medirán la velocidad de un rayo de luz que se avecina con el mismo valor constante, la
velocidad de la luz.
La ecuación anterior fue derivada por Einstein de su teoría de relatividad especial, la cual toma el principio de
relatividad como premisa principal. Este principio (originalmente propuesto por Galileo Galilei) requiere que actúen
leyes físicas de la misma manera en todos los marcos de referencia.
Ya que las ecuaciones de Maxwell otorgan directamente una velocidad de la luz, debería ser lo mismo para cada
observador; una consecuencia que sonaba obviamente equivocada para los físicos del siglo XIX, quienes asumían
que la velocidad de la luz dada por la teoría de Maxwell es válida en relación al "éter lumínico".
Pero el experimento de Michelson y Morley, puede que el más famoso y útil experimento en la historia de la física,
no pudo encontrar este éter, sugiriendo en su lugar que la velocidad de la luz es una constante en todos los marcos de
referencia.
Aunque no se sabe si Einstein conocía los resultados de los experimentos de Michelson y Morley, él dio por hecho
que la velocidad de la luz era constante, lo entendió como una reafirmación del principio de relatividad de Galileo, y
dedujo las consecuencias, ahora conocidas como la teoría de la relatividad especial, que incluyen la anterior fórmula
auto-intuitiva.
Velocidad de la luz 130
El índice de refracción "n" de un medio viene dado por la siguiente expresión, donde "v" es la velocidad de la luz en
ese medio:
Ya que la velocidad de la luz en los materiales depende del índice de refracción, y el índice de refracción depende de
la frecuencia de la luz, la luz a diferentes frecuencias viaja a diferentes velocidades a través del mismo material. Esto
puede causar distorsión en ondas electromagnéticas compuestas por múltiples frecuencias; un fenómeno llamado
dispersión.
Los ángulos de incidencia (i) y de refracción (r) entre dos medios, y los índices de refracción, están relacionados por
la Ley de Snell. Los ángulos se miden con respecto al vector normal a la superficie entre los medios:
A escala microscópica, considerando la radiación electromagnética como una partícula, la refracción es causada por
una absorción continua y re-emisión de los fotones que componen la luz a través de los átomos o moléculas por los
que está atravesando. En cierto sentido, la luz por sí misma viaja sólo a través del vacío existente entre estos átomos,
y es impedida por los átomos. Alternativamente, considerando a la radiación electromagnética como una onda, las
cargas de cada átomo (primariamente electrones) interfieren con los campos eléctricos y electromagnéticos de la
radiación, retardando su progreso.
Velocidad de la luz 131
Algunos físicos (entre ellos João Magueijo y John Moffat) han propuesto que en el pasado la luz viajaba mucho más
rápido que a la velocidad actual. Esta teoría se conoce como velocidad de la luz variable, y sus proponentes afirman
que este fenómeno tiene la habilidad de explicar mejor muchos enigmas cosmológicos que su teoría rival, el modelo
inflacionario del universo. Sin embargo, esta teoría no ha ganado suficiente aceptación.
En septiembre del 2011, en las instalaciones del CERN en Ginebra, del laboratorio subterráneo de Gran Sasso
(Italia), se observaron unos neutrinos que aparentemente superaban la velocidad de la luz, llegando (60,7 ± 6,9 (stat.)
± 7,4 (sys.)) nanosegundos antes (que corresponde a unos 18 metros en una distancia total de 732 kilómetros). Desde
el primer momento, la comunidad científica se mostró escéptica ante la noticia, ya que varios años antes, el proyecto
Milos de la Fermilab de Chicago había obtenido resultados parecidos que fueron descartados porque el margen de
error era demasiado alto. Y, efectivamente, en este caso también resultó ser un error de medición. En febrero de
2012, los científicos del CERN anunciaron que las mediciones habían sido erróneas debido a una conexión
defectuosa.[2]
Historia
Hasta tiempos relativamente recientes, la velocidad de la luz fue un tema sujeto a grandes conjeturas. Empédocles
creía que la luz era algo en movimiento, y que por lo tanto en su viaje tenía que transcurrir algún tiempo.
Aristóteles por el contrario, creía que «la luz está sujeta a la presencia de algo, pero no es el movimiento». Además,
si la luz tiene una velocidad finita, ésta tenía que ser inmensa. Aristóteles afirmó: «La tensión sobre nuestro poder de
creencias es demasiado grande para creer esto».[cita requerida]
Una de las teorías antiguas de la visión es que la luz es emitida por el ojo, en lugar de ser generada por una fuente y
reflejada en el ojo. En esta teoría, Herón de Alejandría adelantó el argumento de que la velocidad de la luz debería
ser infinita, ya que cuando uno abre los ojos objetos distantes como las estrellas aparecen inmediatamente.
Velocidad de la luz 133
Islam
Los filósofos islámicos Avicena y Alhazen creían que la luz tenía una velocidad finita, aunque en este punto otros
filósofos convinieron con Aristóteles.[cita requerida]
Hinduismo
La escuela Ayran de filosofía en la antigua India también mantuvo que la velocidad de la luz era finita.[cita requerida]
Europa
Johannes Kepler creía que la velocidad de la luz era finita ya que el espacio vacío no representa un obstáculo para
ella. Francis Bacon argumentó que la velocidad de la luz no es necesariamente finita, ya que algo puede viajar tan
rápido como para ser percibido.
René Descartes argumentó que si la velocidad de la luz era finita, el Sol, la Tierra y la Luna estarían
perceptiblemente fuera de alineación durante un eclipse lunar. Debido a que tal desalineación no se ha observado,
Descartes concluyó que la velocidad de la luz es infinita. De hecho, Descartes estaba convencido de que si la
velocidad de la luz era finita, todo su sistema de filosofía sería refutado.
Primeros intentos
En 1629 Isaac Beeckman, un amigo de René Descartes, propuso un experimento en el que se pudiese observar el
flash de un cañón reflejándose en un espejo ubicado a 1,6 km del primero. En 1638, Galileo propuso un experimento
para medir la velocidad de la luz al observar la percepción del retraso entre el lapso de destapar una linterna a lo
lejos. René Descartes criticó este experimento como algo superfluo, en el hecho de que la observación de eclipses,
los cuales tenían más poder para detectar una rapidez finita, dio un resultado negativo. En 1667, este experimento se
llevó a cabo por la Academia del Cimento de Florencia, con las linternas separadas a 1,6 km sin observarse ningún
retraso. Robert Hooke explicó los resultados negativos tal como Galileo había dicho: precisando que tales
observaciones no establecerían la infinita velocidad de la luz sino tan sólo que dicha velocidad debía ser muy grande.
Primeras mediciones
En 1676 Ole Rømer realizó la primera estimación cuantitativa de la velocidad de la luz estudiando el movimiento del
satélite Ío de Júpiter con un telescopio. Es posible medir el tiempo de la revolución de Ío debido a los movimientos
de la sombra entrante/saliente de Júpiter en intervalos regulares. Rømer observó que Ío gira alrededor de Júpiter cada
42,5 h cuando la Tierra esta más cerca de Júpiter. También observó que, como la Tierra y Júpiter se mueven
separándose, la salida de Ío fuera de la proyección de la sombra comenzaría progresivamente más tarde de lo
predicho. Las observaciones detalladas mostraban que estas señales de salida necesitaban más tiempo en llegar a la
Tierra, ya que la Tierra y Júpiter se separaban cada vez más. De este modo el tiempo extra utilizado por la luz para
llegar a la Tierra podía utilizarse para deducir la rapidez de ésta. 6 meses después, las entradas de Ío en la proyección
de la sombra ocurrían con mayor frecuencia ya que la Tierra y Júpiter se acercaban uno a otro. Con base a estas
observaciones, Rømer estimó que la luz tardaría 22 min en cruzar el diámetro de la órbita de la Tierra (es decir, el
doble de la unidad astronómica); las estimaciones modernas se acercan más a la cifra de 16 min y 40 s.
Velocidad de la luz 134
Alrededor de la misma época, la unidad astronómica se estimaba en cerca de 140 millones de km. La unidad
astronómica y la estimación del tiempo de Rømer fueron combinados por Christian Huygens, quien consideró que la
velocidad de la luz era cercana a 1000 diámetros de la Tierra por minuto, es decir, unos 220.000 km/s, muy por
debajo del valor actualmente aceptado, pero mucho más rápido que cualquier otro fenómeno físico entonces
conocido.
Isaac Newton también aceptó el concepto de velocidad finita. En su libro Opticks expone el valor más preciso de
16 minutos por diámetro,[cita requerida] el cual parece él dedujo por sí mismo (se desconoce si fue a partir de los datos
de Rømer, o de alguna otra manera).
El mismo efecto fue subsecuentemente observado por Rømer en un punto rotando con la superficie de Júpiter.
Observaciones posteriores también mostraron el mismo efecto con las otras tres lunas Galileanas, donde era más
difícil de observar al estar estos satélites más alejados de Júpiter y proyectar sombras menores sobre el planeta.
Aunque por medio de estas observaciones, la velocidad finita de la luz no fue establecida para la satisfacción de
todos (notablemente Jean-Dominique Cassini), después de las observaciones de James Bradley (1728), la hipótesis
de velocidad infinita se consideró totalmente desacreditada. Bradley dedujo que la luz de las estrellas cayendo sobre
la Tierra parecerían provenir en un ángulo leve, que podría ser calculado al comparar la velocidad de la Tierra en su
órbita con la velocidad de la luz. Se observó esta llamada aberración de la luz, estimándose en 1/200 de un grado.
Bradley calculó la velocidad de la luz en alrededor de 298.000 km/s. Esta aproximación es solamente un poco menor
que el valor actualmente aceptado. El efecto de aberración fue estudiado extensivamente en los siglos posteriores,
notablemente por Friedrich Georg Wilhelm Struve y Magnus Nyren.
Medidas directas
En 1926, Michelson utilizó espejos rotatorios para medir el tiempo que tardaba la luz en hacer un viaje de ida y
vuelta entre la montaña Wilson y la montaña San Antonio en California. Las medidas exactas rindieron una
velocidad de 299.796 km/s.
Velocidad de la luz 135
Relatividad
Con base en el trabajo de James Clerk Maxwell, se sabe que la velocidad de la radiación electromagnética es una
constante definida por las propiedades electromagnéticas del vacío (constante dieléctrica y permeabilidad).
En 1887, los físicos Albert Michelson y Edward Morley realizaron el influyente experimento Michelson-Morley para
medir la velocidad de la luz relativa al movimiento de la Tierra. La meta era medir la velocidad de la Tierra a través
del éter, el medio que se pensaba en ese entonces necesario para la transmisión de la luz. Tal como se muestra en el
diagrama de interferómetro de Michelson, se utilizó un espejo con media cara plateada para dividir un rayo de luz
monocromática en dos rayos viajando en ángulos rectos uno respecto del otro. Después de abandonar la división,
cada rayo era reflejado de ida y vuelta entre los espejos en varias ocasiones (el mismo número para cada rayo para
dar una longitud de trayectoria larga pero igual; el experimento Michelson-Morley actual usa más espejos) entonces
una vez recombinados producen un patrón de interferencia constructiva y destructiva.
Cualquier cambio menor en la velocidad de la luz en cada brazo del interferómetro cambiaría la cantidad de tiempo
gastada en su tránsito, que sería observado como un cambio en el patrón de interferencia. En el acontecimiento, el
experimento dio un resultado nulo.
Ernst Mach estuvo entre los primeros físicos que sugirieron que el resultado del experimento era una refutación a la
teoría del éter. El desarrollo en física teórica había comenzado a proveer una teoría alternativa, la contracción de
Lorentz, que explicaba el resultado nulo del experimento.
Es incierto si Einstein sabía los resultados de los experimentos de Michelson y Morley, pero su resultado nulo
contribuyó en gran medida a la aceptación de su teoría de relatividad. La teoría de Einstein no requirió un elemento
etérico sino que era completamente consistente con el resultado nulo del experimento: el éter no existe y la velocidad
de la luz es la misma en cada dirección. La velocidad constante de la luz es uno de los postulados fundamentales
(junto con el principio de causalidad y la equivalencia de los marcos de inercia) de la relatividad especial.
Referencias
[1] W. Pauli, Theory of Relativity, Pergamon Press, 1958
[2] «Breaking the speed of light: CERN's neutrino experiment» (http:/ / www. telegraph. co. uk/ science/ science-news/ 9100273/
Breaking-the-speed-of-light-CERNs-neutrino-experiment. html) The Telegraph. Consultado el 9 de octubre de 2012.
Referencias históricas
• FIZEAU, H. L.: «Sur une experience relative a la vitesse de propogation de la lumiere», Comptes Rendus 29,
90-92, 132, 1849 (en francés).
• FOUCAULT, J. L.: «Determination experimentale de la vitesse de la lumiere: parallaxe du Soleil», en Comptes
Rendus 55, 501-503, 792-796, 1862 (en francés).
• HALLEY, Edmund: «Monsieur Cassini, his New and Exact Tables for the Eclipses of the First Satellite of Jupiter,
reduced to the Julian Stile and Meridian of London», en Philosophical Transactions 18, n.º 214, pág. 237-256,
diciembre de 1694 (en inglés).
• MICHELSON, A. A.: «Experimental Determination of the Velocity of Light», Proceedings of the American
Association for the Advancement of Science 27, 71-77, 1878 (en inglés).
• MICHELSON, A.A., F. G. PEASE y F. PEARSON: «Measurement Of The Velocity Of Light In A Partial
Vacuum», Astrophysical Journal 82, 26-61, 1935 (en inglés).
• NEWCOMB, Simon: «The Velocity of Light», en revista Nature, pág. 29-32, 13 de mayo de 1886 (en inglés).
• PERROTIN, Joseph: «Sur la vitesse de la lumiere», en Comptes Rendus 131, 731-734, 1900 (en francés).
• RØMER, Ole: «Démonstration touchant le mouvement de la lumière», en Journal des Sçavans, 7 de diciembre de
1676, pág. 223-236 (disponible en francés como sólo texto en: astro.campus.ecp.fr (http://astro.campus.ecp.fr/
histoire/roemer.html)), traducido como «A Demonstration concerning the Motion of Light», en Philosophical
Transactions of the Royal Society, n.º 136, pág. 893-894; 25 de junio de 1677, disponible en francés como sólo
Velocidad de la luz 136
Referencias modernas
• JACKSON, John David: Classical electrodynamics, ISBN 0-471-30932-X, John Wiley & Sons, 2ª edición, 1975;
3ª edición, 1998 (en inglés).
• KAK, Subhash: «The Speed of Light and Purānic Cosmology», en T. R. N. Rao y Subhash Kak, Computing
Science in Ancient India (pág. 80-90), disponible en e-print physics/9804020 (http://uk.arxiv.org/abs/physics/
9804020) en el arXiv, USL Press, Lafayette, 1998 (en inglés).
• MACKAY, R. J., y R. W. OLDFORD: «Scientific Method, Statistical Method and the Speed of Light», disponible
en (http://www.stats.uwaterloo.ca/~rwoldfor/papers/sci-method/paperrev)), en Statistical Science 15(3), pág.
254-278, 2000 (en inglés).
Enlaces externos
• Wikimedia Commons alberga contenido multimedia sobre Velocidad de la luz. Commons
• AstroMía.com (http://www.astromia.com/glosario/luzvelocidad.htm) (información acerca de la velocidad de
la luz).
• Maloka.org (http://www.maloka.org/f2000/waves_particles/lightspeed-1.html) (velocidad de la luz).
• INAOEP.mx (http://www.inaoep.mx/~rincon/c.html) (Instituto Nacional de Astrofisíca, Óptica y
Electrónica).
• Experimento casero (http://weblogs.madrimasd.org/astrofisica/archive/2006/08/01/34948.aspx#35927)
(Microondas, regaliz y la velocidad de la luz).
• Portalciencia.com.ar - Informe sobre la velocidad de la luz (http://www.portalciencia.com.ar/index.
php?not=17)
• Vídeos de objetos vistos a velocidades cuasilumínicas (http://www.tat.physik.uni-tuebingen.de/~weiskopf/
gallery/index.html) (Universidad de Tübingen)
• Documental sobre la velocidad de la luz (http://documentaleshistory.blogspot.com/2010/09/
el-universo-la-velocidad-de-la-luz.html)
Teoría relativista de la gravitación 137
(1)
(2)
Donde:
, es el tensor de curvatura de Ricci asociado al tensor métrico .
, es la curvatura escalar de Ricci.
El término dependiente de la masa del gravitón tiene efectos parecidos a la constante cosmológica y debido a los
valores típicos de la velocidad de la luz (c), la constante de gravitación universal (G) y la propia pequeñez de la masa
del gravitón tiene efectos poco significativos en condiciones normales.
(2b)
Así sucede que en una región del espacio-tiempo en la que no hay materia presente el segundo miembro de las dos
ecuaciones anteriores es muy pequeño debido a la pequeñez de la masa del gravitón,[2] que Logunov y
Mestvirishvili, estiman del orden de .
(3)
De hecho la aceleración de la expansión del Universo detectada experimentalmente a finales de los '90 podría ser
explicada admitiendo que la masa del gravitón es diferente de cero, y por tanto, daría lugar a un pequeño término
adicional en las ecuaciones de tipo constante cosmológica que sería el responsable de la aceleración observada. Por
tanto la masa del gravitón puede ser una posible explicación de la energía oscura.
• La TRG además proporciona medios para medir efectivamente la masa del gravitón. Si se toman medidas precisas
del parámetro de retardo q del universo de los modelos cosmológicos FLRW y se comparan con las predicciones
de la TRG que relacionan ese parámetro con la densidad de energía latente asociada a la masa del gravitón se
tiene:
(4)
Donde son las densidades másicas asociadas a la energía latente y la densidad crítica del modelo FLRW. Si
el parámetro q > 1/2 entonces la masa del gravitón debe ser diferente de cero. Por tanto, en teoría basta una medida
precisa del parámetro de retardo para decidir si la masa del gravitón es o no cero, siendo hasta la fecha nuestra mejor
estimación que mg < 1.6·10-66 g.
• Además en la TRG el espacio-tiempo efectivo en el que parecen moverse las partículas materiales no agota la
estructura del espacio-tiempo sino que de acuerdo con las predicciones de la teoría existe un espacio-tiempo plano
o espacio de Minkowski subyacente real. El hecho de que una partícula cargada moviéndose a lo largo de una
geodésica del espacio-tiempo curvo efectivo emita radiación electromagnética es una evidencia de que en realidad
muestra aceleración respecto al espacio-tiempo de Minkowski. Esto hace que el principio de equivalencia de
Einstein no sea válido para partículas con carga eléctrica, lo cual sugiere que existe alguna diferencia adicional
entre campos gravitatorios y fuerzas de inercia.
Teoría relativista de la gravitación 139
Referencias
[1] A. A. Logunov (1998).
[2] S. S. Gershtein, A. A. Logunov, M. A. Mestvirishvili, and N. P. Tkachenko (2003): "Graviton Mass, Quintessence, and Oscillatory Character
of Universe Evolution" (http:/ / www. maik. ru/ abstract/ nuclphys/ 4/ nuclphys1596_abstract. pdf)
Bibiliografía
• A. A. Logunov, 1998, Curso de Teoría de la Relatividad y de la gravitación, Universidad Estatatal de
Lomonósov, Moscú, ISBN 5-88417-162-5.
Gravitón 140
Gravitón
Gravitón
Familia Bosón
Interacción Gravedad
Estado Hipotético
Símbolo(s) [1]
g, G
Teorizada 1930s
Suele atribuirse a Dmitrii Ivanovich Blokhintsev y FM Gal'perin en 1934
Masa 0
Carga eléctrica 0
Espín 2
Estados de espín 2
Referencias
[1] G se usa a menudo para evitar la confusión con gluóns (símbolo g)
[2] S. S. Gershtein, A. A. Logunov, M. A. Mestvirishvili, and N. P. Tkachenko (2003): "Graviton Mass, Quintessence, and Oscillatory Character
of Universe Evolution" (http:/ / www. maik. ru/ abstract/ nuclphys/ 4/ nuclphys1596_abstract. pdf)
Enlaces externos
• Wikcionario tiene definiciones para gravitón.Wikcionario
Teoría de Kaluza-Klein 142
Teoría de Kaluza-Klein
La teoría de Kaluza-Klein es una
generalización de la teoría de la relatividad
general. Fue propuesta por Theodor Kaluza
(1919), y refinada por Klein (1926), y trata
de unificar la gravitación y el
electromagnetismo, usando un modelo
geométrico en un espacio-tiempo de cinco
dimensiones.
Modernamente sobre la idea original de Kaluza y Klein se han construido generalizaciones de la teoría de la
relatividad sobre espacio-tiempos de más de cinco dimensiones. A estas teorías, también se las llama usualmente,
teorías de Kaluza-Klein aunque difieren en muchos aspectos de la propuesta original, retienen el principio de
geometrización y otros aspectos de la teoría.
Historia
La teoría general de la relatividad (1915) había logrado un considerable éxito al lograr dar una interpretación
geométrica del campo gravitorio. El propio Newton se había contentado con describir cuantitativamente la gravedad,
renunciado a intentar explicar de un modo más fundamental:
Es inconcebible que una materia bruta inanimada, sin la mediación de algo más, que no es material, afecte a
otra materia y actúe sobre ella sin que exista contacto mutuo. Que la gravedad sea innata, inherente y esencial
para la materia, de tal modo que un cuerpo pueda actuar sobre otro a distancia a través del vacío sin la
mediación de ninguna otra cosa por la cual y a través de la cual pueda transmitir la acción y la fuerza de estos
cuerpos, del uno al otro, es para mí algo tan absurdo que creo que no puede acostumbrarse a ello ningún ser
humano. Debe existir un agente que cause la gravedad actuando constantemente de acuerdo con ciertas leyes;
pero dejo a la consideración de mis lectores el hecho de si este agente ha de ser material o inmaterial
Isaac Newton.[1]
La nueva teoría de Einstein daba una explicación concreta de qué es la gravedad y como se propaga a través del
vacío, explicándola como un efecto geométrico del espacio-tiempo curvo. Así la nueva teoría de Einstein introducía
un principio de geometrización que explicaba tanto fenómenos gravitatorios previamente conocidos de la teoría de la
gravitación de Newton, como hechos previamente inexplicados como el avance del perihelio del planeta Mercurio y
Teoría de Kaluza-Klein 143
Aquí seguimos la convención de que los las mayúsculas latinas A, B,... representan índices tensoriales que van de 0 a
4, y las minúsculas a, b,... representan índices tensoriales de 0 a 3. Así las 5 coordenadas de un espacio-tiempo de
Kaluza serían , donde la coordenada 0-ésima es la coordenada
temporal y la coordenada 4-ésima es la coordenada asociada a la quinta dimensión adicional y las otras tres son las
coordenadas espaciales ordinarias.
El siguiente paso de la propuesta de Kaluza es imponer artificialmente la llamada condición cilíndrica que consiste
en imponer que ninguna de las componentes del tensor pentadimensional depende de la coordenada adcional
x4, en ese caso las ecuaciones de campo de Einstein se reducen a las condiciones del electromagnetismo clásico más
las ecuaciones de la relatividad general, más una ecuación adicional para el campo escalar adicional:
Teoría de Kaluza-Klein 144
Donde m es la masa de la partícula, A una constante y t la edad del universo en expansión. Diversas anomalías
detectadas por la Viking cuando pasaba por la órbita de Marte mostraron variaciones aparentes del orden
que pueden ser explicadas mediante un valor de A = 0.11, dada la edad actual del universo.
• Otro enfoque para describir su teoría de Expansión cósmica en escala con la ayuda de una quinta dimensión, ha
tomado el físico C. Johan Masreliez con lo que él llama "Dynamic incremental scale transition", DIST.[6] Esto
conduce a una posible conexión con la mecánica cuántica y un toque de origen de la inercia.[7]
Referencias
[1] Stephen Hawking, A Brief History of Time, p. 175, Bantam Books, New York, 1988
[2] Carta de Einstein a Kaluza, citada en Abraham Pais, «Subtle is the Lord»: The science and the Life of Albert Einstein, Oxford University
Press, 1982, p. 330.
[3] Carta de Einstein a Kaluza, citada en P. Freeman & P. van Nieuwenhuizen, "The Hidden Dimensions of Space-Time", Scientific American
252 (1985), 62.
[4] Ibídem
[5] Overduin & Wesson, Kaluza-Klein Gravity, p.59
[6] Masreliez, C J; Dynamic incremental scale transition with application to physics and cosmology, Physica Scripta (http:/ / www. iop. org/ EJ/
journal/ 1402-4896/ 1) (dec 2007)
[7] Masreliez C. J., Inertia and a fifth dimension-Special Relativity from a new perspective, Astrophysics&SS, V. 326, Numero 2, 281-291,
(2010).
Teoría de Kaluza-Klein 145
Artículos
• J. M. Overduin & P. S. Wesson, "Kaluza-Klein Gravity", Physics Reports, p. 303-378, 1997, (http://arxiv.org/
PS_cache/gr-qc/pdf/9805/9805018v1.pdf) (una explicación general muy extensa, de los modelos de teorías de
Kaluza-Klein, 75 páginas).
• Pequeña monografía de nivel medio y muy ilustrativa sobre la teoría de Kaluza-Klein en Astrocosmo (http://
www.astrocosmo.cl/h-foton/h-foton-12_05-02.htm).
Teoría de la relatividad
La teoría de la relatividad está compuesta a grandes rasgos por dos
grandes teorías (la de la relatividad especial y la de la relatividad
general) formuladas por Albert Einstein a principios del siglo XX, que
pretendían resolver la incompatibilidad existente entre la mecánica
newtoniana y el electromagnetismo.
La primera teoría, la teoría de la relatividad especial, publicada en
1905, trata de la física del movimiento de los cuerpos en ausencia de
fuerzas gravitatorias, en el que se hacían compatibles las ecuaciones de
Maxwell del electromagnetismo con una reformulación de las leyes del
movimiento. La segunda, la teoría de la relatividad general, publicada
en 1915, es una teoría de la gravedad que reemplaza a la gravedad
newtoniana pero coincide numéricamente con ella para campos
gravitatorios débiles. La teoría general se reduce a la teoría especial en
ausencia de campos gravitatorios.
Conceptos principales
Relatividad especial
La teoría de la relatividad especial, también llamada
teoría de la relatividad restringida, fue publicada por
Albert Einstein en 1905 y describe la física del
movimiento en el marco de un espacio-tiempo plano.
Esta teoría describe correctamente el movimiento de
los cuerpos incluso a grandes velocidades y sus
interacciones electromagnéticas y se usa básicamente
para estudiar sistemas de referencia inerciales (no es Sello de correos soviético cuyo motivo es Albert Einstein con su
aplicable para problemas astrofísicos donde el campo famosa ecuación .
conceptos fueron presentados anteriormente por Poincaré y Lorentz, que son considerados como originadores de la
teoría. Si bien la teoría resolvía un buen número de problemas del electromagnetismo y daba una explicación del
experimento de Michelson-Morley, esta teoría no proporciona una descripción relativista adecuada del campo
gravitatorio.
Tras la publicación del artículo de Einstein, la nueva teoría de la relatividad especial fue aceptada en unos pocos
años por la práctica totalidad de los físicos y los matemáticos, de hecho personas como Poincaré o Lorentz habían
estado muy cerca de llegar al mismo resultado que Einstein. La forma geométrica definitiva de la teoría se debe a
Hermann Minkowski, antiguo profesor de Einstein en la Politécnica de Zürich; acuñó el término "espacio-tiempo"
(Raumzeit) y le dio la forma matemática adecuada.[1] El espacio-tiempo de Minkowski es una variedad
tetradimensional en la que se entrelazaban de una manera insoluble las tres dimensiones espaciales y el tiempo. En
este espacio-tiempo de Minkowski, el movimiento de una partícula se representa mediante su línea de universo
(Weltlinie), una curva cuyos puntos vienen determinados por cuatro variables distintas: las tres dimensiones
espaciales ( , , ) y el tiempo ( ). El nuevo esquema de Minkowski obligó a reinterpretar los conceptos de
la métrica existentes hasta entonces. El concepto tridimensional de punto fue sustituido por el de evento. La
magnitud de distancia se reemplaza por la magnitud de intervalo.
Relatividad general
La relatividad general fue publicada por Einstein en 1915, y fue
presentada como conferencia en la Academia de Ciencias Prusiana el
25 de noviembre. La teoría generaliza el principio de relatividad de
Einstein para un observador arbitrario. Esto implica que las ecuaciones
de la teoría deben tener una forma de covariancia más general que la
covariancia de Lorentz usada en la teoría de la relatividad especial.
Además de esto, la teoría de la relatividad general propone que la
propia geometría del espacio-tiempo se ve afectada por la presencia de
materia, de lo cual resulta una teoría relativista del campo gravitatorio. Esquema de la curvatura del espacio-tiempo
alrededor de una masa con simetría esférica.
De hecho la teoría de la relatividad general predice que el
espacio-tiempo no será plano en presencia de materia y que la
curvatura del espacio-tiempo será percibida como un campo gravitatorio.
Debe notarse que el matemático alemán David Hilbert escribió e hizo públicas las ecuaciones de la covarianza antes
que Einstein. Ello resultó en no pocas acusaciones de plagio contra Einstein, pero probablemente sea más, porque es
una teoría (o perspectiva) geométrica. La misma postula que la presencia de masa o energía «curva» al
espacio-tiempo, y esta curvatura afecta la trayectoria de los cuerpos móviles e incluso la trayectoria de la luz.
Einstein expresó el propósito de la teoría de la relatividad general para aplicar plenamente el programa de Ernst
Mach de la relativización de todos los efectos de inercia, incluso añadiendo la llamada constante cosmológica a sus
ecuaciones de campopara este propósito. Este punto de contacto real de la influencia de Ernst Mach fue claramente
identificado en 1918, cuando Einstein distingue lo que él bautizó como el principio de Mach (los efectos inerciales
se derivan de la interacción de los cuerpos) del principio de la relatividad general, que se interpreta ahora como el
principio de covarianza general.[2]
Teoría de la relatividad 147
Partículas
En la teoría de la relatividad una partícula puntual
queda representada por un par , donde
es una curva diferenciable, llamada línea de
universo de la partícula, y m es un escalar que
representa la masa en reposo. El vector tangente a esta
curva es un vector temporal llamado cuadrivelocidad,
el producto de este vector por la masa en reposo de la
partícula es precisamente el cuadrimomento. Este
cuadrimomento es un vector de cuatro componentes,
tres de estas componentes se denominan espaciales y
representan el análogo relativista del momento lineal de
la mecánica clásica, la otra componente denominada
componente temporal representa la generalización Representación de la línea de universo de una partícula. Como no es
relativista de la energía cinética. Además, dada una posible reproducir un espacio-tiempo de cuatro dimensiones, en la
curva arbitraria en el espacio-tiempo, puede definirse a figura se representa sólo la proyección sobre 2 dimensiones
espaciales y una temporal.
lo largo de ella el llamado intervalo relativista, que se
obtiene a partir del tensor métrico. El intervalo
relativista medido a lo largo de la trayectoria de una partícula es proporcional al intervalo de tiempo propio o
intervalo de tiempo percibido por dicha partícula.
Campos
Cuando se consideran campos o distribuciones continuas de masa se necesita algún tipo de generalización para la
noción de partícula. Un campo físico posee momentum y energía distribuidos en el espacio-tiempo, el concepto de
cuadrimomento se generaliza mediante el llamado tensor de energía-impulso que representa la distribución en el
espacio-tiempo tanto de energía como de momento lineal. A su vez un campo dependiendo de su naturaleza puede
representarse por un escalar, un vector o un tensor. Por ejemplo el campo electromagnético se representa por un
tensor de segundo orden totalmente antisimétrico o 2-forma. Si se conoce la variación de un campo o una
distribución de materia, en el espacio y en el tiempo entonces existen procedimientos para construir su tensor de
energía-impulso.
Magnitudes físicas
En relatividad, estas magnitudes físicas son representadas por vectores 4-dimensionales o bien por objetos
matemáticos llamados tensores, que generalizan los vectores, definidos sobre un espacio de cuatro dimensiones.
Matemáticamente estos 4-vectores y 4-tensores son elementos definidos del espacio vectorial tangente al
espacio-tiempo (y los tensores se definen y se construyen a partir del fibrado tangente o cotangente de la variedad
que representa el espacio-tiempo).
Teoría de la relatividad 148
Punto Evento
Longitud Intervalo
Velocidad Cuadrivelocidad
Momentum Cuadriamomentum
El intervalo relativista
El intervalo relativista puede definirse en cualquier espacio-tiempo, sea éste plano como en la relatividad especial, o
curvo como en relatividad general. Sin embargo, por simplicidad, discutiremos inicialmente el concepto de intervalo
para el caso de un espacio-tiempo plano. El tensor métrico del espacio-tiempo plano de Minkowski se designa con la
letra , y en coordenadas galileanas o inerciales toma la siguiente forma:[5]
El intervalo, la distancia tetradimensional, se representa mediante la expresión , que se calcula del siguiente
modo:
Los intervalos pueden ser clasificados en tres categorías: Intervalos espaciales (cuando es negativo),
temporales (si es positivo) y nulos (cuando ). Como el lector habrá podido comprobar, los intervalos
nulos son aquellos que corresponden a partículas que se mueven a la velocidad de la luz, como los fotones: La
distancia recorrida por el fotón es igual a su velocidad (c) multiplicada por el tiempo y por lo tanto el
intervalo se hace nulo.
Teoría de la relatividad 149
Análisis
El único problema con esta hipótesis, es que a el entrar en un agujero negro, se anula el espacio tiempo, y como ya
sabemos, algo que contenga algún volumen o masa, debe tener como mínimo un espacio donde ubicarse, el tiempo
en ese caso, no tiene mayor importancia, pero el espacio juega un rol muy importante en la ubicación de volúmenes,
por lo que esto resulta muy improbable, pero no imposible para la tecnología.
Podemos escoger otro episodio histórico
todavía más ilustrativo: El de la estrella de
Belén, tal y como fue interpretada por
Johannes Kepler. Este astrónomo alemán
consideraba que dicha estrella se
identificaba con una supernova que tuvo
lugar el año 5 a. C., cuya luz fue observada
Imagen de la galaxia Andrómeda tomada por el telescopio Spitzer. ¿Pueden llegar
por los astrónomos chinos contemporáneos,
hasta nosotros sucesos acaecidos tan sólo 100.000 años atrás? Evidentemente no.
y que vino precedida en los años anteriores Se dice por tanto que entre tales eventos y nosotros existe un intervalo espacial.
por varias conjunciones planetarias en la
constelación de Piscis. Esa supernova probablemente estalló hace miles de años atrás, pero su luz no llegó a la tierra
hasta el año 5 a. C. De ahí que el intervalo existente entre dicho evento y las observaciones de los astrónomos
egipcios y megalíticos (que tuvieron lugar varios siglos antes de Cristo) sea un intervalo espacial, pues la radiación
Teoría de la relatividad 150
de la supernova nunca pudo llegarles. Por el contrario, la explosión de la supernova por un lado, y las observaciones
realizadas por los tres magos en Babilonia y por los astrónomos chinos en el año 5 a. C. por el otro, están unidas
entre sí por un intervalo temporal, ya que la luz sí pudo alcanzar a dichos observadores.
El tiempo propio y el intervalo se relacionan mediante la siguiente equivalencia: , es decir, el intervalo es
igual al tiempo local multiplicado por la velocidad de la luz. Una de las características tanto del tiempo local como
del intervalo es su invarianza ante las transformaciones de coordenadas. Sea cual sea nuestro punto de referencia, sea
cual sea nuestra velocidad, el intervalo entre un determinado evento y nosotros permanece invariante.
Esta invarianza se expresa a través de la llamada geometría hiperbólica: La ecuación del intervalo tiene la
estructura de una hipérbola sobre cuatro dimensiones, cuyo término independiente coincide con el valor del cuadrado
del intervalo ( ), que como se acaba de decir en el párrafo anterior, es constante. Las asíntotas de la
hipérbola vendrían a coincidir con el cono de luz.
momentum tridimensional ( ).
Como tanto la velocidad de la luz como el cuadrimomentum son magnitudes conservadas, también lo es su producto,
al que se le da el nombre de energía conservada ( ), que en los cuerpos con masa equivale a la masa
multiplicada por la velocidad de la luz al cuadrado ( , la famosa fórmula de Einstein) y en los fotones
al momentum multiplicado por la velocidad de la luz ( )
Componentes
Energía
Intervalo
Cuadrivelocidad Cuadrivelocidad
no definida
Aceleración Aceleración
(sistemas inerciales) no definida
(sistemas no inerciales)
Teoría de la relatividad 152
Cuadrimomentum
Sin embargo, estas ecuaciones no son compatibles con la Relatividad Especial por dos razones:
• En primer lugar la masa no es una magnitud absoluta, sino que su medición deriva en resultados diferentes
dependiendo de la velocidad relativa del observador. De ahí que la densidad de masa no puede servir de
parámetro de interacción gravitatoria entre dos cuerpos.
• En segundo lugar, si el concepto de espacio es relativo, también lo es la noción de densidad. Es evidente que la
contracción del espacio producida por el incremento de la velocidad de un observador, impide la existencia de
densidades que permanezcan invariables ante las transformaciones de Lorentz.
Por todo ello, resulta necesario prescindir del término , situado en el lado derecho de la fórmula de Poisson
y sustituirlo por un objeto geométrico-matemático que permanezca invariante ante las transformaciones de
Lorentz: Dicho objeto fue definido por Einstein en sus ecuaciones de universo y recibe el nombre de tensor de
energía-momentum ( ). Sus coeficientes describen la cantidad de tetramomentum que atraviesa una
hipersuperficie , normal al vector unitario .
De este modo, el tensor de energía momentum puede expresarse mediante la siguiente ecuación:
,
Teoría de la relatividad 153
Puesto que además la tetravelocidad del fluido respecto al observador en reposo es:
.
como consecuencia de ello, los coeficientes del tensor de tensión-energía son los siguientes:
Podemos, a partir del tensor de tensión-energía, calcular cuánta masa contiene un determinado volumen del fluido:
Retomando la definición de este tensor expuesta unas líneas más arriba, se puede definir al coeficiente como la
cantidad de momentum (esto es, la masa) que atraviesa la hipersuperficie . En el espacio-tiempo de
Minkowski, la hipersuperficie es aquella región que se define por las tres bases vectoriales normales al vector
: es, por tanto, un volumen tridimensional, definido por los vectores base (eje x), (eje y), y
(eje z). Podemos por tanto escribir:
Teoría de la relatividad 154
Del mismo modo, es posible deducir matemáticamente a partir del tensor de tensión-energía la definición
newtoniana de presión, introduciendo en la mentada ecuación cualquier par de índices que sean diferentes de cero:
La hipersuperficie es aquella región del espacio-tiempo definida por los tres vectores unitarios normales a
(se trata de los dos vectores espaciales, y , correspondientes a los ejes y y z; y del vector temporal —o
, como se prefiera—). Esta definición nos permite descomponer la integral de hipersuperficie en una integral
temporal (cuyo integrando viene definido por ) y otra de superficie (esta vez bidimensional, ):
Finalmente, derivamos parcialmente ambos miembros de la ecuación respecto al tiempo, y teniendo en cuenta que la
fuerza no es más que la tasa de incremento temporal del momentum obtenemos el resultado siguiente:
Que contiene la definición newtoniana de la presión como fuerza ejercida por unidad de superficie.
De este modo, el campo eléctrico puede ser entendido como la suma del gradiente del potencial eléctrico más la
derivada temporal del potencial magnético:
Las propiedades del campo electromagnético pueden también expresarse utilizando un tensor de segundo orden
denominado tensor de Faraday y que se obtiene diferenciando exteriormente al vector cuadripotencial
Notas
[1] El espacio euclídeo es una variedad tridimensional. El espacio-tiempo de Minkowski es una variedad de cuatro dimensiones, de las cuales tres
son espaciales y una temporal.
[2] Stanford Encyclopedia of Philosophy. Early Philosophical Interpretations of General Relativity. 2.Machian Positivism. 2.2. A “Relativization
of Inertia”? (http:/ / plato. stanford. edu/ entries/ genrel-early/ ) Consultado: 04/06/2.012
[3] Es decir, el espacio euclídeo. La letra E corresponde a la inicial del matemático Euclides, y el número 3 al número de dimensiones espaciales.
[4] M4 es el espacio-tiempo de Minkowski. M es la inicial de Minokwski y 4 es el número de dimensiones de las que se compone la variedad.
[5] Conviene señalar que existen dos convenciones, la más usada en teoría cuántica relativista usa UNIQ-math-0-7cb7f5d8d4c9782e-QINU y el
resto de componentes negativas, mientras que en cosmología y relatividad se usa más comúnmente UNIQ-math-1-7cb7f5d8d4c9782e-QINU y
el resto de componentes positivas. Ambas convenciones son básicamente equivalentes.
[6] laplaciano: Divergencia de un gradiente.
Referencias
Bibliografía
• Girbau, J.: "Geometria diferencial i relativitat", Ed. Universitat Autònoma de Barcelona, 1993. ISBN
84-7929-776-X.
Enlaces externos
• Wikiquote alberga frases célebres de o sobre Teoría de la relatividad. Wikiquote
• Wikimedia Commons alberga contenido multimedia sobre Teoría de la relatividad. Commons
• La Relatividad sin fórmulas, en eltamiz.com (http://eltamiz.com/relatividad-sin-formulas/) (13-05-09)
• Surveying the shunting line of a ray of light of the space (http://www.homenews.com.br/mod.
php?mod=forum&op=threadview&topicid=78&forumid=6) trd. (en portugués)
Gravedad
La gravedad es una de las cuatro interacciones fundamentales. Origina
la aceleración que experimenta un cuerpo físico en las cercanías de un
objeto astronómico. También se denomina interacción gravitatoria o
gravitación.
Por efecto de la gravedad tenemos la sensación de peso. Si estamos
situados en las proximidades de un planeta, experimentamos una
aceleración dirigida hacia la zona central de dicho planeta —si no
estamos sometidos al efecto de otras fuerzas. En la superficie de la
Tierra, la aceleración originada por la gravedad es 9.81 m/s2,
aproximadamente.
Introducción
La gravedad es una de las cuatro interacciones fundamentales
observadas en la naturaleza. Origina los movimientos a gran escala que
se observan en el universo: la órbita de la Luna alrededor de la Tierra,
las órbitas de los planetas alrededor del Sol, etcétera. A escala
cosmológica es la interacción dominante pues gobierna la mayoría de
los fenómenos a gran escala (las otras tres interacciones fundamentales
son predominantes a escalas más pequeñas, el electromagnetismo
explica el resto de los fenómenos macroscópicos, mientras que la
interacción fuerte y la interacción débil son importantes sólo a escala
subatómica).
donde es el vector unitario que dirigido de la partícula 1 a la 2, esto es, en la dirección del vector
,y es la constante de gravitación universal, siendo su valor aproximadamente 6,674 × 10−11
N·m2/kg2.
Por ejemplo, usando la ley de la gravitación universal, podemos calcular la fuerza de atracción entre la Tierra y un
cuerpo de 50 kg. La masa de la Tierra es 5,974 × 1024 kg y la distancia entre el centro de gravedad de la Tierra
Gravedad 157
(centro de la tierra) y el centro de gravedad del cuerpo es 6378,14 km (igual a 6 378 140 m, y suponiendo que el
cuerpo se encuentre sobre la línea del Ecuador). Entonces, la fuerza es:
La fuerza con que se atraen la Tierra y el cuerpo de 50 kg es 490 062 N (Newtons, Sistema Internacional de
Unidades), lo que representa 50 kgf (kilogramo-fuerza, Sistema Técnico), como cabía esperar, por lo que decimos
simplemente que el cuerpo pesa 50 kg.
Dentro de esta ley empírica, tenemos estas importantes conclusiones:
• Las fuerzas gravitatorias son siempre atractivas. El hecho de que los planetas describan una órbita cerrada
alrededor del Sol indica este hecho. Una fuerza atractiva puede producir también órbitas abiertas pero una fuerza
repulsiva nunca podrá producir órbitas cerradas.
• Tienen alcance infinito. Dos cuerpos, por muy alejados que se encuentren, experimentan esta fuerza.
• La fuerza asociada con la interacción gravitatoria es central.
• A mayor distancia menor fuerza de atracción y a menor distancia mayor la fuerza de atracción
A pesar de los siglos, hoy sigue utilizándose cotidianamente esta ley en el ámbito del movimiento de cuerpos incluso
a la escala del Sistema Solar, aunque esté desfasada teóricamente. Para estudiar el fenómeno en su completitud hay
que recurrir a la teoría de la Relatividad General.
La deformación geométrica viene caracterizada por el tensor métrico que satisface las ecuaciones de campo de
Einstein. La "fuerza de la gravedad" newtoniana es sólo un efecto asociado al hecho de que un observador en reposo
respecto a la fuente del campo no es un observador inercial y por tanto al tratar de aplicar el equivalente relativista de
las leyes de Newton mide fuerzas ficticias dadas por los símbolos de Christoffel de la métrica del espacio tiempo.
La primera de estas ecuaciones da el cambio de la coordenada radial, y la segunda da la dilatación del tiempo
respecto a un observador inercial, situado a una distancia muy grande respecto a la masa que crea el campo. Si se
particularizan esas ecuaciones para el instante inicial en que la partícula está en reposo y empieza a moverse desde la
posición inicial, se llega a que la fuerza aparente que mediría un observador en reposo viene dada por:
Esta expresión coincide con la expresión de la teoría newtoniana si se tiene en cuenta que la dilatación del tiempo
gravitatoria para un observador dentro de un campo gravitatorio y en reposo respecto a la fuente del campo viene
Gravedad 159
dado por:
Ondas gravitatorias
Además, la relatividad general predice la propagación de ondas gravitatorias. Estas ondas sólo podrían ser medibles
si las originan fenómenos astrofísicos violentos, como el choque de dos estrellas masivas o remanentes del Big Bang.
Estas ondas han sido detectadas[cita requerida] de forma indirecta en la variación del periodo de rotación de púlsares
dobles. Por otro lado, las teorías cuánticas actuales apuntan a una "unidad de medida de la gravedad", el gravitón,
como partícula que provoca dicha "fuerza", es decir, como partícula asociada al campo gravitatorio.
Efectos gravitatorios
Con la ayuda de esta nueva teoría, se pueden observar y estudiar una nueva serie de sucesos antes no explicables o
no observados:
• Desviación gravitatoria de luz hacia el rojo en presencia de campos con intensa gravedad: la frecuencia de la luz
decrece al pasar por una región de elevada gravedad. Confirmado por el experimento de Pound y Rebka (1959).
• Dilatación gravitatoria del tiempo: los relojes situados en condiciones de gravedad elevada marcan el tiempo más
lentamente que relojes situados en un entorno sin gravedad. Demostrado experimentalmente con relojes atómicos
situados sobre la superficie terrestre y los relojes en órbita del Sistema de Posicionamiento Global (GPS por sus
siglas en inglés). También, aunque se trata de intervalos de tiempo muy pequeños, las diferentes pruebas
realizadas con sondas planetarias han dado valores muy cercanos a los predichos por la relatividad general.
• Efecto Shapiro (dilatación gravitatoria de desfases temporales): diferentes señales atravesando un campo
gravitatorio intenso necesitan mayor tiempo para hacerlo.
• Decaimiento orbital debido a la emisión de radiación gravitatoria. Observado en púlsares binarios.
• Precesión geodésica: debido a la curvatura del espacio-tiempo, la orientación de un giroscopio en rotación
cambiará con el tiempo. Esto está siendo puesto a prueba por el satélite Gravity Probe B.
Otro punto difícil, es que de acuerdo con los principios cuánticos, el campo gravitatorio debería manifestarse en
"cuantos" o partículas bosónicas transmisoras de la influencia gravitatoria. Dadas las características del campo
gravitatorio, la supuesta partícula que transmitiría la interacción gravitatoria, llamada provisionalmente gravitón,
debería ser una partícula sin masa (o con una masa extremadamente pequeña) y un espín de . Sin embargo, los
experimentos de detección de ondas gravitatorias todavía no han encontrado evidencia de la existencia del gravitón,
por lo que de momento no es más que una conjetura física que podría no corresponderse con la realidad.
Referencias
[1] Michio Kaku, El universo de Einstein, p. 76.
Bibliografía
• Halliday, David; Robert Resnick; Kenneth S. Krane (2001) (en inglés). Physics v. 1. New York: John Wiley &
Sons. ISBN 0-471-32057-9.
• Serway, Raymond A.; Jewett, John W. (2004) (en inglés). Physics for Scientists and Engineers (6ª edición).
Brooks/Cole. ISBN 0-534-40842-7.
• Tipler, Paul Allen; Gene Mosca (2004) (en inglés). Physics for Scientists and Engineers: Mechanics, Oscillations
and Waves, Thermodynamics (5ª edición). W.H. Freeman & Company. pp. 650. ISBN 0-7167-0809-4.
• Wald, Robert M. (1994) (en inglés). Quantum Field Theory in Curved Spacetime and Black Hole
Thermodynamics (http://books.google.com.ar/books?id=Iud7eyDxT1AC&printsec=frontcover&
client=firefox-a&source=gbs_v2_summary_r&cad=0). Chicago University Press. pp. 205. ISBN 0-226-87027-8.
• Wald, Robert M. (1984) (en inglés). General Relativity (12ª edición). Chicago University Press. pp. 491. ISBN
0-226-87033-2.
Enlaces externos
• Wikcionario tiene definiciones para gravedad.Wikcionario
• Wikimedia Commons alberga contenido multimedia sobre Gravedad. Commons
• Wikiquote alberga frases célebres de o sobre Gravedad. Wikiquote
• Medida de la constante G de la Gravitación Universal, en sc.ehu.es (http://www.sc.ehu.es/sbweb/fisica/
celeste/constante/constante.htm) (ac. 04-04-09)
• http://curious.astro.cornell.edu/question.php?number=310
• Los secretos de la gravedad Astronoo (https://appwrite