跳跃逆定理

跳跃逆定理(jump inversion theorem)是数学领域中的一个定理。 跳跃逆定理(jump inversion theorem)跳跃算子逆像存在定理.跳跃算子是}}`}()0')的映射一个重要的问题是:该映射是否为满射?弗里德贝格(Friedberg，R. M.)最早对该问题给出了肯定的回答.他证明了弗里德贝格跳跃逆定理:任给不可解度。)0'，存在度a，使得a'=a U 0'=c.库拍( Cooper ， S. B.)进一步证明了以下更强的结论:任给不可解度。> 0'，存在极小度m，使得m'=mU0'=c.而对于re度的跳跃，萨克斯((Sacks，G. E.)证明了萨克斯跳跃定理:任给不可解度b，c，若b，0'，且b相对0're ， 0<c镇0'，则存在非递归re度a，使得a'=b，且。袭a.跳跃逆定理表明r。