Пусть Р частичный порядок(иррефлексивность + транзитивность). Пусть Р^1 = P объединение {(x,y)|xP лежит в yP}; P^2 = P^1 объединение {(x,y)|xP^1 лежит в yP^1}; P^3 = P^2 объединение {(x,y)|xP^2 лежит в yP^2}; ..................; Докажите что: 1) не существует цикла в каждом P^k, 2) существует такое s, что P^s слабый порядок.

задан 14 Сен '17 12:35

Условие совершенно непонятно. Дан строгий частичный порядок P. Тогда имеют смысл записи типа x P y. Но что значит "xP лежит в yP"? Ведь P есть бинарное отношение, и xP само по себе не имеет смысла.

(14 Сен '17 16:20) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×84

задан
14 Сен '17 12:35

показан
334 раза

обновлен
14 Сен '17 16:20

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

по почте:

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

по RSS:

Ответы

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

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