有界线性泛函

bounded linear functional