由黎曼和的极限导出的体积二重积分的形式数学定义是什么？

适用条件

• 函数 $f(x,y)$ 代表区域 $D$ 上方的曲面高度。
• 取极限时，划分的范数 $||T||$（子区域的最大直径）趋于零。
• 求和涵盖划分的所有 $n$ 个子区域。

理解与推导

1. 识别黎曼和的组成部分：高度 $f(\xi_i, \zeta_i)$ 和底面积 $\Delta\sigma_i$。
2. 构建求和式 $\sum_{i=1}^n f(\xi_i, \zeta_i)\Delta\sigma_i$。
3. 应用划分变得无限精细的极限过程（$||T||\to0$）。
4. 将该极限等同于二重积分记号 $\iint_D f(x,y)d\sigma$。
5. 将最终结果陈述为精确体积 $V$。

例子

视频显示了公式：$V = \iint_D f(x,y)d\sigma = \lim_{||T||\to0} \sum_{i=1}^n f(\xi_i, \zeta_i)\Delta\sigma_i$。脚本指出：“将它们乘积相加并让最大网孔尺寸趋于零以获得精确体积。”

容易误解的地方

• 假设二重积分仅仅是高度的总和而没有按面积元素加权。
• 认为极限适用于细分数量 $n$ 独立于网孔尺寸缩小至零地趋向无穷大（尽管相关，但严格定义要求网孔范数消失）。

观看对应讲解

继续追问

• 为什么在此特定示例中证明连续非负高度条件是合理的？
• 如果曲面低于 xy 平面，此定义如何变化？