Está en la página 1de 28

Fundacin Universitaria Konrad Lorenz Junio de 2008 POR QU LA TEORA DE CATEGORAS NO OCUP EL LUGAR DE LA TEORA DE CONJUNTOS EN LMENTS DE MATHMATIQUE,

DE NICOLAS BOURBAKI? Camilo Eduardo Matson Hernndez Director: Alberto Campos Snchez Profesor Honorario Universidad Nacional de Colombia. Co-Director: Oscar Gmez Matemtico Fundacin Universitaria Konrad Lorenz Resumen
El siguiente artculo, presenta un anlisis y posteriormente una crtica del documento LA <<MACHINE DE GROTHENDIECK >> SE FONDE-T-ELLE SEULEMENT SUR DES VOCABLES MTAMATHMATIQUES? BOURBAKI ET LES CATGORIES AU COURS DES ANNES CINQUANTE, publicado en Revue dhistoire des mathmatiques. El artculo de Ralf Krmer es una profunda bsqueda en las razones del rechazo de la Teora de categoras en lments de mathmatique, de Nicols Bourbaki, el documento permite acercarse a la forma en que trabajaban los miembros del grupo y a las relaciones al interior de este. Destaca la participacin de Samuel Eilenberg en Bourbaki y sus efectos, tambin se resalta el importante trabajo de Grothendieck en la teora de categoras y la influencia de Andr Weil en el grupo.

Propsito: Se pretende hacer un anlisis detallado de las hiptesis planteadas por Krmer a lo largo del artculo, tambin se procura dar los elementos para hacer mas entendible el documento al lector inexperto. Otros trabajos de Krmer: Tool and Object. A history and Philosophy of Category Theory (2007). El artculo de Ralf Krmer est planteado en nueve secciones que se enumeran a continuacin: 0. 1. 2. 3. Introduccin. Funcionamiento de Bourbaki. Eilenberg y Bourbaki. Las tentativas de integrar los trabajos de Grothendieck al proyecto Bourbaki. 3.1. Lmites inductivos y proyectivos. 3.2. lgebra Homolgica. 3.3. Geometra Algebraica. El papel de Andr Weil. Categoras y estructuras. Cmo proveer los fundamentos conjuntistas a la teora de las categoras? Ad majorem fonctori gloriam. La renuncia de Grothendieck. Conclusin

4. 5. 6. 7. 8.

CAMILO MATSON H.

Introduccin
Ralf Krmer plantea hacer un examen de las razones que motivaron a Bourbaki para rechazar la teora de categoras en lments de mathmatique, considera que la teora de categoras est pensada en un marco acorde con la filosofa de Bourbaki, pero el grupo la rechaza explcitamente. Entre las hiptesis discutidas por Krmer estn las dificultades para dar un fundamento conjuntista apropiado para la teora de categoras, los problemas filosficos de estas dificultades y los problemas personales entre los miembros del grupo. Su objetivo principal es mostrar la riqueza del tema antes que entender los detalles matemticos. Este tema haba sido discutido por Leo Corry en su libro Modern Algebra and the rise of mathematical structures, libro que hace un profundo anlisis del concepto de estructura matemtica, su significado, sus orgenes histricos y su desarrollo. En el captulo 7 Nicols Bourbaki: Theory of Structures se discute el lugar de la idea de estructura matemtica en el trabajo de Bourbaki se analiza en detalle el papel de estas en lments de mathmatique. Corry concluye que la negativa para incluir las categoras en lments de mathmatique se debe a la oposicin terica entre la teora de categoras y la teora de estructuras [1]. Krmer al contrario de Corry, considera que las razones fundamentales que causaron el rechazo, no tienen que ver con la diferencia entre el enfoque estructurado y el categrico. El tema de discusin en el libro Modern Algebra and the rise of mathematical structures es ms amplio, es una exposicin de la trayectoria del concepto de estructura matemtica, a diferencia del artculo de Krmer que se concentra en el papel de las estructuras y en la problemtica al interior del grupo Bourbaki. Por esto, Corry no hace un anlisis tan profundo de la problemtica acerca de la adopcin de las categoras al interior de Bourbaki [1]. As mismo Corry no contaba con la gran cantidad de fuentes originales que dispona Krmer. Las conclusiones de Krmer son: las razones prcticas, filosficas y personales, fueron utilizadas para rechazar la teora de categoras. Y que de estas razones las personales parecen haber sido decisivas. Uno de los principales temas de discusin en este documento es el captulo IV del libro de teora de conjuntos de Bourbaki donde se tratan las estructuras. Segn la visin de Bourbaki este captulo es importante porque da a los matemticos una herramienta que hace ms simple su trabajo, ya que sintetiza pruebas de diferentes reas de las matemticas en una sola, por lo tanto un resultado en esta teora brinda un conjunto de resultados en diferentes teoras. Otro punto de discusin a lo largo de este texto es el artculo de Grothendieck publicado en Thoku. Segn Krmer este es un suceso que marca la historia de la teora de categoras. El aspecto importante de la publicacin en Thoku es que Grothendieck presenta innovaciones en la aplicacin de los mtodos cohomolgicos en geometra algebraica. El tratamiento de los lmites inductivos, los lmites proyectivos, los recientes resultados en lgebra homolgica y el sentido dado por Grothendieck a la geometra

BOURBAKI Y LA TEORA DE CATEGORAS algebraica; son factores que promovieron la discusin sobre el uso del lenguaje categrico en la obra de Bourbaki. Pero Bourbaki se dio cuenta de que existan conflictos tcnicos entre la teora de categoras y la teora de estructuras. Por otra parte existan serias dificultades para dar un fundamento conjuntista adecuado a la teora de categoras. En los primeros documentos de Eilenberg y Mac Lane, se habla sobre dichas dificultades que no son tratadas por Krmer, pero sern discutidas ms adelante. Por ahora tenemos que: Bourbaki saba de estos problemas. Eilenberg haba trabajado en conflictos de carcter tcnico entre las categoras y las estructuras y no tena una solucin.

Se promovi el uso del lenguaje categrico al interior de Bourbaki, pero la decisin final fue dar la espalda a esta teora, hecho que coincidi con la renuncia de Grothendieck. Una de las primeras y ms notables reacciones acerca de estas decisiones, es una carta escrita por Serge Lang quien consideraba que el grupo se debi adherir al movimiento functorial de Grothendieck. De hecho pensaba que era inadmisible que as Bourbaki no se encontrara a la cabeza, por lo menos deba adherirse a este movimiento. A lo largo del documento, sern citados apartes de biografas de ciertos personajes claves en la discusin; esto con el fin de mejorar la comprensin del lector. Saunders Mac Lane (1909 -2005) Matemtico estadounidense, se gradu en Yale en 1930, se gan una beca en la Universidad de Chicago. Fue influenciado por Eliakim Moore para hacer su tesis doctoral en Gttingen, Alemania. Trabaj bajo la supervisin de Paul Isaac Bernays, pero con la llegada de los nazis al poder tuvo que apresurarse con su tesis doctoral pruebas abreviadas en el clculo lgico antes de volver a Estados Unidos. Se ocup a lo largo de su carrera en lgica y en una gran variedad de ramas de la matemtica. En los aos cuarenta trabaj en cohomologa. Junto con Samuel Eilenberg desarroll los conceptos bsicos de la teora de categoras. Serge Lang (1927- 2005) Matemtico, nacido en Francia donde hizo sus estudios hasta dcimo grado; tuvo que huir a Estados Unidos y se estableci en los ngeles California. Su tesis On Quasi algebraic Clousure la hizo con asesora de Emil Artin y se doctor en 1951. Sus primeros trabajos estn relacionados con su tesis. En 1954 public Number of points of varieties in finite fields en colaboracin con Andr Weil. Es uno de los matemticos que investig en una amplia gama de temas como: la geometra algebraica, la geometra diofntica, la teora de los nmeros trascendentes, la geometra diferencial y muchas ms reas, adems fue miembro del Grupo Bourbaki.

CAMILO MATSON H.

1. Funcionamiento de Bourbaki.
El Nombre Nicols Bourbaki es un pseudnimo que le da un carcter colectivo al trabajo del grupo, esta caracterstica es esencial y est presente en la forma de redaccin del grupo. Bourbaki contaba con un muy organizado esquema de trabajo que era evidente en todos los aspectos; tanto en el de redaccin matemtica, como en el administrativo. El esquema que tena muy claro el grupo en sus redacciones se hizo oficial a partir del segundo congrs (congreso de Bourbaki), en cada congreso era elaborada un acta, La Tribu, que contena lo siguiente: La lista de los participantes. Algunas ancdotas del congreso; Las fechas, el lugar y los organizadores del congreso siguiente. Los compromisos del congreso: una lista de los avances de la redaccin de cada miembro. El estado de las redacciones: una lista de los avances de los trabajos para cada captulo en produccin. Las decisiones: resultados de la discusin de las redacciones ledas en el congreso.

Existe la ACNB sigla que significa (Asociacin de colaboradores de Nicols Bourbaki); como su nombre lo indica es el grupo de colaboradores de Bourbaki encargado de las labores de secretariado relativas al grupo. Los archivos de la ACNB son la recopilacin de documentos como: La Tribu, documentos anexos, borradores y versiones previas de lments de mathmatique, de estos documentos estn en repertorio los aos posteriores a 1953; la ACNB posee la mayora de los de las redacciones a partir de la nmero 100. Estos archivos no estaban disponibles. Fue gracias a la aprobacin del Comit scientifique des Archives de la cration des mathmatiques, que estos archivos fueron puestos a disposicin del pblico a partir del ao 2003. En cuanto al trabajo matemtico propiamente dicho, se sabe que Bourbaki contaba con un muy elaborado proceso de redaccin en el que se escoga un tema para tratar, con base en este tema uno de los miembros era encargado de hacer una redaccin inicial que resumiera las caractersticas y resultados principales de dicho tema; el grupo se basaba en este informe para dividir el trabajo en secciones o captulos que se distribuan entre los miembros del grupo. Esta redaccin era presentada y discutida en los congrs donde se le hacan crticas o algunas veces se cambiaba por completo, luego se designaba un nuevo redactor para el texto. Este proceso se repeta hasta que todo el grupo estaba conforme con los resultados. La redaccin final estaba a cargo de Jean Dieudonn quien le imprima el estilo Bourbaki a los documentos. Este estilo de redaccin era importante para el grupo; la mayora de las redacciones eran annimas, de esta manera se afianzaba el pensamiento colectivo de Bourbaki.

BOURBAKI Y LA TEORA DE CATEGORAS Al final de este extenso proceso de redaccin, un documento haba pasado por muchas personas, y si a eso le agregamos que los documentos eran annimos el resultado final de este proceso, era un documento que en realidad perteneca a todo el grupo. Las labores de la ACNB, como dactilografa, reproduccin de los documentos y el respectivo archivo, eran tareas que se vinculaban a la oficina de Jean Delsarte, quien tom un papel destacado dentro del grupo ya que era el encargado de hacer la redaccin de las actas para La Tribu de los congresos Bourbaki. Jean Delsarte (1903-1968) Matemtico francs. En 1922 entr a la cole Normale Suprieure de Paris, donde conoci a muchos compaeros que se convertiran en sus amigos como Andr Weil, Henri Cartan, Jean Dieudonn, Claude Chevalley y Charles Ehresmann. Los cinco primeros combinaran sus talentos para crear el grupo Bourbaki. Entre los primeros documentos de Delsarte se encuentran Sur les rotations dans l'espace fonctionnel y de certaines quations intgrales qui gnralisent celles de Fredholm, publicados por La Academia de Ciencias. En marzo de 1928 se doctor con su trabajo Les rotations fonctionnelles. Imparti cursos de grupos de transformaciones lineales en el espacio de Hilbert, ecuaciones diferenciales y espacios de Riemann entre otros. En las visitas regulares a Pars en 1934 y 1935 se involucr en el proyecto Bourbaki.

Bourbaki no inclua es sus trabajos: Teoras abstractas y sin motivacin, teoras que no produjeran nuevas herramientas en matemticas, teoras muy importantes pero que todava no tuvieran una clara descripcin y teoras en pleno desarrollo. El eje central de las discusiones en los congrs era el trabajo relativo lments de mathmatique, pero no solo se discutan temas concernientes a esta obra; tambin se discutan temticas en desarrollo y trabajos de los colegas. Bourbaki no aceptaba todas las ideas que le proponan; es por esto que muchas de las redacciones o de los informes eran dejados Au frigidaire, expresin que significa A la nevera, hace referencia a los textos que fueron dejados a un lado por Bourbaki. Estos textos posiblemente no pudieron pasar el complejo proceso de redaccin, o debido al gran trabajo que demandaron, los autores decidieron publicarlos por su cuenta. Entre los trabajos dejados Au frigidaire que posteriormente fueron publicados por sus autores se encuentran: el de Pierre Samuel sobre los problemas universales, el artculo publicado en la revista Thoku, por Grothendieck y el libro de Godement sobre la teora de haces. Estos son aspectos confirman que Bourbaki no se pudo poner de acuerdo sobre la manera de presentar la teora de categoras.

CAMILO MATSON H.

2. Eilenberg y Bourbaki.
Krmer destaca la participacin de Eilenberg en el grupo Bourbaki, y hace una reconstruccin de las circunstancias de su admisin. Samuel Eilenberg (1913-1998), naci en Polonia; estudi en la universidad de Varsovia donde se interes en la topologa que floreca por esa poca. La universidad de Varsovia contaba con un excelente personal docente; estaban Mazurkiewicz, Kuratowski, Sierpinski, Saks y Borsuk. Eilenberg se doctor en 1936 bajo la direccin de Borsuk en el instituto Henri Poincar. El trabajo que realiz fue sobre la topologa del plano. Otro importante centro de investigacin en Polonia era Lvov lugar donde Eilenberg conoci a Stefan Banach, miembro del crculo de anlisis funcional. La mayora de trabajos de Eilenberg por esa poca fueron de Topologa de conjuntos de puntos, pero hay indicios de que durante esta temprana poca en su carrera, tambin estaba trabajando con tpicos algebraicos. No se tiene completa seguridad de que Eilenberg conociera a los miembros de Bourbaki, mientras hizo su doctorado. Pero por medio de la viuda de Charles Ehresmann, quien se apoya en recuerdos personales de su esposo, Eilenberg se encontraba atrado por la idea Bourbakistica de explicar la nocin de estructura y usarla como fundamento de las nuevas ramas de la matemtica. Esto permite determinar que muy probablemente exista un contacto entre Ehresmann y Eilenberg antes de su ingreso a Bourbaki. Los trabajos de Eilenberg le hicieron ganar un alto prestigio a nivel mundial en especial en Estados Unidos, razn por la que su padre lo convenci de seguir con su camino, Eilenberg viaj a Estados Unidos en 1939 e ingres a la universidad de Princeton. Desde 1947 Eilenberg fue profesor de la universidad de Columbia (New York), donde se dedic a la topologa algebraica. Eilenberg se integr con facilidad a la comunidad matemtica, en particular se integr bastante bien con la estadounidense. Lo que lo llev a hacer muchos trabajos notables en compaa de otros matemticos, entre estos se encuentra la colaboracin con Saunders Mac Lane durante 1940 y 1954; trabajaron en 15 documentos que abarcan una gran variedad de temas como: teora de categoras, cohomologa, homotopa, espacios de Eilenberg-Mac Lane; adems introdujeron el concepto de functor y homomorfismo natural. En el congreso 12 realizado del 8 al 19 de junio de 1946 Bourbaki toma la decisin de admitir a Eilenberg en el grupo. Eilenberg es invitado a participar en el Proyecto Bourbaki en la carta citada por Krmer del 21 de junio del 1948, Bourbaki le pide a Eilenberg participar en la revisin de las redacciones y elaborar un informe sobre las propiedades elementales de la homotopa. Curiosamente la carta de invitacin aparece fechada el 21 de junio de 1948 dato que ocasiona desfase en la fecha, de aprobacin del ingreso y la fecha de emisin de la carta; no se descartan errores de digitacin.

BOURBAKI Y LA TEORA DE CATEGORAS El informe que se le pidi redactar a Eilenberg se titulaba SEAW, dicha redaccin era en compaa de Andr Weil, quien por esos aos tambin hacia parte de la comunidad cientfica estadounidense. La sigla SEAW significa Samuel Eilenberg Andr Weil. Este informe es sobre topologa prehomolgica e incluye: grupos de homotopa y espacios fibrados. Durante el ao acadmico de 1950-1951 Eilenberg viaja a Pars al Instituto Henri Poincar para trabajar con Henri Cartan. Este ao Eilenberg particip en el seminario de la Lcole Normale Suprieure; que ese ao fue dedicado a la cohomologa de grupos, a las sucesiones espectrales y a la teora de haces [2]. En este seminario Eilenberg se destac por una presencia fuerte de su enfoque axiomtico en las teoras de homologa y de cohomologa. Eilenberg era una persona que saba cmo poner a trabajar a sus amigos; junto con Steenrod estableci los axiomas de la teora de la homologa y la cohomologa, que aparece en su famosa obra Foundations of algebraic topology [2]. De igual manera Henri Cartan y Samuel Eilenberg sostuvieron una colaboracin que duro aproximadamente cinco aos; esta empez en 1947 cuando Cartan fue a recibir a Eilenberg al aeropuerto de Nueva York. Cartan ya se encontraba familiarizado con los trabajos de Eilenberg. Comenz a interesarse en la topologa algebraica desde los aos cuarenta. Tuvo contacto con un artculo de Eilenberg publicado en 1944; Annals of Mathematics, donde Eilenberg expone su teora de la homologa singular. Cartan y Eilenberg trabajaron con el fin de producir un artculo que desarrollara las nuevas ideas para la formula de Knnteh. A medida que avanzaba en el proyecto trabajaron cohomologa de grupos, cohomologa de lgebras de Lie, cohomologa de lgebras asociativas y luego el concepto de hipercohomologa. El trabajo se agrand tanto que tuvieron que publicar un libro con un nombre que resumiera su contenido Homological Algebra. Esta colaboracin contino hasta el ao 1966 [2]. Es probable que el contacto entre Eilenberg y Bourbaki haya sido establecido por Claude Chevalley antes de 1948; en este ao Eilenberg public en compaa de Claude Chevalley un documento donde dio un enfoque algebraico a la cohomologa de grupos de Lie usando el lgebra bsica como objeto. Demostraron que la caracterstica de la cero cohomologa de un grupo compacto de Lie es isomorfo a un lgebra correspondiente de Lie. La fuerte influencia del enfoque axiomtico expuesta por Eilenberg en el seminario de 1951, se extendi hasta los congresos Bourbaki. Eilenberg particip en el congreso (realizado del 27 de enero al 3 de febrero de 1951); segn La Tribu 24, Bourbaki tuvo la intencin de integrar la homologa axiomtica en sus escritos.

CAMILO MATSON H. Stefan Banach (1892-1945) Naci en Cracovia, Austria Hungra, actualmente Polonia. Dej Cracovia para estudiar ingeniera en la Universidad Tcnica de Lvov donde hizo sus estudios en los aos 1910-1914. Debido al estallido de la primera guerra mundial se vio obligado a dejar Lvov. En 1920 inici su doctorado bajo la supervisin de Lomnicki aunque Banach no sigui la ruta adecuada por que no tena calificaciones de la facultad de matemticas. Se hizo una excepcin para que pudiera presentar On Operations on Abstract Sets and their Application to Integral Equations; se dice que esta tesis es el nacimiento del anlisis funcional. Se involucr mucho con la publicacin en matemticas. En compaa de Steinhaus cre la revista Studia Matemtica, donde se trataron varios aspectos del anlisis funcional.

Charles Ehresmann (1905-1979) Naci en Estrasburgo, Francia, entr a la cole Normale Suprieure de Paris en el ao de 1924 y se gradu en 1927, contino con sus estudios dos aos ms tarde en Gttingen que por esa poca era uno de los principales centros de investigacin matemtica a nivel mundial, pero tuvo que irse a Princeton en los Estados Unidos por la llegada del gobierno nazi. Su doctorado, le fue otorgado por la universidad de Paris en 1934; estudi propiedades topolgicas de variedades diferenciales. Fue uno de los creadores de la topologa diferencial. A partir del ao 1941 realiz aportes significativos para la formacin de los actuales conceptos de espacios fibrados y variedades. Despus de 1957 se convirti en lder de la teora de categoras en la que trabajo por 20 aos.

3. Las tentativas de integrar los trabajos de Grothendieck al proyecto Bourbaki.


Aunque es Eilenberg quien se empea en convencer a Bourbaki, sobre lo til de aceptar el lenguaje categrico, es gracias a Alexandre Grothendieck como la discusin se hace ms fuerte.

3.1 Lmites inductivos y proyectivos.


Los lmites inductivos y lmites proyectivos, se discuten con bastante frecuencia a lo largo de este documento y del artculo de Krmer. Por esto es necesario conocer la verdadera importancia de las nociones de lmite inductivo y lmite proyectivo que se puede medir por el hecho, de que las discusiones acerca de la adopcin por parte de Bourbaki del lenguaje categrico se centraron en unos cuatro temas, pocos en realidad; entre ellos estaban por ejemplo los concernientes a las aplicaciones

BOURBAKI Y LA TEORA DE CATEGORAS universales, a los functores, y precisamente a lmites inductivos y lmites proyectivos. En algunos trabajos de Bourbaki, que sern mencionados posteriormente, era importante el uso de los lmites inductivos y de los lmites proyectivos, por esto se discutieron los posibles lugares para incluirlos en lments de mathmatique. Entre las acciones e intentos de Bourbaki para introducir estas nociones en su obra se encuentran: En los nmeros de la La Tribu 24, 26 y 27 donde se hacen las primeras menciones de estos temas, se plantea tratarlos en el captulo II de espacios vectoriales topolgicos. En La Tribu 37 se puede constatar, que finalmente fue desechada la posibilidad de incluirlos en el captulo II. En La Tribu 30 se hacen explcitos los planes para tratar los lmites de forma ms general dada la nueva visin funcionalista que tena Grothendieck sobre estos, por lo que Bourbaki considera que el captulo ms adecuado para esto es el IV de estructuras. En La Tribu 38 observan que la bsqueda de un lmite inductivo es un problema de aplicacin universal. En La Tribu 39, Cartier muestra que hay grupos de ejemplos desordenados sobre la conmutacin de problemas universales, que no se enuncian bien sino en el mbito de las categoras; de nuevo se retrasa la publicacin de estos temas y se propone elaborar un captulo V sobre conjuntos para introducir las categoras y functores. En un documento Cartier habla acerca de los resultados obtenidos por Eilenberg, sobre los lmites inductivos y de que estos son tan solo ejemplos de lo que Cartier llama acicaladuras1 ultra generales sobre la conmutacin de problemas universales. Cartier en una firme posicin a favor de las categoras considera que estas acicaladuras solamente es posible enunciarlos en el marco de las categoras y los de functores. Posiblemente el trmino acicaladuras es mencionado por Cartier en el sentido de limpiar de aspectos particulares las teoras, para poder tener resultados ultra generales. Segn estas declaraciones la teora de categoras se muestra como marco ideal para el tratamiento de los lmites inductivos. Es lanzada la propuesta sobre la elaboracin de un capitulo V, en el libro de teora de conjuntos para incluir el marco de las categoras y los functores; es en este punto donde Bourbaki comienza las

Cartier menciona el trmino Fourbis, que es la palabra en francs para acicaladuras.

CAMILO MATSON H. discusiones relativas a la forma de hacer un fundamento conjuntista, adecuado para la teora de categoras. Bourbaki en la Reedicin del captulo III de Topologa General considera que el nico lugar apropiado para tratar los lmites inductivos y proyectivos es en las categoras. Pero contrario a esto en La Tribu 53 se plantea de nuevo un cambio respecto a la forma y el lugar para tratar los lmites inductivos y los lmites proyectivos; esta vez planean agregarlos en el captulo de lgebra Lineal. Este comportamiento es un completo abandono por parte del grupo hacia el pensamiento categrico ya que deja por fuera la inclusin de la base conjuntista de las categoras en lments de mathmatique. Esta decisin de Bourbaki coincide con la renuncia de Grothendieck. Bourbaki se da cuenta de que muchos contextos exigen el uso del lenguaje categrico, por lo que plantea abordarlos de manera general en el captulo de estructuras. El uso del lenguaje categrico en la obra del grupo trae varias discusiones al interior de Bourbaki, muchas razones que ya se mencionaron motivaron el uso de este lenguaje. Pero pensar en esta inclusin trae serios inconvenientes al interior del grupo. El primero es que el caballo de batalla de Bourbaki, el concepto de estructura quedara inutilizable con el de categora. Por otro lado se discuten las dificultades conjuntistas para usar el lenguaje categrico en las estructuras.

3.2 lgebra Homolgica


Krmer seala la importancia que tuvo la publicacin de Grothendieck Sur quelques points d algbre homologique, en Mathematical Journal, Thoku en el ao 1957; este documento tiene un papel fundamental en la historia de la teora de categoras. En l Grothendieck exhibe varias aplicaciones de las categoras a cuestiones desarrolladas recientemente en matemticas de la poca. En este artculo Grothendieck hizo innovaciones en la aplicacin de los mtodos cohmologicos, en geometra algebraica. Dichas innovaciones encaminaron al uso del lenguaje categrico [1]. Este artculo publicado en Thoku estaba inicialmente destinado para ser incluido en los trabajos de Bourbaki, esto se deduce por que la redaccin preliminar hecha por Grothendieck, sigue los lineamientos para publicar de Bourbaki. Krmer en su documento hace una reconstruccin de hechos relacionados con esta publicacin, para esto se remite a la correspondencia entre Serre y Grothendieck; publicada recientemente por la Sociedad de Matemticos Franceses. En la carta de Serre a Grothendieck el 13 de julio de 1955 se puede ver el entusiasmo manifestado por los miembros del grupo respecto al ensayo sobre lgebra homolgica, escrito por Grothendieck y ledo por Serre en el congreso realizado del 28 de junio al 9 de julio.

10

BOURBAKI Y LA TEORA DE CATEGORAS En ese congreso Eilenberg se comprometi a redactar un texto para Bourbaki que inclua, teora general de la homologa, aplicaciones de los mdulos y la aplicacin de los haces. En la carta se puede ver que hay un inters latente por parte de los miembros del grupo presentes en el congreso, por trabajar las innovaciones conceptuales propuestas por Grothendieck; por otra parte es importante ver que estas redacciones fueron hechas con los parmetros del grupo Bourbaki. En la correspondencia publicada, no se menciona de nuevo el tema referente a lgebra homolgica hasta el 1 de septiembre de 1956. En esta carta de Grothendieck a Serre se puede ver el inters de Grothendieck por hacer conocer en el grupo Bourbaki su obra, con el fin de tenerla en cuenta para la redaccin, proyectada de un lgebra homolgica. Tienes alguna su gerencia sobre dnde puedo publicar [], por otra parte puede que no sea tonto mandrselo a Bourbaki [] para poder tenerlo en cuenta en la redaccin prxima de lgebra Homolgica, Qu piensas de esto?. Grothendieck escribe a Serre el 13 de Noviembre de 1956, y le manifiesta su inconformidad sobre la publicacin del artculo de algebra homolgica, por que este debi ser mecanografiado para Bourbaki. Finalmente de las cartas escritas por Grothendieck a Serre, concernientes a la redaccin de los textos de lgebra homolgica, se pueden tomar los siguientes aspectos relevantes: Grothendieck termin la redaccin acerca de algebra homolgica. La redaccin fue desagradable, porque insistir es la nica manera de que se dispone para comprender. Envi una copia a Delasarte, quien precisamente no tenia en ese momento trabajo para su dactilografa. Propuso el artculo al matemtico Tanaka para la revista a su cargo Thoku. Lo extenso de los artculos no desalienta a Tanaka.

Grothendieck estaba interesado en renovar las bases de la geometra algebraica y en este proceso, estaba transmitiendo ese inters a los miembros del grupo Bourbaki los cuales se vieron atrados por las innovaciones propuestas. Para este proyecto tena pensado usar resultados obtenidos de los trabajos sobre lgebra homolgica, pero con el paso del tiempo y su renuncia el proyecto fue abandonado por el grupo. Una de las hiptesis que se impone fuertemente en el artculo para justificar tal abandono, es que Andr Weil, quien haba contribuido considerablemente a la geometra algebraica, no estaba dispuesto a aceptar los cambios conceptuales propuestos por Grothendieck, y que su influencia en el grupo pudo tener repercusiones que provocaron el abandono del proyecto.

11

CAMILO MATSON H.

4. El papel de Andr Weil.


Krmer maneja la hiptesis, de que el prestigio de Andr Weil, su importancia dentro del grupo como miembro fundador, y que no comparta el punto de vista de Grothendieck sobre la geometra algebraica; fueron factores determinantes que provocaron la repentina falta de inters de Bourbaki en la teora de categoras. El texto escrito por Serge Lang le da bastante fuerza a esta hiptesis, pero en la crtica del artculo de Krmer se plantean otros motivos que pudieron afectar la renuncia de Bourbaki a la teora de categoras. Andr Weil (1906-1998) Naci en Paris, de padres judos. Estudi en la cole Normale Suprieure de Paris y despus de su graduacin paso mucho tiempo en los Alpes franceses, donde permaneca siempre con un bloc de clculos matemticos. Despus se traslad a Gttingen, donde produjo su primera obra importante en investigacin matemtica en teora de curvas algebraicas. Comenz su doctorado en la Universidad de Paris; Hadamard dirigi su trabajo de grado que continu con el desarrollo del trabajo hecho en Gttingen sobre la teora de curvas algebraicas, recibi su doctorado en 1928. Desde 1933 hasta el estallido de la segunda guerra mundial trabaj en la Universidad de Estrasburgo, fue all donde se involucr en la creacin del grupo Bourbaki. Por causa de la guerra Weil fue obligado a huir a Finlandia, donde fue detenido y estuvo a punto de ser ejecutado por que lo consideraban un espa, pero afortunadamente fue deportado a Francia donde fue puesto en prisin. Weil se encontraba en gran peligro por ser judo. A partir de 1940 Weil se dedic a la teora de nmeros, en sentar las bases para la geometra algebraica y la teora de grupos. Los trabajos de Weil fueron bastante influyentes, con base en estos se otorgaron Medallas Fields a Yau por trabajar en tres dimensiones la geometra algebraica y a de Deligne porque resolvi las conjeturas de Weil. Weil recibi muchos honores por sus destacadas competencias matemticas. La Sociedad Matemtica de Londres le otorg una membreca honoraria en 1959. A lo largo del pargrafo 4 del artculo de Krmer, se muestran reacciones de Andr Weil respecto al uso de los mtodos categricos. Krmer trata de establecer si la oposicin hecha por Weil es en contra de los mtodos categricos o en contra de las reformas conceptuales propuestas por Grothendieck. Dicha oposicin se manifiesta en la carta escrita por Weil a Claude Chevalley, con fecha del 15 Octubre de 1950.

12

BOURBAKI Y LA TEORA DE CATEGORAS Acabo de recibir los captulos II-III de Conjuntos [...] se debe reservar la palabra funcin a una aplicacin de un conjunto en el universo, como t lo hiciste [...] o bien es conveniente nombrar como funcin todo aquello a lo que aadimos un smbolo funcional, p. Ej. (E), A x B, A o B [...] etc.? Evidentemente funcin en el segundo sentido no sera un objeto matemtico, sino un vocablo metamatemtico; y por esta razn sin duda existen (no quiero nombrar a nadie...) personas que dicen functor; debemos aceptar este trmino? Parece que necesitar de dos palabras para cada nocin de Funcin en los dos sentidos podra tener ms ventajas que inconvenientes [1], pagina 379. En esta carta Weil hace una crtica sobre el uso de la palabra Funcin cuestionando el apropiado uso de este concepto observando que ahora tiene dos sentidos, en el primero se usa para la aplicacin de un conjunto en el universo y en el segundo se usa para nombrar todo aquello con smbolo funcional2. El aspecto principal en la carta es la marcada necesidad de Weil por establecer qu hace parte de la matemtica o de la metamatemtica, por ejemplo en el primer uso de la palabra funcin el sentido es matemtico y en el segundo sentido es metamatemtico. Otro aspecto para conocer ms sobre la posicin de Weil; es un debate violento entre Weil y Mac Lane que tuvo lugar en un congreso en el ao de 1952 acerca del uso del trmino sucesin exacta; Weil se opona a esta terminologa. Aunque se piensa que Mac Lane no asisti al congreso porque no aparece en las listas, se sabe que en ms de una ocasin se present este tipo de enfrentamientos. Mac Lane aparece de nuevo en 1954 interviniendo a favor de las categoras pero fracasa, se excusa porque considera que su francs era insuficiente para persuadir. En la pgina 140, hay una carta irnica que Weil escribe a Chevalley que dice: Como sabes, mi honorable colega Mac Lane sostiene que toda nocin de estructura conlleva necesariamente una nocin de homomorphismo [] Qu piensas que hay que concluir de esas consideraciones?. El sentido de esta carta es irnico por que Bourbaki ya tena conocimiento sobre este tema, luego es probable que esta haya sido una pregunta capciosa. En la misma pgina del artculo de Krmer, esta citada la observacin destacada en cursiva por Bourbaki: Dada una especie estructura no implica una nocin bien determinada de morfismo (E IV 12). Los miembros del grupo manifiestan un descontento en un aparte de La Tribu 31, en donde hay reacciones respecto a la teora estructuras. Algunos aspectos son realmente incmodos para Bourbaki; el concepto de estructura resulta molesto para la integracin y las variedades cuando se tratan en la forma de Andr Weil, otro aspecto especialmente incmodo para el grupo es que las representaciones son impuestas una vez escogida la estructura.

En lenguaje categrico el segundo se etiqueta con el nombre de functor.

13

CAMILO MATSON H. Por cierto se prueba que el hecho de que las representaciones sean impuestas una vez escogida la estructura puede ser molesto por la integracin y las variedades cuando se tratan a la manera de Andr Weil. Las citas hacen referencia a que la eleccin del morfismo se hace dependiendo de la estructura, entonces es posible que los datos de alguna estructura no permitan definir un morfismo bien determinado. Bourbaki saca dos conclusiones para el captulo de estructuras, la primera es que la nocin de representacin ser llamada morfismo y la segunda que los morfismos sern disociados de las estructuras. De las citas anteriores se infiere que Bourbaki busca separar los conceptos morfismo y estructura, con el fin de hacer una distincin entre matemtica y metamatemtica, por que las estructuras son consideradas objetos matemticos y los morfismos vocablos de la metamatemtica. En el libro de Andr Weil sobre la integracin de espacios topolgicos se hace una distincin de dos tipos de homomorfismos para los grupos topolgicos, unos son los homomorfismos y los otros son homomorfismos continuos; tambin hace uso de la palabra categora para distinguir entre la categora de los grupos abelianos discretos y los grupos abelianos compactos. Hasta ahora Weil parece oponerse a los mtodos categricos, en especial busca establecer una clara diferencia entre los objetos matemticos y los vocablos metamatemticos, aunque se ve abocado a hacer uso de nociones cercanas a la teora de categoras en sus trabajos. La actitud de Weil no es clara acerca de la teora de categoras; por otra parte, hasta el momento, no se ha destacado en el artculo de Krmer una oposicin directa a las ideas matemticas propuestas por Grothendieck. Sin embargo, es indicativa la frase de Serre a Grothendieck, 2 II 1956. me alegro mucho de ver esta hipercohomologa dando resultados tangibles en geometra algebraica Weil estar furioso!

5. Categoras y estructuras.
El objetivo de la gran tarea de Bourbaki era proporcionar una base slida para todos los recientes avances que tena la matemtica, para esta tarea usaron como eje fundamental el mtodo axiomtico, y el concepto de estructura. Bourbaki deja en claro que no hay que confundir el mtodo axiomtico con el formalismo lgico3.

Lo que el mtodo axiomtico se propone como objetivo esencial es precisamente lo que el formalismo lgico, por s slo, es incapaz de dar, esto es, la profunda inteligibilidad de las matemticas... El mtodo axiomtico se basa en la conviccin de que, no slo la matemtica no es una mera concatenacin al azar de silogismos, sino que tampoco es una coleccin de trucos, ms o menos astutos, a los que se llega por una serie de afortunadas combinaciones...El mtodo axiomtico ensea a buscar las razones profundas... a encontrar las ideas comunes a varias teoras, sepultadas bajo la acumulacin de detalles propios de cada una de ellas... [2].

14

BOURBAKI Y LA TEORA DE CATEGORAS

5.1 Bourbaki: Filosofa estructuralista de la matemtica.


En un principio las diferentes ramas de las matemticas se distinguan por estudiar objetos de diferente tipo, la aritmtica estudiaba los nmeros, la geometra los objetos en el espacio, el anlisis las funciones, etc. A medida que cada una de estas ramas de las matemticas fue creciendo, fue posible ver que existan resultados muy similares en un campo y en el otro. De esa forma en el siglo XIX fue posible ver que lo importante no era la naturaleza de los objetos, si no el tipo de relaciones entre estos. Empezaron a surgir las primeras estructuras algebraicas como: grupos, anillos, campos y cuerpos; en donde se incluyen una gran cantidad de objetos de diferente naturaleza con propiedades en comn, esta visin global de las matemticas es el pensamiento estructurado y permite abordar una gran cantidad de teoras en forma simultnea en las matemticas. Las estructuras se convirtieron en el instrumento fundamental para llevara a cabo el proyecto de Bourbaki. Aunque el grupo no invent este concepto, s es el que le hace jugar un papel fundamental en la organizacin de la matemtica moderna [3]. Bourbaki introduce tres estructuras fundamentales: las algebraicas, las de orden y las topolgicas, ya que a partir de estas, se puede crear estructuras compuestas por una o ms estructuras simples sobre un mismo conjunto, que se relacionan mediante ciertos axiomas de compatibilidad [3]. Al tener el mtodo axiomtico y las estructuras el matemtico dedicado a la investigacin, tendra a su disposicin unos mtodos muy refinados y resultados bastante generales4.

5.2 Categoras y estructuras en Bourbaki


Bourbaki present una descripcin de estructura en el Fasicule des rsultats (1939), esto provoc la escritura de un captulo sobre la teora de estructuras en 1957 en el captulo IV del libro I sobre teora de conjuntos5. Leo Corry concluye que hubo serias dificultades para compaginar las categoras con las estructuras, Corry considera que est fue un factor importante para el rechazo de las categoras en la obra de Bourbaki. Senechal comenta observaciones de Cartier respecto a este tema: Las teoras de conjuntos y estructuras son, en contraste, son mas rgidas, se puede ver leyendo el captulo final del libro de teora de conjuntos, con un monstruoso esfuerzo para formular las categoras sin las categoras [7]. Cartier era un fuerte partidario de integrar las categoras al trabajo de Bourbaki, tanto as que se parcializ respecto al tema.
4

De esta manera se cumplira con el objetivo principal de Bourbaki, que era dar las herramientas necesarias. 5 Los Fasicule des rsultats eran borradores, que en una etapa inicial no eran muy formales.

15

CAMILO MATSON H. Krmer analiza las siguientes fuentes para dar un soporte a las razones dadas por Corry: En La Tribu 25 se puede ver un intento de integrar el concepto de functor; se le pide a Eilenberg que elabore un informe sobre los functores, homomorfismos, variaciones, estructuras inducidas y otros temas. Este informe aparece en el Nachla de la universidad de Columbia, se titula Concerning functors and livre I. El documento es reproducido en su totalidad en el artculo de Krmer; en l Eilenberg sugiere incluir la categoras y los functores en el Libro I o Segunda parte, lgebra Homolgica. Eilenberg considera apropiado introducir las categoras y los functores en el libro I porque piensa que es ms apropiado exponer solo una de las dos teoras primero. Pero tambin considera la inclusin de estos temas para la seccin de lgebra Homolgica porque en esta se deben usar los functores para unificar las diferentes teoras de homologa. En este documento Eilenberg confirma que existen serias dificultades tcnicas para unificar la teora de categoras y la de estructuras, escribe al respecto: El mtodo de los functores y las categoras est en una especie de competencia con el mtodo de las estructuras. Eilenberg considera que la nica forma posible para cerrar esta competencia es crear una definicin de homomorfismo estructural que convierta cada especie de estructura en una categora, de esta manera quedara cerrada la competencia entre estos dos conceptos, porque los resultados obtenidos por Bourbaki para estructuras se podran llevar a las categoras y sera posible el uso de los mtodos categricos en las estructuras. Pero para poder lograr esto es importante hacer una fuerte modificacin del concepto de estructura, esto implicara complicaciones adicionales ya que la nocin de estructuras es complicada por s sola. Aunque Eilenberg es uno de los creadores y un fuerte partidario de la adopcin de la de la teora de categoras en la obra de Bourbaki, no se opona a la teora de las estructuras, por el contrario esta nocin le atraa mucho por lo que mostr compromiso e inters en esta. Krmer no se especifica cules son las dificultades tcnicas expuestas por Saunders Mac Lane y Samuel Eilenberg entre la teora de categoras y las estructuras, pero en las notas de pie de pgina menciona que estas dificultades fueron tratadas desde 1960 por, Chevalley, Lawvere, Ehresmann y otros, que hicieron contribuciones importantes para solucionar estos problemas. En La Tribu 39 se discute sobre la forma en que se deben tratar las categoras y las estructuras. Finalmente el grupo decide publicar las estructuras sin hacer modificaciones y dejar para ms adelante lo concerniente a las categoras. Bourbaki justifica parte de esta decisin afirmando que resulta ms cmodo introducir una de las dos teoras primero, y que esto es ms favorable para la comprensin del lector.

16

BOURBAKI Y LA TEORA DE CATEGORAS Dixmier se opona a la decisin de hacer publicaciones acerca de estructuras, porque l se encontraba parcializado, l estaba completamente a favor de las categoras y en contra del uso de las estructuras en la obra de Bourbaki. La publicacin del captulo sobre estructuras estuvo sujeta a muchas discusiones al interior de Bourbaki; por razones prcticas el grupo se vio obligado a publicarlo porque Se haba trabajado mucho en l. El texto fue enviado a publicar sin hacer algunas correcciones a los lmites inductivos, lo extrao es que estos lmites no estn en la versin publicada6. Bourbaki estaba interesado en conocer si las categoras y los functores podran adaptarse al tratado; Grothendieck fue encargado de redactar un borrador a manera de fascculo de resultados7, que contuviera los aspectos principales de las categoras y los functores. Este sera el comienzo del trabajo en el captulo V titulado categoras y functores. Henri Cartan compuso un texto que introductorio a la teora de categoras. Se presenta en La Tribu 43 un documento adjunto de tres hojas que contiene observaciones muy detalladas, tcnicas y precisas donde se destacan los puntos dbiles y fuertes de la redaccin de Cartan8 titulada Notas sobre las categoras y los functores. Aunque Bourbaki no se opuso de manera general a este documento en la primera pgina del informe se lee: el punto de vista adoptado parece ser incompatible con las estructuras y Bourbaki no quiere abandonar este ltimo sin tener razones serias. La frase con la que comienza este documento hace referencia a que el punto de vista adoptado por Cartan categrico, resulta ser incompatible con el punto de vista estructurado, y debido a que las estructuras han sido el caballo de batalla de Bourbaki durante mucho tiempo, se necesitan razones muy fuertes para que el grupo decida abandonar las estructuras9. Contrario a esto en la redaccin No 307 Grothendieck considera que es necesario hacer un nuevo captulo IV del libro I porque piensa que el primero es Inutilizable de todas formas, esta opinin debi ser debatida durante el congreso 43 de Bourbaki.

6 7

Esta es una de las preguntas que se encuentran abiertas referentes al Captulo IV. Se ignora si Grothendieck escribi este informe. 8 La redaccin de Cartan no fue revisada por Krmer, pero si el documento adjunto a La Tribu 43 que contiene las especificaciones generales de este documento. 9 Es importante notar que Andr Weil estaba presente durante este congreso, probablemente esta fue la razn por la que se present un enfoque determinante a favor de las estructuras, por parte de Bourbaki.

17

CAMILO MATSON H.

5.3 Problemas universales


Bourbaki quera desarrollar una teora que fuera lo suficientemente general; esta se basara en construcciones que fueran lo mas general posible, pero para esto era indispensable el tratamiento general de problemas universales. Esto genera de nuevo una problemtica, porque el lugar apropiado para tratar estos problemas es la teora de categoras. Debido a la importancia de los problemas universales fue inevitable tratarlos. El primer texto que hace referencia a este tema, es un apndice en Algbre multilinare de 1948, de igual manera se hacen alusiones al tema en dos textos posteriores que desarrollan el tratamiento. En estos documentos se hace un tratamiento de los problemas universales pero en ambos documentos se deja de lado la teora de categoras. Uno de estos dos textos es el artculo de Pierre Samuel, donde se hace una construccin que trata de llegar a la solucin de un problema universal y resulta ser la solucin en casi todos los ejemplos estudiados. Krmer critica la hiptesis de Corry en la que menciona que Eilenberg estaba haciendo un uso implcito de los mtodos categricos, porque lo que hace, en realidad, es dar una estructura al producto cartesiano de ciertos conjuntos. Debido a que en algunos casos fue ineludible para Bourbaki el uso del lenguaje categrico, es muy posible que existiera cierta similitud en la forma de tratar algunos conceptos, entre el punto de vista de Bourbaki y el punto de vista de los promotores del pensamiento categrico. Krmer se cuestiona s, los miembros del grupo eran conscientes de estas similitudes; es posible pensar que debido a la experiencia de los miembros del grupo ellos eran conscientes de estas, pero quizs no las hicieron explicitas con el fin de estar de acuerdo con la posicin oficial del grupo respecto a las ideas categricas.

6.

Cmo proveer los fundamentos conjuntistas a la teora de las categoras?


Bourbaki decidi fundamentar las matemticas sobre las estructuras que a su vez se definen apoyndose en el concepto de conjunto, fue puesta en uso una axiomtica de la teora de conjuntos que es equivalente a la de Zermelo Fraenkel incluyendo el axioma de eleccin. Aceptarla fue una decisin complicada porque el axioma de eleccin no es del gusto de Bourbaki, porque no todos los matemticos lo consideran aceptable10.

10

En la matemtica moderna no es necesario que los axiomas sean evidentes; solo basta que se cumplan las condiciones para un sistema axiomtico. Adems muchas teoras han mostrado que la sola intuicin puede fallar.

18

BOURBAKI Y LA TEORA DE CATEGORAS El aceptar este axioma va en contra de la posicin hipottico deductiva11 de Bourbaki, pero al ver el fracaso del programa inicial de Hilbert al grupo no le qued otra opcin ms que aceptarlo. ZFC12 fue uno de los primeros intentos de Bourbaki para dar un fundamento conjuntista a la teora de categoras; pero en los primeros artculos de Eilenberg y Mac Lane se estableca que esta axiomtica no es un marco ideal para la teora de categoras. En cuanto a esto Krmer no expone la razn de ellos para hacer esta aseveracin. Bourbaki discuti varias alternativas para dar un fundamento a la teora de categoras, se buscaba seguir los parmetros establecidos por el grupo. Entre estos que estaban que la axiomtica adoptada deba ser una extensin de la teora conocida. Haba muchas sugerencias y debates al interior del grupo para dar una base slida a la teora de categoras. Despus de varios debates se lleg a pensar que lo ms conveniente era el uso de la axiomtica de Zermelo Fraenkel, sin incluir el axioma de eleccin. El grupo tom la posicin ad hoc13 en caso de encontrar alguna contradiccin por el uso de esta axiomtica, se retrocedera en los razonamientos hasta encontrar las hiptesis que ocasionaron la contradiccin". Entre las opiniones del grupo est la de Cartan quien desconfa de un sistema cerrado en el que todo est dado desde el comienzo. A decir verdad esta posicin est en contra de la filosofa oficial de Bourbaki en la que todo tiene que ser sumamente preciso y claro desde el comienzo. Otra alternativa para axiomatizar la teora de categoras fue propuesta en La Tribu 24 donde se propone Gdelizar, introducir la teora de conjuntos de Gdel, esta hace una distincin entre conjuntos y clases, la decisin parece conveniente porque se quiere adoptar las operaciones usuales de la teora de conjuntos, incluyendo el axioma de eleccin. Adems permite tratar ms cmodamente la homologa axiomtica y las aplicaciones universales. Pero con esta alternativa se presentan problemas para evitar contradicciones respecto a la extensin del axioma de eleccin a clases propias. Cartier propone un mtodo metamatemtico para introducir [las categoras y functores] sin modificar nuestro sistema lgico. Pero este procedimiento es rechazado14 porque le da resueltamente la espalda al punto de vista de la extensin [...]. Se decide entonces que es mejor alargar el sistema para all hacer entrar las categoras; a primera vista el sistema Gdel parece convenir.

La posicin hipottico deductiva que consiste en cuestionar la introduccin de nuevos elementos en la teora que no sean convenientes, o que no provengan de otras teoras matemticas firmes. 12 ZFC axioma Zermelo Fraenkel con el axioma de eleccin. 13 La posicin ad hoc es adoptada por Bourbaki en varios documentos, tambin en la conferencia Foundations of mathematics for the working mathematician, dada por Andr Weil quien era el representante del grupo. 14 La palabra original del francs es vomi que significa vomitado.

11

19

CAMILO MATSON H. La propuesta de Cartier consista introducir las categoras a manera de las estructuras, de esa forma solo se tena que fijar un modelo de la teora de conjuntos sin tener que modificar el esquema fundacional, lo que se puede interpretar como justificar el pasaje sin modificar el sistema lgico usual. Esta propuesta metamatemtica no es aceptable para Bourbaki por que le da la espala al punto de vista de extensin, que consiste en buscar una axiomatizacin que no sea nueva, sino una extensin de la una de las axiomticas usuales de la teora de conjuntos. Una axiomtica que cumpla con estos requisitos da a Bourbaki la seguridad emprica, lo que significa que se est construyendo la base sobre un referente conocido y estudiado, cosa que est a favor de la posicin oficial del grupo. Una nueva propuesta surge en La Tribu 44, donde algunos miembros de Bourbaki se muestran interesados por dar una base lgica slida para los functores y las categoras; rechazan un procedimiento artificial que consiste en limitar los cardinales inaccesibles ad hoc. El grupo parece estar convencido de que la mejor opcin para trabajar las categoras es el sistema de Gdel. Pero surgen algunas dificultades en el camino en primer lugar no se tratan aspectos como el axioma de eleccin o los cardinales inaccesibles, adems en La Tribu 44 se puede ver que existan dudas sobre aceptar este sistema, en particular Chevalley dudaba de que este sistema fuera lo suficientemente potente. Lacombe presenta varias formas de fundar las categoras, trabaja a ms a fondo respecto a la distincin entre conjuntos y clases, realiza ejemplos de construcciones ilegtimas y muestra que hay trminos que no se pueden expresar con la ayuda de las clases. Lacombe afirma que la propuesta la composicin de functores se comporta formalmente como un bifunctor, no se puede expresar por medio de las clases porque necesitara la construccin de categoras de functores arbitrarios que sirvan como categoras de base de un bifunctor tal. La primera cita hecha por Lacombe fue enunciada con anterioridad por Grothendieck en sus trabajos principales sobre lgebra homolgica. En estos trabajos Grothendieck enuncia esta dificultad. Grothendieck considera que la solucin de Lacombe es inadecuada y responde redactando el texto No 307, aunque Grothendieck sabe que hay cosas que no se pueden expresar con la ayuda de las clases sabe que con un cambio se pueden tratar estos inconvenientes. El punto de vista de Grothendieck es que las categoras, homomorfismos, functores, no son objetos de la metamatemtica, sino de las matemticas, sobre los que se puede cuantificar y estn sujetos a las operaciones usuales de la teora de conjuntos15.

15

A lo largo de ste texto Grothendieck destaca que no hay que hacer distinciones especiales para categoras, functores o los homomorfismos. l considera que estos son objetos matemticos por lo tanto es posible considerar conjuntos de functores o de homomorfismos, porque estos tambin son lo suficientemente interesantes para su estudio.

20

BOURBAKI Y LA TEORA DE CATEGORAS Otra de las razones por las que Grothendieck considera inadecuada la solucin propuesta por Lacombe, es porque hace una fuerte distincin entre los conjuntos y clases. Es en este punto donde Grothendieck hace una crtica fuerte de varios aspectos que son consecuencia de la adopcin de esta propuesta16. La propuesta de Lacombe sugiere introducir una nueva categora de objetos matemticos, donde las clases seran los mismos conjuntos pero por decirlo as ms grandes pero esta distincin formal le negara a estos ser elementos de algo. Grothendieck recuerda que esta prohibicin es inadmisible; quizs por el punto de vista de extensin. Pero de ser permitido sera posible considerar las clases de clases y as sucesivamente sera posible considerar conjuntos ms grandes de conjuntos ms grandes, lo que sera un problema porque segn esto las clases, hiperclases, etc. no se diferenciaran en nada de los conjuntos usuales, porque en todos los casos se caracteriza una coleccin de elementos que a su vez es un elemento de otra coleccin. Al ver que el problema no queda resuelto con los elementos de la teora de conjuntos de ese entonces, era necesario un nuevo axioma que permitiera nuevas operaciones intuitivas como la formacin de la categora de todos los objetos, esto para llegar a una teora de conjuntos que no deja de ser una extensin de la usual, pero que es mucho ms fuerte. Este es el paso de U i a U i +1 unas lneas debajo del texto 307 Grothendieck introduce el axioma de los Universales17. Grothendieck considera que el hablar de la categora de todos los conjuntos debe ser algo del pasado, y a esta mencin solo se debe hacer si es a ttulo metamatemtico. Las reacciones del grupo acerca de la teora de los universos se pueden ver en: La Tribu 47, la grandiosa teora de los universos, aclamada por todos, Cartan se opone, permite ahora redactar las categoras en un marco cmodo. Es obvia la posicin de Cartan; en el artculo de Ralf Krmer se puede ver que desde mucho antes de la propuesta de Grothendieck, Cartan manifiesta desconfianza respecto al uso de un sistema cerrado. Tambin es necesario resaltar que en el congreso de La Tribu 47, no estaba presente Andr Weil. Todos los presentes menos Cartan estuvieron recuerdo con los propuesto por Grothendieck. A lo largo de los congresos se tom el hbito de identificar el axioma de los universos con el axioma que afirma la existencia de cardinales inaccesibles, de hecho esto se presenta por que estos axiomas son equivalentes, hecho demostrado por Tarsky. El axioma de los universales de Grothendieck da una solucin para
16

Bourbaki no tena una clara distincin entre clase y conjunto. La distincin viene despus, consiste en que un conjunto es una clase que pertenece a otras clases, por lo tanto todos los conjuntos son clases, pero no todas las clases son conjuntos, a estas clases se les llama clases propias.

21

CAMILO MATSON H. muchas dificultades de Bourbaki, pero, aceptarlo genera una prdida de la seguridad emprica porque, la coherencia relativa para el axioma no es demostrable18. Bourbaki estaba inseguro respecto a introducir este axioma; estaba prevenido por que era posible que este axioma trajera grandes problemas o contradicciones a medida que se avanzaba en la teora19. Para que Bourbaki adoptara con ms seguridad el axioma de los universales, fue sugerida la idea de mostrar que este axioma es inofensivo, pero segn la opinin de Paul Cohen esto parece muy difcil e incluso indemostrable [4]. La falta de seguridad si era una razn de peso para que Bourbaki no decidiera adoptar la teora de categoras. Pero Bourbaki no coment nada acerca del tema; Krmer interpreta este silencio como una falta de inters del grupo por su propia filosofa, pero que muy probablemente es una reaccin de los miembros de Bourbaki por considerar que el camino no era muy confiable.

7. Ad majorem fonctori gloriam. La renuncia de Grothendieck.


Como ya se sabe la mayora de los miembros de Bourbaki estuvieron a favor de la introduccin del axioma de los universales de Grothendieck; se afirm que esto traera beneficios a la hora de redactar las categoras y se resolvi la discusin sobre la forma para dar a las categoras un fundamento conjuntista. Dado que en varios aspectos las categoras tenan un mejor desempeo que las estructuras lo ms razonable es pensar que Bourbaki adoptara las categoras en su obra. Pero la realidad fue muy distinta. En La Tribu 53 hay adjunto un texto titulado Ad majorem fonctori gloriam este texto no est firmado, segn Liliane Beaulieu fue escrito por Serge Lang. Me he enterado de que Grothendieck ya no es miembro de Bourbaki. Lo lamento mucho, as como las circunstancias que llevaron a esta decisin. [..] Lo que import, fue una oposicin sistemtica, ms o menos explicada segn unos u otros, contra su punto de vista matemtico, o ms bien su empleo por Bourbaki20. El autor de este texto se muestra desencantado por las decisiones que tom el grupo y lamenta la renuncia de Grothendieck. Serge Lang confirma que hubo una oposicin sistemtica que si bien no fue por parte de todo el grupo; se tena que algunos miembros Bourbaki no estaban de acuerdo con el punto de vista matemtico de Grothendieck.

Pero Bourbaki aun no tena conocimiento. No se puede demostrar la consistencia del sistema con este axioma por el teorema de Gdel. 19 La seguridad emprica es justificada por un experto que ha trabajado mucho en una teora. Ese axioma no brindaba seguridad, por que no haban sido estudiadas las consecuencias de su adopcin. 20 Krmer no especifica el momento y las causas concretas de la renuncia de Grothendieck en su artculo.

18

22

BOURBAKI Y LA TEORA DE CATEGORAS Curiosamente la afirmacin hecha por Lang21 se puede contrastar con la gran cantidad de intentos, hechos por Bourbaki para adoptar las categoras. Kaplansky en su review comenta que Bourbaki ya no es el joven impetuoso de hace veinte aos, lo que significa que el grupo ya no es el mismo de antes y que sus miembros han envejecido. Aunque Kaplansky no hace referencia a la teora de categoras el autor del texto annimo hace nfasis en que el grupo se encuentra atrasado en la nueva perspectiva de ver las matemticas y que es intolerable que Bourbaki no se encuentre incluido en el nuevo movimiento functorial. Es un escndalo que Bourbaki, no solamente no est a la cabeza del movimiento functorial, pero que ni siquiera est en la cola. [...] Si algunos miembros fundadores (e. g. Weil)22 quieren pensarlo mejor sobre su decisin de no influenciar a Bourbaki en la direccin que l desea tomar, que lo digan explcitamente. Esta influencia por parte de los miembros antiguos de Bourbaki, se muestra claramente en el precepto de la retirada a los cincuenta que fue propuesto por Andr Weil quien le pidi a Cartan leer una carta en el congreso 39, enunciando que los miembros del grupo deberan jubilarse al cumplir cincuenta aos. Curiosamente esta regla no fue respetada por los miembros ms importantes del grupo, ejemplo de esto es que cuando Weil le pido a Cartan leer esta carta tena ya cincuenta aos. Se culpa a Andr Weil quien se muestra como un firme opositor al punto de vista que le dio Bourbaki a las ideas de Grothendieck, el autor del texto le pide indirectamente a Weil considerar las consecuencias de sus decisiones las cuales son una causa directa de la prdida de la impetuosidad del grupo. La discusin sobre las categoras no termin con la renuncia de Grothendieck, se habl de que Grothendieck escribi un documento con ocasin del congreso nmero 54, este es un esbozo del que uno de sus escribas debe extraer un artculo o un libro. En cuanto al escriba se supone que es Claude Chevalley y que este es el origen del libro de categoras y functores de Chevalley y Grothendieck, en teora este libro habla sobre los universos. Este libro nunca fue publicado. Al parecer axioma de las aplicaciones universales no es una explicacin suficiente para dar un fundamento a la teora de categoras, por que se presentaron ms intentos por componer las dos teoras. Serre escribe una carta a Grothendieck el 30 de septiembre de 1964, en la que manifiesta su asombro por que Eilenberg redact las categoras en 70 pginas, pero en un estado inicial23. Chevalley convoc a Jacques Roubaud para que colaborara en la redaccin en los apuntes de un captulo sobre categoras que finalmente nunca fue publicado; Roubaud considera fue mejor, porque el documento era realmente ilegible.
21 22

Es importante notar que Lang especfica que son algunos de los miembros de Bourbaki. e.g. exempli gratia por ejemplo. 23 Esto les parece realmente sorprendente, porque como ya es costumbre los documentos de Grothendieck al respecto son muy extensos. Serre confirma que esta redaccin era Bourbaki.

23

CAMILO MATSON H. No hay fuentes que permitan afirmar, que Andr Weil estaba directamente implicado con los motivos de la renuncia de Grothendieck. Pero es muy posible que su influencia haya sido un factor importante, para el retrasar las publicaciones hasta el punto en que fuesen obsoletas24[9].

8. Conclusin de Ralf Krmer.


La matemtica formal, se preocupa por el estudio de la forma de los entes matemticos; estos entes son abstractos y sin contenido. David Hilbert es uno de los principales promotores de la matemtica formal, en [6] 1922 deca: "Para m, y en esto me opongo totalmente a Frege y a Dedekind, los objetos de la teora de nmeros son los signos mismos, de los cuales podemos reconocer la forma en toda su generalidad y con toda seguridad, independientemente de las circunstancias de lugar y de tiempo, de las condiciones particulares de su presentacin y de las diferencias insignificantes que pueden afectar a su trazado. El punto de vista filosfico slido que considero como indispensable para el fundamento de las matemticas puras como para cualquier tipo de pensamiento, de comprensin y de comunicacin cientficos se puede resumir de esta forma: en el principio, y as nos expresaremos aqu, era el signo.'' Hilbert tiene dos concepciones respecto a la metamatemtica, la primera la tiene durante su programa inicial, que consisti en encontrar una formalizacin finitista para justificar el uso de argumentos que involucren el infinito en matemticas [1]. La metamatemtica le serva a la matemtica para probar su consistencia, en este sentido metamatemtica es: trabajar dentro del lenguaje smbolos matemticos, pero abordar el significado de los resultados en un nivel epistemolgico diferente. Se trata de comenzar a hacer inferencias acerca la matemtica misma pero desde un punto de vista intuitivo. Al hacer esto es necesario establecer la diferencia entre el lenguaje y el metalenguaje, porque en caso de no hacerlo se puede caer en paradojas de tipo semntico. La segunda visin de Hilbert respecto a la metamatemtica, viene mucho tiempo despus; en esta visin se considera que tambin es posible establecer un lenguaje de signos formal para la metamatemtica. Segn el artculo, parece que Bourbaki no siguiera a Hilbert en su primer programa, porque no se puede ver una separacin intencional entre la matemtica y la metamatemtica.
24

La influencia de Weil pudo ser significativa para Bourbaki, pero en el caso de las instituciones de investigacin francesas no mucho. Grothendieck se encontr pronto en cmodas situaciones materiales para continuar con su investigacin.

24

BOURBAKI Y LA TEORA DE CATEGORAS En Bourbaki los conceptos introducidos para hablar de matemticas, como estructura, tambin deben ser sometidos a un tratamiento matemtico. De no ser as estos conceptos dejaran de ser objetos matemticos y se convertiran en un vocablo de la metamatemtica. Krmer basado en las evidencias, como los nmeros de << La Tribu >>, considera que al interior del grupo no se realiz una meditacin seria, respecto a los problemas filosficos de aceptar la teora de categoras en el trabajo de Bourbaki. Descarta que los motivos para no adoptar las categoras en el trabajo de Bourbaki hayan sido de tipo filosfico, es ms, se puede ver que la propuesta de Grothendieck estaba bastante acorde con los lineamientos de Bourbaki. Krmer propone explicacin peircerana para dar un fundamento apropiado a la teora de categoras, est es tratada en su libro acerca de la historia de la teora en cuestin. Aunque fue promovido un uso del lenguaje categrico la decisin final de Bourbaki fue darle la espalda a la teora de categoras hecho que coincide con la renuncia de Grothendieck. En el artculo de Krmer, se habla acerca de la renuncia. Pero no se hace una mencin de las razones que motivaron la renuncia o la forma en que renunci Grothendieck al grupo Bourbaki.

Conclusiones
El artculo de Krmer hace una bsqueda detallada de las razones y las circunstancias, que fueron decisivas para que Bourbaki rechazara la teora de categoras. Krmer dispone de fuentes, entre las que se encuentra parte archivos de las ACNB, lo que permite hacer una reconstruccin bastante acertada de los hechos al interior del grupo. Krmer presenta un anlisis, de las posibles razones para que Bourbaki no aceptara incluir la teora de categoras en su obra. Las razones fundamentales son: Problemas al conciliar la teora de categoras y la teora de estructuras. Razones prcticas, que Bourbaki no quera perder el trabajo hecho en la teora de estructuras. Inconvenientes personales al interior del grupo. Problemas filosficos.

Las dificultades para dar un fundamento conjuntista apropiado a la teora de categoras.

25

CAMILO MATSON H. En la introduccin del artculo de Krmer hay un aparte donde concluye que las razones usadas por Bourbaki, para el rechazo de la teora de categoras son filosficas, prcticas y personales. Y que entre estas las razones personales tienen un gran peso. Al hacer un estudio de las de las razones fundamentales a la luz del texto se puede ver que: S existan serias dificultades tcnicas para conciliar la teora de categoras con la teora de estructuras, pero Bourbaki no se desanima por esto, no se presenta un descontento general dentro del grupo25. Por el contrario se puede ver que estas dificultades motivan trabajos de Chevalley y Ehresmann. Tambin hubo intentos por fuera del grupo, como es el caso de Lawvere quien trabaj en estas dificultades. Despus de 1960; ellos hicieron contribuciones importantes para solucionar dichos inconvenientes entre la teora de categoras y la de estructuras. Las razones prcticas pudieron ser un factor relevante en ciertos casos, pero no fueron un factor determinante, en la decisin final de Bourbaki de rechazar la teora de categoras. Estas razones aparecieron cuando Bourbaki public el captulo IV del libro de teora de conjuntos porque se haba trabajado mucho en l. Pero en este punto la discusin se hizo ms conceptual, porque se centro ms en lo complicado que resultaba para Bourbaki abandonar el concepto de estructura. Para lo que se necesitaban razones de peso. Los problemas personales al interior del grupo evidentemente tienen un papel clave, en todo este inconveniente. Segn Pierre Cartier, existan serias diferencias en entre las distintas generaciones de matemticos que intervenan. En la entrevista con Majorie Senechal Cartier afirma: Grothendieck permaneci en Bourbaki aproximadamente diez aos pero Grothendieck enfadado dej el grupo. Las personalidades eran muy fuertes en ese entonces. Yo recuerdo que frecuentemente haba discusiones. Esto era tambin como, una usual pelea entre generaciones, como en una familia.[7]. Unas lneas abajo Cartier responde a una de las grandes inquietudes planteadas a lo largo de este trabajo. Nosotros tenamos discusiones entre generaciones, discusiones entre hermanos, y as sucesivamente. Pero eso no distraa a Bourbaki de su meta general, aunque algunas veces ellos eran bastante brutales. Por lo menos la meta general estaba bastante clara. Algunas personas no podan asimilar este estilo de carga psicolgica, por ejemplo Grothendieck dej el grupo y tambin sali Lang [7]. Entonces las causas que motivaron la renuncia de Grothendieck s fueron personales, tambin las de el autor del texto Ad majorem fonctori gloriam Serge Lang. Pero el grupo an contaba con muchos expertos, personas que conocan muy
25

De ser as se vera reflejado en La Tribu.

26

BOURBAKI Y LA TEORA DE CATEGORAS bien las categoras y que mostraron un profundo inters en desarrollar la teora. Si las razones fueron personales y Grothendieck estaba por fuera del grupo, por qu abandonar una teora que pareca resolver muchos de los inconvenientes planteados?. Krmer argumenta muy bien que Bourbaki no realiz una profunda discusin filosfica en cuanto a la adopcin de las categoras. Al analizar en detalle cada una de las posibles hiptesis planteadas a la luz de las referencias disponibles, se puede concluir que el factor detonante para que el grupo no introdujera la teora de categoras en su obra, fue la falta de seguridad en el axioma de los universales de Grothendieck. La falta de seguridad pudo ser una razn con justificacin para la renuncia, pero Bourbaki no la present como tal, Krmer sugiere que quizs pudo ser por desconocimiento de causa, aunque, Bourbaki manifiesta en una carta Sera muy interesante mostrar que el axioma de los universales es inofensivo. Parece difcil e incluso indemostrable, dice Paul Cohen. Es bastante probable que si Bourbaki no conoca a fondo razones para la incorporacin de este axioma, no se atreviera a hacer afirmaciones al respecto y por eso decidiern, sencillamente guardar silencio respecto al tema. Cartier afirma: Bourbaki no pudo encontrar una nueva salida, porque ellos tenan una visin dogmatica de las matemticas: todo deba ser puesto en un marco seguro [7]. En conclusin, Bourbaki tena una visin muy dogmatica que no le permita construir teoras en un marco inseguro. La solucin propuesta por Grothendieck no le brindaba seguridad al grupo, por esto decidiern no continuar, y el desconocer los resultados de la adopcin de este axioma, hizo que Bourbaki guardara silencio en cuanto a tal decisin.

27

CAMILO MATSON H.

Bibliografa
[1] Leo CORRY. Modern algebra and the rise of mathematical structures. 1996, Birkhuser, 433 pginas. [2] Alberto CAMPOS. Samuel Eilenberg. Lecturas Matemticas volumen 19, paginas (129-135). [3] Fernando BOMBAL, Nicols Bourbaki. 1988, Historia de la Matemtica en el siglo XX, paginas 313-323. [4] Artin MICHAEL. Thorie des topos et cohomologie tale des schmas. 1972, Lecture Notes Math, Tome I. [6] J. LADRIERE, Limitaciones internas de los formalismos. 1969.Tecnos, p. 27. [7] Majorie SENECHAL. The continuing silence of Bourbaki an interview whit Pierre Cartier, 1998, Math intelligencer 20, paginas 22-28. [8] Ralf KRMER. Tool and Object. A history and Philosophy of Category Theory .2007. Birkhuser, 399 pginas. [9] Ralf KRMER. LA <<MACHINE DE GROTHENDIECK >> SE FONDE-TELLE SEULEMENT SUR DES VOCABLES MTAMATHMATIQUES? BOURBAKI ET LES CATGORIES AU COURS DES ANNES CINQUANTE. 2006. Revue dhistoire des mathmatiques, paginas 119-162.

28