sequence space in functional analysis