组合恒等式7 组合变换的互逆公式 简介与简单例子

类似离散序列的Z变换，我们也可以定义以组合数为系数的组合变换，一个直观的例子是
$$b_k=\sum _{i=0}^k(-1{)}^i{C}_k^i{a}_i$$

$b_k$就是关于$a_k$的一个组合变换，这个组合变换有一个很重要的性质，就是
$$a_k=\sum _{i=0}^k(-1{)}^i{C}_k^i{b}_i$$

也就是对$b_k$再做一次组合变换就又变回$a_k$了，称这样的一对组合变换叫做组合变换的互逆公式，基于这种组合变换的互逆公式，可以从现有的组合恒等式得到更多的组合恒等式，这一讲就以证明这对互逆公式作为开始。

双重求和可以交换次序

二重积分计算有一个Fubini定理，告诉我们二重积分可以交换积分次序，在离散领域，双重求和也具有类似的性质。考虑二重求和
$$S=\sum _{k=0}^n\sum _{l=0}^k{x}_{kl}$$

这个求和可以理解成对矩阵$[x_{kl}{]}_{(n+1)\times (n+1)}$的下三角部分所有元素求和，其中${\sum }_{l=0}^k{x}_{kl}$表示第$k+1$行的和；当然还有另一种写法，我们也可以先写出第$l$列的和${\sum }_{k=l}^n{x}_{kl}$，则
$$S=\sum _{l=0}^n\sum _{k=l}^n{x}_{kl}$$

这样就得到了双重求和可以交换次序的结论：
$$\sum _{k=0}^n\sum _{l=0}^k{x}_{kl}=\sum _{l=0}^n\sum _{k=l}^n$$