KKS algebry (založené na kanonických komutačních vztazích ) a KAS algebry (založené na kanonických antikomutačních vztazích) se používají v matematickém aparátu kvantové mechaniky , kvantové statistické mechaniky a kvantové teorie pole při popisu statistiky a pozorovatelných vlastností všech elementárních částic: [1 ] bosony , respektive fermiony . [2] .
Nechť je skutečný vektorový prostor vybavený nedegenerovanou reálnou antisymetrickou bilineární formou (tj. symplektický vektorový prostor ). jednotná *-algebra generovaná prvky, ve kterých platí vztahy
neboť jakýkoli in se nazývá algebra kanonických komutačních vztahů (KKS-algebra) .
Pokud je naopak jednotková *-algebra generovaná prvky vybavena nedegenerovanou reálnou symetrickou bilineární formou , ve které jsou vztahy
all in se nazývá algebra kanonických antikomutačních vztahů (CAS-algebra) .
Existuje samostatný, ale úzce související druh KKS-algebry, nazývaný KKS C*-algebra. Nechť je skutečný symplektický vektorový prostor s nesingulárním symplektickým tvarem . V teorii operátorových algeber je KKS algebra over jednotná C*-algebra generovaná prvky s vlastnostmi
Říká se jim Weylova forma kanonických komutačních vztahů a zejména z nich vyplývá, že každý prvek je unitární a . Je dobře známo, že KKS-algebra je jednoduchá neoddělitelná algebra a je jedinečná až do izomorfismu. [3]
Když je Hilbertův prostor , a je dán imaginární částí vnitřního součinu, KKS-algebra je spolehlivě reprezentována na symetrickém Fockově prostoru nad , pomocí vztahu:
pro jakýkoli . Operátory pole jsou pro každý definovány jako generátory jednoparametrové unitární skupiny na symetrickém Fockově prostoru. Jsou to samoadjungované neohraničené operátory , nicméně formálně splňují relaci
Protože je relace reálně-lineární, definují operátory KKS-algebru přes ve smyslu oddílu 1 .
Nechť je Hilbertův prostor. V teorii operátorových algeber je CAS-algebra jedinečné C*-dokončení komplexní jednotkové *-algebry generované prvky , přičemž se berou v úvahu vztahy
pro všechny ,. Když je oddělitelná, CAS-algebra je přibližně konečná-dimenzionální C*-algebra a v konkrétním případě nekonečně-rozměrné , je často psána jako . [čtyři]
Nechť je antisymetrický Fockův prostor nad a nechť je ortogonální projekce na antisymetrické vektory:
CAS-algebra je přesně reprezentována v , pomocí vztahu
pro všechny a . Skutečnost, že tvoří C*-algebru, je vysvětlena skutečností, že operátory vytvoření a anihilace v antisymetrickém Fockově prostoru jsou omezené operátory . Navíc operátory polí tento vztah splňují
dávám odkaz na kapitolu 1 .