結果 : normed linear space definition in functional analysis