Real Hilbert space

Complex Hilbert space

System state: complex wave function

Dynamical variable: complex linear operator

Observable: self-adjoint (hermitian) operator

Measurement of observable value^(*):

System state: complex wave function

Dynamical variable: complex linear operator

Observable: self-adjoint (hermitian) operator

Value of observable: