Définition d'une fonction

[invite371ae0af]

bonjour,

est ce que la définition de fonction ou d'application est la suivante (celle de mon cours)
On appelle application ou fonction toute correspondance f=(T,E,F) tel que pour tout y appartenant à F, il existe un unique x appartenant à E tel que y=f(x)

Parce que là c'est un peu la même chose que la bijectivité


merci de vos réponses
-----

[invite57a1e779]

La définition d'une application ou fonction est :
On appelle application ou fonction toute correspondance f=(T,E,F) (où T est un sous-ensemble du produit cartésien de E et F) telle que, pour tout x appartenant à E, il existe un unique y appartenant à F tel que (x,y) appartienne à T. On note alors y=f(x).

[invite371ae0af]

c'est ce que je me disais aussi
Pourtant pour démontrer l'implication vers la droite de l'affirmation suivante: f est une bijection ssi il existe une application g telle que gof= idE et fog=idF on utilise la définition que j'ai écrite.

Quelle est alors la démonstration pour montrer que g est une application

[invite371ae0af]

je me permet de relancer le post

[A voir en vidéo sur Futura]