Math 2.0

definition

Regular curve

Definition

Let I⊆RI \subseteq \mathbb{R} be an interval, and let γ ⁣:I→Rn\gamma \colon I \to \mathbb{R}^n be a C1C^1 parametrised curve. The curve γ\gamma is regular if its tangent vector γ′(t)\gamma'(t) is not zero for each t∈It \in I.

Remarks

The circle t↦(cos⁡t,sin⁡t)t \mapsto (\cos t, \sin t) and each line t↦p+tvt \mapsto p + t v with v≠0v \ne 0 are regular. The curve t↦(t2,t3)t \mapsto (t^2, t^3) is not regular, since its tangent vector is zero at t=0t = 0. The curve t↦(t3,t3)t \mapsto (t^3, t^3) is not regular at t=0t = 0, but its image is a straight line. So regularity is a property of the parametrisation, not of the image. A regular curve has an arc length parametrisation.

Explanations

L1 human

A regular curve never stops. The moving point always has non-zero speed, so the curve has no corners or cusps caused by the point coming to rest.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 16 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Fréchet derivative definition
  4. Function of several variables concept
  5. Vector-valued function concept
  6. Limit of a function of several variables concept
  7. Continuity in R^n definition
  8. Differentiable function of several variables definition
  9. Partial derivative definition
  10. Differentiable on an open set definition
  11. Higher partial derivatives definition
  12. Iterated derivative definition
  13. C^k function characterised by continuous derivatives statement
  14. Parametrised curve definition
  15. Tangent vector of a curve definition
  16. Regular curve definition

What depends on this

21 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Differentiable_curve, Definitions