Functions Of One Real Variable / Topological Vector Spaces