∑是柱面x^2+y^2=1被平面z=0及z=3所截得的在第一卦限内的部分，则∫∫zdxdy+xdy
高斯公式法：
取Σ：x² + y² = 1,前侧、补Σ1：z = 3,上侧、补Σ2：z = 0,下侧、补Σ3：x = 0,后侧：
∫∫(Σ+Σ1+Σ2+Σ3) ydzdx = ∫∫∫Ω (0 + 1 + 0) dxdydz。
= ∫∫Ω dxdydz。
= (1/2) * π * 1² * 3。
= 3π/2。
∫∫Σ1 ydzdx = ∫∫Σ2 ydzdx = ∫∫Σ3 ydzdx = 0。
所以∫∫Σ ydzdx = 3π/2。
普通法.
Σ：x² + y² = 1,前侧、取Σ1：y = - √(1 - x²),左侧、取Σ2：y = √(1 - x²),右侧：
∫∫Σ ydzdx。
= ∫∫Σ1 ydzdx + ∫∫Σ2 ydzdx。
= - ∫∫D [- √(1 - x²)] dzdx + ∫∫D [√(1 - x²)] dzdx。
= 2∫∫D √(1 - x²) dzdx。
= 2∫(0,3) dz ∫(0→1) √(1 - x²) dx。
= 2 * (3 - 0) * (1/4)(π)(1⁵)。
= 3π/2。
扩展资料：
曲面积分的几何意义：
1. 多元函数微积分（微积分基本定理：牛顿-莱布尼兹-格林-高斯-斯托克；一般性的连续理论、微分理论；黎曼积分）。
2. 点集拓扑（或引入拓扑概念的度量空间）。
3. 线性代数（向量空间作为抽象代数结构；张量的基础概念；群）。
首先， 是一个实线性空间，维数是3。这里值得注意的是， 可以表示任意一个抽象的三维实线性空间 ，选定一组基 后，就存在一个线性空间的同构。我们把 称作坐标、是一个坐标空间。
两点间的距离可以用勾股定理定义：
有这个度量诱导的拓扑称为欧几里得拓扑。以下不加说明，默认 上自带欧几里得拓扑。类似地我们定义带欧几里得拓扑的 和 。下面考虑 中的（光滑）曲线、曲面。
Def 若满足以下条件，称为 的一个（连通）光滑子流形。
开覆盖的粘合是光滑的，即可以证明对于这样的光滑子流形， 是一个不变量，称为维数。这里维数可能的取值是 。当维数为1时，称其为光滑曲线；维数为2时，称其为光滑曲面；维数为3时，称其为一个区域。
有时候我们要考虑带“边界”的子流形，比如带端点的曲线、带边界的曲面和带表面的区域。此时只需要使得上面定义中的某些局部同胚是到半空间的：
我们用来表示光滑子流形的边界 ，其中是其内部。
正如（光滑）曲线在每一点都有切线，（光滑）曲面在每一点都有切面，我们将这个概念推广到一般的光滑流形上，形成切空间和切丛的概念。
简单来说，流形一点的切空间就是黏在这点的同维度线性空间，而把所有切空间连同它们所在流形上的点粘起来，就是流形的切丛。切空间里的元素就是向量，如果把每一点的向量粘起来，就得到一个向量场（切丛的截面；我们默认向量场是光滑的）。
根据线性空间对偶的定义，流形每一点还有对应的余切空间，粘起来是流形的余切丛。
我这里不想仔细引入切丛、余切丛的具体定义了，在维基和各种微分几何教材里都找得到，大部分可以分成两种思路：
先引进切向量，作为经过该点曲线的某种等价类，然后是切空间、切丛、向量场，最后由对偶定义余切空间、余切丛。
或者就是定义一点的1-微分形式为该点函数芽的等价类，然后引入1-微分形式、余切空间、余切丛，最后由对偶定义切空间、切丛。对于中光滑流形的切丛、余切丛，直观的理解已经足够。
正定、并且可以推出假如线性空间 是有限维的、是一组基，那么我们可以获得一个对称矩阵来表示内积（这样的矩阵称作规度矩阵）：
特别地、上选取标准基 ，标准内积的矩阵表示就是3*3的单位矩阵。
在装备了（标准）内积的上，我们可以定义向量的夹角和正交关系。此外、上还可以定义向量外积代数。
满足双线性、反对称可以推出：所以向量外积的坐标。
这分别给出了二元向量组到单个向量的线性映射以及三元向量组到标量的线性映射（注意这两个不是单射）。
现在，我们要把这些结构搬到光滑流形 上。对于流形一点切空间中的向量，我们也希望定义一种“内积“。满足上面的条件、称作点的规度。
随着点 在流形上变化、也要光滑地变化，那么我们事实上定义了一个（2，0）-张量丛的光滑截面使得 。称这样的为上的一个黎曼规度。
局部坐标系：
在每一点切空间中选取一组基，使得它们作为（0，3）-张量场是光滑截面，那么这个张量场对应了一套局部坐标系。
对应有一套对偶局部坐标系 ，使得 是 的基，而且 。那么一个向量场可以表示为 ，一个1-形式可以表示为 。（这里用到了爱因斯坦求和约定，上下指标同时出现表示对所有可能指标求和。
黎曼规度可以表示为 ，这里 。那么就是流形上一点处的规度矩阵。
和线性空间中的情况类似，在定义了内积后，我们就能建立起线性空间和其对偶空间的一一对应。在装备黎曼规度后，流形上的向量场就和1-形式对应起来：
如果本身看作光滑流形，那么每一点的切空间中，向量 的内积应该和中的内积吻合（或者说作为流形处处平坦）。这个黎曼规度记为 。
那么给定标准局部坐标系，的矩阵表示就是 。值得注意的是，的光滑子流形 上可以定义完全不同的黎曼规度；换句话说， 在光滑形的意义下、是的子流形。
但是在几何的意义下，不是的黎曼子流形。的黎曼子流形需要满足以下条件。
存在等距浸入映射 ，即是一个光滑连续单射，且 （对任意向量场 ，有 ），其中是切丛间的映射，使下图交换：
和内积类似，我们也希望通过定义某种张量场把中的向量外积推广到的光滑子流形 上。可以是一维、二维或三维的，但是向量外积是仅能定义在三维实数空间中的代数结构。
一个更加本质的问题是，从立体几何的经验来看，两个向量的外积是一个垂直于其平面的向量；换言之，外积告诉了我们“垂直于平面”的方向，而这个方向必然是不包含在切平面中的。
为了解决这个问题，我们要引入法空间和法丛的概念。直观上，曲线一点的法空间就是垂直于切线、且过改点的那个平面。
曲线一点的法空间就是垂直于切平面、过该点的那条直线。
如果我们能给浸入 后的流形每一点处重新贴上一个三维的实线性空间，同时在这个空间中浸入它本身 维的切空间，那么利用内积空间的概念，这点的法空间就是切空间的正交补空间。
法丛就是每一点都粘着法空间而构成的流形，我们以后记为 。法丛有不依赖规度的、更加一般的定义、或者写成、但是这个时候的法丛已经失去了“垂直”的含义。不过，我们可以得到推论。
回到我们推广向量外积的想法上，我们记 法丛截面构成的线性空间为 。我们希望定义： ，使得这是一个反对称的双线性变换。
一个立即的推论就是，如此定义的 对于一维流形来说总是平凡的（因为每点两个向量总是线性相关的）。只有对于维数大于1的流形 来说， 的结构才值得考虑。现在我们来具体定义
将 上的三个（切）向量场送到一个标量场：下面这些长链是理解 中曲面、曲线积分的关键：上面的 是外导数，将k-微分形式送到（k+1）-形式，是域上代数的同态。
当 时， 的含义是取该光滑函数芽的等价类。一个的微分形式如果外导数为0，那么说它是闭的；一个（k+1）-微分形式如果是某个k-微分形式的外导数，那么说它是恰当的。
对于任何一个微分形式，连续两阶外导数都是0；换言之，恰当的微分形式都是闭的。
