16 |
ГЛ. I. ОСНОВНЫЕ п о н я т и я |
элементы классов X и У. Аналогично класс XX строится по эле менту Хх, где х е X. Эта линейная система называется фактор- системой Е/М линейной системы Е по линейному многообра зию М. При переходе к фактор-системе все элементы каждого класса смежности отождествляются и рассматриваются как один новый элемент.
С помощью понятия фактор-системы решается следующая за дача: дано произвольное множество символов {еа}. Требуется отождествить эти символы с элементами некоторой линейной системы так, чтобы элементы <Sa удовлетворяли заданной си стеме линейных соотношений
2и& *в = е |
( р е я ) |
(р.Р отличны от нуля лишь для |
конечного числа а). По множе |
ству {еа} строится свободная линейная система Е. В ней рас сматривается линейное многообразие М всех линейных комби
наций, составленных из элементов 2(j£ ea (Ре £)- |
Пусть Ei = |
|
= Е/М и |
— класс, содержащий элемент еа ^ Е . |
Тогда соот |
ветствие еа ‘->е?а решает поставленную задачу. При этом суще ственным является то, что между элементами <Sa не будет ника ких линейных соотношений, кроме заданных и получающихся из них линейными комбинациями. (Если заданных соотношений «слишком много», то система £4 может состоять только из 0).
Л и т е р а т у р а : [27], [29], [30], [39], [78].
4. Произведения линейных систем. По двум заданным ли нейным системам Е и F различными способами можно строить линейную систему G так, чтобы каждой паре элементов i e £ и и е £ отвечал бы некоторый элемент из G, называемый произве дением х и и. Самый простой способ состоит в рассмотрении формальных символов хи (х <= Е, и е F) и построении по ним свободной линейной системы G. Однако получающееся при этом произведение хи не обладает никакими алгебраическими свой ствами, при построении G алгебраические операции в Е и F никак не учитываются. «Разумные» определения произведения получаются, если потребовать, чтобы эта операция удовлетворяла определенным алгебраическим соотношениям. Этого можно до биться, производя факторизацию G по некоторым линейным многообразиям, как это описано в предыдущем пункте.
1 ) |
Пр я мое п р о и з в е д е н и е . Факторизация G произво |
|||
дится по многообразию М, состоящему из всех линейных ком |
||||
бинаций элементов вида |
|
|
||
или |
х,«1 + х2и2 — (х}-j- х2) (и, + |
и2) |
||
(A,X|) (Я«() — К{хи «,) |
(х( е=Е, |
U(^F). |
||
|
||||
§ 1. ЛИНЕЙНЫЕ СИСТЕМЫ |
17 |
Оказывается, что каждый класс смежности при этом содержит один и только один элемент хи и поэтому обозначается {х, и). Алгебраические операции над классами определяются равен ствами
{Х[у U]} "4" {-^2> ^2} === {^1 ”1“ Х2>^1 ”1“ ^2}» Я {Х(>
Под прямым произведением £ X F линейных систем Е и F и
понимают совокупность пар fcu} ( n e E . u e f ) , для которых алгебраические операции определены указанным выше способом.
Совокупность Е' элементов вида {х, 0} может быть отожде
ствлена с системой Е, |
а совокупность F' элементов вида {0, и)— |
с системой F. Тогда Е X F является прямой суммой Е' и F'. Если |
|
Е и F конечномерны, |
то размерность E y F равна сумме раз |
мерностей Е и F.
Аналогично определяется прямое произведение конечного числа линейных систем.
2) Т е н з о р н о е п р о и з в е д е н и е . Факторизация G про изводится по многообразию Mi, состоящему из всех линейных комбинаций элементов вида
х{щ + x2«i — (*i + |
х2) Щ, Х1Щ+ |
х{и2 — Xi (ы, + и2), |
\{ххщ) — {Ххх)щ, |
Я (x^i) — Xi (Ли,) |
( ^ е £ , |
Класс, отвечающий элементу хи, обозначается через х<8>и. Однако теперь такого вида классы не исчерпывают всю сово
купность классов смежности. Любой класс смежности предста-
k
вим неоднозначно в виде 2 xt ® «г (*г- ^ Е, щ e f , k =
«=1
= 1, 2, ...). Справедливы соотношения
xi + х2) ® щ = Xi ® «1 Ч- х2®щ, Xi ® (ы, + и2) — Xi ® «1 + хх® ы2,
Я (х! ® «,) = (Ях,) ® ил = хх® (Яи,).
Полученная линейная система называется тензорным произ ведением E®F линейных систем Е и F.
Пусть £ и F конечномерны, |
{ег}" и {ffc}J" — базисы |
в этих |
пространствах. Тогда элементы |
(i— \ ........ п, k = \, |
..., m) |
образуют базис в E®F, размерность E<B>F равна пт. |
|
|
Аналогично определяется тензорное произведение конечного числа линейных систем.
3) В н е ш н е е п р о и з в е д е н и е . Пусть линейные системы Е п F совпадают. К многообразию Mi, рассмотренному в 2), до бавляются еще элементы вида хх ( х е £ ) и их линейные комби нации с элементами Mi. Фактор-система по полученному мно гообразию М2 называется внешним произведением Е Л Е . Клас сы смежности, отвечающие элементам ху, обозначаются х А у,
18 |
|
ГЛ. |
I. ОСНОВНЫЕ понятия |
|
|
|
||
|
|
|
|
|
k |
|
|
|
Любой |
класс смежности представим |
в виде 2 |
** А Уь(**, y i ^ E , |
|||||
k = \ , |
2, ...). Произведение х Л у , |
кроме |
свойств тензорного |
|||||
произведения, обладает еще свойством |
|
|
|
|
||||
|
|
|
х А У = — у Л х |
|
|
|
|
|
и, в частности, х А х = |
0. |
|
|
|
|
|
||
Если Е конечномерно с базисом {е$\, |
то |
базисом |
в |
Е А Е |
||||
будет служить система элементов вида eiAej |
( / < / ) . |
Размер |
||||||
ность Е А Е равна |
п(п — 1)/2. |
|
|
|
|
|
||
Аналогично определяется внешнее произведение |
|
|
||||||
|
|
£ (г)— Е А Е А ... АЕ. |
|
|
|
|||
Его элементами |
будут |
формальные |
суммы |
элементов |
вида |
|||
А х2А .:. А хт (Х{ е £). Произведение Xi А х2 А . • • А хг адди тивно и однородно по каждому множителю при фиксированных остальных и равно нулю, когда какие-либо два множителя оди наковы. Как следствие получается, что произведение Xi А х2А . ..
... А |
хг |
равно |
нулю тогда и только |
тогда, когда |
элементы |
||||||
Хи х2, |
..., хг линейно зависимы. |
|
|
|
|||||||
|
Если Е конечномерно с базисом {еЦ", |
то Е(г} — 0 при г > п. |
|||||||||
Если г ^ .п , то базисом |
в £ (г) будет служить система |
элементов |
|||||||||
вида et |
A е*2 А |
•. • |
Л ei |
, |
где |
ii < i2< |
... < ir. Если |
элементы |
|||
xh |
(k = |
l , ..., |
г) |
имеют |
в |
базисе {е*} |
координаты %h (i = |
||||
= |
1, |
2, |
. . . , п), то координата м- |
. |
элемента xi А х2 А ... |
||||||
... Л хг, |
отвечающая элементу |
базиса |
е* Л £/2 Л • • • |
А е* , есть |
|||||||
минор порядка г матрицы Ягл, составленный из строк этой ма
трицы с номерами iu i2 |
ir. |
Д и т е р а т у р а : [23], [25], |
[56], [78]. |
5. Выпуклые множества. Под отрезком, определяемым эле ментами х и у линейной системы, понимается совокупность всех элементов вида о а + ( 1 — а)у, где O ^ a ^ l . Множество S линейной системы Е называется выпуклым, если оно целиком содержит отрезок, определяемый любыми двумя его элемен тами. Простейший пример выпуклого множества представляет собой любое линейное многообразие М а Е .
Для произвольного множества S а Е существует наименьшее
выпуклое множество S, содержащее S, называемое выпуклой оболочкой множества S. Выпуклая оболочка S состоит из
|
§ 2. ЛИНЕЙНЫЕ ТОПОЛОГИЧЕСКИЕ ПРОСТРАНСТВА |
|
19 |
|||||||
всевозможных элементов вида |
|
|
|
|
|
|
||||
|
|
|
* |
2 |
|
®kxky |
|
|
|
|
|
п |
|
|
k~i |
|
|
|
|
|
|
|
|
|
|
п — любое натуральное число. |
||||||
где ak > 0 и 2 а* = 1» |
xk^ S , |
|||||||||
|
k~\ |
|
|
|
|
|
|
|
|
|
Множество 5 называется уравновешенным, если для любого |
||||||||||
x e S |
и |Л-1^ 1 элемент ЯхеМ. |
Выпуклое |
уравновешенное |
|||||||
множество называется абсолютно выпуклым. |
|
каждого |
||||||||
Множество 5 |
называется |
поглощающим, если для |
||||||||
: Е существует |
р > |
такие, |
|
|
Вводится |
функция |
||||
|
р{х) = |
inf |
|
р |
(хеЯ ). |
|
|
|
||
|
|
|
Р>0, 4-xsS |
|
|
|
|
|||
|
|
|
|
Р |
|
|
|
|
|
|
Если |
множество |
5 — абсолютно |
|
выпуклое и |
поглощающее, |
то |
||||
р(х) |
обладает свойствами: |
|
|
|
|
|
|
|
||
1) |
р(Хх) = |Х|р(х) для всех X й х е Е\ |
|
|
|
||||||
2) |
р(х + У ) ^ Р{х) + Р(У) Для всех х, у е £ . |
|
или |
|||||||
Функция со свойствами |
1), |
2) |
называется |
полунормой |
||||||
преднормой. Полунорма, построенная по абсолютно выпуклому поглощающему множеству, называется его калибровочной функ цией или функционалом Минковского.
Л и т е р а т у р а : |
[5], [27], [30], [51], [56]. |
§ 2. Линейные |
топологические, метрические, нормированные |
ибанаховы пространства
1.Линейное топологическое пространство. Линейное тополо гическое пространство является сложной структурой. Порож дающие ее структуры — линейная система и топологическое про странство. В понятии топологического пространства отражены свойства, связанные с интуитивными понятиями окрестности, предела и непрерывности в обычном евклидовом пространстве.
Влинейном топологическом пространстве обе структуры связа ны между собой. Эта связь отражает свойства непрерывности
алгебраических операций над векторами в евклидовом прост ранстве.
В функциональном анализе в основном изучаются бесконеч номерные линейные топологические пространства, которые на ряду со свойствами, общими с евклидовым пространством, имеют ряд качественно новых свойств.
Пусть ZT— линейная система, наделенная отделимой (хаусдорфовой) топологией, задаваемой системами окрестностей {Vx}
20 |
ГЛ. I. ОСНОВНЫЕ п о н я т и я |
( х е £ ) |
*). Множество Е называется линейным топологическим |
пространством, если алгебраические операции непрерывны в то
пологии £, т. е.: |
|
|
|
1) для |
каждой пары элементов х, у ^ Е и окрестности Vx+y |
||
элемента |
х + у найдутся окрестность Vx элемента х |
и окрест |
|
ность Vy элемента у такие, что |
|
||
|
Vx + Vy<=Vx+tfi |
|
|
2) каковы бы ни были элемент х е £, число А и окрестность |
|||
V^x элемента А*, найдутся |
окрестность Vx элемента |
х и число |
|
6 > 0 такие, что |
|
|
|
|
V-Vx <=-V%x |
при ||Д, —Я| <б . |
|
В линейном топологическом пространстве задание системы {Vea)} окрестностей нуля полностью определяет топологию этого пространства — любая окрестность К*а) элемента х получается
из некоторой окрестности нуля Vea) путем ее «сдвига» на эле мент х:
V(xa) = xA -V ea\(
Всякая окрестность нуля является поглощающим множест вом. В ней содержится уравновешенная окрестность нуля.
Простейшим примером линейного топологического простран ства является конечномерное евклидово пространство Rn с обыч ной топологией.
Д р у г и е п р и м е р ы л и н е й н ы х т о п о л о г и ч е с к и х
п р о с т р а н с т в . |
|
|
|
|
|
|
|
|
||||
а) |
|
В линейную систему А всех комплексных последователь |
||||||||||
ностей |
(см. пример б) § 1) топологию вводят с помощью систе |
|||||||||||
мы окрестностей следующим образом: окрестностью |
элемента |
|||||||||||
= |
|
^2» •••» |
Ъ°п> •••} |
называется |
совокупность, содержащая |
|||||||
все элементы |
х =Ц и £г,. . . , £п».. }, |
координаты которых |
удов |
|||||||||
летворяют условию |
|
|
|
|
|
|
|
|
||||
|
|
|
|
у |
1 |
11» —6» I |
< 8, |
|
|
|
||
|
|
|
|
nt t |
2" i + U“ - i „ | |
|
|
|
||||
|
|
|
|
|
|
|
|
|||||
*) |
Система |
$tx |
подмножеств |
Vx |
называется системой |
окрестностей |
||||||
точки |
х |
при выполнении условий: |
а) x ^ V x |
для любой Vx ^ $ l x; |
б) если |
|||||||
V е У1Х\ |
и |
|
то |
|
|
|
в) |
если Vx ^ ^ x |
и |
У |
Vx, то |
|
г) если |
1/х аШ х, то существует |
Vx ^ ^ x такое, что |
и х ^Щ>у для |
|||||||||
любого |
y ^ V x. |
Топология, |
задаваемая |
системами окрестностей |
(jс е £ ) , |
|||||||
называется отделимой, если |
любые две |
различные точки Е имеют непере- |
||||||||||
секающиеся окрестности. |
|
|
|
|
|
|
|
|
||||