Continuous dual of a weak-star topology
ID: continuous-dual-of-a-weak-star-topology
A linear functional on is continuous for the weak-star topology exactly when it is evaluation at an element of . Continuity makes it vanish on the common kernel of finitely many evaluations, so it is a linear combination of those evaluations. The canonical embedding into the bidual identifies this dual with .
New to topics? Read the docs here!