Comme vous le savez certainement, une application est dite surjective lorsque
.
J’utilise la notation pour désigner l’image directe par
d’une partie
de
.
Si cette notion d’image directe n’est pas claire, je vous suggère la lecture de cet article. Et pour réviser la notion d’application surjective, vous pouvez visionner cette vidéo.
Maintenant, sera dite fortement surjective lorsque
quel que soit l’intervalle
de longueur non nulle (c’est-à-dire un intervalle de
qui ne soit ni vide ni réduit à un singleton).
Existe-t-il une telle application ?
Si vous pensez que non, il vous faudra dire pourquoi. Et dans le cas contraire, vous tâcherez de produire un exemple explicite.
Une solution est disponible ici