How can the Frenet Frame Equations for Curves in R_3 be correctly interpreted?

  • Thread starter Thread starter factor
  • Start date Start date
  • Tags Tags
    Frame
factor
Messages
29
Reaction score
0
I'm trying to show that the Frenet frame structural equation for a curve in R_3 can be written in the following form for a vector W(s):

T'(s) = W(s) x T(s)
N'(s) = W(s) x N(s)
B'(s) = W(s) x B(s)

The problem I'm having here is that I define first that T(s) should be the unit tangent at the point s. I assume that my curve is parametrized by arc length so T'(s) is certainly orthogonal to T(s). The problem I have now, is that N(s) is parallel to T'(s). So my only possible choice for W(s) at this point is +/- B(s), as it must be orthogonal to both T(s) and N(s). But this gives that B'(s) is identically 0 for all s, which is fine for a plane curve I suppose because then the osculating plane isn't rolling and B'(s) is supposed to vanish because the torsion is identically 0. But this is supposed to be for a general curve in R_3.

Can anyone perhaps just point out a serious flaw in my logic so that I might continue on with this, or am I not mistaken in what I'm saying here?
 
Physics news on Phys.org
I do not see any mistake in what you said. Do u have reasons to think such a W exists?
 
factor said:
I'm trying to show that the Frenet frame structural equation for a curve in R_3 can be written in the following form for a vector W(s):

T'(s) = W(s) x T(s)
N'(s) = W(s) x N(s)
B'(s) = W(s) x B(s)

The problem I'm having here is that I define first that T(s) should be the unit tangent at the point s. I assume that my curve is parametrized by arc length so T'(s) is certainly orthogonal to T(s). The problem I have now, is that N(s) is parallel to T'(s). So my only possible choice for W(s) at this point is +/- B(s), as it must be orthogonal to both T(s) and N(s). But this gives that B'(s) is identically 0 for all s, which is fine for a plane curve I suppose because then the osculating plane isn't rolling and B'(s) is supposed to vanish because the torsion is identically 0. But this is supposed to be for a general curve in R_3.

Can anyone perhaps just point out a serious flaw in my logic so that I might continue on with this, or am I not mistaken in what I'm saying here?

W must be a linear combination of T and B. It does not have to be orthogonal to T. I think it will be orthogonal only when the torsion is zero.
 
Hello! There is a simple line in the textbook. If ##S## is a manifold, an injectively immersed submanifold ##M## of ##S## is embedded if and only if ##M## is locally closed in ##S##. Recall the definition. M is locally closed if for each point ##x\in M## there open ##U\subset S## such that ##M\cap U## is closed in ##U##. Embedding to injective immesion is simple. The opposite direction is hard. Suppose I have ##N## as source manifold and ##f:N\rightarrow S## is the injective...
Back
Top