Cuadrivector

N
Un cuadrivector es la representación matemática en forma de vector de cuatro
dimensiones de una magnitud vectorial en teoría de la relatividad.

Índice
1 Motivación
2 Cuadrivectores en la teoría especial de la relatividad
2.1 Cuadritensores en relatividad especial
2.2 Cuadriescalares en relatividad especial
3 Cuadrivectores en teoría general de la relatividad
4 Véase también
Motivación
Los trabajos de H. A. Lorentz, H. Poincaré, A. Einstein y H. Minkowski sobre el
electromagnetismo clásico llevaron a la idea de que no es posible definir un tiempo
absoluto que transcurre de manera idéntica para todos los observadores con
independencia de su estado de movimiento.

La no existencia de un tiempo absoluto requería que existiera una medida de tiempo

para cada observador. Así, el conjunto de eventos (puntos del espacio-tiempo)
llevaban de manera natural a definir vectores de cuatro dimensiones:

=
(

)
{\displaystyle E=(ct,x,y,z)\,}

donde los cuatro componentes anteriores representaban el instante en que sucedía

algo y las tres coordenadas espaciales donde ocurrían y c es simplemente la
velocidad de la luz (introducida aquí por conveniencia, para que todas las
coordenadas tengan dimensiones de longitud). Los experimentos mostraban que cuando
diversos observadores se ponían a medir sus respectivas coordenadas para el evento
obtenían números diferentes pero éstos guardaban entre sí cierta relación dadas por
unas ecuaciones que más tarde se llamaron transformaciones de Lorentz.

Esas transformaciones de Lorentz de hecho al ser aplicadas a las ecuaciones de

Maxwell y a la fuerza electromagnética que nota una partícula cargada, las dejaban
invariantes en forma. Es decir, diversos observadores medían coordenadas espaciales
y temporales diferentes, encontraban diferentes medidas para la intensidad de campo
eléctrico y magnético, pero las ecuaciones que relacionaban para un mismo
observador tenían la misma forma para todos los observadores inerciales.
Matemáticamente esas transformaciones o relaciones de Lorentz involucran los
componentes de las magnitudes vectoriales y ciertas magnitudes escalares. Un paso
importante fue dado por Poincaré y Minkowski cuando probaron que las
transformaciones de Lorentz podían ser concebidas como rotaciones espacio-
temporales en un espacio-tiempo de cuatro dimensiones.

Así, cuando Albert Einstein formuló su teoría especial de la relatividad, postuló

el principio de covariancia, según el cual las ecuaciones de la física tenían que
tener la misma forma para todos los sistemas de referencia inerciales, eso añadido
a que los componentes de ciertas magnitudes se relacionaban de acuerdo con las
transformaciones de Lorentz llevaba a considerar vectores y tensores sobre un
espacio vectorial de cuatro dimensiones: tres dimensiones espaciales y una
dimensión temporal.

Cuadrivectores en la teoría especial de la relatividad

El espacio-tiempo de la teoría de la relatividad o espacio de Minkowski
(

)
{\displaystyle ({\mathcal {M}},{\boldsymbol {\eta }})} es plano, eso significa que
existe un difeomorfismo entre

4
\mathbb{R} ^{4}. Los cuadrivectores en este caso se obtienen simplemente añadiendo
a los tres componentes de cualquier magnitud vectorial de la mecánica newtoniana un
«escalar newtoniano» de tal manera que formemos vectores con tres componentes
espaciales (las del vector newtoniano) y un componente temporal (el «escalar
newtoniano»), a continuación se presenta la compleción covariante de algunas
magnitudes vectoriales de la mecánica newtoniana:

Cuadrivector velocidad o cuadrivelocidad. De la misma manera que la velocidad en

mecánica newtoniana es la derivada temporal de la posición respecto al tiempo, en
la teoría especial de la relatividad la cuadrivelocidad es la derivada temporal del
cuadrivector posición respecto al tiempo propio de la partícula. Dada la relación
entre el tiempo coordenado y el tiempo propio el cuadrivector velocidad viene dado
por:

=
(

)
=
(

1
−

2
;
1
−

2
)
∈

3
{\displaystyle \mathbf {V} =(\gamma c;\gamma v_{x},\gamma v_{y},\gamma v_{z})=\
left({\frac {c}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}};{\frac {\mathbf {v} }{\sqrt {1-
{\frac {v^{2}}{c^{2}}}}}}\right)\in \mathbb {R} \times \mathbb {R} ^{3}}

Donde

=
(

)
{\displaystyle \mathbf {v} =(v_{x},v_{y},v_{z})} es la velocidad newtoniana
convencional y

\gamma \, es el factor de Lorentz.

Cuadrivector momento o cuadrimomento: es el producto de la cuadrivelocidad por la

masa en reposo y por tanto viene dado por:

=
(

)
=
(

1
−

2
;

1
−

2
)
{\displaystyle \mathbf {P} =m\mathbf {V} =\left({\frac {E}{c}};p_{x},p_{y},p_{z}\
right)=\left({\frac {mc}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}};{\frac {m\mathbf {v} }
{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}\right)}

Cuadrivector aceleración o cuadriaceleración. Se obtiene como la derivada de la

cuadrivelocidad respecto al tiempo propio; reescribiendo el resultado en términos
de la velocidad

{\mathbf {v}} y aceleración

{\mathbf {a}} newtonianas, resulta:

=
(

˙
)
=
(

(
1
−
2

2
)
2
;
(

2
(
1
−

2
)
2
+

1
−

2
)
{\displaystyle \mathbf {A} ={\frac {d\mathbf {V} }{d\tau }}=\left(\gamma {\dot {\
gamma }}c,\gamma {\dot {\gamma }}\mathbf {u} +\gamma ^{2}{\dot {\mathbf {u} }}\
right)=\left({\frac {\mathbf {v} \cdot \mathbf {a} }{c(1-{\frac {v^{2}}
{c^{2}}})^{2}}};{\frac {(\mathbf {v} \cdot \mathbf {a} )\mathbf {v} }{c^{2}(1-{\
frac {v^{2}}{c^{2}}})^{2}}}+{\frac {\mathbf {a} }{1-{\frac {v^{2}}{c^{2}}}}}\
right)}

=
(

4
(

⋅
)

2
+

)
{\displaystyle \mathbf {A} ={\frac {d\mathbf {V} }{d\tau }}=\left(\gamma ^{4}{\frac
{\mathbf {v} \cdot \mathbf {a} }{c}};\gamma ^{4}{\frac {(\mathbf {v} \cdot \mathbf
{a} )\mathbf {v} }{c^{2}}}+\gamma ^{2}\mathbf {a} \right)}

Cuadrivector fuerza o cuadrifuerza. Se define como la derivada del momento lineal

respecto al tiempo propio por lo que resulta ser:

=
(

)
=
(

1
−

2
;

1
−

2
)
{\displaystyle \mathbf {F} ={\frac {d\mathbf {P} }{d\tau }}=\left(\gamma {\dot {\
gamma }}mc,\gamma \mathbf {f} \right)=\left({\frac {\mathbf {f} \cdot \mathbf {v} }
{c{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}};{\frac {\mathbf {f} }{\sqrt {1-{\frac
{v^{2}}{c^{2}}}}}}\right)}
Cuadrivector de densidad de corriente. En un sistema de cargas en movimiento se
define la densidad de corriente al flujo de carga tridimensional

{\displaystyle \mathbf {j} _{e}} como la cantidad de carga que pasa a través de un
punto del espacio por unidad de tiempo y por unidad de superficie. En relatividad
la magnitud correspondiente se obtiene agregándole la densidad de carga eléctrica:

=
(

)
=
(

)
{\displaystyle \mathbf {J} =(\rho _{e}c,\rho _{e}v_{x},\rho _{e}v_{y},\rho
_{e}v_{z})=\left(\rho _{e}c,\mathbf {j} _{e}\right)}
Cuadrivector de potencial. El potencial escalar del electromagnetismo clásico,
junto con el potencial vector, cuyo rotacional da el campo magnético, forman juntos
un cuadrivector dado por:

=
(

,
)
{\displaystyle \mathbf {A} =(\phi /c,A_{x},A_{y},A_{z})}

Cuadritensores en relatividad especial

Además algunas otras magnitudes tratadas en mecánica newtoniana como pseudovectores
o vectores axiales, como el momento angular y el campo magnético corresponden en
mecánica relativista al dual de Hodge de los componentes espaciales de un tensor
antisimétrico:

Cuadritensor momento angular. Es el producto tensorial antisimetrizado del

cuadrimomento por un cuadrivector de posición:

=
(
0

−
−

0
)
=
(
0

0
)
{\displaystyle \mathbf {L} ={\begin{pmatrix}0&ctp_{x}-Ex/c&ctp_{y}-Ey/c&ctp_{z}-
Ez/c\\Ex/c-ctp_{x}&0&xp_{y}-yp_{x}&xp_{z}-zp_{x}\\Ey/c-ctp_{y}&yp_{x}-
xp_{y}&0&yp_{z}-zp_{y}\\Ez/c-ctp_{z}&zp_{x}-xp_{z}&zp_{y}-yp_{z}&0\end{pmatrix}}={\
begin{pmatrix}0&r_{x}&r_{y}&r_{z}\\-r_{x}&0&L_{z}&-L_{y}\\-r_{y}&-L_{z}&0&L_{x}\\-
r_{z}&L_{y}&-L_{x}&0\end{pmatrix}}}

Puede verse que los tres componentes espaciales forman el momento angular de la
mecánica newtoniana

=
(

)
{\displaystyle \mathbf {l} =(L_{x},L_{y},L_{z})} y el resto de componentes
(
,

)
(r_{x},r_{y},r_{z})\, describen el movimiento del centro de masas relativista.

Cuadritensor campo electromagnético:

=
(

00

01

02

03

10

11

12

13

20

21

22

23

30

31

32

33
)
=
(
0

/
/

0
)
{\displaystyle \mathbf {F} ={\begin{pmatrix}F_{00}&F_{01}&F_{02}&F_{03}\\
F_{10}&F_{11}&F_{12}&F_{13}\\F_{20}&F_{21}&F_{22}&F_{23}\\
F_{30}&F_{31}&F_{32}&F_{33}\end{pmatrix}}={\begin{pmatrix}0&E_{x}/c&E_{y}/c&E_{z}/
c\\-E_{x}/c&0&B_{z}&-B_{y}\\-E_{y}/c&-B_{z}&0&B_{x}\\-E_{z}/c&B_{y}&-B_{x}&0\
end{pmatrix}}}
Cuadriescalares en relatividad especial
Además de cuadrivectores y cuadritensores algunas magnitudes relativistas son
tensores de orden cero, es decir, escalares. Entre los escalares relativistas más
importantes están:

Intervalo de espacio-tiempo:
Δ

2
=
=

2
Δ

2
−
Δ

2
−
Δ

2
−
Δ

2
{\displaystyle \Delta s^{2}=x^{a}x^{b}\eta _{ab}=c^{2}\Delta t^{2}-\Delta x^{2}-\
Delta y^{2}-\Delta z^{2}\,}
Tiempo propio (para intervalos timelike):
Δ

=
Δ

2
,
Δ

2
>
0
{\displaystyle \Delta \tau ={\sqrt {\frac {\Delta s^{2}}{c^{2}}}},\,\Delta s^{2}>0}
Masa en reposo:

0
2

2
=

2
−
2
−

2
−

2
{\displaystyle m_{0}^{2}c^{2}=p^{a}p^{b}\eta _{ab}={\frac {E^{2}}{c^{2}}}-
p_{x}^{2}-p_{y}^{2}-p_{z}^{2}}
Invariante electromagnético:

2
(

2
−

2
)

=
2

→
⋅

→
)
{\displaystyle F_{ab}F^{ab}=\ 2\left(B^{2}-{\frac {E^{2}}{c^{2}}}\right)\qquad
G_{cd}F^{cd}=\epsilon _{abcd}F^{ab}F^{cd}={\frac {2}{c}}\left({\vec {B}}\cdot {\vec
{E}}\right)}
Cuadrivectores en teoría general de la relatividad
En la teoría general de la relatividad el espacio-tiempo
(

)
{\displaystyle ({\mathcal {M}},\mathbf {g} )} se representa por una variedad
pseudoriemanniana definida por un tensor métrico que varía de un punto a otro del
espacio. Además debido a la curvatura del espacio-tiempo los espacios tangentes de
dos puntos diferentes del espacio-tiempo tienen en general orientaciones
diferentes. Eso impide, como pasaba con el espacio de Minkowski de la relatividad
especial, identificar directamente los puntos de la variedad

\mathcal{M} con el espacio vectorial tangente de dicha variedad. Un campo vectorial

sobre un espacio-tiempo curvo es una aplicación que a cada punto de la variedad le
asigna un elemento del fibrado tangente de la variedad:

)
,

{\displaystyle \mathbf {U} :{\mathcal {M}}\to T{\mathcal {M}},\qquad \mathbf {U}

=U^{\alpha }(\mathbf {x} )\mathbf {e} _{\alpha }(\mathbf {x} ),\ \mathbf {x} \in {\
mathcal {M}}}

Por eso todos los cuadrivectores y cuadritensores en teoría de la relatividad

general en cada punto son elementos del espacio tangente de ese punto. Eso complica
el aparato matemático porque cuando se comparan magnitudes tensoriales o
vectoriales en diferentes puntos del espacio, los espacios vectoriales tangentes
sobre los que están definidos no tienen la misma orientación. Para poder hacer
comparaciones entre diferentes puntos, calcular derivadas de magnitudes físicas,
etc., se requiere una conexión matemática que permita definir una derivada
covariante, de tal manera que las magnitudes físicas satisfacen ecuaciones que
cumplen con el principio de covariancia.

La cuadrivelocidad y el cuadrimomento en relatividad general se definen como:

=

{\displaystyle V^{\alpha }={\frac {dx^{\alpha }}{d\tau }},\qquad P^{\alpha }=mV^{\

alpha }}

Siendo
{\displaystyle \scriptstyle \tau } el tiempo propio de la partícula, que en
general dependerá de la trayectoria seguida por la partícula
(

0
(

)
,

1
(

)
,

2
(

)
,

3
(

)
)
{\displaystyle \scriptstyle (x^{0}(\lambda ),x^{1}(\lambda ),x^{2}(\lambda ),x^{3}
(\lambda ))}mediante la relación:

=
1

∫
0

−
[

00

00

{\displaystyle \tau _{f}={\frac {1}{c}}\int _{0}^{\lambda _{f}}{-\left[g_{00}{\

frac {dx^{0}}{d\lambda }}+{\frac {g_{0\alpha }}{\sqrt {g_{00}}}}{\frac {dx^{\
alpha }}{d\lambda }}\right]}d\lambda }

Por otra parte la cuadriaceleración y la cuadrifuerza requieren el uso de la

derivada covariante y por tanto de la conexión matemática asociada a la métrica y
expresada mediante los símbolos de Christoffel:

=
(

+
Γ
)

+
Γ

{\displaystyle {\begin{cases}A^{\alpha }={\cfrac {DV^{\alpha }}{D\tau }}=V^{\

beta }\nabla _{\beta }V^{\alpha }=\left({\cfrac {dV^{\alpha }}{dx^{\beta }}}+\Gamma
_{\mu \beta }^{\alpha }V^{\mu }\right)V^{\beta }={\cfrac {dV^{\alpha }}{d\tau }}+\
Gamma _{\mu \beta }^{\alpha }V^{\mu }V^{\beta }\\f^{\alpha }=mA^{\alpha }\
end{cases}}}

Véase también
Anexo:Glosario de relatividad
Control de autoridades
Proyectos WikimediaWd Datos: Q844610IdentificadoresGND: 4316557-6
Categoría: Relatividad