Beruflich Dokumente
Kultur Dokumente
TERCER CURSO
12605INTRODUCCINALAGEOMETRADIFERENCIAL(Troncal) (Plan Piloto de adaptacin al EEES)
1er SEMESTRE.4,5crditos(3tericos+1,5prcticos)
PROFESOR/ES:
D.PabloMiguelChacnMartn
propiedades. Conocer el concepto de curva integral de un campo y saber calcularla en algunos casos concretos.
Reconocer el flujo de un campo. Decidir si una coleccin de transformaciones diferenciables constituyen un grupo
uniparamtrico de difeomorfismos y en tal caso calcular su generador infinitesimal.
Tema 5. Conocer y saber construir campos de covectores. Construir los espacios de tensores en un punto y bases locales
en los mismos. Saber operar con el producto tensorial. Calcular la imagen inversa de un tensor covariante en
coordenadas locales. Saber calcular la derivada de Lie de un tensor y sus propiedades. Reconocer el lgebra exterior y
saber operar con el producto exterior. Calcular la diferencial exterior de una forma y sus propiedades. Saber calcular la
contraccin interior de una forma con un campo y sus propiedades.
B IBLIOGRAFA
Bsica:
Universitat de Barcelona.
J.M. Gamboa y J.M. Ruiz, Iniciacin al estudio de las variedades diferenciables, Ed. Sanz y Torres.
J.M. Lee, Introduction to smooth manifolds, Springer Verlag.
Complementaria:
W.M Boothby, An introduction to differentiable manifolds and Riemannian geometry, Academic Press.
M.P do Carmo, Differential forms and applications, Springer Verlag.
P.M. Gadea y J. Muoz-Masqu, Analysis and algebra on differentiable manifolds: a workbook for students
METODOLOGA DOCENTE
Para el desarrollo del programa de la asignatura se llevarn a cabo: clases tericas, clases prcticas y seminarios
tutelados. Para obtener un seguimiento de los objetivos alcanzados en el transcurso del semestre se programarn dos
tipos de actividades: entrega de trabajos y exposicin de ejercicios.
Las clases de teora sern en general de pizarra y en ellas se explicarn los puntos indicados en el programa. Las
clases prcticas consistirn en la resolucin de problemas, para lo cual se proporcionar una coleccin de ejercicios
adecuados a los contenidos y nivel de exigencia del curso. En la medida de lo posible, se presentarn las distintas
opciones para resolver un mismo tipo de problemas resaltando con ello las ventajas e inconvenientes de las distintas
estrategias.
En estas clases de teora y de prcticas se pretende establecer un dilogo con el alumnado que permita, entre otros, un
intercambio de ideas y matices que sin duda reforzarn el aprendizaje. Asmismo, en las clases se dirige el desarrollo
del programa de contenidos pero pretende ser tambin un incentivo para el resto de actividades. De manera
intencionada en estas clases se dejarn ciertos detalles que el alumno deber completar como trabajo personal.
Los seminarios tutelados consisten en sesiones de una hora de duracin en la que se presentar a los estudiantes un
asunto o problema sobre el que disctutir. As pues, estos seminarios pueden entenderse como un foro de discusin de
los distintos tpicos vistos en clase donde no nicamente el profesor sea quien resuelva las dudas sino sea el propio
colectivo el que vaya construyendo el argumento o resolucin del problema. Alternativamente, los alumnos podrn
consultar las dudas que les hayan podido surgir al resolver problemas de la hoja de ejercicios.
Tanto para las clases tericas como para las praticas, y especialmente en los seminarios tutelados, se har uso
ocasionalmente del ordenador para visualizar con ejemplos algunos de los aspectos tratados en el curso. Tambin se
hara uso del ordenador para realizar clculos simblicos
A lo largo del semestre se propondr una serie de trabajos para entregar que consistirn en la resolucin de uno o
varios ejercicios de una dificultad similar a la que se podrn encontrar en el examen. Los trabajos podrn tambin
incluir algunas cuestiones tericas. Estos trabajos son de carcter voluntario. Se incentivar el trabajo en grupo con el
que se pretende fomentar entre los alumnos la discusin de los tpicos de la asignatura
La exposicin de ejercicios consistir en la presentacion por parte del estudiante de la resolucin de algun problema
propuesto por el profesor. Los alumnos dispondrn de cierto tiempo para preparar los problemas. La exposicin de
ejercicios es una actividad voluntaria y ser realizada en las clases de problemas o en los semianrios tutelados.
Las plataformas virtuales suponen tambin una ayuda en la docencia. Se har uso del campus on-line de la
Universidad de Salamanca Studium del que podrn sacar especial provecho los estudiantes que por cualquier
circunstancia no puedan participar de la totalidad de actividades presenciales. El campus on-line servir como canal
adicional para suministrar las hojas de problemas, trabajos, asignacin de ejercicios para exponer, calificaciones, etc.
pero tambin se podr usar como instrumento de acceso a otros recursos informticos (programas, informacin sobre
paginas web relacionadas, etc.).
Se establecer un horario de tutoras donde los alumnos podrn resolver individualmente sus dudas sobre cualquier
aspecto de la asignatura (teora, problemas, trabajos, exposiciones de los otros alumnos, etc.).
EVALUACIN
Para la evaluacin de la asignatura se realizar un examen al final del semestre. Varias de las actividades voluntarias
descritas en el apartado de Metodologa (trabajos y exposiciones) suponen un proceso de evaluacin parcial. En
trminos generales se seguir el siguiente criterio de evaluacin:
Examen: 75 % del total de la nota final.
Trabajos: 15% del total de la nota final.
Exposiciones: 10% del total de la nota final.
El peso de cada una de estos intrumentos de evaluacin podr variar en funcin de la participacin del alumno en
dichas actividades. En caso de que el estudiante no entregue todos los trabajos propuestos la ponderacin de este
apartado podra ser inferior al 15% aumentando la ponderacin del examen. Del mismo modo, la ponderacin de las
exposiciones podra ser inferior al 10% en funcin de la particpacin del alumno en esta actividad. Tambin en este
caso, aumentara el peso del examen en la calificacin final.
El examen escrito constar de una parte terica y de una parte pactica en una proporcin del 40% y 60%,
respectivamente, sobre la nota del examen.
Los trabajos tendrn una fecha lmite de entrega que aproximadamente supondr un plazo de entrega de 2 semanas.
Para la exposicin de ejercicios, el estudiante dispondr de aproximadamente una semana parar prepara la exposicin.
El alumno ser evaluado tanto sobre la resolucin presentada como tambin sobre las preguntas que puedan surgir por
parte del profesor presente como del alumnado.
Para los alumnos que no superen la materia en la primera convocatoria, existir una segunda convocatoria que
consistir en un examen escrito con las mismas caracterticas que el primero. Para esta segunda evaluacin se tendrn
en cuenta los trabajos y las exposiciones que el estudiante haya podido realizar durante el semestre bajo los mismos
criterios de evaluacin.
HORAS ESTIMADAS DE CLASE Y ESTUDIO
La distribucin de horas de clase para cada tema, as como del resto de actividades del curso, ser aproximadamente
como se indica en la siguiente tabla:
Tema 1
Tema 2
Tema 3
Tema 4
Tema 5
Seminarios tutelados
Actividades presenciales
Teora
Problemas
Otros
4
2
5
2
6
3
5
3
6
3
6
Actividades no presenciales
Estudio
Otros
8
10
10
12
12
Preparacin trabajos
Preparacin exposiciones
Exmenes
Totales:
9
5
26
13
4
10
52
14
1.1. Caracterizaciones equivalentes de las funciones (de clase C 1) holomorfas: a) como localmente desarrollables en
series de potencias; b) como derivables en sentido complejo; c) como pares de funciones reales verificando las
ecuaciones de Cauchy-Riemann; d) como funciones expresables mediante la frmula integral de Cauchy.
Interpretacin de la caracterizacin c) en trminos de transformaciones conformes y en trminos de funciones
armnicas.
1.2. Desigualdades de Cauchy. Teorema de Liouville. Teorema fundamental del lgebra.
1.3. Teorema de la integral de Cauchy. Teorema de Morera.
1.4. Principio de prolongacin analtica. Prolongacin analtica.
1.5. La funcin exponencial y las trigonomtricas.
1.6. Las funciones multiformes log z, z a (a complejo).
1.7. El teorema de la funcin inversa holomorfo.
1.8. Expresin local de una funcin holomorfa con un cero de orden dado. Aplicacin: principio del mdulo mximo.
Otros conocimientos: Complementos sobre series de potencias, formula de Hadamard; comportamiento en la frontera
del disco de convergencia. Teorema de Cauchy-Goursat. Comprender el sentido de la prolongacin analtica y su
relacin con la multiformidad, mediante el estudio detallado de la prolongacin analtica de algunas funciones, en
particular del logaritmo.
Destrezas prcticas que deben adquirirse. Manejar ejemplos de desarrollos locales: determinaciones de log z, de z a , de
fracciones, etc. Saber determinar ejemplos de no-validez del teorema de la integral de Cauchy para funciones no
holomorfas. Aplicar a ejemplos el principio del mdulo mximo.
TEMA 2: SINGULARIDADES AISLADAS
falta del teorema de existencia de Riemann) de la relacin entre curvas algebraicas y superficies compactas.
5.9. El teorema de adicin de Abel para las integrales abelianas de primera especie.
Otros conocimientos: El punto 5.6. es fundamental para entender la teora de superficies de Riemann, pero no es
objeto especfico de ella, ni es materia dada en asignaturas previas. Por eso, se expondr sin detalles en clase terica y
se estudiar detalladamente en seminarios.
Destrezas prcticas que deben adquirirse. Aplicar el conocimiento del grupo de automorfismos del disco (5.5.) al
estudio del modelo de Poincar para la geometra de Lobatchewski. Saber hacer ejemplos sencillos de integrales de
funciones multiformes en el plano, que se uniformizan en curvas algebraicas y pueden luego calcularse por el teorema
de los residuos de 5.2.
TEMA 6: INTRODUCCIN A LA REPRESENTACIN CONFORME
6.1. Familias normales de Montel.
6.2. Teorema de representacin conforme para abiertos simplemente conexos del plano.
Otros conocimientos: Conocer el problema general de representacin conforme para superficies de Riemann
simplemente conexas y cmo puede llegarse a l completando las indicaciones dadas en la tesis de Riemann (1851) (se
dar esta informacin en los seminarios). Conocer tambin los difciles problemas que hay que resolver para ello, y de
cmo han condicionado el desarrollo de las matemticas.
Destrezas prcticas que deben adquirirse. Aplicar la representacin conforme a la transformacin de ngulos, lnulas,
etc., en semiplanos o discos. Adems, la frmula de Schwartz-Christoffel y alguna aplicacin concreta.
TEMA 7: FUNCIONES ELPTICAS. FUNCIONES MODULARES. TEOREMAS DE MONTEL Y PICARD
7.1. Toros complejos. Parametrizacin de su estructura analtica por las rbitas del grupo modular.
7.2. Funciones elpticas. Propiedades generales.
7.3. La funcin p de Weierstrass. Parametrizacin de una cbica por un toro mediante p y p.
7.4. Inversin de la integral elptica de primera especie y demostracin de la identidad entre cbicas y toros.
7.5. La funcin modular l. Aplicacin: el pequeo teorema de Picard.
7.6. Teorema de Montel sobre las funciones que excluyen dos valores dados. El gran teorema de Picard.
Otros conocimientos: En seminarios debe estudiarse la funcin modular J y su relacin con la estructura analtica de
los toros.
Destrezas prcticas que deben adquirirse. Demostrar el teorema de adicin para integrales elpticas (que encontr
Euler en 1761), el teorema de adicin para la funcin p y determinar los puntos de inflexin de una cbica, como
aplicaciones del teorema de adicin de Abel.
Cuadro de tiempos de docencia y seminarios
Teora
Problemas
Seminarios
Tema 1
Tema 2
Tema 3
Tema 4
Tema 5
10
10
Tema 6
Tema 7
Total
45
27
26
METODOLOGA DOCENTE
El nmero de horas estimado para las clases de teora y problemas (45+27) es del orden previsto para un curso
semestral de 3+2 horas semanales. En las clases de problemas se incluye la entrega y discusin de los hechos por los
alumnos a propuesta del profesor. Adems, se reservarn 2 horas semanales para seminarios, de asistencia voluntaria;
se dedicarn a completar aspectos de la teora y sus aplicaciones a problemas generales mediante exposiciones
interactivas alumno-profesor, con material previamente preparado por los profesores. Hay 3 horas semanales de
tutoras para consultas de los alumnos.
EVALUACIN
La teora cuenta un 4 y las prcticas un 6 sobre 10 en la nota final.
Los problemas realizados por los alumnos a lo largo del curso contarn 2 de los 6 puntos del total de prcticas. Los 4
restantes se reservan al examen final.
Los 4 puntos de teora se darn en funcin al examen final. Pero a la nota obtenida podr sumarse 1 punto por
exposicin (voluntaria) en seminarios.
El examen final ser escrito y durar 4 horas.
BIBLIOGRAFA
[1] L. V. Ahlfors: Anlisis complejo, Ed. Aguilar. (Madrid 1966).
[2] H. Behnke, F. Sommer: Theorie der analytischen Finktionen einer Komplexen Vernderlichen, Springer-Verlag
(Berlin 1976).
[3] H. Cartan: Teora elemental de las funciones analticas de una y varias variables complejas, Selecciones Cientficas
(Madrid 1968).
[4] J. Muoz Daz: Curso de teora de funciones 1, Ed. Tcnos (Madrid 1978).
[5] G. Sansone, J. Gerretsen: Lectures on the theory of functions of a complex variable (2 volmenes), Ed. Noordhoff
(Groningen, 1960).
[6] E. T. Whittaker, G. M. Watson: A course of modern analysis, Cambridge University Press (4 edicin, Londres
1927).
PROGRAMA
1. Introduccin al Clculo Numrico y primeros algoritmos.
- Tema 1: Introduccin al Clculo Numrico.
- Tema 2: Resolucin numrica de ecuaciones de una variable.
- Tema 3: Determinacin de las races de un polinomio.
2. Resolucin de sistemas de ecuaciones algebraicas lineales.
- Tema 4: Generalidades sobre el anlisis numrico matricial.
- Tema 5: Mtodos numricos para la resolucin de sistemas de ecuaciones lineales: Nociones preliminares. El Mtodo
de Gauss.
- Tema 6: Mtodos numricos para la resolucin de sistemas de ecuaciones lineales: Matrices simtricas.
- Tema 7: Mtodos directos para matrices huecas.
- Tema 8: Mtodos iterativos para la resolucin de sistemas de ecuaciones lineales.
- Tema 9: Estudio de la convergencia de los mtodos de Jacobi, Gauss-Seidel y relajacin.
3. Clculo de valores y vectores propios de una matriz.
- Tema 10: Clculo de valores y vectores propios: Introduccin.
- Tema 11: Clculo de valores y vectores propios: Mtodo de Jacobi y de la Biseccin.
- Tema 12: Clculo de valores y vectores propios: El Mtodo QR.
- Tema 13: Clculo de valores y vectores propios: Los mtodos de la potencia iterada.
4. Resolucin de sistemas de ecuaciones no lineales.
- Tema 14: Resolucin de sistemas de ecuaciones no lineales: Mtodos de punto fijo y Newton.
- Tema 15: Los mtodos de Quasi-Newton para la resolucin de sistemas de ecuaciones no lineales.
5. Optimizacin sin restricciones.
- Tema 16: Fundamentos de la optimizacin
- Tema 17: Mtodos de relajacin y de gradiente para la resolucin de problemas de optimizacin sin restricciones.
- Tema 18: El Mtodo de Gradiente Conjugado.
- Tema 19: Tcnicas de precondicionamiento del mtodo de gradiente conjugado.
- Tema 20: Extensin del mtodo de gradiente conjugado al caso de sistemas con matrices no simtricas.
- Tema 21: Los mtodos de Newton y Quasi-Newton en optimizacin no lineal.
6. Optimizacin con restricciones.
- Tema 22: Minimizacin en conjuntos convexos
- Tema 23: Introduccin a la programacin no lineal.
- Tema 24: Programacin no lineal: El algoritmo de Uzawa.
BIBLIOGRAFA
BURDEN, R.L.; DOUGLAS FAIRES, J. & REYNOLDS, A.C. (1981): Numerical Analysis, Ed. Prindle, Weber &
Schmidt.
CIARLET, P.G. (1982): Introduction a lanalyse nemrique matricielle et a loptimisation, Ed. Masson
LASCAUX, P.; THEODOR, R. (1986): Analyse Numrique Matricielle appliqu lart de lingnieur , Tomos I y II,
Ed. Masson.
STOER, J.; BULIRSH, R. (1992): Introduction to Numerical Analysis, 2 Ed. Springer Verlag.
KINCAID, D.; CHENEY, W. (1994): Anlisis Numrico, Ed. Addison-Wesley Iberoamericana.
OBJETIVOS Y PLAN DE TRABAJO
Esta asignatura estar destinada en primer lugar a una introduccin al Clculo Numrico y explicar su objetivo
principal: Encontrar soluciones aproximadas a problemas complejos utilizando las operaciones ms simples de la
aritmtica. Ello significa identificar los procedimientos por medio de los cuales los ordenadores pueden hacer este
trabajo por nosotros. Surge as la nocin de algoritmo y las dos vertientes asociadas a los mismos, es decir, su
justificacin matemtica y propiedades de convergencia y la evaluacin prctica de sus diferentes aspectos:
Generalidad de aplicacin, precisin, estabilidad, rapidez, facilidad de programacin, etc. Para introducir estas
nociones nos serviremos de uno de los ejemplos ms simples que se presentan al analista como es el clculo de las
races de una ecuacin de una variable real.
Por otra parte, la modelizacin de problemas que se pueden encontrar en fsica, mecnica, etc. y de manera general en
todas las ciencias aplicadas, conduce, eventualmente tras una etapa de discretizacin, a la resolucin de sistemas de
ecuaciones en dimensin finita. Cuando los sistemas son no lineales, su resolucin pasa por una etapa previa de
linealizacin, lo que nos lleva a la necesidad de resolver sistemas de ecuaciones lineales. El segundo bloque del curso
estar dedicado pues al estudio de algoritmos para la resolucin de sistemas de ecuaciones algebraicas lineales.
Otra parte fundamental del lgebra numrica es el clculo de valores y vectores propios de matrices. A esta materia
estar destinado el tercer bloque de esta asignatura.
Finalmente la optimizacin constituye hoy en da uno de los dominios ms importantes de las matemticas de
decisin. En efecto, numerosos problemas que surgen en tecnologa o economa, se presentan bajo la forma siguiente:
Una variable de decisin o de control debe ser elegida de manera ptima, es decir, de modo que maximice o minimice
segn los casos, un criterio econmico, o tcnico y respete al mismo tiempo ciertas restricciones.
Por otra parte la optimizacin juega un papel importante en otras reas; por ejemplo, numerosos principios de
mecnica, ptica, etc., pueden ser expresados en forma variacional, con importantes ventajas desde el punto de vista
de su comprensin sinttica.
Se comprende por tanto la importancia prctica de los algoritmos numricos de optimizacin.
La segunda parte de la asignatura est destinada a una introduccin de los mtodos numricos de optimizacin en Rd.
Un bloque de temas, sin embargo, estn dedicados a la generalizacin a sistemas de ecuaciones de los mtodos de
resolucin de una ecuacin que se habrn estudiado en la primera parte del curso. Los mtodos de resolucin de
ecuaciones lineales all considerados, se completan con los mtodos de tipo gradiente y derivados de ste, que son
aqu tratados en el marco de la optimizacin cuadrtica. La asignatura concluye con tres temas dedicados a la
optimizacin convexa y a la programacin no lineal.
En cuanto a la distribucin de horas por tema se ha tenido en cuenta que sta es la primera asignatura sobre mtodos
numricos en la licenciatura y conviene ilustrar la teora con abundantes ejemplos adems de motivar suficientemente
los temas; por otra parte conviene desglosar detalladamente las demostraciones lo que siempre requiere un tiempo
considerable. Finalmente sera muy conveniente poder desarrollar una buena parte de las clases prcticas en el
laboratorio de informtica.
EVALUACIN
Aun cuando la realizacin de ejercicios, trabajos y participacin en los seminarios dar una idea aproximada del grado
PROGRAMA
1.- Introduccin a los paquetes estadsticos: Conceptos generales de los principales programas a utilizar, libreras
matemticas y estadsticas.
2.- Clculos con distribuciones de probabilidad y variables aleatorias.
3.- Estadstica descriptiva y representaciones grficas.
4.- Estimacin puntual y por intervalos.
5.- Contrastes sobre medias.
6.- Anlisis de la varianza.
7.- Contrastes sobre proporciones
8.- Mtodos no paramtricos.
9.- Tablas de contingencia.
10.- Regresin y correlacin:
11.- Modelos lineales
12.- Anlisis factorial
13.- Anlisis discriminante.
14.- Anlisis de conglomerados.
15.- Anlisis de series temporales.
BIBLIOGRAFA
DE GROOT, M.H. (1988): Probabilidad y Estadstica. Addison-Wesley Iberoamericana. Mexico.
MARTN, Q.; CABERO, T. y ARDANUY, R. (1999): Paquetes Estadsticos . Ed. Hesprides, Salamanca.
PEA, D. (1987): Estadstica, Modelos y Mtodos: Vols. 1 y 2. Alianza Editorial, Madrid.
PEREZ C. (2001): Tcnicas Estadsticas con SPSS. Prentice Hall, Madrid.
OBJETIVOS
Que los alumnos sepan enfrentarse personalmente a un problema estadstico real, formular las hiptesis de trabajo,
comprobar si se verifican, elegir el modelo adecuado y efectuar los anlisis pertinentes utilizando la herramienta
informtica adecuada, y, finalmente, extraer las conclusiones del trabajo realizado.
PLAN DE TRABAJO
Clases tericas sobre la materia a manejar y las generalidades sobre los principales programas a utilizar, que sern
complementadas con clases prcticas en un aula de informtica, en donde se aplicar lo expuesto en las clases
tericas.
EVALUACIN
Media ponderada de un examen escrito que recoja los aspectos ms relevantes de la asignatura /70%), ms otro
examen prctico de manejo de los principales programas utilizados durante el curso (20%), ms una calificacin de
trabajos propuestos y realizados durante el curso (10%).
IDAD
Espectro de un anillo
Localizacin y Geometra de los mdulos sobre el
espectro
Complementos de teora de mdulos proyectivos
IEMPO
DE
APRENDIZAJE
Actividades presenciales
Horas
Horas
Otras
teora
prcticas actividades
3
5
7
6
4
Tiempo de estudio
12
17
14
e inyectivos
Condiciones de finitud. Anillos noetherianos y
artinianos
Diferenciales y derivaciones
Descomposicin Primaria
Filtraciones y completaciones
Examen
Preparacin del trabajo personal
Exposicin del trabajo personal y de ejercicios
Realizacin de ejercicios para entregar
TOTAL
14
3
5
5
2
5
3
10
14
12
4
10
11
32
28
15
16
119
1.3 El mtodo de Picard para el problema de Cauchy para la ecuacin y=f(x,y) (f de Lipschitz en R 2).
1.4 Teorema local de existencia y dependencia continua de las condiciones iniciales para campos C 1.
de envolventes.
3.6. El mtodo de Lagrange-Charpit.
3.7. Clculo de las bandas caractersticas conociendo una integral completa: una primera versin de la teora de
Hamilton-Jacobi.
Destrezas prcticas que deben adquirirse. Resolver ejemplos del problema de Cauchy por el mtodo de las
caractersticas. Calcular en algunos ejemplos las integrales completas resolviendo el sistema caracterstico o aplicando
el mtodo de Lagrange-Charpit; resolver ejemplos del problema de Cauchy conociendo una integral completa. Saber
aplicar las destreza anteriores a ejemplos de problemas de la teora de superficies que conducen ecuaciones en
derivadas parciales de primer orden. Saber aplicar la teora de Hamilton-Jacobi a ejemplos sencillos en Mecnica.
TEMA 4: PRIMERAS NOCIONES SOBRE CLCULO DE VARIACIONES.
4.1. Primeros ejemplos de problemas variacionales en una o varias variables independientes: geodsicas;
braquistocrona; problema de Dirichlet; superficies mnimas, etc.
4.2. Las ecuaciones de Euler-Lagrange para problemas en una variable. Ejemplos de Geometra y de Mcanica.
4.3. Dos ejemplos de Jacobi como aplicacin de la teora de Hamilton-Jacobi al clculo de variaciones: geodsicas de
los elipsoides; punto material atrado por dos masas fijas.
4.4. Mencin de los problemas isoperimtricos y ejemplos clsicos.
Destrezas prcticas que deben adquirirse. Calcular geodsicas en casos sencillos: conos, esferas, paraboloides de
revolucin, etc.
Cuadro de tiempos de docencia y seminarios
Tema 0
Tema 1
Tema 2
Tema 3
Tema 4
Total
Teora
0
12
8
12
5
37
Problemas
15
6
5
12
3
41
Seminarios
6
4
4
4
2
20
METODOLOGA DOCENTE
En las clases de problemas se incluye la entrega y discusin de los hechos por los alumnos a propuesta del profesor.
Adems, se reserva una hora y media semanal para una sesin de seminario, de asistencia voluntaria, que se dedicar
principalmente a la resolucin de ejercicios por parte de los alumnos y posterior discusin. Hay tres horas semanales
de tutoras para consultas de los alumnos.
EVALUACIN
La teora cuenta un 4 y las prcticas un 6 sobre 10 en la nota final.
Los problemas realizados por los alumnos a lo largo del curso contarn 2 de los 6 puntos del total de destrezas
prcticas que deben adquirirse. Los 4 restantes se reservan al examen final.
Los 4 puntos de teora se darn en funcin del examen final.
El examen final ser escrito y durar cuatro horas.
BIBLIOGRAFA
[1] Arnold, V. (1974): Equations differentielles ordinaires, Mir (Mosc).
[2] Arnold, V.: Mtodos matemticos de la Mecnica Clsica, Paraninfo.
[3] Cartan, E. (1921): Leons sur les invariants integraux, Hermann (Pars).
[4] Lie-Sheffers: Differentialgleichungen, Chelsea, New York. (1967).
[5] Muoz Daz, J. (1982): Ecuaciones Diferenciales I, Ediciones Universidad de Salamanca.
PROGRAMA
TEMA 1.- Variaciones, Permutaciones y Combinaciones. Muestras ordenadas. Variaciones y Permutaciones.
Variaciones con repeticin restringida. Combinaciones.
TEMA 2.- Nmeros Combinatorios. Coeficientes binomiales, propiedades. Frmula del binomio en un anillo
conmutativo con unidad. Estudio de series de nmeros combinatorios.
TEMA 3.- Frmulas de Wallis y Stirling.
TEMA 4.- Funciones Generatrices. Concepto de funcin generatriz, propiedades. Funciones generatrices y operadores
sobre sucesiones. Funcin generatriz para combinaciones. Funcin generatriz para variaciones. Funciones generatrices
de ecuaciones en recurrencia lineal.
TEMA 5.- Otros Conceptos de Funcin Generatriz. Funciones generatrices exponenciales. Funciones generatrices y
probabilidades sobre N. Relaciones entre funciones generatrices.
TEMA 6.- Algunas Aplicaciones del Anlisis Combinatorio. Nmeros de Stirling de primera y segunda especie.
Derivadas de funciones compuestas; polinomios de Bell. Ciclos de permutaciones.
Problemas de ocupacin.
Particiones y composiciones.
BIBLIOGRAFA
ANDERSON, I. (1985): A First Course in Combinatorial Mathematics. Clarendon Press. Oxford.
ARDANUY, R. y SNCHEZ SANTOS, J. M. (1995): Introduccin al Anlisis Combinatorio. Ed. Hesprides.
Salamanca.
BERGE, C. (1968): Principes de Combinatoire. Dunod. Paris.
FELLER, W. (1968): An Introduction to Probability Theory and Its Applications. Vol. I, J. Wiley. New York.
MACMAHON, P.A. (1960): Combinatory Analysis. Vol. I, Chelsea Pub. Co. New York.
RIBNIKOV, K. (1988): Anlisis Combinatorio An Introduction to Combinatorial Analysis.. Ed. Mir. Mosc.
RIORDAN, J. (1980): An Introduction to combinatorial Analysis. Princeton University Press. Princeton, N.J.
OBJETIVOS
Que el alumnos sepa efectuar recuentos de los elementos de un conjunto finito, tanto utilizando los mtodos directos
de clculo como los indirectos basados en las funciones generatrices. Que estos procedimientos se sepan aplicar para
resolver problemas relacionados con el Clculo de Probabilidades y la Estadstica.
EVALUACIN
Se har un examen final en el que se evaluarn los conocimientos tericos adquiridos as como sus aplicaciones
prcticas mediante la realizacin de problemas.
12572 REPRESENTACIN DE GRUPOS FINITOS (Optativa)
2 SEMESTRE. 4,5 crditos (2,5 tericos + 2 prcticos)
PROFESOR/ES:
PROGRAMA
Elementos de la teora de grupos finitos.
Representaciones simples y semisimplicidad de los grupos. Caracteres de las representaciones: ortogonalidad y
aplicacin al criterio de irreducibilidad y de isomorfa de representaciones..
lgebra envolvente de un grupo finito: estructura y aplicacin a las frmulas de la dimensin de las representaciones
irreducibles.
Cmputo de las representaciones de los grupos abelianos y del grupo simtrico.
BIBLIOGRAFA
W. FULTON & J. HARRIS (1991): Representation theory. A first course. Sringer-Verlag.
J.P. SERRE (1971): Reprsentations linaires des groupes finis. Ed. Hermann.
EVALUACIN
Ejercicios a realizar por el alumno fuera de clase. Examen final: exposicin de un tema propuesto.
PROGRAMA
TEMA 1 DISTRIBUCIONES DE FRECUENCIAS: Representacin de datos discretos y continuos: diagramas de
barras e histogramas. Distribuciones de frecuencias acumuladas. Medidas de posicin: media, mediana y moda.
Medidas de dispersin: varianza, desviacin tpica y recorrido.
TEMA 2 PROBABILIDADES: Concepto de probabilidad. Leyes del clculo de probabilidades. Momentos de una
variable aleatoria.
TEMA 3 DISTRIBUCIONES DE PROBABILIDAD: Distribucin binomial. Distribucin hipergeomtrica.
Distribucin de Poisson. Distribucin normal. Manejo de tablas.
TEMA 4 ESTIMACIN ESTADSTICA: Estimacin de medias y varianzas. Intervalos de confianza. Intervalos de
tolerancia.
TEMA 5 GRFICOS DE CONTROL: Conceptos de variabilidad y de proceso bajo control. La filosofa de los
grficos de control. Lmites de tolerancias tcnicas.
TEMA 6 GRFICOS DE CONTROL POR VARIABLES: Grfico (X,S) . Grfico de medias (X,S) . Grfico S de
desviaciones tpicas. Grfico de medias (X,R) . Grfico R de recorridos. Capacidad de un proceso.
TEMA 7 GRFICOS DE CONTROL POR ATRIBUTOS: Grfico para proporciones. Grfico p estandarizado.
Grfico np .
TEMA 8 GRFICOS DE CONTROL POR NMERO DE DEFECTOS: Grfico c . Grfico U . Grfico U
estandarizado. Otros grficos de control.
TEMA 9 CONTROL DE RECEPCIN POR ATRIBUTOS: Conceptos bsicos. Curvas caractersticas. Plan de
muestreo simple por atributos. Planes de control rectificativos. Planes de Dodge y Romig.
TEMA 10 PLANES DE MUESTRO MILITARY STANDAR: Metodologa de los planes de muestreo MIL-STD.
Planes de muestro por atributos (MIL-STD-105D). Planes de muestro por variables (MIL-STD-414).
BIBLIOGRAFA
BRAVERMAN (1981): Fundamentals of Statistical Quality Control. Reston Pu.
BURR, I.W. (1953): Engineering Statistics and Quality Control. Mc Graw-Hill Book Company Inc, New York.
CHARBONNEAU, H.C. & WEBS TER, G.L. (1983): Control de Calidad. Interamericana S.A. Mxico.
DODGE, H.F. & ROMIG, H.G. (1959): Sampting Inspection Tables (2nd ed.), John Wiley and Sons. New York.
DUNCAN, A.J. (1974): Quality Control and Industrial Statistics. R.D. Irwin, Inc. Homewood. Illinois.
FEIGENBAUM, A.V. (1972): Control total de la Calidad: Ingeniera y Administracin, (5 impresin), C.E.C.S.A.,
Mxico.
MONTGOMERY, D.C. (1985): Introduction to Statistical Quality Control2. Wiley.
WETHERILL, G.B. (1977): Sampling Inspection and Quality Control. Chapman and Hall.
MONTGOMERY, D.C. (1991): 2Control estadstico de la calidad. Iberoamericana.
OBJETIVOS
Interpretacin y utilizacin de los grficos de control estadsticos de la calidad, as como el manejo de tablas y planes
de control.
EVALUACIN
Media ponderada de prcticas de ordenador, problemas propuestos y examen final.
REQUISITOS PREVIOS
Se recomienda que el alumno est familiarizado con las nociones bsicas de topologa vistas en asignaturas de segundo
curso. Entre estas nociones cabe destacar las siguientes: nocin de topologa por abiertos y cerrados; bases de una
topologa; espacio mtricos y espacios compactos.
PROGRAMA
Esta asignatura tiene como objetivo el estudio con cierta profundidad de los espacios topolgicos separados. Tambin
se realizar una primera aproximacin a la topologa algebraica va el primer grupo fundamental. El programa se
reparte en los siguientes apartados:
COMPACTIFICACIONES
- Se estudiarn las compactificaciones de Stone-Cech y Alexandroff para espacios topolgicos. Se comenzar con la
enumeracin y definicin de los espacios topolgicos dependiendo de sus propiedades de separacin: Espacios
separados, regulares, completamente regulares y normales. Para construir estas compactificaciones se demostrar
previamente el lema de Urysohn y el teorema de Tychonoff. Se construirn la compactificacin de Stone-Cech para
espacios completamente regulares y la de Alexandroff para espacios localmente compactos. Se demostrarn las
propiedades universales de estas compactificaciones. Como aplicacin se probar el teorema fundamental del lgebra.
TEORIA DE REVESTIMIENTOS Y PRIMER GRUPO FUNDAMENTAL
- Previamente se definirn y estudiarn los morfismos separados y propios para espacios topolgicos separados. A
continuacin se darn las nociones de revestimiento y propiedades generales. Se dar la nocin de primer grupo
fundamental va la relacin de homotopa entre lazos. Se estudiar la relacin entre este grupo fundamental y la teora
de revestimientos por medio del revestimiento universal de un espacio topolgico. Se estudiar la teora de Galois para
revestimientos . Como aplicacin se demostrar el terema del punto fijo de Brouwer y el teorema de Borsuck-Ulam
para la esfera.
TEOREMA DE ASCOLI Y FAMILIA DE FUNCIONES EQUICONTINUAS
- Se har una aproximacin al anlisis funcional por medio del teorema de Ascoli y las familias de funciones
equicontinuas. Se ver su relacin con el lmite puntual y uniforme de funciones continuas.
ESPACIOS s-COMPACTOS Y PARACOMPACTOS
-Se tratarn los espacios s-compactos y paracompactos, demostrando la relacin entre esas dos nociones para espacios
localmente compactos y separados. Se probar que los espacios paracompactos estn caracterizados por existir
particiones de la unidad subordinadas para los recubrimientos por abiertos del espacio topolgico.
TEORIA DE LA DIMENSION PARA ESPACIOS TOPOLOGICOS
-Se dar la definicin de dimensin topolgica inductiva y de Lebesgue. Se probar la equivalencia entre las dos
definiciones para los espacios mtricos separables. Se demostrar que todo espacio mtrico separable de dimensin
topolgica finita es un subespacio de un n-cubo.
METODOLOGA DOCENTE Y DE EVALUACIN
La carga horaria ha de entenderse en el marco del EEES (crditos ECTS) en los que se incluyen las lecciones
magistrales, clases de resoluciones de problemas, tutoras, y tiempo que cada alumno dedica a realizar las tareas
encomendadas as como al estudio de la materia. stas ltimas son especialmente significativas pues se ha optado por
un mtodo de evaluacin continua.
Para la convocatoria ordinaria (Junio) se realizar una evaluacin continua a lo largo del curso consistente en la
resolucin de pequeas cuestiones tericas y prcticas, ejercicios tipo test y exposiciones orales. La realizacin de estas
pruebas ser obligatoria y podr ser suficiente para aprobar. Aquellos alumnos que, habiendo aprobado, deseen
mejorar la nota obtenida, podrn realizar un examen final en Junio. En la convocatoria extraordinaria se relizar
nicamente un examen de toda la asignatura.
BIBLIOGRAFA
BOURBAKI, N. (1966): General Topology. Ed. Herman, Addison-Wesley.
GEMIGNANI, M.C. (1990): Elementary Topology. Ed. Dover Publications.
KELLY, J.L. (1955): General Topology. Ed. Van Nostrand Company,Toronto.
GILLMAN-JERISON Rings of continuous functions. Ed: Van Nostrand Company.
OBJETIVOS DE APRENDIZAJE
Los objetivos de esta asignatura consisten, como continuacin natural de la asignatura lgebra Conmutativa, en
desarrollar los conceptos algebraicos y tcnicas necesarias para poder enunciar las propiedades geomtricas bsicas de
las variedades afines y, ms especialmente, de las curvas afines. Al mismo tiempo, conseguir que el estudiante
comprenda que el lgebra Conmutativa es equivalente a la geometra de las variedades afines. Estos objetivos se
pueden concretar en:
Establecer los conceptos geomtricos a partir de los algebraicos como inicio del estudio de la Geometra Algebraica y
que perciban la necesidad de las nociones fundamentales del lgebra Conmutativa a partir de ideas geomtricas
conocidas en otras materias como puede ser la Geometra Diferencial.
Aprender a enunciar propiedades geomtricas a partir de propiedades algebraicas, y viceversa. Proporcionar a los
alumnos mtodos que le permitan enunciar con precisin y rigor ciertas percepciones geomtricas.
Estos objetivos se conseguirn con el siguiente programa, en el que se detallan los contenidos y las destrezas para cada
tema:
TEMA 1: TEORA DE LA DIMENSIN.
Contenidos: Ecuaciones en diferencias finitas. Funcin de Hilbert. Funciones de Samuel en un anillo local
noetheriano. Dimensin de un anillo. Sistemas mnimos de parmetros y su significado geomtrico. Enunciado del
teorema de la dimensin para anillos locales noetherianos. Teorema del ideal principal, multiplicidad de un anillo
local.
Destrezas: Calcular el polinomio de Hilbert de anillos graduados sencillos (cocientes de anillos de polinomios por
ideales homogneos). Calcular el polinomio de Samuel de anillos locales de variedades algebraicas en puntos.
Calcular dimensiones de anillos sencillos de variedades algebraicas utilizando el teorema de la dimensin y sus
consecuencias. Calcular la multiplicad del anillo local de una variedad algebraica en un punto en casos sencillos.
TEMA 2: ANILLOS REGULARES
Contenidos:variedadesafinesyespaciotangenteenunpunto.anilloslocalesregularesypuntosnosingulares.espacio
tangenteenunpuntonosingular.curvasafinesnossingulares.anilloslocalesregularescompletos.teoremadecohen.
caracterizacindiferencialdelaregularidad:criteriojacobiano.
destrezas:calcularelconotangenteaunavariedadafnenunpunto.determinarsielanillolocaldeunacurvaplanaen
unpuntoesregular.calcularexplcitamenteelcompletadodelanilloregulardeunacurvaplana.estudiarsiunpunto
noracionaldeunacurvaplanasobrelosnmerosrealesesregularutilizandoelcriteriojacobiano.
TEMA 3: MORFISMOS FINITOS Y ENTEROS. CIERRE ENTERO.
Contenidos: Definicin de morfismos finitos y enteros. Propiedades geomtricas de los morfismos enteros. Cierre
entero y su finitud. Teoremas del ascenso y del descenso. Teorema de Normalizacin de Noether y significacin
geomtrica. Teorema de los Ceros de Hilbert y significacin geomtrica.
Destrezas: Caracterizar morfismos finitos definidos a partir de extensiones polinmicas. Calcular el modulo de
diferenciales relativas de un morfismo finito. Conocer cambios de base para los que se preserva la condicin de
morfismo finito o entero.
TEMA 4: VALORACIONES Y ANILLOS DE VALORACIN.
Contenidos: Valoraciones sobre un cuerpo. Anillos de valoracin. Equivalencia de ambos conceptos. Anillos de
valoracin discreta y valoraciones en curvas afines. Construccin del cierre entero a partir de valoraciones. Anillos de
Dedekind y anillos de curvas afines no singulares. Desingularizacin de una curva afn por su cierre entero.
Morfismos finitos entre curvas afines no singulares: nociones de grado, puntos de ramificacin e ndice de
ramificacin.
Destrezas: Calcular los ceros y polos de una funcin algebraica sobre una curva plana no singular. Calcular los puntos
de ramificacin de un morfismo finito a partir de las diferenciales relativas. Conocer la relacin entre puntos de
ramificacin y puntos singulares de una extensin finita de un anillo de Dedekind. Determinar si una extensin finita
de los nmeros enteros es ntegramente cerrada, calculando sus puntos singulares.
TEMA 5: ESTUDIO LOCAL DE LOS PUNTOS SINGULARES DE LAS CURVAS ALGEBRAICAS.
DESINGULARIZACIN.
Contenidos: Explosin de un anillo y sus propiedades geomtricas. Espectro proyectivo de un lgebra graduada.
Parmetros transversales en un punto y transformaciones cuadrticas. Explosin de curvas. Clculo de la multiplicidad
de interseccin de una curva y una hipersuperficie a travs de la explosin. Clculo de la multiplicidad de un punto y
del polinomio de Samuel de una curva. Ramas analticas, Puntos cuspidales de una curva plana y contacto maximal.
Destrezas: Calcular el rbol de explosin del anillo local de una curva en un punto singular. Determinar el cierre
entero de una extensin cuadrada de los nmeros enteros. Calcular la multiplicidad de interseccin de dos curvas
planas en un punto singular. Computar el contacto maximal de un curva en un punto cuspidal.
METODOLOGA DOCENTE: ACTIVIDADES DE APRENDIZAJE Y SU VALORACIN EN CRDITOS
ECTS
Esta asignatura tiene 9 crditos ECTS. Se entiende que un crdito ECTS tiene unas 25 horas, de las que entre 7 y 10
son de actividades presenciales. En consecuencia, la dedicacin del estudiante debe de ser de 225 horas. El
aprendizaje se articular en las siguientes actividades:
- Clases presenciales. En estas clases se mostrarn a los alumnos los conceptos y resultados fundamentales de los
contenidos. Se comentarn los puntos clave de las demostraciones cuyo desarrollo detallado ser objeto de trabajos
individuales que realizarn los alumnos. As mismo se plantearn y resolvern ejercicios que ayuden a la comprensin
de la teora. Esta parte tendr una carga de 2.8 crditos ECTS.
- Tutoras de supervisin. En estas se supervisar la realizacin del trabajo individual con el fin de informar al alumno
de su desarrollo y lograr una adecuada presentacin de los trabajos en clase. El objetivo de esta actividad es introducir
al alumno, de forma dirigida, en los hbitos de integracin de conocimientos a partir de diferentes fuentes de
informacin. Esta actividad presencial tendr una carga de 0.2 crditos ECTS.
- Exposiciones orales. Cada alumno presentar un trabajo individualizado al resto de los alumnos en clase. El objetivo
de esta actividad es comprobar que el alumno es capaz de comunicar con claridad los conocimientos y los argumentos
que los sustentan. Esta actividad presencial supondr un total de 0.7 crditos ECTS.
- Trabajos. En esta actividad no presencial el alumno elaborar, bajo la supervisin del profesor, los trabajos
individuales y colectivos propuestos por el profesor y que sern entregados al profesor con el propsito de que el
alumno consiga las habilidades que le permitan seguir estudiando, as como trabajar en grupo. Esta actividad no
presencial supondr un total de 1.8 crditos ECTS.
- Asimilacin de los contenidos y preparacin del examen. En esta parte se contabiliza el tiempo dedicado por el
alumno para el seguimiento continuo de la asignatura y para la preparacin del examen y as consiga los objetivos
IDAD
IEMPO
DE
APRENDIZAJE
Actividades presenciales
Tema 1
Tema 2
Tema 3
Tema 4
Tema 5
Realizacin del examen
Preparacin de los trabajos para
entregar
Realizacin de ejercicios para
entregar
Exposicin del trabajo personal y
ejercicios
Tutoras de supervisin
TOTAL
Horas
teora
8
5
9
7
8
Horas
prcticas
5
5
6
6
8
Otras
actividades
Tiempo de estudio
Trabajo personal
20
16
20
14
16
4
23
22
18
37
30
5
27
131
- Atiyah, M. & macdonall, J.G. (1971): Introduccin al Algebra Conmutativa. Ed. Revert
- Reid, M. (1995): Undergraduate Commutative Algebra, London Math. Soc. Student Texts (N 29). Cambridge
University Press.
- Harris, J. (1992): Algebraic Geometry. Graduate Texts in Math., 113. Springer-Verlag.
Los estudiantes deberan acostumbrarse a manejar otros libros y seleccionar el material que les resulte de utilidad; es
muy instructivo conocer distintos puntos de vista y diferentes notaciones. Proponemos aqu algunos libros que pueden
consultar como bibliografa ms avanzada, pero complementaria para algunos temas:
- Bourbaki, N.: Algebre Commutative. Hermann. Paris
- Matsumura, H. (1970): Commutative Algebra. Benjamin
- Reid, M. (1988): Undergraduate Algebraic Geometry, London Math. Soc. Student Texts (N 12). Cambridge
University Press.
PROGRAMA
TEMA 1: FUNDAMENTOS SOBRE LOS ESPACIOS NORMADOS
Espacios normados. Seminormas y normas. Espacios normados. Series en un espacio normado. Bases de Schauder.
Normas equivalentes. Subespacios de un espacio normado Espacios cociente. Producto de espacios normados.
Aplicaciones lineales continuas entre espacios normados. Aplicaciones lineales acotadas. Caracterizacin. Norma de
una aplicacin lineal continua. El espacio L(X,Y).
El teorema de Hahn-Banach. Funcionales convexas en un espacio vectorial. Formas analtica y geomtrica del teorema
de Hahn-Banach.
El espacio dual topolgico de un espacio normado. Formas lineales continuas. El espacio dual X'. Aplicacin lineal
conjugada. Espacios reflexivos.
TEMA 2: ESPACIOS DE BANACH
Espacios de Banach. Caracterizacin en trminos de sus series normalmente convergentes. Completacin de un
espacio normado. Completitud de las aplicaciones lineales continuas de un espacio normado en un espacio de Banach.
Espacios vectoriales de dimensin finita: completitud, equivalencia de las normas y caracterizacin de los compactos.
El teorema de Riesz.
El Teorema de Baire. El teorema de Banach-Steinhaus y el principio de acotacin uniforme. Teoremas de la
aplicacin abierta y del homeomorfismo. Aplicaciones cerradas. El teorema de la grfica cerrada.
Topologas dbiles. Topologa dbil en un espacio normado. Propiedades. Comparacin con la topologa fuerte.
Topologa dbil* en el dual de un espacio normado. El teorema de Banach-Alaoglu-Bourbaki.
TEMA 3: ESPACIOS DE HILBERT
Espacios de Hilbert. Producto interior. Espacios pre-hilbertianos. Desigualdad de Schwartz. Espacios de Hilbert. Ley
del paralelogramo.
Ortogonalidad. Perpendicularidad. Teorema de Pitgoras. El ortogonal de un subconjunto. Mejor aproximacin a un
convexo cerrado. Descomposicin de un espacio de Hilbert como suma ortogonal de cada subespacio cerrado y su
ortogonal. Proyecciones ortogonales.
Dualidad en espacios de Hilbert. El teorema de representacin de Riesz. El producto interior de H'. Reflexividad de
los espacios de Hilbert. El teorema de Lax-Milgram. Aplicaciones a problemas variacionales.
Bases ortonormales. Desarrollos de Fourier. Conjuntos ortogonales y ortonormales. Desigualdad de Bessel. Bases
ortonormales. Sistemas ortonormales completos. Equivalencia entre bases ortonormales, sistemas ortonormales
completos y conjuntos ortonormales que satisfacen la identidad de Parseval. Existencia de bases ortonormales.
Dimensin hilbertiana. Clasificacin de los espacios de Hilbert por su dimensin. Caracterizacin de los espacios de
Hilbert separables. El proceso de ortonormalizacin de Schmidt.
TEMA 4: TEORA DE LA MEDIDA E INTEGRACIN
Espacios de medida. lgebras y s-lgebras. La s-lgebra generada por una familia de conjuntos. Espacios medibles.
Caracterizar las aplicaciones lineales continuas entre espacios normados y saber determinar cuando una aplicacin
lineal es acotada, pudiendo calcular su norma en distintos casos. Entender la nocin de espacio dual y saber
calcular los duales de espacios habituales. Conocer el Teorema de Hahn-Banach y saber sus implicaciones para la
dualidad.
Conocer los teoremas principales de la teora de los espacios de Banach y poder aplicarlos a la resolucin de
problemas concretos.
Determinar la ortogonalidad de elementos en un espacio de Hilbert, calcular complementos ortogonales. Conocer y
poder aplicar la teora de los espacios de Hilbert a los desarrollos de Fourier.
Definir una sigma-lgebra, una medida, y una funcin medible y saber reconocerlas. Conocer cmo se integran las
funciones simples, positivas, y de L1. Conocer los teoremas principales de la teora de integracin y poder
utilizarlos en la resolucin de ejercicios. Definir los espacios Lp y conocer sus propiedades fundamentales.
Definir la invertibilidad de un operador, conocer diversas maneras de demostrar que un operador es invertible.
Definir el espectro de un operador compacto y poder calcularlo en casos particulares, sabiendo relacionar el espectro
de T y de T*. Conocer el Teorema Espectral. Saber usar el radio espectral para calcular normas de operadores
autoadjuntos.
METODOLOGA DOCENTE
Clases de teora y problemas.
Prcticas: Adems de asistir a clase, a lo largo del curso los alumnos desarrollarn algunas prcticas, que tendrn que
entregar por escrito y exponer en clase. En ellas se tratarn temas de ndole esencialmente prctica, que servirn como
aplicacin y complemento de los contenidos desarrollados en clase.
Recursos en internet: Habr una pgina web de la asignatura en el campus virtual de la Facultad de Ciencias. Adems
de servir como va alternativa de comunicacin entre profesores y alumnos, en ella se dejarn los problemas del curso,
las prcticas y todo el material que se considere de inters.
EVALUACIN
La evaluacin consta de dos partes: examen de teora y problemas, con un peso del 80% de la nota final, y trabajo de
los alumnos a lo largo del curso, con una ponderacin del 20%. La calificacin final ser sobre 10 puntos y, para
aprobar, los alumnos debern obtener un mnimo de 3 puntos en cada una de las dos partes de que consta el examen.
BIBLIOGRAFA
Citamos aqu algunos ttulos en los que se pueden consultar los contenidos de esta asignatura. Dicho material se puede
complementar visitando la biblioteca Abraham Zacut.
Berberian, S.K. Lectures in Functional Analysis and Operator Theory, Springer, 1974.
Kolmogorov, A.N.; Fomin, S.V. Elementos de la Teora de Funciones y del Anlisis Funcional. Mir,
1978.
Meise, R.; Vogt, D. Introduction to functional analysis. Oxford University Press, 1997.
Tocino, A.; Maldonado, M. Problemas resueltos de Anlisis Funcional. Cervantes. Salamanca, 2003.
OBJETIVOS
Continuar con el estudio de la teora de funciones de una variable compleja iniciado en la asignatura Introduccin al
Anlisis complejo de tercer curso. Aunque esta continuacin podra llevarse a cabo de muchos modos, en una
asignatura cuatrimestral, debido a la amplia variedad de posibles temas que podran elegirse, nos parece necesario
incluir en ella por una parte los conceptos y resultados fundamentales sobre las funciones armnicas en abiertos del
plano complejo (o en una superficie de Riemann), por la estrecha relacin entre este tipo de funciones y las funciones
holomorfas, as como el problema de Dirichlet, su resolucion y algunas de las mas importantes consecuencias de la
existencia de solucin, incluyendo la demostracin original de Riemann del teorema de representacin conforme, y por
exhaustivas de compactos en un abierto de C. Teorema de aproximacin de Runge para subconjuntos abiertos del
plano complejo ampliado. Desplazamiento de los polos de una funcion meromorfa, y segunda versin del Teorema de
Runge para abiertos. Caso particular de los abiertos simplemente conexos en C; caracterizaciones de este tipo de
abiertos.
MCPE: Conocer condiciones equivalentes a la posibilidad de aproximar grmenes de funciones holomorfas en un
subconjunto compacto de un abierto de C por funciones holomorfas en el abierto. Saber que en todo abierto de C hay
una sucesin exhaustiva de compactos a los que es aplicable el teorema de Runge, y como deducir de ello la versin
para abiertos del teorema. Comprender el proceso de desplazamiento de polos de una funcin meromorfa y como este
procedimiento permite obtener una versin mas fuerte del Teorema de Runge. Conocer lo que sucede y por qu, en el
caso particular de los abiertos simplemente conexos en C.
TEMA 5. EXISTENCIA DE FUNCIONES MEROMORFAS EN ABIERTOS DE C.
Existencia de solucin para las ecuaciones no homogeneas de Cauchy-Riemann en un abierto de C. Distribuciones de
partes singulares. Teorema de Mittag-Leffler sobre existencia de funciones meromorfas en un abierto de C con partes
singulares prefijadas y algunas de sus consecuencias.
MCPE: Conocer que las funciones complejas de clase C , con soporte compacto, en abiertos de C admiten una cierta
representacin integral, que junto con el teorema de aproximacin de Runge, permite ver que el operador de
derivacin respecto de la conjugada de la coordenada natural z de C (las ecuaciones no homogeneas de CauchyRiemann) siempre tiene solucin en C (C). Saber que toda distribucin de partes singulares en un abierto de C
corresponde a alguna funcin meromorfa.
METODOLOGA DOCENTE
Esta asignatura tiene 7,5 crditos ECTS. Cada crdito ECTS corresponde a unas 25 horas, de las que en esta
asignatura 6 son de clases tericas y 4 de clases prcticas. Se dedican, por lo tanto, 75 horas a actividades en clase, de
las que 45 son de clases de teora (y posibles exposiciones de los alumnos) y 30 de clases de problemas (y exposiciones
de problemas).
El examen final tendr 4 horas de duracin, y hay 3 horas de tutora a la semana para que los alumnos que lo deseen
efecten preguntas y consultas.
Se estima, por los profesores en 100, aproximadamente, el nmero de horas necesarias para el trabajo personal de
aprendizaje de la asignatura, incluyendo los tiempos de estudio de la teora y de resolucin de problemas.
CRITERIOS Y MTODOS DE EVALUACIN
La evaluacin final constar de una parte terica que supondr un 40% de la nota final, y de una parte prctica
(resolucin de problemas) a la que corresponder el 60% restante. Los alumnos podrn superar la parte terica
mediante examen por escrito consiguiendo 5 o ms puntos sobre un mximo de 10, salvo que en la parte prctica del
examen (problemas) consigan una puntuacin suficientemente alta para compensar una calificacin mas baja de la
teora, que nunca podr ser inferior a 3 puntos. La puntuacin de la parte terica podr ser complementada por medio
de exposiciones (de partes de la teora ya explicada por el profesor, o de algn enunciado cuya demostracin hubiera
quedado pendiente para: o bien, en casos sencillos, ser obtenida por los propios alumnos o bien ser consultada en
alguno de los textos de la bibliografa indicada).
La parte prctica de la evaluacin podr ser superada consiguiendo 5 puntos sobre 10 en el examen (con la
posibilidad de aumentar esta puntuacin hasta un mximo de 2 puntos mas, mediante exposiciones en clase), salvo
que en la parte terica del examen se alcance una puntuacin suficientemente alta para compensar una calificacin
mas baja del examen escrito de problemas, que nunca podr ser inferior a 3 puntos.
BIBLIOGRAFA
Anlisis de variable compleja, por L. Ahlfors. Aguilar, 1971.
Anlisis real y complejo, por W. Rudin. Alhambra, 1979.
Classical Topics in Complex Function Theory, por R. Remmert. Springer. 1998.
Complex Analysis, por E. Stein y R. Shakarchi. Princeton Univ. Press, 2003.
Complex Analysis in One Variable, por R. Narasimhan y Y. Nievergelt. Birkhauser. 2001.
Funciones de variable compleja, apuntes del prof. J. Muoz Daz . Univ. Salamanca.
Functions of One Complex Variable, por J. Conway. Springer. 1978.
Teora elemental de las funciones analticas de una y varias variables complejas , por H. Cartan. Selecciones
Cientficas, 1968.
Teora de funciones I, por J. Muoz Daz. Tecnos, 1978.
Teora de las funciones analticas I y II, por A. Markhusevich. Mir, 1978.
PROGRAMA
1.- Aproximacin e interpolacin: Introduccin a la teora de la aproximacin.- Aproximacin uniforme.Interpolacin polinomial.- Interpolacin polinomial a trozos e interpolacin Spline.
2.- Derivacin e integracin numrica. Ecuaciones en diferencias: Derivacin numrica.- Integracin numrica.Ecuaciones en diferencias.
3.- Resolucin numrica de ecuaciones diferenciales ordinarias. Problemas de valor inicial: El mtodo de Euler.Estudio general de los mtodos de un paso.- Los mtodos de Runge-Kutta explcitos.- Mtodos de Runge-Kutta
generales.- Mtodos multipaso lineales.- Estabilidad y convergencia de los mtodos multipaso.- Mtodos multipaso
con paso variable.- Resolucin numrica de problemas stiff.
4.- Resolucin numrica de ecuaciones diferenciales ordinarias. Problemas de contorno: El mtodo de tiro.- El
mtodo de diferencias finitas.- Mtodos variacionales.
BIBLIOGRAFA
CROUZEIX, M.; MIGNOT, A.L. (1984): Analyse Numrique des Equations Diffrentielles. Ed. Masson.
LAMBERT, J. 1993): Computational methods in ordinary differential equations & Stiff systems. Ed. John Wiley.
STOER, J.; BULIRSCH, R. (1992): Introduction to Numerical Analysis. 2 Ed. Springer-Verlag.
OBJETIVOS Y PLAN DE TRABAJO
Esta asignatura est dirigida fundamentalmente a la resolucin numrica de ecuaciones diferenciales ordinarias. Esta
es una de las partes ms antiguas dentro del Anlisis Numrico y posiblemente una de las ms desarrolladas.
Por una parte se analizarn algoritmos destinados a resolver problemas genricos: se ha llegado a mtodos ptimos y
sobre ellos se ha trabajo en detalles prcticos de programacin, se realizarn pruebas experimentales, y se estudiarn
tericamente. Por otra parte, se analizarn mtodos con propiedades especiales que se adaptan bien a propiedades con
caractersticas muy particulares, en este sentido, especial relieve tienen los mtodos destinados a la resolucin
numrica de problemas stiff.
El contenido de la asignatura se complementar con algunos temas dedicados a la teora de la aproximacin,
interpolacin e integracin numrica sobre los que se apoyan en gran parte los mtodos numricos para la resolucin
de ecuaciones diferenciales y que tienen adems inters en s mismos; entre los temas que han adquirido gran
importancia en las dos ltimas dcadas cabe sealar la teora de la interpolacin spline.
EVALUACIN
An cuando la realizacin de ejercicios y trabajos dar una idea aproximada del grado de asimilacin de los
estudiantes, los exmenes tendrn un peso importante en la calificacin.
En cuanto al contenido del examen, parece conveniente combinar las cuestiones de tipo conceptual y prctico, de
manera que el alumno tenga ocasin de demostrar su capacidad creativa y de razonamiento, as como su habilidad de
diferenciar lo fundamental de lo accesorio. La duracin de estas pruebas ser flexible, dependiendo de su contenido.
Con ellas se tendr indicadores del grado de asimilacin de la asignatura por el alumno que, junto con la informacin
obtenida en las clases de teora y problemas y trabajos realizados, permitan establecer el nivel alcanzado a lo largo del
curso.
a lo largo de un curva parametrizada. Geodsicas de una conexin lineal. Extensin de la derivada covariante a la
capa tensorial. Torsin y curvatura de una conexin lineal.
Tema II : VARIEDADES RIEMANNIANAS
Variedades riemannianas. Conexin mtrica de Levi-Civita. El flujo geodsico. Aplicacin exponencial. Coordenadas
y entornos normales. Lema de Gauss. Las geodsicas como curvas de longitud mnima. Estructura mtrica de una
variedad riemanniana.
Tema III : TENSORES DE CURVATURA
Tensor de curvatura de una conexin mtrica. Primera identidad de Bianchi. Tensor de curvatura de RiemannChristoffel. Curvaturas seccionales. Derivacin covariante del tensor de curvatura . Segunda identidad de Bianchi.
Teorema de Schur. Tensor de Ricci. Curvatura escalar.
Tema IV : TRANSFORMACIONES AFINES
Imagen directa de una conexin lineal por un difeomorfismo. Transformaciones afines. Comportamiento de las
geodsicas y del traslado paralelo frente a transformaciones afines. Conexiones mtricas e isometras locales.
Ecuaciones de estructura y teorema de Cartan-Ambrose-Hicks.
Tema V : SUBVARIEDADES RIEMANNIANAS
Subvariedades de una variedad riemanniana. Primera y segunda forma fundamental. Frmula de Gauss. Ecuaciones
de Codazzi-Mainardi. Teorema egregio de Gauss. Estudio particular de las curvas eucldeas : referencias mviles y
frmulas de Frenet. Estudio particular de las hipersuperficies eucldeas: endomorfismo de Weingarten. Vectores y
curvaturas principales. Curvaturas geodsicas y normales. Curvatura de Gauss. Teorema de Meusnier. Teorema de
Euler. Indicatriz de Dupin.
Tema VI : VARIEDADES SIMPLCTICAS
Variedades simplcticas. Teorema de Darboux. Transformaciones cannicas. Algebra de Poisson de una variedad
simplctica. Introduccin a la Mecnica Hamiltoniana.
OBJETIVOS DE APRENDIZAJE Y DESTREZAS ESPECFICAS POR TEMAS
Se indican a continuacin los objetivos de la asignatura y habilidades que se pretende que adquiera el alumno.
Tema I: Conocer el concepto de ley de derivacin covariante y sus propiedades. Determinar una conexin lineal
localmente mediante los smbolos de Christoffel. Saber calcular la derivada covariante de cualquier campo tensorial
diferenciable. Reconocer las ecuaciones del traslado paralelo y de las geodsicas. Saber calcular el traslado paralelo de
un vector a lo largo de una curva. Determinar si una curva parametrizada es una geodsica respecto de una conexin
dada. Calcular la torsin y curvatura de
una conexin lineal.
Tema II: Conocer el concepto de mtrica riemanniana y la conexin mtrica asociada. Conocer ejemplos de
variedades riemannianas. Saber calcular la longitud de una curva y reparametrizarla por la longitud de arco. Saber
calcular en coordenadas la conexin de Levi-Civita. Conocer las propiedades geomtricas del traslado paralelo
riemanniano. Comprender el flujo geodsico en el fibrado tangente de una variedad riemanniana y saber utilizar las
propiedades de las geodsicas para definir la aplicacin exponencial. Conocer las propiedades de las coordenadas
normales. Estudiar las propiedades de los entornos normales. Calcular explcitamente la aplicacin exponencial de
algunas variedades riemannianas.
Tema III : Conocer las propiedades de los tensores de curvatura. Conocer las diferentes formas en que se pueden
expresar identidades de Bianchi. Conocer el significado geomtrico de las curvaturas seccionales. Calcular las
curvaturas seccionales de diferentes variedades riemannianas. Conocer modelos de las variedades riemannianas de
curvatura seccional constante. Saber caracterizar la curvatura seccional de las variedades riemannianas
bidimensionales. Conocer la demostracin del teorema de Schur. Saber determinar el tensor de Ricci y la curvatura
escalar de una variedad riemanniana.
Tema IV : Saber determinar la imagen directa de un campo tensorial bajo un difeomorfismo. Saber determinar la
transformacin de una conexin lineal por un difeomorfismo. Reconocer las transformaciones afines y conocer sus
propiedades. Saber si una transformacin es una isometra local. Saber determinar si dos variedades riemannianas son
isomtricas. Conocer el comportamiento de la aplicacin exponencial frente a transformaciones afines. Conocer el
Cada alumno deber tambin resolver y entregar una hoja de ejercicios prcticos y cuestiones relativas a cada tema de
estudio. Dicho trabajo ser evaluable para la
calificacin final segn las directrices que se indican ms abajo.
A los alumnos se les entregar tambin un listado de problemas para desarrollar el trabajo personal de carcter
complementario al desarrollado en clase. En las tardes del primer martes de cada mes se programarn seminarios
optativos entendidos como un foro de discusin donde los alumnos abordarn ciertos conceptos vistos en clase. En
estos seminarios el alumno deber tener una participacin activa aportando sus puntos de vista o soluciones a las
cuestiones y problemas planteadas .
Habr tambin un horario de tutora donde los alumnos tienen la posibilidad de consultar y resolver sus dudas con los
profesores de la asignatura.
EVALUACIN
La evaluacin final de la asignatura se llevar a cabo mediante los siguientes apartados:
1) Calificacin de los trabajos propuestos a lo largo del curso. La proporcin de esta parte ser hasta un 15/100 en la
calificacin final siempre en funcin de la cantidad y calidad de los trabajos entregados. Para fomentar el trabajo en
equipo algunos de estas entregas podr ser realizadas en grupos reducidos.
2) Examen escrito de la asignatura, el cual constar de una parte terica (donde se plantearn al alumno un tema
para desarrollar y varias cuestiones, cuya valoracin dentro del examen ser del 40/100) y una parte prctica (con
varios problemas similares a los propuestos a lo largo del curso y cuya valoracin dentro del examen ser del 60/100).
La proporcin de este examen en la calificacin final de la asignatura ser del 80/100 .
3) Participacin activa en la exposicin de trabajos y discusiones en los seminarios. La proporcin de esta parte en la
calificacin final ser del 5/100.
HORAS ESTIMADAS DE CLASE Y ESTUDIO
Esta asignatura troncal consta de 9 crditos (6 de teora y 3 de problemas) repartidos en cinco horas de clase
semanales (tres de teora y dos de problemas). La programacin docente contempla que las tardes de los primeros
martes de cada mes se destinarn a seminarios complementando con ello los crditos tericos.
Un curso de 14 semanas efectivas proporciona un total de entre 70 horas presenciales de docencia. La distribucin de
las horas y el nmero de clase previstas para cada tema estn reflejadas en la siguiente tabla segn las actividades
presenciales y no presenciales previstas.
Actividades presenciales (en horas)
Tema 1
Tema 2
Tema 3
Tema 4
Tema 5
Tema 6
Teora
6
8
8
8
8
4
TOTALES
42
Problemas
4
6
4
4
8
2
28
Seminarios
18
PROGRAMA
1. Estructuras conjuntistas. Clases de subconjuntos de un conjunto Omega. Lmites superior, inferior de una sucesin
de subconjuntos. Sigma - lgebras de sucesos. sigma- lgebra de Borel
2. Funciones de conjunto. Aditividad y sigma aditividad. Th. de continuidad medida de Lebesgue. Medidas
probabilistas. Espacios de medida. Descomposicion de Lebesgue. Extensin de medidas.
3. Funciones medibles. El concepto de Funciones medibles y de variable aleatoria. sigma-lgebra generada por una
variable aleatoria. Probabilidad asociada a una variable aleatoria
4. Integral. Th. de la Integral. Propiedades. Teorema de Radon-Nikodym y la derivada de Radon-Nikodym. Lema de
Fatou. Teoremas de la convergencia dominada y montona.
5. Funciones de distribucin. Funcin de distribucin. Propiedades. Descomposicin: parte absolutamente continua,
discreta y singular. Distribuciones clsicas: Binomial, de Poisson, Pascal, de Gauss, Laplace o exponencial.
6. Convergencia. Convergencia de sucesiones de variables aleatorias: Uniforme, casi seguro, casi uniforme, en
medida, media de orden p , en probabilidad y en ley. Relaciones entre ellas.
BIBLIOGRAFA
A.N. SHIRYAYEV Probability, Springer Verlag.
ROBERT ASH Real analysis and Probability, Acadamic Press.
KINGMAN-TAYLOR Measure and Probability, Cambridge University Press.
V. QUESADA, PARDO Curso superior de calculo de Probabilidades.
LAH-ROHATGI Probability theory, Wiley Interscience.
OBJETIVOS
Los conocimientos bsicos requeridos para poder seguir la asignatura son los relativos a la asignatura de Clculo de
Probabilidades y Estadstica. Una herramienta bsica en el desarrollo posterior son los teoremas de "operacin" bajo el
signo integral: paso al lmite, diferenciacin o intercambio de integrales; es decir los teoremas de la Convergencia
Dominada, Montona, de Fubini y sus corolarios, que presentamos sin demostracin y desde un punto de vista
puramente operativo.
Hemos intentado en todo momento presentar la materia del modo que estimamos adecuado. Nuestro
objetivo es guardar un equilibrio entre los aspectos tericos y los prcticos; queremos que el alumno sea capaz tanto de
plantearse resolver problemas concretos como de justificar rigurosamente los pasos necesarios que conducen a esa
solucin .
EVALUACIN
Se realizar un examen final.
Teora:
1. Sistemas Operativos: componentes, principios de diseo.
2. Servicios Internet: correo, transferencia de ficheros, buscadores.
3. Miscelnea: computacin, inteligencia artificial, redes neuronales.
Prcticas:
4. Sistema Operativo Unix: comandos, programacin del shell.
5. Lenguaje Fortran 90.
BIBLIOGRAFA
http://informatica.usal.es
Afzal Introduccin a Uns.- Prentice Hall 97
Tanenbaum Organizacin de Computadoras.- Prentice Hall 99
Garca Merayo Lenguaje de programacin Fortran 90.- Paraninfo 99
B.A. Forouzan Introduccin a la Ciencia de la Computacin.-Thomson 2003
Russel, Norvig Inteligencia Artificial.- Prentice Hall 97
OBJETIVO
Dar una profundizacin en algunas herramientas informticas de utilidad para el futuro matemtico, principalmente
en sistemas operativos, lenguaje FORTRAN y acceso a Internet.
EXAMEN
Teora (50%) : Test sobre las partes 1, 2 y 3
Prctica (50%): Un pequeo programa en Fortran bajo Unix, realizado de forma individual sobre el ordenador.
Para superar la asignatura hay que aprobar ambas partes separadamente.
HORARIO DE TUTORAS
Primer cuatrimestre: Lunes, Mircoles, Viernes de 10 a 12 h.
Segundo cuatrimestre: Lunes, Mircoles, Jueves de 10 a 12 h.
PROGRAMA
1.- Generalidades sobre las ecuaciones en derivadas parciales y los mtodos en diferencias: Ecuaciones en derivadas
parciales de segundo orden. Generalidades.- El mtodo de diferencias finitas en ecuaciones en derivadas parciales.
Generalidades.
2.- Ecuaciones parablicas: Ecuaciones parablicas en dimensin uno espacial.- Ecuaciones parablicas en dimensin
2 y 3.
3.- Ecuaciones elpticas: Mtodos en diferencias para la resolucin de ecuaciones en derivadas parciales elpticas.Resolucin del sistema de ecuaciones asociado a los esquemas en diferencias para problemas elpticos.- El mtodo
multimalla.
4.- Ecuaciones hiperblicas lineales: Resolucin numrica de ecuaciones hiperblicas de segundo orden en dimensin
uno espacial.- Mtodos en diferencias finitas para sistemas hiperblicos lineales: Acstica unidimensional.
5.- Ecuaciones hiperblicas no lineales: Propiedades de las ecuaciones hiperblicas no lineales.- Mtodos en
diferencias explcitos para la resolucin de una ecuacin escalar hiperblica no lineal.- Propiedades de los mtodos en
diferencias explcitos para la resolucin de una ecuacin escalar hiperblica no lineal.
BIBLIOGRAFA
AMES, W.F. (1992): Numerical methods for partial differential equations. Academic Press.
GODLEWSKI, E.; RAVIART, P.A. (1991): Hiperbolic systems of conservation laws. Ellipses.
FERZIGER, J.H. (1981): Numerical methods for engineering application, Wiley,.
ROSA, E. DE LA (1985): Ecuaciones en derivadas parciales. Introduccional mtodo de los elementos finitos.
Servicio de Publicaciones E.T.S.I. de Caminos, Madrid.
OBJETIVOS Y PLAN DE TRABAJO
Esta asignatura est dirigida fundamentalmente a la resolucin de ecuaciones en derivadas parciales por el mtodo
de diferencias finitas, aunque una parte significativa estar dedicada a la construccin de soluciones clsicas y anlisis
de algunas de sus propiedades como la unicidad, dependencia continua de los datos, principio del mximo, leyes de
conservacin, etc. Estos aspectos son de gran importancia a la hora de buscar soluciones aproximadas pues hay que
valorar en qu medida dichas aproximaciones mantienen las propiedades de la solucin exacta. Se analizarn la
estabilidad y convergencia de los mtodos en diferencias estudiados.
Por otra parte, las soluciones algebraicas de las ecuaciones en diferencias que resultan, se pueden realizar mediante
mtodos directos o iterativos como los estudiados en las asignaturas de Clculo Numrico I y II. Aqu se
reconsiderarn estos mtodos a la luz de esta nueva aplicacin y se analizarn nuevos mtodos especialmente
adaptados a la resolucin de los sistemas generados por la aproximacin numrica de las ecuaciones en derivadas
parciales, por ejemplo, los mtodos de direcciones alternadas y el mtodo multimalla, ampliamente extendido en los
ltimos aos.
Ser muy instructivo incluir al comienzo de los temas que lo propicien la deduccin del modelo matemtico a partir de
la fsica del problema.
Especial importancia concederemos a la resolucin de problemas prcticos con ordenador, utilizando bibliotecas de
programas especialmente adaptados a la resolucin de ecuaciones en diferencias finitas.
EVALUACIN
An cuando la realizacin de ejercicios y trabajos dar una idea aproximada del grado de asimilacin de los
estudiantes, los exmenes tendrn un peso importante en la calificacin.
En cuanto al contenido del examen, parece conveniente combinar las cuestiones de tipo conceptual y prctico, de
manera que el alumno tenga ocasin de demostrar su capacidad creativa y de razonamiento, as como su habilidad de
diferenciar lo fundamental de lo accesorio. La duracin de estas pruebas ser flexible, dependiendo de su contenido.
Con ellas se tendr indicadores del grado de asimilacin de la asignatura por el alumno que, junto con la informacin
obtenida en las clases de teora y problemas y trabajos realizados, permitan establecer el nivel alcanzado a lo largo del
curso.
Esta asignatura tiene 7,5 crditos ECTS. Se entiende que un crdito ECTS tiene unas 25 horas, de las que entre 7 y 10
son de actividades presenciales. Los alumnos expondrn en clase trabajos propuestos por los profesores y recibirn
listas de ejercicios, que entregarn resueltos al terminar las unidades 4, 8 y 12. Los alumnos explicarn en clase los
ejercicios entregados.
Se dedican 75 horas a actividades presenciales, de las que 36 son clases de teora, 30 clases prcticas y 9 se dedican a
exposiciones por los alumnos de trabajos propuestos por los profesores y de algunos de los problemas entregados. Se
estiman en 112 las horas para trabajo personal, incluyendo la preparacin de trabajos para exponer y la realizacin de
ejercicios para entregar.
El desglose de las actividades de aprendizaje segn los objetivos especficos se refleja en el siguiente cuadro:
UNIDAD
TIEMPO DE APRENDIZAJE
Actividades presenciales
Tiempo de estudio
Horas
Horas
Otras
teora prcticas actividades
Grupos y lgebras de Lie
15
Representacin adjunta
10
10
10
18
9
36
30
112
FACULTAD DE CIENCIAS
CRITERIOS Y MTODOS DE EVALUACIN
La evaluacin tendr dos partes.
1. Valoracin del trabajo personal realizado por el alumno y su exposicin. Esta parte contabilizar un 60% de la
calificacin final.
2. Exposicin de un trabajo propuesto por el profesor. Esta parte contabilizar un 40% de la calificacin de teora.
RECURSOS PARA EL APRENDIZAJE
Se utilizarn los siguientes recursos:
- Biblioteca Abraham Zacut de la Universidad de Salamanca.
- Internet: Se usar el Campus Virtual de la Facultad de Ciencias http://e3s.fis.usal.es/moodle/ para facilitar a los
alumnos material didctico, proponer trabajos, intercambiar documentacin y como medio de comunicacin. A travs
de la pgina http://sabus.usal.es/ podrn consultar el
catlogo sobre los fondos bibliogrficos de la Universidad de Salamanca. En la pgina del Departamento de
Matemticas, http://mat.usal.es, hay informacin sobre profesorado y planes de estudio, as como enlaces a distintos
Objetivos: Familiarizar al alumno con el manejo de las teoras cohomolgicas como herramienta para distinguir
variedades o estructuras geomtricas diferentes. Introducir y motivar el concepto de cohomologa De Rham, conocer
las principales propiedades de la cohomoga de haces y las sucesiones exactas de Mayer-Vietoris, del subespacio
cerrado y de cohomologa local. Conocer la clasificacin de los fibrados de lnea y revestimientos principales.
TEMA 3: TEORA DE LA INTERSECCIN Y DUALIDAD PARA VARIEDADES TOPOLGICAS Y
DIFERENCIABLES
Contenidos: Anillo de cohomologa, Teorema de Knneth, orientacin y orientacin normal, nmeros de interseccin
locales y globales.
Objetivos: Introducir el producto cup y conocer la frmula de los coeficientes universales. Estudiar la Dualidad de
Poincar. Introducir el haz de orientacin.
TEMA 4: CLASES CARACTERSTICAS.
Contenidos: Fibrados proyectivos, teorema de periodicidad. Clases de Chern y Stieffel-Whitney. Clases caractersticas
y curvatura. Teorema de Gauss-Bonnet.
Objetivos: Construccin de las clases caractersticas para teoras cohomolgicas.
Estudiar las clases de StieffelWhitney, las clases de Chern y la clase de Euler Conocer el teorema de Whitney.
METODOLOGA DOCENTE
La asignatura tiene 7,5 crditos ECTS. Se entiende que un crdito ECTS tiene unas 25 horas, de las que entre 7 y 10
son de actividades presenciales. Dichas actividades presenciales se repartirn entre clases terico.prcticas en las que
se introducirn y desarrollaran los conceptos del programa y tutoras individuales con el profesor y exposiciones de
trabajos por los alumnos en los que se profundizar en los conocimientos adquiridos.
Se dedican 75 horas a actividades presenciales, de las que 42 son clases terico-prcticas, 28 se repartirn entre
tutoras y exposiciones de trabajos y 5 de examen final. Se estiman en 119 las horas para trabajo personal, incluyendo
la preparacin de trabajos para exponer.
EMA
IEMPO
DE
APRENDIZAJE
Actividades presenciales
Tiempo de estudio
Horas tericoprcticas
Tutoras
Teora de Haces
6+4
25
Cohomologa
6+4
26
7+4
26
Clases caractersticas
7+4
26
Examen
Otros
16
TOTAL
42
15
13
119
SISTEMA DE EVALUACIN
El sistema de evaluacin tendr dos partes:
Valoracin del trabajo propuesto por el profesor al alumno y su exposicin oral (30% de la nota final)
Examen final de teora y problemas (70% de la nota final)
RECURSOS
Se recomienda el uso de la siguiente bibliografa:
GODEMENT, R.: Topologie Algebraique et thorie des faisceaux. Hermann.
SPANIER, E.H.: Algebraic Topology. McGraw-Hill, Book Company.
BREDON, G.E.: Sheaf theory. McGraw-Hill, Book Company.
KAROUBI, M.; LERUS, C.: Algebraic Topology via Differential Geometry. Cambridge Univ. Press.
MILNOR, J.W.; STASHEFF (1974): Characteristic Classes. Annals of Math. Studies.
GREUB,W.; HALPERIN, S.; VANSTONE, R. (1973): Connections, Curvature and Cohology, I y II. Academic
Press.
QUINTO CURSO
12583 GEOMETRA ALGEBRAICA (Optativa)
1ER SEMESTRE. 7,5 crditos (4,5 tericos + 3 prcticos)
PROFESOR/ES:
OBJETIVOS DE APRENDIZAJE
Como objetivo general se introducir al alumno el espacio de mduli de superficies de Riemann y la teora de
funciones theta. El estudio de ambos temas desde el punto de vista de la geometra algebraica es clave para uno de los
objetivos finales del master, que consiste en que los alumnos sepan aplicar los conocimientos adquiridos en esta
asignatura en contextos multidisciplinares como es la Geometra Algebraica y la Teora Cuntica de Campos. Los
objetivos de esta asignatura son los siguientes:
1. Adquirir las nociones bsicas de la teora de las superficies de Riemann y curvas algebraicas.
2. Manejar la teora analtica y algebraica de variedades Jacobianas y de funciones theta.
3. Conocer el espacio de mduli de variedades abelianas y de superficies de Riemann.
Para la consecucin de estos objetivos, se desarrollar el siguiente programa de objetivos especficos y contenidos:
PROGRAMA
Tema 1.- Series de Fourier. Generalidades. Derivacin. Integracin. Convergencia uniforme. Series de Fourier en
senos y cosenos.
Aplicaciones de las series de Fourier. Las ecuaciones del calor y de ondas.
Tema 2.- La transformada de Fourier de funciones integrables. El teorema de inversin de Fourier. El espacio de
Schwartz.
Tema 3.- Convolucin de funciones. Derivacin y regularizacin.
Tema 4.- Convolucin y la transformada de Fourier.
BIBLIOGRAFA
1.- Brezis, H. Anlisis Funcional. Madrid, Alianza Universidad textos. 1984.
2.-Caada, A. Series y transformada de Fourier y aplicaciones. Vol. I, Granada. Servicio de publicaciones de la
Universidad. 1994.
3.- Caada, A. Una perspectiva histrica de las series de Fourier: de las ecuaciones de ondas y del calor a los
operadores compactos y autoadjuntos. Relime, Revista Latinoamericana de investigacin en matemtica educativa,
3, 293-320, 2000.
4.-Gasquet, C and Witomski, P. Fourier Analysis and Applications. Texts in Applied Mathematics 30, Springer, 1998.
5.-Krner, T. W. Fourier Analysis. Cambridge University Press, 1988.
6.-Peral, I. Primer curso de ecuaciones en derivadas parciales. Addison-Wesley Iberoamericana, 1995.
7.-Zygmund, A. Trigonometric Series. Cambridge University Press, 1968.
OBJETIVOS
Familiarizar al alumno con las tcnicas fundamentales usadas en el Anlisis Armnico.
METODOLOGA
La asignatura constar principalmente de clases individualizadas dirigidas por el profesor en las cuales el alumno
preguntar sus dudas y expondr la materia preparada. Se darn algunas clases magistrales orientativas de la materia
a tratar.
EVALUACIN
La calificacin del alumno se har de una manera continuada no habiendo examen final salvo en casos excepcionales.
capacidad de leer y comprender temas relacionados con la asignatura y desarrollados en libros y artculos de
investigacin. Para la consecucin de estos objetivos, se desarrollar el siguiente programa de objetivos especficos y
contenidos:
1. FUNDAMENTOS DE LA MECNICA CLSICA Y LAS BASES FSICAS DE LA MECNICA CUNTICA
a) Objetivos: Analizar los antecedentes matemticos de la Mecnica ys etudiar ciertos sistemas clsicos con objeto de
comparar con su posterior anlogo cuntico. Dar tambin una visin histrica muy breve de los experimentos
fsicos que llevaron al nacimiento de la Mecnica Cuntica.
b) Contenidos: Formulacin Hamilton-Jacobi de la Mecnica clsica. Ejemplos de sistemas mecnicos elementales.
Orgenes de la mecnica Cuntica : Radiacin de cuerpo negro, naturaleza ondulatoria de la luz y la materia, efecto
fotoelctrico.
2. POSTULADOS MATEMTICOS DE LA MECNICA CUNTICA .
a) Objetivos: Analizar los postulados bsicos en la formulacin matemtica tradicional de la Mecnica Cuintica.
b) Contenidos: Sistemas fsicos y espacios de Hilbert . Estados puros y proyectivizacin del espacio de Hilbert.
Operadores autoadjuntos y observables fsicos.
3. TEORA CUNTICA DE LA MEDIDA Y PRINCIPIO DE INCERTIDUMBRE
a) Objetivos: Establecer la conexin entre los valores posibles resultantes al medir un observable y los elementos
matemticos del formalismo cuntico.
b) Contenidos: Resultados de medidas e interpretacin probabilstica de la Mecnica Cuntica. Dispersin cuadrtica
media de la medida de un observable. Relaciones de incertidumbre de Heisenberg. Conjunto completo de observables
compatibles.
4. EVOLUCIN TEMPORAL DE UN ESTADO CUNTICO Y ECUACIN DE SCHRDINGER.
a) Objetivos: Descripcin dinmica de la Mecnica Cuntica. Estudiar como varan los estados y observables al variar
el tiempo entre dos procesos de medida consecutivos.
b) Contenidos : Hamiltoniano de un sistema cuntico y evolucin temporal de la ecuacin de ondas. Estados
estacionarios y ecuacin de Schrdinger . Evolucin temporal de los observables cunticos y constantes de
movimiento.
Relacin de indeterminacin energia-tiempo. Reglas de la cuantizacin cannica.
5. LIMITE CLSICO DE LA ECUACIN DE SCHRDINGER
a) Objetivos: Analizar la analoga entre los sistemas mecnicos cunticos con sus anlogos clsicos via la evolucin
de los valores medios de la medida de los observables.
b) Contenidos : Ecuacin de Hamilton-Jacobi. Teorma del virial. Teorema de Ehrenfest y el lmite clsico de la
Mecnica.
6. ESTUDIO DE SISTEMAS CUNTICOS PARTICULARES
a) Objetivos: Mostrar al alumno como llevar a lka prctica las anteriore ideas, computando explcitamente el espectro
del hamiltoniano cuntico y las funciones de onda estacionarias de ciertos ejemplos sencillos y analizar con ello los
fenmenos cunticos que aparecen.
b) Contenidos: Problemas unidimensionales y efecto tnel. Oscilador armnico. Y operadores de creacin y
destruccin. Atomo de hidrgeno.
7. SIMETRIAS EN MECNICA CUNTICA
a) Objetivos: Estudiar las representaciones unitarias de grupos de Lie y su aplicacin al estudio de las simetras en
Mecnica Cuntica.
b) Contenidos: Simetras en Mecnica Cuntica y representaciones unitarias de grupos de Lie. Teora del momento
angular y las representaciones del grupo de rotaciones.
METODOLOGA DOCENTE: ACTIVIDADES DE APRENDIZAJE Y SU VALORACIN EN CRDITOS
ECTS
Esta asignatura tiene 4,5 crditos ECTS. Se entiende que un crdito ECTS tiene unas 25 horas, de las que unas 7 son
de actividades presenciales. Se dedican en consecuencia 32 horas a actividades presenciales (16 para teora y 16 para
ejercicios) y 86 horas para trabajo personal y actividades tutoriales. Dentro de las 86 horas de trabajo personal se
cuentan
1. Tutoras de Supervisin. En ellas, adems de resolver cuestiones y dudas, se har una supervisin del
2.
3.
desarrollo del trabajo individual con el objetivo de lograr una adecuada presentacin del trabajo en el
seminario correspondiente (5 horas).
Seminarios. Cada alumno presentar su trabajo individualizado al resto de los alumnos en un seminario. Esta
actividad presencial supondr un total de 10 horas.
Tutoras: Se programarn 3 horas de tutora semanales en las que los alumnos que lo deseen podrn efectuar
preguntas y consultas. Estas horas no se contabilizan en las 5 de las Tutoras de supervisin.
PROGRAMA
1. Convergencia. Convergencia de sucesiones de variables aleatorias X n : Uniforme, casi seguro, casi uniforme, en
medida (de Lebesgue), media de orden p .
2. Funciones caractersticas. Propiedades. Diferenciabilidad. Th. de inversin y unicidad. Th. de Inversin (Fourier).
3. Esperanza condicionada. Probabilidad y Esperanza condicionada por sigma lgebras. Propiedades. Versiones
regulares. Conexin con los conceptos clsicos.
4. Procesos estocsticos. Definicin y tipos de procesos. Cadenas de Markov en tiempo continuo. Ec. de Kolmogorov
para las probabilidades de transicin. Resolucin. Distribuciones estacionarias. Ergodicidad. Aplicacin a modelos
fsicos de poblaciones, colas o emisin radioactiva. Movimiento browniano. Procesos de Markov en general. Ec. de
Chapmann-Kolmogorov.
5. Clculo estocstico y propiedades de las trayectorias. Separabilidad. Continuidad y diferenciabilidad de funciones
estocsticas en sentido casi seguro, probabilidad y continuidad muestral. Criterio fundamental de continuidad de las
trayectorias. Irregularidad del movimiento browniano.
6. Difusiones. Continuidad Khintchin. Ecs. de Kolmogorov y de Fokker-Planck. Resolucin de stas. Ejemplos:
Orstein-Uhlenbeck, Langevin.
BIBLIOGRAFA
A.N. SHIRYAYEV Probability, Springer Verlag.
ROBERT ASH Real analysis and Probability, Acadamic Press.
KINGMAN-TAYLOR Measure and Probability Cambridge University Press.
V. QUESADA, PARDO Curso superior de calculo de Probabilidades.
LAH-ROHATGI Probability theory, Wiley Interscience.
OBJETIVOS
Profundizar en el estudio de la Teora de la Probabilidad
EVALUACIN
En lo posible se practicar una evaluacin continuada a travs de trabajos y por clases de problemas.
Se realizar un examen final.
DATOS METODOLGICOS
En esta materia se pretende introducir al alumno en los conceptos de la Lgica desde el punto de vista algebraico. El
alumno debe llegar a saber derinir, comprender y utilizar los conceptos de computabilidad.
CONTENIDOS
Tema 1. Algebras de Boole.
Tema 2. Calculo proposicional
Tema 3. Algebra de predicados
Tema 4. Numerabilidad
Tema 5. Maquinas de Turing
Tema 6. Decidibilidad y Teoremas de Godel
METODOLOGAS
Esta materia se desarrollara coordinadamente con las otras materias del curso. Se expondr el contenido de la
asignatura a travs de las clases presenciales tanto magistrales como de los problemas. A travs del campo virtual
tambin se indicara la parte terica y problemas que se irn realizando as como la bibliografa seguida para que el
alumno pueda seguir de modo activo las clases presenciales.
PREVISIONES TECNICAS (ESTRATEGIAS) DOCENTES
Horas totales
Clases magistrales
45
45
90
Clases prcticas
10
10
20
Seminarios
10
10
20
10
Exposiciones y debates
Tutoras
Actividades no presenciales
Preparacin de trabajos
Otras actividades
Exmenes
10
TOTAL
75
85
160
RECURSOS
Libros de consulta para el alumno
- An Algebraic Introduction to Mathematical Logic. Donald W. Barnes. John M. Mack. Graduate Texts in
Mathematics. Springer-Verlag.
Otras referencias bibliogrficas, electrnicas o cualquier otro tipo de recurso
- Material proporcionado a travs de Campus Virtual (Studium) de la USAL.
- Fundamentos de Lgica Matemtica. J. Aranda. U.N.E.D. Editorial Sanz y Torres.
EVALUACIN
Consideraciones generales
La evaluacin del alumno se har de modo continuo tanto la teora como los problemas
Criterios de evaluacin
Los criterios de evaluacin sern los siguientes:
La teora contara un 60%, los problemas un 30% y los trabajos un 10%
Instrumentos de evaluacin
Se propondr uno o dos problemas a realizar cada semana por el alumno en la hora de seminario. La teora se dividir
en tres partes y al finalizar cada parte se realizara el examen correspondiente.
Recomendaciones para la evaluacin.
Destrezas: Clculo de las expresiones en coordenadas locales del tensor de curvatura y la forma de Ricci.
7. EL LAPLACIANO EN VARIEDADES KHLER. IDENTIDADES DE KHLER
Objetivos: Conocer la definicin del operador laplaciano en variedades riemannianas y en particular en variedades
Khler. Conocer la demostracin de las identidades de Khler.
Contenidos: Operadores adjuntos formales. Laplaciano de una variedad riemanniana orientada. Demostracin de las
identidades de Khler.
Destrezas: Cmputo explcito del laplaciano en coordenadas locales.
8. FORMAS ARMNICAS. DESCOMPOSICIONES DE HODGE Y DOLBEAULT.
Objetivos: Entender el uso de las formas armnicas en la representacin de los grupos de cohomologa de De Rham y
en el anlisis de la estructura de los mismos.
Contenidos: Formas armnicas. Descomposicin e isomorfismo de Hodge. Dualidad de Poincar. Descomposicin e
isomorfismo de Dolbeault. Dualidad de Serre. Relaciones entre nmeros de Betti y Hodge en variedades Khler
compactas.
Destrezas: Manejo de las dualidades de Poincar y Serre, as como de las relaciones entre los nmeros de Betti y Serre.
METODOLOGA DOCENTE: ACTIVIDADES DE APRENDIZAJE Y SU VALORACIN EN CRDITOS
ECTS
Esta asignatura tiene 7,5 crditos ECTS. Se entiende que un crdito ECTS tiene unas 25 horas, de las que entre 7 y 10
son de actividades presenciales. Los alumnos expondrn en clase trabajos propuestos por los profesores y recibirn
listas de ejercicios, que entregarn resueltos al terminar las unidades 2, 4 y 8. Los alumnos explicarn en clase los
ejercicios entregados.
Se dedican 53 horas a actividades presenciales, de las que 30 son clases de teora, 15 clases prcticas , 4 de examen
final y 4 se dedican a exposiciones por los alumnos de trabajos propuestos por los profesores y de algunos de los
problemas entregados. Se programan 3 horas de tutora a la semana para que los alumnos que lo deseen efecten
preguntas y consultas.
Se estiman en 112 las horas para trabajo personal, incluyendo la preparacin de trabajos para exponer y la realizacin
de ejercicios para entregar.
El desglose de las actividades de aprendizaje segn los objetivos especficos se refleja en el siguiente cuadro:
UNIDAD
TIEMPO DE APRENDIZAJE
Actividades presenciales
Tiempo de
estudio
Horas
teora
Horas
prcticas
Otras
actividades
12
12
12
20
30
15
20
112
3. CONDICIONES DE EINSTEIN-HERMITE
Objetivos: Estudiar la condicin de Einstein-Hermite y su significacin geomtrica. Relacionarla con la ecuacin de
anti-autodualidad que caracteriza los instantones.
Contenidos: Operador de Hodge. Condicin de Einstein-Hermite. Ecuaciones de auto-dualidad. Relacin con
problemas de extremales.
Destrezas: Clculo de ecuaciones para formas valoradas en secciones.
4. ESTABILIDAD ALGEBRAICA. EQUIVALENCIA CON LAS ECUACIONES DE EINSTEIN-HERMITE
Objetivos: Comprender la definicin algebraica de estabilidad y conocer su relacin con las ecuaciones de EinsteinHermite
Contenidos: Haces estables y semiestables en sentido de Mumford. Relacin entre la estabilidad algebraica y las
ecuaciones de Einstein-Hermite. (no se estudiar la demostracin completa de la equivalencia).
Destrezas: Manejo de las condiciones de estabilidad. Clculo con clases de Chern.
5. EL PROBLEMA DE MDULI. EJEMPLOS
Objetivos: Comprender los problemas de mduli como problemas de dotar de estructura (algebraica, holomorfa) a
conjuntos dados por propiedades geomtricas y describir algunos ejemplos. Conocer los conceptos de mduli fino y
grosero y sus diferencias. Estudiar la construccin de espacios de mduli dados por condiciones abiertas y cerradas.
Contenidos: Espacios y sus puntos. Determinacin de una variedad por sus puntos. Lugares geomtricos. Reconocer la
diferencia entre mduli fino y mduli grosero. Condiciones abiertas y cerradas, condicin de haz. Ejemplos
sencillos: fibrados vectoriales.
Destrezas: Comprender los procesos implicados y ser capaz de manipularlos.
Tiempo de aprendizaje: 2 horas de clase terica, 2 de prctica y 9 de estudio (incluyendo tutoras)
6. ESPACIOS DE MDULI SENCILLOS: FIBRADOS PROYECTIVOS, GRASSMANIANAS Y ESQUEMAS DE
HILBERT
Objetivos: Estudiar los fibrados proyectivos y las grassmanianas como espacios de mduli sencillos. Conocer la idea
de la construccin de los esquemas de Hilbert y de los esquemas Quot.
Contenidos: Puntos de un fibrado proyectivo y de una Grassmaniana. Construccin de un recubrimiento abierto del
moduli. Construccin del mduli. Relacin con la construccin geomtrico diferencial. Descripcin de la
construccin de los esquemas de Hilbert y Quot. Clculos en algunos casos sencillos
Destrezas: Comprender los procesos implicados. Construir espacios de mduli a partir de recubrimientos. Construir
espacios de mduli sencillos similares a los estudiados.
7. COCIENTES POR ACCIN DE GRUPOS
Objetivos: Comprender los distintos tipos de cociente posibles por la accin de un grupo algebraico y su relacin con
el problema de mduli.
Contenidos: Acciones de un grupo. Estructuras algebraicas de los cocientes. Ejemplos sencillos, esquemas de Picard.
Destrezas: Comprender los distintos de cocientes por la accin de un grupo.
8. ESPACIOS DE MDULI DE FIBRADOS
Objetivos: Comprender los problemas de existencia de los espacios de mduli de fibrados y de la necesidad de las
condiciones de estabilidad. Mduli fino y grosero de fibrados.
Contenidos: Familias limitadas (definicin). Descripcin de la construccin del mduli. Enunciados de algunos
resultados importantes sobre espacios de mduli.
Destrezas: Ser capaces de utilizar espacios de mduli de fibrados y de comprender trabajos que los utilicen.
METODOLOGA DOCENTE: ACTIVIDADES DE APRENDIZAJE Y SU VALORACIN EN CRDITOS
ECTS
Esta asignatura tiene 7,5 crditos ECTS. Se entiende que un crdito ECTS tiene unas 25 horas, de las que entre 7 y 10
son de actividades presenciales. Los alumnos expondrn en clase trabajos propuestos por los profesores y recibirn
listas de ejercicios, que entregarn resueltos al terminar las unidades 3, 5 y 8. Los alumnos explicarn en clase los
ejercicios entregados.
Se dedican 53 horas a actividades presenciales, de las que 16 son clases de teora, 15 clases prticas (seminarios), 4 de
examen final y 18 se dedican a exposiciones por los alumnos de trabajos propuestos por los profesores y de algunos de
los problemas entregados. Se programan 3 horas de tutora a la semana para que los alumnos que lo deseen efecten
preguntas y consultas.
Se estiman en 112 las horas para trabajo personal, incluyendo la preparacin de trabajos para exponer y la realizacin
IDAD
IEMPO
DE
APRENDIZAJE
Actividades presenciales
Tiempo de estudio
Horas
teora
Horas
prcticas
Fibrados holomorfos
Condiciones de Einstein-Hermite
1.5
1.5
1.5
1.5
Examen
Otras
actividades
26
18
20
16
15
22
112
OBJETIVOS
Continuar con el estudio de las variedades complejas de dimensin 1, de las cuales algunas nociones bsicas ya se
haban incluido en las asignaturas Introduccin al Anlisis complejo de tercer curso y Anlisis complejo de cuarto
curso. En particular, ver como puede asociarse de modo natural una superficie de Riemann compacta a cualquier curva
proyectiva plana algebraica e irreducible, y generalizar el teorema de aproximacin de Runge a las superficies de
Riemann abiertas, para poder obtener tambin generalizaciones para este tipo de superficies de los clsicos teoremas
de Mittag-Leffler y Weierstrass sobre existencia de funciones meromorfas.
TEMA 1. REVESTIMIENTOS RAMIFICADOS HOLOMORFOS
Revestimientos holomorfos del disco unidad sin su centro D*. Revestimientos ramificados holomorfos. Expresin
local sencilla de una aplicacion holomorfa no constante. Condiciones equivalentes, para una aplicacin propia entre
superficies de Riemann, a la de ser holomorfa, propia y no constante. Grado de una aplicacin holomorfa, propia y no
constante V W, con V,W superficies de Riemann, y relacin entre los cuerpos de funciones meromorfas M(V) y
M(W). Extensin de aplicacines holomorfas con valores en el complementario de un subconjunto discreto de una
superficie de Riemann.
CP (conocimientos prcticos): Conocer cuales son todos los revestimientos holomorfos, salvo isomorfismos, de D*.
Saber que las aplicaciones holomorfas no constantes pueden expresarse de un modo particularmente sencillo, en algn
entorno de cada punto, respecto de coordenadas locales adecuadas. Conocer que condiciones son equivalentes, para
una aplicacin propia de una superficie de Riemann V en otra W, a la de ser holomorfa y no constante, as como que
cualquiera de estas condiciones implica que M(V) es una extensin algebraica simple de *(M(W)) de grado igual al
nmero de antiimgenes por de cualquier punto de W (contando multiplicidades). Entender como puede aplicarse el
conocimiento de los revestimientos holomorfos de D* a la extensin de las aplicacines holomorfas, propias y no
costantes con valores en el complementario de un subconjunto discreto de una superficie de Riemann.
TEMA 2. LA SUPERFICIE DE RIEMANN COMPACTA ASOCIADA A UNA CURVA ALGEBRAICA
Estructura natural de superficie de Riemann en el complementario del conjunto de los puntos singulares en una
curva proyectiva plana algebraica e irreducible. Las restricciones de las coordenadas afines x, y como funciones
meromorfas en , o equivalentemente como aplicaciones holomorfas de en el plano complejo ampliado.
Extensiones de estas aplicaciones, a una nica superficie de Riemann compacta V , con V- finito.
Determinacin del cuerpo de funciones meromorfas en V.
CP: Saber como puede definirse, de modo natural, en una estructura holomorfa y que siempre puede tomarse como
coordenada local en un entorno de cada punto la restriccin de una de las correspondientes coordenadas afines.
Comprender el proceso mediante el cual, aadiendo un conjunto finito de puntos a , puede obtenerse una nica
superficie de Riemann compacta V conteniendo a , con V- finito. Saber demostrar que el cuerpo de funciones
meromorfas en V es isomorfo al cuerpo de funciones algebraicas sobre la curva considerada.
TEMA 3. EXISTENCIA DE FUNCIONES MEROMORFAS EN ABIERTOS DE C
Existencia de solucin para las ecuaciones no homogeneas de Cauchy-Riemann en un abierto U de C. Nulidad de la
cohomologa del haz de las funciones holomorfas en U. Teorema de Mittag-Leffler sobre existencia de funciones
meromorfas en U con partes singulares prefijadas en U. Divisores en un abierto de C. Teorema de Weierstrass sobre
existencia de funciones meromorfas con divisor prefijado.
CP: Saber utilizar el teorema de aproximacin de Runge, y la existencia de ciertas sucesiones exhaustivas de
compactos en un abierto U de C, para demostrar que toda funcion compleja en U de clase C es la derivada respecto
de la conjugada de z de otra funcin. Comprender como se utilizan ciertas sucesiones exactas de haces en U (y
entender como pueden intepretarse las secciones de los haces cociente que aparecen en ellas) para demostrar los
clsicos teoremas de Mittag-Leffler y Weierstrass.
TEMA 4. SUPERFICIES DE RIEMANN ABIERTAS
Formas diferenciales de tipo (0,1) en una superficie de Riemann. Generalizacin, para una superficie de Riemann, del
operador de derivacin respecto de la conjugada de z. Cohomologa del haz de las funciones holomorfas en un abierto
relativamente compacto de una superficie de Riemann abierta. Lema de Weyl sobre las distribuciones en un abierto de
C con derivada nula respecto de la conjugada de z. Teorema de Behnke-Stein. Nulidad de la cohomologa del haz de
las funciones holomorfas en una superficie de Riemann abierta. Generalizaciones de los teoremas de Mittag-Leffler y
de Weierstrass.
CP: Entender como puede generalizarse, para una superficie de Riemann, el operador de derivacin respecto de la
conjugada de la coordenada natural z de C. Comprender como el teorema de aproximacin de Runge puede
generalizarse para las superficies de Riemann abiertas, y saber aplicar esto a la demostracin de los teoremas
fundamentales de existencia de funciones meromorfas en superficies de Riemann abiertas .
METODOLOGA DOCENTE: ACTIVIDADES DE APRENDIZAJE Y SU VALORACIN EN CRDITOS
ECTS
Esta asignatura tiene 7,5 crditos ECTS. Cada crdito ECTS corresponde a unas 25 horas, de las que en esta
asignatura 6 son de clases tericas y 4 de clases prcticas. Se dedican, por lo tanto, 75 horas a actividades en clase, de
las que 45 son de clases de teora y 30 de realizacin de ejercicios y exposiciones tericas y prcticas.
El examen final tendr 4 horas de duracin, y hay 3 horas de tutora a la semana para que los alumnos que lo deseen
efecten preguntas y consultas.
Se estima, por el profesor de momento en 100 el nmero de horas necesarias para el trabajo personal de aprendizaje de
la asignatura, incluyendo los tiempos de estudio de la teora, preparacin de exposiciones tericas y prcticas, y de
resolucin de ejercicios.
CRITERIOS Y MTODOS DE EVALUACIN
La evaluacin final consistir en un examen por escrito para los alumnos que no hayan conseguido previamente
alcanzar la puntuacin de 5 mediante exposiciones tericas y prcticas, y resolucin de ejercicios, o para los alumnos
que quieran superar la puntuacin, mayor o igual que 5 y menor o igual que 7, ya conseguida.
BIBLIOGRAFA
Compact Riemann Surfaces,por J. Jost. Springer. 2006.
Compact Riemann Surfaces, por R. Narasimhan. Birkhuser. 1996.
Funciones de variable compleja, apuntes del prof. J. Muoz Daz . Univ. Salamanca.
Lectures on Riemann Surfaces, por O. Forster. Springer. 1981.
Lectures on Riemann Surfaces, por R. C. Gunning. Princeton Univ. Press, 1967.
Riemann Surfaces, por H. Farkas y I. Kra. Springer, 1980.
Riemann Surfaces, por L. Ahlfors y L. Sario. Princeton Univ. Press, 1960.
Teora de funciones I, por J. Muoz Daz. Tecnos, 1978.
Conocer distintos puntos de vista para el estudio de las ecuaciones en derivadas parciales.
Conocer distintas tcnicas para el clculo de soluciones.
Relacionar las ecuaciones en derivadas parciales con diversos problemas de fsica y matemticas.
Para la consecucin de estos objetivos, se desarrollar el siguiente programa de objetivos especficos y contenidos.
PROGRAMA
1. EL TEOREMA DE CAUCHY-KOWALEWSKI.
a) Objetivos: Comprender lo que quiere decir resolver una ecuacin en derivadas parciales. Apreciar las
peculiaridades de los sistemas analticos. Conocer el mtodo de las series mayorantes para resolver un sistema
en la forma normal de Cauchy-Kowalewski. Conocer el significado y la importancia de las variedades
caractersticas.
b) Contenidos: Ecuaciones en derivadas parciales. Concepto de solucin. El problema de Cauchy. Sistemas
analticos. Teorema de Cauchy-Kowalewski. Variedades caractersticas.
2. ECUACIONES EN DERIVADAS PARCIALES DE PRIMER ORDEN.
a) Objetivos: Comprender la geometra subyacente a las ecuaciones en derivadas parciales de primer orden.
Calcular distintos tipos de soluciones. Relacionar las ecuaciones de primer orden con la mecnica.
b) Contenidos: Geometra de las ecuaciones de primer orden. Sistema caracterstico. Solucin singular. Problema
de Cauchy, Integrales completas. Teora de Hamilton-Jacobi. Aplicacin al problema de los n cuerpos.
3. ECUACIONES DE SEGUNDO ORDEN.
a) Objetivos: Conocer los distintos tipos de ecuaciones de segundo orden que sern objeto de estudio a lo largo del
curso y su relacin con diversos problemas de la Fsica.
b) Contenidos: Problema de Cauchy. Caractersticas. Formas cannicas y clasificacin en el entorno de un punto.
4. ECUACIONES HIPERBLICAS.
a) Objetivos: Conocer las particularidades de las ecuaciones de tipo hiperblico y diversos mtodos de resolucin.
Relacionarlas con las vibraciones de una cuerda y otros problemas de Fsica.
b) Contenidos: Problema de Cauchy. Ecuacin de ondas. Mtodo de Fourier. Medias esfricas. Mtodo del
descenso. Principio de Huyggens y conservacin de la energa.
5. ECUACIONES ELPTICAS.
a) Objetivos: Conocer las propiedades ms importantes de las funciones armnicas y alguna de sus aplicaciones.
b) Contenidos: Ecuacin de Laplace. Principio del mximo. Problema de Dirichlet. Funcin de Green y ncleo de
Poisson.
6. ECUACIONES PARABLICAS.
a) Objetivos: Relacionar la conduccin del calor a lo largo de una cuerda con las ecuaciones parablicas. Conocer
diversas tcnicas de resolucin.
b) Contenidos: Ecuaciones parablicas. Ecuacin del calor. Ncleo de Gauss. Principio del mximo.
7. TEORA DE SEMIGRUPOS.
a) Objetivos: Conocer los conceptos de semigrupo de operadores y generador infinitesimal. Determinar aquellos
operadores que son generadores infinitesimales de un semigrupo. Conocer la relacin de la teora de
semigrupos con la mecnica cuntica.
b) Contenidos: Semigrupos de operadores. Teorema de Hille-Yosida. Aplicaciones a las ecuaciones de evolucin de
tipo parablico. Ecuacin de ondas. Ecuacin de Schrdinger.
METODOLOGA DOCENTE: ACTIVIDADES DE APRENDIZAJE Y SU VALORACIN EN CRDITOS
ECTS
Consideraremos que cada crdito ECTS consta 25 horas de trabajo total del alumno. Teniendo en cuenta la formacin
que ya tienen los alumnos a los que se imparte esta asignatura, se espera de ellos participen activamente en ella, por lo
que daremos una gran importancia al trabajo personal; asignaremos 7 horas lectivas a cada crdito ECTS. Dado que la
asignatura tiene 4,5 crditos, resultan 31 horas lectivas (16 de teora y 15 de problemas), ms 81 de trabajo personal de
los alumnos. stas ltimas se repartirn entre el estudio, la asistencia a las tutoras, la resolucin de ejercicios y
cuestiones propuestas por el profesor a lo largo del curso y la exposicin de un trabajo final de la asignatura, en el que
han de demostrar los conocimientos adquiridos y su grado de asimilacin.
Podemos desglosar las actividades de aprendizaje como sigue:
Clases de teora (20 horas): En la primera clase de cada tema el profesor har un resumen del mismo, haciendo
hincapi en los aspectos ms importantes y en las dificultades que se pueden plantear durante su estudio.
Expondr a los alumnos el modo de abordarlo y propondr una serie de cuestiones, tanto de ndole terica
como prctica, para el trabajo personal de cada alumno. En las siguientes sesiones, el tema de estudio ser
expuesto por el profesor, con la eventual colaboracin de los alumnos, a quienes se encargar la exposicin de
alguno de los puntos a tratar.
Clases de problemas: En ellas los alumnos resolvern los problemas que les hayan sido propuestos, se expondrn
dudas sobre los mismos y se pueden matizar diversos aspectos sobre su resolucin.
Seminarios: En ellos los alumnos harn una exposicin de su trabajo de final de curso, con la posibilidad de que
sus compaeros y el profesor soliciten las aclaraciones que estimen oportunas. Se dedicarn 10 horas
(presenciales) a esta actividad.
Tutoras presenciales: Dado que los alumnos han de llevar el peso de la asignatura, mediante su trabajo personal,
es muy importante que se les facilite el contacto con el profesor. De este modo pueden ir analizando sobre la
marcha las dificultades que surjan, y se les puede orientar sobre la bibliografa ms adecuada o el mejor modo
de enfocar un tema o de resolver un problema. El profesor dedicar 3 horas semanales a las tutoras
presenciales.
Tutoras a travs de internet, mediante correo electrnico o el uso de la plataforma Moodle. Los alumnos podran
enviar versiones preliminares de sus trabajos para su supervisin tambin por este medio, fijando luego
alguna entrevista presencial para discutir aquellos aspectos que as lo requieran.
Los tiempos correspondientes a las diversas actividades de aprendizaje se desglosan en el cuadro siguiente (las tutoras
se cuentan dentro del tiempo de estudio del alumno):
T
EMA
IEMPO
APRENDIZAJE
DE
Horas
teora
Horas
prcticas
Tiempo de
estudio
El teorema de Cauchy-Kowalewski
12
Ecuaciones hiperblicas
12
Ecuaciones elpticas
12
Ecuaciones parablicas
10
Teora de semigrupos
15
10
16
15
81
PROGRAMA
1. Procesos de segundo orden. Continuidad y diferenciabilidad en media cuadrtica. Funcin de covarianzas. Procesos
estacionarios. Espectro.
2. Integracin estocstica. Definicin. La integral de Ito y Stratonovitch. Regla de Ito. Propiedades de procesos
definidos por integrales.
3. Ecuaciones diferenciales estocsticas. Ecuaciones deterministas perturbadas por trminos aleatorios. Ecuaciones de
tipo Ito. Existencia y unicidad. Procesos de Ito. Continuidad de las soluciones. Ecuaciones diferenciales que satisface
una difusin. Ejemplos: Orstein-Uhlenbeck, Langevin, "puente Browniano".
4. Difusiones y semigrupos estocsticos. Semigrupos de Markov. Generador infinitesimal y resolvente. Teorema de
Hille-Yosida. Semigrupo del movimiento Browniano, de Poisson. Procesos de Markov fuertes. Procesos de Feller.
Frmulas de Dynkin. Funcin de escala y velocidad de un proceso. Funciones de Green. Clasificacin de puntos
frontera. Regla de Kac-Feynmann.
BIBLIOGRAFA
B.OKSENDAL Stochastic differential equations, Springer Verlag .
KARLIN-TAYLOR - A second course in stochastic proccess, Academic.
OBJETIVOS
Desarrollar la intuicin del concepto de Procesos Estocsticos.
Familiarizacin al alumno con los principales tipos de procesos.
EVALUACIN
Examen.