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 XX^{*}: 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