Trích:
Nguyên văn bởi zinxinh  Chứng minh tập $\mathbb Z\times\mathbb Z$ là tập đếm được |
Xét song ánh $\mathfrak{b}:\,\mathbb Z\to\mathbb N$ xác định bởi\[\mathfrak{b}( x ) = \left\{ \begin{array}{l}
2x&\text{nếu}\;x\ge 0\\
- 2x - 1&\text{nếu}\;x< 0.
\end{array} \right.\]
Khi đó có song ánh $\mathfrak B:\,\mathbb Z\times\mathbb Z\to\mathbb N$ xác định bởi\[\mathfrak B\left( {x,\,y} \right) = {2^{\mathfrak{b}( x)}}\left( {2\mathfrak{b}( y ) + 1} \right) - 1.\]
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]