Een ruimtekromme is de generalisatie in drie dimensies van een vlakke kromme. De eenvoudigste ruimtekromme is een rechte; een ander voorbeeld is een schroeflijn (of helix). Een ruimtekromme kan worden beschouwd als het traject gevolgd door een bewegend punt in de ruimte. In dat geval wordt de kromme beschreven door zijn drie coördinaten als functie van een parameter t. Een andere manier om een ruimtekromme te definiëren is als snijlijn van twee oppervlakken in drie dimensies.

Ruimtekromme als functie van één parameter

bewerken

Een ruimtekromme kan worden beschreven door middel van drie functies die elk een ruimtelijke coördinaat voorstellen, en die ook de componenten van de ruimtekromme genoemd worden. Ze zijn zelf functie van een parameter, die in de praktijk als de tijd kan worden beschouwd. Het domein van de ruimtekromme is dan de doorsnede van de drie afzonderlijke domeinen van haar componenten.

Vergelijking

bewerken
 
De ruimtekromme  , waarvan de vergelijking in de tekst staat, wikkelt zich rond de  -as.

De vectoriële vergelijking van een kromme   is:

 ,

waarin de vectoren   de eenheidsvectoren van de gebruikte basis zijn en   en   de componenten van de ruimtekromme. Als de onafhankelijke veranderlijke   haar domein doorloopt, beschrijft het punt gegeven door bovenstaande uitdrukking in drie dimensies de kromme.

De vectoriële vergelijking die gebruikt wordt om de ruimtekromme te doorlopen, is niet uniek. Indien bijvoorbeeld elke waarde   wordt vervangen door   zal dezelfde ruimtekromme worden bekomen, maar zal ze gewoon tweemaal sneller worden doorlopen. Op dezelfde manier, als   wordt vervangen door  , wordt ook dezelfde ruimtekromme doorlopen, maar dan in de tegengestelde richting. Als voorbeeld toont nevenstaande figuur de ruimtekromme:

 

voor het parameterbereik  . De ruimtekromme start voor   in het punt   op de  -as en wikkelt zich dan rond de verticale z-as.

Raaklijn en normaalvlak

bewerken

Indien de drie componenten differentieerbaar zijn in een punt bereikt voor de parameterwaarde  , is ook de ruimtekromme zelf differentieerbaar in dat punt. De afgeleide van een ruimtekromme is dan:

 .

De richting van deze vector is de richting van de raaklijn  , en de zin is deze waarin het punt op de ruimtekromme beweegt indien de parameter   toeneemt. De raaklijn   in een punt bereikt voor de parameterwaarde  , kan dus worden geschreven als:

 

Hierbij is   de parameter van de raaklijn zelf, indien deze zoals hier in vectoriële vorm wordt gegeven. Dit is equivalent met de schrijfwijze:

 

Het normaalvlak in een punt van de ruimtekromme is het vlak door dat punt dat bovendien loodrecht op de raaklijn staat. De richting van de raaklijn is dus de normaalvector van het normaalvlak. Het normaalvlak heeft bijgevolg als vergelijking:

 

Basis van Frenet-Serret

bewerken

Men kan een orthonormale basis definiëren met oorsprong in het bewegend punt van de ruimtekromme. Dit is de basis van Frenet-Serret. Deze bestaat uit de drie eenheidsvectoren:

 

Deze vector heeft lengte 1, is gericht langs de raaklijn, in dezelfde zin als de afgeleide van de ruimtekromme. Dit is de zin waarin het punt bepaald door   de kromme doorloopt indien de parameter   toeneemt. Deze vector staat tevens loodrecht op het normaalvlak.

 

Deze ligt in het vlak bepaald door de eerste en tweede afgeleide van de ruimtekromme. Hij is gericht in de zin waarin de kromme afbuigt, dus aan de binnenkant van de bocht die de kromme maakt. Deze vector is ook gedefinieerd voor een vlakke kromme, en daar wisselt hij van zin in een buigpunt van de kromme.

 

Dit is een vector die, gezien het feit dat hij het vectorproduct is van   en  , tevens loodrecht op deze twee vectoren staat. De rechte bepaald door de vector   is de binormaal. Voor een vlakke kromme is   steeds volgens dezelfde richting gericht, maar kan de zin wel omklappen naargelang het verloop van de ruimtekromme: telkens een buigpunt wordt gepasseerd zal de eenheidsvector volgens de hoofdnormaal   van zin wisselen, en bijgevolg zal ook   dit doen want hij wordt bepaald door het vectorproduct van   en  .


Elk van deze drie vectoren staat loodrecht op de twee anderen en heeft lengte 1. Per twee vectoren wordt tevens een vlak bepaald:

  •   en   bepalen het osculatievlak. Het staat loodrecht op de binormaal.
  •   en   bepalen het rectifiërend vlak. Het staat loodrecht op de hoofdnormaal.
  •   en   bepalen het normaalvlak. Het staat loodrecht op de raaklijn.

De vectoren  ,   en   worden de Triëder van Frenet genoemd.

Kromming en torsie

bewerken

(De kromming wordt diepgaander behandeld in dit artikel.)

(De torsie wordt diepgaander behandeld in dit artikel.)

  • De kromming van een ruimtekromme is een maat voor de afwijking van een rechte lijn. De kromming is zo gedefinieerd dat ze onafhankelijk is van de parameterisatie die concreet gebruikt wordt om de ruimtekromme te doorlopen. De kromming is nul (voor een rechte) of positief en wordt uitgedrukt in radialen/lengte-eenheid. Voor een cirkel is de kromming gelijk aan één gedeeld door de straal.
  • De torsie van een ruimtekromme is een maat voor de afwijking van een vlak verloop. Indien een ruimtekromme in een vlak ligt is haar torsie nul. Net zoals de kromming is de torsie onafhankelijk van de parameterisatie die concreet gebruikt wordt om de ruimtekromme te doorlopen. De torsie is dus nul (voor een kromme gelegen in een vlak) of kan anders positief of negatief zijn, en wordt uitgedrukt in radialen/lengte-eenheid.

Voorbeeld : de schroeflijn of helix

bewerken
 
Raaklijn en normaalvlak in een punt van de schroeflijn. De concrete vergelijkingen worden in het voorbeeld in de tekst gegeven.

De schroeflijn rond de  -as heeft als vergelijking:

 ,

met als afgeleide:

 ,

zodat men vindt, in het punt bereikt door een parameterwaarde  :

  • Raaklijn:  
  • Normaalvlak:  
  • Eenheidsvector volgens de raaklijn:  
  • Eenheidsvector volgens de hoofdnormaal:  

Deze is voor de gebruikte schroeflijn steeds horizontaal gericht en wijst vanuit het punt op de ruimtekromme pal naar de z-as.

  • Eenheidsvector volgens de binormaal:  
  • kromming:  
  • torsie:  

Voor de schroeflijn blijken de kromming en de torsie beide constant te zijn. Voor een willekeurige ruimtekromme zullen ze in het algemeen beide functie van de parameter   zijn.

Als snijlijn van twee oppervlakken

bewerken

Een ruimtekromme kan ook gegeven worden als de snijlijn van twee oppervlakken, die elk beschreven worden door middel van een impliciete functie van twee (onafhankelijke) variabelen.

Vergelijking

bewerken

De vergelijking van de ruimtekromme is bijgevolg van de vorm

 

Raaklijn en normaalvlak

bewerken
 
De raaklijn aan een ruimtekromme bepaald als de snijlijn van twee oppervlakken staat loodrecht op elk van de twee normaalvectoren van de raakvlakken aan deze twee oppervlakken. De richting van de raaklijn is dus parallel aan het vectorproduct van de twee normaalvectoren.

Een punt op de snijlijn van de twee oppervlakken bepaalt aan elk van deze oppervlakken een raakvlak. De raaklijn is dan zelf de snijlijn van deze twee raakvlakken. De richting van de raaklijn staat dus loodrecht op beide normaalvectoren, en is dus zelf evenwijdig met het vectorproduct van de twee normaalvectoren. De normaalvector aan een raakvlak heeft als componenten de drie partiële afgeleiden van het oppervlak in dat punt. De richting van de raaklijn is bijgevolg:

 

Deze vector is tevens de normaalvector van het normaalvlak in een punt van de ruimtekromme.

Voorbeeld

bewerken
 
Raaklijn en normaalvlak in een punt van een ruimtekromme bepaald als snijlijn van twee oppervlakken. De concrete vergelijkingen worden in het voorbeeld in de tekst gegeven.

De ruimtekromme bepaald als snijlijn tussen de oppervlakken

 
 

gaat door het punt:

 

De partiële afgeleiden van  , en hun waarden in dat punt zijn:

 

De partiële afgeleiden van  , en hun waarden in dat punt zijn:

 

Beide vectoren werden nog vereenvoudigd omdat enkel hun richting van belang is. Hun vectorproduct is:

 

Bijgevolg:

  • Raaklijn  


  • Normaalvlak  

Zie ook

bewerken