Dual space

Definition (Dual space)

Let XX be a normed vector space. We define the dual space of XX as the set of linear bounded functions on XX to R\mathbb{R} or C\mathbb{C}, denoted as X∗X^{*}: X∗:={f∈Γ(X;F):∥f∥<∞}X^{*}:=\{ f\in\Gamma(X;\mathbb{F}):\lVert f \rVert <\infty \}

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)

(X∗,∥⋅∥)(X^{*},\lVert \cdot \rVert) is a Banach space.

Linked from