module functional analysis