# Linear Functionals

We will now look at a new type of function that takes vectors $v \in V$ and maps to scalars in $\mathbb{F}$.

Definition: A Linear Functional is a linear map $\varphi : V \to \mathbb{F}$ from the vector space $V$ to the field of scalars $\mathbb{F}$. |

For example, consider the vector space $\mathbb{R}^4$ and the field $\mathbb{R}$. Then for any vector $x = (x_1, x_2, x_3, x_4) \in \mathbb{R}^4$ we can define a linear functional on $\mathbb{R}^4$ for $a, b, c, d \in \mathbb{R}$ by:

(1)

(Note that $ax_1 + b_2 + cx_3 + dx_4) \in \mathbb{R}$). For a more precise example, let $a = b = c = d = 1$. Then one such linear functional from $\mathbb{R}^4$ to $\mathbb{R}$ is thus given by:

(2)

Suppose that $V$ is an inner product space, and suppose that we fix a vector $v \in V$, then we can define a linear function that takes every vector $u \in V$ to $__$__ as:

(3)

__\end{align}__

In fact, every linear function on the vector space $V$ will be in this form as the following theorem establishes.

Theorem 1: Let $V$ be a finite-dimensional inner product space and let $\varphi$ be a linear functional on $V$. Then there exists a unique vector $v \in V$ such that for every $u \in V$ we have that $\varphi (u) = $. |

**Proof:**Since $V$ is a finite-dimensional inner product space, then let $\{ e_1, e_2, …, e_n \}$ be an orthonormal basis of $V$. Then for any vector $u \in U$ we have that $u =__e_1 +__. Since $\varphi$ is a linear functional (and hence a linear map), we have that:__e_2 + … +____e_n$__

(4)

__e_1 +__

__e_2 + … +____e_n>) \\ \quad \varphi(u) =____\varphi(e_1) +____\varphi(e_2) + … +____\varphi(e_n) \\ \end{align}__- Note that $\varphi(e_1), \varphi(e_2), …, \varphi(e_n) \in \mathbb{F}$ ($\mathbb{R}$ or $\mathbb{C}$), and we we can use the property of conjugate homogeneity in the second slot of the inner product to get:

(5)

__+__

__\end{align}__- So let $v = \overline{\varphi(e_1)}e_1 + \overline{\varphi(e_2)}e_2 + … + \overline{\varphi(e_n)}e_n$. Thus for every $u \in V$ we have that $\varphi(u) =
__$__.

- We now need to show that this vector $v$ is unique. Suppose that for all $u \in V$ there exists two vectors $v, v’ \in V$ such that $\varphi(u) =
__=__. Then we have that for every $u \in V$:__$__

(6)

__–__

__\\ \quad 0 =____\end{align}__- Now suppose that $u = v – v’$. Then it must hold that $
= 0$ . By the definiteness property of an inner product we have that this implies $v – v’ = 0$, i.e, $v = v’$. So indeed, the vector $v \in V$ for which every $u \in U$ we have $\varphi(u) =__$__is unique. $\blacksquare$

### Related post:

- Grade Nine learners taught mathematics skills – Tembisan
- A Library Browse Leads Math’s Bill Dunham to Question the Origins of The Möbius Function – Bryn Mawr Now
- Year 5 and 6 students to sit competition this Wednesday – Great Lakes Advocate
- USC student wins silver medal in China math contest – SunStar Philippines
- CBSE Exam 2020: Two separate examinations to be conducted for Class 10 Mathematics – Jagran Josh
- Concepts incomplete, problems unsolvable in math textbooks – Times of India
- Education Ministry to Host Tertiary and Employment Fairs – Government of Jamaica, Jamaica Information Service
- Vogue’s Edwina McCann and Westpac’s Anastasia Cammaroto on how they inspire women to pursue STEM – Vogue Australia
- Jonee Wilson, Temple Walkowiak to Measure High-Quality Instructional Practices to Support Marginalized Students in Rigorous Mathematics through NSF Grant – NC State College of Education
- Australian Conference on Science and Mathematics Education – Australian Academy of Science