【度量集】的繁体字: 度量集
【度量集】的读音为 dù liàng jí,无声调拼音为 du liang ji,简拼为 DLJ
【度量集】的笔画分别为9画、12画、12画,部首分别为广部、里部、隹部。
【分字繁体字】度的繁体字 量的繁体字 集的繁体字
度皿集(measured set)一种特殊的一元部分递归函数集.设r为一元部分递归函数集,若存在递归函数f,使得: 1. r= {SoF})}zE}},即r为r。集. 2. }pf<,} (x) =y是一个三元可判定谓词(即三元递归谓词).则称尸为一个度量集.例如中为一个布鲁姆测度,则全体测度函数之集{};IZE}}便是一个度量集.其实,度量集名称正是由此而得.度量集与纯正函数之间有下列关系:若尸为度量集,则必存在递归函数h,使r中所有函数都是h纯正的.