Functional analysis : with applications