Wigners sats är en sats inom kvantmekaniken. Spelar en viktig roll i kvantmekanikens matematiska grunder . Den definierar hur fysiska symmetrier (rotation [1] , förskjutning i rymden, CPT-transformation ) representeras matematiskt i Hilbert- tillståndsrummet . Navan för att hedra Eugene Wigner , som bevisade det 1931. [2]
Låt H och K vara Hilbert-utrymmen , T vara en kartläggning av normerade strålar och utrymmet H på uppsättningen av normerade strålar i utrymmet K på ett sådant sätt att följande villkor är uppfyllt:
Sedan finns det en operator O från utrymmet H till utrymmet K , definierad upp till en konstant faktor , som genererar T och som är additiv, dvs har egenskapen:
och som antingen är enhetlig, dvs har egenskapen:
eller antiunitär, det vill säga den har egenskapen: [2] [3] [4]
En normaliserad (eller enhets-) stråle är en uppsättning av alla enhetsvektorer i ett Hilbert-utrymme som är kolinjära med en given vektor. Tecknet betyder den skalära produkten i Hilberts rymd. Tecknet betyder operationen att ta modulen . Tecknet betyder operationen av komplex konjugation .