You can extend the dot product to imaginary fields, there are a couple of standard extractions. If I remember correctly (but my quantum physics background is really poor, so I’m ready to be proven wrong) the one compatible with the bra-ket notation is
You can assume a and b are real to make the joke make sense.
You can extend the dot product to imaginary fields, there are a couple of standard extractions. If I remember correctly (but my quantum physics background is really poor, so I’m ready to be proven wrong) the one compatible with the bra-ket notation is
a dot b := sum_i conj(a)_i b_i