Используя обозначения, предпочитаемые физиками, если у нас есть оператор H
, тогда |x>
является собственным состоянием H
тогда и только тогда, когда
H|x> = h|x>
, где мы называем h
собственным значением, связанным с собственным вектором |x>
в H
.
(Здесь состояние системы может быть представлено матрицей, что делает эту математику изоморфной со всеми другими уже связанными выражениями.)
Что приводит нас к использованию этих вещей, как только они были обнаружены:
Полный набор собственных векторов системы при данном операторе образует ортогональное остовное множество для их системы . Этот набор может быть основой, если нет вырождения. Это очень полезно, поскольку допускает чрезвычайно компактные выражения произвольных (не собственных) состояний системы.