为了复线性空间X上至少有一个非零线性泛函，不只要X中含有一个均衡吸收凸集