Inner products answer a question that a bare vector space cannot answer: when do two directions fail to interfere with each other? In $\mathbb{R}^2$, the algebraic operations tell us how to add $(1,0)$ and $(0,1)$, but they do not say that these vectors are perpendicular, nor do they say what the best approximation to a vector by a line should be. Geometry enters only after we choose a rule for measuring interaction.

[example: Same Vector Space Different Geometry] Let $V=\mathbb{R}^2$ and compare two pairings on the same two vectors $e_1=(1,0)$ and $e_2=(0,1)$. For \begin{align*} (v,w)_1=v_1w_1+v_2w_2, \end{align*} we compute \begin{align*} (e_1,e_2)_1 &=(1)(0)+(0)(1)\\ &=0+0\\ &=0. \end{align*} Thus $e_1$ and $e_2$ are orthogonal for the first inner product. Now define \begin{align*} (v,w)_2=2v_1w_1+v_1w_2+v_2w_1+2v_2w_2. \end{align*} Using the same vectors, \begin{align*} (e_1,e_2)_2 &=2(1)(0)+(1)(1)+(0)(0)+2(0)(1)\\ &=0+1+0+0\\ &=1. \end{align*} So the same ordered pair of vectors is orthogonal for $(\cdot,\cdot)_1$ but not for $(\cdot,\cdot)_2$; the underlying vector space has not changed, but the rule measuring interaction has changed its geometry. [/example]

The theory of inner products is the systematic study of this added geometry. It explains length, angle, orthogonality, projection, adjoints, spectral decompositions, and function-space analogues such as the $L^2$ inner product.

## Definition

The first task is to isolate the algebraic features of the Euclidean dot product that make geometry possible. The product must be compatible with linear combinations, it must reverse order by conjugation over complex scalars, and it must assign positive squared length to every nonzero vector.

[definition: Inner Product] Let $V$ be a vector space over $\mathbb{F}$, where $\mathbb{F}$ is either $\mathbb{R}$ or $\mathbb{C}$. An inner product on $V$ is a map \begin{align*} (\cdot,\cdot)_V:V\times V&\to \mathbb{F} \end{align*} such that for all $u,v,w\in V$ and $a,b\in \mathbb{F}$, \begin{align*} (au+bv,w)_V&=a(u,w)_V+b(v,w)_V,\\ (u,v)_V&=\overline{(v,u)_V},\\ (v,v)_V&\ge 0,\\ (v,v)_V&=0\iff v=0. \end{align*} [/definition]

To turn this pairing into distance geometry, we need a single number that plays the role of the length of one vector, but the inner product as defined only measures the interaction between two vectors. The axiom $(v,v)_V\ge 0$ resolves this by attaching a canonical nonnegative quantity to each vector on its own, and taking its square root is the only choice that makes length scale linearly, since $(av,av)_V=|a|^2(v,v)_V$ forces $\|av\|=|a|\,\|v\|$.

[definition: Norm Induced by an Inner Product] Let $V$ be an inner product space. The norm induced by the inner product is the map \begin{align*} \|\cdot\|_V:V&\to [0,\infty)\\ v&\mapsto (v,v)_V^{1/2}. \end{align*} [/definition]

The induced norm gives a distance by $d(u,v)=\|u-v\|_V$. Thus an inner product space carries algebra, geometry, and metric structure at the same time.

[example: Euclidean Inner Product] On $\mathbb{R}^n$, define \begin{align*} (v,w)_{\mathbb{R}^n}=\sum_{i=1}^n v_iw_i. \end{align*} For $v=(3,4)\in \mathbb{R}^2$, the induced norm is obtained by pairing $v$ with itself: \begin{align*} \|v\|_{\mathbb{R}^2} &=(v,v)_{\mathbb{R}^2}^{1/2}\\ &=\bigl(3\cdot 3+4\cdot 4\bigr)^{1/2}\\ &=(9+16)^{1/2}\\ &=25^{1/2}\\ &=5. \end{align*} Thus the inner product assigns squared length $25$ to $(3,4)$, so its induced norm agrees with the usual Euclidean length. [/example]

Complex spaces need conjugation because $z_1^2+\cdots+z_n^2$ can vanish for nonzero vectors. Conjugation fixes this failure and makes squared length positive.

[example: Standard Hermitian Inner Product] On $\mathbb{C}^n$, define \begin{align*} (z,w)_{\mathbb{C}^n}=\sum_{i=1}^n z_i\overline{w_i}. \end{align*} For $z=(1+i,2)\in \mathbb{C}^2$, pairing $z$ with itself gives \begin{align*} (z,z)_{\mathbb{C}^2} &=(1+i)\overline{(1+i)}+2\overline{2}\\ &=(1+i)(1-i)+2\cdot 2\\ &=\bigl(1-i+i-i^2\bigr)+4\\ &=\bigl(1+1\bigr)+4\\ &=6. \end{align*} The conjugation is what turns each coordinate contribution into a nonnegative real number, so this self-product records squared length rather than a possibly canceling complex sum. [/example]

## Positivity and Inequalities

The inner product measures interaction, but geometry requires this interaction to be controlled by length. Otherwise real angles could not be defined and projection coefficients could become unstable. In a real inner product space, the normalized ratio $(u,v)_V/(\|u\|_V\,\|v\|_V)$ must lie in $[-1,1]$; in a complex inner product space, the corresponding statement is that its modulus is at most $1$. The following inequality is exactly the bound that secures both interpretations.

[quotetheorem:432]

Cauchy--Schwarz controls the cross term in $\|u+v\|_V^2$, and that control is exactly what the triangle inequality needs. Without such an estimate, the expression $(v,v)_V^{1/2}$ would look like a length but might fail to behave like one under addition. The theorem below records the point at which the algebraic definition becomes metric geometry.

[quotetheorem:4857]

To distinguish inner product norms from arbitrary norms, we need a test that detects the hidden quadratic structure of squared length. The parallelogram identity is that test.

[quotetheorem:243]

[example: Supremum Norm Failure] Let $V=\mathbb{R}^2$ with $\|x\|_\infty=\max\{|x_1|,|x_2|\}$. For $u=(1,0)$ and $v=(0,1)$, we compute the two sides of the parallelogram identity from *Parallelogram Identity*. First, \begin{align*} u+v&=(1,0)+(0,1)\\ &=(1,1), \end{align*} so \begin{align*} \|u+v\|_\infty &=\|(1,1)\|_\infty\\ &=\max\{|1|,|1|\}\\ &=\max\{1,1\}\\ &=1. \end{align*} Also, \begin{align*} u-v&=(1,0)-(0,1)\\ &=(1,-1), \end{align*} so \begin{align*} \|u-v\|_\infty &=\|(1,-1)\|_\infty\\ &=\max\{|1|,|-1|\}\\ &=\max\{1,1\}\\ &=1. \end{align*} Therefore \begin{align*} \|u+v\|_\infty^2+\|u-v\|_\infty^2 &=1^2+1^2\\ &=1+1\\ &=2. \end{align*} On the other hand, \begin{align*} \|u\|_\infty &=\|(1,0)\|_\infty\\ &=\max\{|1|,|0|\}\\ &=\max\{1,0\}\\ &=1, \end{align*} and \begin{align*} \|v\|_\infty &=\|(0,1)\|_\infty\\ &=\max\{|0|,|1|\}\\ &=\max\{0,1\}\\ &=1. \end{align*} Hence \begin{align*} 2\|u\|_\infty^2+2\|v\|_\infty^2 &=2\cdot 1^2+2\cdot 1^2\\ &=2+2\\ &=4. \end{align*} The two sides are $2$ and $4$, so the parallelogram identity fails for $\|\cdot\|_\infty$; consequently this norm is not induced by any inner product. [/example]