Трансфинитное число
Трансфини́тное число́ (от транс... и лат. finitus – ограниченный), обобщение понятия порядкового числа. Определение трансфинитного числа опирается на понятие вполне упорядоченного множества. Каждое конечное множество можно сделать вполне упорядоченным, расположив все его элементы в определённом порядке. Простейшим примером бесконечного вполне упорядоченного множества является множество всех натуральных чисел, расположенных в порядке возрастания; то же множество, расположенное в порядке убывания (так, что большее считается предшествующим меньшему), уже не будет вполне упорядоченным, т. к. ни одно его бесконечное подмножество не имеет первого элемента. Два упорядоченных подмножества и называются подобными или имеющими один и тот же порядковый тип, если между их элементами можно установить взаимно однозначное соответствие, сохраняющее порядок элементов. Все конечные вполне упорядоченные множества, содержащие одинаковое число элементов, подобны между собой. Поэтому порядковые типы конечных вполне упорядоченных множеств можно отождествить с натуральными числами, которые появляются, таким образом, как порядковые числа (тогда как, характеризуя количество элементов множества, те же натуральные числа выступают в другом своём аспекте – количественных чисел).
Трансфинитными числами называются порядковые типы бесконечных вполне упорядоченных множеств. Тем самым понятие трансфинитного числа представляет собой распространение понятия порядкового числа на бесконечные множества. Аналогичное обобщение количественного числа приводит к понятию мощности множества. Так как неравномощные множества нельзя поставить во взаимно однозначное соответствие, то вполне упорядоченным множествам различной мощности соответствуют различные трансфинитные числа. Однако обратное (в отличие от конечных множеств) неверно: бесконечные вполне упорядоченные множества могут быть равномощными, не будучи подобными и тем самым определяя различные трансфинитные числа.
Для трансфинитного числа можно ввести понятия «больше» и «меньше». Трансфинитное число , по определению, меньше трансфинитного числа , если какое-либо (а значит, и любое) вполне упорядоченное множество типа подобно некоторому отрезку какого-нибудь (а следовательно, и любого) множества типа . При этом отрезком вполне упорядоченного множества, отсечённым элементом , называется подмножество его элементов, предшествующих . Для любых двух трансфинитных чисел и всегда либо , либо , либо .
В применении трансфинитных чисел к различным вопросам математики важную роль играет принцип трансфинитной индукции, обобщающий обычный принцип математической индукции на произвольные вполне упорядоченные множества: если некоторое предложение верно для первого элемента вполне упорядоченного множества и если из того, что оно верно для всех элементов множества , предшествующих данному элементу из множества , следует его справедливость и для элемента , то это предложение верно для каждого элемента множества .