Доказательство взято из «Принципов квантовой механики» Шанкара. Теорема такова:
Если и являются двумя коммутирующими эрмитовыми операторами, существует (по крайней мере) базис общих собственных векторов, который диагонализует их обоих.
Доказательство таково: сначала рассмотрим случай, когда по крайней мере один из операторов невырожден, т. е. для данного собственного значения существует только один собственный вектор с точностью до масштаба. Предположим является невырожденным. Рассмотрим любой из его собственных векторов:
т.е., является собственным вектором с собственным значением . Поскольку этот вектор уникален с точностью до масштаба,
Таким образом также является собственным вектором с собственным значением ...
Чего я не понимаю, так это утверждения/аргумента «Поскольку этот вектор уникален до масштаба». Я не понимаю, как аргумент позволяет сформулировать следующее за ним уравнение. Какую аксиому или какую другую теорему он использует, когда утверждает, что «поскольку этот вектор уникален с точностью до масштаба»?
Обратите внимание, что он объясняет выше: «Рассмотрите сначала случай, когда по крайней мере один из операторов невырожден, т. е. для данного собственного значения существует только один собственный вектор с точностью до масштаба». Поэтому он использует предположение о невырожденности оператора и определение невырожденности (или утверждение, эквивалентное определению невырожденности, если вы используете другое определение).
Фраза «для данного собственного значения существует только один собственный вектор с точностью до масштаба» означает, что любые два собственных вектора с одинаковым собственным значением совпадают с точностью до множителя. Затем является таким фактором.
Когда является собственным значением матрицы и и являются компонентами соответствующего собственного вектора, то выполняется следующее уравнение:
Теперь, когда вы увеличиваете собственный вектор (скажем, на три), он выглядит так:
Это вы можете написать как
Но матрица, умноженная на собственный вектор, все равно дает нулевой вектор!
Это то, что он имел в виду, когда сказал: «Поскольку этот вектор уникален до масштаба»: любой увеличенный собственный вектор матрицы по-прежнему остается собственным вектором. И как из него следует последнее уравнение?
Когда вы пишете
или
Поскольку вектор имеет то же собственное значение, что и , он должен находиться в том же инвариантном подпространстве, что и , который Шанкар считает одномерным.
Я точно не знаю, что это значит со скаляром, но помните, что:
Вектор инвариантен до фазы , потому что глобальная фаза всегда исключается, когда вы вычисляете, например, с состоянием , ожидаемое значение и наблюдаемое использование этого состояния
что является тем же результатом, как если бы вы вычислили ожидаемое значение, просто используя вектор . Итак, для всех практических целей вы можете использовать только состояние в вашей изюминке вашего доказательства.