All vector spaces and so forth here will be defined over the complex numbers. If z = x+i y is a complex number, where x, y are real numbers, then the complex conjugate of z is denoted z and defined to be x− i y. The complex conjugate of a sum or product of complex numbers is equal to the corresponding sum or product of complex conjugates. The modulus of a complex number z is the nonnegative rea...