微积分学和算法分析中的O, o

微积分学和算法分析中的$O$, $o$

引言

微积分中有无穷小和有界的概念，对应的符号分别为$O$, $o$。
类似的，在算法分析中也有渐近上/下界、非紧上/下界和紧渐近界的概念，对应的符号分别为$O/\Omega, o/\omega$和$\Theta$。
既然前两个符号相同，那么这些符号有什么联系呢？

比较

根据微积分学中的定义，有界符号$O$定义为
$\alpha(x) = O(\beta(x)) \Leftrightarrow \exists M > 0,s.t.\left\lvert\frac{\alpha(x)}{\beta(x)}\right\rvert < M$
无穷小量符号$o$定义为