离散 #离散#数学
8.求和与渐近
Shane Lorien
求和和渐近符号的介绍。
调和级数
一些木块通过堆叠能超出桌子多长?一种处理方法是贪心法,从最上方开始,移动直到不能移动为止。
记末状态第
代入
也就是说第
实际上,求和
被称为调和级数。他是发散的,因为
那么就得到
也就是说,
阶乘
我们熟知的
并不能很好地看出
然后我们运用积分估计,
那么就是
还原成阶乘就得到
这就清楚多了。但实际上可以更加精确。
斯特林公式(Stirling’s Formula)
其中
渐近记号
我们已经熟悉了
波浪号(tilde)
大 记号
就是说
例如,
记号
与大
记号 如果既有 又有 ,也就是比值的极限大于 而且有限。
那么自然就会想到还有小于号和大于号。对应就是
记号
记号
一个神秘的证明:
设
[!证明] 利用归纳法。 归纳假设为
。 奠基步:
显然成立。 归纳步:假设
成立, 从而由归纳公理,命题成立。
归纳假设假定了
所以尽量不要在归纳法中运用渐近记号。