• [^] # Re: bijection : définition

    Posté par . En réponse à la dépêche Sortie de Gnome 2.8. Évalué à 4.

    Plus précisément, les définitions sont les suivantes :

    f : A --> B est

    - injective si pour tous x, y dans A, x <> y => f(x) <> f(y)
    càd : des éléments différents ont une image différente.

    - surjective si pour tout y dans B, il existe x dans A tel que y = f(x)
    càd : f "recouvre" B. On résume ça par f(A) = B.

    Le nombre de solutions/antécédents est une conséquence de ces définition et du fait que f est une application.