In de studie van de geometrie van de ruimte worden verschillende coördinatensystemen gebruikt om posities en bewegingen van objecten te beschrijven. De keuze van een coördinatensysteem hangt af van de aard van de ruimte en de gewenste precisie in de berekeningen. In dit hoofdstuk behandelen we de fundamenten van coördinaatnetwerken, van rechthoekige tot curvilineaire systemen, en hun toepassingen in de wiskundige beschrijving van de ruimte.

Er zijn twee hoofdcategorieën van coördinatensystemen: die met rechte assen en lijnen, zoals het rechthoekige of schuine coördinatensysteem, en de curvilineaire coördinatensystemen, waar de gridlijnen krom zijn, zoals bij bol- of cilindrische coördinaten. In het eerste geval, wanneer de coördinaten rechtlijnig zijn, kunnen de basisvectoren, die zijn verbonden aan de punten van het systeem, als globaal worden beschouwd. Dit betekent dat deze basisvectoren niet variëren van punt tot punt en overal gelijk zijn. Dit type systeem wordt meestal beschreven met behulp van een vierkant rooster en een orthonormale basis, zoals het Cartesiaanse coördinatensysteem.

In contrast, bij curvilineaire coördinatensystemen kunnen de basisvectoren (die de tangenten aan de gridlijnen vertegenwoordigen) variëren van punt tot punt. Dit kan leiden tot singulariteiten in de ruimte, zoals bijvoorbeeld bij de oorsprong van poolcoördinaten, waar de hoek een willekeurige waarde kan aannemen. Dit benadrukt het verschil tussen de twee systemen: de eerste is altijd lokaal vlak, terwijl de tweede variabiliteit en complexiteit introduceert in de structuur van de ruimte.

Wanneer we de ruimte als een manifold beschouwen, wordt het idee van coördinaten nog complexer. Een manifold is een object dat lokaal kan worden benaderd door vlakke ruimten, maar waarvan de globale structuur niet noodzakelijk vlak is. Dit is te vergelijken met de wijze waarop de aardbol wordt weergegeven in een atlas door middel van verschillende vlakke kaarten, die samen de globaal gebogen aardbol bedekken. Een manifold kan bijvoorbeeld beschreven worden door de Riemannse of pseudo-Riemannse metriek, die nodig is voor het berekenen van differentiële afstanden tussen punten die dicht bij elkaar liggen. Dit type manifold bevat de vlakke ruimte als een speciaal geval, waarbij de coëfficiënten van de metriek overal constant zijn.

Bij de modellering van de fysieke ruimte kunnen we ons echter niet altijd beperken tot drie of vier dimensies. Neem bijvoorbeeld een deeltje in beweging. We kunnen de positie van het deeltje (x₁, x₂, x₃) en zijn impulswaarden (p₁, p₂, p₃) combineren tot een enkel punt in een zessporige manifold, die we de fasespace noemen. Dit illustreert dat het begrip van ruimte niet altijd afhankelijk is van het klassieke driedimensionale of vierdimensionale model.

Verder is het voor een coördinatensysteem belangrijk dat de lokale coördinaten aan bepaalde voorwaarden voldoen. Deze voorwaarden zorgen ervoor dat het systeem wiskundig consistent is en dat we de transformatie van coördinaten op een betrouwbare manier kunnen uitvoeren. Een noodzakelijke voorwaarde is bijvoorbeeld dat de transformatie tussen systemen continue tweede-orde afgeleiden heeft en dat de Jacobiaan van de transformatie op elk punt niet nul is. Alleen dan kunnen we de coördinaten omkeren en terugkeren naar het oorspronkelijke systeem zonder verlies van informatie.

Bijvoorbeeld, de transformaties van rechthoekige naar pool- en cilindrische coördinaten zijn goed gedefinieerd en kunnen worden uitgedrukt met behulp van de nodige wiskundige functies. Deze transformaties zijn essentieel voor de verwerking van curvilineaire systemen, waar de posities van punten en objecten niet eenvoudig langs rechte lijnen kunnen worden gemeten, maar eerder via complexe krommen die de aard van de ruimte zelf reflecteren.

Het onderscheid tussen verschillende coördinatensystemen, zoals de Cartesiaanse, cilindrische, en bolvormige systemen, komt voort uit de manier waarop ze de ruimte beschrijven en de wiskundige relaties die tussen de verschillende coördinaten bestaan. Voor deze systemen kunnen we de bijbehorende basisvectoren berekenen en de nodige transformaties uitvoeren om van het ene coördinatensysteem naar het andere over te schakelen. Het gebruik van de juiste coördinaten is cruciaal voor de nauwkeurigheid van wetenschappelijke modellen, vooral wanneer de ruimte een kromming vertoont, zoals in de algemene relativiteitstheorie.

Het is belangrijk te begrijpen dat coördinatensystemen, hoewel ze ons helpen om fysieke verschijnselen te modelleren, nooit de enige manier zijn om de ruimte te beschrijven. De keuze van het coördinatensysteem hangt sterk af van de context en de vereisten van het probleem. In veel gevallen biedt het gebruik van curvilineaire coördinaten een aanzienlijke vereenvoudiging van de berekeningen, vooral wanneer we te maken hebben met symmetrieën die inherent zijn aan de ruimte, zoals bij roterende objecten of sferische symmetrieën.

Het is ook van belang om te realiseren dat de complexiteit van de ruimte vaak leidt tot de noodzaak van meerdere coördinatensystemen om het geheel te beschrijven. In de praktijk moeten we vaak werken met benaderingen en benaderende lokale coördinaten, waarbij de ruimte lokaal vlak wordt behandeld, zelfs als het globaal een gekromde manifold betreft.

Hoe de Stokes' Theorema en de Geodetische Curvatuur de Locatie van Tangentvectoren Beïnvloeden

De Stokes' stelling in de driedimensionale ruimte heeft een fundamentele betekenis in de theoretische fysica en wiskunde, waarbij het de relatie tussen de circulatie van een vectorveld over een gesloten kromme en de rotatie van het veld binnen de omringende oppervlakte beschrijft. Voor een curve γ\gamma, die de rand vormt van een regelmatige oppervlakte RR, geldt de vergelijking:

γVdl=R(×V)dS\int_{\gamma} V \cdot dl = \int_R (\nabla \times V) \cdot dS

Hierbij staat de linkerzijde voor de circulatie van het vectorveld VV langs de gesloten kromme γ\gamma, en de rechterzijde beschrijft de rotatie van het veld over de oppervlakte RR. Het gebruik van een specifiek vectorveld V=[P,Q,0]TV = [P, Q, 0]^T leidt naar de bekende Green’s stelling, een twee-dimensionale versie van Stokes’ stelling:

γ(Pdq1+Qdq2)=R(Qq1Pq2)dq1dq2\int_{\gamma} (P \, dq_1 + Q \, dq_2) = \int_R \left( \frac{\partial Q}{\partial q_1} - \frac{\partial P}{\partial q_2} \right) dq_1 dq_2

Deze formulering biedt een manier om de circulatie in een vlak te berekenen door de divergentie van het vectorveld over de omringende oppervlakte te integreren.

De Rol van Covariante Afgeleiden en Tangentvectoren

Een belangrijk concept bij het begrijpen van de effecten van Stokes’ stelling op de geometrie van oppervlakken is de rol van covariante afgeleiden van een eenheidsvectorveld e^\hat{e} in de oppervlakte. Aangezien de vector e^\hat{e} een eenheidsvector is, geldt de relatie e^e^=1\hat{e} \cdot \hat{e} = 1, wat betekent dat de covariante afgeleiden 1e^\nabla_1 \hat{e} en 2e^\nabla_2 \hat{e} zich in het raakvlak van de oppervlakte bevinden. Deze afgeleiden zijn orthogonaal aan e^\hat{e} en dus parallel aan n^×e^\hat{n} \times \hat{e}, de vector die het normaal van het oppervlak vertegenwoordigt.

De afgeleiden worden dan uitgedrukt als:

1e^=Pn^×e^,2e^=Qn^×e^\nabla_1 \hat{e} = P \hat{n} \times \hat{e}, \quad \nabla_2 \hat{e} = Q \hat{n} \times \hat{e}

waar PP en QQ scalar functies zijn van de coördinaten q1q_1 en q2q_2. Dit helpt de relatie tussen de geometrie van het oppervlak en de beweging van de tangentvectoren te begrijpen.

De Geodetische Curvatuur en Krommebewegingen

De geodetische curvatuur κg\kappa_g speelt een cruciale rol in het beschrijven van de kromming van een oppervlak langs een kromme γ\gamma. De geodetische curvatuur is de verandering in de richting van de eenheidsvector t^\hat{t} langs de kromme en is gedefinieerd als:

κg(s)=dt^ds(n^×t^)\kappa_g(s) = \frac{d\hat{t}}{ds} \cdot (\hat{n} \times \hat{t})

waar t^\hat{t} de eenheidsvector in de richting van de kromme is en n^\hat{n} de normaalvector van het oppervlak. De verandering in de tangentvector kan dan worden uitgedrukt als:

dt^ds=κg(n^×t^)\frac{d\hat{t}}{ds} = \kappa_g (\hat{n} \times \hat{t})

De geodetische curvatuur bepaalt hoeveel de tangentvector langs de kromme draait en is een belangrijke maat voor de kromming van het oppervlak. Wanneer de kromme γ\gamma een gesloten lus vormt, zoals een cirkel of een lus op een bol, moet de tangentiële vector uiteindelijk een volledige rotatie van 2π2\pi maken. Dit resulteert in de integratie:

γκgds=2π\int_{\gamma} \kappa_g \, ds = 2\pi

Verhoudingen Tussen Curvatuur en Boundary Krommen

Bij oppervlakken met hoeken of meerdere bochten in de grenslijn γ\gamma, wordt de verandering in de tangentvector langs de kromme beïnvloed door de draaihoeken θi\theta_i die bij de hoeken optreden. In zulke gevallen wordt de geodetische curvatuur aangepast door de interne hoeken van de kromme, en kan de integraal worden geschreven als:

γκgds+iθi=2π\int_{\gamma} \kappa_g \, ds + \sum_i \theta_i = 2\pi

waar θi\theta_i de draaihoek bij hoekpunt ii is. Deze aanpassing is essentieel voor het werken met krommen die niet glad zijn, zoals bijvoorbeeld een polygoon met scherpe hoeken.

De Verbinding met de Lokaal Gebruikte Stelling van Gauss-Bonnet

Met behulp van de bovenstaande overwegingen over de geodetische curvatuur kunnen we de lokale vorm van de Stelling van Gauss-Bonnet afleiden. Deze stelling relateert de integratie van de curvatuur over een gesloten kromme γ\gamma aan de oppervlaktedivergentie van de curvatuur zelf. Dit wordt uitgedrukt als:

γ(κgds+iθi)=RKdA\int_{\gamma} \left( \kappa_g \, ds + \sum_i \theta_i \right) = - \int_R K \, dA

waar KK de Gauss-curvatuur is van het oppervlak, en dAdA het oppervlakteelement. Dit stelt ons in staat de relaties tussen de krommingen van het oppervlak en de geometrie van de grenzen te begrijpen.

In veel gevallen is de curvatuur van een oppervlak niet constant en varieert deze met de positie op de oppervlakte. Dit maakt de integratie van de curvatuur over het oppervlak essentieel voor het verkrijgen van nuttige geometrische eigenschappen van het oppervlak. Verder is het belangrijk te realiseren dat de Gauss-curvatuur intrinsiek is aan het oppervlak zelf en niet afhangt van de manier waarop het oppervlak in de ruimte wordt gepositioneerd of georiënteerd.