写出赋范线性空间中点列{xn}n=1∞有界的定义,并说明,若在X上,xn→x0,则{xn}n=1∞有界