Stonen lause unitaaristen operaattoreiden ryhmistä Hilbert-avaruudessa on tärkeä tulos funktionaalisesta analyysistä , jonka mukaan mikä tahansa vahvasti jatkuva yksiparametrinen unitaaristen operaattorien ryhmä voidaan esittää seuraavasti:
,missä on jokin itseadjoint-operaattori ja on parametri. Myös päinvastoin: Stone-esityksen avulla mikä tahansa itseadjoint-operaattori voidaan liittää vahvasti jatkuvaan yksiparametriseen unitaaristen operaattorien ryhmään.
Lauseen todisti amerikkalainen matemaatikko Marshall Stone vuonna 1930 , ja sillä oli suuri merkitys kvanttimekaniikan kehitykselle , ja se toimi myös sysäyksenä Koopman-von Neumannin teorian luomiselle .
Voimakkaasti jatkuvalla yksiparametriisella unitaaristen operaattorien ryhmällä on seuraavat ominaisuudet:
.Tuloksen merkitys fysiikan kannalta on siinä, että se takaa Schrödingerin ja Liouvillen yhtälöiden ratkaisujen olemassaolon ja ainutlaatuisuuden sekä aaltofunktion normalisointien säilymisen.