设T={(i,j,k)|i.j,k属于N}.证明T是可数的.这属于计算理论导引课程里面的知识.
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/22 00:31:05
![设T={(i,j,k)|i.j,k属于N}.证明T是可数的.这属于计算理论导引课程里面的知识.](/uploads/image/z/9848292-60-2.jpg?t=%E8%AE%BET%3D%7B%28i%2Cj%2Ck%29%7Ci.j%2Ck%E5%B1%9E%E4%BA%8EN%7D.%E8%AF%81%E6%98%8ET%E6%98%AF%E5%8F%AF%E6%95%B0%E7%9A%84.%E8%BF%99%E5%B1%9E%E4%BA%8E%E8%AE%A1%E7%AE%97%E7%90%86%E8%AE%BA%E5%AF%BC%E5%BC%95%E8%AF%BE%E7%A8%8B%E9%87%8C%E9%9D%A2%E7%9A%84%E7%9F%A5%E8%AF%86.)
设T={(i,j,k)|i.j,k属于N}.证明T是可数的.这属于计算理论导引课程里面的知识.
设T={(i,j,k)|i.j,k属于N}.证明T是可数的.这属于计算理论导引课程里面的知识.
设T={(i,j,k)|i.j,k属于N}.证明T是可数的.这属于计算理论导引课程里面的知识.
证,只要给出N²到N的单射即可f:N²→N, f(m,n)=2^m (2n+1)-1
从而可依照这一双射给出T到N的双射g g(i,j,k)=2^i [2^(j+1) (2k+1)+1 ] -1
从而证明T与N等势,即T可数