Fonction surjective d'un ensemble vers un ensemble quotient

[David R.]

Bonjour, ma question peut sembler idiote, mais je préfère avoir l'air d'un idiot un jour plutôt que le reste de ma vie.

Je souhaite expliciter une fonction (surjective) d'un ensemble quelconque vers un ensemble quotient. Or, je veux être certain que je n'écris pas des bêtises... En effet, je sais que lorsqu'on définit une "application" d'un ensemble quotient vers un autre ensemble, il faut s'assurer que la dite "application" est correctement définie, c'est-à-dire que deux éléments équivalents ont la même image. Or, dans mon cas, l'ensemble quotient est l'ensemble d'arrivée. Je ne crois donc pas que je doive montrer que la fonction soit correctement définie. Je veux simplement m'en assurer...

Merci,
David

[Monsieur23]

Aloha,

Tu as raison :-)