巴拿赫空间
如果函数formula_1的陪域是任何一个巴拿赫空间，则魏尔施特拉斯判别法的一个更一般的形式仍然成立，但要把