Equivalence of two definitions of path (in $\mathbb{R}^3$) length

In a previews question I asked I used the following definition of path length:$\gamma=(x(t),y(t),z(t))$ : $L(\gamma)=\intop_{a}^{b}\sqrt{(x'(t))^{2}+(y'(t))^{2}+(z'(t))^{2}}$.

In the answer another definition was used:

$$ l(f)= \sup_{P}\sum_{i=0}^k |f(t_{i+1})-f(t_i)| $$ where $f:[0,1]\to \mathbb{R}^3$, $f(0)=a$, $f(1)=b$ and the $\sup$ is taken over all partitions $P$ of $[0,1]$.

How can I show they are equivalent ?

2022-07-25 20:39:33
Source Share
Answers: 1

Since $|\gamma(t_{i+1}) - \gamma(t_i)| = \sum_j \sqrt{(\gamma_j(t_{i+1}) - \gamma_j(t_i))^2}$, the mean value theory offers: $\sup_P\sum_{i = 0}^k |\gamma(t_{i+1}) - \gamma(t_i))| = \sup_P\sum_{i = 0}^k \Delta_i \sqrt{\sum_j \gamma_j'(\tilde{t}_i)^2}$, where $\Delta_i = |t_{i + 1} - t_i|$ and also $\tilde{t_i}$ is some factor in between $t_{i + 1}$ and also $t_i$. Taking the supremum over all the dividings offers you the indispensable that you desire (this is definition of Riemann integration, where the indispensable exists when the map is continual, which I think it is - - claim $\gamma$ has continual by-products).

2022-07-25 22:38:11