Опубликован: 16.03.2007 | Уровень: профессионал | Доступ: платный
Лекция 5:

Теорема о неподвижной точке

< Лекция 4 || Лекция 5: 123 || Лекция 6 >

Неподвижная точка с параметром

Если преобразователь программ вычислимо зависит от некоторого параметра, то и неподвижную точку можно выбрать вычислимо зависящей от этого параметра. Точный смысл этого утверждения таков:

Теорема 28. Пусть U главная универсальная функция для класса вычислимых функций одного аргумента, а h всюду определенная вычислимая функция двух аргументов. Тогда существует всюду определенная вычислимая функция n одного аргумента, которая по любому p указывает неподвижную точку для функции hp, так что Uh(p,n(p))=Un(p), или, другими словами,

U(h(p,n(p)),x) = U (n(p),x)

при всех p и x (как обычно, обе части могут быть одновременно не определены).

Мы видели, что неподвижная точка строится конструктивно. Поэтому если мы ищем неподвижную точку для функции hp, вычислимо зависящей от параметра p, то и результат нашего построения будет вычислимо зависеть от параметра p.

Конечно, можно было бы формально записать рассуждение, реализующее этот план, но оно довольно громоздко (и вряд ли от этого доказательство станет более понятным).

В этой теореме мы предполагали, что семейство функций hp состоит из всюду определенных функций. На самом деле это не обязательно: для произвольного вычислимого семейства вычислимых функций hp (другими словами, для произвольной вычислимой функции h двух аргументов) существует всюду определенная вычислимая функция n одного аргумента с таким свойством: при каждом p либо функция hp не определена в точке n(p), либо n(p) является неподвижной точкой функции hp.

  38. Убедитесь, что приведенная в доказательстве теоремы 28 конструкция как раз и дает функцию n(p) с таким свойством.

  39. Объединяя сделанные выше замечания, покажите, что по любой вычислимой функции h (заданной своим номером относительно фиксированной главной универсальной функции) можно эффективно указать бесконечно много чисел, каждое из которых либо будет неподвижной точкой для функции h, либо точкой, где эта функция не определена.

Неподвижная точка для перечислимых множеств

Все сказанное почти без изменений переносится на главные нумерации перечислимых множеств (если W главное универсальное перечислимое множество, то всякая вычислимая всюду определенная функция h имеет неподвижную точку n, для которой Wn=Wh(n) ).

В самом деле, если W главное универсальное перечислимое множество, то к отношению эквивалентности

a \equiv  b \Leftrightarrow  W_{a} = W_{b}

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

Проверим это. Для этого рассмотрим множество

V = \{ \langle p,x\rangle\mid \text{$f(p)$ определено и $\langle f(p), x\rangle \in W$}\}.

Легко понять, что это множество перечислимо (например, оно есть область определения вычислимой функции \langle p,x\rangle\hm\mapsto
w(f(p),x), где w вычислимая функция с областью определения W ). При этом Vp=Wf(p), если f(p) определено, и V_{p}=\varnothing, если f(p) не определено. Вспоминая, что W является главным универсальным множеством, мы находим всюду определенную функцию s, для которой Vp=Ws(p). Таким образом, Ws(p)=Wf(p) для тех p, для которых f(p) определено, что и требовалось.

  40. Пусть W главное универсальное множество (для класса всех перечислимых подмножеств натурального ряда). (а) Покажите, что найдется число x, для которого Wx={x}. (б) Покажите, что найдутся различные числа x и y, для которых Wx={y} и Wy={x}.

Пример использования

Простейшее (хотя не очень типичное) применение теоремы о неподвижной точке еще одно доказательство теоремы 21 о неразрешимости свойств вычислимых функций. В самом деле, пусть есть нетривиальное свойство \calA вычислимых функций, которое можно распознавать по номерам функций в главной нумерации U. Пусть p какой-то номер какой-то функции Up, обладающей этим свойством, а q какой-то номер какой-то функции Uq, им не обладающим. Тогда функция

h(x)=\left\{
        \begin{aligned}
           &q,\text{ если функция~$U_x$ обладает свойством~$\calA$,}\\
           &p,\text{ если функция~$U_x$ не обладает свойством~$\calA$}
        \end{aligned}
     \right.

будет вычислимой и не будет иметь неподвижной точки.

Изоморфизм универсальных множеств

Пусть U1 и U2 два множества пар натуральных чисел. Мы будем называть их вычислимо изоморфными, если можно найти вычислимую перестановку (биекцию) i : N -> N с таким свойством:

\langle x,y\rangle \in U_1 \Leftrightarrow \langle i(x),i(y)\rangle \in U_2.

Теорема 29. Любые два главных универсальных множества для класса перечислимых подмножеств натурального ряда вычислимо изоморфны.

Для начала объясним разницу между этой теоремой и теоремой об изоморфизме главных нумераций перечислимых множеств. Там мы применяли вычислимую перестановку только к номерам, но не к элементам множеств. В теперешних обозначениях теорему об изоморфизме главных нумераций можно записать так:

\langle x,y\rangle \in U_1 \Leftrightarrow \langle i(x),y\rangle \in U_2.

Заметим, что вычислимая перестановка по второму аргументу сохраняет универсальность: если U \subset  N^{2} главное универсальное множество, а i : N -> N вычислимая перестановка, то множество пар \langle x,y\rangle, для которых \langle
x, i(y)\rangle\hm\in U, также является главным универсальным множеством. Поэтому из теоремы об изоморфизме главных нумераций перечислимых множеств можно вывести такое следствие: для всякой вычислимой перестановки i найдется такая вычислимая перестановка i', что

\langle x,y\rangle \in U_1 \Leftrightarrow \langle i'(x), i(y)\rangle \in U_2.

Если нам повезло и i' совпало с i, то перестановка i будет требуемой. Мы хотим заменить везение ссылкой на теорему о неподвижной точке. На этом пути есть несколько препятствий, но все они преодолимы и мы сейчас коротко опишем, как.

Прежде всего надо вспомнить доказательство теоремы об изоморфизме главных нумераций и понять, что функция i' (ее номер) алгоритмически строится по функции i. Далее мы хотим сослаться на теорему о неподвижной точке, но проблема в том, что это построение работает только для случая, когда функция i является биекцией. Поэтому мы должны модифицировать конструкцию из теоремы об изоморфизме так, чтобы она была применима ко всякой вычислимой функции i и всегда давала бы какую-то биекцию i' ; тогда неподвижная точка автоматически будет биекцией.

Сформулируем соответствующее обобщение теоремы об изоморфизме главных нумераций. Дадим предварительно одно вспомогательное определение. Пусть I : N -> N произвольная функция. Будем говорить, что множество A I -соответствует множеству B, если либо B есть образ A при отображении I, либо A есть прообраз B при этом отображении. (Если I биекция, эти свойства равносильны.)

Пусть U1 и U2 произвольные главные нумерации перечислимых множеств, а I : N -> N вычислимая функция. Тогда существует такая вычислимая биекция i' : N -> N, что при любом k множество с номером k в нумерации U1 I -соответствует множеству с номером i'(k) в нумерации U2.

Это обобщение теоремы об изоморфизме главных нумераций доказывается так же, как и сама теорема, и номер функции i' может быть эффективно получен по номеру функции I. Это позволяет применить описанный план и найти биекцию I, при которой i'=I, что и требовалось.

  41. Проведите это рассуждение подробно.

Аналогичная теорема верна и для главных универсальных функций.

Теорема 30. Пусть F1,F2 : N -> N две главные универсальные функции для вычислимых функций одного аргумента. Тогда найдется такая вычислимая перестановка i, что

F_{1}(x,y)=z \Leftrightarrow  F_{2}(i(x),i(y))=i(z)

для любых натуральных x, y и z.

  42. Проведите доказательство этой теоремы по аналогии с предыдущей, используя теорему Роджерса об изоморфизме главных нумераций (теорема 23).

  43. Докажите, что в любом разумном (задающем главную нумерацию) языке программирования существует последовательность различных программ p0,p1,p2, ... с таким свойством: программа pi печатает программу pi+1. (Указание: используйте предыдущую задачу.)

< Лекция 4 || Лекция 5: 123 || Лекция 6 >
Жансерик Амзеев
Жансерик Амзеев
Казахстан, Алматы
Виталий Федоров
Виталий Федоров
Россия, Ярославская область