Задача на метод автоморфизмов:
Покажите, что предикат $%y = x + 1$% невыразим в интерпретации $%(Z, =, f )$%, где $%f$% — одноместная функция $%x → (x + 2)$%.

задан 23 Ноя '14 14:05

изменен 24 Ноя '14 17:18

%D0%92%D0%B8%D1%82%D0%B0%D0%BB%D0%B8%D0%BD%D0%B0's gravatar image


9917

10|600 символов нужно символов осталось
2

Хорошим примером является следующий автоморфизм: $$a(n)=\begin{cases}n, &n\in2\mathbb Z;\\n+2,&n\notin2\mathbb Z.\end{cases}$$ Очевидно, $%f(x)$% сохраняется, а отношение в условии - нет, т.к. 0 переходит в 0, в 0 + 1 $%-$% в 3$%\:\neq\:$%0 + 1.

ссылка

отвечен 23 Ноя '14 14:17

изменен 23 Ноя '14 14:35

Что-то я не могу понять, почему данное в условии $%f(x)$% сохранится: пусть $%x = 0$% и автоморфизм $%a()$%, тогда
$%f(a(x)) = a(f(x))$%, пусть $%x = 0$%, тогда $%a(0) = 0$%; $%f(0) = 2$%; $%a(2) = 2$%;
$%f(0) = a(2)$%
$%0 = 2$%?

(23 Ноя '14 14:31) algogol

Что вы написали? $%f(0) = a(2)$%, $%2 = 2$% всё правильно. Почему вы решили? При нечётных $%n\;a(f(n))=a(n+2)=n+2+2=f(n+2)=f(a(n)),$% при чётных - $%a(f(n))=a(n+2)=n+2=f(n)=f(a(n)).$%

(23 Ноя '14 14:39) trongsund

Ой, заклин случился, пардон. )
Видимо, запутался из-за обозначений, которые были сначала. )

(23 Ноя '14 14:40) algogol
10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,240

задан
23 Ноя '14 14:05

показан
1325 раз

обновлен
23 Ноя '14 14:41

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru