Académique Documents
Professionnel Documents
Culture Documents
Preguntas conceptuales
1. Considere una esfera bidimensional (S 2 ) y el toro/torus (objeto matemático en forma
de dona). ¿Son estos topológicamente equivalentes (es decir, que existe una biyección
continua, con inversa continua, entre ellos)?
Si ahora consideramos un espacio con dos agujeros en lugar de uno (como el toro), ¿Es
este equivalente a alguno de los dos anteriores? ¿Por qué sı́ o por qué no? Generalice
para n agujeros.
2. Investigue 2 ejemplos de grupos y explique por qué lo son. Dé un ejemplo de algo que
no sea un grupo y explique por qué no lo es.
3. El espacio tangente al punto p ∈ M , Tp M , es un espacio vectorial. Por ende, podemos
definir un tensor como el siguiente:
gp : Tp M × Tp M −→ R
a) ¿Qué tipo de tensor es este? ¿Qué orden tiene?
b) Si exigimos que sea simétrico (es decir, g(X, Y ) = g(Y, X) para toda X, Y ∈ Tp M )
¿Cuántas componentes son necesarias para describirlo completamente? ¿Aún se
ocupan las n(r+s) componentes?
c) Si además exigimos no-degeneranción:
∀X ∈ Tp M ∃Y ∈ Tp M : ( g(X, Y ) 6= 0 )
Entonces este tensor se llama métrica del punto p. ¿A qué objeto conocido de
vectores y matrices le recuerda y es equivalente?
4. La labor más difı́cil de un cientı́fico no es responder preguntas planteadas, si no saber
preguntarse las incógnitas correctas. Escriba al menos una pregunta que en clase no ha
hecho pero se ha quedado duda sobre el contenido.
Ejercicios prácticos
1. La siguiente expresión tiene algunos ı́ndices repetidos y otros no:
1 −1 am ∂ ∂ ∂
g gmc + c gmb − m gbc
2 ∂xb ∂x ∂x
Recordando que los ı́ndices repetidos implican una suma sobre ellos, (los ı́ndices corren
desde 1 hasta 4) escriba la sumatoria explı́citamente con todos sus términos.1
1
las cantidades que se obtienen de esta expresión se conocen como coeficientes de conexión de Levi-Civita o
sı́mbolos de Christoffel.
1
Semana de Astrofı́sica Fundamentos de Relatividad General II-PAC UNAH 2018
(Tp M )∗ := { ω : Tp M −→ R | ω lineal }
Proponga una base dual para (Tp M )∗ notando que lo demostrado en el inciso a) es
precisamente la condición para que una base de (Tp M )∗ sea dual.
df : Tp M −→ R
X 7−→ X(f )
2
Se le llama gradiente, por que si M = Rn , entonces se reduce al gradiente tradicional de cálculo 2.