Analyse/Fonctions

Un livre de Wikibooks.

Mathématiques > Fonctions

Puzzle.svg
Ébauche

Cette page est considérée comme une ébauche à compléter. Si vous possédez quelques connaissances sur le sujet, vous pouvez les partager en éditant dès à présent cette page (en cliquant sur le lien « modifier »).

Ressources suggérées : Aucune (vous pouvez indiquer les ressources que vous suggérez qui pourraient aider d'autres personnes à compléter cette page dans le paramètre « ressources » du modèle? engendrant ce cadre)


Sections

[modifier] Présentation

[modifier] Définitions

[modifier] Définitions de base

Soient E et F deux ensembles.

On appelle graphe de E vers F toutes parties de E \times F. On appelle correspondance de E vers F le triplet (Γ,E,F), où Γ est un graphe de E vers F, E l'ensemble de départ et F l'ensemble d'arrivée.

On nomme ensemble de définition de la correspondance l'ensemble : \left\{ {x|x \in E\;{\rm et }\exists y,(x,y) \in \Gamma } \right\} Cet ensemble est vide si, et seulement si, Γ est vide.

On appelle graphe fonctionnel de E vers F, tout graphe Γ de E vers F, vérifiant la relation suivante : \forall x \in E,\left\{ {y|y \in F\;{\rm et }(x,y) \in \Gamma } \right\} = \emptyset {\rm   ou }\left\{ a \right\}

On appelle application, ou fonction, de E vers F, toute correspondance de E vers F dont le graphe est un graphe fonctionnel et dont E est le domaine de définition

On écrira par convention : f:E \to F. L'ensemble f(E) est appelé image de f, noté également Imf. ATTENTION : il ne faut pas confondre f(x) qui est un élément de F, et f élément de E \times F

[modifier] Application composée

Soit E,F,F des ensembles et f:E \to F, g:F \to G. On appelle composée des applications g et f, et on note g \circ f, l'application h:E \to G, telle que h(x) = g(f(x)) pour tout x \in E. La composition est associative d'où : (h \circ g) \circ f = h \circ (g \circ f). On note alors h \circ g \circ f

[modifier] Caractéristiques

Soit f:E \to F une application.

1) f est injective si et seulement si \forall x \in E,\forall y \in E,x \ne y \Rightarrow f(x) \ne f(y)
2) f est surjective si et seulement si \forall y \in F,\exists x \in E,f(x) = y
3) f est bijective si 1) et 2) sont vérifié

On parle éventuellement de permutation de E pour une bijection lorsque l'ensemble est fini.