设l∞为一切有穷数列组成的集，线性运算与lp的相同，在l∞中定义范数如下：

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