Вектор, касательный к кривой или поверхности в данной точке
В математике касательный вектор — это вектор , касающийся кривой или поверхности в данной точке . Касательные векторы описываются в дифференциальной геометрии кривых в контексте кривых в R n . В более общем смысле, касательные векторы — это элементы касательного пространства дифференцируемого многообразия . Касательные векторы также можно описать в терминах ростков . Формально касательный вектор в точке представляет собой линейное дифференцирование алгебры, определяемой множеством ростков в точке .![{\displaystyle х}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle х}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Мотивация
Прежде чем перейти к общему определению касательного вектора, мы обсудим его использование в исчислении и его тензорные свойства.
Исчисление
Пусть – параметрическая гладкая кривая . Касательный вектор задается выражением «при условии, что он существует и при условии» , где мы использовали штрих вместо обычной точки, чтобы указать дифференцирование по параметру t . [1] Единичный касательный вектор определяется выражением![{\displaystyle \mathbf {r} (т)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {r} '(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {r} '(t)\neq \mathbf {0} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {T} (t) = {\frac {\mathbf {r} '(t)}{|\mathbf {r} '(t)|}}\,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Пример
Учитывая кривую
![{\displaystyle \mathbf {r} (t)=\left\{\left(1+t^{2},e^{2t},\cos {t}\right)\mid t\in \mathbb {R } \верно\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle т=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {T} (0)={\frac {\mathbf {r} '(0)}{\|\mathbf {r} '(0)\|}}=\left.{\frac { (2t,2e^{2t},-\sin {t})}{\sqrt {4t^{2}+4e^{4t}+\sin ^{2}{t}}}}\right|_{ t=0}=(0,1,0)\,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Контравариантность
If задан параметрически в n -мерной системе координат x i (здесь мы использовали верхние индексы в качестве индекса вместо обычного нижнего индекса) с помощью или
![{\ displaystyle \ mathbf {r} (t) = (x ^ {1} (t), x ^ {2} (t), \ ldots, x ^ {n} (t))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {r} =x^{i}=x^{i}(t),\quad a\leq t\leq b\,,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {T} =T^{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T^{i}={\frac {dx^{i}}{dt}}\,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle u^{i}=u^{i}(x^{1},x^{2},\ldots,x^{n}),\quad 1\leq i\leq n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
u i![{\displaystyle {\bar {\mathbf {T} }}={\bar {T}}^{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\bar {T}}^{i}={\frac {du^{i}}{dt}}={\frac {\partial u^{i}}{\partial x^{s} }}{\frac {dx^{s}}{dt}}=T^{s}{\frac {\partial u^{i}}{\partial x^{s}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
соглашение Эйнштейна о суммированииконтравариантный тензор первого порядка. [2]Определение
Пусть – дифференцируемая функция и пусть – вектор из . Определим производную по направлению в точке по формуле![{\ displaystyle f: \ mathbb {R} ^ {n} \ to \ mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {v} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {v} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {x} \in \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nabla _{\mathbf {v} }f(\mathbf {x})=\left.{\frac {d}{dt}}f(\mathbf {x} +t\mathbf {v}) \right|_{t=0}=\sum _{i=1}^{n}v_{i}{\frac {\partial f}{\partial x_{i}}}(\mathbf {x} ) \,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[3]![{\displaystyle \mathbf {x} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {v} (е (\mathbf {x})) \equiv (\nabla _ {\mathbf {v}}(f))(\mathbf {x})\,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Характеристики
Пусть – дифференцируемые функции, пусть – касательные векторы в at и пусть . Затем![{\displaystyle f,g:\mathbb {R} ^{n}\to \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ mathbf {v}, \ mathbf {w} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {x} \in \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a,b\in \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle (a \ mathbf {v} + b \ mathbf {w}) (f) = a \ mathbf {v} (f) + b \ mathbf {w} (f)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {v} (af+bg)=a\mathbf {v} (f)+b\mathbf {v} (g)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ mathbf {v} (fg) = f (\ mathbf {x}) \ mathbf {v} (g) + g (\ mathbf {x}) \ mathbf {v} (f) \,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Касательный вектор на многообразиях
Пусть – дифференцируемое многообразие и пусть – алгебра вещественнозначных дифференцируемых функций на . Тогда касательный вектор к в точке многообразия задается выводом, который должен быть линейным, т. е. для любого и мы имеем![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle A (M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D_{v}:A(M)\rightarrow \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle f, g \ in A (M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a,b\in \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D_{v}(af+bg)=aD_{v}(f)+bD_{v}(g)\,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Обратите внимание, что вывод по определению будет обладать свойством Лейбница.
![{\displaystyle D_{v}(f\cdot g)(x)=D_{v}(f)(x)\cdot g(x)+f(x)\cdot D_{v}(g)(x) \,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Смотрите также
Рекомендации
- ^ Дж. Стюарт (2001)
- ^ Д. Кей (1988)
- ^ А. Грей (1993)
Библиография
- Грей, Альфред (1993), Современная дифференциальная геометрия кривых и поверхностей , Бока-Ратон: CRC Press.
- Стюарт, Джеймс (2001), Исчисление: концепции и контексты , Австралия: Томсон/Брукс/Коул.
- Кей, Дэвид (1988), Очерк теории и проблем тензорного исчисления Шаумса , Нью-Йорк: McGraw-Hill.