Function space

In linear algebra

This section does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. (November 2017) (Learn how and when to remove this template message)

Let V be a vector space over a field F and let X be any set. The functions X → V can be given the structure of a vector space over F where the operations are defined pointwise, that is, for any f, g : X → V, any x in X, and any c in F, define

${\displaystyle {\begin{aligned}(f+g)(x)&=f(x)+g(x)\\(c\cdot f)(x)&=c\cdot f(x)\end{aligned}}}$

When the domain X has additional structure, one might consider instead the subset (or subspace) of all such functions which respect that structure. For example, if X is also vector space over F, the set of linear maps X → V form a vector space over F with pointwise operations (often denoted Hom(X,V)). One such space is the dual space of V: the set of linear functionals V → F with addition and scalar multiplication defined pointwise.