Hopp til innhold

Tangent (matematikk)

Fra Wikipedia, den frie encyklopedi
Tangenten i rødt til en kurve berører den i ett punkt.

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]
Tangenten L gjennom P fremkommer fra sekanten gjennom Q i grensen der dette punktet nærmer seg P.

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]
Stigningstallet for tangenten til en kurve er her vist grønt når det er positivt og rødt når det er negativt. Det vises svart når tangenten er horisontal, noe som tilsvarer at funksjonen har et maksimum eller et minimum.

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]
Tangentplanet til en kule i et vilkårlig punkt.

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 = - fxi - fyj + 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 + fxk og e2 = j + fyk. Dermed følger normalen fra kryssproduktet N = e1 × e2 som gir samme resultatet som gradienten.

Tangentvektorer på mangfoldigheter

[rediger | rediger kilde]
Illustrasjon av en tangentvektor v i det todimensjonale tangentrommet TxM til mangfoldigheten M. Vektoren tangerer kurven γ(t ) i punktet x.

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 mn + 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]
  1. ^ R. Tambs Lyche, Matematisk Analyse I, Gyldendal Norsk Forlag, Oslo (1961).
  2. ^ A. Søgaard og R. Tambs Lyche, Matematikk III for Realgymnaset, Gyldendal Norsk Forlag, Oslo (1955).
  3. ^ a b R. Tambs Lyche, Matematisk Analyse Bind II, Gyldendal Norsk Forlag, Oslo (1958).
  4. ^ D.J. Struik, Lectures on classical differential geometry, Dover Publications, New York (1961). ISBN 0-486-65609-8.
  5. ^ C.W. Misner, K.S. Thorne and J.A. Wheeler, Gravitation, W. H. Freeman, San Francisco (1973). ISBN 0-7167-0344-0.
  6. ^ a b B. O'Neill, Elementary Differential Geometry, Academic Press, New York (1966).