Continuous linear functional (source code)

= Continuous linear functional

A continuous linear functional is a continuous linear map from a <topological vector space> to its scalar field. The collection of all such functionals is the <continuous dual space>.