Co-regular集上的可计算算子  

Computable Operators on Co-regular Subsets

作　　者：邱玉文[1] 赵希顺[1] 

机构地区：[1]中山大学逻辑与认知研究所,广州510275

出　　处：《吉林大学学报（理学版）》2008年第3期397-402,共6页Journal of Jilin University:Science Edition

基　　金：国家自然科学基金(批准号:60573011)

摘　　要：Co-regular热集是Rd上的一类集合,在第二类能行性理论(简称TTE)的框架下,研究co-regular集组成的类P上若干算子的可计算性,这些算子主要包括交、并、象、原象、补集的内部运算和开集的co-regularization等.结果表明,此前提出的所有不等价表示式中,只有个别表示式对这些算子是可计算的.For co-regular subsets in metric spaces, previous work has identified twelve distinct reasonable representations and its induced computability. With respect to those basic notions we investigated the computability of natural operations on co-regular sets： union, intersection, complement, the interior of a closed set, image and pre-image under suitable classes of functions. The results show that only few of these representations are uniformly computable in the sense of rendering all those operations.

关 键 词：第二类能行性理论 co-regular集 表示式 可计算算子 

分 类 号：O141.3[理学—数学]