社区讨论

关于一个关于划分的结论的双射证明

学术版参与者 12已保存回复 15

讨论操作

快速查看讨论及其快照的属性,并进行相关操作。

当前回复
15 条
当前快照
1 份
快照标识符
@locsl9rs
此快照首次捕获于
2023/10/30 19:03
2 年前
此快照最后确认于
2023/11/05 05:45
2 年前
查看原帖
定义一个 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)

回复

15 条回复,欢迎继续交流。

正在加载回复...