Funtional analysis - Yosida Kosaku (1974)