Antécédent (Mathématiques)

Antécédent (mathématiques)

Pour les articles homonymes, voir Antécédent.

Sommaire

1 Définition
- 1.1 Exemples
2 Image d'un ensemble par une application
3 Injections, surjections, bijections
4 Voir aussi

Définition

En mathématiques, étant donnés deux ensembles non vides E, F et une application $\ f : E \to F$ , on appelle antécédent (par f) d'un élément y de F tout élément x de E tel que $\ f (x) = y$ .

Un antécédent est donc, par définition, un élément de l'image réciproque $\ f^{-1}(\{y\})$ .

Exemples

Soient la fonction $\ f : \R \to \R,\, x \mapsto x^2$ et y un réel.

Si y > 0, y admet deux antécédents, qui sont $\ \sqrt{y}$ et $\ -\sqrt{y}$

Si y = 0, y admet un seul antécédent, qui est 0

Si y < 0, y n'admet aucun antécédent

Soient E un ensemble non vide, et une application $\ f : E \to \mathcal{P}(E)$ , où $\ \mathcal{P}(E)$ désigne l'ensemble des parties de E. On définit $\ Y = \{x \in E\, /\, x \notin f(x)\}$ : Y est une partie de E, autrement dit un élément de l'ensemble $\ \mathcal{P}(E)$ .

Cet élément n'admet aucun antécédent par f. En effet, supposons qu'un tel antécédent $\ x_0 \in E$ existe. On a donc $\ f (x_0) = Y$ .

Deux cas sont possibles :

$\ x_0 \in Y$ , ce qui veut dire (par définition de Y) que $\ x_0 \notin f(x_0)$ , ou $\ x_0 \notin Y$

$\ x_0 \notin Y$ , ce qui veut dire (par définition de Y) que $\ x_0 \in f(x_0)$ , ou $\ x_0 \in Y$

Dans les deux cas, on aboutit à une contradiction, ce qui prouve par l'absurde que Y n'a pas d'antécédent (cf. l'argument de la diagonale de Cantor).

Image d'un ensemble par une application

Soient une application $\ f : E \to F$ et A un sous-ensemble de E. On appelle image de A par f l'ensemble des éléments y de F qui admettent au moins un antécédent appartenant à A ; on la note $\ f (A)$ :

$\ f (A) = \{y \in F\,/\, \exists\, x \in A, y = f(x)\}$ .

En particulier, l'image de E par f, appelée image de f, est l'ensemble des éléments y de F qui admettent au moins un antécédent :

$\ f (E) = \{y \in F\,/\, \exists\, x \in E, y = f(x)\}$ .

Injections, surjections, bijections

Soit une application $\ f : E \to F$ .

On dit que f est injective, ou que c'est une injection, si tout élément de F admet au plus un antécédent.
On dit que f est surjective, ou que c'est une surjection, si tout élément de F admet au moins un antécédent, c'est-à-dire si

$\ f (E) = F$ .

On dit que f est bijective, ou que c'est une bijection, si tout élément de F admet un antécédent et un seul, c'est-à-dire si f est à la fois injective et surjective.

Dans ce cas, on peut définir l'application $\ f^{-1} : F \to E, y \mapsto x$ , où x est l'unique antécédent de y par f. C'est aussi une bijection, dite réciproque de f.

(l'exemple vu plus haut montre qu'il n'existe aucune application surjective $\ f : E \to \mathcal{P}(E)$ ).

Voir aussi

Ce document provient de « Ant%C3%A9c%C3%A9dent (math%C3%A9matiques) ».

Catégorie : Théorie des ensembles

Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

Antecedent (mathematiques) — Antécédent (mathématiques) Pour les articles homonymes, voir Antécédent. Sommaire 1 Définition 1.1 Exemples 2 … Wikipédia en Français
Antécédent (mathématiques) — Pour les articles homonymes, voir Antécédent. En mathématiques, étant donnés deux ensembles E, F et une application , on appelle antécédent (par f) d un élément y de F tout élément dont l image par f est y, c est à dire tout élément x de E tel… … Wikipédia en Français
antécédent — antécédent, ente 1. (an té sé dan, dan t ) adj. Qui précède dans l ordre des temps. Des actes antécédents annulent celui ci. ÉTYMOLOGIE Antecedens, de ante, avant (voy. ains), et cedere, aller (voy. céder) ; provenç. anteceden ; … Dictionnaire de la Langue Française d'Émile Littré
Antecedent — Antécédent Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français
Antécédent — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Antécédent », sur le Wiktionnaire (dictionnaire universel) Le mot antécédent peut avoir plusieurs… … Wikipédia en Français
ANTÉCÉDENT, ENTE — adj. Qui précède dans l’ordre du temps. Les actes antécédents. Les procédures antécédentes. Il est très souvent employé comme nom masculin. Cet homme a de fâcheux antécédents, Ses actions, sa conduite antérieure sont blâmables. En termes de… … Dictionnaire de l'Academie Francaise, 8eme edition (1935)
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Application (mathématiques) — Pour les articles homonymes, voir Application. Pour les applications des mathématiques à d autres domaines, voir « Mathématiques appliquées » … Wikipédia en Français
Application (Mathématiques) — Pour les articles homonymes, voir Application. Graphique d une fonction … Wikipédia en Français
Application (mathematiques) — Application (mathématiques) Pour les articles homonymes, voir Application. Graphique d une fonction … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Antécédent (Mathématiques)