Докажите, что теория линейных порядков без наибольшего и наименьшего элементов полна.

задан 25 Янв '17 18:08

Боюсь, что в такой формулировке это неверно. Формулу, которая утверждает, что между любыми двумя различными элементами имеется ещё по крайней мере один, нельзя вывести, так как на Z порядок этим свойством не обладает. Её отрицание тоже нельзя вывести, так как на Q это свойство выполнено. То есть эта теория не полна.

Видимо, здесь пропущено важное условие плотности порядка. Тогда утверждение будет верно, и его можно доказать несколькими способами.

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

Ваш ответ

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

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

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

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

отмечен:

×574

задан
25 Янв '17 18:08

показан
245 раз

обновлен
25 Янв '17 18:39

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

по почте:

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

по RSS:

Ответы

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

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