Surjective

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

1 Définition formelle
2 Exemples
- 2.1 Exemple concret
- 2.2 Exemples et contre-exemples dans les fonctions réelles
3 Propriétés
4 Voir aussi

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.

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 $D f$ est l'ensemble de définition de f et si on note Y' l'image de $D f$ 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,
D_f son ensemble de définition ( c'est-à-dire l'ensemble des antécédents des éléments de F par f )
et Im_f son ensemble image ( c'est-à-dire l'ensemble des images des éléments de E par f ).

Note : Im_f est aussi l'ensemble des images des éléments de D_f par f, ou Im_f ( D_f ) = Im_f.

Alors :

si f est restreinte à D_f, 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 à Im_f, 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 à D_f et corestreinte à Im_f, 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 ⁻¹( B )) = B.

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

Démonstration

Soit f: X → Y une application surjective.

Soit B un sous-ensemble de Y.

Déjà, on a toujours que f soit surjective ou non, f(f ⁻¹(B)) est inclus dans B. En effet :

Soit y un élément de f(f ⁻¹(B))

donc il existe un élément x de f ⁻¹(B) tel que f(x)=y

comme x appartient à f ⁻¹(B) alors f(x) appartient à B

d'où y appartient à B

donc, f(f ⁻¹(B)) est inclus dans B

Montrons maintenant que B est inclus dans f(f ⁻¹(B)) :

soit y un élément de B

f étant surjective, il existe un élément x de X tel que y=f(x)

comme y appartient à B, f(x) appartient à B

c'est-à-dire x appartient à f ⁻¹(B)

d'où, f(x) appartient à f(f ⁻¹(B))

i.e y appartient à f(f ⁻¹(B))

On a donc prouvé la double inclusion :

f(f ⁻¹(B)) est inclus dans B

B est inclus dans f(f ⁻¹(B))

Donc : f(f ⁻¹(B))= 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émonstrations

Soient X, Y et Z trois ensembles et f : X→Y , g : Y→Z telles que $g \circ f$ soit surjective.

Soit z un élément de Z, puisque $g \circ f$ est surjective , il existe un élément x appartenant à X tel que : z=g[ f(x) ]

En posant y = f(x), on a bien y est un élément de Y et z=g(y)

D'où, g est surjective.

Soient X, Y et Z trois ensembles et f:X→Y , g:Y→Z telles que f et g soient surjectives.

Soit z un élément de Z.

g étant surjective, il existe un élément y appartenant à Y tel que : z=g(y)

f étant surjective, il existe un élément x appartenant à X tel que : y=f(x)

Alors, z=g[ f(x) ]

Il existe donc un élément x de X tel que $z=g\circ f (x)$

D'où, $g \circ f$ est surjective.

La composée de deux surjections est encore une surjection.

Décomposition canonique

Article détaillé : décomposition canonique dans l'article application

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

Cardinaux

Si f: X → Y 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

Ce document provient de « Surjection ».

Catégorie : Théorie des ensembles

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

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
surjective — adjective Date: 1956 onto < a set of surjective functions > … New Collegiate Dictionary
Surjective function — Onto redirects here. For other uses, see wikt:onto. A surjective function from domain X to codomain Y. The function is surjective because every point in the codomain is the value of f(x) for at least one point x in the domain. In mathematics, a… … Wikipedia
surjective — /seuhr jek tiv/, adj. Math. onto (def. 3). [1960 65; SURJECT(ION) + IVE] * * * … Universalium
surjective — adjective of, relating to, or being a surjection … Wiktionary
surjective — adj. onto, serving to map one set in a way that each element is the image of at least one element in a second set (Mathematics) … English contemporary dictionary
surjective — sur·jec·tive … English syllables
surjective — ˈjektiv adjective Etymology: French, feminine of surjectif, from sur onto + jectif (as in projectif projective) : onto herein * * * /seuhr jek tiv/, adj. Math. onto (def. 3). [1960 65; SURJECT(ION) + IVE] … Useful english dictionary
Essentially surjective functor — In category theory, a functor :F:C o D is essentially surjective if each object d of D is isomorphic to an object of the form Fc for some object c of C. Any functor which is part of an equivalence is essentially surjective … Wikipedia
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… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Surjective

Surjection

Sommaire

Définition formelle