Les ensembles qui suivent définissent–ils une relation binaire fonctionnelle ?
Si oui, donnez un ensemble de départ qui en fasse une application, vous direz
ensuite si elle est injective, et s’il existe un choix de l’ensemble d’arrivée qui
la rende surjective.
1. {(0,1),(0,0)}
2. a,b sont deux symboles. {(0,a),(1,a),(2,b)}
3. {(x,y) ∈ ℕ² / x+y≤4}
4. A = {(x,y) ∈ ℕ² : x≥4 et y≥3}
5. B = ℕ²\A
Mes réponses :
1. Non car 0 à deux images
2. Oui c'est une relation binaire fonctionnelle
en revanche pour les questions 3 à 5 je ne vois pas comment faire ...
-----