Equivalence of Definitions of Complex Dot Product