複素ベクトル空間 ，線型写像 ，ベクトル の組で以下の条件をみたすものを，頂点代数 という． によって，場 を定義すると，任意の に対し， はたがいに局所的． 線型写像 が存在して，このとき， より， は一意的．

固有値と固有ベクトル．