Файл: Земанян А.Г. Интегральные преобразования обобщенных функций.pdf

Пусть

% u ffl

— линейные пространства.

Оператором

(или

операцией

,

отображением) из % в Ѵ'

называется пра­

или%

вило 52, по которому каждому

элементу

из

некоторого

подмножества

ставится

в соответствие

один

(и только

одни) элемент в

V".

Множество элементов в

%,

па которых

правило‘

51

определено,

называется

областью определения

51

и обозначается через

d

(52). Множество

всех

элементов

в

Р',

которые

получаются в

результате

применения 51

к

элементам

d

(52),

называется%

областью

изменения

V",

%,

отобра52­

и обозначается

через

г

(52).

Если

d

(51)

=

то говорят,

что 51 — отображение (всего)

в

или что 5?

жает % в V .

Если

г

(52)

=

W ,

то 5?

называется

отображе­

нием

из % на V .

В качестве

обозначенийг

этого соответ­

ствия

используют

запись

о|э =

52ср

и л и

52: ср

>->■

тр,

и л и

просто

ср

>->■

г|),

где

cp

d

(52)

и с|э ее

(51).

%

Может случиться, что более52чемср

один520

элемент

ото­

ср

бражается в один и тот же элемент

однако если этого

52не происходит

(т.

е.

если

из

=

следует%

W',= Ѳ),

тообратноеотображениеотображениеназывается52_1

взаимно

однозначным.

Если

V

%

из

в

— взаимно

однозначное

отображение

то

ср

6

d (52),

из

52срв

— это просто прави­

ло, относящееср 52“ 1ij)каждому.

яр ЕЕ

г (52)

тот единственный эле­

мент

Е

=

для

которого

=

яр;

тогда

мы будем

писать

V

линейным

d

%

Оператор 52

из линейного

пространства

в линейное

пространство%)

называется

d

, если

(52) — линей­

ное пространство (т. е. линейное подпространство

%

или

само

и для

всех ср, Ѳ ЕЕ

(52) и любых а ,

ß Е

52 (аср

-f-

ß0)

=

а52ср +

ß520.

Следовательно,

линейный оператор 52 из

%

в

V"

отображает

начало

координат

%

в начало координат

W .

Кроме того,

52

область значений

образует

линейное

подпространство

в

V 1

или совпадает с

V .

Если в дополнение к этому опера­

тор 52 взаимно однозначен,

то

обратный

ему

оператор

52'1 также линеен% (докажите

последние

два

утвержде­

ния).

Ѵ*

%

—некотороймультинормированныеточке %,

про­

Пусть теперьнепрерывными

в

странства

и 52 — отображение

в

Отображение 52

называется

%,

ср £Е

если

для любой

окрестности

Л

элемента

52ср в

GIT

существует

такая окрестность Q

элемента

ср

в

что 52ф ЕЕ Л,

когда

ф €Е Q. Отображение 91 непрерывно,

если оно

непрерывно

в каждой точке

%.

Мы уже видели, что линейное отображе­

ние

Sft

пространства

%

в

непрерывно

в том и только

в том

случае, если оно непрерывно

в

начале

коорди­

%.

Пустъ

линейное

отображение

Л е м м а

1.10.1.

92 —

мулътинормированногонат

пространства % в мулътинорми-

рованное пространство W',

пустъ S

и R

мулътинормы

для % и

соответственно. Для того чтобы отображение

было

непрерывным,

необходимо

и

достаточно,

чтобы

—

каждой

полунорме

соответствовало конечное число

полунорм92

. .,

n Е

й и

такое

положительное число С ,

что для

Ѵи .

7

всех

р Е й

или,

что

ф Е ^

С

max

(^ (cp), . . .,

уп

(cp)}

р (92<р)

<

эквивалентно

предыдущему

неравенству,

Р

(Stop)

<

С

[ у і

(ср)

+ .

. .

у+п (ср)].

Доказательство этой леммы почти полностью совпадает

с доказательством леммы 1.6.3.

В данном случае шары

А

берутся8.1

V ,

а шары

В

и

В к

— в

%.

в1 8.2

доказательствах1

лемм

1

.

Незначительное

изменение

в

и

. V ) .

приводит

к

следующему

результату

(при

замене окрестностей в комплексной плоскости fé

окрест­

Л е м м а

1.10.2.

Отображение

92

счетно-мулътинор-

мироеанногоностями в

пространства % в мулътинормированное про­

странство

V

непрерывно

тогда

и

только

тогда,

когда

92фѵ —»- 92ср

в V

при

срѵ —>- ср

в %. Кроме того,

если

допол­

92

нительно

предположитъ,

что

линейно,

то оно непрерыв­

0

в

%.

если

92%срѵ

V

0

в ІД при

но в том и только

в том случае,

и

фѵ

Мультииормироваиные пространства

называются

изоморфными,

если

существует

такое

взаимно однознач­

%

V ,

ное непрерывное линейное

отображение

92

пространства

на

что обратное отображение 92_1 непрерывно и ли­

нейно

отображает

V

на

%.

В

этом

случае

92

называется

изоморфизмом % на СД\

если в дополнение к сказанному

выше

% — V*,

то

92 называется

автоморфизмом

на %.

Коль скоро речь идет о линейных операциях и топо­

логиях, мы можем заменятьW

мультинормированное% V

про­

странство

%

изоморфным пространством

W .

Например,

если 92 — изоморфизмѣ на

и если

полно, то

также

должно быть полным.

Аналогично,

непрерывный

линей­

Пусть,

далее,

% =

СО

%т —

счетное

объединение

[j

т=і

пространств,

порожденное

последовательностью

{%т)т=\

^ —

счетно-мультинормированных% V ,

пространствнепрерывным; пусть,

мультинормированпое пространство. Оператор 31, ото­

бражающий

в

называется

%т.

если

он

непрерывен

на

каждом

пространстве

Из

леммы

1.10.2

мы получаем, что 31

непрерывен тогда

и

только

тогда,

когда

31фѵ — 31ф в

V ',

если последовательность

{фѵ}Г=!

сходится в

%

к ф.

Кроме того,

если 31

линеен,

то

он непрерывен в том и только в том случае, когда 31фѵ —>-

0

в

Ѵ',

если последовательность

{фѵ}^=і сходится

в

%

к

нулю.

%

%

^

Пусть,

наконец,

V 7, и

— счетные объединения про­

странств; оператор 31 из

в

называется непрерывным,

если 31фѵ -э- Зіф в

когда последовательность {фѵ}

сходится0 в і к ф . Здесь мы снова видим,

что если оператор

31 линеен, то он непрерывен

тогда и только тогда, когда

31фѵ

для

любой

последовательности

{фѵ},

сходя­

щейся

в % к

нулю.

Все

эти определения непрерывности

нормированным,

в другие такие

же пространстваѴ "

. , С дру­

гой

стороны, если

%

и

2

объединения

нрост-

^ — счетные

странств, то оператор 32, отображающий

в

назы­

вается

2

,

если

31/ѵ — 32/

в

,

когда

/ѵ — /

??".

непрерывным

в

Здесь снова легко видеть, что линейный оператор 32,

отображающий ?" в %',

непрерывен тогда п только тогда,

когда 32/ѵ - + 0 в Щ '

при /ѵ

0

в Г .

Изоморфизм

опре­

деляется

так же, как н раньше.

%

W

Обратимся теперь к понятию сопряженного оператора.

Предположим, что оба пространства,

н

, — счетно-

мультннормированные

или

оба — счетные

объединения

пространств,

и 31 — непрерывное

линейное

отображение

% ъ Ѵ'.

Определим

сопряженный

оператор

32'

на

сопря­

женном

2

формулой

пространстве

?"

(1)

<32'/,

Ф> =

</, % > ,

где / е У '

и ср пробегает все

%.

Здесь

32ср принадлежит

2^,

так что правая часть имеет смысл. Равенство (

1

) опре­

деляет 32'/ как функционал

на

%;

именно,

32'/ есть тот

функционал

на

%,

который

каждому

элементу

ср ЕЕ

%

ставит в соответствие то же самое

число,

какое.

функцио­

нал / ЕЕ

V '

относит элементу 32ср ЕЕ

V .

Действитель­

Функционал 32'/ является элементом

но,

для

любых

ср, ф е=

%

и а , р Е

<32'/, «ф +

Р Ф ) =

< /,

32 (аср +

Рф)> =

< /,

а32ср +

р32ф> =

=

а < /,

32ср> +

ß < /,

32ф> =

а <32'/,

Ф> +

Р <92'/, Ф>,

Далее,

пусть

{срД^ сходится в

%

к пулю.

Тогда

при

V —V оо

32срѵ —»-

0

в

2

^ и

=

</,

32срѵ)

- > 0 .

Следовательно,

<32'/, Фѵ>

функцио­

32'/ — непрерывный

линейный

нал Vна"

%.

%'.

оператор 32' осуществляетс&х.

отображе­

Таким

образом,

ние

в

Мы докажем теперь, что 32'

линеен и непре­

рывен.

Пусть

ср £

%, /,

g е

ß 2*"'

п а ,

Р Е

Тогда

<32' (а /

+

P g ),

ср> =

< а /

+

g,

32ср>

=

а

</,

32ср> +

ß < g , 32

=

а <917 . Ф> +

Р <92'g ,

Ф>

=

<а32'/

+

ß32'g,

и, следовательно, оператор 32' липеен% 2.

допу­

Чтобы

показать,

что оператор 32' непрерывен,

стим сначала, что оба пространства

и ^ — счетно-муль-

тинормированные.,

Для

фиксированного ср GE

%

абсолют­

ная величина левой части (

1

) есть значение некоторойV ■

полунормы на

в то время как абсолютная величина

правой

части

(1) — это

значение полунормы

на

По­

этому непрерывность

91'

следует

прямо из леммы 1.10.1.

Предположим теперь, что

%

V*

— счетные объединения- * - 0 .

уи

пространств

и

пусть

/., ->■

-0

ов,

W .

Тогда

для

любого

cp е

%

<2ß'/v,

ф> =

</ѵ,

91ср>

так что 91'/ѵ

в

Следовательно, оператор 91' непрерывен.

Таким образом,

доказана

оба пространства % и V

Т е о р е м а

1.10.1.

Если

объединениями пространств

и

если оператор

осуще­

ствляет непрерывное линейное отображение % в V %то со­

пряженный

оператор

непрерывное

линей­

91'

определяет,

91

ное отображение

V "

в .

Результатом, тесно связанным с предыдущим, является

Т е о р е м а

1.10.2.

Если

оба

пространства % и W

счетно-мулыпипормированные

либо

оба

представляют

собой счетные объединения пространств и если

изо­

морфизм % на W , то

91'

определяет изоморфизм V "

на .

При этом

(9Г

)“1

91 —

= (91-1)'.

По определению изоморфиз­

Д о к а з а т е л ь с т в о .

ма 91 задает взаимно

однозначное

непрерывное линейное

отображение

%

на

Ѵ ',

причем

обратный

оператор 91_1

непрерывно и линейно отображает 2^на

%.

Теорема 1.10.1

бражение

в

%'

и что (9Г1)' осуществляет непрерывное

линейное

отображение

%'

V " .

вV .

Для любого /eE^0''

имеем

Пусть теперь ф = 9lcp GE

(91_1)'91'/ =

/,

поскольку

=

д э г 1)' 9і'/, ф >.

</, Ф> =

</, зіагч >

g,

Аналогично,

для

любого

g

e T

имеем 91' (9l-1)'g =

так как для

ср е

%

<g,

Ф> =

<g,

91_191ф> =

<9l'(9l- )'g, ср>.