Xem bài viết đơn
Old 18-02-2018, 02:05 PM   #2
Thụy An
+Thành Viên+
 
Tham gia ngày: Oct 2017
Bài gởi: 73
Thanks: 1
Thanked 52 Times in 37 Posts
Trích:
Nguyên văn bởi zinxinh View Post
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]
 
Thụy An is offline   Trả Lời Với Trích Dẫn
The Following User Says Thank You to Thụy An For This Useful Post:
zinxinh (18-02-2018)
 
[page compression: 8.02 k/9.11 k (12.00%)]