本項では相対論的効果を考えない量子力学の数学的定式化(りょうしりきがくのすうがくてきていしきか)を厳密に述べる。