Complex Inner Product Spaces

The real dot product and its algebraic identities, the complex dot product with conjugated first argument, the axioms of a complex inner product space with proofs, and Dirac notation for inner products as a row-times-column product.