Bonjour et merci d'avance pour votre aide.

Soit a : ZxN -> Q : g(m:n) = m/n+1
Si l'on démontre que cette fonction est une surjection, alors on a démontré que Q est dénombrable (car Z et N sont dénombrable et le produit cartésien de 2 ensembles dénombrables est dénombrable)

Démontrer donc que Pour tout q de Q , il existe m et n tq g(m:n) = q

Je vais donner un exemple pour expliquer mon problème pcq sinon je suis pas claire.
Disons B : Ro -> Ro : B(a) = 1/a

Surjection SSI Pour tout x de Ro , il existe y de Ro tel que :

B(y)= x
1/y = x (OK car Y forcément différent de zéro)
Y = 1/x (Existe tjs car x est de R\0)

BREF, j'exprime y en fonction de x.
Mais ici, j'ai 2 variables m et n, donc je ne peux pas exprimer m et n en fonction de q et prouver qu'ils existent toujours.

Merci d'avance