Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Дискретная математика.doc
Скачиваний:
107
Добавлен:
12.04.2015
Размер:
1.72 Mб
Скачать

2.2. Сочетания

Сочетанием элементов множестваXназывается подмножество конечного множестваAX. Если|A|=k,|X|=n, то подмножествоXназывается сочетанием из n по k. Например, сочетания трех цветов семицветной радуги будут описываться подмножествами, состоящими из трех элементов выбранных из множества, состоящего из 7 элементов.

Треугольник Паскаля и бином Ньютона. Для вычисления числа сочетаний построим таблицу, которая называется треугольником Паскаля. Она основана на следующей теореме:

Теорема 1. Число сочетаний удовлетворяет соотношениям:

;( при 0 <k<n) .

Доказательство.Число пустых подмножеств равно 1. Стало быть,. Подмножества, состоящие изnэлементов, совпадают со всем множеством, отсюда. Число сочетаний, не содержащихn-й элемент, равно, а содержащих –. Следовательно, при 0 <k<n,

Следующая таблица 2.1 строится на основе теоремы 1 и называется треугольником Паскаля.

Таблица 2.1

Треугольник Паскаля

n k

0

1

2

3

4

5

0

1

1

1

1

2

1

2

1

3

1

3

3

1

4

1

4

6

4

1

5

1

5

10

10

5

1

6

1

6

15

20

15

6

Теорема 2. Число сочетаний из n по k равно .

Доказательство.По индукции поn. Приn=0 иk=0 получаем .Пусть теорема верна дляn. С помощью теоремы 1 получаем

.

Откуда формула верна для n+1 и всехk <n+1.

Другой способ доказательства заключается в сопоставлении каждой инъекции ее образ. В этом случае, учитывая, что число инъекций с одинаковым образом равно k!, получаемÞ.

Теорема 3. (Бином Ньютона).

Доказательство.По индукции поn. Пусть формула верна дляn. Тогда

Можно предложить также другое доказательство: Рассмотрим произведение nсомножителей (1+x) (1+x)×××(1+x). Сомножители будем рассматривать как ящики. Произведение равно сумме степенейxk, причем при каждомkслагаемыеxkполучаются выбором из ящиковkэлементов, равныхx. Отсюда коэффициент приxkбудет равен количеству содержащихkэлементов подмножеств множества, состоящего изnэлементов.

Применение сочетаний. Сочетание можно интерпретировать как размещение без повторений неразличимых предметов в ящиках.

Пример 1. Найдем вероятность угадать 7 номеров из 49 (игра спортлото). Количество вариантов равно числу сочетаний из 49 элементов по 7. Существует единственный благоприятный вариант. Отсюда вероятность равна .

Теорема 4. Число возрастающих функций f: {1, 2, , k}  {1,2,  , n} равно .

Доказательство. Каждой возрастающей функции сопоставим ее образ {f(1),f(2),, f(k)}{1,2, …,n}. Получим биекцию между возрастающими функциями и подмножествами множества {1, …,n}, состоящими изkэлементов. Согласно определению сочетания, число таких подмножеств равно числу сочетаний .

Замечание. Возрастающая функция задается возрастающей последовательностьюkчисел. Отсюда число возрастающих последовательностейx1 < …<xkчисел, принадлежащих множеству {1, 2, …,n}, будет равно .

Теорема 5. Число последовательностей натуральных чисел (x1 , x2 ,  , xk), xi1, удовлетворяющих уравнению

x1 + x2 +  + xk=n,

равно .

Доказательство. Каждой последовательности (x1 , x2 ,  , xk), удовлетворяющей данному уравнению сопоставим возрастающую последовательностьy1 =x1 , y2=x1+ x2 ,  , yk-1 = x1+ x2 +…+xk-1. Наоборот, каждой возрастающей последовательностиy1< …<yk-1<nможно сопоставить решение данного уравнение, состоящее из чиселx1=y1,x2=y2-y1, …,xk-1=yk-1-yk-2,xk=n-yk-1. Получаем биекцию между решениями данного уравнения и возрастающими последовательностями, состоящими изk-1 чисел принимающих значения 1, 2, …,n-1. По теореме 4 число таких возрастающих последовательностей равно .

Теорема 6. Число неубывающих сюръекций{0,1,  , n –1} {0, 1,  , k–1 }равно.

Доказательство.Каждая сюръекция задает разбиение множества {0, 1,  , k–1 } на подмножестваf ─1(0) , f ─1(1),  , f ─1(n –1). Пустьm0– наибольший вf ─1(0),m1– наибольший вf ─1(1) ,, mn-2– наибольший вf─1(n –2). Тогдаmn-1 = k – 1. Следовательно,

0 ≤ m0 < m1 <  < mn-2k-2.

Число таких последовательностей равно – количеству возрастающих функцийn–1 k–1.