結果 : normed linear space in functional analysis