First, let's recall what it means to have a complete set of mutual eigenkets. This means that there exists a set of kets $|a, b\rangle$ such that:
$$A|a, b\rangle = a|a, b\rangle$$
$$B|a, b\rangle = b|a, b\rangle$$
for some eigenvalues $a$ and $b$.
Show more…