作业帮 > 数学 > 作业

A是自然数N的无限子集,A是递归可枚举的recursively enumerable,则A是一个N到N的严格单调递增函数

来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:数学作业 时间:2024/07/17 02:48:24
A是自然数N的无限子集,A是递归可枚举的recursively enumerable,则A是一个N到N的严格单调递增函数的值域
请问这个题目怎么证?
A是自然数N的无限子集,A是递归可枚举的recursively enumerable,则A是一个N到N的严格单调递增函数
这个函数还有什么别的限制么?如果没有的话,那么结论对自然数的任何无限子集A都成立.实际上,因为N是全序集,所以A也是.于是把A的元素作升序排列:a1