请输入您要查询的字词:

 

单词 PrimitiveRecursiveFunctionsWithoutPrimitiveRecursion
释义

primitive recursive functions without primitive recursion


What sorts of functionsMathworldPlanetmath can be built from the simplest primitive recursive functionsMathworldPlanetmath (the initial functions) using functionalPlanetmathPlanetmathPlanetmath compositionMathworldPlanetmath alone? In this entry, we list some useful examples:

To begin with, we list the initial functions:

  1. 1.

    (zero function) z(x)=0,

  2. 2.

    (successor function) s(x)=x+1,

  3. 3.

    (projection functions) pin(x1,,xn)=xi for i=1,,n; in particular, we have the identity functionMathworldPlanetmath id(x)=x, which is just p11.

With the help of functional composition, more functions can be derived:

  1. 1.

    (additionPlanetmathPlanetmath by a fixed number n) sn(x)=x+n, which can be obtained by repeated application of the successor function s:

    sn:=sssn times,
  2. 2.

    (constant functionsMathworldPlanetmath) const1(x)=1, which is just s(z(x)); more generally, constn(x)=n is sn(z(x)), where sn is defined previously.

Next, we list some properties derivablePlanetmathPlanetmath using functional composition which are preserved by primitive recursiveness.

  1. 1.

    (permutationMathworldPlanetmath of variables) if f(x1,,xn) is primitive recursive, then so is any function g obtained from f by permuting the variables xi:

    g(x1,,xn)=f(xσ(1),,xσ(n)),

    where σ is a permutation on {1,,n};

  2. 2.

    (removing a variable) if f(x1,,xn,xn+1) is primitive recursive, then so is g defined by

    g(x1,,xn):=f(x1,,xn,xn);
  3. 3.

    (adding a variable) if f(x1,,xn) is primitive recursive, then so is g defined by

    g(x1,,xn,xn+1):=f(x1,,xn).
Proof.

All of the above can be proved by appropriately substituting the suitable projection functions:

  1. 1.

    For each i=1,,n, let hi=pσ(i)n. Then each hi is primitive recursive, and therefore g=f(h1,,hn) is primitive recursive also.

  2. 2.

    For each i=1,,n, let hi=pin, and hn+1=pnn. Then each hi is primitive, and therefore g=f(h1,,hn+1) is primitive recursive also.

  3. 3.

    For each i=1,,n, let hi=pin+1. Then each hi is primitive recursive, and therefore g=f(h1,,hn) is primitive recursive also.

As a corollary, we see that primitive recursiveness is preserved under generalized composition, in the following sense:

Corollary 1.

If gi:NkiN, where i=1,,n, and h:NnN are primitive recursive, then the function f, given by

f(x1,,xm)=h(g1(xt1(1),,xt1(k1)),,gn(xtn(1),,xtn(kn))),

where each ti is a function on {1,,ki}, and mmax{k1,,kn}, is also primitive recursive.

Proof.

Define hi(x1,,xm):=gi(xti(1),,xti(ki)). Then by repeated applications of the properties listed above, we see that hi is primitive recursive. Hence f=h(h1,,hn) is also primitive recursive. ∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 16:11:12