Здравствуйте. Дано множество А = {x<->y}. проверить равенство < A > = T1, где < A > - замыкание множества, а Т1 - класс функций, сохраняющих единицу. Если возможно, с объяснением. Спасибо

задан 2 Дек '18 18:52

изменен 2 Дек '18 19:02

@burn_jacks: эквиваленция линейна, поэтому её замыкание содержится в классе линейных функций. Поэтому A не равно T1, так как в T1 есть нелинейные функции (пример: конъюнкция).

(2 Дек '18 22:28) falcao

@falcao: спасибо, я так и рассуждал (построил таблицу по классам Поста), но не мог сформулировать последнее предложение :) гран мерси

(2 Дек '18 22:42) burn_jacks

@burn_jacks: на всякий случай добавлю ещё одну вещь. Класс T0 состоит из всех полиномов Жегалкина с нулевым свободным членом. Поэтому он является замыканием системы {x+y,xy} из прямой суммы и конъюнкции. Класс T1 состоит из всех функций, двойственных функциям из T1. Поэтому он будет замыканием эквиваленции (двойственной x+y) и дизъюнкции (двойственной xy). Но это полное описание для данной задачи не требуется.

(2 Дек '18 22:46) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×4,242
×150
×81

задан
2 Дек '18 18:52

показан
193 раза

обновлен
2 Дек '18 22:46

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

по почте:

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

по RSS:

Ответы

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

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