多変数の正則関数
を開集合とする。 が変数ごとに正則であるとは、各 と各点 について、1 変数関数 が の近傍で正則であることをいう。連続かつ変数ごとに正則な関数を正則という。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 3 件
- Borchers の定理✓定理 3.1・局所ネットのモジュラー理論
- 錐に台をもつ超関数の Fourier–Laplace 変換✓定理 3.1・Wightman 関数の解析性
- 解析的なパラメータをもつ縮小写像✓補題 5.2・Bałaban『Large field renormalization II』精読 第 1 部