Continuous dual space

Summary