Главная страница » Что такое сопряженное пространство

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

  • автор:

40.Пространство линейных функционалов (сопряженное пространство).

Линейный функционал — функционал, обладающий свойством линейности по своему аргументу:

где — линейный функционал,

и — функции из его области определения, — число (константа).

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

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

Как и вообще термин ‘функционал’, термин ‘линейный функционал’ употребляется и вообще для аргументов из векторных пространств — в смысле линейного отображения из какого-то векторного пространства в его пространство скаляров, то есть — в этом употреблении — его аргументом может быть не обязательно функция.

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

Одним из важнейших примеров линейного функционала служит скалярное произведение с фиксированной функцией (элементом пространства):

(может быть также использовано интегрирование с весовой функцией).

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

Лине́йным отображе́нием векторного пространства LK над полем K в векторное пространство MK (лине́йным опера́тором из LK в MK) над тем же полем K называется отображение

,

удовлетворяющее условию линейности

f(x + y) = f(x) + f(y),

fx) = αf(x).

для всех и .

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

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

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

Свойства

В конечномерном случае сопряжённое пространство E * имеет ту же размерность, что и пространство E.

Если пространство E евклидово, то есть на нём определено скалярное произведение, то существует канонический изоморфизм между E и E * .

Если пространство E гильбертово, то по теореме Рисса существует изоморфизм между E и E * .

В конечномерном случае верно также, что пространство, сопряжённое к сопряжённому E * * , совпадает с E (точнее, существует канонический изоморфизм между E и E * * ).

Обозначения

В конечномерном случае обычно элементы пространства E обозначают вектором-столбцом, а элементы E * — вектором-строкой. В тензорном исчислении применяется обозначение x k для элементов E (верхний, или контравариантный индекс) и xk для элементов E * (нижний, или ковариантный индекс).

41.Определение преобразования, сопряженное к данному преобразованию

42.Матрица сопряженного преобразования.

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

Матрица сопряженного преобразования A* получается из матрицы преобразования A в ортогональном базисе переходом к транспонированной и комплексно сопряженной матрице

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

Попытка прямо применить вышеприведённое определение в случае бесконечномерных линейных пространств приводит к неконструктивным и малополезным алгебраически сопряжённым пространствам. Для важного случая топологических линейных пространств рассматриваются топологически сопряжённые пространства, состоящие только из непрерывных функционалов. Однако, для топологического линейного сопряжения, пространство, сопряжённое к сопряжённому, вообще говоря, с исходным не совпадает. Пространства, для которых E ∗ ∗ = E <\displaystyle E^<**>=E> называются рефлексивными — только для них, строго говоря, можно употреблять термин двойственное пространство.

Комплексно-сопряжённое пространство

Термин сопряжённое пространство может иметь иное значение для линейных пространств над полем комплексных чисел: пространство E ¯ <\displaystyle <\bar >> , совпадающее с E <\displaystyle E>как вещественное линейное пространство, но с другой структурой умножения на комплексные числа (см. en:Complex conjugate vector space):

При наличии в пространстве гильбертовом пространстве) линейно- и комплексно-сопряжённые пространства совпадают.

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

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

Содержание

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

Пространство всех линейных функционалов, определённых на линейном пространстве 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><div class='code-block code-block-7' style='margin: 8px 0; clear: both;'>
<!-- 4kakzarabotat -->
<script src=

Векторное пространство — У этого термина существуют и другие значения, см. Пространство. Векторное (линейное) пространство  основной объект изучения линейной алгебры. Содержание 1 Определение 2 Простейшие свойства … Википедия

Линейное пространство — Линейное пространство, или векторное пространство основной объект изучения линейной алгебры. Содержание 1 Определение 2 Простейшие свойства 3 Связанные определения и свойства … Википедия

Lp (пространство) — У этого термина существуют и другие значения, см. LP (значения). (также встречается обозначение ; читается «эль пэ»; также Лебеговы пространства)  это пространства измеримых функций, таких, что их я степень интегрируема, где .  … … Википедия

Симплектическое пространство — Симплектическое пространство  это векторное пространство S с заданной на нём симплектической формой , то есть билинейной кососимметрической невырожденной 2 формой … Википедия

Конечномерное пространство — Конечномерное пространство  это векторное пространство, в котором имеется конечный базис порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система… … Википедия

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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