Разбиение числа

Разбие́ние натурального числа́ $n$$n$ — это такое представление числа $n$$n$ в виде суммы положительных целых чисел ${\mathrm{\lambda <!--\; \lambda \; -->}}_1+{\mathrm{\lambda <!--\; \lambda \; -->}}_2+\cdots <!--\; \cdots \; -->+{\mathrm{\lambda <!--\; \lambda \; -->}}_m$$\lambda _{1}+\lambda _{2}+\dots +\lambda _{m}$, которое, в отличие от композиции, не учитывает порядок слагаемых. Слагаемые ${\mathrm{\lambda <!--\; \lambda \; -->}}_k$$\lambda_k$ в разбиении называются частями. В канонической записи разбиения слагаемые перечисляются в невозрастающем порядке.

Если ${\mathrm{\lambda <!--\; \lambda \; -->}}_1\ge <!--\; \ge \; -->{\mathrm{\lambda <!--\; \lambda \; -->}}_2\cdots <!--\; \cdots \; -->\ge <!--\; \ge \; -->{\mathrm{\lambda <!--\; \lambda \; -->}}_m$$\lambda _{1}\geq \lambda _{2}\dots \geq \lambda _{m}$, то соответствующее этому набору чисел разбиение обычно обозначается как {${\mathrm{\lambda <!--\; \lambda \; -->}}_1,{\mathrm{\lambda <!--\; \lambda \; -->}}_2,\dots <!--\; \dots \; -->{\mathrm{\lambda <!--\; \lambda \; -->}}_m$$\lambda _{1},\lambda _{2},\dots \lambda _{m}$} = $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$. Число $n$$n$ при этом называют мощностью разбиения и обозначают $|\mathrm{\lambda <!--\; \lambda \; -->}|$$|\lambda|$, а число $m$$m$ называют длиной разбиения и обозначают $l(\mathrm{\lambda <!--\; \lambda \; -->})$$l(\lambda )$.

Число разбиений $p(n)$$p(n)$ натурального числа $n$$n$ является одним из фундаментальных объектов изучения в комбинаторике.

ПримерыПравить

Например, {3, 1, 1} или {3, 2} — разбиения числа 5, поскольку 5 = 3 + 1 + 1 = 3 + 2. Всего существует $p(5)=7$$p(5)=7$  разбиений числа 5: {1, 1, 1, 1, 1}, {2, 1, 1, 1}, {2, 2, 1}, {3, 1, 1}, {3, 2}, {4, 1}, {5}.

Некоторые значения числа разбиений $p(n)$$p(n)$  приведены в следующей таблице:

n	p(n)	Разбиения
1	1	{1}
2	2	{2}, {1, 1}
3	3	{3}, {2, 1}, {1, 1, 1}
4	5	{4}, {3, 1}, {2, 2}, {2, 1, 1}, {1, 1, 1, 1}
5	7	{5}, {4, 1}, {3, 2}, {3, 1, 1}, {2, 2, 1}, {2, 1, 1, 1}, {1, 1, 1, 1, 1},
6	11
7	15
8	22
9	30
10	42
20	627
50	204 226
100	190 569 292
1000	24 061 467 864 032 622 473 692 149 727 991
10000	36 167 251 325 636 293 988 820 471 890 953 695 495 016 030 339 315 650 422 081 868 605 887 952 568 754 066 420 592 310 556 052 906 916 435 144

Число разбиенийПравить

Производящая функцияПравить

Последовательность числа разбиений $p(n)$$p(n)$  имеет следующую производящую функцию:

$\underset{n=0}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}p(n)x^n=\underset{k=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\prod <!--\; \prod \; -->}}\frac{1}{1-<!--\; -\; -->x^k}.$$\sum _{{n=0}}^{\infty }p(n)x^{n}=\prod _{{k=1}}^{\infty }{\frac {1}{1-x^{k}}}.$ 

Эта формула была открыта Эйлером в 1740 году.

Пентагональная теорема ЭйлераПравить

Изучая производящую функцию последовательности $p(n)$$p(n)$ , Эйлер сосредоточил внимание на её знаменателе, то есть на произведении $(1-<!--\; -\; -->x)(1-<!--\; -\; -->x^2)(1-<!--\; -\; -->x^3)...$$(1-x)(1-x^{2})(1-x^{3})...$ . При раскрытии скобок это бесконечное произведение приобретает следующий вид:

$(1-<!--\; -\; -->x)(1-<!--\; -\; -->x^2)(1-<!--\; -\; -->x^3)\dots <!--\; \dots \; -->=1-<!--\; -\; -->x-<!--\; -\; -->x^2+x^5+x^7-<!--\; -\; -->x^{12}-<!--\; -\; -->x^{15}+x^{22}+x^{26}-<!--\; -\; -->x^{35}-<!--\; -\; -->x^{40}+\dots <!--\; \dots \; -->$$(1-x)(1-x^{2})(1-x^{3})\ldots =1-x-x^{2}+x^{5}+x^{7}-x^{12}-x^{15}+x^{22}+x^{26}-x^{35}-x^{40}+\ldots$ 

В правой части слагаемые имеют вид $(-<!--\; -\; -->1{)}^q{x}^{(3q^2-<!--\; -\; -->q)/2},$$(-1)^{q}x^{(3q^{2}-q)/2},$  где $q$$q$  пробегает все возможные целые значения, и в этом случае сами числа $(3q^2-<!--\; -\; -->q)/2$$(3q^{2}-q)/2$  называются обобщёнными пятиугольными. При натуральных $q$$q$  они называются просто пятиугольными.

Из этого наблюдения Эйлер выдвинул предположение о пентагональной теореме:

$\underset{k=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\prod <!--\; \prod \; -->}}\left(1-<!--\; -\; -->x^k\right)=\underset{q=-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}(-<!--\; -\; -->1{)}^q{x}^{(3q^2-<!--\; -\; -->q)/2},$$\prod _{k=1}^{\infty }\left(1-x^{k}\right)=\sum _{q=-\infty }^{\infty }(-1)^{q}x^{(3q^{2}-q)/2},$ 

а впоследствии её доказал. Эта теорема позволяет вычислять числа разбиений при помощи деления формальных степенны́х рядов.

Асимптотические формулыПравить

Асимптотическое выражение для количества разбиений было получено Харди и Рамануджаном в 1918 году, а в 1920 году независимо от них — российским математиком Успенским:

$p(n)\sim <!--\; \sim \; -->\frac{\exp <!--\; \; -->\left(\mathrm{\pi <!--\; \pi \; -->}\sqrt{\frac{2}{3}}\sqrt{n-<!--\; -\; -->\frac{1}{24}}\right)}{4n\sqrt{3}}$$p(n)\sim {\frac {\exp \left(\pi {\sqrt {{\frac {2}{3}}}}{\sqrt {n-{\frac {1}{24}}}}\right)}{4n{\sqrt {3}}}}$  при $n\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}$$n\rightarrow \infty$ 

Например, $p(1000)\approx <!--\; \approx \; -->2,44\cdot <!--\; \cdot \; -->{10}^{31}$$p(1000)\approx 2{,}44\cdot 10^{31}$ .

Впоследствии Харди и Рамануджан нашли более точное выражение в виде суммы, а Радемахер вывел точный сходящийся ряд, по которому можно находить сколь угодно близкие асимптотические представления:

$p(n)=\frac{1}{\mathrm{\pi <!--\; \pi \; -->}\sqrt{2}}\underset{k=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{A}_k(n)\sqrt{k}\frac{d}{dn}\left(\frac{\sinh <!--\; \; -->\left(\frac{\mathrm{\pi <!--\; \pi \; -->}}{k}\sqrt{\frac{2}{3}\left(n-<!--\; -\; -->\frac{1}{24}\right)}\right)}{\sqrt{n-<!--\; -\; -->\frac{1}{24}}}\right),$$p(n)={\frac {1}{\pi {\sqrt {2}}}}\sum _{k=1}^{\infty }A_{k}(n)\;{\sqrt {k}}\;{\frac {d}{dn}}\left({\frac {\sinh \left({\frac {\pi }{k}}{\sqrt {{\frac {2}{3}}\left(n-{\frac {1}{24}}\right)}}\right)}{\sqrt {n-{\frac {1}{24}}}}}\right),$ 

где

$A_{k}(n)=\sum _{\begin{smallmatrix}0\leqslant m<k\\(m,k)=1\end{smallmatrix}}\exp \left(\pi i\cdot s(m,k)-2\pi in\cdot m/k\right).$ 

Здесь суммирование ведётся по $m$$m$ , взаимно простым с $k$$k$ , а $s(m,k)$$s(m,k)$  — сумма Дедекинда. Ряд сходится очень быстро.

Рекуррентные формулыПравить

Количество разбиений числа $n$$n$  на слагаемые, не превышающие $k$$k$ , удовлетворяет рекуррентной формуле:

$P(n,\;k)={\begin{cases}P(n,\;k-1)+P(n-k,\;k),&k\leqslant n,\\P(n,\;n),&k>n,\end{cases}}$ 

с начальными значениями:

$P(0,0)=1,$$P(0,\;0)=1,$ 

$P(i,0)=0$$P(i,\;0)=0$  для всех $i>0$$i>0$ 

При этом количество всевозможных разбиений числа $n$$n$  равно $P(n,n)$$P(n,\;n)$ .

Диаграммы ЮнгаПравить

Основная статья: Диаграмма Юнга

 

Диаграмма Юнга разбиения 10 = 5 + 4 + 1.

Разбиения удобно представлять в виде наглядных геометрических объектов, называемых диаграммами Юнга, в честь английского математика Альфреда Юнга^[en]. Диаграмма Юнга разбиения $(k_1,k_2,\dots <!--\; \dots \; -->,k_m)$$(k_{1},\;k_{2},\;\ldots ,\;k_{m})$  — подмножество первого квадранта плоскости, разбитое на ячейки, каждая из которых представляет собой единичный квадрат. Ячейки размещаются в строки, первая строка имеет длину $k_1$$k_{1}$ , над ней расположена строка длиной $k_2$$k_{2}$ , и т. д. до $m$$m$ -й строки длины $k_m$$k_m$ . Строки выровнены по левому краю.

Более формально, диаграмма Юнга — это замыкание множества точек $(x,y)$$(x,\;y)$  таких, что

$x,y>0$$x,\ y>0$  и $y<\sum _{{j=[x]}}^{{m}}k_{j},$ 

где $[x]$$[x]$  обозначает целую часть $x$$x$ .

В англоязычной литературе диаграммы Юнга часто изображают отражёнными относительно оси абсцисс.

Схожий объект, называемый диаграммой Феррерса, отличается тем, что

• вместо ячеек изображаются точки;
• диаграмма транспонируется: ряды и столбцы меняются местами.

Сопряженным (или транспонированным) разбиением к $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  называется разбиение, чья диаграмма Юнга является диаграммой Юнга разбиения $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$ , отражённая относительно прямой $y=x$$y=x$ . Например, сопряжённым к разбиению (6,4,4,1) будет разбиение (4,3,3,3,1,1). Сопряжённое разбиение обозначается ${\mathrm{\lambda <!--\; \lambda \; -->}}^{\prime }$$\lambda '$ .

Сумма и произведение разбиенийПравить

Пусть имеются два разбиения $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  и $\mathrm{\mu <!--\; \mu \; -->}$$\mu$ . Тогда для них определены следующие операции:

• $\mathrm{\lambda <!--\; \lambda \; -->}+\mathrm{\mu <!--\; \mu \; -->}$$\lambda +\mu$ : $(\mathrm{\lambda <!--\; \lambda \; -->}+\mathrm{\mu <!--\; \mu \; -->}{)}_i={\mathrm{\lambda <!--\; \lambda \; -->}}_i+{\mathrm{\mu <!--\; \mu \; -->}}_i$$(\lambda +\mu )_{i}=\lambda _{i}+\mu _{i}$ ;
• $\mathrm{\lambda <!--\; \lambda \; -->}\cup <!--\; \cup \; -->\mathrm{\mu <!--\; \mu \; -->}$$\lambda \cup \mu$ : разбиение, содержащее части $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  и $\mathrm{\mu <!--\; \mu \; -->}$$\mu$  в порядке нестрогого убывания;
• $\mathrm{\lambda <!--\; \lambda \; -->}\mathrm{\mu <!--\; \mu \; -->}$$\lambda \mu$ : $(\mathrm{\lambda <!--\; \lambda \; -->}\mathrm{\mu <!--\; \mu \; -->}{)}_i={\mathrm{\lambda <!--\; \lambda \; -->}}_i{\mathrm{\mu <!--\; \mu \; -->}}_i$$(\lambda \mu )_{i}=\lambda _{i}\mu _{i}$ ;
• $\mathrm{\lambda <!--\; \lambda \; -->}\times <!--\; \times \; -->\mathrm{\mu <!--\; \mu \; -->}$$\lambda \times \mu$ : разбиение, содержащее части $min({\mathrm{\lambda <!--\; \lambda \; -->}}_i,{\mathrm{\mu <!--\; \mu \; -->}}_j)$$\min(\lambda _{i},\mu _{j})$  для всех $i\le <!--\; \le \; -->l(\mathrm{\lambda <!--\; \lambda \; -->})$$i\leq l(\lambda )$  и всех $j\le <!--\; \le \; -->l(\mathrm{\mu <!--\; \mu \; -->})$$j\leq l(\mu )$  в порядке нестрогого убывания.

Например, если $\mathrm{\lambda <!--\; \lambda \; -->}=(321),\mathrm{\mu <!--\; \mu \; -->}=(22)$$\lambda =(321),\mu =(22)$ , то $\mathrm{\lambda <!--\; \lambda \; -->}+\mathrm{\mu <!--\; \mu \; -->}=(541),\mathrm{\lambda <!--\; \lambda \; -->}\cup <!--\; \cup \; -->\mathrm{\mu <!--\; \mu \; -->}=(32221).$$\lambda +\mu =(541),\lambda \cup \mu =(32221).$ 

Операции сложения, как и операции умножения, двойственны относительно сопряжения:

$(\mathrm{\lambda <!--\; \lambda \; -->}\cup <!--\; \cup \; -->\mathrm{\mu <!--\; \mu \; -->}{)}^{\prime }={\mathrm{\lambda <!--\; \lambda \; -->}}^{\prime }+{\mathrm{\mu <!--\; \mu \; -->}}^{\prime }$$(\lambda \cup \mu )'=\lambda '+\mu '$ ;

$(\mathrm{\lambda <!--\; \lambda \; -->}\times <!--\; \times \; -->\mathrm{\mu <!--\; \mu \; -->}{)}^{\prime }={\mathrm{\lambda <!--\; \lambda \; -->}}^{\prime }{\mathrm{\mu <!--\; \mu \; -->}}^{\prime }$$(\lambda \times \mu )'=\lambda '\mu '$ .

ПорядокПравить

Пусть имеются два разбиения $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  и $\mathrm{\mu <!--\; \mu \; -->}$$\mu$  числа $n$$n$ .

Лексикографический порядок. Говорят, что $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  старше $\mathrm{\mu <!--\; \mu \; -->}$$\mu$  по лексикографическому порядку, если существует такое натуральное $k$$k$ , что ${\mathrm{\lambda <!--\; \lambda \; -->}}_i={\mathrm{\mu <!--\; \mu \; -->}}_i$$\lambda _{i}=\mu _{i}$  для каждого $i<k$ , а также ${\mathrm{\lambda <!--\; \lambda \; -->}}_k>{\mathrm{\mu <!--\; \mu \; -->}}_k$$\lambda _{k}>\mu _{k}$ .

В таблице выше разбиения расположены в лексикографическом порядке.

Естественный (частичный) порядок. Говорят, что $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  старше $\mathrm{\mu <!--\; \mu \; -->}$$\mu$  по естественному порядку (обозначается $\mathrm{\lambda <!--\; \lambda \; -->}\ge <!--\; \ge \; -->\mathrm{\mu <!--\; \mu \; -->}$$\lambda \geq \mu$ ), если для каждого $i\ge <!--\; \ge \; -->1$$i\geq 1$  выполняется неравенство ${\mathrm{\lambda <!--\; \lambda \; -->}}_1+{\mathrm{\lambda <!--\; \lambda \; -->}}_2+\cdots <!--\; \cdots \; -->+{\mathrm{\lambda <!--\; \lambda \; -->}}_i\ge <!--\; \ge \; -->{\mathrm{\mu <!--\; \mu \; -->}}_1+{\mathrm{\mu <!--\; \mu \; -->}}_2+\cdots <!--\; \cdots \; -->+{\mathrm{\mu <!--\; \mu \; -->}}_i$$\lambda _{1}+\lambda _{2}+\dots +\lambda _{i}\geq \mu _{1}+\mu _{2}+\dots +\mu _{i}$ .

Начиная с n=6 можно найти разбиения, которые невозможно сравнить в этом смысле. Например, (3, 1, 1, 1) и (2, 2, 2).

Для естественного порядка выполняется эквивалентность:

$\mathrm{\lambda <!--\; \lambda \; -->}\ge <!--\; \ge \; -->\mathrm{\mu <!--\; \mu \; -->}\iff <!--\; \iff \; -->{\mathrm{\mu <!--\; \mu \; -->}}^{\prime }\ge <!--\; \ge \; -->{\mathrm{\lambda <!--\; \lambda \; -->}}^{\prime }.$$\lambda \geq \mu \Leftrightarrow \mu '\geq \lambda '.$ 

ПрименениеПравить

Разбиения естественным образом возникают в ряде математических задач. Наиболее значимой из них является теория представлений симметрической группы, где разбиения естественно параметризуют все неприводимые представления. Суммы по всем разбиениям часто встречаются в математическом анализе.

См. такжеПравить

• Композиция
• Биномиальный коэффициент
• Симметрическая функция

ЛитератураПравить

• Эндрюс Г. Теория разбиений. — М.: Наука, 1982. — 255 с.
• Макдональд И. Симметрические функции и многочлены Холла. — М.: Мир, 1985. — 224 с.
• Вайнштейн Ф. В. Разбиение чисел // Квант. — 1988. — № 11. — С. 19—25.
• Фукс Д. О раскрытии скобок, об Эйлере, Гауссе, Макдональде и об упущенных возможностях // Квант. — 1981. — № 8. — С. 12—20.
• Новая теория доказывает природу цифр.
• Бурман Ю. М. Разбиения и перестановки // Летняя школа «Современная математика». — 2004.