Continuous Orthonormality

For a discrete basis: (using Kronecker Delta)

xxxkxk\braket{x|x'}\equiv \braket{x_k|x_{k'}} =kkΔx=δkk1Δx={0ifxxkk1/Δxifx=xk=k=\frac{\braket{k|k'}}{\Delta x}=\delta_{kk'}\frac{1}{\Delta x}=\begin{cases}0& if\quad x\neq x'\quad k\neq k'\\ 1/\Delta x\quad& if \quad x=x'\quad k=k\end{cases}

For a continuous basis: (using Dirac Delta)

xxdxxk=LLxxkΔx\int\braket{x|x'}dx\equiv \sum_{x_k=-L}^L \braket{x|x_{k'}}\Delta x =k=NNkk=δ(kk)=1=\sum_{k=-N}^N\braket{k|k'}=\delta(k-k')=1