1. When the Path Does Not Matter — The Conservative Field
The Oldest Question Answered: Throughout this block we have asked: "When can we ignore the path and care only about the endpoints?" The answer is the conservative vector field — a field for which the line integral depends only on where you start and where you finish.
Definition
A vector field $\mathbf{F}$ is called conservative (or a potential field) if there exists a scalar function $f$ — called the potential function — such that
$$ \mathbf{F} = \nabla f. $$The gradient — the very first operator of this block — returns here as the answer: a conservative field is nothing but a gradient.
The Four Equivalences
For a vector field $\mathbf{F}$ with continuous first partial derivatives on a simply-connected domain, the following statements are all equivalent:
| # | Statement | Intuitive Reading |
|---|---|---|
| (i) | $\mathbf{F} = \nabla f$ for some scalar $f$ | The field is a gradient — a potential exists. |
| (ii) | $\displaystyle\int_C \mathbf{F}\cdot d\mathbf{r}$ is path-independent | Only the endpoints matter; the route is irrelevant. |
| (iii) | $\displaystyle\oint_C \mathbf{F}\cdot d\mathbf{r} = 0$ for every closed curve $C$ | No net work around any loop — zero circulation everywhere. |
| (iv) | $\nabla \times \mathbf{F} = \mathbf{0}$ (vanishing curl) | The differential test — no local rotation anywhere. |
The Keystone Identity — First Wall
Why does (i) $\Rightarrow$ (iv) hold? Because of the identity
$$ \nabla \times (\nabla f) = \mathbf{0} $$The curl of any gradient is identically zero. This is the first of the two keystone identities of vector calculus.