schnappiM a écrit:Bonjour,
J'ai eu un exercice en khôlle que je n'ai pas eu le temps de faire, mais en regardant chez moi je remarque que je n'aurais pas su comment faire donc j'aurais besoin d'aide si cela est possible.
La question était de montrer que l'application f: N*N->N, (x,y) => 2^x * (2y+1) - 1 est bijective
J'imagine qu'il aurait fallu montrer qu'elle était injective et surjective à la fois mais je ne vois pas trop comment on pourrait s'y prendre car le fait qu'il y ait deux variables me perturbe, sinon on aurait pu chercher f(x)=y mais là je ne vois vraiment pas
Merci d'avance
Bonsoir,
Ici on a
 = 2^x \times (2y +1) -1)
Si x = 0, on a
 = 2y+1-1 = 2y.)
On a déjà tous les nombres pairs.
Si x > 0, on a
 = 2 \times 2^{x-1} \times (2y+1) - 1)
, toujours impairs.
Si on prend un nombre impair positif quelconque, on peut l'écrire sous la forme unique

On prend
)
La question est de savoir si cette écrire est unique.
On sait qu'un entier (pour parler de k) se décompose en un produit unique de facteurs premiers, à l'ordre près.
Cette écriture est unique, car pgcd(2,2y+1) = 1.
Donc si on prend toutes les possibilités pour la puissance de 2, et toutes pour 2y + 1 (qui réalise une bijection entre N et les impairs), on écrit bien tous les entiers.
On a la surjectivité et l'injectivité direct.
Bon, ce n'est peut-être bien bien rédigé, mais c'est l'idée.