What are kets?
<|reference_start|>What are kets?: According to Dirac's bra-ket notation, in an inner-product space, the inner product $\langle x\,|\,y\rangle$ of vectors $x,y$ can be viewed as an application of the bra $\langle x|$ to the ket $|y\rangle$. Here $\langle x|$ is the linear functional $|y\rangle \mapsto \langle x\,|\,y\rangle$ and $|y\rangle$ is the vector $y$. But often -- though not always -- there are advantages in seeing $|y\rangle$ as the function $a \mapsto a\cdot y$ where $a$ ranges over the scalars. For example, the outer product $|y\rangle\langle x|$ becomes simply the composition $|y\rangle \circ \langle x|$. It would be most convenient to view kets sometimes as vectors and sometimes as functions, depending on the context. This turns out to be possible. While the bra-ket notation arose in quantum mechanics, this note presupposes no familiarity with quantum mechanics.<|reference_end|>
@article{gurevich2024what,
    title={What are kets?},
    author={Yuri Gurevich and Andreas Blass},
    journal={arXiv preprint arXiv:2405.10055},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.10055},
    primaryClass={quant-ph cs.LO}
}