Tangent (matematikk)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/0/0f/Tangent_to_a_curve.svg/300px-Tangent_to_a_curve.svg.png)
Tangent (latin tangere: berøre) er innen geometri betegnelsen på en rett linje som berører en sirkel eller en annen kurve i et punkt. Retningen til denne linjen er gitt ved en tangentvektor. Den samme linjen kan godt skjære kurven i andre punkt og vil der være en sekant.
Leibniz definerte tangenten som linjen som går gjennom to punkt på kurven i grensen der deres separasjon går mot null. Denne definisjonen er fortsatt gyldig.
Hvis en kurve i planet er gitt ved en funksjon y = f(x), vil tangenten gjennom punktet (x0, y0) ha en retning som er gitt ved stigningstallet k = y' (x0). Da den deriverte av funksjonen er gitt som y' = dy/dx, vil k være tangens til vinkelen som linjen danner med x-aksen. Den vil dermed være gitt ved ligningen y = k(x - x0) + y0. På lignende vis kan tangenten til en kurve i rommet bestemmes ut fra den deriverte av den funksjonen som beskriver kurven.
For flater kan man på tilsvarende måte definere tangentplan i hvert punkt på flaten. Det vil inneholde to uavhengige tangentvektorer som tilsvarer derivasjon i forskjellige retninger. På samme måte kan man betrakte tangentrom for mangfoldigheter i høyere dimensjoner.
Definisjon
[rediger | rediger kilde]![](https://upload.wikimedia.org/wikipedia/commons/thumb/2/24/Tangent_as_Secant_Limit.svg/300px-Tangent_as_Secant_Limit.svg.png)
Tangenten til en plan kurve i et punkt P gitt ved funksjonen y = f(x) kan finnes ved å trekke en rett linje gjennom et nærliggende punkt Q på kurven og deretter betrakte denne linjen i grensen der Q nærmer seg P. Hvis dette punktet har x-koordinaten x0 og Q har x0 + h hvor størrelsen h er så liten at funksjonen der vil ta en nærliggende verdi, er stigningstallet til denne rette linjen gitt ved
Så lenge h er liten, men endelig, vil denne rette linjen være en sekant. Den er beskrevet ved ligningen
Selve tangenten kommer frem i grensen der h → 0. Der tar stigningstallet grenseverdien
som er den deriverte av funksjonen f(x) i punktet P. Dermed er også ligningen for tangentlinjen etablert i denne grensen. Når funksjonen har en ekstremalverdi, er stigningstallet null og tangentlinjen er horisontal i en grafisk fremstilling. Om dette er et maksimum eller minimum, bestemmes ut fra kurvens krumning som er gitt ved den andrederiverte av funksjonen.
Denne definisjonen viser tydelig den tette sammenhengen som eksisterer mellom de matematiske begrepene tangent og derivasjon som ble tydelig gjennom etableringen av matematisk analyse.[1]
Implisitt fremstilling
[rediger | rediger kilde]![](https://upload.wikimedia.org/wikipedia/commons/thumb/7/7a/Graph_of_sliding_derivative_line.gif/350px-Graph_of_sliding_derivative_line.gif)
En kurve ofte på mer generelle måter enn ved en eksplisitt funksjon y = f(x) i planet. Den kan for eksempel beskrives ved en implitt ligning F(x,y) = 0 eller som skjæringspunktene mellom to flater i rommet.
I det første tilfellet kan tangenten bestemmes fra differensialet til funksjonen F(x,y). Det fører til at kurven må oppfylle ligningen
hvor de to partialderiverte er Fx = ∂F/∂x og Fy = ∂F/∂y. Stigningstallet til tangenten i et vilkårlig punkt på kurven er da gitt som
Ligningen for tangentlinjen i et bestemt punkt med koordinater (x0, y0) blir dermed
I det spesielle tilfelle at gjenfinner man det tidligere resultatet for denne linjen.
Som et eksempel kan man betrakte en ellipse med hovedakser a og b som kan beskrives ved den implisitte ligningen
Den gir Fx = 2x/a 2 og Fy = 2y/b 2. Da punktet (x0, y0) ligger på ellipsen, blir derfor tangenten i dette punktet
I kvadranten der begge koordinatene er (x0, y0) er positive, har denne tangentlinjen negativt stigningstall.[2]
Kurver i rommet
[rediger | rediger kilde]Hvert punkt på en kurve i det tredimensjonale, euklidske rommet E3 kan beskrives ved posisjonsvektoren
når den er parametrisert ved den kontinuerlige variable t. Tangenten i et vilkårlig punkt kan igjen defineres ved linjen mellom to nærliggende punkt på kurven i grensen der separasjonen mellom punktene går mot null. Det gir tangentvektoren
som gir retningen til tangentlinjen gjennom punktet.[3]
En plan kurve har z = 0 slik at tangentvektoren er T = x' i + y' j når derivasjon med hensyn på parameteren vises med et merke. Dens retning tilsvarer et stigningstall k = y' /x' .
For en eksplisitt fremstilling av kurven i planet med funksjonen y = f(x) kan man velge koordinaten x som parameter. Da blir x' = 1 og y' = f' . Tangentvektoren forenkles i dette tilfellet til T = i + f' j som igjen viser at den deriverte f' gir stigningstallet til tangenten.
Tangentplan
[rediger | rediger kilde]![](https://upload.wikimedia.org/wikipedia/commons/thumb/6/66/Image_Tangent-plane.svg/300px-Image_Tangent-plane.svg.png)
For en flate i rommet kan man definere et tangentplan i et punkt P på lignende måte som en tangentlinje er definert for en kurve. Man kan tenke seg et plan gjennom P og to andre, nærliggende punkter. I grensen der disse punktene nærmer seg P, vil planet gå over til å bli et tangentplan. På den måten gir det den beste approksimasjon av å beskrive flaten som plan i et lite område rundt punktet P der det er definert.[4]
Når den todimensjonale flaten ligger i et ytre, tredimensjonalt rom E3, kan hvert punkt på den angis ved vektoren
der u og v er kontinerlige parametre. De kan betraktes som krumlinjete koordinater på flaten. Når den ene holdes konstant, vil variasjon av den andre parameteren beskrive en kurve på flaten. I hvert punkt vil den derfor ha de to tangentvektorene
som definerer et plan i dette punktet som er tangentplanet. Normalen til flaten i dette punktet er gitt ved vektorproduktet av tangentvektorene som N = eu × ev som står vinkelrett på begge tangentvektoren. Dermed er ligningen for tangentplanet i punktet r0 = (x0, y0, z0) gitt ved ligningen
Normalvektoren kan beregnes på flere måter. Er den implisitt gitt som løsningen av en ligning F(x,y,z) = 0, kan den finnes direkte fra gradienten som N = ∇F. Da vil dens komponenter være gitt ved de partiellderiverte N = (Fx, Fy, Fz) hvor Fx = ∂F/∂x og så videre som for normalen til en kurve gitt på implitt vis.[3]
For eksempel, overflaten til en kule med radius a er gitt ved funksjonen F = x 2 + y 2 + z 2 - a 2. Det betyr at komponentene til normalen i et vilkår punkt på flaten er Nx = 2x, Ny = 2y og Nz = 2z. Tangentplanet i punktet (x0, y0, z0) er dermed
I mange tilfeller er flaten gitt eksplisitt ved en funksjon som z = f(x,y). Det tilsvarer en implisitt fremstilling med F(x,y,z) = z - f(x,y). Normalvektoren som følger fra gradienten, er N = - fx i - fy j + k slik at ligningen for tangentplanet blir
Dette er en direkte generalisering av ligningen for tangentlinjen til en kurve i planet.
Alternativt kunne flatenormalen finnes ved å la x og y være de to parametrene som beskriver flaten ved posisjonsvektoren
De to tangentvektorene til flaten blir nå e1 = i + fx k og e2 = j + fy k. Dermed følger normalen fra kryssproduktet N = e1 × e2 som gir samme resultatet som gradienten.
Tangentvektorer på mangfoldigheter
[rediger | rediger kilde]![](https://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Tangentialvektor.svg/320px-Tangentialvektor.svg.png)
En flate er et eksempel på en todimensjonal mangfoldighet. Dens geometriske egenskaper kan beskrives ved å legge den inn i et tredimensjonalt, euklidsk rom hvis geometri er kjent. På lignende måte kan en mangfoldighet med høyere dimensjon n beskrives som en del av et euklidsk rom med dimensjon m ≥ n + 1. Men ved en intrinsikk beskrivelse av mangfoldigheten som er uavhengig av eksistensen av et omsluttende rom, vil man unngå en slik antagelse. Det er denne situasjonen som ligger til grunn for differensialgeometrien som benyttes for tidrommet i generell relativitetsteori.[5]
Når mangfoldigheten er utstyrt med n intrinsikke koordinater xμ, vil en skalar funksjon F ta en bestemt verdi F(x) = F(x1,x2, .. ,xn ) i hvert punkt x. For å undersøke hvordan denne varierer i forskjellige retninger, tenker man seg en kurve på mangfoldigheten. Er den beskrevet ved en parameter t, vil den gå gjennom punkter x(t ) med koordinater (x1(t ), x2(t ), .. , xn(t )). Variasjonen av funksjonen langs denne kurven følger dermed fra kjerneregelen for derivasjon som
når man benytter Einsteins summekonvensjon og summerer over de to indeksene fra 1 til n. Denne deriverte er ikke noe annet enn den retningsderiverte av funksjonen F i punktet x og i en retning gitt ved vektoren v med komponenter vμ = dxμ/dt og som er tangentvektor til kurven.
Ved å betrakte flere slike kurver på mangfoldigheten, kan funksjonens oppførsel undersøkes i forskjellige retninger gitt ved tilsvarende tangenter til kurvene. I et vilkårlig punkt kan man derfor skrive en slik retningsderivert langs v som
Hvis man skriver dette som , kan man identifisere tangentvektoren med operatoren
Det betyr at de partiellderiverte eμ = ∂/∂xμ har overtatt rollen som basisvektorer på mangfoldigheten. Hvis den istedet hadde blitt beskrevet som en del av et omsluttende rom, ville disse basisvektorene tilsvart tangentene til mangfoldighetens koordinatlinjer.[6]
Tangentrom
[rediger | rediger kilde]I hvert punkt x på mangfoldigheten finnes n basisvektorer eμ = ∂μ som tangerer de forskjellige koordinatlinjene i dette punktet. En generell vektor på samme sted kan skrives som
hvor komponentene vμ er skalare funksjoner av koordinatene til punktet. Den kan adderes til en annen vektor u = uμ eμ i samme punkt slik at
der a og b er konstanter. Tilsammen utgjør disse vektorene et lineært vektorrom i hvert punkt og kalles for mangfoldighetens tangentrom. Det kan identifiseres med Rn slik at basisvektoren e1 har komponentene (1,0,0,...,0), e2 = (0,1,0,...,0) og så videre.[6]
Referanser
[rediger | rediger kilde]- ^ R. Tambs Lyche, Matematisk Analyse I, Gyldendal Norsk Forlag, Oslo (1961).
- ^ A. Søgaard og R. Tambs Lyche, Matematikk III for Realgymnaset, Gyldendal Norsk Forlag, Oslo (1955).
- ^ a b R. Tambs Lyche, Matematisk Analyse Bind II, Gyldendal Norsk Forlag, Oslo (1958).
- ^ D.J. Struik, Lectures on classical differential geometry, Dover Publications, New York (1961). ISBN 0-486-65609-8.
- ^ C.W. Misner, K.S. Thorne and J.A. Wheeler, Gravitation, W. H. Freeman, San Francisco (1973). ISBN 0-7167-0344-0.
- ^ a b B. O'Neill, Elementary Differential Geometry, Academic Press, New York (1966).