Topological dual space

Summary