# [Math] Is dot product a kind of linear transformation

inner-productslinear algebralinear-transformations

I wonder in the field of Linear Algebra, if the dot product also referred to as an inner product:
$$\langle u,v\rangle =u\cdot v=u^Tv = u_1v_1 + u_2v_2+…+ u_nv_n, \quad \text{for} \quad u,v \in\mathbb{R}^n$$

can be categorized in a type of linear transformation.

I'm quite confused here, that the definition of $\langle \cdot,\cdot \rangle: V\times V\to F$, is a map of all vectors in a vector space, which is similar to Matrix Multiplication (a way to represent linear transformation), but the properties in the inner product is a bit different from the former.

It's kind of transforming from one vector space to another.

So the image or codomain of this linear transformation is the inner product space, while the domain of this linear transformation is the original vector space.

The map $\langle \cdot,\cdot \rangle : V\times V\to F$ is not linear, it is what we call bilinear, which means that it is linear in each variable. I.e. a map $B : V\times V' \to W$ is bilinear if for all fixed $v\in V$, and all fixed $v'\in V'$ the maps $u'\mapsto B(v, u')$ and $u\mapsto B(u, v')$ are linear. (Though these maps are equal in the case of a dot product, since it is symmetric, so you just need to check that one is linear. Symmetric meaning that $\langle v, w\rangle= \langle w, v\rangle$)
The idea is that we can take a bilinear map $B: V\times V' \to W$ and turn it into a linear map $\tilde{B}: V\to \newcommand\Hom{\operatorname{Hom}}\Hom_F(V',W)$. Where $\Hom_F(V',W)$ denotes the vector space of $F$-linear maps from $V'$ to $W$. We define $\tilde{B}(v) = v'\mapsto B(v,v')$. Then one can use the defining property of bilinear maps given above to show that $\tilde{B}$ is linear, and for any $v\in V$, $\tilde{B}(v)$ is a linear map from $V'$ to $W$. This process is called currying. Then $\tilde{B}$ is basically the same as $B$, since we can recover $B$ from $\tilde{B}$ from the fact that $B(v,v')=(\tilde{B}v)v'$ (sorry for changing notation to parenthesis-less function application, I just think it's much more readable here).
Thus one can curry the dot product to get a linear map, call it $D$ from $V$ to $\Hom_F(V,F)$. In general, $\Hom_F(V,F)$ is a vector space called $V$-dual, often written $V^*$, so we can say $D$ is a linear map from $V$ to $V^*$. I.e., we can view the dot product as being equivalent to a particular nice linear map from $V$ to $V^*$.