29 votos

¿Por qué omitió Bourbaki's ''s''''''''''''''''''''''''''''''''''''''''''''''

PREGUNTA

Tenían un montón de tiempo para adoptar la teoría de categorías. Habían Eilenberg, a continuación, Cartan, a continuación, Grothendieck. ¿Sienten que han establecido su enfoque ya que es demasiado tarde para volver atrás y empezar de nuevo?

Tengo mi-respuesta muy general: el Mundo es un Caos, las Matemáticas es una Selva, Bourbaki fue una agradable casualidad, pero no de fluke puede durar para siempre, y no de fluke puede superar el Caos y la Selva. Yo todavía me gustaría tener un panorama mucho más completo.

Apéndice: CRONOLOGÍA

  • 1934: Bourbaki de nacimiento (fecha aproximada);
  • 1942-45: Samuel Eilenberg & Saunders Mac Lane - functor, transformación natural, $K(\pi,n)$;
  • 1946 & 1952: S. Eilenberg & Norman E. Steenrod publicar "Axiomático..." & "Fundamentos...";
  • 1956: Henri Cartan & S. Eilenberg publicar "Álgebra Homológica";
  • 1957: Alexander Grothendieck publica su "Tohoku de papel", abelian categoría.


(Por favor, siéntase libre de añadir las correspondientes fechas más importantes para la lista anterior).

30voto

Ed Haber Puntos 1121

Como se mencionó en un comentario, hay gente como Colin McLarty que creo que podría dar una respuesta informada. Yo no soy una de esas personas, pero ya que esta pregunta es probable que ser cerrado de pronto, me limitaré a mencionar algunas referencias útiles.

Uno es McLarty el artículo de La Última Matemático de Hilbert Goettingen: Saunder Mac Lane como Filósofo de las Matemáticas. De hecho, los miembros de Bourbaki invitados Mac Lane para hablar con ellos, pero es probable que no Mac Lane francés que fue el problema en llegar a incorporar la categoría de la teoría a la gran visión. Mac Lane y Weil eran, por supuesto, sus colegas en la Universidad de Chicago y, presumiblemente, había una amplia oportunidad para discutir la categoría de teoría (en inglés), citado en McLarty del artículo, Weil escribe a sus compañeros de Bourbakiste Chevalley en 1951:

Como usted sabe, mi honorable colega Mac Lane mantiene toda noción de estructura necesariamente trae consigo una noción de homomorphism, que consta de indicar, para cada uno de los datos que componen la estructura, los que se comportan covariantly y que contravariantly [ ... ] ¿qué crees que podemos obtener de este tipo de consideración?

McLarty, explica en su artículo que Weil no entendía Mac Lane. Si entiendo correctamente, de hecho hubo oportunidades para incorporar la categoría de la teoría dentro de la Élements, específicamente como parte de una cuenta de un resumen de la teoría de estructuras, pero (McLarty, página 5):

Después de la guerra, Bourbaki muy debatido cómo hacer una teoría de trabajo. Todos estuvieron de acuerdo, se debe incluir morfismos. Los miembros de Cartier, Chevalley, Eilenberg, y Grothendieck defendido categorías, como lo hicieron sus visitantes Mac Lane. Pero Weil fue una mayoría de uno en el grupo, por lo que crearon una teoría de la estructura de la preservación de las funciones como morfismos (Bourbaki [1958]). Nunca usado, y no por falta de intentos.

A lo largo del debate de Bourbaki (o de Weil) la actitud hacia las categorías, McLarty menciona el trabajo de Leo Corry, quien discute Bourbaki las estructuras en su libro de Álgebra Moderna y el Surgimiento de Estructuras Matemáticas (reseñado aquí). Relacionado es un útil artículo en línea por Corry, publicado en Synthese, aquí. No voy a tratar de resumir, pero no hay discusión, sobre la base de los documentos, de "la interacción entre Bourbaki del trabajo y las primeras etapas de la categoría de la teoría".


Edit: Aunque el hilo se ha cerrado y quid (user9072) se ha apartado, Francois Ziegler recientemente traído a mi atención en un comentario más abajo que Ralf Krömer (2006; pdf) (subtitulada Bourbaki y categorías durante la década de 1950) ha investigado a fondo el OP pregunta, con inéditos interna informes de las reuniones de Bourbaki, así como de la correspondencia y de las comillas de, por ejemplo, Eilenberg (p. 142), Cartier (p. 147), Grothendieck (p. 149), y otros. Hay un rico tesoro de información procedente de allí, para aquellos que estén interesados.

23voto

geezanansa Puntos 108

Estas son buenas respuestas y no tengo nada que añadir sobre las razones particulares. Para resumir diría que es imposible escribir una integral de Elementos de las Matemáticas basado en la categoría de teoría, porque es imposible escribir una integral de Elementos de Matemáticas en todos. El brillante intento fue muy bueno para las matemáticas, la voy a mantener, pero en realidad no se puede hacer.

Categorías y functors en la década de 1950 se desarrollaron sólo para aplicaciones inmediatas, y no como una teoría general de la estructura. Era mucho más fácil para los Bourbaki a desarrollar una teoría general que no funciona, que para unificar a una ingente masa de los métodos de trabajo en una teoría. Y no había nada que realmente va a trabajar para su gran proyecto de todos modos.

Que yo sepa, nadie hablaba de una teoría general llamado de la categoría de "teoría" antes de que el biólogo Robert Rosen en obras como "Una teoría relacional de los cambios estructurales inducidos en los sistemas biológicos por alteraciones en el medio ambiente" Bull. De matemáticas. Biophys. 23 de 1961 165-171.

14voto

HikeOnPast Puntos 5345

Podría ser interesante mirar el Apéndice de la Exposé I de sGA 4. En una nota al pie de página esto se describe de la siguiente manera:

Nous reproduisons ici, avec son accord, des papiers secrets de N. BOURBAKI.

Mientras que el apéndice trata principalmente la teoría de los universos, hace uso del lenguaje de las categorías. Además, algunas referencias internas insinúan la existencia de algunos "secretos de los papiadores" más que contienen un borrador de un capítulo sobre categorías.

11voto

Ronnie Brown Puntos 7852

No estoy de acuerdo con Wlodzimierz del comentario general sobre el caos! En muchos aspectos Bourbaki hizo un gran trabajo en la escritura clara y limpia de las matemáticas, pero el objetivo que creo que es profesada por la escritura de un completo y por decirlo de cuenta permanente con la evolución de la naturaleza de la matemática proyecto. Esto es evidente en muchos de los presentes y pasadas las actitudes hacia la categoría de teoría.

Una revisión para el MAA de la edición de 1968 de mi libro "Elementos de la Moderna Topología", ahora "Topología y Groupoids" (2006), sugiere la lectura como un "libro sobre la topología escrito por una categoría teórico", y este fue, presumiblemente, no se entiende como un cumplido! Muchos consideran su uso de groupoids como un error. Comparar una reciente revisión. Espero que la mayoría de los matemáticos reconocen la enorme contribución de la categoría de la teoría a la unidad de las matemáticas, permitiendo analogías entre construcciones en muy distintas partes de la asignatura, a través de términos como límite y colimit, como un ejemplo.

Siento que el progreso de las matemáticas es considerablemente ayudado por la gente tratando de escribir completa, coherente y cuentas claras, de modo que las deficiencias en el intento, es decir, en el conocimiento actual, se vuelven aparentes.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X