Вы находитесь на странице: 1из 54

Элементы теории множеств.

Множества, подмножества, элементы множества.


Множества обычно обозначаются большими буквами А,
В, С,…., а их элементы - малыми: а, в, с,… Запись a  A
(читается: а принадлежит А) означает, что а есть элемент
множества А. Записи aA, a  A, (а не принадлежит А)
означает, что а не является элементом множества А. Пустое
множество обозначается значком  .
Опр. Если каждый элемент множества В является также
элементом множества А, множество В называется под-
множеством множества А (обозначение - B  A или
A  B ).
1
Каждое множество является своим подмножеством (это
самое "широкое" подмножество множества). Пустое мно-
жество является подмножеством любого множества (это
самое "узкое" подмножество). Любое другое подмножество
множества А содержит хотя бы один элемент множества А,
но не все его элементы. Такие подмножества называются
истинными, или собственными подмножествами. Для ис-
тинных подмножеств множества А применяется обозначе-
ние B  A или A  B . Если одновременно B  A и A  B ,
т.е. каждый элемент множества В принадлежит А, и в то же
время каждый элемент А принадлежит В, то А и В, очевид-
но, состоят из одних и тех же элементов и, следовательно,
совпадают, т.е. A=B.
2
Общепринятые обозначения множеств:
N  {1,2,3,...} – множество натуральных чисел;
N 0  {0,1,2,...} – множество натуральных чисел с нулем;
Z  {0, 1, 2, 3,...} – множество целых чисел;
p
Q  { : p  Z , q  N } – множество рациональных чисел;
q
I  { ,e, 2,...} – множество иррациональных чисел;
R – множество вещественных (действительных) чисел;
C  {z  x  iy, x  R, y  R,i 2  1} – множество ком-
плексных чисел.

3
Геометрически множества обычно изображаются как неко-
торые множества точек плоскости. В любой имеющей
смысл задаче обычно рассматриваются подмножества не-
которого "наибольшего" множества U, которое называют
универсальным множеством.

Операции над множествами.


Опр. Пусть даны множества А и В. Их объединением
называется множество С, состоящее из элементов, принад-
лежащих хотя бы одному из множеств А, В.
C  A B  {x : x  A x  B}.
Аналогично определяется объединение большего числа
множеств.
4
Опр. Объединением множеств А1, А2, А3, …, Аn (обо-
n
значение Ai ) называется множество, состоящее из эле-
i 1
ментов, принадлежащих хотя бы одному из множеств А1,
А2, А3, …, Аn.
Свойства операции объединения.
Теор. Справедливы следующие равенства:
1. A B  B A (коммутативность);
2. ( A B) C  A ( B C ) (ассоциативность);
3. Если A  B , то A B  A;
4. A    A.

5
Опр. Пересечением множеств А и В называется мно-
жество С, состоящее из элементов, принадлежащих одно-
временно и множеству А, и множеству В. Если множества
А и В не имеют общих элементов, их пересечение равно
пустому множеству; в этом случае множества А и В назы-
ваются непересекающимися.
C  A B  {x : x  A x  B}

Свойства операции пересечения множеств.


Теор. Справедливы следующие равенства:
1. A B  B A (коммутативность);
2. ( A B) C  A ( B C ) (ассоциативность);

6
3. Если A  B , то A B  B ;
4. A   .
Опр. Пересечением множеств А1, А2, А3, …, Аn (обозна-
n
чение Ai ) называется множество, состоящее из элемен-
i 1

тов, входящих в каждое из множеств А1, А2, А3, …, Аn.


Теор. Для операций объединения и пересечения мно-
жеств справедливы законы дистрибутивности:
1. A ( B C )  ( A B) ( A C ) ;
2. A ( B C )  ( A B) ( A C ) .
Опр. Разностью множеств А и В называется множество
А\В, содержащее те элементы множества А, которые не
принадлежат множеству В.
7
C  A \ B  {x : x  A  x  B}.
Теор. Операции разности и дополнения антидистрибу-
тивны относительно операций объединения и пересечения:
1. A \ ( B C )  ( A \ B) ( A \ C ) ;
2. A \ ( B C )  ( A \ B) ( A \ C ) .
(Дополнение к объединению некоторых множеств равно
пересечению их дополнений; дополнение к пересечению
множеств равно объединению их дополнений. Другими
словами, символ дополнения \ можно менять местами со
знаками и , при этом один из этих знаков заменяется
другим).
Мощность множества.
Количество элементов в конечном множестве есте-
8
ственно характеризовать их числом. В этом смысле множе-
ство чисел {-2, 0, 3,8} и множество букв {с, х, ф, а} эквива-
лентны, так как они содержат одинаковое число элементов.
Для бесконечных множеств такого простого правила срав-
нения количеств элементов в них нет; чтобы получить воз-
можность описывать количество элементов в бесконечных
множествах, введём следующие определения.
Опр. Между множествами А и В установлено взаимно-
однозначное соответствие, если каждому элементу мно-
жества А каким-либо образом сопоставлен единственный
элемент множества В, при этом каждому элементу множе-
ства В сопоставляется единственный элемент множества А.

9
Опр. Множества, между которыми можно установить
взаимно-однозначное соответствие, называются равно-
мощными (имеющими одинаковую мощность, эквива-
лентными). Равномощность множеств обозначается сим-
волом "~": А~В.
Так, для приведённых выше множеств взаимно-
однозначное соответствие устанавливается соотношениями
-2с, 0ф, 3а, 8х.
Рассмотрим множество N натуральных чисел и множество
N2={2, 4, 6, …} четных чисел. Взаимно-однозначное соот-
ветствие между этими множествами устанавливается соот-
ношениями n2n, следовательно, эти множества равно-
10
мощны: N~N2. Этот пример показывает, что собственное
подмножество может быть равномощным всему множе-
ству; естественно, это может быть только для бесконечных
множеств.
Соотношение ~ эквивалентности множеств транзитив-
но: если А~В, В~С, то А~С. Взаимно-однозначное соответ-
ствие между элементами а множества А и с множества С
устанавливается по цепочке а вс.
Опр. Множество, эквивалентное множеству натураль-
ных чисел N называется счётным множеством.

Другими словами, множество счётно, если его элементы


можно перенумеровать всеми натуральными числами.
11
Счётны множества N2 чётных натуральных чисел, множе-
ство нечётных чисел (соответствие n2n-1), множество
всех целых чисел {0,1,2,3,4,…} (соответствие 10,
2-1, 31, 4-2, 52, …; вообще n(n-1)/2 для нечёт-
ных n и n-n/2 для чётных n).
Равномощны множества точек любых двух отрезков [a,b] и
[c,d] (соответствие можно установить, например, с помо-
щью центрального проектирования; рис. 1). Так же можно
доказать равномощность множеств точек любых двух ин-
тервалов. Множество точек интервала равномощно множе-
ству точек всей прямой (рис. 2).

12
c d

a b

Рис. 1 Рис. 2.

Сложнее ответить на вопрос, равномощны ли множества


точек отрезка и интервала. Положительный ответ на этот
вопрос даёт следующая теорема:
Теор. Если множество А равномощно подмножеству В1
множества В, а множество В равномощно подмножеству А1
множества А, то множества А и В равномощны.

13
Опр. Множество, эквивалентное множеству точек лю-
бого отрезка, называется множеством мощности контину-
ум.
Счётные множества.
1. Любое бесконечное подмножество В счётного множества
А также счётно.
Элементы В можно перенумеровать в порядке их следова-
ния в А; так как В бесконечно, для нумерации будут ис-
пользованы все натуральные числа.
2. Объединение конечной или счётной совокупности счёт-
ных множеств - счётное множество.

14
3. Множество Q рациональных чисел счётно.
Множество рациональных чисел (чисел вида p/q, где p,q -
целые числа, q0) можно представить как объединение
счётного числа следующих счётных множеств:
множества Q1 всех целых чисел n=0,1,2,3,….;
множество Q2 всех дробей вида n/2,
множество Q3 всех дробей вида n/3,…………….,
множество Qк всех дробей вида n/к, n=0,1,2,3,…..;
следовательно, оно счётно.
Множества мощности континуум.
1. Множество мощности континуум несчётно.
2. Если А - бесконечное множество, В - конечное или счёт-
15
ное множество, то A B – множество, равномощное А.
Выберем в А счётное подмножество С и пусть D=А\С. То-
гда А= D С; А В= D (С В). С и В - счётные множества,
следовательно, С В -также счётное множество, т.е. суще-
ствует взаимно-однозначное соответствие между элемен-
тами С и С В. Применяя это соответствие и тождествен-
ное соответствие между элементами множества D, получим
взаимно-однозначное соответствие между элементами
D С и D (С В), что означает равномощность множеств
А и А В.
Следует отметить, что из этого свойства непосредственно
следует равномощность множеств точек отрезка и интерва-
ла.
16
Множества высших мощностей.
Опр. Если множества А и В неравномощны, но одно из
них, например, А, равномощно с некоторым подмноже-
ством множества В, то множество В называется множе-
ством большей мощности, чем А.
Минимальной мощностью обладает пустое множество.
Счётное множество имеет большую мощность, чем любое
конечное, континуум - большую мощность, чем счётное.
Существуют ли множества большей мощности? Следую-
щая теорема показывает, что для любого множества можно
построить более мощное множество.
Теор. Мощность множества всех подмножеств непусто-
17
го множества А больше, чем мощность исходного множе-
ства А.
Элементы математической логики.
Высказывания и действия над ними.
Опр. Утверждение, относительно которого известно,
истинно оно или ложно, будем называть высказыванием.
Примеры: (A) число 6 больше числа 2; (B) число 6
меньше или равно числу 2; (C) Волга впадает в Каспийское
море; (D) Путин - наш президент; (Е) чтобы хорошо жить,
надо хорошо учиться.
Утверждения A, C - истинные высказывания; В - лож-
ное; D - утверждение, истинное в настоящий момент, одна-
18
ко об его истинности через два года мы ничего сказать не
можем, такие утверждения мы высказываниями считать не
будем; (Е) - не высказывание, так как проверить его истин-
ность невозможно. В дальнейшем мы будем рассматривать
в основном математические утверждения, для которых
неоднозначности в понимании смысла утверждений возни-
кать не будет.
Итак, высказывание - утверждение, которое или истин-
но, или ложно (третья возможность исключена); никакое
высказывание не может быть одновременно и истинным, и
ложным.

Для описания истинности высказываний необходимы два


19
символа - один для истинных высказываний, другой - для
ложных. Можно применять буквы "и" и "л"; однако чаще
применяются цифры 0 и 1. Именно, ложному высказыва-
нию припишем значение 0, истинному - значение 1. Таким
образом, для вышеприведённого примера истинность вы-
сказываний A и С равна 1; истинность высказывания B
равна 0.
Опр. Отрицанием высказывания А (обозначение А;
читается: "не А") называется высказывание, которое ложно
тогда, когда А - истинно, и истинно, когда А ложно.
Для приведённых примеров В=А.
Опр. Конъюнкцией высказываний А и В (обозначение

20
АВ, читается: А и В) называется высказывание, истинное
тогда, когда истинны оба высказывания А и В, и ложное в
остальных случаях.
Опр. Дизъюнкцией высказываний А и В (обозначение
АВ, читается: А или В) называется высказывание, истин-
ное тогда, когда истинно хотя бы одно из высказываний А
и В, и ложное, если и А и В ложны.
Опр. Импликацией высказываний А и В (обозначение
АВ, читается: из А следует В; если А, то В) называется
высказывание, ложное в случае, если А истинно, а В ложно,
и истинное в остальных случаях.
Опр. Эквивалентностью высказываний А и В (обозна-
21
чение АВ, читается: тогда и только тогда, необходимо и
достаточно) называется высказывание, истинное тогда, ко-
гда оба высказывания А и В либо истинны, либо ложны, и
ложное если одно из высказываний А, В истинно, а другое
ложно.
Кванторы.
Утверждения, содержащие переменные x, y, z,… с обла-
стями возможных значений X, Y, …, обладающие тем свой-
ством, что для каждого набора переменных xX,
yY,…истинность утверждения может быть установлена, в
дальнейшем тоже будем называть высказываниями. Зави-
симость высказываний А, В, … от переменной x будем обо-
22
значать как А(х), В(х),… xX. Подмножество Х(А)Х
множества Х такое, что для любого хХ(А) высказывание
А(х) истинно, будем называть областью истинности выска-
зывания А (так, для высказывания х>-2, X=[-5, 5] будет
Х(А) = (-2, 5]).
Кванторы - логические операции, с помощью которых
по некоторому высказыванию А(х) получают новые выска-
зывания, характеризующие область истинности высказы-
вания А(х).
Опр. Квантором всеобщности (обозначение - ) вы-
сказывания А(х), x X, называется логическая операция,
имеющая значение "истина", если высказывание А(х) ис-

23
тинно для любого элемента xX, и значение "ложь" в про-
тивоположном случае (т.е. в случае, когда хотя бы для од-
ного x X высказывание А(х) ложно).
Формула хХ, А(х) читается как "для любого х, при-
надлежащего Х, справедливо А(х)"; "все х из Х удовлетво-
ряют условию А(х)" и т.д.
Формальное определение квантора всеобщности:
1, если A(x)  1 для любого x  X;

 x  X , A( x)   0, если существует хотя бы один
 x  X , для которого A(x)  0 .

Примеры: высказывание (х[-2,4], x2>-2) - истинно,
высказывание (х[-2,4], x2>16) - ложно, высказывание
24
(хN, x2>0) - истинно, высказывание (хR, x2>0) - лож-
но.
Опр. Квантором существования (обозначение -) вы-
сказывания А(х), x X, называется логическая операция,
имеющая значение "истина", если высказывание А(х) ис-
тинно хотя бы для одного элемента x X, и значение
"ложь" в противоположном случае (т.е. в случае, когда вы-
сказывание А(х) ложно для всех x X).
Формула хХ, А(х) читается как "существует (найдёт-
ся) (хотя бы один) элемент х, принадлежащий Х, для кото-
рого справедливо А(х)". Формальное определение квантора
существования:
25
1, если существует хотя бы один x  X ,

 x  X , A( x)    для которого A(x)  1;
0, если A(x)  0 для любого x  X .

Примеры: высказывание (х[-2,4], x2 > 20) - ложно, вы-
сказывание (х[-2,4], x2 > 10) - истинно,
высказывание (хN, x2 = 0) - ложно, высказывание (хR,
x2 = 0) - истинно.
Опр. Квантором существования и единственности
(обозначение -!) высказывания А(х), x X, называется ло-
гическая операция, имеющая значение "истина", если на
множестве X существует элемент x, для которого высказы-
вание А(х) истинно, и такой элемент единственен, и зна-
26
чение "ложь" в противоположном случае (т.е. в случае, ко-
гда высказывание А(х) ложно для любого элемента x X
либо А(х) истинно более чем для одного элемента x X).
Формула ! хХ, А(х) читается как "существует един-
ственный элемент х, принадлежащий Х, для которого спра-
ведливо А(х)”. Формальное определение квантора суще-
ствования и единственности:
1, если A(x)  1 для одного
единственного x  X;

 ! x  X , A( x)   0, если существует несколько x  X ,
для которых A(x)  1,

 либо для x  X A(x)  0 .
27
Примеры: высказывание (! х[-2,4], x2  16) - истинно,
высказывание (!х[-2,4], x2 > 15) - ложно, высказывание
(!хN, x2  1) - истинно, высказывание (!хR, x2  1) -
ложно.

Применение кванторов позволяет компактно записывать


формулировки теорем, определений и других математиче-
ских утверждений. Например, теорема о существовании
корней квадратного уравнения запишется так:
a  R, b  R, c  R, a  0 (x  R (ax 2  bx  c  0) 
.
b  4ac  0)
2

28
При проведении математических рассуждений (доказатель-
ство теорем от противного, формулировки противополож-
ных теорем и т.д.) часто приходится строить отрицания не-
которых утверждений. Рассмотрим простой пример. Пусть
дано определение: "Группа называется хорошей, если лю-
бой ()студент этой группы - хороший", требуется постро-
ить логически следующее из этого определения новое -
определение плохой группы. Правильный ответ: "Группа
называется плохой, если хотя бы один ()студент этой
группы - плохой". Этот пример подсказывает следующие
правила взаимодействия кванторов существования и един-
ственности с операцией отрицания:
1. (хХ, А(х))хХ, А(х);
29
2. (хХ, А(х)) хХ, А(х).

Если высказывание А(х) содержит несколько кванторов,


то операция отрицания меняет каждый из них. Так, отрица-
ние утверждения "число b есть предел функции f(x) в точке
x=a…."
   0  x 0 | x  a |   
 x a

b  lim f ( x)  
 f ( x)  b  



запишется так:
   0  x 0 | x  a |   
 x a

 b  lim f ( x)  
 f ( x)  b  




.

30
Математические теоремы, их виды и

логическая структура.
Теоремы прямая, обратная, противоположная.
Простейшая форма математической теоремы такова:
хХ (А(х)В(х)) (дальше это утверждение будем назы-
вать прямой теоремой).
Смысл этой записи: если элемент х множества Х имеет
свойство А(х) (условие теоремы), то он имеет и свойство
В(х) (заключение теоремы).
Пусть, для примера, П ={Р1, Р2, Р3, …}- множество точек
плоскости. Тогда формулировка теоремы Пифагора будет
такова:
31
{ (Р1П, Р2П, Р3П) Р1Р2Р3=/2  | Р1Р2| 2+| Р2Р3| 2=
=| Р1Р3| 2}.
Исходя из утверждения хХ (А(х)В(х)) можно по-
строить новые утверждения:
хХ (В(х)А(х)) (обратная теорема);
хХ (А(х) В(х)) (противоположная теорема);
хХ (В(х) А(х)) (теорема, противоположная об-
ратной).
Сформулируем эти утверждения для теоремы Пифагора:
обратная теорема:
{ (Р1П, Р2П, Р3П) | Р1Р2|2+| Р2Р3|2=| Р1Р3|2 
Р1Р2Р3=/2} (если квадрат какой-либо стороны треуголь-
32
ника равен сумме квадратов остальных сторон, то угол,
противолежащий этой стороне - прямой) - верное утвер-
ждение;
противоположная теорема:
{ (Р1П, Р2П, Р3П) Р1Р2Р3/2  | Р1Р2|2+| Р2Р3|2|
Р1Р3|2} (если какой-либо угол треугольника не прямой, то
квадрат противолежащей стороны не может быть равен
сумме квадратов остальных сторон - верное утверждение
(следствие теоремы косинусов));
теорема, противоположная обратной:
{ (Р1П, Р2П, Р3П) | Р1Р2|2+| Р2Р3|2| Р1Р3|2 
Р1Р2Р3/2} (если квадрат какой-либо стороны треуголь-
ника не равен сумме квадра- тов остальных сторон, то
33
угол, противолежащий этой стороне, не может быть пря-
мым) - верное утверждение.
Однако если верна прямая теорема, это не означает, что
всегда будут верны все остальные. Рассмотрим утвержде-
ние: "если десятичная запись натурального числа заканчи-
вается нулем, то это число делится на пять без остатка"
__________
({x, y  N , x  n1n2n3...nk , nk  0  x  5  y}) .
Обратная теорема ("если натуральное число делится на
пять без остатка, то десятичная запись этого числа закан-
чивается нулем")
__________
{x, y  N , x  5  y  x  n1n2n3...nk , nk  0} - ложна
(число х=15 делится нацело на 5, но не оканчивается ну-
34
лём).
Противоположное утверждение "если десятичная запись
натурального числа не заканчивается нулем, то это число
не делится на пять без остатка"
_________
({x, y  N , x  n1n2n3...nk , nk  0  x  5  y}) тоже ложно
(опровергающий пример - х=15).
Утверждение, противоположное обратному: "если нату-
ральное число не делится на пять без остатка, то десятич-
ная запись этого числа не может заканчиваться нулем"
__________
{x, y  N , x  5  y  x  n1n2n3...nk , nk  0} - истинно.
Теор. Теоремы прямая и противоположная обратной,
обратная и противоположная попарно либо обе истинны,
35
либо обе ложны.
Достаточность и необходимость; существование и един-
ственность.
Переведём формулировку теоремы хХ (А(х)В(х))
на термины "необходимо", "достаточно": если для элемента
х множества Х истинно утверждение А(х), то истинно и
утверждение В(х). Таким образом, свойство В(х) необхо-
димо для выполнения А(х) (если ложно В(х), то не может
быть истинно А(х); необходимо целое число делится на 5
без остатка, если его десятичная запись оканчивается ну-
лём).
С другой стороны, условие А(х) достаточно для того, что-
36
бы имело место В(х) (равенство последней цифры десятич-
ной записи целого числа нулю достаточно, чтобы это число
делилось на 5 без остатка).
В математике часто встречаются теоремы, для которых
утверждения А(х) и В(х) имеют совпадающие области ис-
тинности и эквивалентны на этих областях: хХ (А(х)
В(х) ("для истинности А(х) необходима и достаточна ис-
тинность В(х)"; " А(х) истинно тогда и только тогда, когда
истинно В(х)").
(АВ)  (АВ)(ВА) в этом случае одновременно
должны быть справедливы и прямая, и обратная теоремы
("треугольник прямоугольный тогда и только тогда, когда
квадрат какой-либо стороны равен сумме квадратов
37
остальных сторон"). Закономерен вопрос: зачем вводить
два свойства (термина, определения) для описания одной и
той же сущности? Ответ заключён в приведённом примере:
каждое из свойств может лучше описывать ту или иную
сторону этой сущности (одно свойство относится к углам,
другое - к сторонам).
Особый класс математических теорем образуют теоре-
мы существования. Их структура - хХ А(х) (на множе-
стве Х существует элемент х, для которого верно утвер-
ждение А(х)). Пример: если непрерывная на отрезке [a,b]
функция f(x) принимает на концах отрезка значения разных
знаков, то на [a,b] существует (хотя бы один) корень урав-
нения f(x)=0.
38
В некоторых случаях принципиальна единственность тако-
го элемента х. Так, при численном решении уравнения
f(x)=0 многие итерационные процессы перестают работать,
если на [a,b] имеется более одного корня уравнения. Суще-
ствование единственного корня обеспечит такая формули-
ровка теоремы: "если непрерывная на отрезке [a,b] функ-
ция f(x) монотонна и принимает на концах отрезка значе-
ния разных знаков, то на [a,b] существует единственный
корень уравнения f(x)=0".
Структура теорем существования и единственности:
!хХ А(х).

39
Доказательство от противного; метод математической
индукции.
Здесь мы рассмотрит два часто применяющихся метода
доказательства теорем: доказательство от противного и ме-
тод математической индукции.
Доказательство от противного основано на доказан-
ной нами эквивалентности (АВ)( ВА) (эквивалент-
ны теоремы прямая и противоположная обратной). Пример
- известное доказательство того факта, что 2 не может
быть рациональным числом (предположим, что 2 =p/q,
где p/q - несократимая дробьp2=2 q2 p - чётно, p=2т
4m2=2 q2
40
q2=2m2 q - чётно - противоречие с предположением о
несократимости дроби). Таким образом, для доказательства
хХ (А(х)В(х)) мы предполагаем, что истинно утвер-
ждение В, доказываем хХ (В(х)А(х)), и противоре-
чие между А(х) и А(х) приводит к выводу  В = В.
Метод математической индукции часто применяется, ес-
ли Х=N (или Х - бесконечное подмножество множества N).

Доказательство утверждения nN (А(n)В(n)) прово-


дится в два этапа:
1. Доказывается утверждение А(1);
2. Доказывается n1 А(n)А(n+1).
41
Рассмотрим простой пример: доказать, что для любого
натурального числа n сумма квадратов целых чисел от 1 до
n равна n(n+1)(2n+1)/6:
n
n(n  1)(2n  1)

i 1
i  1  2  3  ...  (n  1)  n 
2 2 2 2 2 2
6
.

1(1  1)(2*1  1) 6
При n =1 равенство справедливо: 1  2
 .
6 6
Пусть равенство справедливо для n,

докажем, что оно справедливо для n+1:

42
n 1 n
n(n  1)(2n  1)

i 1
i 
2

i 1
i2
 ( n 2
1) 
6
 ( n  1) 2

n(2n  1)  6(n  1) 2n 2  7 n  6
 (n  1)  (n  1) 
6 6
2n 2  4n  3n  6 2n(n  2)  3(n  2)
 (n  1)  (n  1) 
6 6
2n(n  2)  3(n  2)
 (n  1) 
6
(n  2)(2n  3) (n  1)[(n  1)  1][2(n  1)  1]
 (n  1)  .
6 6
Формула доказана.
Бином Ньютона.
Набор элементов {a k1 , ak2 , ak3 ,..., ak
m
}, (всего m элемен-
43
тов), выбранных без повторения из множества {a1, a2, a3,
…, an}, содержащего n элементов, где m  n , называется
выборкой объема m из n элементов. Пусть, например, даны
выборки {a1, a4}, {a2, a3, a4}, {a3, a2, a4}; все приведенные
выборки разные: первые две отличаются количеством эле-
ментов, последние две выборки отличаются порядком эле-
ментов.
Выборки {a k1 , ak2 , ak3 ,..., ak
m
}, в которых учитывается не
только набор элементов, но и их порядок, называются раз-
мещениями. Число различных возможных размещений из n
элементов множества по m (m - объем выборки) обознача-
ется символом Anm . Имеет место формула
44
n!
Am
n = n(n-1)(n-2) ... (n-m+1) =
(n-m)!
.

где n!  1 2  3  ...  n ; при этом по определению полагается


1!=1, 0!=1.
Выборки, для которых m = n, называются перестановка-
ми. Например, {a1, a2, a3}, {a2, a3, a1}, {a3, a1, a2} и т.д.
Число перестановок из n элементов обозначается символом
Pn, так как
Pn = Ann = n(n - 1)(n - 2) ... (n – n + 1), то Pn = n!
Если учитывается только набор элементов в выборке
(независимо от их порядка), то такие выборки называются
сочетаниями.
45
Пусть, например, имеются выборки {a1, a2, a3}, {a2, a3, a1},
{a3, a6, a2}; первые две из них получаются друг из друга
перестановкой элементов, поэтому как сочетания они не
различаются (но различаются как перестановки); две по-
следние выборки содержат разные наборы элементов, по-
этому как сочетания они разные. Число сочетаний из n
элементов по m обозначим Cnm . Если набор содержит n
элементов, то из этих элементов можно сделать Anm разме-
щений, при этом каждому размещению соответствует еще
Pm - 1 размещение, отличающееся от него только порядком
элементов, т.е. тождественные с ним как сочетания.

46
m
A n!
Поэтому An  Cn  Pm , то есть Cn 
m m m n
 .
Pm (n  m)! m!
n!
Частные случаи: если m = 0, то Cn  0
 1;
(n  0)! 0!
n!
если m = 1, то Cn 
0
 n;
(n  1)!1!
n! n(n  1)
если m = 2, то Cn 
2
 ; …;
(n  2)! 2! 2
n 1 n!
если m = n - 1, то Cn   n;
(n  n  1)! (n  1)!
n!
если m = n, то Cn n
 1.
(n  n)! n!

47
Биномом Ньютона называют разложение выражения
(a  b) n по степеням a и b (n - натуральное число).
Количество слагаемых в многочлене (a  b) n до приве-
дения подобных членов при увеличении показателя степе-
ни на единицу увеличивается в два раза (поэтому общее
количество слагаемых до приведения подобных членов бу-
дет равно 2n + 1). Когда приводятся подобные члены в мно-
гочлене (a  b) n , то определяются по сути количества оди-
наковых слагаемых, то есть числа сочетаний из n элемен-
n
тов по m (ясно, что  n ).
C m

m 0
 2 n

До сложения показателей слагаемые в разложении бинома


48
(a  b) n имеют вид: a  a  a  ...  a  (b)  (b)  (b)  ...  (b) ;
каждое слагаемое содержит n множителей. Количество
слагаемых, которые содержат множитель (b) m раз сов-
падает с количеством сочетаний по m из n элементов; та-
кие слагаемые будут иметь вид (b) m  a nm  (1) m  a n m  b m ;
общее число таких слагаемых равно Cnm , что приводит к
так называемой формуле бинома Ньютона:
n
(a  b)n   (1)m  Cnm  a nm  b m 
m 0 
 Cn0  a n  C  a n1  b  Cn2  a n2  b 2 
1
n

49
  (1)m Cnm  a nm  b m   (1)n Cnn  a nn  b n 
n 1 n(n  1) n2 2
 a  na
n
b  a b  
2
n(n  1)(n  2) (n  m  1) nm m
(1)  m
a b  
m!
(1) n1  n  a  b n1  (1) n  b n .
Для наглядного представления значений биномиальных
коэффициентовCnm применяют таблицу, называемую тре-
угольником Паскаля:

50
n0 1 ( a  b) 0  1
n 1 1 1 (a  b)1  a  b
n2 1 2 1 ( a  b) 2  a 2  2ab  b 2
n3 1 3 3 1 ( a  b)3  a 3  3a 2b  3ab 2  b3
n4 1 4 6 4 1 ( a  b) 4  a 4  4a 3b  6a 2b 2  4ab3  b 4
n5 1 5 10 10 5 1
n6 1 6 15 20 15 6 1 ....
n7 1 7 21 35 35 21 7 1

Каждый внутренний элемент этой таблицы получается


как сумма элементов, стоящих левее и правее строкой вы-
ше.

51
Рассмотрим некоторые свойства биномиальных коэф-
фициентов, которые хорошо просматриваются в треуголь-
нике Паскаля:
а). Свойство, используемое при построении треугольни-
ка Паскаля:
Cnk11  Cnk  Cnk 1 .
б). Число элементов в строке (в разложении бинома сте-
пени n) на единицу больше показателя степени бинома.
в). Сумма биномиальных коэффициентов в любой стро-
ке равна 2n, то есть
n

 n .
C m

m 0
 2 n

52
nm n!
C  
(n  n  m)!(n  m)!
n
nm
г).Cn  Cn , так как
m
.
n!
  Cnm
m(n  m)!
Это свойство означает, что таблица Паскаля симмет-
рична относительно своей центральной линии, или, други-
ми словами, равноотстоящие от краев элементы строки
одинаковы: нулевой элемент равен последнему
(Cn0  Cnn  1, m  0) ; первый элемент равен предпослед-
нему (Cn1  Cnn 1  n, m  1) и т.д.
д). Сумма биномиальных коэффициентов, стоящих на
четных местах, равна сумме биномиальных коэффициен-
53
тов, стоящих на нечетныx местах.
е). Каждый элемент строки равен предшествующему,
n  m 1
умноженному на коэффициент, равный , то есть
m
n  m  1 m1
Cn  Cnm .
m
В самом деле,
n  m  1 m1 (n  m  1)  n ! n!
Cn   
m m  (n  m  1)! (m  1)! (n  m)! (m  (m  1)!)
n!
  Cnm
(n  m)! m!

54