Introductory functional analysis with applications - Kreyszig, Erwin