Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Главные универсальные функции и множества




 

Определение 6.2.1. Универсальная функция U двух натуральных аргументов называется главной универсальной функцией, если для любой вычислимой функции V существует всюду определенная вычислимая функция s(m), для которой V(m, x)=U(s(m), x) при всех m и x (значения V и U либо оба не определены, либо определены и равны).

Теорема 6.2.1. Существует главная универсальная функция.

Доказательство. Зафиксируем некоторое взаимнооднозначное соответствие , обозначая номер пары (u, v) через [ u, v ] ((u, v)«[ u, v ]).

Пусть далее R(x,y) – вычислимая универсальная функция для вычислимых функций одной переменной. Положим T(n, u, v) = R(n, [ u, v ] ).

Если V(u, v) – произвольная вычислимая функция двух аргументов, то функция f([u, v]) = V(u, v) – вычислимая функция одного аргумента, и поскольку R(x,y) – универсальна, то найдется число n, для которого R(n, x)=f(x) для любых x. Для этого n выполнены равенства

T(n, u, v) = R(n, [ u, v ] )=f( [ u, v ] )=V(u, v).

Определим U([n, u], v)=T(n, u, v). Тогда согласно предыдущим рассуждениям для произвольной вычислимой функции двух аргументов V(u, v) можно найти число n, для которого V(u, v)=T(n, u, v)=U([n, u], v) для всех u и v. Полагая s(u) =[ n,u ], имеем V(u, v)=U(s(u), v)).

¨Теорема доказана.

Теорема 6.2.2. Пусть U(u, v) – главная универсальная функция для класса вычислимых функций одного аргумента. Тогда существует всюду определенная функция c(p, q) такая, что U(c(p, q), x)=U(p, U(q, x)) для всех p, q и x.

Доказательство. Положим V( [ p, q ], x)=U(p, U(q, x)). По определению главной универсальной функции найдется такая всюду определенная вычислимая функция одного аргумента s(m), что V(m, x)=U(s(m), x)) для всех m и x.

Тогда функция c(p, q)= s( [ p, q ] ) будет искомой.

¨Теорема доказана.

Теорема 6.2.3. Пусть U(u, v) – универсальная функция для класса вычислимых функций одного аргумента. Если существует всюду определенная функция c(p, q) такая, что U(c(p, q), x)=U(p, U(q, x)) для всех p, q и x, то функция U(u, v) является главной универсальной функцией.

Определение 6.2.2. Перечислимое множество называется главным универсальным перечислимым множеством (для класса всех перечислимых подмножеств N), если для любого другого перечислимого множества найдется такая всюду определенная функция s: N®N, что для всех n, x

(n, x)ÎV Û (s(n), x) ÎW.

Теорема 6.2.3. Существует главное универсальное перечислимое множество .

Доказательство. Пусть U(u, v) – главная универсальная функция для класса вычислимых функций одного аргумента, W – ее область определения. Пусть далее – произвольное перечислимое множество. Тогда найдется вычислимая функция G(u, v) с областью определения V. Так как функция U(u, v) – главная универсальная функция, то найдется такая всюду определенная вычислимая функция s(n): N®N, что G(n,x)=U(s(n), v) для всех n, x. Это означает, что (n, x)ÎV Û (s(n), x) ÎW.

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

¨Теорема доказана.

Теорема 6.2.4. Пусть – главное универсальное перечислимое множество, Wn= { x: (n, x)ÎW }. Тогда существует такая вычислимая, всюду определенная функция s(m, n), что Ws(m, n)=WmÇWn.

Для доказательства теоремы необходимо определить множество V= {([ m, n ], x): xÎWmÇWn, [ m, n ] – номер пары}, а затем воспользоваться определением главного универсального множества.





Поделиться с друзьями:


Дата добавления: 2014-01-06; Просмотров: 413; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.011 сек.