Functional analysis - Yosida Kosaku (1968)