3: Geometría Diferencial
- Page ID
- 127124
\( \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}\)La geometría diferencial utiliza las técnicas de cálculo diferencial, cálculo integral, álgebra lineal y álgebra multilineal para estudiar problemas en geometría.
- 3.1: Introducción a la Geometría Diferencial
- La relatividad general se describe matemáticamente en el lenguaje de la geometría diferencial. Tomemos esos dos términos en orden inverso. La geometría del espacio-tiempo no es euclidiana.
- 3.2: Vectores tangentes
- La noción física de primer año de un vector lleva todo tipo de bagaje, incluyendo ideas como la rotación de vectores y una magnitud que es positiva para vectores distintos de cero. También se solía asumir la capacidad de representar vectores como flechas, es decir, figuras geométricas de tamaño finito que podrían transportarse a otros lugares —pero en una geometría curva, en general no es posible transportar una figura a otra ubicación sin distorsionar su forma, por lo que no hay noción de congruencia.
- 3.3: Nociones afines y transporte paralelo
- Queremos poder medir las cosas en el espacio-tiempo curvo. Resulta que existen dos sistemas complementarios de medición que podemos aplicar: medida afín y medida métrica.
- 3.4: Modelos
- Una primera reacción típica a la frase “espacio-tiempo curvo” —o incluso “espacio curvo”, para el caso— es que suena como una tontería. ¿Cómo se puede curvar o distorsionar el espacio vacío sin rasgos?
- 3.5: Cantidades intrínsecas
- Los modelos pueden ser peligrosos, porque pueden tentarnos a imputar la realidad física a rasgos que son puramente extrínsecos, es decir, que sólo están presentes en ese modelo en particular. Esto se opone a las características intrínsecas, que están presentes en todos los modelos, y que por lo tanto están implícitas lógicamente por los axiomas del propio sistema. La existencia del lunes es claramente una característica intrínseca de las geometrías no euclidianas, ya que la intersección de líneas se definió antes de que se hubiera propuesto algún modelo.
- 3.6: La Métrica (Parte 1)
- La noción puramente afín de vectores y sus duales no es suficiente para definir la longitud de un vector en general; sólo es suficiente definir una longitud relativa a otras longitudes a lo largo de una misma geodésica. Cuando los vectores se encuentran a lo largo de diferentes geodésicas, necesitamos poder especificar el factor de conversión adicional que nos permita comparar uno con otro. A la pieza de maquinaria que nos permite hacer esto se le llama métrica.
- 3.7: La Métrica (Parte 2)
- El conjunto de todas las transformaciones que se pueden construir a partir de sucesivas traslaciones, rotaciones y reflexiones se llama el grupo de isometrías. También se puede definir como el grupo que conserva los productos punteados, o el grupo que conserva la congruencia de triángulos.
- 3.8: La Métrica en la Relatividad General
- Cuando hay masas presentes, encontrar la métrica es análogo a encontrar el campo eléctrico hecho por cargas, pero la interpretación es más difícil. En el caso electromagnético, el campo se encuentra sobre un fondo preexistente de espacio y tiempo. En la relatividad general, no hay geometría preexistente del espacio-tiempo. La métrica nos dice cómo encontrar distancias en términos de nuestras coordenadas, pero las coordenadas en sí mismas son completamente arbitrarias.
- 3.9: Interpretación de la Independencia Coordinada
- En esta sección se discuten algunas de las cuestiones que surgen en la interpretación de la independencia coordinada. Se puede omitir en una primera lectura.
Miniaturas: Un triángulo inmerso en un plano en forma de silla de montar (un paraboloide hiperbólico), así como dos líneas ultraparallel divergentes. (Dominio Público; LucasVB).