Remark 3.1.1.
We note that the third axiom tells us that the inner product is conjugate linear in the second variable (or that the function of two variables, is sesquilinear). Using the first three axioms, if we fix and define by we observe
and
hence the term conjugate linear.