Functional analysis and its applications