2.2: Planitud
- Page ID
- 126550
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Objetivos de aprendizaje
- Estudiar el concepto de transporte paralelo
- Planitud del espacio-tiempo
Fracaso del paralelismo
En Postulado P1 asumimos implícitamente que dados dos puntos, había un cierto vector que los conectaba. Esto es análogo al postulado euclidiano de que dos puntos definen una línea. Para obtener una idea, pensemos en cómo podría fallar la versión euclidiana de esta suposición. La geometría euclidiana es solo una descripción aproximada de la superficie terrestre, por ejemplo, y es por ello que los mapas planos siempre conllevan distorsiones de las formas reales. Las distorsiones podrían ser despreciables en un mapa de Connecticut, pero severas para un mapa del mundo entero. Es decir, el globo es sólo localmente euclidiana. Sobre una superficie esférica, el objeto apropiado para desempeñar el papel de una “línea” es un gran círculo, Figura\(\PageIndex{1}\). Las líneas de longitud son ejemplos de grandes círculos, y como todos estos coinciden en los polos, podemos ver que dos puntos no determinan una línea en geometría noneúclida.
Un error bidimensional que vive en la superficie de una esfera no podría decir que la esfera estaba incrustada en una tercera dimensión, pero aún así podría detectar la curvatura de la superficie. Se podía decir que los postulados de Euclides eran falsos en escalas de gran distancia. En la figura se muestra un método que tiene un mejor análogo en el espacio-tiempo\(\PageIndex{2}\): transportar un vector de un punto a otro depende de la trayectoria por la que se transportó. Este efecto es nuestra definición de curvatura.
Figura\(\PageIndex{2}\) : Transportar el vector a lo largo de la ruta\(\overrightarrow{AC}\) da un resultado diferente al de hacerlo a lo largo de la ruta ABC.
Transporte Paralelo
El tipo particular de transporte que tenemos en mente aquí se llama transporte paralelo. Cuando camino de la sala a la cocina mientras llevo un giroscopio mecánico, estoy en paralelo transportando el vector espacial indicado por la dirección de su eje. La figura\(\PageIndex{3}\) muestra que el transporte paralelo también se puede definir para vectores similares al tiempo, y que el transporte paralelo se puede definir en espacio-tiempo usando solo movimiento inercial, relojes e intersección de líneas mundiales. Los observadores a bordo de las dos naves espaciales utilizan relojes para verificar el paralelismo de sus líneas mundiales (vectores\(\overrightarrow{AB}\) y\(\overrightarrow{CD}\), que tienen la misma longitud medida por el tiempo adecuado transcurrido a bordo de las naves). Observer\(\overrightarrow{AB}\) dispara relojes a observador\(\overrightarrow{CD}\), y los relojes se configuran de manera que cuando pasan uno junto al otro, automáticamente registren las lecturas del otro. Los vectores son paralelos si el registro posteriormente revela\(\overrightarrow{AD}\) e\(\overrightarrow{BC}\) intersectó en sus puntos medios, medidos por los tiempos apropiados registrados en los relojes.
La relatividad especial requiere espacio-tiempo plano
Escondida en una serie de manchas en el Capítulo 1 fue la siguiente suposición.
Postulado 2 (P2): Planitud del espacio-tiempo
El transporte paralelo de un vector de un punto a otro da un resultado que es independiente del camino por el que fue transportado.
La propiedad P2 es solo aproximadamente cierta, como lo muestra explícitamente el satélite Gravity Probe B, lanzado en 2004. La sonda portaba cuatro giroscopios hechos de cuarzo., que fueron las esferas más perfectas jamás fabricadas, variando desde la esfericidad en no más de aproximadamente\(40\) átomos. Después de un año y alrededor de\(5000\) órbitas alrededor de la tierra, se encontró que los giroscopios habían cambiado sus orientaciones en relación con las estrellas distantes en aproximadamente\(3 \times 10^{-6}\) radianes (figura\(\PageIndex{4}\)). Esta es una violación de P2, pero una que era muy pequeña y difícil de detectar. El resultado estuvo en buena concordancia con las predicciones de la relatividad general, que describe la gravedad como una curvatura del espacio-tiempo. La pequeñez del efecto nos dice que el campo gravitacional de la tierra no es tan grande como para invalidar completamente la relatividad especial como una descripción de la región cercana del espacio-tiempo.
Uno de los supuestos básicos de la relatividad general es que en una región suficientemente pequeña del espacio-tiempo, siempre es una buena aproximación asumir P2, de manera que la relatividad general es localmente la misma que la relatividad especial. En el experimento Gravity Probe B, el efecto fue pequeño y difícil de detectar, y esta fue la razón para dejar que el efecto se acumulara sobre una gran cantidad de órbitas, abarcando una gran región del espacio-tiempo. El problema Q5 en la sección de ejercicios investiga más cuantitativamente cómo varía el tamaño de los efectos de curvatura con el tamaño de la región.