Introductory functional analysis - Taylor, Angus E