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
Eq0@literature.cafe 1 hour ago
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