关于一个关于划分的结论的双射证明
  • 板块学术版
  • 楼主x义x
  • 当前回复15
  • 已保存回复15
  • 发布时间2020/12/23 20:21
  • 上次更新2023/11/5 05:45:42
查看原帖
关于一个关于划分的结论的双射证明
58567
x义x楼主2020/12/23 20:21

定义一个 nn 的划分 λ\lambda(记作 λn\lambda\vdash n)是一个正整数的无序列表 {λ1,λ2,...,λ}\{\lambda_1,\lambda_2,...,\lambda_{\ell}\},其所有元素之和为 nn

定义 f(λ)f(\lambda)λ\lambda 中“2”的数量,即 i=1[λi=2]\sum_{i=1}^{\ell}[\lambda_i=2]

定义 g(λ)g(\lambda)λ\lambda 中恰好只出现一次的元素的数量,即 i=1n[1=j=1[λj=i]]\sum_{i=1}^n[1=\sum_{j=1}^{\ell}[\lambda_j=i]]

求用双射法证明:

λnf(λ)=λn1g(λ)\sum_{\lambda\vdash n}f(\lambda)=\sum_{\lambda\vdash n-1}g(\lambda)
2020/12/23 20:21
加载中...