Dual vector space#Continuous dual space