두 에르미트 연산자의 곱이 에르미트 연산자일 조건
hermitian operator commute
🚧 이 포스트는 아직 이관 작업이 완료되지 않았습니다 🚧
즉, 두 연산자가 에르미트 연산자일 때 교환 관계이면 두 연산자의 곱도 에르미트 연산자이다.
증명
$\begin{align*} (AB)^\dagger &= B^\dagger A^\dagger \\ &= BA \ \ (A, B\text{가 에르미트 연산자 이므로}) \end{align*}$이 때 $AB$가 에르미트 연산자라면$(AB)^\dagger=AB$이다.따라서 $AB$가 에르미트 연산자일 조건은$AB=BA $$ \implies AB-BA=0 $$ \implies [A,B]=0$
■
댓글