An introduction to functional analysis, 2000