UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE/LOGIQUE

MATHMATIQUES L1-S1

LA NOTION DE FONCTION

Soient et deux ensembles. Toute correspondance qui associe, chaque lment de , un et un seul lment de est une fonction de A dans B, note : . est l'ensemble de dpart, l'ensemble d'arrive. L'unique correspondant de dans est not . Si , on crit aussi On dit que est un antcdent de , et l'image de .

Remarque : chaque lment de

a une et une seule image dans . Mais un lment de peut ne pas avoir d'antcdent, ou en avoir plusieurs. On a nanmoins : Si chaque lment de l'ensemble d'arrive a un antcdent dans l'ensemble de dpart, la fonction est dite surjective (ou est une surjection). Si chaque lment de l'ensemble d'arrive qui a un antcdent n'en a qu'un, la fonction est injective (ou est une injection). Dans ce cas, il est quivalent de dire que deux lments distincts de l'ensemble de dpart ont des images distinctes dans l'ensemble d'arrive. Une bijection est une fonction qui est la fois surjective et injective. Exercice 1. Soit , une bijection. Montrer qu'il existe une fonction posant : pour tout , ssi . (a) Montrer que est bien une fonction. (b) Montrer que est une bijection. en

La fonction dfinie dans l'exercice 1 est appele la fonction inverse ou rciproque de f ; on la note . Une fonction a une fonction inverse ssi elle est une bijection. Clairement, et vrifient :