Definition (Dual space)
Let be a normed vector space. We define the dual space of as the set of linear bounded functions on to or , denoted as :
Theorem (3.2.1)
A linear functional on a normed vector space is bounded if and only if it is continuous.
Proposition (3.2.1)
is a Banach space.