Artificial intelligent assistant

Why is the inner product always real? Seems like we could redefine inner products to map to the imagenary set. Why is the inner product always real or not surjective? It seems too convienient and magical to me for inner products to always be real. It feels like there is something deep about this, or it could be just a simple idea that needs 7 years of brainwashing from a math curriculum to appriciate.

If your space is real, you only have real numbers to play with. That's why the usual inner product on $\mathbb R^n$ is defined as $$\langle x,y\rangle=\sum_{k=1}^n x_ky_k.$$

That's not the case as soon as you have complex numbers at hand. On $\mathbb C^n$, you usually define $$ \langle x,y\rangle=\sum_{k=1}^n x_k\overline{y_k}. $$ The theory of Hilbert spaces and its linear operators is more neat and complete on complex spaces.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 637e912c41a79403b9b50c3390b17cf9