数学 において、同型性を除き、分離して作用する超有限タイプII因子は 正確に2つ存在する。1つは無限でもう1つは有限である。マレーとフォン・ノイマンは、同型性 を除き、タイプII 1の 因子 でありかつ超有限 でもある唯一のフォン・ノイマン代数 が存在することを証明した。これは超有限タイプII 1 因子と呼ばれる。タイプII 1 の因子は他に無数に存在する。コンヌは 、無限因子もまた唯一であることを証明した。
建設 無限共役類の性質 を持つ離散群のフォン・ノイマン群代数はII 1 型の因子であり、群が従順かつ 可算で あれば因子は超有限である。局所有限群 は従順であるように、これらの性質を持つ群は多数存在する。例えば、有限個以外の元を固定する可算無限集合のすべての順列からなる無限対称群のフォン・ノイマン群代数は、超有限型II 1 因子を与える。超有限タイプ II 1 因子は、確率空間上の可算従属群のエルゴード自由測度保存作用に対する群測度空間構成からも生じます。 可算個数のI n 型の因子とその軌跡状態に関する無限テンソル積は、超有限II 1 型因子である。n = 2 のとき、 これは無限可分ヒルベルト空間のクリフォード代数と呼ばれることもある。 p が II 型の超有限フォン・ノイマン代数A における任意の非零有限射影である場合、 pAp は II 型の超有限1 因子である。同様に、A の基本群は 正の実数 の群である。これは直接的に理解するのが難しい場合が多い。しかし、Aが I n 型の因子の無限テンソル積である場合(ここで n は 1 より大きいすべての整数に対して無限回実行される)、つまりpを射影 p n の無限テンソル積と等価 とすれば、その軌跡状態は または となる。1 {\displaystyle 1} 1 − 1 / n {\displaystyle 1-1/n}
プロパティ 超有限 II 1 因子R は、次の意味で唯一の最小の無限次元因子です。つまり、 R は他の任意の無限次元因子に含まれており、Rに含まれる任意の無限次元因子は R と同型です。
R の外部自己同型群は、正の整数p と複素数p 乗根 1 から なるペアでインデックス付けされた、可算な数の共役類を持つ無限単純群です。
超有限 II 1 因子の射影は連続した幾何学 を形成します。
無限超有限タイプII因子 II ∞ 型因子は他にも存在しますが、同型性を除いて唯一の超有限因子が存在します。これは、有界作用素 を定義する超有限 II 1 型因子を要素とする無限正方行列から構成されます。
参照
参考文献 A. Connes,単射因子の分類 The Annals of Mathematics 2nd Ser., Vol. 104, No. 1 (Jul., 1976), pp. 73–115 FJ Murray, J. von Neumann, On rings of operators IV Ann. of Math. (2), 44 (1943) pp. 716–808. これは、II 1 型のすべての近似有限因子が同型であることを示しています。