Het inproduct (ook wel inwendig product of scalair product genoemd) tussen twee golffuncties en wordt gedefinieerd door de formule
Het inproduct (ook wel inwendig product of scalair product genoemd) tussen twee golffuncties en wordt gedefinieerd door de formule
3.1
Volgens de wiskundige definitie is een inproduct:
3.2
Het inproduct (3.1) voldoet aan deze voorwaarden. I.h.b. geldt de normeringseis (iii) voor golffuncties. Alle toelaatbare golffuncties vormen samen een hilbertruimte, d.w.z. een verzameling van kwadratisch integreerbare functies waarvoor een inproduct is gedefinieerd en een eindige positieve norm.
De hilbertruimte is een lineaire vectorruimte met als eigenschap dat een lineaire combinatie van golffuncties, bijvoorbeeld met reële of complexe constanten ook een mogelijke quantumtoestand beschrijft. Dit wordt het superpositieprincipe genoemd.