Geometría y Física

Introducción
La geometría diferencial se ha configurado como el lenguaje de la física moderna, desde
sus orígenes en la mecánica analítica, la gravitación o el electromagnetismo del siglo XVIII
hasta las teorías más recientes sobre cosmología e interacciones fundamentales. En este
curso introducimos los conceptos básicos del cálculo intrínseco en espacios afines, siendo
estos últimos la formulación matemática precisa del espacio de la mecánica clásica.
Mediante la noción de carta de coordenadas esbozamos la definición de variedad diferencial
en general e indicamos como el cálculo intrínseco aparece en el contexto general de forma
análoga al caso de espacios afines.

Contenidos
Lecciones:

Lección 1: Álgebra multilineal. Revisión de la teoría de espacios vectoriales de dimensión

finita. Aplicaciones multilineales y producto tensorial. Aplicaciones inducidas.

Lección 2: Tensores y aplicaciones musicales. Formas bilineales y aplicaciones

musicales. Producto escalar, forma cuadrática y norma. Álgebra tensorial y exterior.

Lección 3: Espacios afines. Definición. Espacio de direcciones (o espacio tangente).

Paralelismo y subespacios. Coordenadas afines.

Lección 4: Aplicaciones, curvas y funciones. Continuidad. Interludio físico: trayectorias y

propiedades en el espacio. Vector tangente. Derivada direccional. Diferencial. Empuje de
curvas y tracción de funciones.

Lección 5: Diferenciabilidad. Transformación de vectores tangentes bajo aplicaciones.

Diferenciabilidad a la Carathéodory.

Lección 6: Fibrados y campos. Fibrados tensoriales. Campos. Aplicación tangente.

Tangentes a familias de curvas como campos vectoriales. Diferenciales de funciones como
campos covectoriales.

Lección 7: Caracterización algebraica del cálculo intrínseco. Anillos. Derivaciones.

Módulos. Campos vectoriales como derivaciones del anillo de funciones.

Lección 8: Coordenadas y Variedades. Cartas de coordenadas. Bases coordenadas.

Conexión con el cálculo en R^n. Introducción a las variedades diferenciales.
Ejercicios Lección 1: Álgebra multilineal.

Demostrar: elección de base es equivalente a isomorfismo V=R^n

Demostrar: Lin(V,W) es espacio vectorial
Demostrar: dim V= dim V*
Demostrar: isomorfismo V**=V
Demostrar: isomorfismo Lin(V,V)=T^1_1(V)

Ejercicios Lección 2: Tensores y aplicaciones musicales.

Matriz invertible del isomorfismo musical.

Demostrar: tensores antisimétricos de orden N+1 son cero

Ejercicios Lección 3: Espacios afines.

Demostrar: subespacio afín es invariante y espacio afín

Demostrar: todo espacio vectorial es espacio afín

Ejercicios Lección 4: Aplicaciones, curvas y funciones.​ (sin ejercicios)

Ejercicios Lección 5: Diferenciabilidad.

Demostrar: linealidad de la diferencial

Demostrar: propiedad de Leibniz de la diferencial

Ejercicios Lección 6: Fibrados y campos.​ (sin ejercicios)

Ejercicios Lección 7: Caracterización algebraica del cálculo intrínseco.

Demostrar: aplicaciones entre espacios afines inducen morfismos entre anillos de funciones
Demostrar: campos vectoriales actúan como derivaciones del anillo de funciones
Demostrar: todo anillo R es un R-módulo
Demostrar: las derivaciones de un anillo R son un R-módulo

Ejercicios Lección 8: Coordenadas y Variedades.

Bases coordenadas

Apuntes (adjuntos abajo):

● Manuscrito de las lecciones: orientativo, para no “tener que tomar apuntes de la

pizarra” en las lecciones en vídeo. Los ejercicios están indicados en rojo a lo largo
del texto.
● Apuntes resumidos de geometría diferencial: algunos apuntes personales de hace
tiempo, cubren temario similar al curso pero sin el enfoque con espacios afines.
Referencias
● Nestruev, Jet. ​Smooth manifolds and observables.​ Vol. 220. Springer Science &
Business Media, 2006.
● Abraham, Ralph, Jerrold E. Marsden, and Tudor Ratiu. ​Manifolds, tensor analysis,
and applications​. Vol. 75. Springer Science & Business Media, 2012.
● Acosta G, Ernesto, and Cesar Delgado G. "Frechet vs. Caratheodory." ​The American
Mathematical Monthly​ 101.4 (1994): 332-338.
● Zapata-Carratala, Carlos. ​Apuntes de Geometría Diferencial.​ (adjunto)