Cryptomorphisme
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En mathématiques, deux objets, et plus spécialement deux systèmes d'axiomes ou leurs sémantiques sont dits cryptomorphes[réf. nécessaire] (cryptomorphic en anglais) s'ils sont équivalents mais pas de manière évidente. C'est une définition informelle, contrairement à celle de morphisme.
Histoire[modifier | modifier le code]
Le mot cryptomorphic a été créé par Garrett Birkhoff avant 1967, dans la troisième édition de son livre Lattice theory (treillis). Birkhoff n'y donne pas une définition formelle ; depuis, d'autres chercheurs de ce domaine ont alors tenté de lui donner un sens.
Utilisation dans la théorie des matroïdes[modifier | modifier le code]
Gian-Carlo Rota a popularisé le sens informel du terme avec une acception étendue dans le contexte de la théorie des matroïdes : il y a des douzaines d'approches axiomatiques des matroïdes, mais deux systèmes différents d'axiomes apparaissent souvent comme très différents.
Dans son livre Indiscrete Thoughts, Rota décrit la situation :
« Comme beaucoup d'autres grandes idées, la théorie des matroïdes a été inventée par l'un des grands pionniers américains, Hassler Whitney. Son article, qui est encore aujourd'hui la meilleure initiation sur ce sujet, révèle de manière flagrante la particularité unique de ce domaine, à savoir, la variété exceptionnelle de définitions cryptomorphes pour un matroïde, inconfortablement sans liens entre elles et exhibant des pédigrées mathématiques totalement différents. C'est comme si l'on condensait toutes les tendances des mathématiques contemporaines dans une seule structure finie, un exploit que l'on pourrait considérer a priori comme impossible, sauf que les matroïdes existent réellement. »
Bien qu'il y ait beaucoup de concepts cryptomorphes en dehors de la théorie des matroïdes et de l'algèbre universelle, le mot n'a pas connu de succès auprès des mathématiciens en dehors de ce champ. Il est néanmoins largement utilisé parmi les chercheurs en théorie des matroïdes.
Références[modifier | modifier le code]
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Cryptomorphism » (voir la liste des auteurs).
- (en) Birkhoff, G. Lattice Theory, 3e édition. American Mathematical Society Colloquium Publications, Vol. XXV. 1967.
- (en) Crapo, H. and Rota, G-C., On the foundations of combinatorial theory: Combinatorial geometries. M.I.T. Press, Cambridge, Mass. 1970.
- (en) Rota, G-C. Indiscrete Thoughts, Birkhäuser Boston, Inc., Boston, MA. 1997.
- (en) White, N. Editor. Theory of Matroids, Encyclopedia of Math and it's applications, 26. Cambridge University Press, Cambridge. 1986.
