Surjectif

Surjectif

Surjection

Diagramme sagittal d'une surjection

Une surjection est une application surjective. Une application est surjective si et seulement si tout élément de son ensemble d'arrivée a au moins un antécédent, c'est-à-dire est image d'au moins un élément de son ensemble de départ, ou encore si tout élément de son ensemble d'arrivée fait partie de son ensemble image, donc si son ensemble d'arrivée se confond avec son ensemble image.

On peut remarquer que, dans cette définition, on n'impose pas de condition aux éléments de l'ensemble de départ. La définition de la surjectivité peut ainsi être étendue sans problème aux fonctions (et même aux correspondances), mais une fonction surjective n'est une surjection que si c'est une application, c'est-à-dire si elle est définie en tout point de son ensemble de départ.

Lorsque f\, est une surjection dont l'ensemble de départ est X\, et dont l'ensemble d'arrivée est Y\,, on parle souvent de surjection de X\, sur Y\, au lieu d'application de X\, dans Y\,.

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 intercepte toute droite horizontale.

Si une surjection est aussi une injection, alors on l'appelle une bijection. En fait une bijection est une surjection injective, ou une injection surjective.

Sommaire

Définition formelle

Soit f une application de X dans Y. L'application f est dite surjective si et seulement si tout élément de l'ensemble d'arrivée Y a au moins un antécédent par f, c'est-à-dire si :

\forall y \in Y,\, \exist x \in X,\, f(x)=y

C'est-à-dire : pour tout élément y de Y, il existe au moins un élément x de X tel que f(x) = y.

Définition équivalente : f est surjective si et seulement si son ensemble image se confond avec son ensemble d'arrivée.

Exemples

Exemple concret

On considère 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, X, vers l'ensemble des chambres ,Y, (à 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.

Surjection Injection Bijection-fr.svg

rem: ici X représente l'ensemble des touristes et Y celui des chambres de l'hôtel

Exemples et contre-exemples dans les fonctions réelles

La fonction définie par

\begin{matrix}f: & \R & \rightarrow& \R\\ & x & \mapsto &x^2\\\end{matrix}

n'est pas surjective, car certains réels ne possèdent pas d'antécédent. Par exemple, il n'y a pas de réel x tel que f(x) = − 4,. Mais, si on change la définition de f en donnant comme ensemble d'arrivée R+, alors elle le devient car chaque élément y de l'ensemble d'arrivée possède au moins un antécédent, : 0 possède exactement un antécédent ,0, tous les autres réels y strictement positifs en possèdent deux \sqrt y et -\sqrt y.

La fonction définie par

\begin{matrix}f: & \R & \rightarrow &\R\\ & x & \mapsto& 2x+1\\\end{matrix}

est surjective, puisque pour tout réel arbitraire y, il existe des solutions à l'équation y = 2x + 1 d'inconnue x; une solution est x = (y − 1)/2.

La fonction définie par

\begin{matrix}g: & \R & \rightarrow &\R\\ & x & \mapsto &\cos(x)\\\end{matrix}

n'est pas surjective car les réels strictement plus grands que 1 ou strictement plus petits que -1 n'ont pas d'antécédent.

Mais la fonction définie par

\begin{matrix}h & \R & \rightarrow& [-1;1]\\ & x & \mapsto &\cos(x)\\\end{matrix}

qui possède la même expression que g, mais avec un ensemble d'arrivée qui a été restreint à l'ensemble des nombres réels compris entre -1 et 1, est surjective. En effet, pour tout réel arbitraire y de l'intervalle [-1, 1], il existe des solutions à l'équation y = cos xd'inconnue x : ce sont les réels  x=\pm \text{Arccos}(x) + 2k\pi pour tout entier relatif k

Sur ces quelques exemples, on voit qu'il est toujours possible de transformer une fonction non surjective en fonction surjective à condition de réduire la taille de son ensemble d'arrivée.

Propriétés

Réduction de l'ensemble d'arrivée

Si f est une fonction de X dans Y , si Df est l'ensemble de définition de f et si on note Y' l'image de Df par f alors l'application

 :\begin{matrix}f: & D_f & \rightarrow& Y'=f(D_f)\\ & x & \mapsto &f(x)\\\end{matrix}
est une surjection.

En d'autres termes, soient :

  • f   une fonction de E dans F,
  • Df   son ensemble de définition ( c'est-à-dire l'ensemble des antécédents des éléments de F par f )
  • et Imf   son ensemble image ( c'est-à-dire l'ensemble des images des éléments de E par f ).
Note : Imf est aussi l'ensemble des images des éléments de Df   par f, ou Imf ( Df ) = Imf.

Alors :

  • si f est restreinte à Df, c'est-à-dire si on remplace son ensemble de départ par son ensemble de définition, elle devient une fonction applicative, c'est-à-dire une application;
  • si f est corestreinte à Imf, c'est-à-dire si on remplace son ensemble d'arrivée par son ensemble image, elle devient surjective.
  • si on combine les deux restrictions, c'est-à-dire si f est restreinte à Df   et corestreinte à Imf, elle devient une application surjective, c'est-à-dire une surjection.

En résumé, le point important est que si on réduit l'ensemble d'arrivée d'une application à son ensemble image, elle devient une surjection. Il s'agit de l'action duale de la réduction de l'ensemble de départ d'une fonction à son ensemble de définition, cette dernière devenant ainsi une application.

Réciproque partielle

  • Une fonction f de X dans Y est surjective si et seulement si il existe une fonction g de Y dans X telle que f  \circ g soit égale à l'application identité sur Y. g peut être considérée comme une réciproque partielle de f.
Cette propriété s'appuie sur le fait que l'on peut toujours remonter les flèches de Y vers X . Elle est toujours vraie si Y est fini. Dans le cas contraire, il est parfois nécessaire de faire appel à l'axiome du choix.
Construction d'une fonction g
f o g = Identité dans Y

Théorème —  Si la fonction f de X dans Y est surjective et si B est un sous-ensemble de Y, alors f ( f −1( B )) = B.

Ainsi, on remarque que B peut se retrouver à partir de l'image directe de f −1( B )


Surjectivité et composée

Composée surjective : il est nécessaire que g soit surjective.
  • Si g \circ f est surjective, alors g est surjective.
  • Si f et g sont surjectives, alors g \circ f est surjective.

Les deux propriétés précédentes permettent de dire :

  • que la surjectivité de g est une propriété nécessaire mais pas toujours suffisante pour que g \circ f soit surjective,
  • et que la surjectivité de f et de g est une condition suffisante mais pas toujours nécessaire pour que g \circ f soit surjective.

Soit f une application de X dans Y.

f est surjective si et seulement si, pour toutes applications g et h de Y dans Z, g \circ f = h \circ f entraîne g = h.


Décomposition canonique

Toute application f:X\rightarrow Z peut être décomposée comme f=i\circ ss est une surjection et i une injection . Cette décomposition est unique à un isomorphisme près

Cardinaux

Si f: XY est une fonction surjective, alors l'ensemble X a au moins autant d'éléments que l'ensemble Y, au sens des cardinaux. Cette affirmation nécessite d'admettre l'axiome du choix.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Surjection ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Surjectif de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • surjectif — surjectif, ive [ syrʒɛktif, iv ] adj. • mil. XXe; d apr. injectif, bijectif ♦ Math. Application surjective (ou SURJECTION n. f. ),telle que tout élément de l ensemble d arrivée soit l image d au moins un élément de l ensemble de départ. ●… …   Encyclopédie Universelle

  • surjective — ● surjectif, surjective adjectif Application surjective d un ensemble A sur un ensemble B, application f de domaine A tel que tout élément y de B est l image par f d au moins un élément x de A. ● surjectif, surjective (expressions) adjectif… …   Encyclopédie Universelle

  • surjection — surjectif, ive [ syrʒɛktif, iv ] adj. • mil. XXe; d apr. injectif, bijectif ♦ Math. Application surjective (ou SURJECTION n. f. ),telle que tout élément de l ensemble d arrivée soit l image d au moins un élément de l ensemble de départ. ●… …   Encyclopédie Universelle

  • Algebre universelle — Algèbre universelle L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de… …   Wikipédia en Français

  • Algèbre Universelle — L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière… …   Wikipédia en Français

  • Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces …   Wikipédia en Français

  • Théorème de factorisation (de morphismes) — En mathématiques, le théorème de factorisation est un principe général qui permet de construire un morphisme d un espace quotient X / R dans un autre espace Y à partir d un morphisme de X vers Y. Sommaire 1 Le cas des ensembles 2 …   Wikipédia en Français

  • Groupe classique — En mathématiques, les groupes classiques sont différentes familles de groupes de transformations liées à l algèbre linéaire, principalement les groupes linéaires, orthogonaux, symplectiques et unitaires. Ces groupes peuvent aussi être présentés… …   Wikipédia en Français

  • GROUPES (mathématiques) - Groupes finis — Née de l’étude des groupes de permutations des racines d’équations, la théorie des groupes finis s’est développée indépendamment depuis le Traité des substitutions et des équations algébriques (1870) de Camille Jordan. Après les travaux… …   Encyclopédie Universelle

  • GÉOMÉTRIE ALGÉBRIQUE — Sous sa forme actuelle, la géométrie algébrique est une branche de l’algèbre relativement récente (cf. ALGÈBRE, DEDEKIND). Pour «comprendre» les phénomènes d’intersection des courbes et des surfaces, il s’est révélé nécessaire d’élaborer des… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”