数学 › 微分積分学 › ベクトル解析と積分定理

基本的な恒等式

命題 3.5(「ベクトル解析と積分定理」§3) ・ ✓公理まで証明済み

φ\varphi が C2C^2 級、F\boldsymbol F が C2C^2 級、gg が C1C^1 級、A\boldsymbol A が C1C^1 級のとき次が成り立つ。

  1. rot grad φ=0\mathrm{rot}\,\mathrm{grad}\,\varphi=\boldsymbol 0。
  2. div rot F=0\mathrm{div}\,\mathrm{rot}\,\boldsymbol F=0。
  3. rot(gA)=∇g×A+g rot A\mathrm{rot}(g\boldsymbol A)=\nabla g\times\boldsymbol A+g\,\mathrm{rot}\,\boldsymbol A。
  4. a,ba,b が C2C^2 級のスカラー場のとき div(∇a×∇b)=0\mathrm{div}(\nabla a\times\nabla b)=0。
  5. div(gA)=∇g⋅A+g div A\mathrm{div}(g\boldsymbol A)=\nabla g\cdot\boldsymbol A+g\,\mathrm{div}\,\boldsymbol A。

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

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる 証明が使う定理・定義(直接 1 件)

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

これを使っている定理 証明で参照している 1 件

関連するノック 2 問