Confusing description of torsion of a curve?

Question

In my textbook (by do Carmo) and both in wikipedia.

There are descriptions of what a torsion is, and both of them says it is a measure of "how fast a curve twists out of the plane of curvature"

I am aware of the definition of torsion which is the magnitude of the derivative of the binomial vector, but I fail to see how this describes "how fast the curve is twisting out of the plane" or "pulling out of the plane".

If we are talking about how fast the curve is traveling outside of its osculating plane, then this makes absolutely no sense to me at all, since the tangent vector is on the osculating plane.

Answer 1

When a curve is planar, all osculating planes are equal.

When it is non planar, i.e. has some torsion, the osculating planes stop staying parallel when you move along the curve, and this change of direction is reflected by the binormal.

---

"Infinitesimal" insight:

Imagine the curve discretized with a fixed step.

Two successive points define a line, which is the tangent.

Three successive points define a plane, which is the osculating plane.

A fourth point can deviate from the plane and show the torsion. In other words, two triples of successive points will define two distinct planes and the angle between them corresponds to the torsion.

Answer 2

I'm confused by the relevance of the very last thing you said. The osculating plane is the plane spanned by the tangent vector and the normal vector. The binormal vector is the one pointing out of the plane, so it's derivative represents how fast you twist out of the (osculating) plane.

Answer 3

The tangent vector is only the first-order approximation to the "motion" of the curve - if it told you everything about the curve then all curves would be straight lines! Thus, to understand what is being talked about here, you need to study the higher derivatives/Taylor expansions of the curve. On Wikipedia you can find the third-order expansion; the parts that are relevant to us are just the leading-order terms in the three principal directions: for a curve with $\gamma(0) = 0$ we have

• $\gamma(s) \cdot T = s + o(s),$
• $\gamma(s) \cdot N = \frac 12 \kappa(0)s^2 + o(s^2),$ and
• $\gamma(s) \cdot B = \frac 16 \kappa(0)\tau(0)s^3+o(s^3).$

When we go to second order we get a term in the normal direction with magnitude determined by the curvature, so curvature tells you how the curve is "bending" out of its osculating line. Likewise, going to third order adds a term in the binormal direction determined by the torsion (and curvature), so torsion tells us how the curve "twists" out of its osculating plane.

Answer 4

To a curved curve $\gamma$ in $3$-space an orthonormal frame (in German: Dreibein) $F$ moving along the curve is associated. The first vector of this Frenet frame $F$ is the unit tangent vector ${\bf t}$. Since the curve is assumed curved this ${\bf t}$ is not constant, hence $\dot{\bf t}$ is a nonzero vector orthogonal to ${\bf t}$. The unit vector ${\bf n}$ in the direction of $\dot {\bf t}$ is the second vector of $F$. Together the two vectors ${\bf t}$ and ${\bf n}$ span the osculating plane of $\gamma$ at each point, and we in fact have $\dot{\bf t}=\kappa\,{\bf n}$, where $\kappa>0$ is the curvature.

The third vector ${\bf b}$ of $F$ is simply defined by ${\bf b}:={\bf t}\times{\bf n}$. This binormal ${\bf b}$ is automatically a unit vector orthogonal to the osculating plane. If the curve $\gamma$ happens to be planar the osculating plane, hence ${\bf b}$, is constant. If $\gamma$ is not planar the osculating plane, hence its normal vector, changes slightly from point to point. In fact one has $\dot{\bf b}=-\tau\,{\bf n}$. The angular velocity $\tau$ with which the binormal vector ${\bf b}$, resp. the osculating plane, turns, is called the torsion of $\gamma$ at the point under consideration.