Bonjour On definit Je cherche a monter que la fonction definie par est injective Merci d'avance pour vos remarques
Bonjour. Soit x et y deux réels différents. Alors x<y ou y<x; dans le deuxième cas, on échange les noms x et y. Comme x<y, il existe un rationnel q0 tel que x<q<y. Etc.