Banach函数空间的Holder不等式

本文给出了基于不等式‖n/∏/i=1ai^ai≤‖n/∑i=1aiai(ai>0,ai>0,n/∑／i=1ai=1)的一个确界形式，以此统一得出Banach函数空间L^p(E,u),L^∞(E,u),L^∞(R),C(R)等的Holder函数不等式。