空积

假设有数列 a₁, a₂, a₃,... 并且该数列的前 m 项的积为

${\displaystyle P_{m}=\prod _{i=1}^{m}a_{i}=a_{1}\cdots a_{m}}$

如果约定 ${\displaystyle P_{1}=a_{1}}$ 并且 ${\displaystyle P_{0}=1}$，那么所有 m = 1,2,... 都满足：

${\displaystyle P_{m}=a_{m}\cdot P_{m-1}}$

换句话说，${\displaystyle P_{1}}$ 是一个因子的「积」，取值就是它本身；而 ${\displaystyle P_{0}}$ 则是零个因子的「积」，取值是 1。允许求一个因子、零个因子的积，可以简化很多数学公式，减少针对类似的特殊情况的处理。这样的「积」是很多归纳证明以及算法的自然起点。因此，「空积是一」的约定在数学和程序设计中非常常见。

• 迭代二项运算
• 空和

1. Jaroslav Nešetřil, Jiří Matoušek. . Oxford University Press. 1998: 12. ISBN 0-19-850207-9.
2. A.E. Ingham and R C Vaughan. . Cambridge University Press. 1990: 1. ISBN 0-521-39789-8.
3. Lang, Serge, , Graduate Texts in Mathematics 211 Revised third, New York: Springer-Verlag: 9, 2002, ISBN 978-0-387-95385-4, MR1878556
4. David M. Bloom. . 1979: 45. ISBN 0521293243.