CC BY
33
УДК 517.98
Связь характеристик последовательности операторов с борнологической сходимостью
С. Н. Мишин
Кафедра геометрии и методики преподавания математики ГОУ ВПО «Орловский государственный университет» ул. Комсомольская, д. 95, 302026, г. Орёл, Россия
Рассматривается связь характеристик (порядка и типа) последовательности линейных непрерывных операторов со сходимостью относительно равностепенно непрерывной борнологии.
Ключевые слова: локально выпуклое пространство, порядок и тип последовательности операторов, равностепенно непрерывная борнология, борнологическая сходимость.
Введение
Понятие борнологии аналогично понятию топологии с заменой открытого множества на ограниченное. Теория топологических векторных пространств наиболее активно развивалась в 50-е гг. прошлого века и основные её направления были определены к 1957 г. Но, как оказалось, в ряде вопросов концепция топологического векторного пространства является слишком узкой, а рассмотрение наряду с топологией или вместо неё борнологии позволяет продвинуть решение конкретных задач.
Имеются многочисленные примеры, где без борнологий обойтись практически невозможно. Например, если Н — ненормируемое локально выпуклое пространство, £(Н) — алгебра линейных непрерывных операторов в Н, то на £(Н) не существует никакой а-топологии, при которой операция умножения была бы непрерывна. Также неизвестно ни одной а-топологии на £(Н), при которой множество обратимых элементов в £(Н) было бы открыто. С другой стороны, на £(Н) существуют естественные борнологии, где операция умножения ограничена, а множество обратимых элементов борнологически открыто.
В данной работе мы установим связь между порядком и типом последовательности линейных непрерывных операторов и борнологической сходимостью в пространстве £(Нх, Н2) всех линейных непрерывных операторов, действующих из локально выпуклого пространства Н1 в локально выпуклое пространство Н2.1
1. Необходимые сведения из борнологии
Пусть X — непустое множество. Говорят, что система В подмножеств множества X задаёт на X борнологию, если выполняются следующие условия:
1) объединение любых двух множеств из В принадлежит В;
2) любое подмножество любого множества из В принадлежит В;
3) любое одноточечное множество принадлежит В.
Статья поступила в редакцию 27 января 2010 г.
хКак известно (см. [1]), на пространстве £(Их, Н2) можно рассматривать различные борнологии и, соответственно, различные борнологические сходимости. В данной работе мы под борноло-гической сходимостью последовательности линейных непрерывных операторов (операторных рядов) в £(Нх, Н2) будем понимать сходимость относительно равностепенно непрерывной борнологии. Эта сходимость, очевидно, сильнее равномерной сходимости на всех ограниченных подмножествах в Их и, следовательно, сильнее поточечной сходимости.
X называется борнологическим множеством, а элементы семейства В — ограниченными.
Например, если Их, Н2 —линейные топологические пространства, £(Нх, Н2) — пространство линейных непрерывных операторов, то множество В всех равностепенно непрерывных семейств пространства £(Нх, Н2) задаёт на нем борнологию, называемую равностепенно непрерывной борнологией.
Отображение f : X ^ V называется ограниченным, если ограниченные в X множества оно переводит в ограниченные в V.
Множество X называется линейным (векторным) борнологическим пространством, если
1) X — линейное пространство;
2) X — борнологическое множество;
3) операции сложения и умножения на число ограничены.
Например, линейное пространство £(Нх, Н2) всех линейных непрерывных операторов, действующих из линейного топологического пространства Нх в линейное топологическое пространство Н2, является борнологическим относительно равностепенно непрерывной борнологии.
Пусть X — борнологическое векторное пространство, {жд} — обобщённая последовательность элементов этого пространства. Говорят, что {жд} борнологиче-ски сходится к нулю, если найдётся ограниченное множество М С X, такое, что для всякого £ > 0 существует Ао € Л, такое, что х\ € еМ, УА У А0. Говорят, что {жл} борнологически сходится к ж, если {жд — ж} борнологически сходится к нулю.
Последовательность {хп} С X называется последовательностью Коши-Макки, если двойная последовательность {хп — хт} борнологически сходится к нулю.
Всякая последовательность Коши-Макки ограничена. Всякая сходящаяся последовательность является последовательностью Коши-Макки.
Отделимое борнологическое векторное пространство X называется полуполным, если в нем борнологически сходится всякая последовательность Коши-Макки
ж
Пусть X — борнологическое векторное пространство. Ряд ^^ хп называется
п=1
борнологически сходящимся в X, если борнологически сходится в X последовательность его частичных сумм. Если X полуполное борнологическое векторное
ж
пространство, то ряд хп борнологически сходится в X тогда и только тогда,
п=1
ш
когда двойная последовательность хп борнологически сходится к нулю в X.
п=к
Борнологическое векторное пространство X называется выпуклым, если его борнология обладает базой, состоящей из выпуклых уравновешенных множеств (дисков). Диск М в борнологическом векторном выпуклом пространстве X называется наполняющим, если подпространство Xм, порождённое этим диском, является банаховым.
Отделимое борнологическое векторное выпуклое пространство X называется полным, если его борнология обладает базой, состоящей из наполняющих дисков. Всякое полное борнологическое векторное выпуклое пространство является также полуполным.
Теорема 1. Пусть Нх — топологическое векторное пространство, Н2 — полное локально выпуклое пространство. Тогда пространство £(Нх, Н2) всех линейных непрерывных операторов, действующих из Нх в Н2, наделённое равностепенно непрерывной борнологией, является полным борнологическим векторным выпуклым пространством.
Подробные доказательства этой и других теорем, касающихся борнологиче-ских векторных выпуклых пространств, можно найти, например, в монографии Я.В. Радыно [1].
Алгебра X называется борнологической алгеброй, если она является борно-логическим векторным пространством и произведение элементов из X ограничено. Выпуклой борнологической алгеброй называется борнологическая алгебра, являющаяся борнологическим векторным выпуклым пространством. Выпуклая борнологическая алгебра X называется полной, если полно борнологическое векторное выпуклое пространство X.
Например, если Н — квазиполное отделимое локально выпуклое пространство, то алгебра £(Н) линейных непрерывных операторов, действующих из Н в Н, наделённая равностепенно непрерывной борнологией, является полной выпуклой борнологической алгеброй (см. [1]).
2. Порядок и тип последовательности операторов
Пусть Hi и H2 — отделимые локально выпуклые пространства, топологии которых задаются соответственно мультинормами {|| ■ ||1} и {|| ■ Ц^}, где индексы р и q пробегают соответственно направленные множества V и Q. Не ограничивая общности, можно считать мультинормы монотонными функциями своих индексов.
Обозначим Л = {Ап} — последовательность линейных непрерывных операторов, действующих из локально выпуклого пространства Hi в локально выпуклое пространство H2. Будем говорить, что последовательность А имеет порядок, если найдётся последовательность положительных чисел {сп}, такая, что будет справедливо неравенство
Vp, ЗСР, 3q(p), Ух е Hi, Vn : ЦспАп(х)Ц2р < СрЦхЦ\, (1)
то есть, семейство операторов {спАп} будет равностепенно непрерывным. В данной работе рассматриваются последовательности, для которых можно взять сп = пап, а е R (они встречаются в приложениях наиболее часто). Пусть
,, Л /М-МШ П 1 О
§(p,q,n) = sup ^ .. ,.! \ ,п = 0, l, 2,...
||ш||1 = 0 I ИЖМд J
(случай §(p,q,n) = не исключается). Обозначим
о , лл у— ln V(P,(l,n)
ßp,q (А) = lim ---.
п^ж П ln П
Определение 1. Число ßp(A) = Inf ßp,q(Л), р е V называется р-порядком
qeQ
последовательности операторов А, а число ß(A) = sup{^p(^)} — её порядком.
Р€Г
Если последовательность операторов А имеет р-порядок ßp(A) = ±го, то для неё вводится более тонкая характеристика. Обозначим
а
р,ч
(Л) = lim п-МА) Уß(p,q,n).
Определение 2. Число ар(А) = Inf ap,q(Л), р е V называется р-типом по-
qeQ
следовательности операторов Л при р-порядке ßp(A), а число
( sup{ap(.4)}, ßP(A) = ß(А), Vp а(А) = {
l0, ßP(A) <ß(Л), Vp
её типом при порядке 0(А).2
Из определений р-порядка и р-типа последовательности операторов следуют оценки
Ур, Уе > 0, ЭСр(е), Эд(р,е), Ух € Нх, Уп : \\Ап(х)\\2р < Срп(^-(Л)+£^п\\х\\ 1, (2)
Ур, Уе > 0, УС, Уд, Эпк ^ ж, Э{хк(р,е)} С Нх :
Ы)\\2Р >Сп^(Л)-е)"* \\1, (3)
Ур, Уе > 0, ЭСр(е), Эд(р,е), Ух € Нх, Уп :
\\Ап(х)\\2р <СР (ар(А) + е)п п^(Л)п\\х\\(4)
Ур, Уе > 0, УС, Уд, Эпк ^ ж, Э{хк(р,е)} С Нх :
\ \ ^Ы)\\2Р > С(ар(А) — е)Пкп1*(А)пк\\хк\\(5) Из определений порядка и типа последовательности операторов следуют оценки
Ур, Уе > 0, ЭСр(е), Эд(р,е), Ух € Нх, Уп : \\Ап(х)\\I < Срп(13(Л)+£)п\\х\\хд, (6)
Уе > 0, УС, Уд, Эр, Эпк ^ ж, Э{хк(р,е)} С Нх :
\ \ ^ (хк) \ \ I >Сп^(А)-е)пк\ \ Хк \ \ \, (7)
Ур, Уе > 0, ЭСр(е), Эд(р,е), Ух € Нх, Уп :
\\ Ап(х)\\ I < Ср (а(А) + е)п п^(л)п\\ Ж|| I, (8)
Уе > 0, УС, Уд, Эр, Эпк ^ ж, Э{хк(р,е)} С Нх :
\ \ ^(хк)\\I > С(а(А) — е)Пкп1(Л)пк\\хк\\\. (9)
Если пространства Нх и Н2 совпадают алгебраически, Ап = Ап и вложение Нх С Н2 непрерывно, то говорим о порядке и типе оператора А : Нх ^ Н2.
Будем говорить, что оператор А (последовательность операторов А) является оператором (последовательностью операторов) класса £Н н [Ь,а], если его (её) р-порядки меньше Ь, либо равны Ь, но тогда соответствующие р-типы не превосходят а; оператором (последовательностью операторов) класса £Н н2 а), если его (её) р-порядки меньше Ь, либо равны Ь, но тогда соответствующие р-типы меньше а; оператором (последовательностью операторов) класса ,н2 0), если все его (её) р-порядки меньше Ь; оператором (последовательностью операторов) класса £ньн2[Ь,а], если его (её) порядок меньше Ь, либо равен Ь, но тогда тип не превосходит а; оператором (последовательностью операторов) класса £ньн2 [Ъ,а),
2 Можно показать (см. [2]), что случай, когда равенство @Р(А) = ¡3(А) справедливо не для всех р, а лишь для некоторых, сводится к случаю, когда /3Р(А) = ¡¡(А), Ур заменой мультинормы на эквивалентную. Эта замена не изменяет ни порядка, ни типа последовательности операторов.
если его (её) порядок меньше Ь, либо равен Ь, но тогда тип меньше а; оператором (последовательностью операторов) класса £ньн2 [Ь, 0), если его (её) порядок меньше Ь.
3. Необходимые и достаточные условия борнологической сходимости последовательности линейных непрерывных операторов и операторных рядов
Пусть Нх и Н2 — отделимые локально выпуклые пространства с топологиями, задаваемыми соответственно мультинормами {|| ■ Ц^}, д £ О, и {|| ■ Цр}, р £*Р, причём Н2 — полное пространство. Пусть £(Нх, Н2) — пространство всех линейных непрерывных операторов, действующих из Нх в Н2.
Как уже отмечалось выше, множество всех равностепенно непрерывных семейств операторов задаёт на £(Нх, Н2) равностепенно непрерывную борнологию, обращая его в полное борнологическое векторное выпуклое пространство.
Теорема 2 (Критерий борнологической сходимости). Последовательность {Ап} линейных непрерывных операторов борнологически сходится к нулю в £(Нх, Н2) тогда и только тогда, когда найдутся семейство {Ср}р€-р положительных чисел и семейство {др}р€-р индексов полунорм в Нх, такие что
Уе > 0, Эпо(е), Уп > п0, Ур £Г, Ух £ Нх : Рп(ж)||р < £Ср\\х\\^. (10)
Доказательство. Пусть последовательность {Ап} борнологически сходится к нулю. Тогда найдётся равностепенно непрерывное семейство А, такое что Уе > 0, Зпо(е), Уп > п0 : Ап £ еА. Из равностепенной непрерывности семейства А следует, что существуют семейство {Ср}р1-р положительных чисел и семейство {др}р€-р индексов полунорм в Нх, такие что Ур £Т, Ух £ Нх, У А £ А : ||А(ж)||р < Ср||ж||хр. Тогда Уе > 0, Ур £ V, Ух £ Нх, УВ £ еА : ||В(ж)||р < еСрЦх\\\р.
Ап £ еА, Уп > п0(е), следовательно, Уе > 0, Ур £ V, Ух £ Нх, Уп > п0(е) : Мп(ж)||р < еСр||ж||.
Пусть существуют семейство {Ср}р€-р положительных чисел и семейство {др}рет индексов полунорм в Нх, такие что выполняется неравенство (10). Докажем, что {Ап} сходится к нулю борнологически.
Пусть А — семейство всех операторов А £ £(Нх, Н2), удовлетворяющих условию М(ж)||р < СрЦх\\, Ух £ Нх, Ур £ V. Из (10) для е = 1 имеем:
Ур £Т, Ух £ Нх, Уп>щ : Рп(ж)||р < СрЦх\\\р. (11)
Из (11) следует, что подпоследовательность {Ап}, п = щ + 1,... содержится в А.
Возьмём произвольное е > 0. Из (10) следует Ур £ V, Ух £ Нх, Уп > пе : Ап 2 Ап
— (ж) < I . Тогда —- £ А, Уп > по = шах{пе,п\}, то есть, Уп >
& р р £ по, Ап £ еА. Таким образом существует равностепенно непрерывное семейство А, такое что Уе > 0, Зп0(е), Уп > п0 : Ап £ еА, следовательно {Ап} сходится к нулю борнологически в £(Нх, Н2). □
Следующие две теоремы описывают достаточные условия борнологической сходимости операторных рядов в £(Нх, Н2). Но сначала докажем две вспомогательные леммы.
Лемма 1.
Уе > 0, Зпо(е), Уп > щ, УЬ > 0 : пГь < ^. (12)
Доказательство. Так как п! b < п ъ, Уп, УЬ > 0,
то достаточно показать,
что
Уе > 0, Зщ(е), Уп > по, УЬ > 0 : п~ь < т-
(13)
Действительно, функция /£(Ь) = (Ь/е)1/ ограничена на луче (0; +ж) при каждом фиксированном е, поэтому достаточно взять п0 > вир/£(Ь) и неравенство (13) будет выполнено.
ь>о
Лемма 2.
Уе > 0, Зп0(е), Уп> п0, У0 < а < 1 : ап <
1 — а
(14)
ln ^
Доказательство. Действительно, функция д£(а) = —i—— ограничена сверху
на интервале (0; 1) при каждом фиксированном е, поэтому достаточно взять по > sup де(а) и неравенство (14) будет выполнено.
0<а< 1
Теорема 3. Пусть {Ап} с £(H1, H2). Если
Ур е V, ЭСР,ЪР > 0, 3qp е Q, Уп, Ух е Hi : | | Ап(х) \ \ р < Срп\-\ \ х\\%J, (15)
ж
то ряд Ап борнологически сходится в £(H1, H2).
n=0
Доказательство. Возьмём произвольные m,k е N. Из неравенства (15) следует Ур е V, ЗСр, bp > 0, 3qp е Q, Ут, к, Ух е Hi :
Е Мх)
п=к
< ср^2 ^- К \ \ ®и
п=к
(16)
п\-Ьр = к!-ь* [1 + (к + 1)-ь? + (к + 1)-ь?(к + 2)-ь* + ... +
п=к
+(к + 1)-ь*(к + 2)-Ьр ...т-ь*\ . (17) Выражение в квадратных скобках в (17) ограничено при каждом р, то есть,
Е п!-ь? < Мрк!-Ьр, Ук,
т.
п=к
По лемме 1 Уе > 0, Зк0(е), У к > к0, Ур е V : к! р < —. Таким образом, суще-
ствуют семейство положительных чисел {Ср полунорм в H1 , такие что
СРМР bv
ь*
} и семейство {qp} индексов
Уе > 0, Зко(е), Ук,т > ко, Ур GV, Ух е Hi :
Е Ап(х)
п=к
< еСр\\Ж|| 1 . (18)
2
р
2
р
Из (18) следует, что двойная последовательность Ап борнологически сходится
п=к
ж
к нулю по теореме 2, то есть, ряд Ап борнологически сходится.
п=0
Теорема 4. Пусть {Ап} с £(Их, Н2). Если Ур £ V, ЗСР > 0, 30 <ар < 1, Здр £ Я, Уп, Ух £ Их : \\Ап(х)\\р < Срапр\\х\\Яр,
(19)
ж
то ряд Ап борнологически сходится в £(Их, Н2).
п=0
Доказательство. Возьмём произвольные т,к £ N. Из неравенства (19) следует Ур £ V, 3Ср, Ьр > 0, 3др £ Я, Ут, к, Ух £ Их :
п= к
Ш
< Ср Е а; Н 1(,
п= к
(20)
XX = 4 (1 + ар + ар + ... + аШ-к) < ^.
п= к
(21)
По лемме 2 Уе > 0, 3к0(е), У к > к0, Ур £ V : а'к < --. Таким образом
существуют семейство положительных чисел < Ср =
р 1 -«р
Ср (1 - «р)2
и семейство {др}
индексов полунорм в Их такие, что
Уе > 0, 3ко(е), Ук,т > ко, Ур £Т, Ух £ Их :
Ш
Е Мх)
п= к
< еСр\\х\\ 1(. (22)
Из (22) следует, что двойная последовательность Ап борнологически сходится
п= к
к нулю по теореме 2, то есть ряд Ап борнологически сходится.
п=0
Следующие две теоремы описывают достаточные условия борнологической расходимости операторных рядов в £(Их, И2).
Теорема 5. Пусть {Ап} с £(Их, И2). Если для некоторого р £ V найдётся, Ьр > 0 такое, что
УС, Уд £ а, 3пк ^ <х>, 3{хк} с Их : \\Апк(хк)\\р > Спк!Ь(\\хк\\,, (23)
ж
то ряд Ап борнологически расходится в £(Их, И2).
п=0
Теорема 6. Пусть {Ап} с £(Их, И2). Если для некоторого р £ V найдётся, ар > 1 такое, что
УС, Уд £ Я, 3пк ^ ж, 3{хк} С Их : \\Апк(хк)\\р > Сапрк\\хк\\я, (24)
2
р
к
2
р
ж
то ряд Е Ап борнологически расходится в £(И1, Н2).
п=0
Доказательство. Действительно, в условиях теорем 5 и 6 семейство {Ап}
ж
не является равностепенно непрерывным, и следовательно, ряд Ап не может
п=0
борнологически сходиться в £(Н1, Н2). □
Из теорем 3-6 следует, что необходимым условием борнологической сходимо-
ж
сти ряда Ап в £(Н1, Н2) является принадлежность последовательности А =
п=0
{Ап} классу ¿Их,и2 [0,1], а достаточным — принадлежность классу ¿Н,и2 [0,1). В случае, когда Р(А) = 0, а(А) = 1, вопрос о борнологической сходимости ряда
ж
Ап в , Н2) остаётся открытым.
п=0
Из теорем 3-6 также следует, что необходимым условием борнологической сходимости последовательности операторов А = {Ап} к ненулевому оператору А является равенство нулю её порядка и равенство единицы её типа.
Проиллюстрируем доказанные теоремы на примере дифференциального оператора бесконечного порядка.
Пусть Б — выпуклая односвязная область, С — её сужение на 0 ^ <1 < йо, т.е. область, для которой Б является ¿-окрестностью (¿о — «верхняя граница сужа-емости» области И, то есть верхняя грань чисел ё, таких что сужение области Б на ё непусто). Пусть Н1 = Н(Д — пространство всех функций, аналитических в Б с мультинормой
ж
I I Р\\ 1 = тах ^(г)1, УГ £ Н(Б), Д С Д С ..., ^ Вч = Д (25) Н2 = Н(С) — пространство всех функций, аналитических в С с мультинормой
ж
I I Р\\I = тах 1Р(г)1, УГ £ Н(С), €1 С €2 С и Ср = С, (26)
г€Ор р=1
Пусть Н^(^) — пространство всех функций, аналитических в Б с мультинормой (26).
Рассмотрим ряд
~ а™
Е сп(*)Ь, (27)
где сп(х) £ Н(С). Обозначим
п=0
У - 1п\\сп(г)ГР = дш -;- , = 11т —.
1Р „-^ж п 1п п р п^ж V\ М*
7р
ПТ2'
Из определения нижнего предела следует оценка
Ур, Уе > 0, Жр(е), Уп : \\сп(х)\\2р < Кр ^К- + . (28)
Пусть — расстояние от границы области Ср до границы области Б. Оператор : Н(£) ^ Н имеет р_порядки Рр( ) =1 и р-типы аЛ ) = -V < -1
dz • -v-, ' ^ ^ ^dzу ' ^ ^dzу edp ed
(см. [2,3]), т.е. справедлива оценка Ур, У s > 0, 3Ср(е), 3q(p,e), У F G H(^), Уп :
п
НШ\р <Ср(-¿ç + ej nn\\F\\£. (29)
Из (29) и (28) следует Ур, Уе > 0, ЗМр(е), 3q(p,e), У F G H(D), Уп :
р
п
\\сп(г)Р( п)(г)\\Р < Мр(+ е) п(1-^)п\\^\\1. (30)
Пусть при каждом р либо тр > 1, либо тр = 1, кр > . Тогда последовательность
Г а™ 1 Р
операторов Л = < сп(г)( , действующих из Н(^) в Н(С), имеет р-порядки
Рр(Л) ^ 1 — тр ^ 0, причём в случае равенства справедлива оценка на р-типы
о.р(Л) < ^< 1, то есть Л £ £н(о) н(в)[0,1). Из теорем 3-4 следует, что
ряд (27) борнологически сходится в пространстве £.(Н(И), Н(С)) к линейному непрерывному оператору В : Н(^) ^ Н(С).
Литература
1. Радыно Я. В. Линейные уравнения и борнология. — Мн.: БГУ, 1982. [Radihno Ya. V. Lineyjnihe uravneniya i bornologiya. — Mn.: BGU, 1982.]
2. Мишин С. Н. Операторы конечного порядка в локально выпуклых пространствах и их применение: Дисс. ... к. ф.-м. н.: 01.01.01. — Орел: ОГУ, 2002. [Mishin S. N. Operatorih konechnogo poryadka v lokaljno vihpuklihkh prostranstvakh i ikh primenenie: Diss. ... k. f.-m. n.: 01.01.01. — Orel: OGU, 2002.]
3. Мишин С. Н. Порядок и тип оператора и последовательности операторов, действующих в локально выпуклых пространствах // Ученые записки ОГУ (лаб. ТФФА). — 2001. — № 3. — С. 28-75. [Mishin S. N. Poryadok i tip operatora i posledovateljnosti operatorov, deyjstvuyuthikh v lokaljno vihpuklihkh prostranstvakh // Uchenihe zapiski OGU (lab. TFFA). — 2001. — No 3. — S. 2875.]
UDC 517.98
Connection of the Characteristics of Sequence of the Operators with Convergence by Bornology
S.N. Mishin
Departement of Geometry and Technique of Teaching Mathematician Oryol State University Komsomolskaya str., 95, Oryol, Russia, 302026
The connection between characteristics (order and type) of sequence of linear continuous operators with convergence by equicontinuous bornology is considered.
Key words and phrases: locally convex space, order and type of sequence of operators, equicontinuous bornology, convergence by bornology.
