Кабардино-Балкарский государственный университет
Опубликован: 18.04.2007 | Доступ: свободный | Студентов: 12045 / 2526 | Оценка: 4.16 / 4.04 | Длительность: 14:52:00
ISBN: 978-5-9556-0105-2
Специальности: Математик
Лекция 10:

Комбинаторика и числовые системы

< Лекция 9 || Лекция 10: 12 || Лекция 11 >
Аннотация: Краткая аннотация: рассматриваются основные математические понятия комбинаторики, а также простейшие элементы и сведения теории чисел.

Комбинаторика и числовые системы

Индукция, индуктивный метод - это метод получения общего заключения (вывода) на основании частных, отдельных фактов, свойств изучаемой системы, процесса. Если общий вывод делается только после рассмотрения всех охватываемых им частных случаев, то индукция называется полной, иначе она называется неполной.

Математическая индукция - один из древнейших методов доказательства утверждений. Некоторые историки математики предлагают начинать отсчет в истории математики именно с зарождения метода математической индукции. Он базируется на следующем простом и достаточно наглядном принципе (который часто называется аксиомой математической индукции).

Обозначим доказываемое утверждение, зависящее от натурального параметра n, через A(n).

Пусть доказываемое утверждение A(n) проверено для частного значения, например, для n=1, то есть начальное утверждение A(1) - справедливое утверждение. Если предположить, что утверждение справедливо при каком-то значении n-1 (то есть справедливо утверждение A(n-1) ), то отсюда следует, что это утверждение справедливо и для любого n (то есть справедливо и утверждение A(n) ).

Для применения метода математической индукции не обязательно проверять факт именно для случая n=1. Достаточно проверить для какого-то фиксированного значения n=n0, например, для n=2.

Рекурсия, рекуррентность - это ссылка определяемого объекта (при каком-то значении определяющего параметра) на самого себя (при другом значении этого параметра или при других значениях параметров).

Такие ссылки часто используются как в математике, так и, например, в информатике.

Комбинаторика - раздел математики, в котором для конечных множеств рассматриваются различные комбинации, соединения элементов множеств (а также и подмножеств) и их свойства.

Одной из важных классических задач комбинаторики является задача нахождения количества способов размещения какого-то числа заданных объектов в некотором заданном количестве мест ("ящиков") таким образом, чтобы они удовлетворяли при этом некоторым заданным условиям (ограничениям).

Строгая математическая формулировка класса задач размещения такова: для данных двух конечных множеств X, Y определить количество функций f:X\to Y, удовлетворяющих заданным ограничениям на мощности множеств. Часто используется и такая интерпретация постановки задачи размещения: сколько существует способов покраски объектов X различными цветами (набор Y ), чтобы цвета объектов y=f(x) удовлетворяли определенным ограничениям.

Факториалом числа n (обозначается как n!) называется произведение всех натуральных чисел до n включительно: n!=1\cdot 2\cdot 3\cdot \dotsc \cdot (n-1)\cdot n
.

Пример. Факториал 3!= 1\cdot 2\cdot 3=6, 4!= 1\cdot 2\cdot 3\cdot 4=3!\cdot 4=24.

Из предыдущего примера можно сделать вывод, что справедлива следующая теорема.

Теорема. Имеет место формула: n!=(n-1)!\cdot n.

Доказательство. По определению факториала \smu (n-1)!=1\cdot 2\cdot 3\cdot \dotsc \cdot (n-1). Подставляя в формулу n!=1\cdot 2\cdot 3\cdot \dotsc\cdot (n-1)\cdot n вместо произведения первых n-1 сомножителей равное ему значение (n-1)!, получим доказываемое. Докажите эту теорему методом математической индукции самостоятельно.

При сравнительно небольших значениях n факториал n! сильно (экспоненциально, то есть со скоростью роста экспоненты при росте ее аргумента) растет.

Пример. Факториал 10!=3628800! (последний восклицательный знак - восклицательный из-за его большого значения, а не знак факториала).

При вычислении выражений с факториалами можно эффективно сокращать.

Пример. Вычислим \frac {12!}{10!} = \frac {10!\cdot 11\cdot 12}{10!} =11\cdot 12 = 132.

Размещение из n элементов по k элементов - всякое упорядоченное подмножество, состоящее из k элементов множества из n элементов. Два размещения отличны друг от друга, если они отличаются либо составом элементов, либо порядком элементов. Число различных размещений из n элементов по k элементов обозначается символом A^k_n.

Пример. Размещение A^2_5= \frac {5!}{3!} =4\cdot 5=20.

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

A^k_n = \frac {n!}{(n-k)!} =(n-k+1)(n-k+2)\dotsc(n-1)n,
причем имеет место следующее соотношение:
A^k_n = (n-k+1)A^{k-1}_n.

Размещение n элементов по n элементов называется перестановкой .

Теорема. Число различных перестановок равно Pn=n!.

Подстановкой ( n -ой степени) из n элементов называется взаимно однозначное отображение множества из n символов на себя. Обычно элементы этого множества нумеруются и отождествляются с n числами натурального ряда чисел.

Пример. Вместо подстановки - отображения элементов множества X={a, b, c, g}, - говорят об отображении множества {1, 2, 3, 4} и обозначают эту подстановку как

\begin{pmatrix}
  1& 2 &3 &4 \cr
  2& 4 &1 &3
  \end{pmatrix}

Умножение подстановок - операция, которая ставит в соответствие упорядоченной паре подстановок n -ой степени A и B третью подстановку C той же степени по правилу:

A= \begin{pmatrix}
1 & 2& 3 & \dotsc & n\cr
i_1 & i_2 & i_3 & \dotsc & i_n\cr
\end{pmatrix},
B= \begin{pmatrix}
i_1 & i_2 & i_3 & \dotsc & i_n\cr
j_1 & j_2 & j_3 & \dotsc & j_n\cr
\end{pmatrix},
C= \begin{pmatrix}
1 & 2& 3 & \dotsc & n \cr
j_1 & j_2 & j_3 & \dotsc & j_n
\end{pmatrix} .

Часто бывает необходимо найти число всех подмножеств, состоящих из m элементов, каждое из которых можно составить из n элементов данного множества. Это число равно C^m_n и называется сочетанием из n элементов по m элементов.

Теорема. Верны равенства C^k_n = \frac {n!}{k!(n-k)!}, C^k_n = \frac {A^k_n}{P_k}.

Пример. Найдем число C^2_4 = \frac {4!}{2!(4-2)!} = \frac {4!}{2!2!} = \frac {1\cdot 2\cdot 3\cdot 4}{1\cdot 2\cdot 1\cdot 2} =6.

Рассмотрим известные формулы

(a+b)1 = a+b , 
 (a+b)2 = a2+2ab+b2, 
 (a+b)3 = a3+3a2b+3ab2+b3.

Аналогично можно вычислять остальные степени, но мы вместо продолжения такой последовательности формул сформулируем общую теорему о них.

Теорема. Справедлива формула (бинома Ньютона):

(a+b)^n = a^n + \frac {n}{1!}a^{n-1} b + \frac {n(n-1)}{2!}a^{n-2} b^2 +
\dotsc \\
  \dotsc + \frac {n(n-1)(n-2)\dotsc (n-k+1)}{k!} a^{n-k}b^k + \dotsc + b^n, \\
  k! =1\cdot 2\cdot 3 \cdot \dotsc\cdot (k-1)k , \quad
  k!=(k-1)! k, \quad 0!=1.

Эту теорему можно доказать методом математической индукции. Это Ваша непростая и самостоятельная работа.

Используя эти числа C^m_n, можно записать бином Ньютона: (a+b)^n = C^0_n a^n + C^1_n a^{n-1}b + \dotsc + C^k_na^{n-k}b^k + \dotsc +
  C^n_n b^n.

Коэффициент называется биномиальным коэффициентом.

Теорема. Справедливы формулы для биномиальных коэффициентов:

  1. 2^n=C^0_n+C^1_ n +\dotsc+ C^n_n - свойство суммы биномиальных коэффициентов;
  2. C^m_n=C^{n-m}_n - свойство симметрии;
  3. C^m_n+C^{m+1}_n = C^{m+1}_{n+1} - свойство сложения.

Доказательство. Докажем первое равенство. Если в формуле бинома Ньютона положить a=b=1, то непосредственно получаем это равенство. Докажем второе равенство. Так как

C^m_n = \frac {n!}{m!(n-m)!}, \\
   C^{n-m}_n = \frac {n!}{(n-m)!m!},
то равенство - очевидное. Равенство 3 можно доказать как прямой подстановкой формул с факториалами для всех участников этого равенства и последующего приведения к общему знаменателю, так и с помощью следующих рассуждений: C^{m+1}_{n+1} - число всевозможных (m+1) -элементных подмножеств из (n+1) -элементного множества. Если ограничиться выбором m элементов, то таких случаев будет ровно C^m_n, а если рассмотреть остальные (исключая выбранные) возможности, то их будет ровно C^m_n. Складывая их, получаем доказываемое равенство.

Выше мы уже использовали обозначение \sum^n_{k=1} x_k для суммы чисел x1+x2+...+xn.

Иногда нижний предел суммирования снабжают условием - "ограничителем" суммируемых членов этой последовательности.

Пример. Если нужно суммировать только числа на четных местах до n, то можно использовать одно из следующих обозначений (лучшее - первое):

\sum\limits_{k=1}^{[n/2]} x_{2k}, \qquad
\sum\limits^n_{\substack {k=2\\k=2m, \ m\in N}} x_k, \qquad
\sum\limits^n_{\substack {k=2\\k \mod 2 =0}} x_k, \qquad
  \sum\limits^n_{k\ \text{--- четное}} x_k.

Здесь [n/2] - целая часть от числа половины числа n.

Эффективное вычисление суммы - интересная и непростая задача математики. Эффективность вычисления суммы обычно сводится к количеству выполненных при этом арифметических операций. Существуют разные методы вычисления различных видов (типов) сумм, но для каждого вида суммы нужно находить свой эффективный способ.

Пример. Когда Гаусса в десятилетнем возрасте учитель решил, как он предполагал, занять надолго подсчетом суммы Sn=1+2+3+...+n, то будущий математик додумался до уловки, на которой базируется теперь вычисление суммы арифметической прогрессии: Sn + Sn = (1 + 2 + 3 + ... + n-1 + n) + (n + n-1 + n-2 + ... + 2 + 1) = = (1 + n) + (2 + n-1) + (3 + n-2) + ... + (n-1 + 2) + (n + 1) = = (1 + n) + (1 + n) + (1 + n) + ... + (1 + n) + (1 + n) = (1 + n)n. Отсюда получаем известную формулу суммы членов арифметической прогрессии: Sn=(n+1)n/2.

< Лекция 9 || Лекция 10: 12 || Лекция 11 >
Оксана Лебедева
Оксана Лебедева

Можно ли, используя функцию Дирихле, построить модель пространства, в котором нет иррациональных чисел, а есть только рациональные числа? Очевидно, нельзя построить плоскость, не используя при этом иррациональные числа, так как плоскость непрерывна. Но пространство обладает бо-льшим числом измерений и может сохранить непрерывность в каком-либо одном из них.

Марат Марат
Марат Марат

в лекции ​8 на второй странице в конце, вторая производная у меня получается 4/x3 ....