度量集的词语属性

度量集的百科含义

度皿集(measured set)一种特殊的一元部分递归函数集.设r为一元部分递归函数集，若存在递归函数f，使得:　　1. r= {SoF})}zE}}，即r为r。集. 2. }pf<,} (x) =y是一个三元可判定谓词(即三元递归谓词).则称尸为一个度量集.例如中为一个布鲁姆测度，则全体测度函数之集{};IZE}}便是一个度量集.其实，度量集名称正是由此而得.度量集与纯正函数之间有下列关系:若尸为度量集，则必存在递归函数h，使r中所有函数都是h纯正的.