Fundamentals of functional analysis. (2016)