> *Definition 1*: a force field $\mathbf{F}$ is conservative if it is [irrotational](../../mathematical-physics/vector-analysis/vector-operators/#potentials)
> *Definition 2*: the kinetic energy $T: t \mapsto T(t)$ of a pointmass $m \in \mathbb{R}$ with position $x: t \mapsto x(t)$ subject to a force $\mathbf{F}: x \mapsto \mathbf{F}(x)$ is defined as
> *Proposition 1*: the kinetic energy $T: t \mapsto T(t)$ of a pointmass $m \in \mathbb{R}$ with position $x: t \mapsto x(t)$ subject to a force $\mathbf{F}: x \mapsto \mathbf{F}(x)$ is given by
>
> $$
> T(t) - T(0) = \frac{1}{2} m \|x'(t)\|^2 - \frac{1}{2} m \|x'(0)\|^2,
> $$
>
> for all $t \in \mathbb{R}$.
??? note "*Proof*:"
Will be added later.
## Energy conservation
> *Theorem 1*: for a pointmass $m \in \mathbb{R}$ with position $x: t \mapsto x(t)$ subject to a force $\mathbf{F}: x \mapsto \mathbf{F}(x)$ we have that