A differential form is a thing you integrate. The wedge∧ is antisymmetric: dx∧dy=−dy∧dx, hence dx∧dx=0. The exterior derivative acts by:
d(f)=∑i∂xi∂fdxi,d(α∧β)=dα∧β+(−1)degαα∧dβ.
Why these rules?d must be linear, must agree with the ordinary gradient on functions, and antisymmetry of ∧ encodes "orientation" (signed area/volume).
Take M=[a,b], ω=f a 0-form. Then ∂M={b}−{a} (boundary points, signed by orientation), and dω=f′dx.
∫∂Mf=f(b)−f(a),∫Mdω=∫abf′(x)dx.Why this step? Integrating a 0-form over points just evaluates it; the orientation gives the minus sign at a. Stokes ⇒ FTC. ✅
Let ω=Pdx+Qdy. Compute dω:
dω=dP∧dx+dQ∧dy=(Pxdx+Pydy)∧dx+(Qxdx+Qydy)∧dy.
Kill dx∧dx=0, dy∧dy=0, and use dy∧dx=−dx∧dy:
dω=(Qx−Py)dx∧dy.Why this step? The antisymmetry collapses four terms to one — exactly the curl-in-2D. So
∮∂M(Pdx+Qdy)=∬M(Qx−Py)dxdy.✅
Take the flux 2-form of F=(F1,F2,F3):
ω=F1dy∧dz+F2dz∧dx+F3dx∧dy.
Then
dω=(∂xF1+∂yF2+∂zF3)dx∧dy∧dz=(∇⋅F)dV.Why this step? Each term contributes only when d hits the missing variable (others wedge to zero), producing the divergence. And ∫∂Mω=∬∂MF⋅dS. So
∬∂MF⋅dS=∭M∇⋅FdV.✅
The flux 2-form F1dy∧dz+F2dz∧dx+F3dx∧dy, whose d is (∇⋅F)dV
Why does dx∧dx=0
Wedge is antisymmetric, so α∧α=−α∧α=0
State d2=0 in words
The exterior derivative applied twice is zero (boundaries have no boundary)
d2=0 corresponds to which two vector identities
∇×∇f=0 and ∇⋅(∇×F)=0
Why do interior walls cancel when summing over cell boundaries
They're traversed twice with opposite orientation, so contributions cancel; only the outer boundary survives
Recall Feynman: explain to a 12-year-old
Imagine you want to know how much total "stuff" is being created inside a closed fence. You have two ways to count it: (1) walk only along the fence and add up what crosses it, or (2) stand inside and add up what each little patch makes. Both give the same number! Stokes' theorem just says: what happens on the edge = total of what happens inside. If you chop the inside into tiny squares, the shared fences between neighbors cancel (one neighbor's "in" is the other's "out"), and only the outer fence is left. The Fundamental Theorem of Calculus, Green's, and the Divergence theorem are all this exact same fence-vs-inside trick, just in 1D, 2D, and 3D.
Dekho, sabse important baat yeh hai ki Green's theorem, Stokes (curl) theorem, aur Divergence theorem — yeh teen alag-alag cheezein nahi hain. Yeh sab ek hi statement hai: ∫∂Mω=∫Mdω. Iska matlab simple hai — kisi region ke boundary par jo total quantity hai, woh region ke andar us cheez ke derivative ke total ke barabar hoti hai. Yahaan tak ki Fundamental Theorem of Calculus bhi yahi hai, bas 1 dimension mein.
Iske peeche ka jaadu hai cancellation. Maan lo region ko chhote-chhote tiny cells mein kaat do. Har cell ke boundary par jab tum sum karte ho, toh do padosi cells ki common deewar (interior wall) ek baar idhar se aur ek baar udhar se count hoti hai — opposite direction mein — toh woh cancel ho jaati hai. Sirf bahar wala outer boundary bachta hai. Andar jo bachta hai woh hai local "creation rate" yaani derivative (curl ya divergence). Isiliye boundary ka integral = andar ke derivative ka integral.
Forms ki language mein operator d (exterior derivative) hi sabkuch karta hai: function par lagao toh gradient, 1-form par lagao toh curl, 2-form par lagao toh divergence. Ek hi d, teen chehre. Aur ek aur deep fact: d2=0 — yaani d do baar lagao toh zero. Yeh exactly ∇×∇f=0 aur ∇⋅(∇×F)=0 ko bolta hai. Geometry mein iska matlab: "boundary ka koi boundary nahi hota" (∂2=0). Exam mein orientation (outward normal, signs) ka dhyan rakhna — wahi minus signs deta hai. Bas pattern yaad rakho aur har theorem khud derive kar lo.
