Непрерывное множество

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

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

Литература

[править | править код]
  • Hazewinkel, Michiel, ed. (2001), "Continuous set", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4