Dual Space
Definition
The dual space of a space {% X %} is the class of bounded
linear functionals
on {% X %}.