¿Por qué el Mittag-Leffler condición en una breve secuencia exacta de, digamos, abelian grupos, que asegura que la primera derivada functor de la inversa límite se desvanece, se llama así?
Respuesta
¿Demasiados anuncios?
Matt Miller
Puntos
1829
El texto de su pregunta sugiere que usted está familiarizado con el "clásico" Mittag-Leffler teorema de análisis complejo, que nos asegura que meromorphic funciones pueden ser construidos con los prescrito polos (siempre y cuando los puntos especificados no se acumulan en la región).
Resulta - o eso me han dicho, debo admitir que nunca trabajar a través de los detalles - que las partes de la prueba puede ser extraída, y desde este punto de vista un ingrediente clave (implícita o explícita en la prueba, de acuerdo al gusto) es la desaparición de un cierto $\lim_1$ grupo -- según lo asegurado por el "resumen" ML-teorema de la que usted menciona.
No estoy seguro de que esto fue registrado por primera vez - no me atrevo a decir "folclore", ya que es sólo otra manera de decir "no sé realmente soy y no un historiador". Un lugar de que esto se discute es en Runde libro Un sabor de topología: ver la búsqueda de Libros de Google de la parte correspondiente.
Si mal no recuerdo, Runde dice que el uso de la palabra "abstracto" de Mittag-Leffler teorema a demostrar la "clásica", y para probar cosas como la categoría de Baire teorema, se puede encontrar en Bourbaki. Quizás alguien mejor versado en las matemáticas de la literatura (o al menos mejor versado en las obras de Bourbaki) puede confirmar o refutar esto?
