Ковариантность и контравариантность (математика): различия между версиями
[отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Xeonz (обсуждение | вклад) Метка: редактор вики-текста 2017 |
м орфография |
||
Строка 116:
== Алгебра и геометрия ==
В [[Теория категорий|теории категорий]], [[Функтор (математика)|функторы]] могут быть ковариантными и контравариантными. [[Сопряжённое пространство]] векторного пространства — стандартный пример контравариантного функтора. Некоторые конструкции мультилинейной алгебры являются ''
В [[Геометрия|геометрии]] то же самое отображение различается в или из пространства, что позволяет определить вариантность конструкции. Касательный вектор к гладкому многообразию ''M'' в точке ''P'' — это класс эквивалентности кривых в ''M'', проходящих через данную точку ''P''. Поэтому он контравариантен относительно гладкого отображения ''M''. Ковариантный вектор, или [[ковектор]], таким же способом конструируется из гладкого отображения из ''M'' на вещественную ось около ''P'' в кокасательном расслоении, построенном на сопряжённом пространстве касательного расслоения. <!-- Its ''components with respect to'' a local basis of one-forms ''dx<sub>i</sub>'' will be covariant; but one-forms and [[differential form]]s in general are contravariant, in the sense that they [[pullback (differential geometry)|pull back]] under smooth mappings. This is crucial to how they are applied; for example a differential form can be ''restricted'' to any [[submanifold]], while this does not make the same sense for a field of tangent vectors.-->
|