B1 - postulates

postulate 1: state

|ψ⟩=(c1⋮c2)

where, ci∈C and |ψ⟩∈Cn

postulate 2: evolution

|ψ(t2)⟩=U(t1,t2)|ψ(t1)⟩

where, U†U=UU†=I

postulate 3: measurement

p(m)=⟨ψ|Pm|ψ⟩ Pm|ψ⟩p(m)

postulate 4: composite systems

H=H1⊗H2⊗⋯⊗Hn=⊗i=1nHn