Vektor, der tangerer en kurve eller overflade på et givet punkt
For en mere generel, men mere teknisk, behandling af tangentvektorer, se
Tangent space .
I matematik er en tangentvektor en vektor , der tangenterer en kurve eller overflade på et givet punkt. Tangentvektorer er beskrevet i kurvens differentialgeometri i forbindelse med kurver i R n . Mere generelt er tangentvektorer elementer i et tangentrum i en differentierbar manifold . Tangentvektorer kan også beskrives med hensyn til bakterier . Formelt set er en tangentvektor på punktet en lineær afledning af algebraen defineret af kimspækket ved .
x
{\ displaystyle x}
x
{\ displaystyle x}
Motivering
Inden vi går videre til en generel definition af tangentvektoren, diskuterer vi dens anvendelse i beregning og dens tensoregenskaber .
Regning
Lad være en parametrisk glat kurve . Tangentvektoren er givet ved , hvor vi har brugt en primtast i stedet for den sædvanlige prik for at angive differentiering med hensyn til parameter t . Enhedens tangentvektor er givet ved
r
(
t
)
{\ displaystyle \ mathbf {r} (t)}
r
′
(
t
)
{\ displaystyle \ mathbf {r} ^{\ prime} (t)}
T
(
t
)
=
r
′
(
t
)
|
r
′
(
t
)
|
.
{\ displaystyle \ mathbf {T} (t) = {\ frac {\ mathbf {r} ^{\ prime} (t)} {| \ mathbf {r} ^{\ prime} (t) |}} \, .}
Eksempel
I betragtning af kurven
r
(
t
)
=
{
(
1
+
t
2
,
e
2
t
,
cos
t
)
|
t
∈
R
}
{\ displaystyle \ mathbf {r} (t) = \ {(1+t^{2}, e^{2t}, \ cos {t}) | \ t \ in \ mathbb {R} \}}
i , er enhedens tangensvektor at givet ved
R
3
{\ displaystyle \ mathbb {R} ^{3}}
t
=
0
{\ displaystyle t = 0}
T
(
0
)
=
r
′
(
0
)
‖
r
′
(
0
)
‖
=
(
2
t
,
2
e
2
t
,
-
synd
t
)
4
t
2
+
4
e
4
t
+
synd
2
t
|
t
=
0
=
(
0
,
1
,
0
)
.
{\ displaystyle \ mathbf {T} (0) = {\ frac {\ mathbf {r} ^{\ prime} (0)} {\ | \ mathbf {r} ^{\ prime} (0) \ |}} = \ venstre. {\ frac {(2t, 2e^{2t}, \ -\ sin {t})} {\ sqrt {4t^{2}+4e^{4t}+\ sin^{2} {t }}}} \ højre | _ {t = 0} = (0,1,0) \ ,.}
Modsætning
Hvis er givet parametrisk i det n -dimensionale koordinatsystem x i (her har vi brugt overskrift som et indeks i stedet for det sædvanlige abonnement) af eller
r
(
t
)
{\ displaystyle \ mathbf {r} (t)}
r
(
t
)
=
(
x
1
(
t
)
,
x
2
(
t
)
,
…
,
x
n
(
t
)
)
{\ displaystyle \ mathbf {r} (t) = (x^{1} (t), x^{2} (t), \ ldots, x^{n} (t))}
r
=
x
jeg
=
x
jeg
(
t
)
,
-en
≤
t
≤
b
,
{\ displaystyle \ mathbf {r} = x^{i} = x^{i} (t), \ quad a \ leq t \ leq b \ ,,}
derefter er tangentvektorfeltet givet ved
T
=
T
jeg
{\ displaystyle \ mathbf {T} = T^{i}}
T
jeg
=
d
x
jeg
d
t
.
{\ displaystyle T^{i} = {\ frac {dx^{i}} {dt}} \ ,.}
Under en ændring af koordinater
u
jeg
=
u
jeg
(
x
1
,
x
2
,
…
,
x
n
)
,
1
≤
jeg
≤
n
{\ displaystyle u^{i} = u^{i} (x^{1}, x^{2}, \ ldots, x^{n}), \ quad 1 \ leq i \ leq n}
tangentvektoren i u i -koordinatsystemet er givet ved
T
¯
=
T
¯
jeg
{\ displaystyle {\ bar {\ mathbf {T}}} = {\ bar {T}}^{i}}
T
¯
jeg
=
d
u
jeg
d
t
=
∂
u
jeg
∂
x
s
d
x
s
d
t
=
T
s
∂
u
jeg
∂
x
s
{\ displaystyle {\ bar {T}}^{i} = {\ frac {du^{i}} {dt}} = {\ frac {\ delvis u^{i}} {\ delvis x^{s} }} {\ frac {dx^{s}} {dt}} = T^{s} {\ frac {\ delvis u^{i}} {\ delvis x^{s}}}}
hvor vi har brugt Einstein -summationskonventionen . Derfor vil en tangentvektor med en glat kurve transformere som en kontravariant tensor af orden en under en ændring af koordinater.
Definition
Lad være en differentierbar funktion og lad være en vektor i . Vi definerer retningsderivatet i retningen på et punkt ved
f
:
R
n
→
R
{\ displaystyle f: \ mathbb {R} ^{n} \ rightarrow \ mathbb {R}}
v
{\ displaystyle \ mathbf {v}}
R
n
{\ displaystyle \ mathbb {R} ^{n}}
v
{\ displaystyle \ mathbf {v}}
x
∈
R
n
{\ displaystyle \ mathbf {x} \ in \ mathbb {R} ^{n}}
D
v
f
(
x
)
=
d
d
t
f
(
x
+
t
v
)
|
t
=
0
=
∑
jeg
=
1
n
v
jeg
∂
f
∂
x
jeg
(
x
)
.
{\ displaystyle D _ {\ mathbf {v}} f (\ mathbf {x}) = \ venstre. {\ frac {d} {dt}} f (\ mathbf {x} +t \ mathbf {v}) \ højre | _ {t = 0} = \ sum _ {i = 1}^{n} v_ {i} {\ frac {\ delvis f} {\ delvis x_ {i}}} (\ mathbf {x}) \, .}
Tangentvektoren på punktet kan derefter defineres som
x
{\ displaystyle \ mathbf {x}}
v
(
f
(
x
)
)
≡
(
D
v
(
f
)
)
(
x
)
.
{\ displaystyle \ mathbf {v} (f (\ mathbf {x})) \ equiv (D _ {\ mathbf {v}} (f)) (\ mathbf {x}) \ ,.}
Ejendomme
Lad være differentierbare funktioner, lad være tangentvektorer i at , og lad . Derefter
f
,
g
:
R
n
→
R
{\ displaystyle f, g: \ mathbb {R} ^{n} \ to \ mathbb {R}}
v
,
w
{\ displaystyle \ mathbf {v}, \ mathbf {w}}
R
n
{\ displaystyle \ mathbb {R} ^{n}}
x
∈
R
n
{\ displaystyle \ mathbf {x} \ in \ mathbb {R} ^{n}}
-en
,
b
∈
R
{\ displaystyle a, b \ in \ mathbb {R}}
(
-en
v
+
b
w
)
(
f
)
=
-en
v
(
f
)
+
b
w
(
f
)
{\ displaystyle (a \ mathbf {v} +b \ mathbf {w}) (f) = a \ mathbf {v} (f) +b \ mathbf {w} (f)}
v
(
-en
f
+
b
g
)
=
-en
v
(
f
)
+
b
v
(
g
)
{\ displaystyle \ mathbf {v} (af+bg) = a \ mathbf {v} (f)+b \ mathbf {v} (g)}
v
(
f
g
)
=
f
(
x
)
v
(
g
)
+
g
(
x
)
v
(
f
)
.
{\ displaystyle \ mathbf {v} (fg) = f (\ mathbf {x}) \ mathbf {v} (g)+g (\ mathbf {x}) \ mathbf {v} (f) \ ,.}
Tangentvektor på manifolder
Lad være en differentierbar manifold og lad være algebraen med reelt værdsatte differentierbare funktioner på . Derefter er tangentvektoren til et punkt i manifolden givet af afledningen, der skal være lineær - dvs. for enhver, og vi har
M
{\ displaystyle M}
EN
(
M
)
{\ displaystyle A (M)}
M
{\ displaystyle M}
M
{\ displaystyle M}
x
{\ displaystyle x}
D
v
:
EN
(
M
)
→
R
{\ displaystyle D_ {v}: A (M) \ rightarrow \ mathbb {R}}
f
,
g
∈
EN
(
M
)
{\ displaystyle f, g \ i A (M)}
-en
,
b
∈
R
{\ displaystyle a, b \ in \ mathbb {R}}
D
v
(
-en
f
+
b
g
)
=
-en
D
v
(
f
)
+
b
D
v
(
g
)
.
{\ displaystyle D_ {v} (af+bg) = aD_ {v} (f)+bD_ {v} (g) \ ,.}
Bemærk, at afledningen per definition vil have egenskaben Leibniz
D
v
(
f
⋅
g
)
(
x
)
=
D
v
(
f
)
(
x
)
⋅
g
(
x
)
+
f
(
x
)
⋅
D
v
(
g
)
(
x
)
.
{\ displaystyle D_ {v} (f \ cdot g) (x) = D_ {v} (f) (x) \ cdot g (x)+f (x) \ cdot D_ {v} (g) (x) \ ,.}
Se også
Referencer
^ J. Stewart (2001)
^ D. Kay (1988)
^ A. Gray (1993)
Bibliografi
Gray, Alfred (1993), Modern Differential Geometry of Curves and Surfaces , Boca Raton: CRC Press .
Stewart, James (2001), Calculus: Concepts and Contexts , Australien: Thomson/Brooks/Cole .
Kay, David (1988), Schaums Outline of Theory and Problems of Tensor Calculus , New York: McGraw-Hill .
<img src="https://en.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">