Ciro Santilli @cirosantilli 34

Notation used in quantum mechanics.

Ket is just a vector. Though generally in the context of quantum mechanics, this is an infinite dimensional vector in a Hilbert space like $L^2$.

Bra is just the dual vector corresponding to a ket, or in other words projection linear operator, i.e. a linear function which can act on a given vector and returns a single complex number. Also known as... dot product.

For example:is basically a fancy way of saying:that is: we are taking the projection of $y$ along the $x$ direction. Note that in the ordinary dot product notation however, we don't differentiate as clearly what is a vector and what is an operator, while the bra-ket notation makes it clear.

The projection operator is completely specified by the vector that we are projecting it on. This is why the bracket notation makes sense.

It also has the merit of clearly differentiating vectors from operators. E.g. it is not very clear in $x\cdot y$ that $x$ is an operator and $y$ is a vector, except due to the relative position to the dot. This is especially bad when we start manipulating operators by themselves without vectors.

This notation is widely used in quantum mechanics because calculating the probability of getting a certain outcome for an experiment is calculated by taking the projection of a state on one an eigenvalue basis vector as explained at: Section "Mathematical formulation of quantum mechanics".

Making the projection operator "look like a thing" (the bra) is nice because we can add and multiply them much like we can for vectors (they also form a vector space), e.g.:just means taking the projection along the $x+y$ direction.

Ciro Santilli thinks that this notation is a bit over-engineered. Notably the bra's are just vectors, which we should just write as usual with $\overrightarrow{v}$... the bra thing makes it look scarier than it needs to be. And then we should just find a different notation for the projection part.

Maybe Dirac chose it because of the appeal of the women's piece of clothing: bra, in an irresistible call from British humour.

But in any case, alas, we are now stuck with it.

This is basically what became the dominant formulation as of 2020 (and much earlier), and so we just call it the "mathematical formulation of quantum mechanics".

Key for quantum mechanics, see: mathematical formulation of quantum mechanics, the most important example by far being $L^2$.

$L^p$ for $p==2$.

$L^2$ is by far the most important of $L^p$ because it is quantum mechanics states live, because the total probability of being in any state has to be 1!

$L^2$ has some crucially important properties that other $L^p$ don't (TODO confirm and make those more precise):

This operator case is surprisingly not necessarily mathematically trivial to describe formally because you often end up getting into the Dirac delta functions/continuous spectrum: as mentioned at: mathematical formulation of quantum mechanics

The wave equation contains the entire state of a particle.

From mathematical formulation of quantum mechanics remember that the wave equation is a vector in Hilbert space.

And a single vector can be represented in many different ways in different basis, and two of those ways happen to be the position and the momentum representations.

More importantly, position and momentum are first and foremost operators associated with observables: the position operator and the momentum operator. And both of their eigenvalue sets form a basis of the Hilbert space according to the spectral theorem.

When you represent a wave equation as a function, you have to say what the variable of the function means. And depending on weather you say "it means position" or "it means momentum", the position and momentum operators will be written differently.

This is well shown at: Video "Visualization of Quantum Physics (Quantum Mechanics) by udiprod (2017)".

Furthermore, the position and momentum representations are equivalent: one is the Fourier transform of the other: position and momentum space. Remember that notably we can always take the Fourier transform of a function in $L^2$ due to Carleson's theorem.

Then the uncertainty principle follows immediately from a general property of the Fourier transform: en.wikipedia.org/w/index.php?title=Fourier_transform&oldid=961707157#Uncertainty_principle

In precise terms, the uncertainty principle talks about the standard deviation of two measures.

We can visualize the uncertainty principle more intuitively by thinking of a wave function that is a real flat top bump function with a flat top in 1D. We can then change the width of the support, but when we do that, the top goes higher to keep probability equal to 1. The momentum is 0 everywhere, except in the edges of the support. Then:

Bibliography: