Surjection

Infos
Une fonction f : X\rightarrow Y est dite surjective ou est une surjection si pour tout y dans l'ensemble d'arrivée Y, il existe au moins un élément x de la source X tel que f(x) = y. On dit alors que tout élément y de Y admet au moins un antécédent x (par f). De façon équivalente, on dit que f est surjective si l'image directe f\star(D_f) est égale à l'ensemble d'arrivée Y, avec Df l'ensemble de définition de f. Quand X et Y sont tous les
Surjection

Une fonction f : X\rightarrow Y est dite surjective ou est une surjection si pour tout y dans l'ensemble d'arrivée Y, il existe au moins un élément x de la source X tel que f(x) = y. On dit alors que tout élément y de Y admet au moins un antécédent x (par f). De façon équivalente, on dit que f est surjective si l'image directe f\star(D_f) est égale à l'ensemble d'arrivée Y, avec Df l'ensemble de définition de f. Quand X et Y sont tous les deux égaux à la droite réelle \mathbb R, alors une fonction surjective f : \mathbb R\rightarrow \mathbb R a un graphe qui intersecte toute droite horizontale. Si une surjection est aussi une injection, alors on l'appelle une bijection.

Définition formelle

Soit f une application de E dans F. f est dite surjective si et seulement si \forall y \in F, \, \exist x \in E, \, f(x)=y

Exemple concret

Prenons le cas d'une station de vacances où un groupe de touristes doit être logé dans un hôtel. Chaque façon de répartir ces touristes dans les chambres de l'hôtel peut être représentée par une application de l'ensemble des touristes vers l'ensemble des chambres (à chaque touriste est associée une chambre).
- Les touristes souhaitent que l'application soit injective, c'est-à-dire que chacun d'entre eux ait une chambre individuelle. Cela n'est possible que si le nombre de touristes ne dépasse pas le nombre de chambres.
- L'hôtelier souhaite que l'application soit surjective, c'est-à-dire que chaque chambre soit occupée. Cela n'est possible que s'il y a au moins autant de touristes que de chambres.
- Ces desiderata ne sont compatibles que si le nombre de touristes est égal au nombre de chambres. Dans ce cas, il sera possible de répartir les touristes de telle sorte qu'il y en ait un seul par chambre, et que toutes les chambres soient occupées : l'application sera alors à la fois injective et surjective ; on dira qu'elle est bijective. Image:surinbijection.jpg

Exemples et contre-exemples

Fonctions sur les réels: : f : \mathbb R\rightarrow \mathbb R : f(x) = x² n'est pas surjective, car il n'y a pas de x tel que f(x) = -4, par exemple. En revanche, si on change la définition de f en donnant son ensemble d'arrivée comme étant R+, alors elle le devient. Considérons la fonction f : \mathbb R\rightarrow \mathbb R définie par f(x) = 2x + 1. Cette fonction est surjective, puisque pour tout réel arbitraire y, nous pouvons trouver des solutions de l'équation y = 2x + 1 d'inconnue x; une solution est x = (y − 1)/2. En revanche, la fonction g : \mathbb R\rightarrow \mathbb R définie par g(x) = (cos x)2 n'est pas surjective, parce que (par exemple) il n'existe pas de réel x tel que (cos x)2 = -1. D'autre part, si nous définissons la fonction h : \mathbb R\rightarrow \mathbb par la même relation que g, mais avec un ensemble d'arrivée qui a été restreint à l'ensemble des nombres réels compris entre 0 et 1, alors la fonction h est surjective. Cela s'explique par le fait que, pour tout réel arbitraire y de l'intervalle , nous pouvons trouver des solutions de l'équation y = (cos x)2 d'inconnue x qui sont par exemple x = Arccos(√y) ou x = Arccos(−√y).

Propriétés

- Une fonction f: X → Y est surjective si et seulement si il existe une fonction g: Y → X telle que f ∘ g soit égale à l'application identité sur Y. (cette proposition est équivalente à l'axiome du choix.)
- Une fonction est bijective si et seulement si elle est à la fois surjective et injective.
- Si f ∘ g est surjective, alors f est surjective.
- si f et g sont toutes les deux surjectives, alors f ∘ g est surjective.
- f: X → Y est surjective si et seulement si, pour toutes fonctions données g, h:Y → Z, lorsque g ∘ f = h ∘ f, alors g = h. En d'autres termes, les fonctions surjectives sont précisément les épimorphismes dans les catégories d'ensembles.
- Si f: X → Y est surjective et B est un sous-ensemble de Y, alors f(f −1(B)) = B. Ainsi, B peut se retrouver à partir de l'image directe de f −1(B).
- Toute fonction h: X → Z peut être décomposée comme h = g ∘ f pour une surjection f et une injection g convenables. Cette décomposition est unique à un isomorphisme près, et f peut être considérée comme fonction prenant les même valeurs que h mais avec son ensemble d'arrivée restreint à l'image de h, h(X), qui est seulement un sous-ensemble de l'ensemble d'arrivée Z de h.
- Si f: X → Y est une fonction surjective, alors X a au moins autant d'éléments que Y, au sens des cardinaux. (cette proposition est aussi équivalente à l'axiome du choix.)

Voir aussi

- Bijection
- Injection (mathématiques) catégorie:Théorie des ensembles bg:Сюрекция de:Surjektivität en:Surjective function es:Función sobreyectiva fi:Surjektio io:Surjektio it:Funzione suriettiva ja:全射 ko:전사 함수 nl:Surjectie oc:Subrejeccion pl:Funkcja "na" pt:Função sobrejectiva ru:Сюръекция sl:Surjektivna preslikava sv:Surjektiv uk:Сюр'єкція
Sujets connexes
Antécédent (mathématiques)   Application identité   Axiome du choix   Bijection   Ensemble d'arrivée   Ensemble de définition   Image directe   Injection (mathématiques)   Isomorphisme   Nombre cardinal   Nombre réel   Sous-ensemble   Théorie des catégories  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^