primitive recursive functions without primitive recursion

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

To begin with, we list the initial functions:

1. (zero function) $z(x)=0$,

2. (successor function) $s(x)=x+1$,

3. (projection functions) $p_i^n(x_1,\mathrm{\dots },x_n)=x_i$ for $i=1,\mathrm{\dots },n$; in particular, we have the identity function $\mathrm{id}(x)=x$, which is just $p_1^1$.

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

1. (addition by a fixed number $n$) $s_n(x)=x+n$, which can be obtained by repeated application of the successor function $s$:

   $$s_n:=\underset{n\text{ times}}{\underbrace{s\circ s\circ \mathrm{\cdots }\circ s}},$$

2. (constant functions) ${\mathrm{const}}_1(x)=1$, which is just $s(z(x))$; more generally, ${\mathrm{const}}_n(x)=n$ is $s_n(z(x))$, where $s_n$ is defined previously.

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

1. (permutation of variables) if $f(x_1,\mathrm{\dots },x_n)$ is primitive recursive, then so is any function $g$ obtained from $f$ by permuting the variables $x_i$:

   $$g(x_1,\mathrm{\dots },x_n)=f(x_{\sigma (1)},\mathrm{\dots },x_{\sigma (n)}),$$

   where $\sigma$ is a permutation on $\{1,\mathrm{\dots },n\}$;

2. (removing a variable) if $f(x_1,\mathrm{\dots },x_n,x_{n+1})$ is primitive recursive, then so is $g$ defined by

   $$g(x_1,\mathrm{\dots },x_n):=f(x_1,\mathrm{\dots },x_n,x_n);$$

3. (adding a variable) if $f(x_1,\mathrm{\dots },x_n)$ is primitive recursive, then so is $g$ defined by

   $$g(x_1,\mathrm{\dots },x_n,x_{n+1}):=f(x_1,\mathrm{\dots },x_n).$$

Proof.

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

1. For each $i=1,\mathrm{\dots },n$, let $h_i=p_{\sigma (i)}^n$. Then each $h_i$ is primitive recursive, and therefore $g=f(h_1,\mathrm{\dots },h_n)$ is primitive recursive also.

2. For each $i=1,\mathrm{\dots },n$, let $h_i=p_i^n$, and $h_{n+1}=p_n^n$. Then each $h_i$ is primitive, and therefore $g=f(h_1,\mathrm{\dots },h_{n+1})$ is primitive recursive also.

3. For each $i=1,\mathrm{\dots },n$, let $h_i=p_i^{n+1}$. Then each $h_i$ is primitive recursive, and therefore $g=f(h_1,\mathrm{\dots },h_n)$ is primitive recursive also.

∎

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

Corollary 1.

If $g_i\mathrm{:}{\mathrm{N}}^{k_i}\mathrm{\to }\mathrm{N}$, where $i\mathrm{=}\mathrm{1}\mathrm{,}\mathrm{\dots }\mathrm{,}n$, and $h\mathrm{:}{\mathrm{N}}^n\mathrm{\to }\mathrm{N}$ are primitive recursive, then the function $f$, given by

$$f(x_1,\mathrm{\dots },x_m)=h(g_1(x_{t_1(1)},\mathrm{\dots },x_{t_1(k_1)}),\mathrm{\dots },g_n(x_{t_n(1)},\mathrm{\dots },x_{t_n(k_n)})),$$

where each $t_i$ is a function on $\mathrm{\{}\mathrm{1}\mathrm{,}\mathrm{\dots }\mathrm{,}{k}_i\mathrm{\}}$, and $m\mathrm{\ge }\max \mathit{}\mathrm{\{}{k}_{\mathrm{1}}\mathrm{,}\mathrm{\dots }\mathrm{,}{k}_n\mathrm{\}}$, is also primitive recursive.

Proof.

Define $h_i(x_1,\mathrm{\dots },x_m):=g_i(x_{t_i(1)},\mathrm{\dots },x_{t_i(k_i)})$. Then by repeated applications of the properties listed above, we see that $h_i$ is primitive recursive. Hence $f=h(h_1,\mathrm{\dots },h_n)$ is also primitive recursive. ∎

Title	primitive recursive functions without primitive recursion
Canonical name	PrimitiveRecursiveFunctionsWithoutPrimitiveRecursion
Date of creation	2013-03-22 19:08:09
Last modified on	2013-03-22 19:08:09
Owner	CWoo (3771)
Last modified by	CWoo (3771)
Numerical id	7
Author	CWoo (3771)
Entry type	Example
Classification	msc 03D20