statement theorem
Path independence of line integrals
Statement
Let be open and connected, and let be a continuous vector field. The following are equivalent.
- is conservative on .
- For all piecewise curves in with the same initial point and the same end point, .
- For each closed piecewise curve in , .
Remarks
Statement 1 implies statement 2 by the gradient theorem. Statements 2 and 3 are equivalent: a closed curve splits into two curves with the same end points, and one uses reversal and additivity. Statement 2 implies statement 1: fix and let for a path from to . A short straight last segment in direction shows that . Connectedness is used to join to each point. On a disconnected set, apply the result on each component.
Explanations
L1 human
For a conservative field, the work from one point to another does not depend on the route. Conversely, if the work never depends on the route, then the work from a fixed base point defines a potential for the field.
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (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
15 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
- 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
- Web https://en.wikipedia.org/wiki/Conservative_vector_field, Path independence
- Web https://en.wikipedia.org/wiki/Conservative_vector_field, Path independence and conservative vector field
- Web https://en.wikipedia.org/wiki/Gradient_theorem, Converse of the gradient theorem
What links here
Used by
- Curl-free field that is not conservative 0GRM3BS0DD