結果 : bounded linear functional in functional analysis