ワイトマンの公理系
各々のテスト函数 f について、作用素 A 1 ( f ) , ... , A n ( f ) {\displaystyle A_{1}(f),\ldots ,A_{n}(f)} の集合が存在して、この集合は、たがいに共役(adjoint)で、真空を含むヒルベルト状態空間の稠密な部分集合上で定義される。場 A は作用素に値を持つ(おとなしい)分布である。ヒルベルト状態空間は、真空の上に作用する場の多項式によってはられる(サイクリック条件)。