  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.
