$\mathbb{N}^2$ kümesinin $\mathbb{N}$ kümesine sayısal olarak denk olduğunu gösteriniz. Aralarında bijektif bir fonksiyon olan kümelere sayısal olarak denk (kısaca denk) diyoruz. Bunu bu iki küme arasında bijektif bir fonksiyon bularak yapınız. Soru tam olarak bu. Fonksiyonun kuralını vermeme karşın sevgili öğrencim buraya yanlış yazmış.
$$f(x,y)=\frac{(x+y)(x+y+1)}{2}+y$$
kuralı ile verilen
$$f:\mathbb{N}^2 \rightarrow \mathbb{N}$$
fonksiyonunun bijektif olup olmadığını araştırınız.