Что такое сопряженное пространство

Что такое сопряженное пространство

Для линейных функционалов так же, как и вообще для операторов, определены действия сложения и умножения на числа, причем в результате этих действий мы снова получаем линейный функционал (см. п. 1.7). Легко проверяется, что при этом выполняются все аксиомы линейного пространства.

Далее, если ввести норму равенством (1.1), то с так введенной нормой пространство линейных функционалов является нормированным

пространством. Это доказывается так же, как и в п. 1.4.10. Аналогично тому, как это сделано в п. 1.4.10, доказывается, что это пространство является полным. Таким образом, множество всех линейных функционалов, определенных на банаховом пространстве X, образует полное нормированное пространство, которое называется сопряженным к пространству X и обозначается

Часто для приложений бывает важным построение сопряженных пространств для некоторых конкретных банаховых пространств. Для этого необходимо находить общий вид линейных функционалов, определенных на этом пространстве. Так, например, как показано в примере 2 п. 2, общий вид линейных функционалов на пространстве задается равенством (2.5), им устанавливается взаимно-однозначное соответствие между линейными функционалами и элементами пространства Это значит, что каждому линейному функционалу заданному на пространстве соответствует один и только один элемент у пространства такой, что имеет место равенство (2.5). При таком соответствии, как это легко проверить, сумме функционалов соответствует сумма элементов пространства и произведению функционала на число соответствует произведение элемента у на это же число.

Такое взаимно-однозначное соответствие между элементами линейных пространств, при котором сохраняются линейные операции (сложение и умножение на число), называется изоморфизмом. Если пространства нормированные и при указанном соответствии сохраняется норма (т. е. нормы соответствующих элементов равны между собой), то такой изоморфизм называется изометрическим. В рассмотренном примере, как видно из равенства (2.8), пространство линейных функционалов, заданных на пространстве изометрически изоморфно пространству Часто в теории линейных нормированных пространств не различают изометрически-изоморфные пространства. В этом смысле иногда просто говорят, что пространство, сопряженное к есть пространство имея при этом в виду изометрический изоморфизм этих пространств.

Сопряжённое пространство

Сопряжённое пространство или двойственное пространство — пространство линейных функционалов на данном линейном пространстве.

Содержание

Линейно-сопряжённое пространство — определение

Пространство всех линейных функционалов, определённых на линейном пространстве E, также образует линейное пространство. Это пространство называется сопряжённым к E, оно обычно обозначается E^*.

Свойства

  • В конечномерном случае сопряжённое пространство E^*имеет ту же размерность, что и пространство Eнад полем F: любому базису \< e^i \>_<i=1>^n» width=»» height=»» /> из <img decoding=можно поставить в соответствие т.н. двойственный базис\< e_i \>_<i=1>^n» width=»» height=»» /> из <img decoding=, где функционал e_i\,— проектор на вектор \,e^i:  e_i(x) = e_i(\alpha_1e^1 + \ldots + \alpha_ne^n) = \alpha_i, \quad\forall x\in E
  • Если пространство Eевклидово, то есть на нём определено скалярное произведение, то существует канонический изоморфизм между Eи E^*.
  • Если пространство Eгильбертово, то по теореме Рисса существует изоморфизм между Eи E^*.
  • В конечномерном случае верно также, что пространство, сопряжённое к сопряжённому E^<**>» width=»» height=»» />, совпадает с <img decoding=(точнее, существует канонический изоморфизм между Eи E^<**>» width=»» height=»» />).</li> </ul> <h3>Обозначения</h3> <p>В конечномерном случае обычно элементы пространства <img decoding=обозначают вектором-столбцом, а элементы E^*— вектором-строкой [источник не указан 581 день] . В тензорном исчислении применяется обозначение x^kдля элементов E(верхний, или контравариантный индекс) и x_kдля элементов E^*(нижний, или ковариантный индекс).

    Вариации и обобщения

    • В функциональном анализе, под сопряжённым пространством обычно понимают пространство непрерывных линейных функционалов.
    • Термин сопряжённое пространство может иметь иное значение для линейных пространств над полем комплексных чисел: пространство \bar E, совпадающее с Eкак вещественное линейное пространство, но с другой структурой умножения на комплексные числа: <\bar c><\bar x>= \overline<cx>» width=»» height=»» /> <ul> <li>При наличии в пространстве эрмитовой метрики (например, в гильбертовом пространстве) линейно-сопряжённое и комплексно-сопряжённое пространства совпадают.</li> </ul> <h3>Ссылки</h3> <ul> <li>Функциональный анализ</li> <li>Теории двойственности</li> </ul> <p> <em>Wikimedia Foundation . 2010 .</em> </p> <h4>Полезное</h4> <h4>Смотреть что такое «Сопряжённое пространство» в других словарях:</h4> <p><strong>Комплексно-сопряжённое пространство</strong> — Сопряжённое пространство, двойственное пространство в алгебре и функциональном анализе термин, применяющийся при описании двойственности линейных пространств. Как правило, под сопряжённым пространством понимают линейно сопряжённое пространство, т … Википедия</p> <p><strong>Пространство обобщенных функций</strong> — Обобщённая функция или распределение математическое понятие, обобщающее классическое понятие функции. Потребность в таком обобщении возникает во многих физических и математических задачах. Понятие обобщённой функции даёт возможность выразить в… … Википедия</p> <p><strong>Пространство обобщённых функций</strong> — Обобщённая функция или распределение математическое понятие, обобщающее классическое понятие функции. Потребность в таком обобщении возникает во многих физических и математических задачах. Понятие обобщённой функции даёт возможность выразить в… … Википедия</p> <p><strong>Пространство Lp</strong> — Для термина «Lp» см. другие значения. Пространства Lp (читается «эль пэ»)  это пространства измеримых функций таких, что их p я степень интегрируема, где . Lp  важнейший класс банаховых пространств. В дополнение, L2 (читается «эль… … Википедия</p> <p><strong>Двойственное пространство</strong> — Сопряжённое пространство, двойственное пространство в алгебре и функциональном анализе термин, применяющийся при описании двойственности линейных пространств. Как правило, под сопряжённым пространством понимают линейно сопряжённое пространство, т … Википедия</p> <p><strong>Векторное пространство</strong> — У этого термина существуют и другие значения, см. Пространство. Векторное (линейное) пространство  основной объект изучения линейной алгебры. Содержание 1 Определение 2 Простейшие свойства … Википедия</p> <p><strong>Линейное пространство</strong> — Линейное пространство, или векторное пространство основной объект изучения линейной алгебры. Содержание 1 Определение 2 Простейшие свойства 3 Связанные определения и свойства … Википедия</p> <p><strong>Lp (пространство)</strong> — У этого термина существуют и другие значения, см. LP (значения). (также встречается обозначение ; читается «эль пэ»; также Лебеговы пространства)  это пространства измеримых функций, таких, что их я степень интегрируема, где .  … … Википедия</p> <p><strong>Симплектическое пространство</strong> — Симплектическое пространство  это векторное пространство S с заданной на нём симплектической формой , то есть билинейной кососимметрической невырожденной 2 формой … Википедия</p> <p><strong>Конечномерное пространство</strong> — Конечномерное пространство  это векторное пространство, в котором имеется конечный базис порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система… … Википедия</p> <h2>Сопряженное пространство</h2> <h3>Еще термины по предмету «Высшая математика»</h3> <h4>Гиперболоид</h4> <p>незамкнутая центральная поверхность 2-го порядка</p> <h4>Замыкание (множества)</h4> <p>пересечение всех замкнутых множеств, содержащих данное множество M топологического пространства; множество всех точек прикосновения данного множества M; обозначается M̅ или [M], или cl M;</p> <h4>Обратное отношение (инверсия отношения)</h4> <p>бинарное отношение R−1, определенное данным бинарным отношением R: xR−1y тогда и только тогда, когда yRx</p> <h4>Похожие</h4> <ul> <li>Алгебраическое сопряженное пространство</li> <li>Второе сопряженное пространство</li> <li>Концентр сопряжения</li> <li>Угловые сопряжения</li> <li>Сопряженная пара</li> <li>Сопряженные фазы</li> <li>Сопряжение при сборке</li> <li>Сопряженная гипербола</li> <li>Сопряженная ось</li> <li>Сопряженные кватернионы</li> <li>Сопряженные направления</li> <li>Сопряженные числа</li> <li>Сопряженные элементы</li> <li>Сопряженный оператор</li> <li>Сопряженная продукция</li> <li>Хемиосмотическое сопряжение</li> <li>Таблица сопряженности</li> <li>Речь сопряженная</li> <li>Пространство</li> <li>Банахово пространство (B-пространство)</li> </ul> <h3>Научные статьи на тему «Сопряженное пространство»</h3> <h3>1. Топологическая квантовая теория поля </h3> <p>В подобном случае говориться, что в <b>пространстве</b> введена топология. <br />В физике приходится постоянно сталкиваться с топологическими <b>пространствами</b>. <br />В первую очередь, фазовое <b>пространство</b> и <b>пространство</b> конфигураций в классической механике, а также множество. <br />Намного важнее свойства для непрерывных отображений <b>пространств</b>. <br />Зарядовое <b>сопряжение</b> — это замена полевых функций на <b>сопряженные</b>.</p> <h3>2. Условия изометричности банахова пространства сопряженному в терминах тотального подпространства сопряженного пространства </h3> <p>Обозначение Е ∈ (ТД) используется нами в случае, когда Е является сильно замкнутым тотальным над банаховым пространством Х подпространством в Х*, все элементы которого достигают своей нормы на единичном шаре пространства Х. Условие Е ∈ (ТД) является необходимым для канонической, т. е. в установленной между Х и Х* двойственности, изометрии Х и Е*, но недостаточным. Основными являются следующие результаты. Теорема 2. Пусть X банахово пространство, Е ∈ (ТД). Если слабое* секвенциальное замыкание.</p> <h3>3. Квантовая механика Неймана </h3> <p>(подобно сопоставлению в классической механике состояниям точек 6N-мерного фазового <b>пространства</b>). <br />Они определяются в виде алгебры операторов в гильбертовом <b>пространстве</b> с операцией эрмитова <b>сопряжения</b>. <br />Такая же структура <b>сопряжения</b> в гильбертовом <b>пространстве</b> на операторах позволяет построить представления. <br />на гильбертовых <b>пространствах</b> (для изучения нормальных, самосопряженных, унитарных, положительных и. <br />других операторов); операторы на функциональных <b>пространствах</b> (такие, как интегральные, дифференциальные</p> <h3>4. Пространства Бергмана, Харди и сопряженные к ним </h3> <p>Доказано, что пространство H′1 строго нормировано, а H1 не является ни строго нормированным, ни равномерно выпуклым. Найден общий вид линейных функционалов над пространством H′1 и над метрическими пространствами H′p, 0</p> <h3>Повышай знания с онлайн-тренажером от Автор24!</h3> <ul> <li>

      Возможность создать свои термины в разработке

      Еще чуть-чуть и ты сможешь писать определения на платформе Автор24. Укажи почту и мы пришлем уведомление с обновлением ☺️

      Нормали и обратное транспонирование, часть 2: сопряжённые пространства

      В первой части мы рассмотрели внешнюю алгебру и поняли, что векторы нормали в 3D можно интерпретировать как бивекторы. Для преобразования бивекторов в общем случае нужна матрица отличная от той, которая преобразует обычные векторы. Воспользовавшись каноническим базисом для бивекторов, мы выяснили, что это присоединённая матрица, которая пропорциональна обратной транспонированной. Эти рассуждения хотя бы частично объяснили почему нормали преобразуются обратной транспонированной матрицей.

      Но некоторые вопросы были заметены под ковёр.

      Мы рассмотрели присоединённые матрицы, но не показали как они связаны с алгебраическим доказательством того, что для преобразования уравнения плоскости нужна обратная транспонированная матрица. Пропорциональность между матрицами была в некотором смысле притянута за уши.

      Более того, мы увидели, что -векторы из внешней алгебры снабжают векторные геометрические объекты естественной интерпретацией, в которой они содержат единицы длины, площади и объёма, измкеняющиеся соответствующим образом при масштабировании. Но мы не нашли ничего подобного для плотностей — единиц, обратных к длине, площади и объёму.

      В этой статье мы рассмотрим ещё одну геометрическую концепцию, которая понадобится для завершения картины. Слияние этой новой концепции с уже изученной внешней алгеброй прояснит и разрешит оставшиеся вопросы.

      Функции как векторы

      Большая часть этой статьи будет рассматривать функции, которые принимают и возвращают векторы различных типов. Чтобы её понять, нужно совершить некоторый умственный кувырок, который может показаться контринтуитивным, если вы не встречали его ранее.

      Вот он: функции, которые возвращают векторы, сами являются векторами

      С первого взгляда это утверждение может показаться бессмысленным. Векторы и функции — это совершенно разные вещи, как например яблоки и… стулья, не так ли? Как функция буквально может быть вектором?

      Посмотрев на формальное определение векторного пространства, вы не найдёте в нем ничего конкретного о структуре векторов. Мы часто представляем их себе как стрелки с длиной и направлением, или как упорядоченные наборы чисел (координат). Но всё же, в сухом остатке для создания векторного пространства нужен набор сущностей, которые поддерживают две базовые операции: сложение между собой и умножение на скаляры (здесь это действительные числа). Эти операции должны подчиняться нескольким разумным аксиомам.

      Функции тоже можно складывать между собой! Две функции и можно сложить поточечно и получить новую функцию для каждой точки в области определения. Аналогично, функция может быть поточечно умножена на скаляр: . Эти операции удовлетворяют аксиомам векторного пространства, потому любое множество подходящих функций формирует полноправное векторное пространство, называемое функциональным пространством.

      Запишем формальнее: пусть есть область определения (любое множество, не обязательно векторное пространство) и область значений — векторное пространство. Тогда множество функций образуют векторное пространство относительно поточечного сложения и умножения на скаляр. Область значений должна быть векторным пространством чтобы в нём работало сложение и перемножение значений функции, но области определения не обязательно быть векторным пространством, и вообще «пространством». Она может быть хоть дискретным множеством.

      Понимание трактовки функций как векторов даёт возможность применять методы линейной алгебры при работе в функциями. Получается большая ветвь математики, называемая функциональным анализом.

      Линейные формы и сопряжённое пространство

      Отсюда и далее будем рассматривать особый класс функций, называемый линейными формами.

      Пусть есть векторное пространство , например трёхмерное , тогда линейная форма на определяется как линейная функция . То есть, это линейная функция которая принимает вектор и возвращает скаляр.

      (Замечание для математиков: в этой статье я рассматриваю только конечномерные пространства над , поэтому некоторые утверждения могут быть неверны для векторных пространств в общем случае. Извините!)

      Мне нравится визуализировать линейные формы как последовательности параллельных равноотстоящих плоскостей (3D) или линий (2D), то есть линий/поверхностей уровня функции, отстоящих друг от друга на единицу в величинах значений функции. Вот несколько примеров:
      image
      Здесь градиенты показывают ориентацию линейной формы — функция возрастает в сторону возрастания непрозрачности градиента. Линии резкого изменения цвета пересекают оси в целых точках. Заметим, что «бо́льшие» линейные формы (в смысле бо́льших выходных значений) соответствуют более плотному размещению линий, и наоборот.

      Выше показано, что линейные формы над векторным пространством могут сами трактоваться как векторы в своём собственном функциональном пространстве. Линейные комбинации линейных функций так же являются линейными функциями, потому они образуют полноценное векторное пространство.

      Это линейное пространство — множество линейных форм над — достаточно значимо, чтобы иметь отдельное название: сопряжённое (или двойственное) пространство. Оно обозначается через . Элементы двойственного пространства (линейные формы) называются двойственными векторами или ковекторами.

      Естественная свёртка

      Тот факт, что двойственные векторы — это линейные, а не какие угодно функции из в , сильно ограничивает их поведение. У линейных функций на -мерном векторном пространстве есть только степеней свободы, в отличие от произвольных функций, у которых может быть сколько угодно степеней свободы. Иными словами, у та же размерность, что и у .

      Конкретнее, линейная форма на полностью определяется своими значениями при применении к векторам базиса. Значение на любом другом векторе может быть выведено через линейность. Например, если — линейная форма над и — произвольный вектор, то:

      Если вы думаете, что это выражение выглядит очень похожим на скалярное произведение и — вы правы!

      Действительно, операция применения линейной формы к вектору имеет свойства произведения между сопряжённым пространством и основным: . Это произведение называется естественной свёрткой.

      Как и скалярное произведение векторов, естественная свёртка возвращает действительное число, и является билинейной, то есть линейной по обоим аргументам. Тем не менее, здесь мы берём произведение не двух векторов, а двойственного вектора с «обычным» вектором. Линейность по левому аргументу получается из поточечного сложения и умножения линейных форм, а по правому — из того, что линейные формы… линейны на своих векторных аргументах.

      Далее будем обозначать естественную свёртку угловыми скобками: . Здесь — двойственный вектор в , а — вектор в . Повторюсь, что это лишь вычисление линейной формы как функции от вектора . Но так как функции это векторы, а двойственные векторы — линейные функции, эта операция имеет свойства произведения.

      Вышеприведённая формула выглядит вот так в новой нотации с угловыми скобками:

      Обратите внимание, что теперь эта операция выглядит «всего лишь» как навешивание дистрибутивного атрибута, чем она и является.

      Двойственный базис

      Вышеупомянутую конструкцию можно использовать для определения канонического базиса для данного базиса . Конкретнее, нам нужно сделать числа координатами ковектора в некотором базисе, так же как являются координатами в базисе пространства . Этого можно достичь определением двойственных базисных векторов при условиях:

      и аналогичных для . Все девять условий можно записать кратко:

      Этот двойственный базис существует и единственный для заданного базиса в .

      Геометрически, двойственный базис состоит из линейных форм, которые отмеряют расстояние вдоль каждой из осей, а поверхности уровня этих линейных форм параллельны всем остальным осям. Они не обязаны быть перпендикулярными оси, которую отмеряют. Это происходит, только если базис ортонормированный. Это свойство сыграет важную роль ниже.

      Вот пара примеров векторных базисов и соответствующих им двойственных базисов:
      image

      А вот пример разложенной по базису линейной формы :
      image

      Возьмём двойственный базис из определения выше и выразим двойственный вектор и вектор через соответствующие базисы. Тогда естественная свёртка скукоживается до скалярного произведения:

      Преобразования двойственных векторов

      В предыдущей статье мы видели, что хотя векторы и бивекторы кажутся структурно одинаковыми (у обоих по три компоненты в трёхмерном случае), они имеют различный геометрический смысл и поведение при преобразованиях, в частности, при масштабировании.

      Двойственные векторы становятся третьим примером в этом классе объектов! Двойственные векторы тоже «вектороподобны» (подчиняются аксиомам векторного пространства), структурно схожи с векторами и бивекторами (состоят из трёх компонент в 3D), но имеют другой геометрический смысл (линейные формы). Так давайте же посмотрим на поведение двойственных векторов при трансформациях!

      Двойственные векторы — это линейные формы, то есть функции. Как преобразовать функцию?

      Можно вообразить это так: значения функций идут вместе с аргументами из области определения. Вообразите, что каждая точка в области определения помечена значением функции. Применим преобразование к точкам: они куда-то передвинутся и перенесут с собой свои метки. (А ещё это можно вообразить как преобразование графика функции, понимаемого как набор точек в пространстве на размерность выше).

      Более формально: пусть на векторы действует матрица , и эту же матрицу нужно применить к функции , чтобы получилась новая функция . Для этого нужно лишь чтобы от преобразованного вектора равнялась от исходного вектора:

      Иными словами, функцию можно преобразовать, соорудив новую функцию которая применяет обратное преобразование к своему аргументу и подаёт его в исходную функцию.

      Заметим, что это работает только для обратимых . В противном случае наша картинка про «перенос значений функции вместе с аргументами» рассыпается: необратимая может схлопнуть несколько различных точек области определения в одну.

      Однородное масштабирование

      Теперь, когда мы понимаем как преобразовать функцию, давайте посмотрим на однородное масштабирование. Возьмём коэффициент , тогда вектор будет отображаться как . Тогда функции будут преобразованы как согласно предыдущему разделу.

      Давайте теперь посмотрим на это с точки зрения двойственного вектора, а не функции. Если для некоторого вектора , то что произойдёт при масштабировании в раз?

      Я всего лишь переместил множитель с одной стороны угловых скобок на другую, что допустимо, так как угловые скобки билинейны. Итак, мы показали что двойственный вектор преобразуется следующим образом:

      Это интересно! При масштабировании вектора в раз, двойственный вектор масштабируется как . В предыдущей статье мы оправдали назначение единиц «площади» и «объёма» бивекторам и тривекторам через их поведение при масштабировании. Следуя этому принципу заключим, что двойственные векторы несут единицы, обратные длине!

      Фактически, двойственные векторы представляют ориентированные линейные плотности. Они предоставляют инструментарий для количественных рассуждений о ситуациях, когда нечто скалярное (например, количество текселей, прозрачность, изменение электрического напряжения/температуры/давления) распределено вдоль какого-то измерения в пространстве. При свёртывании двойственного вектора с вектором (то есть при вычислении линейной формы над вектором), вы по сути спрашиваете «какое количество этого «нечто» данный вектор охватывает?»

      При масштабировании мы сохраняем количество «нечто». Если масштабирование увеличивает, плотность уменьшается, потому что одинаковое количество чего-либо теперь распределяется на большее расстояние, и наоборот. Это свойство воплощается в обратности масштабирования двойственных векторов.

      Сдвинутый двойственный вектор и обратное транспонирование

      Мы рассмотрели как однородное масштабирование обращается при применении к двойственным векторам. Теперь мы могли бы изучить неоднородное масштабирование, но так получается, что оно не очень интересно — как вы и могли подумать, оно всего лишь применяется как масштабирование на обратную величину к каждой из осей. Куда более показательным будет изучение сдвига.

      Для этого нам будет достаточно двумерного случая. Для примера возьмём преобразование, которое немного наклоняет ось в сторону :

      Вот как это выглядит:
      image
      А что произойдёт если применить это преобразование к двойственному вектору? Визуально всё понятно: изолинии линейной формы наклонятся вслед за сдвигом.

      Но как это выразить в виде матрицы, действующий на координаты двойственного вектора? Давайте присмотримся к компоненте . Заметим, что преобразование не повлияло на ось — она отобразилась сама в себя. Но что насчёт ?

      Компонента изменяется этим преобразованием, потому что изолинии приобретают наклон! Иными словами, несмотря на то, что расстояния вдоль оси не изменились, «отслеживает» что делают другие оси, потому что ей надо оставаться параллельной этим осям. Это одно из определяющих условий, на которых работает двойственный базис.

      Строго говоря, здесь переходит в . Доводя дело до конца, мы увидим, что вся матрица, применяемая к координатам двойственного вектора, имеет вид

      А это и есть обратная транспонированная !

      Прослеживается некоторая аналогия эффекта обратной транспонированной матрицы, рассмотренной здесь, с воздействием присоединённой матрицы на бивекторы из предыдущей статьи. Как и с бивекторами, каждый элемент двойственного базиса следит за тем, что происходит с другими осями (чтобы сохранять параллельность им), но так же масштабируется на обратную величину вдоль своей оси. Определитель соответствует совокупному масштабированию по всем осям:

      Отсюда мы можем перейти к

      что соответствует соотношению между обратной транспонированной и присоединённой матрицами.

      Здесь я проделываю очень нестрогий трюк, потому что хорошая геометрическая демонстрация заведёт нас в ещё большие дебри, а такой способ даёт хоть немного интуитивного понимания почему обратную транспонированную матрицу правомерно применять к двойственным векторам.

      Так что же такое вектор нормали?

      Ранее мы увидели, что поверхности уровня линейной формы — это параллельные линии в 2D или плоскости в 3D. Отсюда следует, что мы можем определить плоскость, взяв определённую поверхность уровня данного двойственного вектора:

      Двойственный вектор выступает как знаковое поле расстояний плоскости.

      Так же мы увидели, что если выразить естественную свёртку в терминах базиса и соответствующего ему двойственного базиса, то она превратится в скалярное произведение . После чего уравнение выше становится обычным уравнением плоскости:

      Отсюда видно, что координаты двойственного вектора в двойственном базисе так же являются координатами вектора нормали в стандартном векторном базисе.

      Итак, векторы нормали можно интерпретировать как двойственные векторы в двойственном базисе, поэтому они преобразуются обратной транспонированной матрицей.

      Но постойте. В предыдущей статье я сказал, что нормали надо понимать как бивекторы, а потому их надо трансформировать присоединённой матрицей, не так ли? Как правильно то?

      Мне кажется, на этот вопрос нет единственного правильного ответа. Идея «нормального вектора» слишком расплывчата, и её можно оправдано формализовать как через бивекторы, так и через двойственные векторы. Как было показано, оба способа преобразования эквивалентны в смысле ориентации: и бивекторы и двойственные векторы остаются перпендикулярными определяющей их плоскости, следуя условиям или соответственно. Различаются они только единицами измерения и реакцией на масштабирование: бивекторы это площади и объёмы, а двойственные векторы — это обратные длины.

      Это всё что я хотел рассказать о преобразованиях нормальных векторов, но ещё несколько вопросов остались в подвешенном состоянии. В конце первой части я задавал вопрос об отрицательных степенях масштаба. Теперь у нас есть минус первая степень, но что насчёт -2 и -3? Чтобы это понять, нам придётся скомбинировать внешнюю алгебру и двойственные пространства, чем мы и займёмся в третьей части.

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *