In a formal setup, the state of an isolated physical system in quantum mechanics is represented, at a fixed time t , by a state vector |Ψ⟩ belonging to a separable complex Hilbert space. Using bra–ket notation the relation between state vector and "position basis " { | x ⟩ ⟩ } of the Hilbert space can be written as