> [!Definition] Definition (arc length function) > The arc length function for some 'starting point' $t_{0}\in I$, $s:I\to \mathbb{R}$ is defined as $s(t)=\int_{t_{0}}^{t} || \underline{r}'(u) || \, du .$ # Properties