有界線形汎関数