Вполне упорядоченное множество

Поделись знанием:
Перейти к: навигация, поиск

Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.





Примеры

  • Пустое множество является вполне упорядоченным.
  • Простейший пример бесконечного вполне упорядоченного множества — множество натуральных чисел с естественным упорядочением.
  • Простейшим примером несчётного вполне упорядоченного множества является совокупность всех счётных порядковых чисел, упорядоченных отношением <math>\in</math>. В предположении континуум-гипотезы, его мощность равна мощности континуума.

Свойства

  • Утверждение о том, что каждое множество можно вполне упорядочить, равносильно аксиоме выбора.
  • Если X и Y — два вполне упорядоченных множества, то либо они изоморфны друг другу, либо ровно одно из них изоморфно начальному отрезку другого.

См. также

Напишите отзыв о статье "Вполне упорядоченное множество"

Литература

  • Н. К. Верещагин, А. Шень. [www.mccme.ru/free-books/shen/shen-logic-part1.pdf Часть 1. Начала теории множеств] // Лекции по математической логике и теории алгоритмов. — 2-е изд., испр. — М.: МЦНМО, 2002. — 128 с.


Отрывок, характеризующий Вполне упорядоченное множество

Пьер взял ее в руки и стал читать:
«Светлейший князь, чтобы скорей соединиться с войсками, которые идут к нему, перешел Можайск и стал на крепком месте, где неприятель не вдруг на него пойдет. К нему отправлено отсюда сорок восемь пушек с снарядами, и светлейший говорит, что Москву до последней капли крови защищать будет и готов хоть в улицах драться. Вы, братцы, не смотрите на то, что присутственные места закрыли: дела прибрать надобно, а мы своим судом с злодеем разберемся! Когда до чего дойдет, мне надобно молодцов и городских и деревенских. Я клич кликну дня за два, а теперь не надо, я и молчу. Хорошо с топором, недурно с рогатиной, а всего лучше вилы тройчатки: француз не тяжеле снопа ржаного. Завтра, после обеда, я поднимаю Иверскую в Екатерининскую гошпиталь, к раненым. Там воду освятим: они скорее выздоровеют; и я теперь здоров: у меня болел глаз, а теперь смотрю в оба».
– А мне говорили военные люди, – сказал Пьер, – что в городе никак нельзя сражаться и что позиция…
– Ну да, про то то мы и говорим, – сказал первый чиновник.
– А что это значит: у меня болел глаз, а теперь смотрю в оба? – сказал Пьер.
– У графа был ячмень, – сказал адъютант, улыбаясь, – и он очень беспокоился, когда я ему сказал, что приходил народ спрашивать, что с ним. А что, граф, – сказал вдруг адъютант, с улыбкой обращаясь к Пьеру, – мы слышали, что у вас семейные тревоги? Что будто графиня, ваша супруга…