数学 › 関数解析と作用素論 › ベクトル値解析と関数計算

概解析的拡張

定義 8.2(「ベクトル値解析と関数計算」§8)

f∈Cc∞(R)f\in C_c^\infty(\mathbb{R}) とする。C1C^1 級でコンパクトな台をもつ f~:C→C\tilde f:\mathbb{C}\to\mathbb{C} が、R\mathbb{R} 上で f~=f\tilde f=f を満たし、定数 CC で ∣∂ˉf~(x+iy)∣≤C∣y∣|\bar\partial\tilde f(x+iy)|\le C|y| となるとき、ff の概解析的拡張という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

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

これを使っている定理

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