Cryptomorphisme
From Wikipedia, the free encyclopedia
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.
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.
