Rstykt

Изображение порядковых чисел от 0 до ωω{displaystyle omega ^{omega }}. Каждый оборот спирали соответствует одной степени ω{displaystyle omega }

В теории множеств порядковым числом, или ординалом (лат. ordinalis — порядковый) называется порядковый тип вполне упорядоченного множества. Как правило, порядковые числа отождествляются с наследственно транзитивными множествами. Ординалы представляют собой одно из расширений натуральных чисел, отличающееся как от целых, так и от кардинальных чисел. Как и другие разновидности чисел, их можно складывать, перемножать и возводить в степень. Бесконечные порядковые числа называют трансфинитными (лат. trans — за, через + finitio — край, предел). Ординалы играют ключевую роль в доказательстве многих теорем теории множеств — в частности, благодаря связанному с ними принципу трансфинитной индукции.

Порядковые числа были введены Георгом Кантором в 1883 году как способ описания бесконечных последовательностей, а также классификации множеств, обладающих определённой упорядоченной структурой.^[1] Он случайно открыл порядковые числа, работая над задачей, связанной с тригонометрическими рядами.

Множества S{displaystyle S} и S′{displaystyle S'} обладают одинаковой мощностью, если между ними можно установить биективное соответствие (то есть указать такую функцию f{displaystyle f}, которая одновременно является инъективной и сюръективной: каждому x{displaystyle x} из S{displaystyle S} соответствует единственное y=f(x){displaystyle y=f(x)} из S′{displaystyle S'}, а каждое y{displaystyle y} из S′{displaystyle S'} является образом единственного x{displaystyle x} из S{displaystyle S}).

Предположим, что на множествах S{displaystyle S} и S′{displaystyle S'} заданы частичные порядки <{displaystyle <} и <′{displaystyle <'} соответственно. Тогда частично упорядоченные множества (S,<){displaystyle (S,<)} и (S′,<′){displaystyle (S',<')} называются изоморфными с сохранением порядка, если существует биективное отображение f{displaystyle f}, при которой заданный порядок сохраняется. Иначе говоря, f(a)<′f(b){displaystyle f(a)<'f(b)} тогда и только тогда, когда a<b{displaystyle a<b}. Любое вполне упорядоченное множество (S,<){displaystyle (S,<)} изоморфно с сохранением порядка по отношению к естественно упорядоченному множеству порядковых чисел, меньших некоторого определённого ординала (равного порядковому типу (S,<){displaystyle (S,<)}).

Конечные порядковые (и кардинальные) числа представляют собой числа натурального ряда: 0, 1, 2, …, поскольку два любых полных упорядочения конечного множества изоморфны с сохранением порядка. Наименьшее бесконечно большое порядковое число ω{displaystyle omega } отождествляется с кардинальным числом ℵ0{displaystyle aleph _{0}}. Однако в случае трансфинитных чисел, больших ω{displaystyle omega }, ординалы — по сравнению с кардинальными числами — позволяют выразить более тонкую классификацию множеств, основанную на информации об их упорядоченности. В то время как все счетные множества описываются одним кардинальным числом, равным ℵ0{displaystyle aleph _{0}}, число счетных ординалов бесконечно велико и притом несчетно:

ω,ω+1,ω+2,…,ω⋅2,ω⋅2+1,…,ω2,…,ω3,…,ωω,…,ωωω,…,ε0,...{displaystyle omega ,omega +1,omega +2,dots ,omega cdot 2,omega cdot 2+1,dots ,omega ^{2},dots ,omega ^{3},dots ,omega ^{omega },dots ,omega ^{omega ^{omega }},dots ,varepsilon _{0},...}

В данном случае сложение и умножение не обладают свойством коммутативности: так, 1+ω{displaystyle 1+omega } совпадает с ω{displaystyle omega }, но отличается от ω+1{displaystyle omega +1}; аналогично 2⋅ω=ω{displaystyle 2cdot omega =omega }, но не равно ω⋅2{displaystyle omega cdot 2}. Множество всех счетных ординалов образует первое несчетное порядковое число ω1{displaystyle omega _{1}}, соответствующее кардинальному числу ℵ1{displaystyle aleph _{1}} (следующее число после ℵ0{displaystyle aleph _{0}}). Вполне упорядоченные кардинальные числа отождествляются с их начальными ординалами, то есть минимальными ординалами соответствующей мощности. Мощность порядкового числа задает между классами порядковых и кардинальных чисел соответствие по типу «многие к одному».

Обычно произвольный ординал α{displaystyle alpha } определяется как порядковый тип множества ординалов, строго меньших α{displaystyle alpha }.
Данное свойство позволяет представить любое порядковое число в виде множества ординалов, строго меньших его самого.
Все порядковые числа можно разбить на три категории: нуль, следующее порядковое число и предельное порядковое число (последние различаются своей конфинальностью).
Для заданного класса порядковых чисел можно указать его α{displaystyle alpha }-й элемент — иначе говоря, элементы класса можно проиндексировать (сосчитать).
Такой класс будет замкнутым и неограниченным при условии, что функция индексирования непрерывна и никогда не останавливается. Нормальная форма Кантора позволяет единственным образом представить любое порядковое число в виде конечной суммы порядковых степеней ω{displaystyle omega }.
Тем не менее, такая форма не может использоваться в качестве основы для универсальной системы обозначения порядковых чисел из-за наличия в ней автореферентных представлений: например, ε0=ωε0{displaystyle varepsilon _{0}=omega ^{varepsilon _{0}}}.
Можно определять все более крупные порядковые числа, однако по мере роста их описание усложняется. Любое порядковое число можно представить в виде топологического пространства, приписав ему порядковую топологию.
Такая топология будет дискретной, тогда и только тогда, когда соответствующий ординал не превышает счётного кардинального числа, то есть меньше или равен ω{displaystyle omega }.
Подмножество ω+1{displaystyle omega +1} будет открытым в порядковой топологии тогда и только тогда, когда оно является кофинитным или не содержит ω{displaystyle omega } в качестве элемента.

Порядковые числа как расширение множества натуральных чисел |

Натуральные числа (к которым в данном случае относится и 0) имеют два основных применения: описание размера некоторого множества и описание позиции элемента в заданной последовательности. В случае конечных множеств эти понятия совпадают; с точностью до изоморфизма существует единственный способ расположить элементы конечного множества в виде последовательности. В случае же бесконечных множеств необходимо отличать понятие размера и связанных с ним кардинальных чисел от понятия позиции, обобщением которого служат описанные в данной статье порядковые числа. Это объясняется тем, что бесконечное множество, обладая однозначно определённым размером (мощностью), может быть вполне упорядочено более чем одним неизоморфным способом.

В то время как понятие кардинального числа, связанного с множеством, не требует задания на нём какой-либо структуры, ординалы тесно связаны с особой разновидностью множеств, которые называются вполне упорядоченными (в сущности эти понятия настолько близки, что некоторые математики не делают между ними никаких различий). Данный термин обозначает линейно упорядоченное множество (то есть множество с некоторым единообразным способом выбора наименьшего и наибольшего значения для произвольной пары элементов), в котором нет бесконечно убывающих последовательностей (хотя могут существовать бесконечно возрастающие), или — в эквивалентной формулировке — множество, в котором любое непустое подмножество содержит наименьший элемент. Порядковые числа можно использовать как для обозначения элементов любого заданного вполне упорядоченного множества (наименьший элемент получает метку 0, следующий за ним — метку 1, следующий — 2, «и так далее»), так и для измерения «размера» всего множества путём указания наименьшего ординала, который не является меткой какого-либо элемента множества. Такой «размер» называется порядковым типом множества.

Любое порядковое число определяется множеством предшествующих ординалов: фактически наиболее распространенное определение порядкового числа отождествляет его со множеством предшествующих ординалов. Так, ординал 42 представляет собой порядковый тип множества предшествующих ординалов, то есть ординалов от 0 (наименьший ординал) до 41 (непосредственный предшественник 42), и обычно отождествляется со множеством {0, 1, 2, …, 41}. Верно и обратное: любое замкнутое вниз множество ординалов S{displaystyle S} — то есть такое, что для любого ординала α∈S{displaystyle alpha in S} и произвольного ординала β<α{displaystyle beta <alpha } ординал β{displaystyle beta } также является элементом S{displaystyle S} — само является ординалом (либо его можно отождествить с таковым).

До этого момента мы упоминали только конечные ординалы, совпадающие с натуральными числами. Помимо них существуют также и бесконечные ординалы: наименьшим среди них является порядковый тип натуральных чисел (конечных ординалов) ω{displaystyle omega }, который даже можно отождествить с самим множеством натуральных чисел (действительно: множество натуральных чисел замкнуто вниз и, как любое множество ординалов, является вполне упорядоченным, — следовательно, его можно отождествить с соответствующим порядковым числом, что в точности соответствует определению ω{displaystyle omega }).

Схематичное представление ординала ω2{displaystyle omega ^{2}}. Каждая черта соответствует порядковому числу вида ω⋅m+n{displaystyle omega cdot m+n}, где m{displaystyle m} и n{displaystyle n} — натуральные числа.

Вероятно, более интуитивное представление о порядковых числах можно получить, рассмотрев несколько их первых представителей: как уже упоминалось выше, множество ординалов начинается с натуральных чисел 0, 1, 2, 3, 4, 5, … После всех натуральных чисел располагается первый бесконечный ординал ω{displaystyle omega }, за которым следуют ω+1{displaystyle omega +1}, ω+2{displaystyle omega +2}, ω+3{displaystyle omega +3}, и так далее. (Точный смысл сложения будет определён далее, поэтому считайте эту запись простым обозначением) После всех таких чисел располагаются ω⋅2{displaystyle omega cdot 2} (то есть ω+ω{displaystyle omega +omega }), ω⋅2+1{displaystyle omega cdot 2+1}, ω⋅2+2{displaystyle omega cdot 2+2}, и так далее, затем ω⋅3{displaystyle omega cdot 3}, а после него — ω⋅4{displaystyle omega cdot 4}. Далее, множество ординалов, которые можно записать в виде ω⋅m+n{displaystyle omega cdot m+n}, где m{displaystyle m} и n{displaystyle n} — натуральные числа, также должно обладать соответствующим порядковым числом: таким числом будет ω2{displaystyle omega ^{2}}. За ним последуют ω3{displaystyle omega ^{3}}, ω4{displaystyle omega ^{4}},…, ωω{displaystyle omega ^{omega }}, затем ωω2{displaystyle omega ^{omega ^{2}}} и — намного позже — ε0{displaystyle varepsilon _{0}} («эпсилон-нуль») (перечисленные примеры дают представление о сравнительно небольших счетных ординалах). Этот процесс можно продолжать неограниченно (выражение «неограниченности» — это и есть сильная сторона порядковых чисел: собственно говоря, когда мы, перечисляя порядковые числа, употребляем выражение «и так далее», мы тем самым определяем порядковое число большего размера). Наименьший несчетный ординал представляет собой множество всех счетных ординалов и обозначается ω1{displaystyle omega _{1}}.

Определения |

Для обозначения порядковых чисел обычно используются строчные греческие буквы α,β,…{displaystyle alpha ,beta ,dots } Данная статья придерживается таких обозначений.

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

Каждое непустое подмножество вполне упорядоченного множества содержит наименьший элемент. При соблюдении аксиомы зависимого выбора это утверждение эквивалентно тому, что множество линейно упорядочено и не содержит бесконечно убывающих последовательностей — последняя формулировка, вероятно, проще поддается визуализации. На практике важность понятия вполне упорядоченности объясняется возможностью применения трансфинитной индукции, основная идея которой сводится к тому, что любое свойство, переходящее от предшественников элемента к нему самому, должно выполняться для всех элементов (входящих в заданное вполне упорядоченное множество). Если вычислительные состояния (компьютерной программы или игры) можно вполне упорядочить так, что каждый последующий шаг будет «меньше» предыдущего, то процесс вычислений гарантированно завершится.

Далее, мы не хотим различать два вполне упорядоченных множества, если они отличаются только «маркировкой своих элементов», или, говоря более формальным языком, если элементы первого множества можно так соотнести с элементам второго, что в произвольно взятой паре элементов одного множества первый меньше второго тогда и только тогда, когда то же соотношение имеет место между их соответствующими партнерам из второго множества. Такое взаимно однозначное соответствие называется изоморфизмом, сохраняющим порядок, а два вполне упорядоченных множества называются изоморфными с сохранением порядка, или же подобными (такое подобие очевидно является отношением эквивалентности). Если два вполне упорядоченных множества изоморфны с сохранением порядка, то соответствующий изоморфизм является единственным: это обстоятельство позволяет воспринимать упомянутые множества как практически идентичные и служит основанием для поисков «каноничного» представления типов изоморфизма (классов). Порядковые числа не только играют роль такого представления, но ещё и предоставляют нам каноническую маркировку элементов любого вполне упорядоченного множества.

Иными словами, мы хотим ввести понятие ординала как класса изоморфизмов вполне упорядоченных множеств, то есть класса эквивалентности, основанного на отношении «изоморфности с сохранением порядка». При таком подходе, однако, существует одна техническая сложность: определённый таким образом класс эквивалентности оказывается слишком большим, чтобы подходить под определением множества с точки зрения стандартной формализации теории множеств по Цермело-Френкелю. Тем не менее, эта сложность не создает серьезных проблем. Ординалом мы будем называть порядковый тип произвольного множества в таком классе.

Определение порядковых чисел как классов эквивалентности |

В первоначальном определении порядкового числа, которое можно встретить, к примеру, в Principia Mathematica, под порядковым типом некоторого вполне-упорядочения понимается множество всех вполне-упорядочений, подобных ему (изоморфных с сохранением порядка): иначе говоря, порядковое число действительно представляет собой класс эквивалентности вполне упорядоченных множеств. В ZFC-теории и связанных с ней аксиоматических системах теории множеств такое определение неприемлемо, поскольку соответствующие классы эквивалентности слишком велики, чтобы их можно было считать множествами. Тем не менее, данное определение можно использовать в теории типов и аксиоматической теории множеств Куайна (Новые основания), а также других подобных системах (в которых оно позволяет сформулировать альтернативный и довольно неожиданный способ разрешения парадокса Бурали-Форти о наибольшем порядковом числе).

Определение порядковых чисел по фон Нейману |

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

Стандартное определение, предложенное фон Нейманом, звучит следующим образом: любой ординал есть вполне упорядоченное множество, состоящее из всех ординалов, меньших его. В символической записи: λ=[0,λ){displaystyle lambda =[0,lambda )}.^[2][3] Выражаясь более формальным языком,

Множество S{displaystyle S} является ординалом тогда и только тогда, когда оно строго вполне упорядочено отношением ∈{displaystyle in } и каждый элемент S одновременно является его подмножеством.

Заметим, что в соответствии с этим определением натуральные числа являются ординалами. Так, 2 принадлежит 4 = {0, 1, 2, 3} и в то же время равно {0, 1}, то есть является подмножеством {0, 1, 2, 3}.

С помощью трансфинитной индукции можно показать, что любое вполне упорядоченное множество подобно ровно одному ординалу — иначе говоря, между ними можно установить биективное соответствие, сохраняющее порядок.

Более того, элементы любого ординала сами являются ординалами. Если S{displaystyle S} и T{displaystyle T} — произвольные ординалы, то S{displaystyle S} принадлежит T{displaystyle T} тогда и только тогда, когда S{displaystyle S} является собственным подмножеством T{displaystyle T}. Далее, для любых ординалов S{displaystyle S} и T{displaystyle T} выполняется одно из соотношений: либо S∈T{displaystyle Sin T}, либо T∈S{displaystyle Tin S}, либо S=T{displaystyle S=T}. Таким образом, любое множество ординалов обладает линейной упорядоченностью и, кроме того, является вполне упорядоченным. Данный результат служит обобщением вполне упорядоченности натуральных чисел.

Отсюда следует, что элементы произвольного ординала S{displaystyle S} в точности совпадают с ординалами, строго меньшими S{displaystyle S}. Каждое множество ординалов, к примеру, обладает супремумом, который представляет собой ординал, равный объединению всех порядковых чисел, содержащихся в данном множестве. В силу аксиомы объединения такой ординал существует всегда, независимо от размера исходного множества.

Класс всех порядковых чисел не является множеством. В противном случае можно было бы доказать, что такое множество само является порядковым числом и, следовательно, своим собственным элементом, что противоречит строгой ∈{displaystyle in }-упорядоченности. Это утверждение называется парадоксом Бурали-Форти. Класс порядковых чисел обозначается различными способами: «Ord», «ON», или «∞».

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

Другие варианты определений |

В современной математике существуют и другие подходы к определению порядковых чисел. Так, при выполнении аксиомы регулярности следующие утверждения относительно множества x являются эквивалентными:

• 
  x — порядковое число,


• 
  x — транзитивное множество с трихотомичным отношением ∈{displaystyle in }
  


• 
  x — транзитивное множество, линейно упорядоченное отношением ⊆{displaystyle subseteq }. Для множества X{displaystyle X} определим двуместное отношение ϵ(X){displaystyle epsilon (X)}, состоящее из таких пар ⟨a,b⟩∈X2{displaystyle langle a,brangle in X^{2}}, что a∈b{displaystyle ain b} или a=b{displaystyle a=b}. Множество X{displaystyle X} называется транзитивным, если из b∈X{displaystyle bin X} следует b⊆X{displaystyle bsubseteq X}. Множество α{displaystyle alpha } называется ординалом, если оно транзитивно и ⟨α,ϵ(α)⟩{displaystyle langle alpha ,epsilon (alpha )rangle } — вполне упорядоченное множество.^[4]
  


• 
  x — транзитивное множество, элементы которого также являются транзитивными множествами.

Перечисленные определения неприменимы в теориях множеств без аксиомы фундирования. В теориях с урэлементами определения необходимо уточнить, поскольку урэлементы из числа элементов порядкового числа.

Трансфинитная последовательность |

Если α{displaystyle alpha } — предельный ординал, а X{displaystyle X} — некоторое множество, то α{displaystyle alpha }-индексированной последовательностью элементов X{displaystyle X} называется функция из α{displaystyle alpha } в X{displaystyle X}. Введенное таким образом определение трансфинитной последовательности или последовательности, индексированной ординалами, является обобщением понятия последовательности. Обычная последовательность соответствует случаю α=ω{displaystyle alpha =omega }.

Свойства |

• Если α{displaystyle alpha } — порядковое число, то каждый элемент α{displaystyle alpha } — порядковое число.


• Для любых α,β{displaystyle alpha ,beta } выполняется ровно одно из следующих соотношений: α∈β,α=β,β∈α.{displaystyle alpha in beta ,alpha =beta ,beta in alpha .}
  


• Любое множество порядковых чисел вполне упорядочено отношением ∈{displaystyle in } (в частности, любое порядковое число, рассматриваемое как множество, вполне упорядочено отношением ∈{displaystyle in }), при этом ⋂x{displaystyle bigcap x} — наименьший элемент множества x{displaystyle x}, ⋃x{displaystyle bigcup x} — порядковое число, большее или равное любому из элементов множества x{displaystyle x}. Выражения α<β{displaystyle alpha <beta } и α∈β{displaystyle alpha in beta } для порядковых чисел эквивалентны. Ниже подразумевается, что порядковые числа сравниваются с помощью отношения ∈.{displaystyle in .}
  


• Для любого вполне упорядоченного множества x{displaystyle x} существует единственное порядковое число, изоморфное x{displaystyle x} (в частности, для любого множества порядковых чисел существует единственное порядковое число, изоморфное ему).


• Любое α{displaystyle alpha } совпадает с множеством всех порядковых чисел, меньших, чем α{displaystyle alpha }.


• Начальный сегмент любого порядкового числа является порядковым числом.


• Пустое множество ∅{displaystyle varnothing } — наименьшее порядковое число (а значит, оно является элементом любого другого порядкового числа).


• 
  α{displaystyle alpha } называется непредельным, если либо оно равно ∅{displaystyle varnothing }, либо существует непосредственно предшествующее ему β;{displaystyle beta ;} другими словами, если существует β<α,{displaystyle beta <alpha ,} но между ними нельзя вставить другое порядковое число β<γ<α.{displaystyle beta <gamma <alpha .} В последнем случае говорят, что α{displaystyle alpha } — порядковое число, следующее за β{displaystyle beta }, и пишут: α=β+˙1{displaystyle alpha =beta {dot {+}}1} (иногда просто α=β+1,{displaystyle alpha =beta +1,} что оказывается согласованным с обозначением для суммы порядковых чисел).


• Порядковые числа, не являющиеся непредельными, называются предельными порядковыми числами (иногда ∅{displaystyle varnothing } тоже относят к предельным порядковым числам).


• α+˙1=α∪{α}.{displaystyle alpha {dot {+}}1=alpha cup {alpha }.}


• Множество всех конечных порядковых чисел изоморфно множеству неотрицательных целых чисел, и для них используются такие же обозначения, как для целых чисел. При этом операции сложения, умножения и возведения в степень для порядковых чисел переходят в соответствующие операции для целых чисел. Несколько первых порядковых чисел:

0=∅;1={0}=0∪{0}={∅};2={0,1}=1∪{1}={∅,{∅}};3={0,1,2}=2∪{2}={∅,{∅},{∅,{∅}}};…{displaystyle {begin{aligned}&0=varnothing ;\&1={0}=0cup {0}={varnothing };\&2={0,1}=1cup {1}={varnothing ,{varnothing }};\&3={0,1,2}=2cup {2}={varnothing ,{varnothing },{varnothing ,{varnothing }}};\&dots end{aligned}}}

• Множество всех конечных порядковых чисел обозначается ω.{displaystyle omega .} Оно является наименьшим предельным порядковым числом и наименьшим бесконечным (а именно счётным) порядковым числом. Следующим за ним порядковым числом является ω+˙1=ω∪{ω}.{displaystyle omega {dot {+}}1=omega cup {omega }.}
  


• Условие конечности α{displaystyle alpha } можно записать как α<ω{displaystyle alpha <omega } или, что то же самое, α∈ω.{displaystyle alpha in omega .}
  


• Существует бесконечное множество порядковых чисел, но не существует множества всех порядковых чисел. Иначе говоря, совокупность всех порядковых чисел является собственно классом.


• Каждое множество порядковых чисел A{displaystyle A} ограничено сверху и имеет точную верхнюю грань, которая обозначается supA.{displaystyle sup A.} При этом A⊆supA.{displaystyle Asubseteq sup A.}
  


• Если α{displaystyle alpha } — предельное порядковое число или ∅{displaystyle varnothing }, то supα=α,{displaystyle sup alpha =alpha ,} иначе supα<α.{displaystyle sup alpha <alpha .}
  


• Точная верхняя грань счётного множества счётных порядковых чисел счётна.


• Каждое порядковое число имеет единственное представление в нормальной форме Кантора (англ.).

Арифметика порядковых чисел |

Определения операций |

• Сумма порядковых чисел рекурсивно определяется следующим образом:

α+0=αα+(β+˙1)=(α+β)+˙1α+γ=sup{α+β∣β<γ},{displaystyle {begin{aligned}&alpha +0=alpha \&alpha +(beta {dot {+}}1)=(alpha +beta ){dot {+}}1\&alpha +gamma =sup{alpha +beta mid beta <gamma },end{aligned}}}

где третье правило применяется в случае, когда γ{displaystyle gamma } является предельным порядковым числом.

• Используя те же обозначения, определим операцию умножения:

α⋅0=0α⋅(β+˙1)=α⋅β+αα⋅γ=sup{α⋅β∣β<γ}.{displaystyle {begin{aligned}&alpha cdot 0=0\&alpha cdot (beta {dot {+}}1)=alpha cdot beta +alpha \&alpha cdot gamma =sup{alpha cdot beta mid beta <gamma }.end{aligned}}}

• Используя те же обозначения, определим операцию возведения в степень:

α0=1αβ+˙1=αβ⋅ααγ=sup{αβ∣β<γ}.{displaystyle {begin{aligned}&alpha ^{0}=1\&alpha ^{beta {dot {+}}1}=alpha ^{beta }cdot alpha \&alpha ^{gamma }=sup{alpha ^{beta }mid beta <gamma }.end{aligned}}}

Свойства операций |

• Сложение порядковых чисел некоммутативно; в частности, 1+ω=ω≠ω+1.{displaystyle 1+omega =omega neq omega +1.}
  


• Сложение порядковых чисел ассоциативно: α+(β+γ)=(α+β)+γ,{displaystyle alpha +(beta +gamma )=(alpha +beta )+gamma ,} что позволяет записывать сумму нескольких слагаемых без скобок.


• Сумма возрастает при росте правого слагаемого и не убывает при росте левого слагаемого: из β1>β2{displaystyle beta _{1}>beta _{2}} следует α+β1>α+β2{displaystyle alpha +beta _{1}>alpha +beta _{2}} и β1+α⩾β2+α.{displaystyle beta _{1}+alpha geqslant beta _{2}+alpha .}
  


• Если α⩾β,{displaystyle alpha geqslant beta ,} то существует единственный ординал γ{displaystyle gamma }, для которого β+γ=α.{displaystyle beta +gamma =alpha .}
  


• Умножение порядковых чисел некоммутативно; в частности, 2⋅ω=ω≠ω⋅2.{displaystyle 2cdot omega =omega neq omega cdot 2.}
  


• Умножение порядковых чисел ассоциативно: α⋅(β⋅γ)=(α⋅β)⋅γ,{displaystyle alpha cdot (beta cdot gamma )=(alpha cdot beta )cdot gamma ,} что позволяет записывать произведение нескольких сомножителей без скобок.


• Для сложения и умножения выполняется левая дистрибутивность: α⋅(β+γ)=α⋅β+α⋅γ.{displaystyle alpha cdot (beta +gamma )=alpha cdot beta +alpha cdot gamma .}
  


• α+0=0+α=α.{displaystyle alpha +0=0+alpha =alpha .}


• α+1=α+˙1.{displaystyle alpha +1=alpha {dot {+}}1.}


• α∈ω↔α+ω=ω.{displaystyle alpha in omega leftrightarrow alpha +omega =omega .}


• α⋅0=0⋅α=0.{displaystyle alpha cdot 0=0cdot alpha =0.}


• α⋅1=1⋅α=α.{displaystyle alpha cdot 1=1cdot alpha =alpha .}


• α∈ω∧α≠0↔α⋅ω=ω.{displaystyle alpha in omega land alpha neq 0leftrightarrow alpha cdot omega =omega .}


• α+β=0↔α=0∧β=0.{displaystyle alpha +beta =0leftrightarrow alpha =0land beta =0.}


• α⋅β=0↔α=0∨β=0.{displaystyle alpha cdot beta =0leftrightarrow alpha =0lor beta =0.}


• α0=1.{displaystyle alpha ^{0}=1.}


• α1=α.{displaystyle alpha ^{1}=alpha .}


• α≠0↔0α=0.{displaystyle alpha neq 0leftrightarrow 0^{alpha }=0.}


• 1α=1.{displaystyle 1^{alpha }=1.}


• α∈ω∧α>1↔αω=ω.{displaystyle alpha in omega land alpha >1leftrightarrow alpha ^{omega }=omega .}


• αβ⋅αγ=αβ+γ.{displaystyle alpha ^{beta }cdot alpha ^{gamma }=alpha ^{beta +gamma }.}


• (αβ)γ=αβ⋅γ.{displaystyle (alpha ^{beta })^{gamma }=alpha ^{beta cdot gamma }.}


• α>1∧β>γ↔αβ>αγ.{displaystyle alpha >1land beta >gamma leftrightarrow alpha ^{beta }>alpha ^{gamma }.}


• β∈ω→α+β=α+˙1+˙1+˙⋯+˙1⏟β.{displaystyle beta in omega to alpha +beta =alpha underbrace {{dot {+}}1{dot {+}}1{dot {+}}dots {dot {+}}1} _{beta }.}


• β∈ω→α⋅β=0+α+α+⋯+α⏟β.{displaystyle beta in omega to alpha cdot beta =0underbrace {+alpha +alpha +dots +alpha } _{beta }.}


• β∈ω→αβ=1⋅α⋅α⋅⋯⋅α⏟β.{displaystyle beta in omega to alpha ^{beta }=1underbrace {cdot alpha cdot alpha cdot dots cdot alpha } _{beta }.}


• В случае конечности аргументов сложение, умножение и возведение в степень переходят в соответствующие операции для целых чисел (с конечными результатами).


• В случае счётности аргументов результаты сложения, умножения и возведения в степень также являются счётными.

См. также |

• Кардинальное число

Примечания |

Литература |