Poisson 核

定義 4.1（「調和関数と Poisson 積分」§4）

$0\le r<1$ と $\theta\in\mathbb{R}$ に対して

P_r(\theta)=\frac{1-r^2}{1-2r\cos\theta+r^2}=\frac{1-r^2}{|1-re^{i\theta}|^2}

をPoisson 核という。

閉包の状態

定義

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

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

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