Bonjour, je m’intéresse à cette fonction Mapsto (en Latex le nom du symbole est "\mapsto", le symbole inverse est "\mapsform", et comme je ne l'ai jamais entendue nommée en elle même, à part "associe à" ou "a pour image" ce qui est pas un super nom, je la nomme Mapsto) fondamentalement différente de toutes les autres que je connais jusqu'à présent :
Cette fonction qui donne par exemple, soit f dans le cas précis, que l'on note d'habitude
.
Elle m'intrigue parce que c'est une fonction de noms, c'est assez étrange, ce que l'on donne comme "arguments" ce sont des noms et pas ce que désigne les noms, c'est essentiellement différent. D'habitude quand on dit "f(x)" x désigne quelque chose et c'est l'application de la fonction de ce quelque chose ; mais là Mapsto(x,f(x)) , le x ne désigne pas ce à quoi il se rapporte, mais le nom lui même, enfin c'est très étrange, et c'est la question : Qu'est-ce qu'on peut dire de cette fonction bien étrange ? Une métafonction ? Je ne sais pas.
Est-ce qu'on peut en trouver d'autres de ce type ?
Si vous avez des informations à ce sujet, je serais ravis de vous "entendre" là dessus. Bonne journée.
-----