关于跃变算子的一个定理

我们知道,都有a’》。,。全体Tu:ing-度D关于度的归约构成一个上半格。由于对任意的度于是跃变算子J:a令澎就是D到B一{b:b)汉}的一个映射。尸ri’ed。,g完全性准则证明了 产、沪产、八、碑产、以产、户J:D今B是满射。即对B中的任意元b,在D中都有一个原象a存在,使al二b。我们在本文中 产、尹尹、曰产、沪」气“‘,、产证明这个映射的每个象都有可数无穷个互不可比的原象存在。即 定理:对任意的度b)ol,存在一个递归独立序列{ai}i。。,使对一切i〔。有‘i飞一a iU‘)‘一b互1记号、定义及引理本文所需要的递归论知识可在文献〔1」,〔2]中…