数学 › フーリエ解析と超関数 › Toeplitz 作用素と Szegő の極限定理

Bergman 空間の基本性質

定理 6.2（「Toeplitz 作用素と Szegő の極限定理」§6）・ ✓公理まで証明済み

$f\in A^2$ 、 $z\in\mathbb{D}$ について $|f(z)|\le\frac{\|f\|_{A^2}}{\sqrt\pi(1-|z|)}$ 。 $A^2$ は $L^2(\mathbb{D})$ の閉部分空間で、Hilbert 空間である。
$e_n(z)=\sqrt{\frac{n+1}\pi}z^n$ （ $n\ge0$ ）は $A^2$ の正規直交基底である。
（再生核） $K(z,w)=\frac{1}{\pi(1-z\bar w)^2}$ について、 $f\in A^2$ なら $f(z)=\int_{\mathbb{D}}K(z,w)f(w)\,dA(w)$ 。 $L^2(\mathbb{D})$ から $A^2$ への直交射影（Bergman 射影）は核 $K$ の積分作用素である。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 49 件、定義なども含めて 56 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

前提をたどる証明が使う定理・定義（直接 3 件）

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

コーシーの積分公式✓定理 6.1・コーシーの積分定理と積分公式
- 積分路の変形定理✓定理 5.1・コーシーの積分定理と積分公式
  - 複素線積分の基本性質✓命題 2.3・コーシーの積分定理と積分公式（上で展開済み）
  - コーシーの積分定理（導関数の連続性を仮定した形）✓定理 4.3・コーシーの積分定理と積分公式
    コーシー・リーマンの関係式（必要性）✓定理 4.1・正則関数とコーシー・リーマンの関係式この先をたどる →
    複素線積分に対するグリーンの公式✓補題 4.2・コーシーの積分定理と積分公式（上で展開済み）
    Jordan の曲線定理✓定理 4.2・Jordan の曲線定理と Jordan–Brouwer の分離定理この先をたどる →
    単連結領域定義 4.1・コーシーの積分定理と積分公式
  - 複素線積分に対するグリーンの公式✓補題 4.2・コーシーの積分定理と積分公式
    複素線積分定義 2.2・コーシーの積分定理と積分公式
- 複素線積分の基本性質✓命題 2.3・コーシーの積分定理と積分公式
  - 複素線積分定義 2.2・コーシーの積分定理と積分公式
- べき関数の円周上の積分✓補題 2.5・コーシーの積分定理と積分公式
- ML 不等式✓補題 2.4・コーシーの積分定理と積分公式
モレラの定理✓定理 3.6・正則関数の強力な性質
- 正則関数の無限回微分可能性✓系 3.3・正則関数の強力な性質
  - コーシーの積分公式（導関数版）✓定理 3.2・正則関数の強力な性質
    コーシー型積分の微分✓補題 3.1・正則関数の強力な性質
正規直交基底の特徴づけ（パーセバルの等式）✓定理 6.4・Hilbert 空間の基礎
- 二重直交補空間と稠密性の判定✓系 3.7・Hilbert 空間の基礎
  - 命題 3.2✓Hilbert 空間の基礎
  - 射影定理✓定理 3.4・Hilbert 空間の基礎
    平行四辺形則と分極恒等式✓命題 2.3・Hilbert 空間の基礎
    最近点の変分的特徴づけ✓補題 3.3・Hilbert 空間の基礎
    命題 3.2✓Hilbert 空間の基礎
- ベッセルの不等式✓定理 6.2・Hilbert 空間の基礎
- 命題 3.2✓Hilbert 空間の基礎

これを使っている定理

証明で明示的に参照している定理は、まだありません。

Bergman 空間の基本性質

閉包の状態

前提をたどる 証明が使う定理・定義（直接 3 件）

これを使っている定理

関連するノック 2 問

前提をたどる証明が使う定理・定義（直接 3 件）