度量集
更新时间：2024-09-19 21:08:54
度量集的词语属性
拼音dù liàng jí
拼音字母du liang ji
拼音首字母dlj
度量集的百科含义
度皿集(measured set)一种特殊的一元部分递归函数集.设r为一元部分递归函数集，若存在递归函数f，使得: 1. r= {SoF})}zE}}，即r为r。集. 2. }pf<,} (x) =y是一个三元可判定谓词(即三元递归谓词).则称尸为一个度量集.例如中为一个布鲁姆测度，则全体测度函数之集{};IZE}}便是一个度量集.其实，度量集名称正是由此而得.度量集与纯正函数之间有下列关系:若尸为度量集，则必存在递归函数h，使r中所有函数都是h纯正的.