由粒子数算子及某些Bogoliubov变换所导出的算子代数上的映照

设h是由复函数所构成的可分Hilbert空间,(f,g)是h上的内积且关于g线性。h_s^(n)表示空间h的n重对称张量积,记h_s^(0)=Q·C,其中Q是一范数为1的向量。