Unification — all three theorems as generalized Stokes: Foundations

The parent note Generalized Stokes throws a lot of notation at you very fast: manifolds $M$ , boundaries $\partial M$ , forms $ω$ , wedges $\land$ , the operator $d$ , "induced orientation", " $k$ -form", flux and work forms. If any of those made you pause, you are in the right place. We define each before it is ever used again, anchor it to a picture, and say why the topic needs it.

1. A region, and what "inside" vs "edge" means

Figure — Unification — all three theorems as generalized Stokes

Look at the figure. In 1D the region is a segment $[a, b]$ ; its edge is just two points $a$ and $b$ . In 2D the region is a filled disk; its edge is the circle around it. In 3D the region is a solid ball; its edge is the sphere around it.

$M$ (capital $M$ ) $:::$ the region / manifold we integrate over — segment, patch, or blob
$\partial M$ (the symbol $\partial$ , read "boundary of") $:::$ the edge/skin of $M$ , one dimension lower

2. What is a manifold, informally?

You do not need the fancy definition. Every "region" above is a manifold:

Shape	dimension $k$	its boundary $\partial M$	dimension of boundary
Segment $[a, b]$	$1$	two points	$0$
Disk	$2$	circle	$1$
Solid ball	$3$	sphere	$2$

3. Orientation and the induced boundary orientation

Read the figure left to right:

1D: the segment points from $a$ to $b$ . The induced rule stamps the finish point $b$ with $+$ and the start point $a$ with $-$ . So " $\partial M = {b} - {a}$ ". That lone minus sign is exactly the $- f (a)$ in $\int_{a}^{b} f^{'} = f (b) - f (a)$ .
2D: walk the boundary curve counterclockwise so the region stays on your left. That is the induced orientation for a flat patch.
3D: on the sphere the induced arrow points outward — this is the "outward normal $\overset{n}{^}$ " that appears in the Divergence theorem.

${b} - {a}$ $:::$ the boundary of a segment, its two points carrying $+$ and $-$ signs
$\overset{n}{^}$ (n with a hat) $:::$ the unit outward normal — a length-1 arrow pointing straight out of a surface

4. The integral sign $\int$ — "add up over"

We will always write $\int_{\partial M}$ (add over the edge) and $\int_{M}$ (add over the inside). Same symbol, different region — the whole theorem is a statement about these two integrals being equal.

5. Differential forms — "the things you integrate"

$ω$ is a	you integrate it over a	example
$0$ -form	point (0-D)	a plain function $f$
$1$ -form	curve (1-D)	$P d x + Q d y$
$2$ -form	surface (2-D)	$F_{3} d x \land d y$
$3$ -form	volume (3-D)	$g d x \land d y \land d z$

$d x, d y, d z$ $:::$ tiny signed steps along the $x$ , $y$ , $z$ axes — the building blocks of forms
$ω$ (Greek "omega") $:::$ a differential form — the general "thing being integrated"

6. The wedge $\land$ — signed area, and why it flips

$\land$ (the "wedge") $:::$ combines forms into oriented area/volume; antisymmetric, so $α \land α = 0$

7. Partial derivatives — the pieces $d$ is built from

$f_{x} = \frac{\partial f}{\partial x}$ $:::$ change in $f$ per unit change in $x$ , with $y, z$ held fixed
$\nabla f = (f_{x}, f_{y}, f_{z})$ (the gradient) $:::$ the vector of all partial slopes — the arrow pointing uphill fastest

8. The exterior derivative $d$ — one operator, three faces

$d$ $:::$ the exterior derivative — sends a $k$ -form to a $(k + 1)$ -form; is gradient/curl/div in disguise
$de g α$ $:::$ the degree of $α$ (is it a 0-, 1-, or 2-form) — decides the sign in the product rule

\partial M

mean

The oriented boundary (edge) of the region

M

, one dimension lower than

M

M

k

-dimensional, what dimension is

\partial M

k - 1

(points bound segments, curves bound patches, surfaces bound blobs)

What is a

k

-form, in one phrase

The object you integrate over a

k

-dimensional region

Why is

d x \land d x = 0

Wedge is antisymmetric, so

d x \land d x = - d x \land d x

, forcing it to

0

State the wedge's key rule

d x \land d y = - d y \land d x

(swapping factors flips the sign)

What does the exterior derivative

d

do to the degree of a form

Raises it by one: a

k

-form becomes a

(k + 1)

-form

What is

f_{x}

in plain words

The change in

f

per unit change in

x

with all other variables held fixed

Why does orientation matter in Stokes

It fixes the signs (the

- f (a)

in FTC, the outward normal in divergence); wrong orientation flips the whole answer

What is the induced boundary orientation of a segment

[a, b]

The endpoint

b

counts as

+

and

a

-

, i.e.

\partial M = {b} - {a}

The one sentence that unifies all four theorems

The integral of a form over the boundary equals the integral of its exterior derivative over the inside

Connections

Unification — all three theorems as generalized Stokes — the parent this page prepares you for
Differential Forms and the Wedge Product — sections 5 and 6
Exterior Derivative — section 8
d squared equals zero — foreshadowed by equality of mixed partials
Orientation and Induced Boundary Orientation — section 3
Fundamental Theorem of Calculus — the $k = 1$ payoff of the boundary signs

Foundations — Unification — all three theorems as generalized Stokes