===== Hilbert space expectation value =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $V$...Hilbert space |

| @#FFBB00: definiendum | @#FFBB00: $\langle\cdot\rangle_{-}:\mathrm{Observable}(V)\times V\to\mathbb R$ |
| @#FFBB00: definiendum | @#FFBB00: $\langle A \rangle_{\psi}:=\langle \psi | A\ \psi \rangle$ |

==== Discussion ====
=== Theorems ===
^ $A\ \psi=\lambda\ \psi \implies (\langle A \rangle_{\psi}=\lambda)\,\land\,(\Delta_\psi A=0)$ ^
==== Parents ====
=== Context ===
[[Hilbert space]], [[Observable]]
=== Related ===
[[Hilbert space mean value]]