Hoy en día un amigo mío me dijo un buen efecto, pero no podíamos demostrarlo. El hecho es que hay una inyección de $\mathbb{N}\times\mathbb{N}\to\mathbb{N}$ definido por la fomula $(m,n)\mapsto (m+n)^{\max\{m,n\}}$ donde $\mathbb{N}$ indica que los números naturales.
Cómo probar que este mapa es inyectiva? Debe ser primaria. Podríamos estar pasando por alto algo trivial.
Gracias!
Editar Como se señaló, no es una inyección por razones fáciles. Muchas gracias! Yo sólo era complicar las cosas. Pero lo que si nos restringimos el mapa para el conjunto de pares $(m,n)$ tal que $m>n$?