Elements of functional analysis