Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
functions_inverses_and_unitary_operators [2022/10/06 01:04] – [Functions of Operators] adminfunctions_inverses_and_unitary_operators [2022/10/06 01:05] (current) – [Interaction of Functions with Commutators] admin
Line 9: Line 9:
  
 It is possible to prove that this series converges if It is possible to prove that this series converges if
-\[\sup_{\{\ket{\psi}| \| \psi \| \}} \Abs{\sand{\psi}{\hat{A}}{\psi}} \leq r.\]+\[\sup_{\{\ket{\psi}| \| \psi \| = 1 \}} \Abs{\sand{\psi}{\hat{A}}{\psi}} \leq r.\]
  
 ===== Interaction of Functions with Commutators ===== ===== Interaction of Functions with Commutators =====
Line 15: Line 15:
 Since $[\hat{A}+\hat{B},\hat{C}] = [\hat{A},\hat{C}] + [\hat{B},\hat{C}]$ and $[\hat{A}^{n},\hat{B}] = 0$ whenever $[\hat{A},\hat{B}] = 0$, the fact that functions are defined in terms of power series means that Since $[\hat{A}+\hat{B},\hat{C}] = [\hat{A},\hat{C}] + [\hat{B},\hat{C}]$ and $[\hat{A}^{n},\hat{B}] = 0$ whenever $[\hat{A},\hat{B}] = 0$, the fact that functions are defined in terms of power series means that
   * If $[\hat{A},\hat{B}] = 0$ then $[f(\hat{A}),\hat{B}] = 0$ for any function $f$.   * If $[\hat{A},\hat{B}] = 0$ then $[f(\hat{A}),\hat{B}] = 0$ for any function $f$.
-  * In particular, since $[\hat{A},\hat{A}] = 0$, we have $[f(\hat{A}),g(\hat{A})] = 0$ for any functions $f$ and $g.+  * In particular, since $[\hat{A},\hat{A}] = 0$, we have $[f(\hat{A}),g(\hat{A})] = 0$ for any functions $f$ and $g$.
  
 ===== Interaction of Functions with Hermitian adjoints ===== ===== Interaction of Functions with Hermitian adjoints =====