Curso de Relatividad General

 Algunas dudas, asistido por IA

 

Estoy revisando tarjetas didácticas basadas en las fuentes y me gustaría entender mejor una de ellas.

En el anverso pone: "Si $\psi' \circ f \circ \phi'^{-1}$ y $\psi \circ f \circ \phi^{-1}$ son dos representantes locales de $f$, ¿cómo se relacionan?" La respuesta del anverso es: "Se relacionan mediante las funciones de transición: $\psi' \circ f \circ \phi'^{-1}$ = $\psi' \circ \psi^{-1} \circ \psi$ $ \circ f \circ \phi^{-1} \circ $  $\phi \circ \phi'^{-1}$  .

¿Podrías explicarme este tema más detalladamente?

Nota: creo que sobra el último "elevado a -1"  y creo que debe ser $\psi' \circ f \circ \phi'^{-1}$ = $\psi' \circ \psi^{-1} \circ $  $ \psi \circ f \circ \phi^{-1}\circ $   $\phi \circ \phi'^{-1}$

La tarjeta didáctica que describes aborda el concepto fundamental del Cambio de Coordenadas (o cambio de cartas) en geometría diferencial. Aunque las fuentes que me has proporcionado se centran en el álgebra lineal de los espacios tangentes (vectores, covectores y tensores), estas contienen la clave para entender la versión "linealizada" de lo que dice tu tarjeta.

Aquí tienes una explicación detallada conectando la teoría de tu tarjeta con los cálculos prácticos de tus fuentes.

1. El Concepto: "El Sándwich" de Funciones

La fórmula de la tarjeta describe cómo se ve una misma función abstracta $f$ desde dos "puntos de vista" (sistemas de coordenadas) diferentes.

Imagina que $f$ es una operación abstracta en una variedad. Para calcular con ella, necesitamos "bajarla" a $\mathbb{R}^n$ usando mapas (cartas) como $\phi$ y $\psi$.

• Representante antiguo: $\psi \circ f \circ \phi^{-1}$ (Es la función escrita en las coordenadas "sin prima").
• Representante nuevo: $\psi' \circ f \circ \phi'^{-1}$ (Es la función escrita en las coordenadas "prima").

La relación larga es simplemente una cadena de traducción:

1. Entrada ($\phi \circ \phi'^{-1}$): Traduces tus coordenadas nuevas (prima) a las antiguas para que la función vieja las entienda.
2. Proceso ($\psi \circ f \circ \phi^{-1}$): Aplicas la función en el sistema antiguo.
3. Salida ($\psi' \circ \psi^{-1}$): Traduces el resultado del sistema antiguo al nuevo.

2. Conexión con tus Fuentes: La Linealización

Tus fuentes explican qué ocurre cuando aplicamos este cambio de coordenadas "haciendo zoom" en un punto específico (nivel infinitesimal). Esto se conoce como Cambio de Base.

En las fuentes, el cambio de coordenadas no lineal se sustituye por su derivada (la matriz Jacobiana), representada como la matriz $A$.

• Funciones de Transición $\to$ Matriz de Cambio de Base: En la fuente ****, se definen dos bases $e_i$ y $e'_i$. La relación entre ellas se da mediante una matriz de transformación: $$e'_i = A^j_i e_j$$ Esta matriz $A$ (y su inversa $A^{-1}$) son equivalentes a las derivadas de las funciones de transición que menciona tu tarjeta ($\phi \circ \phi'^{-1}$ y viceversa).

• Transformación de Componentes: Tu tarjeta pregunta cómo cambia la representación de $f$. Las fuentes muestran esto explícitamente para el caso de vectores. En la fuente ****, se ve cómo cambian las componentes de un vector $v$ bajo un cambio de base: $$v'^i = (A^{-1})^j_i v^j$$ Observa el paralelismo: para obtener el "nuevo" vector ($v'$), tomas el "viejo" ($v$) y le aplicas una matriz de transición ($A^{-1}$). Esto es exactamente lo que hace tu fórmula de la tarjeta, pero a nivel de funciones completas en lugar de solo vectores tangentes.

• Generalización a Tensores: La fuente **** muestra la fórmula más general y compleja que sigue la misma lógica de "sándwich" que tu tarjeta. Para transformar un tensor $T$, lo rodeas de matrices de cambio de base ($A$ y $A^{-1}$): $$T'^{ij}{kl} = (A^{-1})^i_r (A^{-1})^j_s A^p_k A^q_l T^{rs}{pq}$$ Aquí, $(A^{-1})$ transforma los índices de arriba (salida/contravariantes) y $A$ transforma los de abajo (entrada/covariantes).

3. Explicación de la notación en la tarjeta

La parte final de tu tarjeta dice: $\dots \circ (\phi \circ \phi'^{-1})^{-1}$. Esto es simplemente la inversa de la transición. Matemáticamente, la inversa de "ir de nuevo a viejo" es "ir de viejo a nuevo". En tus fuentes, esto se refleja en el uso explícito de $A$ y $A^{-1}$. Por ejemplo, en la fuente **** se concluye explícitamente que la transformación inversa de la base dual usa la matriz inversa: $$e'^i = (A^{-1})^i_j e^j$$

Resumen Analógico

Imagina que la función $f$ es una receta de cocina escrita en inglés (coordenadas antiguas).

• Tú solo hablas español (coordenadas nuevas, primas).
• Tu tarjeta dice: Para usar la receta (Representante Nuevo), necesitas:
  1. Traducir tus ingredientes de español a inglés (Transición de entrada).
  2. Seguir la receta en inglés (Representante antiguo).
  3. Traducir el plato final de inglés a español (Transición de salida).

Tus fuentes matemáticas se encargan de calcular exactamente cuánto debes convertir cada ingrediente (los vectores y tensores) usando las matrices de cambio $A$ y $A^{-1}$.

Háblame de la aplicación bemol

El término específico "aplicación bemol" no se encuentra directamente definido en las fuentes proporcionadas. Sin embargo, en el contexto de la geometría diferencial y el cálculo tensorial, la palabra "bemol" (flat, $\flat$) se asocia comúnmente con una operación fundamental que transforma un vector en una 1-forma (o, más generalmente, baja un índice contravariante a covariante) utilizando el tensor métrico.

A continuación, se describe esta operación y su contexto, según la información disponible en los documentos:

Contexto General: Tensores y Métrica

El cálculo tensorial permite la operación conocida como ley de subir o bajar índices. Esta operación es fundamental y solo puede realizarse en una variedad riemanniana o pseudoriemanniana $(\mathcal{M}, g_{ij})$, donde la métrica $g_{ij}$ (y su inverso $g^{ij}$, llamado co-tensor métrico) existe.

La métrica se define como un campo tensorial C$^{\infty}$ de tensores métricos de tipo (0, 2).

Mecanismo de la Transformación (Bajar Índices)

El propósito de "bajar índices" es crear un isomorfismo entre espacios de tensores contravariantes y covariantes. Este proceso permite, por ejemplo, transformar un campo vectorial (un tensor de tipo (1, 0)) en un campo de una-formas (un tensor de tipo (0, 1)).

Formalmente, la transformación se realiza mediante la contracción con el tensor métrico $g_{ij}$. Dada una métrica $G$ y un campo de vectores $V = V^i \partial_i$, la operación para convertirlo en un campo de uno-formas $\omega$ es:

$$\mathbf{V} = V^{i} \partial_{i} \quad \longrightarrow \quad \omega = g_{i j} V^{j} d x^{i}$$.

El tensor métrico $g_{ij}$ se comporta como constante en la derivación covariante, lo que permite subir y bajar índices sin afectar las propiedades tensoriales en el cálculo tensorial. En general, esta operación transforma un tensor de tipo $T^k_l$ en otro de tipo $T^{k'}_{l'}$ siempre que la suma de sus órdenes totales se mantenga: $k+l = k'+l'$.

La Derivada de una Función como Caso Particular

Un ejemplo de esta relación es que, dada una función $f$ (un tensor de tipo (0, 0)), se puede asignar a la uno-forma que corresponde a su gradiente $\omega = f,_i dx^i$ el campo vectorial $V = g^{ij} f,_j \partial_i$, que es el "verdadero vector" asociado al gradiente. Esto se logra mediante la combinación de subida y bajada de índices.

En resumen, aunque el término exacto no aparece, el concepto matemático de la aplicación bemol (o la operación de bajar índices) está íntimamente ligado al uso del tensor métrico para convertir vectores en covectores (o 1-formas) y establecer la relación de isomorfismo entre los espacios duales en una variedad semiriemanniana.

La métrica identifica al espacio vectorial con su dual

La afirmación "La métrica identifica al espacio vectorial con su dual" es fundamentalmente correcta y describe un concepto crucial en la geometría diferencial y el cálculo tensorial.

En el contexto de una variedad diferenciable $M$, el espacio vectorial en un punto $p$ es el espacio tangente $T_p(M)$. Su dual, el conjunto de todas las aplicaciones lineales $T_p(M) \to R$, es el espacio cotangente $T^*_p(M)$, cuyos elementos se denominan covectores o uno-formas.

A continuación, se detalla cómo la métrica lleva a cabo esta identificación:

1. El Papel del Tensor Métrico

1. Definición de Métrica: Una métrica $G$ es un campo tensorial $C^\infty$ de tensores métricos de tipo (0, 2) que es simétrico y no singular en cada punto. La presencia de una métrica transforma una variedad en una variedad semiriemanniana (o riemanniana, si la métrica es definida positiva).
2. Métrica como Producto Escalar: En cada punto $p$, la métrica $G$ provee una forma bilineal simétrica (un producto escalar, aunque no necesariamente definido positivo) en el espacio tangente $T_p(M)$. Esta estructura es la que permite medir ángulos y longitudes de los vectores.
3. Condición de Isomorfismo: En álgebra lineal, el espacio vectorial $V$ y su dual $V^*$ son isomorfos si existe una forma bilineal no degenerada (como la métrica) que permite esta correspondencia.

2. El Mecanismo de Identificación (Subir y Bajar Índices)

La identificación se logra a través de la operación de subir o bajar índices (también conocida en otros contextos como la aplicación bemol, $\flat$, para bajar índices), una operación fundamental en el cálculo tensorial.

• Creación del Isomorfismo: La métrica $g_{ij}$ (y su inversa $g^{ij}$) se utiliza para transformar un vector (tensor de tipo (1, 0)) en una uno-forma (tensor de tipo (0, 1)), estableciendo así un isomorfismo entre los espacios duales.

Formalmente, si $V$ es un campo de vectores con componentes contravariantes $V^j$, la operación para bajar el índice (transformar el vector en un covector $\omega$) es: $$\omega = g_{i j} V^{j} d x^{i}$$ Esta es una contracción con el tensor métrico.

• Identificación del Vector Gradiente: Esta identificación es clave para relacionar la derivada de una función con un objeto geométrico. Dada una función escalar $f$, su gradiente $df$ es una uno-forma (un elemento del dual $T^*_p(M)$) con componentes $f,_i dx^i$. La métrica se utiliza para encontrar el "verdadero vector" asociado a ese gradiente, que es un campo vectorial $V$ (un elemento de $T_p(M)$) con componentes $V^i = g^{ij} f,_j$.

De esta manera, la métrica permite el paso directo y biyectivo entre los elementos de $T_p(M)$ y $T^*_p(M)$ , funcionando como el "traductor" que identifica a un espacio vectorial con su dual. El hecho de que la métrica, $g_{ij}$, y su inversa, $g^{ij}$, se comporten como constantes al derivar permite realizar esta subida y bajada de índices sin alterar las propiedades tensoriales.

La distinción entre tensores covariantes y contravariantes (índices inferiores y superiores, respectivamente) surge precisamente de la necesidad de diferenciar entre un objeto que opera sobre el espacio vectorial (covectores) y uno que opera sobre el espacio dual (vectores), o que está formado por sus productos tensoriales. La métrica es la herramienta que cierra el círculo, permitiendo que los elementos de estos dos espacios duales sean tratados de manera equivalente.

En el contexto de variedades diferenciables tengo dos campos de vectores X e Y. ¿Cómo se define X comepuesto con Y? Explícalo de manera breve y concisa

En el contexto de variedades diferenciables, dos campos de vectores $X$ e $Y$ se definen como operadores diferenciales que actúan sobre funciones suaves $f: \mathcal{M} \to \mathbb{R}$.

La composición directa de estos operadores, $X \circ Y$ (es decir, $X(Yf)$), no produce un nuevo campo de vectores en general. Esto se debe a que la composición de dos operadores de primera derivada introduce términos de segunda derivada, lo que hace que el resultado no sea una derivación, que es el requisito fundamental de un campo vectorial.

El concepto geométrico y algebraico correcto que se obtiene al combinar dos campos de vectores $X$ e $Y$ es el corchete de Lie (o conmutador), que sí resulta en un nuevo campo de vectores:

Se define como: $$\mathbf{[X, Y]}f = X(Yf) - Y(Xf)$$.

Esta operación es fundamental porque la resta $X(Yf) - Y(Xf)$ cancela los términos de las derivadas parciales de segundo orden (las "derivadas cruzadas") que surgen de la composición, garantizando que el resultado $[\mathbf{X}, \mathbf{Y}]$ sea nuevamente un campo de vectores.

Bien, entonces explícame con detalle como se define el corchete de Lie de dos campos de vectores en una variedad diferenciable

El corchete de Lie, denotado como $[\mathbf{X}, \mathbf{Y}]$, es la operación fundamental utilizada para combinar dos campos de vectores $\mathbf{X}$ e $\mathbf{Y}$ definidos en una variedad diferenciable $\mathcal{M}$, produciendo un nuevo campo de vectores.

La definición se basa en considerar los campos $\mathbf{X}$ e $\mathbf{Y}$ como operadores diferenciales que actúan sobre funciones suaves $f: \mathcal{M} \to \mathbb{R}$.

Definición formal

El corchete de Lie $[\mathbf{X}, \mathbf{Y}]$ se define como el conmutador de los operadores $\mathbf{X}$ e $\mathbf{Y}$, actuando sobre cualquier función suave $f$ de la siguiente manera:

$$\mathbf{[X, Y]}f = \mathbf{X}(\mathbf{Y}f) - \mathbf{Y}(\mathbf{X}f)$$

Justificación: Cancelación de derivadas de segundo orden

Si bien los campos de vectores $\mathbf{X}$ e $\mathbf{Y}$ son operadores de primera derivada, la composición directa $\mathbf{X}(\mathbf{Y}f)$ introduce términos de segunda derivada.

El motivo de la resta en la definición es que la diferencia $\mathbf{X}(\mathbf{Y}f) - \mathbf{Y}(\mathbf{X}f)$ cancela precisamente los términos de las derivadas parciales de segundo orden que surgen de la composición. Esto asegura que el resultado final, $[\mathbf{X}, \mathbf{Y}]$, sea nuevamente un operador de primera derivada, y por lo tanto, un campo de vectores válido.

En coordenadas locales, dado que un campo vectorial $X$ se expresa como $X = X^i \partial_i$ y $Y = Y^i \partial_i$, el corchete de Lie se expresa concisamente como:

$$[\mathbf{X}, \mathbf{Y}]f = \left( X(\mathbf{Y}^j)\partial_j - Y(\mathbf{X}^j)\partial_j \right)f$$

Esta fórmula lineal en las derivadas parciales de primer orden ($\partial_j$) confirma algebraicamente que la operación resulta en un campo de vectores.

Consecuencias y propiedades

1. Naturaleza Algebraica: El conjunto de todos los campos de vectores suaves, $\mathfrak{X}(\mathcal{M})$, tiene la estructura de un Álgebra de Lie con la operación del corchete. Esta operación satisface dos propiedades clave:
   • Antisimetría: $[\mathbf{X}, \mathbf{Y}] = -[\mathbf{Y}, \mathbf{X}]$
   • Identidad de Jacobi: $[\mathbf{X}, [\mathbf{Y}, \mathbf{Z}]] + [\mathbf{Y}, [\mathbf{Z}, \mathbf{X}]] + [\mathbf{Z}, [\mathbf{X}, \mathbf{Y}]] = 0$
2. Generadores de Flujo: Geométricamente, el corchete de Lie $[\mathbf{X}, \mathbf{Y}]$ mide la conmutatividad de los flujos locales generados por $\mathbf{X}$ e $\mathbf{Y}$. Si el corchete de Lie es nulo, $[\mathbf{X}, \mathbf{Y}] = 0$, los flujos generados por $\mathbf{X}$ y $\mathbf{Y}$ conmutan, lo que significa que el orden en que se aplican las transformaciones no importa.

El corchete de Lie, por lo tanto, codifica cómo la geometría de la variedad reacciona al intentar componer los movimientos definidos por los dos campos vectoriales. Si el corchete no es cero, las trayectorias resultantes dependen del orden en que se siguen los campos, de forma similar a como intentar cerrar un cuadrilátero en una superficie curva podría fallar si las "direcciones cruzadas" no son compatibles.

En el anverso pone: "Dado un mapa liso $h: M \to N$, la operación 'pull-back' $h^*$ transforma una 1-forma en $N$ en una 1-forma en $M$. ¿Cómo se define $h^\omega$ para una 1-forma $\omega$ en $N$ y un vector $v \in T_pM$?" La respuesta del reverso es: "Se define por la relación $(h^*\omega)p(v) = \omega{h(p)}(h_*v)$."

¿Podrías explicarme este tema más detalladamente?

La operación "pull-back" ($h^*$) es un concepto central en la geometría diferencial que permite transportar estructuras covariantes (como las 1-formas) desde una variedad de destino $N$ a una variedad de origen $M$, utilizando un mapa suave $h: M \to N$,,.

La relación que usted cita, $(h^*\omega)p(v) = \omega{h(p)}(h_v)$, es la definición fundamental de la imagen recíproca (pullback) de una 1-forma. Esta definición asegura que el resultado de la operación ($h^\omega$) sea, de hecho, una nueva 1-forma en $M$.

A continuación, se detalla esta relación, desglosando los elementos y su significado, con base en las fuentes:

1. Elementos de la Definición

• 1-Forma ($\omega$) en N: Una 1-forma es un tensor covariante de orden (0, 1),. Es un campo que asigna a cada punto $q \in N$ un covector $\omega_q$, el cual es un funcional lineal que actúa sobre el espacio tangente $T_qN$,,. El resultado de esta acción es un escalar (un número real).
• Vector ($v$) en M: $v \in T_pM$ es un vector tangente en un punto $p$ de la variedad de origen $M$,.
• Pullback ($h^\omega$):* Este es el objeto que se está definiendo. Es una nueva 1-forma que vive en $M$,,. Para ser una 1-forma en $M$, debe tomar un vector tangente en $M$ (como $v$) y producir un escalar.

2. Desglose de la Operación

La definición $(h^*\omega)p(v) = \omega{h(p)}(h_*v)$ establece la igualdad de dos escalares (números reales) obtenidos de dos maneras diferentes,:

1. Lado Izquierdo (LHS): $(h^*\omega)_p(v)$

   • Representa la evaluación de la nueva 1-forma ($h^*\omega$, que vive en $M$) en el punto $p$, sobre el vector $v$. El resultado es un escalar.
2. Lado Derecho (RHS): $\omega_{h(p)}(h_*v)$
   • Este lado describe el proceso de mapeo y evaluación de la estructura original en $N$:
     • *Push-forward ($h_v$): Primero, el vector $v \in T_pM$ se transporta al espacio tangente de la variedad de destino $N$. La operación de aplicación tangente (o push-forward, denotada $h_*$ o $dF_p$) mapea linealmente $T_pM$ a $T_{h(p)}N$,,,. Este paso convierte el vector $v$ en el vector transportado $h_*v$, que vive en el espacio de $N$,.
     • Evaluación ($\omega_{h(p)}$): Una vez que se tiene el vector transportado $h_*v \in T_{h(p)}N$, se aplica la 1-forma original $\omega$, evaluada en el punto $h(p) \in N$. Como $\omega$ es un funcional lineal sobre $T_{h(p)}N$,, este proceso produce el escalar final,.

En esencia, $h^*\omega$ es la única 1-forma en $M$ que, cuando se evalúa en un vector $v$ en $M$, da el mismo resultado que evaluar la 1-forma original $\omega$ en el vector "empujado hacia adelante" $h_*v$ en $N$,.

3. Significado Geométrico

La operación de pullback es crucial porque establece una relación dual con el comportamiento de los campos vectoriales:

• Dualidad de Transformación: Mientras que las funciones diferenciables $h: M \to N$ inducen una transformación hacia adelante (push-forward, $h_*$) de los vectores tangentes,,, esta misma función induce una transformación hacia atrás (pullback, $h^*$) de las 1-formas (covectores),.
• Invarianza de Estructuras: El hecho de que las 1-formas se definan naturalmente a través del pullback (y los campos vectoriales no se puedan "empujar hacia adelante" de manera generalizada a menos que la aplicación sea un difeomorfismo) es de suma importancia en la teoría de fibrados y en la geometría diferencial,,,.

En resumen, la aplicación $h^*$ nos permite tomar información geométrica codificada en $\omega$ en el espacio de destino $N$ y "reinterpretarla" consistentemente en el espacio de origen $M$. Si se piensa en la métrica como una herramienta de identificación entre vectores y covectores, como mencionamos anteriormente en la conversación, la operación de pullback es, por analogía, el mecanismo de "traducción" natural para el lenguaje de los covectores a través de un mapa entre variedades.

En el anverso pone: "Término: Variedad topológica n-dimensional." La respuesta del anverso es: "Un espacio topológico de Hausdorff, segundo numerable, en el que cada punto tiene una vecindad homeomorfa a un subconjunto abierto de $\mathbb{R}^n$."

Esa tarjeta describe de manera precisa y formal qué es una variedad topológica, el objeto fundamental sobre el que se construye la geometría diferencial. Esencialmente, es un espacio que, visto de cerca (localmente), se parece al espacio euclídeo plano ($\mathbb{R}^n$), pero que visto de lejos (globalmente) puede tener una forma muy diferente (como una esfera o un toro).

Para entender la definición a fondo, es útil desglosarla en sus tres condiciones principales, tal como aparecen en tus fuentes:

1. Localmente Euclídeo (La condición geométrica)

Esta es la parte más intuitiva de la definición. Significa que el espacio está compuesto por "parches" que son topológicamente indistinguibles de los abiertos de $\mathbb{R}^n$.

• La definición formal: Para cada punto $p$ de la variedad $M$, existe un entorno abierto $U$ que contiene a $p$ y un homeomorfismo $\phi$ (una función biyectiva y bicontinua) que mapea $U$ a un subconjunto abierto de $\mathbb{R}^n$,.
• Terminología: A este par $(U, \phi)$ se le llama carta local o sistema de coordenadas,. Al conjunto de cartas que cubren toda la variedad se le llama atlas,.
• Significado: Esto permite poner coordenadas ($x_1, ..., x_n$) a los puntos de la variedad de manera local. Gracias a esto, cualquier propiedad local de $\mathbb{R}^n$ se aplica a la variedad. Si la variedad es conexa, el número $n$ (la dimensión) debe ser el mismo en todos los puntos.

2. Espacio de Hausdorff (La condición de separabilidad)

Esta es una "hipótesis topológica" técnica necesaria para evitar comportamientos patológicos (extraños) que no ocurren en la geometría habitual.

• Definición: Un espacio es Hausdorff si para cualquier par de puntos distintos $p$ y $q$, es posible encontrar entornos abiertos disjuntos (que no se tocan) para cada uno,.
• Por qué es necesaria: En espacios que no son Hausdorff, las sucesiones pueden converger a más de un límite a la vez. Un contraejemplo clásico que no es una variedad (porque no es Hausdorff) es la "recta con dos orígenes": se ve localmente como $\mathbb{R}$, pero el origen está "duplicado" de tal forma que no se pueden separar los dos orígenes con entornos disjuntos.

3. Segundo Numerable (La condición de tamaño)

Esta es otra condición técnica para asegurar que la variedad no sea "demasiado grande" y sea manejable matemáticamente.

• Definición: Significa que la topología del espacio tiene una base numerable,. Es decir, existe una colección contable de conjuntos abiertos tal que cualquier otro conjunto abierto puede formarse mediante la unión de estos.
• Por qué es necesaria: $\mathbb{R}^n$ cumple esta propiedad. Exigirla en la variedad es crucial para garantizar la existencia de particiones de la unidad,,. Las particiones de la unidad son la herramienta técnica que permite pegar resultados locales (en las cartas) para convertirlos en resultados globales (en toda la variedad), como por ejemplo, definir la integración en la variedad.

Resumen

La tarjeta describe un objeto que:

1. Se puede mapear localmente con coordenadas como en $\mathbb{R}^n$ (Localmente euclídeo).
2. Tiene puntos distintos que se pueden separar (Hausdorff).
3. No es excesivamente grande ni complejo, permitiendo el cálculo global (Segundo numerable).

Una vez que se tiene una variedad topológica con estas características, se le puede añadir una estructura diferenciable (exigiendo que los cambios de coordenadas entre cartas solapadas sean suaves) para poder hacer cálculo diferencial sobre ella,.

En el contexto de una variedad topológica $M$, ¿qué es una carta (o sistema de coordenadas local)?

Un par $(U,\varphi )$ donde $U$ es un subconjunto abierto de $M$ y $\varphi :U\to {\mathbb{R}}^n$ es un homeomorfismo sobre un subconjunto abierto de ${\mathbb{R}}^n$

Término: Atlas (en una variedad topológica).

Una colección de cartas $\{(U_{\alpha },{\varphi }_{\alpha })\}$ cuyos dominios $U_{\alpha }$ cubren la variedad completa $M$.

Esa tarjeta es correcta y define la herramienta que nos permite pasar de lo "local" (una sola carta) a lo "global" (toda la variedad).

Para explicarlo detalladamente, podemos usar una analogía geográfica muy ilustrativa que aparece en las fuentes, junto con la definición formal:

1. La Analogía Geográfica

El término "atlas" se toma prestado directamente de la cartografía. Piense en un atlas geográfico de la Tierra:

• La Tierra es una esfera (una variedad), pero las páginas del libro son planas (como $\mathbb{R}^2$).
• Ninguna página individual (carta) puede representar toda la Tierra sin deformarla o cortarla excesivamente.
• Por lo tanto, necesitamos una colección de mapas (cartas) que cubran cada parte de la superficie.
• Donde la página 5 termina y la página 6 empieza, suele haber una zona de superposición para que el lector sepa cómo conectar ambas regiones.

En matemáticas, el atlas es esa colección completa de "mapas" locales que aseguran que no quede ningún punto de la variedad sin coordenadas asignadas.

2. Definición Formal y Desglose

Según las fuentes, un atlas de dimensión $n$ sobre una variedad $M$ es una familia de cartas locales ${(U_\alpha, \phi_\alpha)}_{\alpha \in A}$ que cumple la condición fundamental de recubrimiento:

$$\bigcup_{\alpha \in A} U_\alpha = M$$

Esto implica que:

1. Cobertura total: Todo punto $p \in M$ debe pertenecer al menos a un dominio $U_\alpha$ de alguna carta del atlas. No hay "tierra incógnita".
2. Solapamiento: Es normal (y necesario para la geometría no trivial) que los dominios $U_\alpha$ se superpongan. Un punto $p$ puede pertenecer a varias cartas a la vez (por ejemplo, $U_1$ y $U_2$).

3. La Importancia de las Intersecciones (Funciones de Transición)

Aunque la tarjeta que estás leyendo define el atlas topológico, el concepto cobra su verdadera fuerza cuando analizamos qué ocurre en las zonas donde las cartas se solapan.

Si un punto $p$ está en la intersección $U_\alpha \cap U_\beta$, tiene dos juegos de coordenadas diferentes: las dadas por $\phi_\alpha$ y las dadas por $\phi_\beta$. Para que el atlas sea útil (especialmente para hacer cálculo), necesitamos saber cómo traducir las coordenadas de un mapa al otro. Esto se hace mediante las funciones de transición (o cambio de coordenadas): $$\phi_\beta \circ \phi_\alpha^{-1}$$ Estas funciones conectan las imágenes de los abiertos en $\mathbb{R}^n$.

4. Tipos de Atlas

Dependiendo de cómo se comporten estas funciones de transición en las intersecciones, el atlas define diferentes estructuras sobre la variedad topológica:

• Atlas Topológico: Las funciones de transición son simplemente continuas (homeomorfismos).
• Atlas Diferenciable (o Suave): Las funciones de transición son diferenciables ($C^\infty$).
• Atlas Orientado: Si el determinante de la matriz jacobiana de todos los cambios de coordenadas es positivo.

5. Ejemplo: La Circunferencia ($S^1$)

Un ejemplo clásico mencionado en tus fuentes es la circunferencia.

• No se puede cubrir la circunferencia completa con una sola carta (un solo intervalo abierto) sin "romperla".
• Se necesita un atlas de al menos dos cartas para cubrirla completamente (por ejemplo, dos arcos que se solapan ligeramente).

En resumen: Si la "carta" es la herramienta para estudiar la variedad localmente (como si fuera plana), el atlas es la herramienta para asegurar que podemos estudiar la variedad en su totalidad, pegando coherentemente toda esa información local.

VECTORES TANGENTES

 

 La fuente s9_RG_vectorestangentes.pdf explica de manera detallada y visual la construcción del espacio tangente en una variedad diferenciable, partiendo de una interpretación geométrica basada en curvas,.

A continuación, se desglosan los conceptos principales que aborda esta fuente:

1. Definición de curvas en una variedad

• Una curva en una variedad se define como una aplicación suave $\sigma: I \subset \mathbb{R} \to \mathcal{M}$.
• Para que la curva sea considerada de clase $C^\infty$, su composición con cualquier carta local de la variedad ($\phi \circ \sigma$) debe ser una función infinitamente diferenciable en el sentido euclídeo habitual,.

2. Relación de tangencia entre curvas

• El contenido introduce el concepto de curvas tangentes en un punto $p$ para definir los vectores sin necesidad de un espacio ambiente externo.
• Dos curvas, $\sigma_1$ y $\sigma_2$, son tangentes en $p$ si cumplen dos condiciones:
  1. Ambas pasan por el punto $p$ en el parámetro inicial (usualmente $t=0$),.
  2. En cualquier carta local $(U, \phi)$, las derivadas de sus representaciones coordenadas coinciden en ese punto: $\frac{d}{dt}(\phi \circ \sigma_1)|_{t=0} = \frac{d}{dt}(\phi \circ \sigma_2)|_{t=0}$.
• Esta noción de tangencia es intrínseca, ya que si se cumple en una carta, se cumple en cualquier otra carta compatible del atlas.

3. El Espacio Tangente ($T_p\mathcal{M}$)

• La fuente define el espacio tangente $T_p\mathcal{M}$ como el conjunto de clases de equivalencia de todas las curvas que son tangentes entre sí en el punto $p$,.
• Cada elemento de este conjunto cociente representa un vector tangente.
• Se demuestra que este conjunto tiene una estructura de espacio vectorial, permitiendo sumar vectores y multiplicarlos por escalares mediante el uso de cartas locales para operar en $\mathbb{R}^n$ y luego "regresar" a la variedad mediante la inversa de la carta ($\phi^{-1}$),.

4. Vectores como operadores (Derivaciones)

• La fuente conecta la definición geométrica (clases de curvas) con la algebraica.
• Un vector $v = [\sigma]$ actúa sobre una función suave $f: \mathcal{M} \to \mathbb{R}$ extrayendo la tasa de cambio de la función a lo largo de la curva,.
• En coordenadas locales, esta acción se expresa mediante la fórmula: $$v(f) = v^i \partial_i f$$ donde los coeficientes $v^i$ son las componentes de la "velocidad" de la curva en esa carta.

En resumen, la fuente establece que un vector tangente no es solo una flecha, sino una clase de curvas que comparten la misma velocidad local o, equivalentemente, un operador que realiza derivadas direccionales sobre las funciones de la variedad,.

 

 DUDAS DE LAS PRIMERAS NUEVE SESIONES

 La fuente s10_RG_sesiondedudas.pdf es un resumen visual que sintetiza conceptos clave de la geometría diferencial aplicada a la Relatividad General (RG), abarcando desde la definición algebraica de los vectores hasta la notación tensorial avanzada.

Los puntos principales explicados en este documento son:

1. Las Derivaciones ($D_p\mathcal{M}$)

La fuente define formalmente a los vectores tangentes como derivaciones. Una derivación $v$ es un operador que actúa sobre funciones suaves ($C^\infty$) y cumple dos propiedades fundamentales:

• Linealidad: $v(f+g) = v(f) + v(g)$ y $v(cf) = c v(f)$.
• Regla de Leibniz (Regla del producto): Esta es la característica definitoria que permite interpretar al vector como una derivada direccional: $$\mathbf{v(fg) = v(f)g(p) + f(p)v(g)}$$.

2. El Fibrado Tangente ($T\mathcal{M}$)

El documento introduce la estructura global donde viven los campos de vectores:

• Definición: El fibrado tangente se define como la unión disjunta de todos los espacios tangentes de la variedad: $T\mathcal{M} = \bigcup_{p \in \mathcal{M}} T_p\mathcal{M}$.
• Secciones: Un campo vectorial se describe como una sección del fibrado, lo que significa asignar de forma suave un vector a cada punto de la variedad.
• Conexión: Se menciona la aparición de los símbolos de conexión $\Gamma^{i}_{jk}$, necesarios para comparar vectores en diferentes puntos de la variedad.

3. Física y Relatividad General

La fuente conecta la geometría pura con la física de Einstein:

• Ecuación de Campo: Se presenta la relación fundamental $G_{ab} = 8\pi T_{ab}$, donde la geometría ($G_{ab}$) es determinada por el contenido de energía y flujos ($T_{ab}$).
• Límite Newtoniano: Explica cómo, en condiciones de bajas velocidades ($v \ll c$), la métrica se relaciona con el potencial gravitatorio clásico a través del Laplaciano: $\nabla^2 g_{00} = \frac{8\pi G}{c^2}\rho$.

4. Notación de Índices Abstractos

Finalmente, el documento aclara una convención común en los textos modernos de física:

• Diferenciación: Distingue entre un tensor como objeto completo ($T = T^{ij} e_i \otimes e_j$) y su representación en notación de índices abstractos ($T^{ab}$).
• En esta notación, los índices $a, b$ no representan componentes numéricas en una base específica, sino que indican el tipo de tensor (su rango y si es contravariante o covariante, como $T_{ab}$ o $T^{a}{}_{b}$).

Analogía: Imagine que la variedad es una carretera montañosa. La derivación es como el velocímetro que mide cuánto cambia su altitud en una dirección específica. El fibrado tangente es el conjunto de todas las direcciones posibles en cada centímetro de esa carretera, y la notación de índices abstractos es como un mapa que nos dice qué tipo de curva estamos enfrentando sin necesidad de usar una brújula o coordenadas específicas en ese momento.

 operación de push-forward (también denominada aplicación tangente o simplemente diferencial), que permite transportar vectores desde una variedad de origen hacia una de destino

 La fuente s11_RG_diferenciales.pdf se centra en explicar la operación de push-forward (también denominada aplicación tangente o simplemente diferencial), que permite transportar vectores desde una variedad de origen hacia una de destino.

A continuación se detallan los puntos clave de esta fuente:

1. Definición y Naturaleza

• Dada una aplicación suave entre variedades $F: M \to N$, la fuente define para cada punto $p \in M$ una aplicación lineal denotada como $F_{*p}$ (o $dF_p$) que mapea el espacio tangente $T_pM$ al espacio tangente $T_{F(p)}N$.
• El vector resultante, $F_{*p}(v)$, se comporta como una derivación en la variedad de destino $N$, actuando sobre funciones suaves $f \in C^\infty(N)$.

2. Relación Fundamental

• La regla de actuación de esta diferencial sobre una función se define mediante la composición de la función con el mapa $F$: *$F_{p}(v)(f) = v(f \circ F)$.
• Esto significa que la derivada de una función en la variedad de llegada es equivalente a la derivada de la "función compuesta" en la variedad de origen.

3. Propiedades en Difeomorfismos

• Si $F$ es un difeomorfismo (una aplicación biyectiva y suave cuya inversa también es suave), entonces su diferencial $F_{*p}$ es un isomorfismo.
• En este escenario, se cumple una propiedad de inversión crucial: la inversa de la diferencial es la diferencial de la función inversa, expresada como $(F_{*p})^{-1} = (F^{-1})_{*F(p)}$.

4. Representación en Coordenadas Locales

• La fuente detalla cómo calcular el push-forward utilizando componentes numéricas.
• Si un vector $v$ tiene componentes $v^i$ en una base coordenada de $M$, las componentes $u^\alpha$ del vector transportado en $N$ se calculan mediante la matriz jacobiana de la aplicación: $$\mathbf{u^\alpha = v^i \frac{\partial F^\alpha}{\partial x^i}\bigg|_p}$$.
• Este cálculo reafirma que el objeto geométrico resultante es independiente de las coordenadas, aunque sus componentes cambien según la regla de la cadena.

Analogía: El push-forward actúa como un traductor de direcciones: si tienes una flecha indicando un movimiento en un mapa (variedad $M$), el push-forward te dice exactamente hacia dónde apunta esa misma flecha una vez que has deformado o transformado ese mapa para que encaje en otro nuevo (variedad $N$).

 Grupos de LIE  

 

La fuente s12_RG_LIE_anotada.pdf es un conjunto de notas y diapositivas anotadas que estructuran el aprendizaje de la geometría diferencial y la Relatividad General desde un enfoque algebraico y topológico progresivo. El documento se divide en cuatro pilares fundamentales:

1. Fundamentos de Álgebra Lineal

La fuente comienza repasando conceptos básicos de espacios vectoriales, esenciales para entender los tensores y variedades:

• Aplicaciones Lineales (Homomorfismos): Define las funciones entre espacios vectoriales $V$ y $W$ que preservan la estructura.
• Núcleo e Imagen: Establece el núcleo ($\text{Ker}(f)$) como el subespacio de $V$ que mapea al vector cero en $W$, y la imagen ($\text{Im}(f)$) como el subconjunto alcanzado en $W$.
• Clasificación: Detalla las condiciones de suprayectividad (la imagen es todo el espacio de destino) e inyectividad (el núcleo contiene solo el vector cero).
• Rango: Define el rango de una aplicación lineal como la dimensión de su imagen.

2. Grupos de Lie y su Actuación

El núcleo de la fuente se centra en la estructura de los Grupos de Lie, que combinan el álgebra de grupos con la suavidad de las variedades:

• Definición: Un Grupo de Lie ($G$) es una variedad diferenciable que también es un grupo, donde la multiplicación y la inversión son funciones suaves ($C^\infty$).
• Traslaciones: Introduce la traslación a la izquierda ($L_g(h) = gh$) y a la derecha ($R_g(h) = hg$) como difeomorfismos fundamentales. Esto permite "mover" vectores tangentes desde la identidad a cualquier punto del grupo, lo que significa que no hay puntos privilegiados en la estructura.
• Acción sobre Variedades: Explica cómo un grupo $G$ actúa sobre una variedad $M$ ($G \times M \to M$). Define conceptos clave como la órbita (puntos alcanzables desde $p$) y el estabilizador (elementos del grupo que dejan a $p$ fijo).

3. Fibrados y Campos Vectoriales

La fuente utiliza la teoría de fibrados para formalizar la noción de campo:

• Fibrados (Fiber Bundles): Define un fibrado como una tripleta $(E, M, \pi)$ donde $E$ es el espacio total, $M$ la base y $\pi$ la proyección.
• Fibrado Tangente ($TM$): Es la unión disjunta de todos los espacios tangentes de la variedad.
• Campos Vectoriales como Secciones: Un campo vectorial $\mathbf{X}$ se define formalmente como una sección del fibrado tangente, lo que implica que asigna de forma suave un vector a cada punto $p$ de la variedad.

4. El Corchete de Lie y Flujos

Finalmente, la fuente aborda la interacción entre campos:

• Corchete de Lie: Define $[X, Y]f = X(Yf) - Y(Xf)$ como el mecanismo para combinar dos campos de vectores y obtener uno nuevo. Destaca que en un Grupo de Lie, el corchete de dos campos invariantes por la izquierda resulta en otro campo también invariante por la izquierda.
• Curvas Integrales y Flujos: Describe cómo un campo vectorial genera curvas integrales (cuya velocidad en cada punto coincide con el campo) y flujos locales, lo que conecta la geometría con la resolución de ecuaciones diferenciales ordinarias.

Metáfora: Imagine que el Grupo de Lie es un fluido perfectamente homogéneo que llena el espacio. Las traslaciones son las corrientes que mueven cada partícula de forma suave y predecible. El fibrado tangente es el conjunto de todas las posibles "flechas de velocidad" en cada punto de ese fluido, y el corchete de Lie es la herramienta que nos permite calcular cómo cambia una corriente cuando intentamos girar o avanzar siguiendo una corriente diferente.

Campos vectoriales en variedades diferenciables

 La fuente s13_RG_CamposVectoriales.pdf detalla la formalización de los campos vectoriales en variedades diferenciables, abordándolos como secciones de fibrados, operadores diferenciales y generadores de curvas integrales.

A continuación, se explican los puntos clave de este documento:

1. Definición Formal: El Campo como Sección

Un campo vectorial $X$ sobre una variedad diferenciable $M$ se define como una sección del fibrado tangente $TM$. Esto significa que es una aplicación que asigna a cada punto $p \in M$ un vector tangente $X_p$ perteneciente al espacio tangente $T_pM$. Para que sea una sección válida, debe cumplir que $\pi \circ X = \text{id}_M$, donde $\pi$ es la proyección natural del fibrado a la variedad.

2. Representación en Coordenadas

En un sistema de coordenadas locales, el campo se expresa mediante sus componentes: $$\mathbf{X_p = X^i(p) \partial_i|_p}$$ Donde los coeficientes $X^i(p)$ son funciones que dependen del punto $p$. Un campo se considera suave ($C^\infty$) si, y solo si, sus componentes $X^i$ son funciones suaves en cualquier carta local.

3. El Campo como Operador (Derivación)

Un campo vectorial $X \in \mathfrak{X}(M)$ actúa como un operador diferencial sobre funciones suaves $f: M \to \mathbb{R}$. Esta acción produce una nueva función, denotada como $Xf$, cuyo valor en cada punto es la derivada de la función en la dirección del vector en ese punto: $(Xf)(p) = X_p f$. Como operador, el campo vectorial es una derivación, lo que implica que cumple la regla de Leibniz para el producto de funciones: $$\mathbf{X(fg) = f(Xg) + g(Xf)}$$

4. Campos f-relacionados

Dada una aplicación suave entre variedades $f: M \to N$, se dice que un campo $X$ en $M$ y un campo $Y$ en $N$ están f-relacionados si el empuje hacia adelante (push-forward) de los vectores de $X$ coincide con los vectores de $Y$ en la imagen: $Y_{f(p)} = df_p(X_p)$. Es importante notar que no cualquier mapa suave entre variedades permite mapear un campo suave de una a otra de forma global a menos que sea un difeomorfismo.

5. El Corchete de Lie

La fuente explica que la composición simple de dos campos, $Y(Xf)$, no es necesariamente un campo vectorial porque introduce derivadas de segundo orden. Sin embargo, la combinación conocida como corchete de Lie ($[X, Y]f = X(Yf) - Y(Xf)$) sí resulta en un campo vectorial. El conjunto de campos vectoriales $\mathfrak{X}(M)$ tiene estructura de Álgebra de Lie sobre $\mathbb{R}$, cumpliendo:

• Bilinealidad.
• Antisimetría: $[X, Y] = -[Y, X]$.
• Identidad de Jacobi: $[X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0$.

6. Curvas Integrales y Flujos

Un campo vectorial permite definir una familia de curvas que "recubren" la variedad. Una curva $\sigma(t)$ es una curva integral de $X$ si su vector velocidad en cada punto coincide con el valor del campo en ese punto: $$\mathbf{\sigma_*(d/dt)|_t = X_{\sigma(t)}}$$ Esto conecta la geometría de la variedad con la resolución de sistemas de ecuaciones diferenciales ordinarias.

7. Invarianza en Grupos de Lie

En el contexto de un Grupo de Lie $G$, se definen campos invariantes por la izquierda si su valor en cualquier punto $g$ puede obtenerse trasladando el vector en la identidad $e$ mediante la diferencial de la traslación a la izquierda $L_g$. El corchete de Lie de dos campos invariantes por la izquierda es también un campo invariante por la izquierda.

Analogía: Un campo vectorial es como el mapa de corrientes de un río. En cada punto del agua hay una flecha (vector) que indica hacia dónde y con qué fuerza se mueve la corriente. Una curva integral sería la trayectoria que seguiría una hoja pequeña soltada en el agua, moviéndose siempre exactamente como la corriente le dicta en cada punto.