Что показывает порядковый номер хим. элемента
Mn — марганец(тут по — хлеще дело будет) №25, 4 период, 7 группа, побочная подгруппа, вот из-за того, что марганец находится в побочной подгруппе распределение электронов будет несколько иным, по сравнению с предыдущими примерами, смотрим:
+25 ) ) ) ) ne(число эл-в) = np(число пр — в) = № эл. = 25, 4 пер. = 4 уровня
2 8 13 2 7 группа = . БАХ! 2 электрона (вот о чем я говорил когда только начал характеризовать атом марганца)
Формулировка периодического закона по Менделееву
Формулировка периодического закона, данная Д.И. Менделеевым, гласила: свойства химических элементов находятся в периодической зависимости от атомных масс этих элементов.
Порядковый номер химического элемента
Заря́довое число́ атомного ядра (синонимы: атомный номер, атомное число, порядковый номер химического элемента) — количество протонов в атомном ядре. Зарядовое число равно заряду ядра в единицах элементарного заряда и одновременно равно порядковому номеру соответствующего ядру химического элемента в таблице Менделеева.
Термин «атомный» или «порядковый» номер обычно используется в атомной физике и химии, тогда как эквивалентный термин «зарядовое число» — в физике ядра. В неионизированном атоме количество электронов в электронных оболочках совпадает с зарядовым числом.
Зарядовое число обычно обозначается буквой Z. Ядра с одинаковым зарядовым числом, но различным массовым числом A (которое равно сумме числа протонов Z и числа нейтронов N) являются различными изотопами одного и того же химического элемента, поскольку именно заряд ядра определяет структуру электронной оболочки атома и, следовательно, его химические свойства.
Wikimedia Foundation . 2010 .
Смотреть что такое «Порядковый номер химического элемента» в других словарях:
ПОРЯДКОВЫЙ НОМЕР — элемента, то же, что (см. АТОМНЫЙ НОМЕР). Физический энциклопедический словарь. М.: Советская энциклопедия. Главный редактор А. М. Прохоров. 1983. ПОРЯДКОВЫЙ НОМЕР … Физическая энциклопедия
ПОРЯДКОВЫЙ НОМЕР — химического элемента то же, что атомный номер … Большой Энциклопедический словарь
Порядковый номер элемента — Зарядовое число атомного ядра (синонимы: атомный номер, атомное число, порядковый номер химического элемента) количество протонов в атомном ядре. Зарядовое число равно заряду ядра в единицах элементарного заряда и одновременно равно порядковому… … Википедия
порядковый номер — химического элемента, то же, что атомный номер. * * * ПОРЯДКОВЫЙ НОМЕР ПОРЯДКОВЫЙ НОМЕР химического элемента, то же, что атомный номер (см. АТОМНЫЙ НОМЕР) … Энциклопедический словарь
Атомный номер — порядковый номер химического элемента в периодической системе элементов (См. Периодическая система элементов) Д. И. Менделеева. А. н. равен числу протонов в атомном ядре, которое, в свою очередь, равно числу электронов в электронной… … Большая советская энциклопедия
АТОМНЫЙ НОМЕР — АТОМНЫЙ НОМЕР, порядковый номер химического элемента в периодической системе элементов. Равен числу протонов в атомном ядре, определяет химические и большинство физических свойств атома … Современная энциклопедия
Атомный номер — АТОМНЫЙ НОМЕР, порядковый номер химического элемента в периодической системе элементов. Равен числу протонов в атомном ядре, определяет химические и большинство физических свойств атома. … Иллюстрированный энциклопедический словарь
атомный номер — порядковый номер, Z, номер химического элемента в периодической системе элементов. Равен числу протонов в атомном ядре и определяет химические и большинство физических свойств атома. * * * АТОМНЫЙ НОМЕР АТОМНЫЙ НОМЕР (порядковый номер), Z, номер… … Энциклопедический словарь
АТОМНЫЙ НОМЕР — (порядковый номер) Z, номер химического элемента в периодической системе элементов. Равен числу протонов в атомном ядре и определяет химические и большинство физических свойств атома … Большой Энциклопедический словарь
Химический элемент — Химический элемент совокупность атомов с одинаковым зарядом ядра и числом протонов, совпадающим с порядковым (атомным) номером в таблице Менделеева[1]. Каждый химический элемент имеет свои название и символ, которые приводятся в… … Википедия
Порядковые номера элементов
При изложении теории строения атомов мы уже говорили о зависимости между рентгеновыми спектрами элементов и их порядковыми, или атомными, номерами. Изучение этой зависимости привело к выводу, что порядковый номер, определяемый местом элемента в периодической системе, является важнейшей константой элемента, выражающей число положительных зарядов ядра его атома. При помощи рентгеновых спектров были определены величины ядерных зарядов атомов всех элементов. Результаты этих определений показали, что в периодической системе элементы расположены строго последовательно в порядке возрастания зарядов ядер их атомов.
Это открытие давало новое обоснование расположению элементов в периодической системе. Вместе с тем оно устраняло и кажущееся противоречие в системе Менделеева — положение некоторых элементов с большим атомным весом впереди элементов с меньшим атомным весом (теллур и иод, аргон и калий, кобальт и никель). Оказалось, что никакого противоречия здесь нет, так как место элемента в системе определяется не его атомным весом, а зарядом атомного ядра. Определение зарядов ядер теллура и иода показало, что заряд первого равен 52, а второго 53, почему теллур, несмотря на больший атомный вес, и должен стоять впереди иода. Точно так же заряды ядер аргона и калия, никеля и кобальта полностью отвечают последовательности расположения этих элементов в системе.
Итак, заряд атомного ядра является той основной величиной, от которой зависят все свойства элемента и его положение в периодической системе. Поэтому периодический закон Менделеева в настоящее время формулируется следующим образом:
Свойства элементов находятся в периодической зависимости от зарядов ядер их атомов.
Определение порядковых номеров элементов по рентгеновым спектрам последних имело еще и другое очень важное значение. Оно позволило установить общее число мест в периодической системе между водородом, имеющим порядковый номер 1, и ураном (порядковый номер 92), считавшимся в то время последним членом периодической системы элементов. Когда создавалась теория строения атома, из этих мест оставались незанятыми места: 43, 61, 72, 75, 85 и 87, что указывало на возможность существования еще неоткрытых элементов. И действительно, в 1922 г. был открыт новый элемент гафний, который занял 72-е место; затем в 1925 г. — элемент рений, занявший 75-е место. Что же касается элементов, которые должны занять остальные четыре свободных места таблицы, то хотя в литературе и были сообщения об их открытии, однако надежных доказательств существования этих элементов в природе не имеется. Но в последнее время все эти четыре элемента удалось получить искусственным путем и изучить их химические свойства, несмотря на то, что количества полученных элементов не превышали 10 -10 —10 -14 г. Новые элементы получили названия: технеций (№ 43), прометий (№ 61), а с т а т и н (№85) и франций (№ 87). Таким образом, можно считать, что в настоящее время все клетки таблицы периодической системы между водородом и ураном заполнены.
Однако сама периодическая система не является завершенной, о чем свидетельствует открытие так называемых трансурановых (заурановых) элементов, т. е. элементов, следующих за ураном по величине заряда ядра их атомов.
Замена атомных весов ядерными зарядами или порядковыми номерами не только не нарушила систему, но, наоборот, еще больше укрепила ее. В то же время последовательность расположения элементов, установленная Менделеевым, осталась неизмененной как вполне отвечающая новой основе системы — зарядам атомных ядер.
Порядковый номер — Ordinal number
В теории множеств, порядковое число или порядковое число является одним из обобщений концепции натуральное число, которое используется для описания способа упорядочения (возможно, бесконечного) набора объектов один за другим.
Любую конечную коллекцию объектов можно упорядочить просто с помощью процесса подсчета: пометки объектов различными натуральными числами. Основная идея порядковых чисел состоит в том, чтобы обобщить этот процесс на возможно бесконечное количество коллекций и предоставить «метку» для каждого шага процесса. Таким образом, порядковые номера являются «метками», необходимыми для упорядочивания коллекций объектов.
Порядковый номер используется для описания типа заказа из хорошо упорядоченного набора (хотя это не работает для хорошо упорядоченного правильного класса ). Хорошо упорядоченный набор — это набор с отношением>таким образом, что:
- (Трихотомия ) Для любых элементов x и y верно ровно одно из этих утверждений:
- x y
- x = y
Два хорошо упорядоченных набора имеют один и тот же тип порядка, если и только если существует bijection из одного набора в другой, который преобразует отношение в первом наборе в отношение во втором наборе.
Хотя порядковые числа полезны для упорядочивания объектов в коллекции, они отличаются от кардинальных чисел, которые полезны для количественной оценки количества объектов в коллекции. Хотя различие между порядковыми числами и кардиналами не всегда очевидно в конечных наборах (можно переходить от одного к другому, просто считая метки), разные бесконечные порядковые числа могут соответствовать одному и тому же кардиналу. Более того, могут быть наборы, которые нельзя хорошо упорядочить, и их количественные номера не соответствуют порядковым номерам. (Например, существование таких множеств следует из теории множеств Цермело-Френкеля с отрицанием аксиомы выбора.) Как и другие виды чисел, порядковые числа можно складывать, умножать и возводить в степень., хотя ни одна из этих операций не является коммутативной.
Порядковые числа были введены Георгом Кантором в 1883 году для того, чтобы учесть бесконечные последовательности и классифицировать производные множества, которые он ранее ввел в 1872 году — при изучении уникальности тригонометрический ряд.
Содержание
- 1 Порядковые числа расширяют натуральные числа
- 2 Определения
- 2.1 Хорошо упорядоченные множества
- 2.2 Определение порядкового номера как класса эквивалентности
- 2.3 Определение фон Неймана ординалов
- 2.4 Другие определения
- 4.1 Трансфинитная рекурсия
- 4.2 Последовательные и предельные ординалы
- 4.3 Классы индексации ординалов
- 4.4 Замкнутые неограниченные множества и классы
- 6.1 Начальный порядковый номер кардинала
- 6.2 Кофинальность
Порядковые номера расширяются t Натуральные числа
A натуральное число (которое в данном контексте включает число 0 ) можно использовать для двух целей: для описания размера набора, или для описания положения элемента в последовательности. При ограничении конечными наборами эти две концепции совпадают, и есть только один способ поместить конечное множество в линейную последовательность (от до изоморфизм). Однако, имея дело с бесконечными множествами, нужно различать понятие размера, которое приводит к кардинальным числам, и понятие положения, которое ведет к порядковым числам, описанным здесь. Это потому, что, хотя любой набор имеет только один размер (его мощность ), существует множество неизоморфных хорошо упорядоченных любого бесконечного набора, как объясняется ниже.
В то время как понятие кардинального числа связано с набором без какой-либо конкретной структуры, порядковые числа тесно связаны с наборами особого вида, которые называются хорошо упорядоченными (так тесно связано, фактически, с тем, что некоторые математики не делают различия между этими двумя концепциями). Хорошо упорядоченный набор — это полностью упорядоченный набор (для любых двух элементов один определяет меньший и больший согласованным образом), в котором каждое непустое подмножество набора имеет наименьший элемент. В частности, не существует бесконечной убывающей последовательности. (Однако могут быть бесконечные возрастающие последовательности.) Порядковые номера могут использоваться для обозначения элементов любого заданного упорядоченного набора (наименьший элемент обозначается 0, следующий за ним — 1, следующий 2 и т. Д.), и для измерения «длины» всего набора наименьшим порядковым номером, который не является меткой для элемента набора. Эта «длина» называется типом заказа набора.
Любой порядковый номер определяется набором порядковых номеров, которые ему предшествуют. Фактически, наиболее распространенное определение порядковых номеров определяет каждый порядковый номер как набор предшествующих ему порядковых номеров. Например, порядковый номер 42 является порядковым типом порядковых номеров, меньших, чем он, то есть порядковых номеров от 0 (наименьший из всех порядковых номеров) до 41 (непосредственный предшественник 42), и обычно идентифицируется как набор < 0,1,2,…, 41>. И наоборот, любой набор ординалов S, замкнутый вниз — это означает, что для любого ординала α в S и любого ординала β ω <\ displaystyle \ omega>, который является порядковым типом натуральных чисел (конечных ординалов) и может даже быть отождествлен с набором натуральных чисел. Действительно, набор натуральных чисел хорошо упорядочен, как и любой набор ординалов, и, поскольку он закрыт сверху вниз, его можно идентифицировать с помощью связанного с ним порядкового номера (именно так ω <\ displaystyle \ omega >определено).
Графическое «спичечное» представление порядкового номера ω². Каждой палке соответствует порядковый номер в форме ω · m + n, где m и n — натуральные числа.
Возможно, более четкое представление об порядковых числах можно составить, исследуя несколько первых из них: как упоминалось выше, они начинаются с натуральные числа, 0, 1, 2, 3, 4, 5,… После всех натуральных чисел идет первый бесконечный порядковый номер, ω, а затем идет ω + 1, ω + 2, ω + 3 и так далее. (Что именно означает сложение, будет определено позже: просто рассматривайте их как имена.) После всего этого получится ω · 2 (то есть ω + ω), ω · 2 + 1, ω · 2 + 2 и так далее, затем ω · 3, а затем ω · 4. Теперь с набором ординалов, сформированных таким образом (ω · m + n, где m и n — натуральные числа), сам должен иметь связанный с ним ординал: и это ω. Далее будет ω, затем ω и т. Д., И ω, затем ω, затем ω, и даже позже ε 0(эпсилон ноль ) (чтобы дать несколько примеров относительно малых — счетных — порядковые числительные). Это можно продолжать бесконечно (поскольку каждый раз, когда кто-то говорит «и так далее» при перечислении порядковых номеров, это определяет более крупный порядковый номер). Наименьший несчетный порядковый номер — это набор всех счетных порядковых номеров, выраженный как ω1 или Ω <\ displaystyle \ Omega>.
Определения
Хорошо упорядоченные множества
В хорошо упорядоченном наборе каждое непустое подмножество содержит отдельный наименьший элемент. Учитывая аксиому зависимого выбора, это эквивалентно утверждению, что множество полностью упорядочено и не существует бесконечной убывающей последовательности (последнюю легче визуализировать). На практике важность правильного упорядочивания оправдывается возможностью применения трансфинитной индукции, которая, по сути, говорит, что любое свойство, которое передается от предшественников элемента к самому элементу, должно быть истинным для все элементы (данного упорядоченного набора). Если состояния вычисления (компьютерная программа или игра) могут быть хорошо упорядочены — таким образом, что каждый шаг сопровождается «более низким» шагом, то вычисление прекращается.
Неуместно различать два хорошо упорядоченных набора, если они отличаются только «маркировкой своих элементов» или более формально: если элементы первого набора могут быть объединены в пары с элементами второй набор таким образом, что если один элемент меньше другого в первом наборе, то партнер первого элемента меньше партнера второго элемента во втором наборе, и наоборот. Такое взаимно-однозначное соответствие называется изоморфизмом порядка , а два хорошо упорядоченных множества называются изоморфными по порядку или подобными (с пониманием того, что это отношение эквивалентности ).
Формально, если частичный порядок ≤ определен на множестве S, а частичный порядок ≤ ‘определен на множестве S’, то ставит ( S, ≤) и (S ‘, ≤’) изоморфны порядку, если существует биекция f, которая сохраняет порядок. То есть f (a) ≤ ‘f (b) тогда и только тогда, когда a ≤ b. При условии, что существует изоморфизм порядка между двумя хорошо упорядоченными множествами, изоморфизм порядка уникален: это делает вполне оправданным рассмотрение двух множеств как по существу идентичных и поиск «канонического» представителя типа (класса) изоморфизма. Это именно то, что предоставляют ординалы, а также обеспечивает каноническую маркировку элементов любого хорошо упорядоченного набора. Каждый хорошо упорядоченный набор (S, T <\ displaystyle T>, a ↦ T T <\ displaystyle T>и набор всех подмножеств T <\ displaystyle T>, имеющих форму T Множество S является порядковым номером тогда и только тогда, когда S является строго хорошо упорядоченным по отношению к набору членства, и каждый элемент S также является подмножеством S.
Таким образом, по этому определению натуральные числа являются ординалами. Например, 2 является элементом 4 = <0, 1, 2, 3>, а 2 равно <0, 1>, поэтому это подмножество <0, 1, 2, 3>.
С помощью трансфинитной индукции можно показать, что каждый хорошо упорядоченный набор изоморфен по порядку ровно одному из этих ординалов, то есть существует сохраняющая порядок биективная функция между ними.
Кроме того, элементы каждого порядкового номера сами по себе являются ординалами. Учитывая два ординала S и T, S является элементом T тогда и только тогда, когда S является собственным подмножеством T. Более того, либо S является элементом T, либо T является элементом S, либо они равны. Таким образом, каждый набор порядковых номеров полностью упорядочен. Кроме того, каждый набор ординалов упорядочен. Это обобщает тот факт, что каждый набор натуральных чисел упорядочен.
Следовательно, каждый ординал S является набором, имеющим в качестве элементов в точности порядковые номера, меньшие, чем S. Например, каждый набор ординалов имеет супремум, порядковый номер, полученный объединением всех ординалы в наборе. Это объединение существует независимо от размера набора, по аксиоме объединения.
Класс всех порядковых чисел не является набором. Если бы это был набор, можно было бы показать, что это порядковый номер и, следовательно, член самого себя, что противоречило бы его строгой упорядоченности по членству. Это парадокс Бурали-Форти. Класс всех ординалов по-разному называется «Ord», «ON» или «∞».
Порядковый номер конечный тогда и только тогда, когда противоположный порядок также хорошо упорядочен, что имеет место тогда и только тогда, когда каждое из его непустых подмножеств имеет максимум .
Другие определения
Существуют и другие современные формулировки определения порядкового номера. Например, при допущении аксиомы регулярности для набора x следующие эквиваленты:
- x — порядковый номер,
- x — транзитивный набор, и членство в множестве является трихотомическим по x,
- x — транзитивным множеством, полностью упорядоченным включением множества,
- x — транзитивным множеством транзитивных наборы.
Эти определения нельзя использовать в необоснованных теориях множеств. В теориях множеств с урэлементами необходимо дополнительно убедиться, что определение исключает урэлементы из порядковых номеров.
Трансфинитная последовательность
Если α — любой порядковый номер, а X — множество, α-индексированная последовательность элементов X является функцией от α до X. Это понятие, трансфинитное последовательность (если α бесконечно) или последовательность с порядковым индексом, является обобщением концепции последовательности. Обычная последовательность соответствует случаю α = ω, в то время как конечное α соответствует кортежу (математика), иначе строка (информатика).
Трансфинитная индукция
Трансфинитная индукция выполняется в любом упорядоченном множестве, но она настолько важна по отношению к порядковым числам, что здесь стоит повторить.
Любое свойство, которое переходит из набора ординалов, меньших заданного ординала α, к самому α, истинно для всех ординалов.
То есть, если P (α) истинно, когда P (β) истинно для всех β α ∪ <α><\ displaystyle \ alpha \ cup \ <\ alpha \>> , поскольку его элементы являются элементами α и α
Ненулевой порядковый номер, не являющийся преемником, называется предельным порядковым номером. Одним из оправданий этого термина является то, что предельный порядковый номер — это предел в топологическом смысле всех меньших порядковых номеров (в соответствии с топологией порядка ).
Другой способ определения предельного ординала состоит в том, чтобы сказать, что α является предельным ординалом тогда и только тогда, когда:
Существует порядковый номер меньше, чем α, и если ζ является порядковым номером меньше, чем α, то существует ординал ξ такой, что ζ
Итак, в следующей последовательности:
ω является предельным ординалом, потому что для любого меньшего ординала (в этом примере натуральное число) есть другой порядковый номер (натуральное число), больший его, но все же меньший, чем ω.
Таким образом, каждый порядковый номер является либо нулем, либо преемником (четко определенного предшественника), либо пределом. Это различие важно, потому что многие определения с помощью трансфинитной рекурсии основываются на нем. Очень часто при определении функции F трансфинитной рекурсией по всем ординалам определяют F (0) и F (α + 1), предполагая, что F (α) определено, а затем для предельных ординалов δ определяют F (δ) как предел F (β) для всех β α < \ Displaystyle \ alpha>; другими словами, его элементы могут быть проиндексированы в возрастающем порядке порядковыми номерами меньше α <\ displaystyle \ alpha>. Это применимо, в частности, к любому набору ординалов: любой набор ординалов, естественно, индексируется порядковыми числами меньше некоторого α <\ displaystyle \ alpha>. То же самое, с небольшой модификацией, относится к классам ординалов (набор ординалов, возможно, слишком большой, чтобы сформировать набор, определяемый некоторым свойством): любой класс ординалов может быть проиндексирован ординалами (и, когда класс неограничен в классе всех ординалов это ставит его в класс-биекцию с классом всех ординалов). Итак, γ <\ displaystyle \ gamma>-й элемент в классе (с условием, что «0-й» — самый маленький, «1-й» — следующий самый маленький, и так далее) можно свободно говорить. Формально определение осуществляется путем трансфинитной индукции: γ <\ displaystyle \ gamma>-й элемент класса определен (при условии, что он уже был определен для всех β ), как наименьший элемент больше, чем β <\ displaystyle \ beta>-й элемент для всех β .
Это может быть применено, например, к классу предельных порядковых номеров: γ < \ displaystyle \ gamma>-й порядковый номер, который является либо пределом, либо нулем: ω ⋅ γ <\ displaystyle \ omega \ cdot \ gamma>(см. порядковая арифметика для определения умножения порядковых чисел). Точно так же можно рассмотреть аддитивно неразложимые порядковые числа (означающие ненулевой порядковый номер, который не является суммой двух строго меньших порядковых номеров): γ <\ displaystyle \ gamma>-th аддитивно неразложимый порядковый номер индексируется как ω γ <\ displaystyle \ omega ^ <\ gamma>> . Техника индексации классов порядковых номеров часто используется в контексте фиксированных точек: например, γ <\ displaystyle \ gamma>-й порядковый номер α <\ displaystyle \ alpha>так, что ω α = α <\ displaystyle \ omega ^ <\ alpha>= \ alpha> записывается как ε γ <\ displaystyle \ varepsilon _ <\ гамма>> . Они называются «эпсилон-числа ».
Замкнутые неограниченные множества и классы
Класс C <\ displaystyle C>порядковых чисел называется неограниченным или cofinal, когда задан любой порядковый номер α <\ displaystyle \ alpha>, существует β <\ displaystyle \ beta>в C <\ displaystyle C>такой, что α (тогда класс должен быть правильным классом, т.е. он не может быть набором). Он называется закрытым, когда предел последовательности порядковых чисел в классе снова находится в классе: или, что то же самое, когда функция индексации (класс-) F <\ displaystyle F>является непрерывным в том смысле, что для δ <\ displaystyle \ delta>предельный порядковый номер F (δ) <\ displaystyle F (\ delta)>( δ <\ displaystyle \ delta>-й порядковый номер в классе) является пределом всех F (γ) <\ displaystyle F (\ gamma)>для γ ; это также то же самое, что быть закрытым в топологическом смысле для топологии порядка (чтобы не говорить о топологии на правильных классах, можно потребовать, чтобы пересечение класса с любой данный ординал замкнут для топологии порядка на этом ординале, это снова эквивалентно).
Особое значение имеют те классы ординалов, которые являются закрытыми и неограниченными, иногда называемыми клубами . Например, класс всех предельных ординалов замкнут и неограничен: это означает, что всегда существует предельный порядковый номер, превышающий данный порядковый номер, и что предел предельных ординалов является предельным ординалом (удачный факт, если терминология иметь хоть какой-то смысл!). Класс аддитивно неразложимых ординалов или класс ε ⋅ <\ displaystyle \ varepsilon _ <\ cdot>> ординалов, или класс кардиналов, все закрыты неограниченный; набор обычных кардиналов, однако, неограничен, но не замкнут, и любой конечный набор ординалов замкнут, но не неограничен.
Класс является стационарным, если он имеет непустое пересечение с каждым замкнутым неограниченным классом. Все суперклассы замкнутых неограниченных классов являются стационарными, а стационарные классы неограничены, но есть стационарные классы, которые не являются замкнутыми, и стационарные классы, у которых нет замкнутого неограниченного подкласса (например, класс всех предельных ординалов со счетной конфинальностью). Поскольку пересечение двух замкнутых неограниченных классов замкнуто и неограниченно, пересечение стационарного класса и замкнутого неограниченного класса стационарно. Но пересечение двух стационарных классов может быть пустым, например класс ординалов конфинальности ω с классом ординалов несчетной конфинальности.
Вместо того, чтобы формулировать эти определения для (собственных) классов порядковых чисел, их можно сформулировать для наборов порядковых чисел ниже заданного порядкового номера α <\ displaystyle \ alpha>: подмножество предельного порядкового номера α <\ displaystyle \ alpha>считается неограниченным (или cofinal) при α <\ displaystyle \ alpha>при условии, что любой порядковый номер меньше α <\ displaystyle \ alpha>меньше некоторого порядкового номера в наборе. В более общем смысле, можно назвать подмножество любого порядкового номера α <\ displaystyle \ alpha>cofinal в α <\ displaystyle \ alpha>при условии, что каждый порядковый номер меньше α <\ displaystyle \ alpha>меньше или равно некоторому порядковому номеру в наборе. Подмножество считается закрытым в соответствии с α <\ displaystyle \ alpha>при условии, что оно закрыто для топологии заказа в α <\ displaystyle \ alpha>, т.е. предел порядковых номеров в наборе находится либо в наборе, либо равен самому α <\ displaystyle \ alpha>.
Арифметика порядковых чисел
Есть три обычные операции с порядковыми числами: сложение, умножение и (порядковое) возведение в степень. Каждый может быть определен двумя разными способами: либо путем создания явного упорядоченного набора, представляющего операцию, либо с помощью трансфинитной рекурсии. Нормальная форма Кантора обеспечивает стандартизированный способ записи порядковых чисел. Он однозначно представляет каждый ординал как конечную сумму порядковых степеней ω. Однако это не может служить основой универсальной порядковой записи из-за таких самореферентных представлений, как ε 0 = ω. Так называемые «естественные» арифметические операции сохраняют коммутативность за счет непрерывности.
Обозначаемые как числа, порядковые числа также подлежат быстрым арифметическим операциям.
Ординалы и кардиналы
Начальный порядковый номер кардинала
Каждый ординал ассоциируется с одним кардиналом, его мощностью. Если между двумя ординалами существует взаимно однозначное соответствие (например, ω = 1 + ω и ω + 1>ω), то они ассоциируются с одним и тем же кардиналом. Любой хорошо упорядоченный набор, имеющий порядковый номер в качестве типа порядка, имеет ту же мощность, что и этот порядковый номер. Наименьший ординал, связанный с данным кардиналом, называется начальным ординалом этого кардинала. Каждый конечный ординал (натуральное число) является начальным, и никакие другие порядковые числа не связаны с его кардиналом. Но большинство бесконечных ординалов не являются начальными, так как многие бесконечные ординалы связаны с одним и тем же кардиналом. Аксиома выбора эквивалентна утверждению, что каждый набор может быть хорошо упорядочен, то есть что каждый кардинал имеет начальный порядковый номер. В теориях с аксиомой выбора кардинальное число любого множества имеет начальный порядковый номер, и можно использовать кардинальное присвоение фон Неймана в качестве кардинального представления. (Однако тогда мы должны быть осторожны, чтобы различать кардинальную арифметику и порядковую арифметику.) В теориях множеств без аксиомы выбора кардинал может быть представлен множеством множеств с этой мощностью, имеющей минимальный ранг (см. трюк Скотта ).
Одна проблема с уловкой Скотта заключается в том, что он определяет кардинальное число 0 <\ displaystyle 0>с помощью <∅><\ displaystyle \ <\ emptyset \>> , который в некоторых формулировках является порядковым номером 1 <\ displaystyle 1>. Возможно, будет яснее применить кардинальное присваивание фон Неймана к конечным случаям и использовать трюк Скотта для множеств, которые являются бесконечными или не допускают хорошего упорядочения. Обратите внимание, что кардинальная и порядковая арифметика совпадают для конечных чисел.
α-й бесконечный начальный порядковый номер записывается как ω α <\ displaystyle \ omega _ <\ alpha>> , это всегда предельный порядковый номер. Его мощность записывается как ℵ α <\ displaystyle \ aleph _ <\ alpha>> . Например, мощность ω 0 = ω равна ℵ 0 <\ displaystyle \ aleph _ <0>> , что также является мощностью ω или ε 0 (все счетные порядковые числа). Таким образом, ω можно идентифицировать с помощью ℵ 0 <\ displaystyle \ aleph _ <0>> , за исключением того, что запись ℵ 0 <\ displaystyle \ aleph _ <0>> используется при записи кардиналов, а ω — при записи порядковых чисел (это важно, поскольку, например, ℵ 0 2 <\ displaystyle \ aleph _ <0>^ <2>> = ℵ 0 <\ displaystyle \ aleph _ <0>> тогда как ω 2>ω <\ displaystyle \ omega ^ <2>>\ omega> ). Также ω 1 <\ displaystyle \ omega <1>> — наименьший несчетный порядковый номер (чтобы убедиться, что он существует, рассмотрим набор классов эквивалентности правильного упорядочения натуральных чисел: каждый такой правильный порядок определяет счетный порядковый номер, и ω 1 <\ displaystyle \ omega _ <1>> — тип заказа этого набора), ω 2 <\ displaystyle \ omega _ <2>> — наименьший порядковый номер, мощность которого больше ℵ 1 <\ displaystyle \ aleph _ <1>> и так далее, и ω ω <\ displaystyle \ omega _ <\ omega>> является пределом ω n <\ displaystyle \ omega _
> для натуральных чисел n (любой предел кардиналов является кардинальным, поэтому этот предел действительно является первым кардиналом после всех ω n <\ displaystyle \ omega _ > ). Cofinality
cofinality порядкового номера α <\ displaystyle \ alpha>является наименьшим порядковым номером δ <\ displaystyle \ delta>, который является типом заказа cofinal подмножества α <\ displaystyle \ alpha>. Обратите внимание, что ряд авторов определяют cofinality или используют его только для порядковых номеров пределов. Конфинальность набора ординалов или любого другого хорошо упорядоченного набора — это конфинальность типа заказа этого набора.
Таким образом, для предельного порядкового номера существует δ <\ displaystyle \ delta>-индексированная строго возрастающая последовательность с пределом α <\ displaystyle \ alpha>. Например, конфинальность ω² равна ω, потому что последовательность ω · m (где m пробегает натуральные числа) стремится к ω²; но в более общем смысле любой счетный предельный ординал имеет конфинальность ω. Неисчислимый предельный порядковый номер может иметь либо конфинальность ω, как ω ω <\ displaystyle \ omega _ <\ omega>> , либо бесчисленную конфинальность.
Конфинальность 0 равна 0. А конфинальность любого последующего порядкового номера равна 1. Конфинальность любого предельного порядкового номера не менее ω <\ displaystyle \ omega>.
Порядковый номер, который равен к его cofinality называется регулярным и всегда является начальным порядковым номером. Любой предел регулярных порядковых чисел является пределом начальных порядковых номеров и, следовательно, также является начальным, даже если он не является регулярным, что обычно не так. Если аксиома выбора, то ω α + 1 <\ displaystyle \ omega _ <\ alpha +1>> регулярно для каждого α. В этом случае порядковые номера 0, 1, ω <\ displaystyle \ omega>, ω 1 <\ displaystyle \ omega _ <1>> и ω 2 <\ displaystyle \ omega _ <2>> являются обычными, тогда как 2, 3, ω ω <\ displaystyle \ omega _ <\ omega>> и ω ω · 2 — начальные ординалы, которые не являются правильными.
Конфинальность любого ординала α является правильным ординалом, то есть конфинальность конфинальности α такая же, как конфинальность α. Таким образом, операция конфинальности идемпотент.
Некоторые «большие» счетные порядковые числа
Как упоминалось выше (см. нормальная форма Кантора ), порядковый номер ε 0 — наименьшее, удовлетворяющее уравнению ω α = α <\ displaystyle \ omega ^ <\ alpha>= \ alpha> , поэтому это предел последовательности 0, 1, ω <\ displaystyle \ omega>, ω ω <\ displaystyle \ omega ^ <\ omega>> , ω ω ω <\ displaystyle \ omega ^ <\ omega ^ <\ omega>>> и т. д. Многие порядковые числа могут быть определены таким образом, как фиксированные точки некоторых порядковых функций ( ι <\ displaystyle \ iota>-й порядковый номер такой, что ω α = α < \ displaystyle \ omega ^ <\ alpha>= \ alpha> называется ε ι <\ displaystyle \ varepsilon _ <\ iota>> , тогда можно продолжать попытки найти ι <\ displaystyle \ iota>-й порядковый номер такой, что ε α = α <\ displaystyle \ varepsilon _ <\ alpha>= \ alpha> , «и так далее», но вся тонкость заключается в «и так далее»). Можно попытаться делать это систематически, но независимо от того, какая система используется для определения и построения ординалов, всегда есть ординал, который находится чуть выше всех ординалов, построенных системой. Возможно, самый важный порядковый номер, который ограничивает систему построения таким образом, — это порядковый номер Чёрча – Клини, ω 1 CK <\ displaystyle \ omega _ <1>^ <\ mathrm
> > (несмотря на ω 1 <\ displaystyle \ omega _ <1>> в имени, этот порядковый номер исчисляем), который является наименьшим порядковым номером, который не может ни в одном может быть представлена вычислимой функцией (конечно, это можно сделать строго). Однако ниже ω 1 CK <\ displaystyle \ omega _ <1>^ <\ mathrm >> можно определить довольно большие порядковые числа, которые измеряют «теоретико-доказательную силу» некоторые формальные системы (например, ε 0 <\ displaystyle \ varepsilon _ <0>> измеряет силу арифметики Пеано ). Большие счетные порядковые числа, такие как счетные допустимые порядковые числа, также могут быть определены над порядковыми числами Черча-Клини, которые представляют интерес в различных частях логики. Топология и порядковые числа
Любой порядковый номер можно превратить в топологическое пространство , наделив его топологией порядка ; эта топология дискретна тогда и только тогда, когда порядковый номер является счетным кардиналом, то есть не более ω. Подмножество ω + 1 открыто в топологии порядка тогда и только тогда, когда оно либо cofinite, либо не содержит ω как элемент.
См. Раздел Топология и порядковые номера статьи «Топология порядка».
Наборы порядковых номеров, закрытые вниз
Набор является закрытым вниз, если в наборе также есть что-либо меньшее, чем элемент набора. Если набор порядковых номеров закрыт вниз, то этот набор является порядковым — наименьшим порядковым номером, отсутствующим в наборе.
- Набор порядковых номеров меньше 3 равен 3 = <0, 1, 2>, наименьший порядковый номер не меньше 3.
- Набор конечных порядковых номеров бесконечен, наименьший бесконечный порядковый номер: ω.
- Набор исчисляемых порядковых чисел неисчислим, наименьший несчетный порядковый номер: ω 1.
История
Трансфинитные порядковые числа, впервые появившиеся в 1883 году, возникли в работе Кантора с производными наборами . Если P является набором действительных чисел, производное множество P ‘является набором предельных точек P. В 1872 году Кантор сгенерировал наборы P, применив операцию производного набора n раз к P. В 1880 году, он указал, что эти множества образуют последовательность P ‘⊇ ··· ⊇ P ⊇ P ⊇ ···, и продолжил процесс вывода, определив P как пересечение этих множеств. Затем он повторил операцию производного множества и пересечения, чтобы расширить свою последовательность множеств до бесконечности: P ⊇ P ⊇ P ⊇ ··· ⊇ P ⊇ ··· ⊇ P ⊇ ···. Верхние индексы, содержащие ∞, являются просто индексами, определяемыми процессом вывода.
Кантор использовал эти множества в теоремах: (1) Если P = ∅ для некоторого индекса α, то P ‘счетно; (2) Наоборот, если P ‘счетно, то существует индекс α такой, что P = ∅. Эти теоремы доказываются путем разбиения P ‘на попарно непересекающиеся множества: P’ = (P ‘∖ P) ∪ (P ∖ P) ∪ ··· ∪ (P ∖ P) ∪ ··· ∪ P.Для β ℵ n — 1 <\ displaystyle \ Алеф _
> . Если α ≥ ω, класс α-го числа имеет мощность ℵ α <\ displaystyle \ aleph _ <\ alpha>> . Следовательно, мощности числовых классов взаимно однозначно соответствуют числам алеф. Кроме того, α-й числовой класс состоит из порядковых номеров, отличных от порядковых номеров в предыдущих числовых классах, тогда и только тогда, когда α — неограниченный порядковый номер. Следовательно, классы с неограниченным числом разбивают ординалы на попарно непересекающиеся множества.