• Eq0@literature.cafe
    link
    fedilink
    English
    arrow-up
    1
    ·
    1 day 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