Elementary functional analysis (2009)