Следовательно, выполняется выражение (*).
Таким образом установлено взаимнооднозначное соответствие между
множеством сочетаний из n + k − 1 по k и множеством мультимножеств
мощности k над множеством из n элементов. Следовательно мощности
этих множеств равны.
¤
1.5.7 Связь мультимножеств и (0,1)-векторов
Можно привести другое доказательство утверждения 1.5.9, используя
связь мультимножеств с (0,1)-векторами. Как мы помним из пункта 1.5.3
каждому (0,1)-вектору из n элементов с ровно k единицами однозначно
соответствует некоторое сочетание из n элементов по k.
Каждому мультимножеству мощности k на n-элементном множестве
S = {s
1
, s
2
, ..., s
n
} можно поставить в соответствие (0,1)-вектор длины
n + k − 1 из k нулей и n − 1 единицы, такой что число нулей,
находящихся между i−1-й и i-й единицами, будет равно числу вхождений
в мультимножество элемента s
i
, 2 ≤ i ≤ n − 1; число нулей перед
первой единицей равно числу вхождений в мультимножество элемента
s
1
; число нулей после n − 1-й единицы равно числу вхождений в
мультимножество элемента s
n
. Это соответствие между множеством
¡¡
S
k
¢¢
и множеством (0,1)-векторов длины n + k − 1 c n − 1-й единицей
является взаимнооднозначным.
Таким образом, каждому (0,1)-вектору длины n + k − 1 с n −
1-й единицей однозначно соответствует сочетание из n + k − 1 по
n − 1 и в тоже время ему соответствует мультимножество мощности
k на n-элементном множестве. Следовательно, мы установили
взаимнооднозначное соответствие между множеством всех сочетаний из
n + k − 1 по n − 1 и множеством всех мультимножеств мощности k
на n-элементном множестве. Значит,
¡
n+k−1
k
¢
=
¡
n+k−1
n−1
¢
=
¡¡
n
k
¢¢
, что и
требовалось доказать.
61