Функция двух векторов, линейных по каждому аргументу
В математике билинейная карта — это функция , объединяющая элементы двух векторных пространств для получения элемента третьего векторного пространства и линейная по каждому из своих аргументов. Примером может служить умножение матриц .
Определение
Векторные пространства
Пусть и – три векторных пространства над одним и тем же базовым полем . Билинейное отображение — это функция![{\displaystyle V,W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B:V\times W\to X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w\in W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B_{w}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v\mapsto B (v,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
линейным отображением![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v\in V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B_{v}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w\mapsto B (v,w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Такое отображение удовлетворяет следующим свойствам.![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Для любого ,
![{\displaystyle \lambda \in F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B(\lambda v,w)=B(v,\lambda w)=\lambda B(v,w).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Карта аддитивна по обеим компонентам: if и then и
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v_{1},v_{2}\in V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w_{1},w_{2}\in W,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B(v_{1}+v_{2},w)=B(v_{1},w)+B(v_{2},w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B(v,w_{1}+w_{2})=B(v,w_{1})+B(v,w_{2}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если и мы имеем B ( v , w ) = B ( w , v ) для всех , то мы говорим, что B симметричен . Если X — базовое поле F , то отображение называется билинейной формой , которые хорошо изучены (например: скалярное произведение , скалярное произведение и квадратичная форма ).![{\displaystyle V=W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v,w\in V,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Модули
Определение работает без каких-либо изменений, если вместо векторных пространств над полем F использовать модули над коммутативным кольцом R. Он обобщается на n -арные функции, где собственный член является полилинейным .
Для некоммутативных колец R и S , левого R -модуля M и правого S -модуля N билинейным отображением называется отображение B : M × N → T такое, что T является ( R , S ) -бимодулем и для которого любой n из N , m ↦ B ( m , n ) является гомоморфизмом R -модуля, и для любого m из M n ↦ B ( m , n ) является гомоморфизмом S -модуля . Это удовлетворяет
- B ( р ⋅ м , п ) знак равно р ⋅ B ( м , п )
- B ( м , п ⋅ s ) знак равно B ( м , п ) ⋅ s
для всех m в M , n в N , r в R и s в S , а также B является аддитивным в каждом аргументе.
Характеристики
Непосредственным следствием определения является то, что B ( v , w ) = 0 X всякий раз, когда v = 0 V или w = 0 W . В этом можно убедиться, записав нулевой вектор 0 V как 0 ⋅ 0 V (и аналогично для 0 W ) и переместив скаляр 0 «снаружи», перед B , по линейности.
Множество L ( V , W ; X ) всех билинейных отображений является линейным подпространством пространства ( т.е. векторного пространства , модуля ) всех отображений из V × W в X.
Если V , W , X конечномерны , то и L ( V , W ; X ) тоже . То есть для билинейных форм размерность этого пространства равна dim V × dim W ( в то время как пространство L ( V × W ; F ) линейных форм имеет размерность dim V + dim W ). Чтобы убедиться в этом, выберите основу для V и W ; тогда каждая билинейная карта может быть однозначно представлена матрицей B ( e i , f j ) и наоборот. Теперь, если X — пространство более высокой размерности, мы, очевидно, имеем dim L ( V , W ; X ) = dim V × dim W × dim X.![{\displaystyle X=F,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Примеры
- Умножение матриц — это билинейное отображение M( m , n ) × M( n , p ) → M( m , p ) .
- Если векторное пространство V над действительными числами несет внутренний продукт , то внутренний продукт является билинейным отображением.
![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V\times V\to \mathbb {R}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- В общем, для векторного пространства V над полем F билинейная форма на V аналогична билинейному отображению V × V → F .
- Если V — векторное пространство с двойственным пространством V ∗ , то каноническое отображение вычисления b ( f , v ) = f ( v ) является билинейным отображением V ∗ × V в базовое поле.
- Пусть V и W — векторные пространства над одним и тем же базовым полем F . Если f является членом V ∗ и g является членом W ∗ , то b ( v , w ) = f ( v ) g ( w ) определяет билинейное отображение V × W → F .
- Перекрестное произведение представляет собой билинейную карту.
![{\displaystyle \mathbb {R} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{3}\times \mathbb {R} ^{3}\to \mathbb {R} ^{3}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Пусть — билинейное отображение, и — линейное отображение , тогда ( v , u ) ↦ B ( v , Lu ) — билинейное отображение на V × U .
![{\displaystyle B:V\times W\to X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L:U\to W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Непрерывность и отдельная непрерывность
Пусть и — топологические векторные пространства , и пусть — билинейное отображение. Тогда говорят, что b![{\displaystyle X,Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
раздельно непрерывен , если выполняются следующие два условия:
- ибо все отображение, заданное непрерывным;
![{\displaystyle x\in X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y\to Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y\mapsto b(x,y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- для всех отображение, заданное непрерывным.
![{\displaystyle y\in Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle от X\до Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\mapsto b(x,y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Многие отдельно непрерывные билинейные, которые не являются непрерывными, удовлетворяют дополнительному свойству: гипонепрерывности .
Все непрерывные билинейные отображения гипонепрерывны.
Достаточные условия непрерывности
Многие билинейные карты, встречающиеся на практике, по отдельности непрерывны, но не все из них непрерывны. Здесь мы перечислим достаточные условия непрерывности отдельно непрерывного билинейного отображения.
- Если X — пространство Бэра и Y метризуемо, то каждое отдельно непрерывное билинейное отображение непрерывно.
![{\displaystyle b:X\times Y\to Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если – сильные двойственные пространства Фреше , то каждое отдельно непрерывное билинейное отображение непрерывно.
![{\displaystyle X,Y,{\text{ и }}Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle b:X\times Y\to Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если билинейное отображение непрерывно в точке (0, 0), то оно непрерывно всюду.
Карта состава
Пусть – локально выпуклые хаусдорфовы пространства , а – композиционное отображение, определяемое формулой
. В общем случае билинейное отображение не является непрерывным (независимо от того, какие топологии заданы пространства линейных отображений). Однако мы имеем следующие результаты:
![{\displaystyle C:L(X;Y)\times L(Y;Z)\to L(X;Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C(u,v):=v\circ u.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Присвойте всем трем пространствам линейных отображений одну из следующих топологий:
- дать всем трем топологию ограниченной сходимости;
- дать всем трем топологию компактной сходимости ;
- дать всем трем топологию поточечной сходимости .
- Если — равнонепрерывное подмножество, то ограничение непрерывно для всех трех топологий.
![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle L (Y; Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C{\big \vert }_{L(X;Y)\times E}:L(X;Y)\times E\to L(X;Z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если — бочкообразное пространство , то для каждой последовательности, сходящейся к in , и каждой последовательности, сходящейся к in , последовательность сходится к in
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ left (u_ {i} \ right) _ {i = 1} ^ {\ infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle и}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L(X;Y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left(v_{i}\right)_{i=1}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle L (Y; Z),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ left (v_ {i} \ circ u_ {i} \ right) _ {i = 1} ^ {\ infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v\circ u}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Смотрите также
Рекомендации
Библиография
- Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. ОСЛК 840278135.
- Тревес, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра . Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1. ОКЛК 853623322.
Внешние ссылки