What is Stokes' theorem and how does it generalise the fundamental theorem of calculus?

**The Big Picture — All Are the Same Idea:** Every fundamental theorem of calculus has the same form: $$\int_{\partial \Omega} \omega = \int_{\Omega} d\omega$$ \"The integral of a derivative over a region equals the integral of the function over the boundary.\" **The Hierarchy of Generalisations:** | Theorem | $\Omega$ | $\partial \Omega$ | $\omega$ | $d\omega$ | |---|---|---|---|---| | **FTC** | Interval $[a,b]$ | Points $\{a,b\}$ | $f$ | $f'$ | | **Fundamental Theorem of Line Integrals** | Curve $C$ | Points start/end | $\ abla \phi$ | $\phi$ | | **Green's Theorem** | Region in $\mathbb{R}^2$ | Closed curve | $(P,Q)$ | $\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}$ | | **Stokes' Theorem** | Surface $S$ in $\mathbb{R}^3$ | Closed curve $\partial S$ | $\mathbf{F}$ | $\ abla \ imes \mathbf{F}$ | | **Divergence Theorem** | Volume $V$ in $\mathbb{R}^3$ | Closed surface $\partial V$ | $\mathbf{F} \cdot \mathbf{n}$ | $\ abla \cdot \mathbf{F}$ | **How Stokes' Relates to FTC:** In 1D, Stokes' theorem reduces to the FTC. If we take a 1-dimensional \"surface\" (a curve) and a 1-form $f(x)\,dx$, then $d(f\,dx) = f'(x)\,dx \wedge dx = 0$... The more direct connection: the gradient theorem $\int_C \ abla\phi \cdot d\mathbf{r} = \phi(B) - \phi(A)$ is the direct generalisation of FTC to line integrals. **Concrete Application — Verifying Stokes' Theorem:** Let $\mathbf{F} = (-y, x, 0)$ and $S$ be the upper hemisphere $x^2 + y^2 + z^2 = 1$, $z \geq 0$. **Left side (line integral over $\partial S$):** The boundary is the unit circle $x^2 + y^2 = 1$, $z = 0$. Parameterise $\mathbf{r}(t) = (\cos t, \sin t, 0)$: $$\oint \mathbf{F} \cdot d\mathbf{r} = \int_0^{2\pi} (-\sin t, \cos t, 0) \cdot (-\sin t, \cos t, 0) \, dt = \int_0^{2\pi} 1 \, dt = 2\pi$$ **Right side (surface integral of curl):** $\ abla \ imes \mathbf{F} = (0, 0, 2)$. The unit normal to the hemisphere is $\mathbf{n} = (x, y, z)$. $$\iint_S (\ abla \ imes \mathbf{F}) \cdot \mathbf{n} \, dS = \iint_S 2z \, dS$$ Using spherical coordinates, this evaluates to $2\pi$, confirming the theorem. Stokes' theorem is the foundation of electromagnetism (Faraday's law), fluid dynamics (circulation), and differential geometry.