Wiskunde · Begrippenlijst

Wat is Parameterverandering?

Ook bekend als: meetkundige boog

Definitie 18.2 Universitaire wiskunde — Bachelor jaar 2 · Hoofdstuk 18 — Krommen

Een parameterverandering van klasse Ck\mathcal{C}^k is een Ck\mathcal{C}^k-diffeomorfisme θ ⁣:JI\theta \colon J \to I tussen intervallen (met θ0\theta' \neq 0 overal). De bogen γ\gamma en γθ\gamma \circ \theta heten equivalent; een meetkundige boog (of kromme) is een equivalentieklasse. Begrippen die invariant zijn onder parameterverandering — de baan, de raaklijn, de booglengte, de kromming — heten meetkundig.

Voorbeelden

Voorbeeld 18.4 (Snelheid verandert niets meetkundigs)

Parametriseer de eenheidscirkel met

γ(t)=(cost2, sint2),t[0,2π].\gamma(t) = (\cos t^2,\ \sin t^2), \qquad t \in \intcc0{\sqrt{2\pi}} .

De snelheid γ(t)=2t\norm{\gamma'(t)} = 2t groeit lineair, en toch is

L=02π2t ⁣dt=2π,L = \int_0^{\sqrt{2\pi}}2t\,\dd t = 2\pi ,

dezelfde lengte als bij constante snelheid — zoals Stelling 18.7 belooft, via de parameterverandering tt2t \mapsto t^2. De raaklijn, de kromming berekend met Propositie 18.17 en elke andere meetkundige grootheid stemmen eveneens overeen; alleen t=0t = 0 verdient een blik, waar γ(0)=0\gamma'(0) = 0 deze parametrisering irregulier maakt hoewel de baan een volmaakte cirkel is. Meetkundige uitspraken verdragen slechte parametriseringen slecht: parametriseer eerst opnieuw, besluit daarna.

Voorbeeld 18.5

De boog γ(t)=(t2,t3)\gamma(t) = (t^2, t^3) is C\mathcal{C}^\infty maar niet regulier: γ(0)=(0,0)\gamma'(0) = (0, 0). Haar baan, de semikubische parabool y2=x3y^2 = x^3, heeft een keerpunt in de oorsprong: de gladheid van de parametrisering verhindert geen meetkundige singulariteit waar de snelheid verdwijnt. Daarom is de regulariteitshypothese γ0\gamma' \neq 0 geen opsmuk.

Lees in het hoofdstuk →