Теорема о произведении
Теорема 1. Пусть (X,£) и (Y,£) – конечные частично упорядоченные множества, mX: X´X® Z и mY: Y´Y® Z – их функции Мебиуса. Тогда, для любых x1, x2 Î X и
y1, y2 Î Y имеет место равенство
mX´Y ((x1, y1), (x2 , y2 )) = mX (x1, x2) mY (y1, y2).
Доказательство. Введем дзета-функцию zX: X´X® Z, с помощью формулы
zX (x1, x2 ) = 1 Û x1 £ x2. Достаточно доказать формулу
,
где da,b – символ Кронекера. Вычислим левую часть доказываемой формулы
Получили, что она равна правой части. Что и требовалось доказать.
Пример 1. Вычислим в частично упорядоченном множестве делителей числа n ≥ 1. По доказанной теореме, в случае разложения n = в произведение степеней различных простых чисел pi>1, будет иметь место соотношение . Поскольку
то имеем
m(1,n) = 0, если существует i такой, что ai >1,
m(1,n) =(-1)m, если n = p1p2 × × × pm. 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | Поиск по сайту:
|