Материал: Функциональный анализ

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

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с е £ ) ,

называется отделимой, если

любые две

различные точки Е имеют непере-

секающиеся окрестности.

 

 

 

 

 

 

 

 

Источник: https://studfile.net/preview/19992813/

Смотрите также: