Example AOS An orthogonal set

The set \begin{equation*} \set{\vect{x}_1,\,\vect{x}_2,\,\vect{x}_3,\,\vect{x}_4}= \set{ \colvector{1+i\\1\\1-i\\i},\, \colvector{1+5i\\6+5i\\-7-i\\1-6i},\, \colvector{-7+34i\\-8-23i\\-10+22i\\30+13i},\, \colvector{-2-4i\\6+i\\4+3i\\6-i} } \end{equation*} is an orthogonal set.

Since the inner product is anti-commutative (Theorem IPAC) we can test pairs of different vectors in any order. If the result is zero, then it will also be zero if the inner product is computed in the opposite order. This means there are six different pairs of vectors to use in an inner product computation. We will do two and you can practice your inner products on the other four. \begin{align*} \innerproduct{\vect{x}_1}{\vect{x}_3}&= (1-i)(-7+34i)+(1)(-8-23i)+(1+i)(-10+22i)+(-i)(30+13i)\\ &=(27+41i)+(-8-23i)+(-32+12i)+(13-30i)\\ &=0+0i \end{align*} and \begin{align*} \innerproduct{\vect{x}_2}{\vect{x}_4}&= (1-5i)(-2-4i)+(6-5i)(6+i)+(-7+i)(4+3i)+(1+6i)(6-i)\\ &=(-22+6i)+(41-24i)+(-31-17i)+(12+35i)\\ &=0+0i \end{align*}

(in context)