Unless otherwise stated, an inner product space will be here either real orthogonal or complex Hermitian. Thus, we can assume that the inner product of a vector, \(v\), with itself, \((v,v)\), is real. In the case that the space \(V\) has a positive definite inner product, then \((v,v)>0\) for any non-zero \(v\) and we can define the length or norm of a vector \(v\) to be
\begin{equation}
\norm{v}=\sqrt{(v,v)}.
\end{equation}
This is a genuine norm, since, as defined, \(\norm{av}=\abs{a}\norm{v}\), \(\norm{v}=0\) implies \(v=0\) and, as we’ll see shortly, \(\norm{v+w}\leq\norm{v}+\norm{w}\).
If, on the other hand, \(V\) has only a non-degnerate inner product, there can exist non-zero vectors, \(v\), with \((v,v)\leq0\). In this case, we could define
\begin{equation}
\norm{v}=\sqrt{|(v,v)|},
\end{equation}
but should note that this is, of course, no longer properly called a norm.

In the positive definite case, we have the important Cauchy-Schwarz inequality.

Theorem (Cauchy-Schwarz inequality) In a positive definite inner product space, \(V\), for any vectors \(v,w\in V\),\begin{equation}
\abs{(v,w)}\leq\norm{v}\norm{w},\label{equ:Cauchy-Schwarz}
\end{equation}
with equality if and only if \(v\) and \(w\) are linearly dependent.

Proof The statement is trivially true when \((v,w)=0\). Assuming \((v,w)\neq0\), so that \(v\neq0\) and \(w\neq0\), for any complex number \(a\) we consider the inner product of the vector \(v-aw\) with itself. Then,\begin{equation*}
(v-aw,v-aw)=\norm{v}^2-a(v,w)-a^*(w,v)+\abs{a}^2\norm{w}^2\geq0,
\end{equation*}
with equality if and only if \(v=aw\), so that choosing
\begin{equation*}
a=\frac{\norm{v}^2}{(v,w)}
\end{equation*}
we have
\begin{equation*}
\norm{v}^2-2\norm{v}^2+\frac{\norm{v}^4\norm{w}^2}{\abs{(v,w)}^2}\geq0
\end{equation*}
so that
\begin{equation*}
\abs{(v,w)}^2\leq\norm{v}^2\norm{w}^2
\end{equation*}
from which the result follows after taking square roots.\(\blacksquare\)

This means that we can define the angle, \(\theta\), \(0\leq\theta\leq\pi/2\) between two vectors, \(v\) and \(w\), in a real orthogonal or complex Hermitian space through,
\begin{equation}
\cos\theta=\frac{\abs{(v,w)}}{{\norm{v}\norm{w}}}.
\end{equation}
The triangle inequality,
\begin{equation}
\norm{v+w}\leq\norm{v}+\norm{w},\label{triangle-standard}
\end{equation}
follows by considering the square of the left hand side and using the Cauchy-Schwarz inequality,
\begin{align*}
\norm{v+w}^2&=\norm{v}^2+\norm{w}^2+2\Real(v,w)\\
&\leq\norm{v}^2+\norm{w}^2+2\abs{(v,w)}\\
&\leq\norm{v}^2+\norm{w}^2+2\norm{v}\norm{w}\\
&=\left(\norm{v}+\norm{w}\right)^2,
\end{align*}
then taking the square root.

Similarly, a couple of variants of the triangle inequality can be obtained by considering the square of the difference of norms,
\begin{align*}
\left(\norm{v}-\norm{w}\right)^2&=\norm{v}^2+\norm{w}^2-2\norm{v}\norm{w}\\
&\leq\norm{v}^2+\norm{w}^2-2\abs{(v,w)}\\
&\leq\norm{v}^2+\norm{w}^2-2\abs{\Real(v,w)}\\
&\leq\norm{v}^2+\norm{w}^2-2\Real(v,w)\\
&=\norm{v-w}^2
\end{align*}
so that taking square roots we obtain
\begin{equation}
\abs{\norm{v}-\norm{w}}\leq\norm{v-w},\label{triangle-variant1}
\end{equation}
or alternatively
\begin{align*}
\left(\norm{v}-\norm{w}\right)^2&=\norm{v}^2+\norm{w}^2-2\norm{v}\norm{w}\\
&\leq\norm{v}^2+\norm{w}^2-2\abs{(v,w)}\\
&\leq\norm{v}^2+\norm{w}^2-2\abs{\Real(v,w)}\\
&\leq\norm{v}^2+\norm{w}^2+2\Real(v,w)\\
&=\norm{v+w}^2
\end{align*}
so that taking square roots we obtain
\begin{equation}
\abs{\norm{v}-\norm{w}}\leq\norm{v+w}.\label{triangle-variant2}
\end{equation}
A further simple consequence of the definition of the norm in terms of the positive definite inner product is the parallelogram identity,
\begin{equation}
\norm{v+w}^2+\norm{v-w}^2=2\left(\norm{v}^2+\norm{w}^2\right),\label{equ:parallelogram}
\end{equation}
which in \(\RR^2\) expresses the fact that the sum of the squared lengths of the diagonals of a parallelogram is equal to twice the sum of the squared lengths of the sides.

We have seen that specifying a positive definite symmetric or Hermitian inner product, \((\cdot,\cdot)\), on a vector space, \(V\), over respectively \(\RR\) or \(\CC\) implies the existence of a norm \(\norm{\cdot}\) on \(V\). That is, real orthogonal and complex Hermitian spaces in which the inner product is positive definite are normed vector spaces. In the other direction, given a normed vector space, \(V\), over \(\RR\), in which the norm, \(\norm{\cdot}\), satisfies the parallelogram identity, \eqref{equ:parallelogram}, we can define a positive definite symmetric inner product as
\begin{equation}
(u,v)=\frac{1}{4}\left(\norm{u+v}^2-\norm{u-v}^2\right).\label{equ:norm inner product}
\end{equation}
Notice that this definition ensures that \(\norm{v}=\sqrt{(v,v)}\). Also, since by the parallelogram identity,
\begin{equation*}
\frac{1}{4}\left(\norm{u+v}^2-\norm{u-v}^2\right)=\frac{1}{2}\left(\norm{u+v}^2-\norm{u}^2-\norm{v}^2\right),
\end{equation*}
and
\begin{equation*}
\frac{1}{4}\left(\norm{u-v}^2-\norm{u+v}^2\right)=\frac{1}{2}\left(\norm{u-v}^2-\norm{u}^2-\norm{v}^2\right),
\end{equation*}
applying the triangle inequality, which the norm satisfies by definition, then leads to the Cauchy-Schwarz identity. To confirm that \eqref{equ:norm inner product} defines a genuine inner product on \(V\) we must check \eqref{inprod-linear}. Using the parallelogram identity we have,
\begin{align*}
\norm{u+v+w}^2&=2(\norm{u+v}^2+\norm{w}^2)-\norm{u+v-w}^2\\
&=2(\norm{u+v}^2+\norm{w}^2)-(2(\norm{u-w}^2+\norm{v}^2)-\norm{u-v-w}^2)\\
&=2\norm{u+v}^2-2\norm{u-w}^2+2(\norm{w}^2-\norm{v}^2)+\norm{u-v-w}^2,
\end{align*}
and
\begin{align*}
\norm{u-v-w}^2&=2(\norm{u-v}^2+\norm{w}^2)-\norm{u-v+w}^2\\
&=2(\norm{u-v}^2+\norm{w}^2)-(2(\norm{u+w}^2+\norm{v}^2)-\norm{u+v+w}^2)\\
&=2\norm{u-v}^2-2\norm{u+w}^2+2(\norm{w}^2-\norm{v}^2)+\norm{u+v+w}^2.
\end{align*}
That is,
\begin{equation*}
\norm{u+v+w}^2-\norm{u-v-w}^2=\norm{u+v}^2-\norm{u-v}^2+\norm{u+w}^2-\norm{u-w}^2
\end{equation*}
so \((u,v+w)=(u,v)+(u,w)\). Next, observe that the definition makes it clear that, \((u,-v)=-(u,v)\), so that,
\((u,nv)=n(u,v)\), for any integer \(n\). It is then easy to see that we must have, \((u,qv)=q(u,v)\), for any \(q\in\QQ\), so that for any \(a\in\RR\) and \(q\in\QQ\),
\begin{align*}
\abs{(u,av)-a(u,v)}&=\abs{(u,(a-q)v)-(a-q)(u,v)}\\
&\leq\abs{(u,(a-q)v)}+\abs{(a-q)}\abs{(u,v)}\\
&\leq2\abs{a-q}\norm{u}\norm{v},
\end{align*}
by Cauchy-Schwartz, and we have that \((u,av)=a(u,v)\) for any \(a\in\RR\).

In the case of a normed vector space, \(V\), over \(\CC\), in which the norm once again satisfies the parallelogram identity we can define a positive definite Hermitian inner product as
\begin{equation}
(u,v)=\frac{1}{4}\left(\norm{u+v}^2-\norm{u-v}^2+i\norm{u+iv}^2-i\norm{u-iv}^2\right).
\end{equation}
The proof that this defines a genuine inner product on \(V\) proceeds as for the real case, the only difference being the real and complex parts are treated separately.

Definition Two vectors \(v,w\in V\) are said to be orthogonal if \((v,w)=0\). If \(U\) is a subspace of \(V\) then the orthogonal complement of \(U\), denoted \(U^\perp\), is defined as
\begin{equation}
U^\perp=\{v\in V\mid(u,v)=0\;\forall u\in U\}.
\end{equation}

It is clear that \(U^\perp\) is also a subspace of \(V\) and that if the restriction of the inner product to \(U\) is non-singular, then \(U\cap U^\perp=\{0\}\). In fact, in this case we have the following result.

Theorem If \(U\) is a subspace of an inner product space \(V\) such that the restriction of the inner product to \(U\) is non-degenerate, then \(V=U\oplus U^\perp\).

Proof Since we already know that \(U\cap U^\perp=\{0\}\), we need only demonstrate that any \(v\in V\) can be written as \(v=u+v’\) with \(u\in U\) and \(v’\in U^\perp\). To this end suppose \(e_1,\dots,e_r\) is a basis of \(U\). Then we must find numbers \(c^i\) and some \(v’\in U^\perp\) such that
\begin{equation}
v=c^1e_1+\dots+c^re_r+v’.\label{equ:orthog comp intermediate}
\end{equation}
Now define the matrix \(\mathbf{M}\) through the matrix elements, \(M_{ij}=(e_i,e_j)\). Then taking succesive inner products of \eqref{equ:orthog comp intermediate} with the basis elements of \(U\), we get the system of equations,
\begin{eqnarray*}
(e_1,v)&=&M_{11}c_1+\dots+M_{rr}c_r\\
\vdots\quad&\vdots&\qquad\quad\vdots\\
(e_r,v)&=&M_{r1}c_1+\dots+M_{rr}c_r,
\end{eqnarray*}
and since the restriction of the inner product to \(U\) is non-degenerate, \(\mathbf{M}\) is non-singular. Thus there is a unique solution for the \(c^i\), so any \(v\in V\) can be expressed in the form, \eqref{equ:orthog comp intermediate}, and the result follows.\(\blacksquare\)

Remark Recall that a direct sum decomposition, \(V=U_1\oplus U_2\), determines projectors, \(P_1,P_2\in\mathcal{L}(V)\), \(P_i^2=P_i\), such that, \(P_1+P_2=\id_V\) and \(P_iP_j=0\) when \(i\neq j\), and, \(\img P_i=U_i\), \(\ker P_1=U_2\) and \(\ker P_2=U_1\). In the context of inner product spaces orthogonal projections are natural. These are the projections corresponding to an orthogonal direct sum decomposition, such as \(V=U\oplus U^\perp\), that is, projections whose image and kernel are orthogonal.

A non-zero vector \(v\) of an inner product space \(V\) is said to be a null vector if \((v,v)=0\). All vectors are null in symplectic geometries. In the case of orthogonal or Hermitian geometries, aside from the trivial case of a zero inner product, all vectors cannot be null. Indeed, suppose on the contrary, that every \(v\in V\) was such that \((v,v)=0\). Then for every pair of vectors \(u,v\in V\), we have, in the case of a symmetric inner product,
\begin{equation*}
0=(u+v,u+v)=(u,u)+(v,v)+2(u,v)=2(u,v),
\end{equation*}
so \((u,v)=0\) implying the inner product is zero. In the case of an Hermitian inner product,
\begin{equation*}
0=(u+v,u+v)=(u,u)+(v,v)+2\Real(u,v)=2\Real(u,v),
\end{equation*}
and
\begin{equation*}
0=(u+iv,u+iv)=(u,u)+(v,v)+2i\Imag(u,v)=2i\Imag(u,v),
\end{equation*}
so also in this case, \((u,v)=0\), contradicting our assumption that inner product is non-zero.

Theorem Any finite dimensional inner product space, \(V\), over \(\RR\) or \(\CC\), can be decomposed into a direct sum \(V=V_1\oplus\dots\oplus V_r\) where the subspaces \(V_i\) are pairwise orthogonal. In the case of symmetric or Hermitian inner products they are \(1\)-dimensional. In the case of an anti-symmetric inner product the \(V_i\) may be either \(1\)-dimensional, in which case the restriction of the inner product to \(V_i\) is degenerate, or \(2\)-dimensional, in which case the restriction is non-degenerate.

Proof The proof is by induction on the dimension of \(V\). The case of \(\dim V=1\) is trivial so consider \(\dim V\geq 2\). We assume the inner product is not zero, since in this trivial case there is nothing to prove. In the case of symmetric or Hermitian inner products, as already observed, we can choose a non-null vector \(u\) from \(V\). If \(U=\Span(u)\) then the restriction of the inner product of \(V\) to \(U\) is certainly non-degenerate so we have \(V=U\oplus U^\perp\) by the previous result. Thus, if \(V\) is \(n\) dimensional then \(U^\perp\) is \(n-1\) dimensional and by induction we can therefore assume that \(U^\perp\) has the desired decomposition and the result follows. In the case of an anti-symmetric inner product, there must exist two vectors, \(v_1\) and \(v_2\) say, such that \((v_1,v_2)\neq0\). Call the subspace spanned by these vectors \(U\) then the restriction of the inner product to \(U\) is non-degenerate and the result follows as before.\(\blacksquare\)

Given this orthogonal decomposition we can use what we already know about the classification of low dimensional inner product spaces to complete the classification in general. To that end, we consider two \(n\)-dimensional vector spaces, \(V\) and \(V’\), with inner products, \((\cdot,\cdot)\) and \((\cdot,\cdot)’\), and orthogonal decompositions \(\oplus_{i=1}^rV_i\) and \(\oplus_{i=1}^{r’}{V_i}’\) respectively.

Define the subspace, \(V_0=\oplus_{i=1}^{r_0}V_i\), the sum of the degenerate subspaces of the orthogonal decomposition, and \(V^\perp=\{v\in V\mid(v’,v)=0\;\forall v’\in V\}\), sometimes called the radical of the inner product \((\cdot,\cdot)\). Clearly \(V_0\subseteq V^\perp\) and conversely, by virtue of the decomposition, we know that any \(v\in V^\perp\) can be written uniquely as a sum \(v=\sum_{i=1}^nv_i\) with each \(v_i\in V_i\). Suppose it was the case that \(v_k\neq0\) for some \(k>r_0\). Then, in the case of symmetric or Hermitian inner products we’d have \((v_k,v_k)\neq0\) and in the anti-symmetric case there’d be some vector \({v’}_k\in V_k\) such that \(({v’}_k,v_k)\neq0\) so in either case we contradict \(v\in V^\perp\) and conclude that \(V_0=V^\perp\). But we also have that if \(\{e_i\}\) is a basis of \(V\) in which the Gram matrix is \(\mathbf{G}\) then \(V^\perp\) consists of those \(v=v^ie_i\in V\) such that \((e_j,v)=0\) for each \(j=1,\dots,n\), that is, such that, \(\sum_{i=1}^nG_{ji}v^i=0\), for each \(j=1,\dots,n\). But this is just the condition for \(v\in\ker L_\mathbf{G}\), so \(V^\perp=\ker L_\mathbf{G}\) and \(\dim V^\perp=n-\rank\mathbf{G}\). Thus, we may conclude that \(r_0=\dim V^\perp=n-\rank\mathbf{G}\). Moreover, since the Gram matrices of isometric inner product spaces have the same rank, if our two inner product spaces \(V\) and \(V’\) are isometric we may further conclude that \(r_0={r_0}’\) where \({r_0}’\) is the number of degenerate subspaces in the orthogonal decomposition of \(V’\).

Now let us consider the case of \(V\) and \(V’\) having anti-symmetric inner products. We know that aside from \(1\)-dimensional degenerate subspaces all the remaining subspaces in their respective orthogonal decompositions are \(2\)-dimensional non-degenerate and that any two such spaces are isometric. Thus, if \(V\) and \(V’\) have \(r_0={r_0}’\) then they must both have \(r_0\) degenerate \(1\)-dimensional subspaces and \((n-r_0)/2\) non-degenerate \(2\)-dimensional subspaces in their respective decompositions, which we may order such that in both cases non-degenerate precede degenerate subspaces. Therefore they must be isometric, since we can construct an isometry \(f:V\mapto V’\) as the direct sum \(f=\oplus_{i=1}^rf_i\) of isometries \(f_i:V_i\mapto {V_i}’\) which we know must exist from the discussion in Low Dimensional Inner Product Spaces. Conversely, if \(V\) and \(V’\) are isometric we know that \(r_0={r_0}’\). Thus, we conclude that two vector spaces equipped with antisymmetric inner products are isometric if and only if the vector spaces and their respective radicals have the same dimension. It should be clear that precisely the same statement can be made for two complex vector spaces with symmetric inner products.

In the orthogonal decompositions of real vector spaces equipped with symmetric, or complex vector spaces equipped with Hermitian, inner products, aside from the degenerate subspaces, there are in each case two possibilities for the remaining \(1\)-dimensional subspaces. They may be either positive or negative definite. Denote by \(r_+\) and \(r_-\) respectively the number of positive and negative definite subspaces of \(V\). If \(V_+\) and \(V_-\) are the respective direct sums of these subspaces then it is clear that \(V_+\) and \(V_-\) are respectively positive and negative definite, that \(r_+=\dim V_+\) and \(r_-=\dim V_-\) and that we can write \(V=V_+\oplus V_-\oplus V_0\). The triple \((r_+,r_-,r_0)\) is called the signature of the inner product. Define the same primed quantities, \({r_+}’\), \({V’}_+\), \({r_-}’\) and \({V’}_-\) for \(V’\), whose decomposition can then be written as, \(V’={V’}_+\oplus {V’}_-\oplus {V’}_0\). Now suppose \(V\) and \(V’\) are isometric. We know that they must have the same dimension and that \(r_0={r_0}’\). If \(f:V\mapto V’\) is an isometry, then for any \(v\in V\), by virtue of the decomposition of \(V’\), we can write \(f(v)=f(v)_++f(v)_-+f(v)_0\) where \(f(v)_+\in {V’}_+\), \(f(v)_-\in {V’}_-\) and \(f(v)_0\in {V’}_0\). We consider the restriction \(f|_{V_+}\) of \(f\) to \(V_+\) and note that if \({P’}_+:V’\mapto V’\) is the projection operator onto the subspace \({V’}_+\), then \({P’}_+\circ f|_{V_+}:V_+\mapto {V’}_+\) is linear. Now suppose \(r_+>{r_+}’\), then there must exist some \(v\in V_+\) such that \({P’}_+\circ f|_{V_+}(v)=0\), so that for this \(v\), \(f(v)_+=0\) and we have \(f(v)=f(v)_-+f(v)_0\). But notice that then \((v,v)=(f(v),f(v))’=(f(v)_-,f(v)_-)’<0\) contradicting the fact that \(v\in V_+\). Similarly, if \(r_+<{r_+}'\), then we must have \(r_->{r_-}’\), and we would again arrive at a contradiction by considering the restriction \(f|_{V_-}\). So we conclude that isometry of \(V\) and \(V’\) implies \(r_+={r_+}’\), \(r_-={r_-}’\) and \(r_0={r_0}’\), that is the have the same signature. Conversely, if two vector spaces \(V\) and \(V’\) have the same signature, then their orthogonal decompositions can be appropriately ordered such that an isometry, \(f:V\mapto V’\), can be constructed as the direct sum, \(f=\oplus f_i\), of isometries, \(f_i:V_i\mapto V_i\), which we know must exist from the discussion in Low Dimensional Inner Product Spaces. Thus, we conclude that two real vector spaces equipped with symmetric inner products or two complex vector spaces equipped with Hermitian inner products are isometric if and only if they share the same signature.

Let us summarise the above discussion in the following

Theorem Symplectic spaces and complex orthogonal spaces are characterised up to isometry by the pair of integers \((n,r_0)\) where \(n\) is the dimension of the space and \(r_0\) is the dimension of the radical of the inner product. Real orthogonal spaces and complex Hermitian spaces are characterised up to isometry by their signature, \((r_+,r_-,r_0)\), where \(r_+\) and \(r_-\) are the dimensions of the subspaces upon which the restriction of the inner product is respectively positive and negative definite.

Theorem and Theorem tell us that for orthogonal and Hermitian spaces we can always find an orthogonal basis. Such a basis is particularly useful when the inner product is non-degenerate. In this case, any vector \(v\) may be expressed as \(v=v^je_j\), but then \((e_i,v)=(e_i,v^je_j)\) so
\begin{equation}
v=\sum_{i=1}^n\frac{(e_i,v)}{(e_i,e_i)}e_i.
\end{equation}
A vector \(v\) is said to be normalised if \((v,v)=\pm1\), and a set of normalised vectors \(\{e_i\}\) is said to be orthonormal if they are orthogonal with one another, that is, \((e_i,e_j)=0\) whenever \(i\neq j\) and \((e_i,e_i)=\pm1\). So given any orthogonal basis of a non-degenerate inner product space we can always choose an orthonormal basis. If the inner product is positive definite then with respect to an orthonormal basis any vector the convenient decomposition,
\begin{equation}
v=\sum_{i=1}^n(e_i,v)e_i.
\end{equation}

It should be clear that for real orthogonal and complex Hermitian spaces we can always find a basis in which the Gram matrix has the form,
\begin{equation}
\mathbf{G}=\begin{pmatrix}
\mathbf{I}_{r_+}&\mathbf{0}&\mathbf{0}\\
\mathbf{0}&-\mathbf{I}_{r_-}&\mathbf{0}\\
\mathbf{0}&\mathbf{0}&\mathbf{0}
\end{pmatrix},
\end{equation}
and for complex orthogonal spaces, a basis in which the Gram matrix has the form,
\begin{equation}
\mathbf{G}=\begin{pmatrix}
\mathbf{I}_{n-r_0}&\mathbf{0}\\
\mathbf{0}&\mathbf{0}
\end{pmatrix}.
\end{equation}

Clearly there’s no such thing as an orthogonal basis for a symplectic space. However, Theorem and Theorem do make it clear that we can always choose a basis, \(\{e_1,f_1,\dots,e_{(n-r_0)/2},f_{(n-r_0)/2},e_{(n-r_0)/2+1},\dots,e_{(n+r_0)/2}\}\), such that, \((e_i,f_i)=-(f_i,e_i)=1\) for \(i=1,\dots,(n-r_0)/2\), are the only non-zero inner products of basis elements. Reordering, we obtain the symplectic basis,
\begin{equation}
\{e_1,\dots,e_{(n-r_0)/2},f_1,\dots,f_{(n-r_0)/2},e_{(n-r_0)/2+1},\dots,e_{(n+r_0)/2}\},
\end{equation}
in terms of which, the Gram matrix has the form,
\begin{equation}
\mathbf{G}=\begin{pmatrix}
\mathbf{0}&\mathbf{I}_{(n-r_0)/2}&\mathbf{0}\\
-\mathbf{I}_{(n-r_0)/2}&\mathbf{0}&\mathbf{0}\\
\mathbf{0}&\mathbf{0}&\mathbf{0}
\end{pmatrix}
\end{equation}

Hermitian, real orthogonal and real symplectic geometries arise quite naturally together, in the following way. Suppose we have a complex vector space \(V\) on which is defined the Hermitian inner product \((\cdot,\cdot):V\times V\mapto\CC\). We consider its realification, \(V_\RR\), on which we define two inner products, \(g(v,w)=\Real(v,w)\) and \(\omega(v,w)=\Imag(v,w)\). It is clear that \(g\) is symmetric and \(\omega\) is antisymmetric and that therefore, \(g\) is positive definite if and only if \((\cdot,\cdot)\) is positive definite. We also have the following relations,
\begin{eqnarray}
g(v,w)=g(iv,iw)=\omega(v,iw)=-\omega(iv,w)\label{orthsympl1}\\
\omega(v,w)=\omega(iv,iw)=-g(v,iw)=g(iv,w).\label{orthsympl2}
\end{eqnarray}
Conversely, if on \(V_\RR\), there are defined inner products, \(g\) and \(\omega\), respectively symmetric and antisymmetric, which satisfy the relations \eqref{orthsympl1} and \eqref{orthsympl2}, then the inner product on \(V\) defined as \((v,w)=g(v,w)+i\omega(v,w)\) is Hermitian.

Consider, in particular, \(\CC^n\) with the standard (orthonormal) basis \(\{\mathbf{e}_i\}\) and Hermitian inner product,
\begin{equation*}
(\mathbf{v},\mathbf{w})=\sum_{i=1}^n{v_i}^*w_i.
\end{equation*}
It’s realification is \(\RR^{2n}\) with basis \(\{\mathbf{e}_1,\dots,\mathbf{e}_n,i\mathbf{e}_1,\dots,i\mathbf{e}_n\}\) which is orthonormal with respect to \(g\) and symplectic with respect to \(\omega\).

The Hermitian inner product, or more precisely its absolute value, measures the extent to which two vectors are parallel or linearly dependent over \(\CC\) while \(g\) measures this over \(\RR\). Thus, \(\omega\) measures the extent to which the linear dependence of two vectors is due to extending the base field from \(\RR\) from \(\CC\).

The upshot of this strong relationship, particularly between complex Hermitian and real orthogonal inner products, is that we can develop their theory largely in parallel.

We consider the different flavours of inner product in turn.

Antisymmetric Clearly, for a \(1\)-dimensional vector space the only possible antisymmetric inner product is the zero inner product. In the \(2\)-dimensional case, suppose first that the skew-symmetric inner product is degenerate. Then there exists, in our \(2\)-dimensional space \(V\), a non-zero vector \(v\) such that \((u,v)=0\) \(\forall u\in V\) and we can extend \(v\) to a basis \(\{v,v’\}\) of \(V\). Now consider the inner product of two arbitrary elements, \(av+bv’\) and \(cv+dv’\), where \(a\), \(b\), \(c\) and \(d\) are elements of the base field (\(\RR\) or \(\CC\)). We have
\begin{equation*}
(av+bv’,cv+dv’)=ac(v,v)+ad(v,v’)+bc(v’,v)+bd(v’,v’)=0,
\end{equation*}
so the only degenerate antisymmetric inner product on a \(2\)-dimensional vector space is the zero inner product. So consider the non-degenerate case. There must exist two vectors, \(v_1\) and \(v_2\), say, such that \((v_1,v_2)\neq0\). In particular this means they are linearly independent and so we can take them to be a basis of \(V\). If \((v_1,v_2)=a\) then the map \(f:V\mapto K^2\) defined by \(f(v_1)=a\mathbf{e}_1\), \(f(v_2)=\mathbf{e}_2\) is clearly an isometry between \(V\) and the symplectic space \(K^2\) of Example. That is, any symplectic geometry on a 2-dimensional vector space is isometric to either the trivial, zero case, or that of Example.

Symmetric Consider first a \(1\)-dimensional vector space, \(V\), over \(\RR\). If \(v\in V\) is non-zero but \((v,v)=0\) then we have the trivial case. So suppose \((v,v)=a\) for some \(a\in\RR\). Either \(a>0\), in which case the inner product is positive definite and we have isometry with the inner product space \(\RR\) equipped with the inner product given by simple multiplication, \((x,y)=xy\) for \(x,y\in\RR\), or \(a<0\), in which case the inner product is negative definite and we have isometry with \(\RR\) equipped with the inner product, \((x,y)=-xy\). As already observed, these two cases are not isometric. If, however, \(V\) is over \(\CC\) then any non-degenerate inner product space is simply isometric to \(\CC\) with the inner product \((x,y)=xy\). Hermitian Any non-trivial \(1\)-dimensional Hermitian inner product space \(V\) must be such that \((v,v)\neq0\) for some \(v\in V\). In this case \((v,v)=a\) with \(a\) some non zero real number. Similar to the real symmetric case we have two cases, positive or negative definite, each clearly isometric to \(\CC\) equipped respectively with the Hermitian inner product \((x,y)=x^*y\) or \((x,y)=-x^*y\).

Definition An inner product space is a vector space \(V\) over \(K=\RR\) or \(\CC\) equipped with an inner product, \((\cdot,\cdot):V\times V\mapto K\), associating a number \((v,w)\in K\) to every pair of vectors \(v,w\in V\). For \(u,v,w\in V\) and \(a,b\in K\), this inner product must satisfy the linearity condition,
\begin{equation}
(u,av+bw)=a(u,v)+b(u,w),\label{inprod-linear}
\end{equation}
together with one of three possible symmetry properties,
\begin{equation}
(v,w)=(w,v),\label{inprod-symmetric}
\end{equation}
in which case the inner product is called symmetric and the space will be said to have an orthogonal geometry,
\begin{equation}
(v,w)=(w,v)^*,\label{inprod-hermitian}
\end{equation}
in which case the inner product is called Hermitian and the space will be said to have an Hermitian geometry, or
\begin{equation}
(v,w)=-(w,v),\label{inprod-symplectic}
\end{equation}
in which case the inner product is called antisymmetric and the space will be said to have a symplectic geometry.
If the inner product further satisifes the condition,
\begin{equation}
(v,v)\geq 0\text{ and }(v,v)=0 \iff v=0\label{inprod-posdef},
\end{equation}
then it is said to be positive definite, or, if it satisifes the weaker condition,
\begin{equation}
(v,w)=0\:\,\forall v\in V\implies w=0,\label{inprod-non sing}
\end{equation}
then it is said to be non-singular or non-degenerate.

A series of remarks relating to this definition are in order.

Remark When \(K=\CC\) and the inner product is Hermitian, we have,
\begin{equation}
(au+bv,w)=a^*(u,w)+b^*(v,w).
\end{equation}
The inner product is then said to be sequilinear with respect to the first argument. Notice also, that, \((v,v)\in\RR\), \(\forall v\in V\).

Remark In all cases, aside from complex Hermitian, the inner product is bilinear.

Remark When \(K=\RR\), an Hermitian inner product is simply symmetric so when considering Hermitian geometries we only consider vector spaces over \(\CC\).

Remark A negative definite inner product is of course such that \((v,v)\leq0\) and \((v,v)=0\) if and only if \(v=0\).

Remark In a space with symplectic geometry we have \((v,v)=0\), \(\forall v\in V\). In particular, such a space can never be positive (or negative) definite, but may be non-degenerate.

Remark The three symmetry properties described in the definition ensure that \((v,w)=0\) if and only if \((w,v)=0\).

If \(\{e_i\}\) is a basis for \(V\), then we can define a matrix \(\mathbf{G}\) with components \(G_{ij}=(e_i,e_j)\). \(\mathbf{G}\) is called the Gram matrix or matrix of the inner product with respect to the basis \(\{e_i\}\). Symmetric, Hermitian and anti-symmetric inner products then correspond respectively to Gram matrices of that type (recall that \(\mathbf{G}\) is Hermitian if \(\mathbf{G}=\mathbf{G}^\dagger\), where \(\mathbf{G}^\dagger\) is the complex conjugate of the transpose).

If we change basis according to \(e’_i=P_i^je_j\), then \(G’_{ij}=(e’_i,e’_j)=(P_i^ke_k,P_i^le_l)=(P_i^k)^*G_{kl}P_i^l\). So when \(K=\RR\) we have \(\mathbf{G}’=\mathbf{P}^\mathsf{T}\mathbf{G}\mathbf{P}\), and for \(K=\CC\), \(\mathbf{G}’=\mathbf{P}^\dagger\mathbf{G}\mathbf{P}\). In either case the matrices \(\mathbf{G}’\) and \(\mathbf{G}\) are said to be congruent. Note that congruent matrices have the same rank so it makes sense to define the rank of an inner product as the rank of its corresponding Gram matrix in some basis.

Let us consider the property of non-degeneracy in terms of the Gram matrix. Given a basis \(\{e_i\}\) of \(V\), we can define a linear map \(L_\mathbf{G}\) in the usual way such that for any \(v=v^ie_i\in V\), \(L_\mathbf{G}v=\sum_{i,j=1}^nG_{ji}v^ie_j\). Then the rank of \(\mathbf{G}\) is just \(n-\dim\ker L_\mathbf{G}\). A vector \(v\in\ker L_\mathbf{G}\) if and only if \(\sum G_{ji}v^i=0\) for each \(j=1,\dots,n\). But notice that non-degeneracy is equivalent to the statement that \((e_j,v)=0\) for all \(j=1,\dots,n\) implies \(v=0\) that is \(G_{ji}v^j=0\) for each \(j=1,\dots,n\) implies \(v=0\). So we see non-degeneracy is equivalent to \(\ker L_\mathbf{G}\) being trivial, that is, the gram matrix, \(\mathbf{G}\), being of full rank.

A real symmetric inner product space, with a positive definite inner product, is also called a Euclidean vector space.

Example The standard example of a Euclidean vector space is \(\RR^n\) with the inner product of any pair of vectors \(\mathbf{v},\mathbf{w}\in\RR^n\) given by the usual dot or scalar product,
\begin{equation}
(\mathbf{v},\mathbf{w})=\mathbf{v}\cdot\mathbf{w}=\sum_{i=1}^nv^iw^i.
\end{equation}

A real symmetric inner product space with a non-singular inner product is called a pseudo-Euclidean space.

Example The Minkowski space, sometimes denoted, \(\MM^4\), of special relativity is an important example of a pseudo-Euclidean space. It is \(\RR^4\) equipped with the inner product,
\begin{equation}
(v,w)=v^0w^0-\sum_{i=1}^3v^iw^i.
\end{equation}
(Four)-vectors of \(\MM^4\) are conventionally indexed from \(0\), with the 0-component being the ‘time-like’ component and the others being the ‘space-like’ components.

Example \(\CC^n\) has a natural Hermitian geometry when equipped with the inner product defined on any pair of vectors \(v,w\in\CC^n\) by,
\begin{equation}
(v,w)=\sum_{i=1}^n{v^i}^*w^i.
\end{equation}

Example For a simple example of a symplectic geometry on \(K^2\), consider the inner product defined on the standard basis vectors by \((\mathbf{e}_1,\mathbf{e}_2)=1=-(\mathbf{e}_2,\mathbf{e}_1)\) so that for any \(\mathbf{v}\) and \(\mathbf{w}\) in \(K^2\) we have,
\begin{equation}
(\mathbf{v},\mathbf{w})=\det(\mathbf{v},\mathbf{w})=v^1w^2-v^2w^1,
\end{equation}
that is, in the case of \(K=\RR\), the signed area of the parallelogram spanned by \(\mathbf{v}\) and \(\mathbf{w}\).

We’ll see shortly that this symplectic geometry is in fact the only non-degenerate possibility for a 2-dimensional space, up to a notion of equivalence we now define.

Definition An isometry between inner product spaces \(V\) and \(W\) is a linear isomorphism, \(f:V\mapto W\), which preserves the values of the inner products. That is,
\begin{equation}
(u,v)_V=(f(u),f(v))_W,
\end{equation}
for all \(u,v\in V\), where \((\cdot,\cdot)_V\) and \((\cdot,\cdot)_W\) are the inner products on \(V\) and \(W\) respectively. If such an isometry exists, the inner product spaces are said to be isometric.

Remark Clearly, isometric inner product spaces have Gram matrices of the same rank.

Remark Isomorphic spaces equipped with the trivial, zero inner product, are trivially isometric.

Example On \(\RR\), multiplication defines a symmetric inner product, \((x,y)=xy\), which is clearly positive definite. We could also define a negative definite symmetric inner product as, \((x,y)=-xy\). These two inner product spaces cannot be isometric since any automorphism of \(\RR\) is of the form \(f(x)=ax\), \(a\in\RR\), \(a\neq0\), and for \(f\) to be an isometry we’d need, \(x^2=-a^2x^2\), for all \(x\in\RR\). Indeed, this shows us why, on \(\CC\), the inner product spaces with symmetric inner products \((x,y)=xy\) and \((x,y)=-xy\), \(x,y\in\CC\) are isometric – just consider the automorphism \(f(x)=ix\). Staying with \(\CC\), the inner product spaces with Hermitian inner products \((x,y)=x^*y\), the positive definite case, and \((x,y)=-x^*y\), the negative definite case, are not isometric since any automorphism of \(\CC\) is of the form \(f(x)=ax\), \(a\in\CC\), \(a\neq0\), and we’d need, \(\abs{x}^2=-\abs{a}^2\abs{x}^2\), for all \(x\in\CC\).

Finite dimensional vector spaces are classified up to isomorphism in terms of an integer, \(n\), their dimension. In other words two vector spaces are isomorphic if and only if they have the same dimension. Similarly, we would like to classify inner product spaces up to isometry. The dimension will clearly be one of the ‘labels’ of these equivalence classes since in particular isometric spaces are isomorphic. The question is, what other data, related to the inner product, is required to characterise isometric spaces? We’ll see that the key to answering this question lies in expressing a given inner product space as a direct sum of low dimensional ones – the type of inner product determines the structural data needed to characterise the decomposition. We begin, therefore, by considering in detail, low dimensional inner product spaces up to isometry.