0是无穷小。无穷小是指在某个趋向下极限为0的函数。而0作为常数函数，其极限为0，因此0是无穷小。无穷小量是数学分析中的一个概念，在经典的微积分或数学分析中，无穷小量通常以函数、序列等形式出现。无穷小量即以数0为极限的变量，无限接近于0。

无穷小的定义

当自变量趋于某个数的时候，函数f(x)的极限为0，称f(x)为x趋于这个数时的无穷小。这是一个变量。

无穷小的要求是：这个给定的东西无论常数还是其他必须是一个函数。这个函数需要在自变量趋于某个数的时候极限为0。0是无穷小唯一的常数，因为0是常数函数，而且无论自变量趋于何值时极限都为0。

无穷小的性质

1、无穷小量不是一个数，它是一个变量。

2、零可以作为无穷小量的唯一一个常量。

3、无穷小量与自变量的趋势相关。

4、若函数g(x)在某x0的空心邻域内有界，则称g为当x->x0时的有界量。

5、有限个无穷小量之和仍是无穷小量。

6、有限个无穷小量之积仍是无穷小量。

7、有界函数与无穷小量之积为无穷小量。

8、特别地，常数和无穷小量的乘积也为无穷小量。

9、恒不为零的无穷小量的倒数为无穷大，无穷大的倒数为无穷小。