Physics Derivation Graph navigation Sign in

review derivation: quantum basics Hermitian operators have realvalued observables

This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.


Hold the mouse over a node to highlight that node and its neighbors. You can zoom in/out. You can pan the image. You can move nodes by clicking and dragging.

Notes for this derivation:

Options
Alternate views of this derivation:
Edit this content:    

To edit a step, click on the number in the "Index" column in the table below

Clicking on the step index will take you to the page where you can edit that step.

Index Inference Rule Input latex Feeds latex Output latex step validity dimension check unit check notes
4 declare assumption
  1. 9294858532; locally 2484892:
    \(\hat{A}^+ = \hat{A}\)
    \(\)
no validation is available for declarations 9294858532:
9294858532:
3 distribute conjugate transpose to factors
  1. 2394935835; locally 2495954:
    \(\left(\langle\psi| \hat{A} |\psi \rangle \right)^+ = \left(\langle a \rangle\right)^+\)
    \(\)
  1. 1010393913; locally 2390094:
    \(\langle \psi| \hat{A}^+ |\psi \rangle = \langle a \rangle^*\)
    \(\)
Nothing to split 2394935835: no LHS/RHS split
1010393913:
2394935835: N/A
1010393913:
5 substitute RHS of expr 1 into expr 2
  1. 9294858532; locally 2484892:
    \(\hat{A}^+ = \hat{A}\)
    \(\)
  2. 1010393913; locally 2390094:
    \(\langle \psi| \hat{A}^+ |\psi \rangle = \langle a \rangle^*\)
    \(\)
  1. 4948934890; locally 2494040:
    \(\langle \psi| \hat{A} |\psi \rangle = \langle a \rangle^*\)
    \(\)
failed 9294858532:
1010393913:
4948934890:
9294858532:
1010393913:
4948934890:
6 substitute RHS of expr 1 into expr 2
  1. 4948934890; locally 2494040:
    \(\langle \psi| \hat{A} |\psi \rangle = \langle a \rangle^*\)
    \(\)
  2. 9999999975; locally 3402919:
    \(\langle \psi| \hat{A} |\psi \rangle = \langle a \rangle\)
    \(\)
  1. 2848934890; locally 4930585:
    \(\langle a \rangle^* = \langle a \rangle\)
    \(\)
Nothing to split 4948934890:
9999999975: no LHS/RHS split
2848934890:
4948934890:
9999999975: N/A
2848934890:
7 declare final expr
  1. 2848934890; locally 4930585:
    \(\langle a \rangle^* = \langle a \rangle\)
    \(\)
no validation is available for declarations 2848934890:
2848934890:
1 declare initial expr
  1. 9999999975; locally 3402919:
    \(\langle \psi| \hat{A} |\psi \rangle = \langle a \rangle\)
    \(\)
no validation is available for declarations 9999999975: no LHS/RHS split
 9999999975: N/A
2 conjugate transpose both sides
  1. 9999999975; locally 3402919:
    \(\langle \psi| \hat{A} |\psi \rangle = \langle a \rangle\)
    \(\)
  1. 2394935835; locally 2495954:
    \(\left(\langle\psi| \hat{A} |\psi \rangle \right)^+ = \left(\langle a \rangle\right)^+\)
    \(\)
Nothing to split 9999999975: no LHS/RHS split
2394935835: no LHS/RHS split
 9999999975: N/A
2394935835: N/A
Physics Derivation Graph: Steps for quantum basics Hermitian operators have realvalued observables

Symbols for this derivation

See also all 227 symbols
symbol ID category latex scope dimension name value Used in derivations references
4065 variable \langle \psi|
\(\langle \psi|\)		 complex dimensionless bra 4
9329 variable |\psi \rangle
\(|\psi \rangle\)		 complex dimensionless ket 1
9139 variable a
\(a\)		 ['real'] dimensionless 45
5598 variable \hat{A}
\(\hat{A}\)		 real dimensionless observerable operator 3
MESSAGES: