Functional analysis - Yosida Kosaku (1978)