静電平衡にある導体

定義 4.1（「静電場の境界値問題」§4）

連結な閉領域 $K$ が導体であって静電平衡にあるとは、 $K$ の内部で $\boldsymbol{E}=\boldsymbol{0}$ が成り立ち、電荷は表面だけに面密度 $\sigma$ で分布していることをいう。

閉包の状態

定義

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

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

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