丢番图集 Diophantine set
(重定向自Diophantine relation)
若有一些整系数多项式,存在整数x_1,...,x_k使得
(一个丢番图方程)若且唯若整数多元组
属于集
,则称
为丢番图集。这可以写成
因为拉格朗日四平方和定理,可以将上述定义中的「整数」限制为「非负整数」。
例如:因为若是正整数,
成立时,
必是斐波那契数,因此所有斐波那契数的集是丢番图集。
1970年,马蒂雅谢维奇定理被证明。它说明一个集是丢番图集若且唯若它是递归可枚举集合,解决了希尔伯特第十问题。
有许多集都可以表示为丢番图集,包括质数集。
若有函数,使得
为丢番图集,则称
为丢番图函数。