Unification — all three theorems as generalized Stokes: Foundations

4.4.34 · D1 · Maths › Multivariable Calculus › Unification — all three theorems as generalized Stokes

Parent note Generalized Stokes bahut saara notation bahut tezi se throw karta hai: manifolds $M$ , boundaries $\partial M$ , forms $ω$ , wedges $\land$ , operator $d$ , "induced orientation", " $k$ -form", flux aur work forms. Agar inme se koi bhi symbol tumhe roka, to tum sahi jagah ho. Hum har ek ko pehle use hone se define karte hain, ek picture se anchor karte hain, aur batate hain topic ko yeh kyun chahiye.

1. Ek region, aur "inside" vs "edge" ka matlab

Figure — Unification — all three theorems as generalized Stokes

Figure dekho. 1D mein region ek segment $[a, b]$ hai; uska edge bas do points $a$ aur $b$ hai. 2D mein region ek filled disk hai; uska edge uske around ka circle hai. 3D mein region ek solid ball hai; uska edge uske around ki sphere hai.

$M$ (capital $M$ ) $:::$ woh region / manifold jiske upar integrate karte hain — segment, patch, ya blob
$\partial M$ (symbol $\partial$ , padho "boundary of") $:::$ $M$ ka edge/skin, ek dimension neeche

2. Manifold kya hota hai, informally?

Fancy definition ki zaroorat nahi. Upar ka har "region" ek manifold hai:

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

3. Orientation aur induced boundary orientation

Figure left se right padhо:

1D: segment $a$ se $b$ ki taraf point karta hai. Induced rule finish point $b$ ko $+$ aur start point $a$ ko $-$ stamp karta hai. To " $\partial M = {b} - {a}$ ". Woh akela minus sign exactly woh $- f (a)$ hai jo $\int_{a}^{b} f^{'} = f (b) - f (a)$ mein hota hai.
2D: boundary curve ko counterclockwise chalo taaki region tumhare left par rahe. Yeh flat patch ke liye induced orientation hai.
3D: sphere par induced arrow outward point karta hai — yeh wahi "outward normal $\overset{n}{^}$ " hai jo Divergence theorem mein aata hai.

${b} - {a}$ $:::$ ek segment ki boundary, uske do points $+$ aur $-$ signs ke saath
$\overset{n}{^}$ (n with a hat) $:::$ unit outward normal — ek length-1 arrow jo surface se seedha bahar point karta hai

4. Integral sign $\int$ — "add up over"

Hum hamesha $\int_{\partial M}$ (edge par add karo) aur $\int_{M}$ (andar add karo) likhenge. Same symbol, alag region — poora theorem in do integrals ke equal hone ka statement hai.

5. Differential forms — "woh cheezein jo integrate hoti hain"

$ω$ hai ek	ise integrate karte hain ek par	example
$0$ -form	point (0-D)	ek 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$ $:::$ $x$ , $y$ , $z$ axes ke along tiny signed steps — forms ke building blocks
$ω$ (Greek "omega") $:::$ ek differential form — woh general "cheez jo integrate ho rahi hai"

6. Wedge $\land$ — signed area, aur yeh flip kyun karta hai

$\land$ (the "wedge") $:::$ forms ko oriented area/volume mein combine karta hai; antisymmetric, isliye $α \land α = 0$

7. Partial derivatives — woh pieces jinse $d$ banta hai

$f_{x} = \frac{\partial f}{\partial x}$ $:::$ $f$ mein change per unit change in $x$ , $y, z$ fixed rakhe hue
$\nabla f = (f_{x}, f_{y}, f_{z})$ (the gradient) $:::$ saare partial slopes ka vector — woh arrow jo sabse tezi se upar ki taraf point karta hai

8. Exterior derivative $d$ — ek operator, teen chehere

$d$ $:::$ exterior derivative — ek $k$ -form ko $(k + 1)$ -form mein bhejta hai; gradient/curl/div ka disguise hai
$de g α$ $:::$ $α$ ki degree (kya yeh 0-, 1-, ya 2-form hai) — product rule mein sign decide karta hai

\partial M

ka kya matlab hai

Region

M

ki oriented boundary (edge),

M

se ek dimension neeche

Agar

M

k

-dimensional hai, to

\partial M

ki dimension kya hai

k - 1

(points segments ko bound karte hain, curves patches ko, surfaces blobs ko)

k

-form kya hota hai, ek phrase mein

Woh object jo tum ek

k

-dimensional region par integrate karte ho

d x \land d x = 0

kyun hai

Wedge antisymmetric hai, isliye

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

, jo ise

0

par force karta hai

Wedge ka key rule batao

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

(factors swap karo to sign flip hota hai)

Exterior derivative

d

form ki degree ke saath kya karta hai

Ise ek se badhata hai: ek

k

-form

(k + 1)

-form ban jaata hai

f_{x}

simple words mein kya hai

f

mein change per unit change in

x

, baaki saare variables fixed rakhe hue

Stokes mein orientation kyun matter karta hai

Yeh signs fix karta hai (FTC mein

- f (a)

, divergence mein outward normal); galat orientation poora answer flip kar deta hai

Segment

[a, b]

ki induced boundary orientation kya hai

Endpoint

b

+

count hota hai aur

a

-

count hota hai, yani

\partial M = {b} - {a}

Woh ek sentence jo charon theorems ko unify karta hai

Boundary par form ka integral uske exterior derivative ka andar ka integral ke barabar hai

Connections

Unification — all three theorems as generalized Stokes — woh parent jiske liye yeh page tumhe prepare karta hai
Differential Forms and the Wedge Product — sections 5 aur 6
Exterior Derivative — section 8
d squared equals zero — mixed partials ki equality se foreshadowed
Orientation and Induced Boundary Orientation — section 3
Fundamental Theorem of Calculus — boundary signs ka $k = 1$ payoff

Foundations — Unification — all three theorems as generalized Stokes