logo
Дискретная математика

Теорема 3. ,n  0 .

Доказательство.Множество разбиенийX={1,2,, n+1} состоит из классов, зависящих от блокаAсодержащегоn+1. Для такихAбудет справедливо включениеX\A {1, 2,, n}. Отсюда каждое разбиение можно получить, выбрав блок An+1 и разбиение(X\A). Выбор блокаAс |A|=k+1, будет осуществляться выбором подмножества из {1,2,,n}, состоящего изkэлементов. Следовательно,.