Bonjour,

Je voudrai savoir si l'affirmation suivante est vrai en dimension finie ou quelconque:
Une fonction f: X → Y est bijective si et seulement s'il existe une fonction g: Y → X telle que g\circ f soit l'application identique sur X et f\circ g soit l'application identique sur Y.

Merci d'avance pour l'aide.