De Jérôme Kerviel aux « Illusions perdues » de Balzac
Laisser une réponse
Archives mensuelles : juin 2016
Notion de problème universel chez Wronski
La notion de « problème universel » apparaît déjà chez Wronski où elle voisine avec celles de « loi suprême » et de « Teleiosis » dans la trinomie ou Sainte Trinité des idées de base du système. Voir ici:
Cliquer pour accéder à S0002-9904-1893-00135-3.pdf
l’article du Professeur Echols « Wronski ´s expansion »où le probleme universel est assimilé à un cas particulier de la » Loi suprême ».
Ce probleme est très clairement défini et Lagrange (pas le même que celui cité dans l’article précédent)le décrit ici (page 1) avant d’en donner la solution (fichier pdf recopié en bibliotheque de mon blog « mathesisuniversalis2.wordpress.com »):
Il existe une page Wikipedia qui explique la notion en termes d’objet initial ou final (notions duales) dans une catégorie :
https://fr.m.wikipedia.org/wiki/Problème_universel
« Par suite, demander qu’un objet soit initial le définit à isomorphisme canonique près. En d’autre termes, de telles définitions permettent de se concentrer sur l’essentiel (le comportement de l’objet défini) sans se préoccuper des détails de sa construction.
Bien entendu, une telle définition ne prouve pas l’existence de l’objet, qui doit éventuellement être prouvée par une construction. Elle ne fait que débarrasser la définition de l’objet de tout ce qui est contingent. En contrepartie, elle oblige à intégrer dans la définition les outils nécessaires et suffisants pour la manipulation de l’objet.
Quand un objet mathématique est défini de cette façon, on dit qu’il est défini par un problème universel. »
Objet initial et objet final sont deux exemples de limites d’un diagramme ( on les obtient quand on prend la limite ou la colimite du diagramme vide),voir:
https://fr.m.wikipedia.org/wiki/Limite_(théorie_des_catégories)
Où l’on signale voir le paragraphe « Définition » que réciproquement toutes les limites peuvent être vues comme des objets terminaux (donc des solutions de problèmes universels)dans une certaine catégorie , celle des cônes dans F, où F est le foncteur correspondant au diagramme dont on cherche la limite.
Wronski est le « cas » de la famille, Echols parle dans l’article cité supra de ses démêlés avec les « savants à brevets » , mais ne nous y trompons pas : c’est un génie absolu , et Balzac ne pouvait pas se tromper dans son admiration fascinée pour ce personnage « l’une des plus fortes têtes de l’Europe » et je ne pense pas que les mathématiciens ( ceux de Bourbaki et après) modernes auraient pu garder ce titre de « problème universel » s’ils n’avaient pas partagé cette admiration, surtout compte tenu de l’importance de l’idée et non plus du mot.Une idée, celle de problème universel, qui semble justement se situer au coeur des débats qui agitèrent le groupe Bourbaki dans les années 50 à propos de la théorie des catégories, qui était apparue en 1945, voire en1942.Cet article de Ralf Kromer porte justement sur ce sujet appartenant à l’histoire des idées: « La machine de Grothendieck se fonde t’elle seulement sur des vocables métamathématiques ? Bourbaki et la théorie des categories dans les années cinquante »
Cliquer pour accéder à smf_rhm_12_119-162.pdf
On y apprend plusieurs choses importantes :
-Samuel Eilenberg avait fui la Pologne très tardivement , juste avant l’invasion nazie en 1939. Il s’installa aux USA sans problème, grâce à l’aide de la communauté mathématicienne, et travailla avec Saunders Mac Lane, c’est de leurs travaux en commun qu’est issue la théorie des categories en 1942 d’abord, mais surtout en 1945 avec leur article séminal » General theory of natural équivalences ». Les idées de 1942 sont si l’on veut l’insémination, et l’article de 1945 la naissance, ou le baptême de la théorie. Eilenberg ne fut intégré au groupe Bourbaki que vers la fin des années 40. Il semble que Grothendieck grâce à un exposé qui avait été lu en son absence , alors qu’il se trouvait aux USA, avait gagné en grande partie la société des bourbakistes à la nouvelle théorie, qui entretenait des rapports étroits avec ce que Bourbaki appelait « structures » et qui forme la base du structuralisme si en vogue dans les annees 60, mais il se heurta à l’opposition d’André Weil, le mathématicien frère de Simone Weil (morte en1943, mais qui apparaît en compagnie de son frère sur certaines photos du groupe datant de 1938).Finalement ce fut ce dernier qui gagna, Bourbaki refusa d’intégrer la théorie des catégories et Grothendieck démissionna du groupe.
Il semble qu’un certain article de Pierre Samuel (membre de Bourbaki) en 1948 intitulé « on universal mapping sur and free topologie al groupes »
Balzac : une double famille
Pour en terminer (avec cette extraordinaire nouvelle) avec mes principales contributions sur Balzac sur mes blogs:
La comédie humaine 