Оператор примитивной рекурсии

Пусть заданы числовые частичные функции: n -местная g и (n+2) –местная функция h. Тогда (n+1) –местная частичная функция f получается из функций g и h примитивной рекурсией, если для всех натуральных значений имеем следующие соотношения:

,

.

(Напомним, что N = 0, 1, 2, 3, …, поэтому это определение верно и для случая, когда ).

Например, одноместная частичная функция f получена примитивной рекурсией из постоянной одноместной функции, равной числу а и двуместной частичной функции h, если

,

.

Теорема 1: Для любых частичных n –местной функции g и (n+2) –местной функции h (n=0,1,2,…) существует одна и только одна частичная (n+1) –местная функция f, получаемая из g и h примитивной рекурсией.

Доказательство: Действительно, если функция f существует, то по определению последовательно находим:

,

,

……………………………………

,

и поэтому f определена однозначно. Из этих соотношений видно, что если для некоторых значение неопределенное, то и для всех значения будут также неопределенные.

Если функции g и h заданы, то приведенные равенства можно принять за определение функции f. Теорема доказана.

Из доказательства предыдущей теоремы видно, что если мы каким-то образом «умеем» находить значения функций g и h, то значения функции f можно вычислить при помощи процедуры механического характера. Для нахождения значения достаточно последовательно найти числа:

,

,

,

…………………,

.

Полученное на (m+1) -м «шаге» число и будет искомым значением функции f в точке .

Изложенный процесс вычисления будет продолжаться неограниченно только в том случае, когда неограниченным окажется процесс вычисления одного из выражений , ,…, , т.е. когда хотя бы одно из этих выражений будет иметь неопределенное значение. В этом случае и значение будет неопределенным.

Определение: Пусть задана система G каких-то частичных функций. Частичная функция f называется примитивно рекурсивнойотносительно G, если f можно получить из функций системы G и простейших функций конечным числом операций подстановки и примитивной рекурсии.

Функция f называется просто примитивно рекурсивной, если ее можно получить конечным числом операций подстановки и примитивной рекурсии, исходя лишь из простейших функций .

Операции подстановки и примитивной рекурсии, применяемые к всюду определенным функциям, дают в результате снова всюду определенные функции. Поэтому, в частности, все примитивно рекурсивные функции всюду определены.

Из определения также следует, что примитивно рекурсивные функции будут примитивно рекурсивны относительно любой системы функций.

Наконец, из определения также следует, что операции подстановки и примитивной рекурсии, примененные к частичным функциям, примитивно рекурсивным относительно какой-нибудь системы функций G, дают в результате снова функции, примитивно рекурсивные относительно G.

Согласно определению одноместные функции и многоместные функции примитивно рекурсивны.

Для n -местной функции имеем представление и поэтому - примитивно рекурсивна.

Произвольная n -местная постоянная функции допускает представление в виде терма , записанного при помощи символов примитивно рекурсивных функций и предметных переменных.

Двуместная функция удовлетворяет соотношениям:

,

.

Следовательно, функция возникает из примитивно рекурсивных функций , операцией примитивной рекурсии и поэтому функция примитивно рекурсивна.

Двуместная функция xy удовлетворяет примитивной рекурсии:

,

с начальными примитивно рекурсивными функциями

,

поэтому функция xy примитивно рекурсивна.

Рассмотрим функцию , причем будем считать, что . Соотношения , представляют собой рекурсивную схему с начальными примитивно рекурсивными функциями . Поэтому функция также примитивно рекурсивна.

В математическом анализе иногда встречается функция (сигнум или знак числа х), равная (+1) для положительных вещественных чисел х, (-1) - для отрицательных х, и 0 для чисел . Мы рассмотрим эту функцию для натуральных значений х. По определению:

Введем противоположную функцию:

Эта функция совпадает с разностью . Функции и удовлетворяют примитивным рекурсивным схемам:

Поэтому они примитивно рекурсивны.

В области натуральных чисел разность естественно считать частичной двуместной функцией от переменных , определённой лишь для , т. к. отрицательные числа не входят в рассматриваемую область. Но примитивно рекурсивные функции всюду определённые. Поэтому вместо обычной разности вводят усеченную разность, определяемую следующим образом:

В отличие от обычной разности усеченная разность в области натуральных чисел всюду определена. Функция удовлетворяет примитивно рекурсивной схеме:

с примитивно рекурсивными начальными функциями и . Поэтому функция примитивно рекурсивна. С другой стороны, из определения усечённой разности следует, что для любых имеем:

.

Это означает, что двуместная функция получается примитивной рекурсией из функций и . Обе последние функции примитивно рекурсивны. Поэтому и функция примитивно рекурсивна.

Наконец из примитивной рекурсивности функций и вытекает примитивная рекурсивность функции . Можно доказать примитивную рекурсивность ряда арифметических и других числовых функций.

Дата добавления: 2014-01-03