整数分区
A.分区一个正整数 表达了 作为一个或多个正整数的总和(或零件)。“总和”中的整数顺序“无关紧要”:也就是说,两个包含不同顺序相同整数的表达式被认为是相同的分区。
不同分区的数量 表示 。此功能称为分区功能。
分区 如下:
所以 。
内容
递归和闭合形式的公式
组合功能如 经常借给自己递归这使得它们更容易计算。例如,考虑分解的数量 作为正整数的总和,其中顺序举行物质(有时叫组合物)。让我们 是组成的数量 。例如, 因为 。
然后有递归 :如果第一项组成 是 ,其余术语是一种组成 。所以这些组合物的数量是 。这导致递归公式 解决此递归并不难:注意 ,和 ,所以 。(为读者练习:该公式的直接,非递归证明也是如此。)
然而,由于可以过度计数分区,以相同的方式对分区函数的方法不那么简单。例如,一个分区 从中开始 是 ,它对应于分区 of 和一个分区 从中开始 是 ,它对应于分区 of ;但是这些是相同的分区此外,任何递归公式必须避免两次计数它们。
事实上,没有封闭式的公式 在任何有意义的意义上。关于分区功能的许多脚踏性问题是非常困难和神秘的:例如,甚至不知道是否有无限的 这样 是可分开的 。
图片表示
分区被图案地表示令人息桃图:置换的每个部分由一行点表示,其中点数等于该部件。像零件一样的行按尺寸下降顺序排列:
此图表代表分区 。
年轻的图是类似的,但使用正方形而不是点。这是年轻的图表 :
共轭分区
从分区图中最容易理解的一个概念是共轭的概念。
让我们 part ,让我们 是部分的 那是 。假设最大的部分是 。然后是共轭of 是分区
在定义中有一些东西可以证明,即该总和 实际上是等于 。要看到这一点,请注意大小的一部分 被计算一次 。所以,大小的一部分 贡献 到总和,因此总和与部分的总和相同 。
这不是考虑共轭分区的最简单方法。它们最简单地描述了尺码图:共轭分区的传感器图是通过沿着左上向右下对角线的反射的原始分区的Ferrers图获得。操作类似于a矩阵转换;图表的列更改为行,行更改为列。
分区 有以下条件图:
它的共轭物具有以下特征图:
所以,它是 。
注意,通过Ferrers图描述的描述没有任何工作,其中缀合两次返回原始分区,这不一定立即从缀合的定义中清除。
共轭分区用于许多基点证据结果关于分区;这是一个基本示例。
表明这个数字 正整数的分区 到底 零件等于分区的数量 谁最大的部分等于 。例如, 和 ,所以 。
让我们 是一组分区 进入 零件和让 是一组分区 谁最大的部分等于 。然后有一个杀菌剂 由 缀合物 。这是因为分区的尺码图 有一列长度 ,所以它的缀合物有顶部的长度 。和 是一种自由度,因为它具有逆图,即缀合。所以两套具有相同的大小。
例如, ,功能 是
其他例子在Wiki上给出基点证据。
生成功能
主要文章:生成功能
关于具有复杂组合证据的分区的许多定理更容易,更容易通过生成功能。正常情况往往是这种情况电源系列形式 ,在那里 计算某些类型的分区,可以以有用的方式表示为无限产品。
表达 作为电源系列无限产品。
考虑该产品 系数 在这种扩展中是 :假设一个分区 有 1s, 2s等。然后 ,这对应于延长无限产品的术语 从第一笔和,时间 从第二个和等等。
使用几何系列重写这一点
欧拉的五角形数字定理
产品 等于
注意:表格的数量 被称为五角形数字。
也可以使用分区证明定理:系数 在产品中,计算分区的数量 偶数数量减去分区 有一个奇数的零件。它可以显示(使用Ferrers图),除非存在这两组分区,否则存在两组分区 是五角形的数字,在这种情况下,捕获具有一个特定分区的组之间存在双射。
欧拉的五角形数字定理意味着以下美丽的复发关系 : 在哪里的标志 与标志相反 在欧拉五角形号码定理中的总和扩展。