- #1

- 273

- 0

## Main Question or Discussion Point

I'd like to have someone explain to me the purpose of the variable change in the proof of the following theorem:

A parametrized curve has a unit-speed reparametrization if and only if it is regular.

Proof: Suppose first that a parametrized curve γ: (a,b) → R^n has a unit-speed reparametrization μ, with reparametrization map φ. Letting t = φ(s) we have μ(s) = γ(t) and so

dμ/ds = (dγ/dt)(dt/ds)

Therefore, ||dμ/ds|| = ||dγ/dt|| ⋅ |dt/ds|

Since μ has unit speed, ||dμ/ds|| = 1, so dγ/dt cannot be zero.

===============

I don't see why it was necessary? Couldn't we have just concluded the exact same thing without the variable change? Another thing, I notice that they use absolute value for |dt/ds| this is because t = φ(s) is a single variable function right? So it's like a 'constant'? Was it just to make this more explicit? Because the norm properties don't have ||fg|| = ||f|| ||g||.

Thanks for the help!

A parametrized curve has a unit-speed reparametrization if and only if it is regular.

Proof: Suppose first that a parametrized curve γ: (a,b) → R^n has a unit-speed reparametrization μ, with reparametrization map φ. Letting t = φ(s) we have μ(s) = γ(t) and so

dμ/ds = (dγ/dt)(dt/ds)

Therefore, ||dμ/ds|| = ||dγ/dt|| ⋅ |dt/ds|

Since μ has unit speed, ||dμ/ds|| = 1, so dγ/dt cannot be zero.

===============

I don't see why it was necessary? Couldn't we have just concluded the exact same thing without the variable change? Another thing, I notice that they use absolute value for |dt/ds| this is because t = φ(s) is a single variable function right? So it's like a 'constant'? Was it just to make this more explicit? Because the norm properties don't have ||fg|| = ||f|| ||g||.

Thanks for the help!