Introduction to functional analysis - Taylor, Angus E. (1958)