度量集

度皿集(measured set)一種特殊的一元部分遞歸函式集.設r為一元部分遞歸函式集。

基本介紹

• 中文名：度量集
• 外文名：set of metric
• 學科領域：數學，計算機等

度皿集(measured set)一種特殊的一元部分遞歸函式集.設r為一元部分遞歸函式集，若存在遞歸函式f，使得:

1. r= {SoF})}zE}}，即r為r。集.

2. }pf<,} (x) =y是一個三元可判定謂詞(即三元遞歸謂詞).則稱屍為一個度量集.例如中為一個布魯姆測度，則全體測度函式之集{};IZE}}便是一個度量集.其實，度量集名稱正是由此而得.度量集與純正函式之間有下列關係:若屍為度量集，則必存在遞歸函式h，使r中所有函式都是h純正的.