设c为一切收敛数列组成的集，线性运算与lp中相同，在c中定义范数于下：

其中x={ξ1，ξ2，…，ξn，…}∈c。证明：c按照‖·‖是可分的巴拿赫空间。