|
"
0
C
F
G
H
K
L
N
P
S
T
W
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
ЛЕКСИКОГРАФИЧЕСКИЙ ПОРЯДОКЗначение ЛЕКСИКОГРАФИЧЕСКИЙ ПОРЯДОК в математической энциклопедии: порядок на прямом произведении  означает, что для нек-рого k  Л. п. является частным случаем упорядоченного произведения частично упорядоченных множеств (см. [3]). Л. п. может быть определен аналогично и для любого частично упорядоченного множества индексов L(см. [11), однако в этом случае отношение на множестве Лексикографич. произведение конечного числа вполне упорядоченных множеств вполне упорядочено. Лексикографич. произведение цепей есть цепь. Для конечного LЛ. п. рассматривался фактически еще Г. Кантором [4] при определении произведения порядковых типов линейно упорядоченных множеств. Л. п. широко используется вне математики, например при упорядочении слов в словарях, справочниках и т. п. Лит.:[1] Б и р к г о ф Г., Теория структур, пер. с англ. М., 1952; [2] К у р а т о в с к и й К., М о с т о в с к и й А. Теория множеств, пер. с англ., М., 1970; [3] С к о р н я к о в Л. А. Элементы теории структур, М., 1970; [4] Cantor G. "Math. Ann.", 1895, Bd 46, №4, S. 481-512; [5] Hausdorf f F. Grundzuge dcr Mengenlehre, Lpz., 1914. Т. С. Фофанова |
|
|
|
частично упорядоченных множеств Х a, где множество индексов L- вполне упорядочена, определяемый следующим образом: если 
тогда и только тогда, когда либо 
для, всех 
либо существует такое 
что 
для всех 
Множество X, упорядоченное лексикографич. порядком, наз. л е к с и к о г р а ф и ч е с к и м, или ординальным, произведеннем множеств Х a. Если все множества Х a, совпадают между собой (Х a=Y для всех 
), то их лексикография, произведение наз. ординальной степенью множества Yи обозначается 
Говорят также, что Xупорядочено по принципу первого различия (как слова упорядочены в словаре). Таким образом, если L- натуральный ряд, то 
не обязано быть порядком в обычном смысле.