Bonjour,
Je me posais une question, après avoir lu l'énoncé d'un exo : est-ce qu'une fonction multiforme f : E -> F, telle que tout élément de F ait au moins un antécédent par f dans E est une surjection ?
Je n'ai rien trouvé sur le net...
Merci beaucoup !
Salut,
par fonction multiforme, tu entends une fonction qui prend plusieurs valeurs?
Cette notion peut être reformulée en voyant f comme une vraie fonction E → P(F) de E dans les parties de F.
Mais je ne vois pas vraiment comment attacher la notion de surjection à une fonction multiforme.
Cordialement.
Déjà merci pour ta réponse !
oui, je parle bien de çaEnvoyé par martini_bird
Juste par le fait que tout élément de l'ensemble d'arrivée peut posséder "au moins un antécédent" par la fonction, ce qui rapelle la définition d'une surjection... non ?
De wikipédia :
Ca avait l'air de coller... je ne comprends pas bien pourquoi ça ne pourrait pas être une surjectionUne fonction f est dite surjective ( ou que c'est une surjection , s'il s'agit d'une application ) lorsque :
On pourrait facilement définir la notion de surjection ainsi je pense:
f est surjective de E dans F si pour tout élément f de F, il existe une partie X non vide de F telle que f soit dans X.
Ce qui me chiffonne, c'est que ça ne correspond pas à la surjectivité de la "vraie" fonction E → P(F).
EDIT: Croisement.
lol, et comme ça toutes les fonctions sont surjectives...
Hmm, qu'est-ce que je dois en penser ?
L'énoncé, c'était :
Soient n et p 2 entiers naturels. On suppose p < n. Quel est le nombre de surjections d'un ensemble à p éléments dans un ensemble à n éléments ?
Sur le vif j'ai répondu 0, mais en pensant aux fonctions multiformes, le doute a germé... !
OK.
Par surjection, il faut à mon avis entendre fonction (donc une seule image) surjective.
De fait, l'expression fonction multiforme relève de l'oxymore.
Sinon, sur la même page de wikipédia ou j'ai trouvé la définition, il y a écrit :
Or la réciproque d'une fonction qui n'est pas injective est bien une fonction multiforme ! Et dans cette apellation il y a bien le mot "fonction", non ? Ou alors c'est un abus de langage peut-être... (car de plus sur wikipedia il est bien question de "fonctions multiformes", comme dans l'article sur le logarithme complexe...)La correspondance réciproque d’une fonction f est une fonction ssi f est injective, et cette fonction réciproque est elle-même injective
[edit : croisement...]
Tout deviendrait plus clair dans ce cas... !De fait, l'expression fonction multiforme relève de l'oxymore.
Merci!
Oui, c'est un abus de langage hérité de temps immémoriaux.
Les anciens distinguaient les fonctions univoques (nos vraies fonctions) des fonctions multiformes.
Aujourd'hui, la notion de fonction multiforme est désuette, mais demeure (hélas) dans le langage pour désigner une fonction non univoque (encore une absurdité).
Même pour le logarithme complexe, on préfère parler de revêtements.
EDIT: croisement.
Oui en effet, je me suis trompé dans ce que je voulais dire:lol, et comme ça toutes les fonctions sont surjectives...
f (multiforme) est (serait) surjective de E dans H, si pour tout élément h de H, il existe une partie Xh de H contenant h et un élément e de E telle que f(e)=Xh.
Ca aurait du sens,
A+
En d'autre termes, f : E → P(F) est pseudo-surjective (j'invente le nom pour éviter la confusion) si F est contenu dans la réunion des f(x), x
Pourquoi pas, mais c'est une notion bien distincte de la surjectivité de f.
Disons que si f est surjective, alors f est pseudo surjective (avec tes définitions).
Evidemment, on aurait pas l'inverse.
Avec cette définition, on aurait alors par exemple, que la racine carrée est "pseudo surjective", et également injective.
