introductory functional analysis with applications solutions