初期状態と終状態を反転する変換下での物理的現象の不変性が物理学でしばしば考察の対象となる。時間反転演算子を T とすれば


となる。
初期状態 |φi⟩ から 終状態 |φf⟩ へ時間発展するある物理現象を考えた場合に、行列要素が

となる[1]。これは

すなわち T|φf⟩ から T|φi⟩ への時間発展という物理現象についての行列要素と等しい。
アンチユニタリ演算子
アンチユニタリ演算子は


と定義される[2]。
例えばある系の基本となる方程式は、

である。これの時間ミラー系を考えた場合に、仮に時間反転演算子がユニタリであれば、



となって元の系の方程式とは符号が異なってしまう。であるから、時間反転演算子
はアンチユニタリ演算子でなければならない。