遞歸置換(recursive permutation)數論中置換概念的一種推廣。
遞歸置換(recursive permutation)數論中置換概念的一種推廣.具體地,遞歸置換是指從。到。的1-1對應遞歸函式.例如
即為遞歸置換.1(x)=x亦為遞歸置換.直觀上,遞歸置換實際上是把全體自然數能行地重新排列.由於遞歸論的研究,主要關心自然數集合的能行性,而不涉及每個自然數的特殊性(這是與通常數論的關鍵不同之處),因此,遞歸論中的絕大多數結論都不依賴於自然數以怎樣的方式排列.或者更明確地說,這些結論在遞歸置換下是不會改變的(參見“遞歸不變性”).