Loading article…
させて複素平面上の単位円とし、標準ルベーグ測度を持ち、複素数値の二乗可積分関数のヒルベルト空間とする。有界な可測複素数値関数の上乗算演算子を定義しますの上。 させて投影はハーディのスペースへ記号を持つトプリッツ演算子定義される
ここで「|」は制限を意味します。
上の有界作用素トプリッツであるのは、基底におけるその行列表現が対角線の長さは一定です。
証明については、Douglas (1972 、p.185)を参照のこと。彼はこの定理をMark Krein、Harold Widom 、およびAllen Devinatzに帰属させている。これは、Atiyah-Singer指数定理の重要な特殊ケースと考えることができる。
ここ、は、の閉じた部分代数を表す。解析関数(負のフーリエ係数がゼロになる関数)のは、の閉部分代数である。によって生成されましたそして、 そしては、円上の連続関数の空間(代数的集合として)である。S.Axler 、SY.Chang、D.Sarason(1978)を参照。
{{citation}}: CS1 maint: 複数の名前: 著者リスト (リンク)