How the distance between subspaces in the metric of a spherical opening affects the geometric structure of a symmetric space
- Authors: Strakhov S.I.1
-
Affiliations:
- Samara National Research University
- Issue: Vol 28, No 1-2 (2022)
- Pages: 23-31
- Section: Mathematics
- URL: https://journals.ssau.ru/est/article/view/10966
- DOI: https://doi.org/10.18287/2541-7525-2022-28-1-2-23-31
- ID: 10966
Cite item
Full Text
Abstract
A relationship is found between the metric of a spherical opening on the space of all subspaces of a symmetric space and some numerical characteristic of the subspace. It is known that, for example, in this characteristic takes only two values (i.e. this is a binary space), while in there are infinitely many values. Using the connection found, the necessary conditions for the binarity of a symmetric space were generalized.
Full Text
Введение
В статье мы изучаем геометрическую структуру симметричных пространств (с.п.), рассматривая следующую числовую характеристику. Пусть — с.п., — его подпространство и
(1)
Подпространства с.п. разделяют на два противоположных класса: сильно вложенные, т. е. такие, в которых сходимость по норме эквивалентна сходимости по мере, и подпространства, содержащие последовательности почти дизъюнктных функций (все определения см. в следующем параграфе). Следующие три простых факта дают некоторое понимание о значениях :
1) если содержит почти дизъюнктную последовательность, то
2) если то — сильно вложенное подпространство;
3) , если и только если функции единичного шара имеют равностепенно непрерывные нормы, т. е.
Обратные импликации к пунктам 1) и 2) не всегда имеют место, более подробно см. [1].
Мы называем с.п. бинарным, если принимает лишь два значения 0 и 1. В статье [2] показано, что при пространства Лебега бинарны, а при характеристика (1) принимает бесконечно много значений в . Этот результат интересно сравнить с тем фактом, что геометрическая структура пространства в случае сложнее, чем при . Также стоит отметить, что бинарность при в других терминах и с помощью иной техники доказана в [3, теорема 13].
Более того, в [2] были даны достаточные условия небинарности с.п.: если в с.п. функции Радемахера эквивалентны стандартному базису и существует нормированная дизъюнктная последовательность , для которой выполняется неравенство
, (2)
где то с.п. небинарно. Мы обобщим эти достаточные условия: каждому с.п. можно поставить в соответствие два множества пространств последовательностей: первое из них связано с подпространствами, содержащими последовательности почти дизъюнктных функций, а второе с подпространствами, единичный шар которых имеет равностепенно непрерывные нормы. Если эти множества пересекаются, то с.п. небинарно.
При доказательстве этого результата мы использовали связь характеристики (1) с так называемой метрикой раствора на пространстве всех подпространств с.п. . Для подпространства значение сверху и снизу оценивается через расстояния в этой метрике до множества подпространств с крайними значениями рассматриваемой характеристики (см. неравенство (4)).
1. Предварительные сведения
Банахово пространство измеримых на функций называется симметричным или перестановочно-инвариантным, если
1) оно идеально, т. е. из для п.в. измеримости и следует: и ;
2) из равноизмеримости функций и т. е. равенства
где — мера Лебега множества и вытекает и .
В частности, любая измеримая на функция равноизмерима со своей невозрастающей непрерывной слева перестановкой
Хорошо известно, что всякое с.п. является промежуточным между и т.е.
Стандартный пример с.п. — пространство Лебега . Естественным обобщением служат так называемые пространства Орлича. Функция называется функцией Орлича, если она строго возрастает, непрерывна, и . Пространство Орлича состоит из всех измеримых на функций таких, что норма Люксембурга
конечна. Аналогично вводится понятие пространств Орлича последовательностей . Последовательность вещественных чисел тогда и только тогда, когда
В работе мы будем рассматривать лишь сепарабельные с.п. Пространство Орлича сепарабельно тогда и только тогда, когда , т. е. существует такое, что для всех имеет место неравенство , для некоторой константы
Ещё одним классическим примером с.п. служат пространства Лоренца. Пусть — положительная непрерывная возрастающая вогнутая функция на такая, что Пространство Лоренца состоит из всех измеримых на функций таких, что норма
Для функции Орлича определим следующие подмножества пространства :
где замыкание берётся в Как легко видеть, множество состоит из выпуклых возрастающих функций на
С помощью этих множеств изучают геометрическую структуру подпространств пространства порождённых последовательностью дизъюнктных функций, а именно: в сепарабельном пространстве существует последовательность дизъюнктных функций , которая эквивалентна каноническому базису пространства Орлича последовательностей , если и только если (см. [4, предложение 4]).
Если (случай, когда пространство Орлича совпадает с пространством Лебега ), то . Более того, для произвольной функции Орлича множество всегда содержит некоторую степенную функцию. Точнее, степенная функция если и только если , где и — индексы Орлича — Матушевской, определяемые следующим образом:
Определение 1. Пусть — с.п. Последовательность , называется почти дизъюнктной, если при для некоторой дизъюнктной последовательности
Примером сильно вложенного подпространства служит замкнутая линейная оболочка функций Радемахера . Напомним, что для функции Радемахера задаются как
Очевидно, что , и, следовательно, каждое с.п. содержит все функции Радемахера. Из неравенства Хинчина (см., например, [5]) легко вывести, что сильно вложенное подпространство, например, во всех
Пусть — с.п. и — множество всех замкнутых подпространств из . Как показано в работе [6], — полное метрическое пространство с метрикой
где — подпространства из , , а — стандартное расстояние от элемента до множества в нормированном пространстве. Если или равно , то положим . Введённую метрику называют сферическим раствором. На ещё рассматривают и обычный раствор между подпространствами:
который не всегда является метрикой на , но он более удобен в вычислениях, а главное имеют место неравенства:
(3)
2. Основные результаты
Следующий результат говорит о том, что характеристика является непрерывной функцией на
Теорема 1. Пусть — с.п., и — подпространства из . Тогда
Доказательство. Пусть . Из формулы (1) следует, что существуют последовательности и , такие, что
По определению сферического раствора имеем
откуда для всех
В силу определения инфимума для произвольного существует последовательность такая, что для всех выполняется
Тогда, применяя неравенство треугольника, идеальность нормы и последнее неравенство, получим
Аналогично можно получить оценку для
т. е. для всякого
В силу произвольности получаем утверждение теоремы.
Следствие 1. Пусть — с.п. и — подпространства из . Тогда
В частности, если — подпространство, содержащее почти дизъюнктную последовательность (т. е. ), а — подпространство, функции единичного шара которого имеют равностепенно непрерывные нормы (т. е. ), то для произвольного подпространства
В показано, что , если — конечномерное подпространство сепарабельного с.п. . Отсюда может возникнуть идея о том, что с помощью конечномерных подпространств, применяя правую часть неравенства (4), можно получать верхнюю оценку для в случае бесконечномерного подпространства . Но это невозможно, так как метрика сферического раствора между подпространствами различных размерностей больше либо равна 1 (см. [8, с. 87]).
Следующая теорема обобщает результат из работы [2], давая более общие достаточные условия небинарности с.п. Мы немного упростили формулировку, а именно теорема остаётся верной, если вместо пространств последовательностей и взять банаховы пространства последовательностей с базисами, удовлетворяющими условиям теоремы.
Теорема 2. Пусть и — функции Орлича такие, что и для всех Предположим, что в с.п. существуют базисные последовательности , которые удовлетворяют следующим условиям:
1) , , n = 1,2,..., и существует такое, что для всех выполняется:
2) — последовательность дизъюнктных функций, , , n = 1,2,..., и существует такое, что для всех выполняется:
Тогда — небинарное пространство.
Доказательство.
Пусть . Построим подпространство такое, что
(5)
Пусть , — последовательности из условия теоремы. Рассмотрим функции , и обозначим
Так как функции , попарно дизъюнктны, то
По теореме 1 и неравенству (3) получим верхнюю оценку через раствор:
Для того чтобы оценить сверху , рассмотрим сначала
Пусть , т. е. для некоторых
и . Тогда из условия теоремы и идеальности нормы получим
В частности, отсюда следует, что функция принадлежит . Тогда из последней оценки вытекает:
Теперь оценим сверху
Пусть
для некоторых , и . Заметим, что последовательность коэффициентов и, значит, функция принадлежит пространству (напомним, что по условию ). Более того,
Тогда
Из полученных оценок имеем следующее неравенство:
откуда, в силу (6), следует справедливость правого неравенства в (5). Выбирая нужным образом число , получим подпространство такое, что
Таким образом, — небинарное пространство.
Схема доказательства приведённого результата основана на идее из [2]. Там роль последовательности играет система Радемахера, ”перенесённая” на , которая при неограничительных условиях эквивалентна каноническому базису пространства (см. [5]). Кроме того, требовалось наличие в с.п. нормированной последовательности дизъюнктных функций с условием (2). Отметим, что результат из [2] применим к пространствам Лебега и Лоренца при пространствам Орлича с верхним индексом Орлича — Матушевской
В той же работе [2] была доказана бинарность пространства Лебега и Лоренца при . Для пространств Орлича случай оставался невыясненным. Только что доказанная теорема позволяет получить результат об отсутствии бинарности в некоторых пространствах Орлича с верхним индексом . Следующий пример дан С.В. Асташкиным.
Пример 1. Пусть где . Легко понять, что и, значит, в существует последовательность дизъюнктных функций , эквивалентная каноническому базису пространства [4, предложение 4].
Заметим, что функция так как
Пусть — последовательность независимых функций, равноизмеримых с Тогда по теореме 3.8 из [9] она эквивалентна каноническому базису пространства во всяком с.п. таком, что . В частности, отсюда следует, что подпространство сильно вложено в Теперь в качестве последовательностей и в теореме 2 можно взять следующие:
В итоге, применяя теорему 2, получаем, что небинарно.
Результаты о бинарности некоторых пространств Орлича содержатся в [1; 10]. В работе [10] доказано, что, например, полумультипликативные функции Орлича с индексами порождают бинарные пространства Орлича; в работе [1] показано, что если и в выполняется аналог критерия Данфорда — Петтиса о слабой компактности, то бинарно.
В связи с неравенством (4) возникает вопрос: насколько хорошо значение характеристики можно приблизить с помощью растворов. Более точно: если — небинарное с.п. с -нормальной структурой, то имеют ли место следующие равенства:
где — подпространство из , — подпространство, у которого функции шара имеют равностепенно непрерывные нормы, а — подпространство, содержащее последовательность дизъюнктных функций.
Нетрудно показать, что такие равенства не всегда имеют место. Действительно, равенство (7) не выполняется для любого подпространства , с . Согласно результатам из работы [11] раствор и сферический раствор для любых подпространств и из связаны соотношением
Пусть в существует подпространство , для которого выполняется равенство (7), т. е. имеет место равенство
(общий случай, когда инфимум может не достигаться, рассматривается аналогично). Тогда в силу неравенства (4)
откуда
что невозможно.
Отметим, что в раствор связан с оценками норм ортогональных проекторов на подпространства. А именно по теореме 1 из [12] выполняется следующее равенство:
где и — ортогональные проекторы на подпространства и соответственно. Отсюда теорема 1 в случае принимает следующий вид (см. неравенство (3)):
Теорема 3. Пусть и — подпространства из , а и — ортогональные проекторы на эти подпространства соответственно. Тогда
В заключение применим технику, связанную с характеристикой (1), для доказательства рефлексивности сильно вложенных подпространств.
Предложение 1. Пусть — с.п. Если подпространство сильно вложено, то рефлексивно.
Доказательство. Предположим противное, пусть — нерефлексивное подпространство. Так как по условию сильно вложено, то на сходимость в и -норме эквивалентны. Поэтому изоморфно подпространству из (более точно, тождественный оператор будет изоморфизмом). Заметим, что — сильно вложенное подпространство в Свойство рефлексивности пространства инвариантно относительно изоморфизма, и, значит, — нерефлексивное подпространство в
Как уже говорилось, бинарно, откуда для подпространства возможны лишь два варианта: или . Предположим, что . Тогда, по лемме 2 из [13] функции единичного шара подпространства имеют равностепенно непрерывные нормы в , следовательно, по теореме Данфорда — Петтиса этот шар — относительно слабо компактное подмножество в Отсюда — рефлексивное подпространство что противоречит предположению.
Пусть теперь . По [7, теорема II.2] для это условие эквивалентно тому, что не содержится в так называемом множестве Кадеца — Пелчинского
для всякого Отсюда по теореме Кадеца — Пелчинского (см. [14, теорема 4.1]) содержит почти дизъюнктную последовательность, что противоречит сильной вложенности в
About the authors
Stepan I. Strakhov
Samara National Research University
Author for correspondence.
Email: www.stepan121@mail.ru
ORCID iD: 0000-0002-2905-9124
assistant of the Department of Functional Analysis and Function Theory
Russian Federation, SamaraReferences
- Strakhov S.I. On a characteristic of strongly embedded subspaces in symmetric spaces. Vestnik Samarskogo universiteta. Estestvennonauchnaia seriia = Vestnik of Samara University. Natural Science Series, 2021, vol. 27, no. 2, pp. 25–32. DOI: http://doi.org/10.18287/2541-7525-2021-27-2-25-32. EDN: https://www.elibrary.ru/syswca. (In Russ.)
- Novikov S.Ya., Semenov E.M., Tokarev E.V. The structure of subspaces of the space . Dokl. Akad. Nauk SSSR, 1979, vol. 20, pp. 760–761. Available at: https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=42865&option_lang=rus (English; Russian original).
- Rosenthal H.P. On subspaces of . Annals of Mathematics, 2nd Ser., 1973, vol. 97, 2, pp. 344–373. DOI: http://doi.org/10.2307/1970850.
- Lindenstrauss J., Tzafriri L. On Orlicz sequence spaces. III. Israel Journal of Mathematics, 1971, vol. 10, no. 3, pp. 368–389. DOI: http://doi.org/10.1007/BF02764715.
- Astashkin S.V. The Rademacher system in function spaces. Moscow: Fizmatlit, 2017, 549 p. Available at: https://fireras.su/biblio/?p=16653. (In Russ.)
- Berkson E. Some metrics on the subspaces of a Banach space. Pacific Journal of Mathematics, 1963, vol. 13, no. 1, pp. 7–22. DOI: http://doi.org/10.2140/PJM.1963.13.7.
- Novikov S.Ya. Geometric properties of symmetric spaces: Candidate’s of Physical and Mathematical Sciences thesis. Voronezh, 1980. (In Russ.)
- Gokhberg I.Ts., Krein M.G. Fundamental aspects of defect numbers, root numbers and indexes of linear operators. Uspekhi Mat. Nauk, 1957, vol. 12, issue 2 (74), pp. 43–118. Available at: https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=7581&option_lang=rus. (In Russ.)
- Astashkin S.V. On symmetric spaces containing isomorphic copies of Orlicz sequence spaces. Commentationes Mathematicae, 2016, vol. 56, no. 1, pp. 29–44. DOI: http://doi.org/10.14708/CM.V56I1.1113.
- Astashkin S.V. The structure of subspaces in Orlicz spaces between and , 2022. DOI: http://dx.doi.org/10.48550/arXiv.2208.07215.
- Nakamoto R. The spherical gap of operators. Linear Algebra and Its Applications, 1997, vol. 251, pp. 89–95. DOI: http://dx.doi.org/10.1016/0024-3795(95)00697-4.
- Ostrovskii M.I. Topologies on the set of all subspaces of a Banach space and related questions of Banach space geometry. Quaestiones Mathematicae, 1994, vol. 17, issue 3, pp. 259–319. DOI: http://doi.org/10.1080/16073606.1994.9631766.
- Astashkin S.V.,Strakhov S.I. On Symmetric Spaces With Convergence in Measure on Reflexive Subspaces. Russian Mathematics, 2018, vol. 62, no. 8, pp. 1–8. DOI: http://doi.org/10.3103/S1066369X18080017. EDN: https://www.elibrary.ru/vcdwts. English; Russian original.
- Figiel T., Johnson W.B., Tzafriri L. On Banach lattices and spaces having local unconditional structure, with applications to Lorentz function spaces. Journal of Approximation Theory, vol. 13, issue 4, April 1975, pp. 395–412. DOI: http://dx.doi.org/10.1016/0021-9045(75)90023-4.
Supplementary files
![](/img/style/loading.gif)