statement theorem
Gradient theorem
Statement
Let be open, let be of class , and let be a piecewise curve. Then
Remarks
Proof for a curve: by the chain rule along a curve, . Then the parametric formula and the fundamental theorem of calculus give the result. For a piecewise curve, add the pieces. So the line integral of a gradient field depends only on the end points. Around a closed curve it is . Example: for and any path from to , . This is the case of curves in the generalised Stokes theorem: the boundary of a curve consists of its two end points.
Explanations
L1 human
This is the fundamental theorem of calculus for curves. To integrate the gradient of along a path, you only need the values of at the end and at the start.
What this node needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What depends on this
16 nodes use this node, directly or through other nodes.
- Exterior derivative 004FRCXH6M
- Poincaré lemma for one-forms on convex sets 05MC3HND79
- Area of a region as a line integral 09CBQB6V67
- Stokes' theorem 0AKRKVHW94
- Path independence of line integrals 0BFN21TF5F
- Closed and exact forms 0F1AVGX26N
- Curl-free field that is not conservative 0GRM3BS0DD
- Divergence theorem on a rectangle in the plane 0GZ3D8F921
- Generalised Stokes theorem 0HPHKCGEQ0
- Green's theorem 0HR3N02317
- Divergence theorem 0JX86PSSA9
- One-form 0MTENFBW3Q
- Differential form 0QHTX7WQEY
- Wedge product of forms 0S166D363M
- The exterior derivative squares to zero 0X308R2DBE
- Homotopy invariance of line integrals of closed forms 0YVVN6R715
Sources
What links here
Used by
- Path independence of line integrals 0BFN21TF5F
- Generalised Stokes theorem 0HPHKCGEQ0