Aqui \overline{a_k} significa o conjugado complexo do número a_k. Explico rapidamente por que: a forma bra \langle A| é o conjugado transposto do ket |A\rangle, então seus componentes são os conjugados dos coeficientes do ket. O produto interno é conjugado-linear na primeira entrada e linear na segunda — por isso aparece \overline{a_k} multiplicando b_k.