база содрогания
В математике базис Шаудера или счетный базис аналогичен обычному ( гамелевскому ) базису векторного пространства ; разница в том, что в базисах Гамеля используются линейные комбинации , которые являются конечными суммами, а для базисов Шаудера они могут быть бесконечными суммами. Это делает базисы Шаудера более подходящими для анализа бесконечномерных топологических векторных пространств, включая банаховы пространства .
Базы Шаудера были описаны Юлиушем Шаудером в 1927 году. [1] [2] хотя о таких базах говорилось ранее. Например, базис Хаара был дан в 1909 году, а Георг Фабер обсудил в 1910 году базис для непрерывных функций на интервале , иногда называемый системой Фабера-Шаудера . [3]
Определения [ править ]
Пусть V обозначает топологическое векторное пространство над полем F . — Базис Шаудера это последовательность { b n } элементов V такая, что для каждого элемента v ∈ V существует единственная последовательность {α n } скаляров в F , так что
Обратите внимание, что некоторые авторы определяют базы Шаудера как счетные (как указано выше), в то время как другие используют этот термин для обозначения несчетных базисов. В любом случае сами суммы всегда счетны. Несчетный базис Шаудера представляет собой линейно упорядоченный набор , а не последовательность, и каждая сумма наследует порядок своих членов от этого линейного порядка. Они могут возникнуть и возникают на практике. Например, сепарабельное гильбертово пространство может иметь только счетный базис Шаудера, а несепарабельное гильбертово пространство может иметь несчетный базис.
Хотя приведенное выше определение технически не требует нормированного пространства, норма необходима, чтобы сказать почти все полезное о базисах Шаудера. Приведенные ниже результаты предполагают существование нормы.
Базис Шаудера { b n } n ≥ 0 называется нормализованным если все базисные векторы имеют норму 1 в банаховом пространстве V. ,
Последовательность { x n } n ≥ 0 в V называется базовой последовательностью, если она является базисом Шаудера своей замкнутой линейной оболочки .
Две базы Шаудера, { b n } в V и { c n } в W , называются эквивалентными , если существуют две константы c > 0 и C такие, что для любого натурального числа N ≥ 0 и всех последовательностей {α n } скаляры,
Семейство векторов в V называется полным, если его линейная оболочка ( множество конечных линейных комбинаций) плотна в V . Если V — гильбертово пространство , ортогональный базис — это полное подмножество B в V такое, что элементы в B ненулевые и попарно ортогональные. Далее, когда каждый элемент в имеет норму 1, тогда B является ортонормированным базисом V B .
Свойства [ править ]
Пусть { bn над базис Шаудера банахова пространства V или F = R — C. } Тонким следствием теоремы об открытом отображении является то, что линейные отображения { P n }, определенные формулой
равномерно ограничены некоторой константой C . [5] Когда C = 1 , базис называется монотонным . Отображения { Pn } являются базисными проекциями .
Пусть { b* n } обозначает координатные функционалы , где b* n присваивает каждому вектору v в V координату α n v в приведенном выше разложении. Каждый b* n является ограниченным линейным функционалом на V . Действительно, для каждого вектора v из V ,
Эти функционалы { b* n } называются биортогональными функционалами, ассоциированными с базисом { b n }. Когда базис { b n } нормализован, координатные функционалы { b* n } имеют норму ≤ 2 C в непрерывном двойственном V ′ к V .
Банахово пространство с базисом Шаудера обязательно сепарабельно , но обратное неверно. Поскольку каждый вектор v банаховом пространстве V с базисом Шаудера является пределом Pn в ( v ), причем Pn имеет конечный ранг и равномерно ограничен, такое пространство V удовлетворяет свойству ограниченной аппроксимации .
Теорема, приписываемая Мазуру [6] утверждает, что каждое бесконечномерное банахово пространство V содержит базисную последовательность, т. е . существует бесконечномерное подпространство V , имеющее базис Шаудера. Проблема базиса - это вопрос, заданный Банахом, имеет ли каждое сепарабельное банахово пространство базис Шаудера. На этот вопрос отрицательно ответил Пер Энфло , который построил сепарабельное банахово пространство, не обладающее свойством аппроксимации, то есть пространство без базиса Шаудера. [7]
Примеры [ править ]
Стандартные базисы единичных векторов c 0 и ℓ п при 1 ⩽ p < ∞ являются монотонными базисами Шаудера. В этом базисе единичного вектора { b n } вектор b n в V = c 0 или в V = ℓ п представляет собой скалярную последовательность [ b n , j ] j, где все координаты b n, j равны 0, кроме n-й координаты:
где δ n, j — дельта Кронекера . Пространство ℓ ∞ не сепарабельна и, следовательно, не имеет базиса Шаудера.
Любой ортонормированный базис в сепарабельном гильбертовом пространстве является базисом Шаудера. Каждый счетный ортонормированный базис эквивалентен базису стандартного единичного вектора в ℓ 2 .
Система Хаара является примером основы для L п ([0, 1]) , когда 1 ≤ p < ∞. [2] Когда 1 < p < ∞ , другим примером является тригонометрическая система, определенная ниже. Банахово пространство C ([0, 1]) непрерывных функций на интервале [0, 1] с супремум-нормой допускает базис Шаудера. Система Фабера-Шаудера является наиболее часто используемым базисом Шаудера для C ([0, 1]). [3] [8]
Несколько оснований классических пространств были открыты до появления книги Банаха ( Банах (1932) ), но некоторые другие случаи долгое время оставались открытыми. Например, вопрос о том, имеет ли дисковая алгебра A ( D ) базис Шаудера, оставался открытым более сорока лет, пока Бочкарев в 1974 году не показал, что ) существует базис, построенный по системе Франклина в A ( D . [9] Можно также доказать, что периодическая система Франклина [10] является базисом банахова пространства Ar , изоморфного A ( D ). [11] Это пространство Ar состоит из всех комплексных непрерывных функций на единичной окружности T которых , сопряженная функция также непрерывна. Система Франклина — еще один базис Шаудера для C ([0, 1]), [12] и это базис Шаудера в L п ([0, 1]), когда 1 ≤ p < ∞ . [13] Системы, производные от системы Франклина, дают базисы в пространстве C. 1 ([0, 1] 2 ) дифференцируемых функций на единичном квадрате. [14] Существование базиса Шаудера в C 1 ([0, 1] 2 ) был вопрос из книги Банаха. [15]
с Фурье Связь рядом
Пусть { x n } в вещественном случае является последовательностью функций
или, в сложном случае,
Последовательность { xn } называется тригонометрической системой . Это базис Шаудера пространства L п ([0, 2 π ]) для любого p такого, что 1 < p < ∞ . При p = 2 это содержание теоремы Рисса–Фишера , а при p ≠ 2 — следствие ограниченности на пространстве L п ([0, 2 π ]) преобразования Гильберта на окружности . Из этой ограниченности следует, что проекции P N, определенные формулой
равномерно ограничены на L п ([0, 2 π ]), когда 1 < p < ∞ . Это семейство отображений { PN и } равностепенно непрерывно стремится к единице на плотном подмножестве, состоящем из тригонометрических полиномов . Отсюда следует, что P N f стремится к f в L п -норма для любой f ∈ L п ([0, 2 π ]) . Другими словами, { x n } является базисом Шаудера L п ([0, 2π ] ). [16]
Однако набор { x n } не является базисом Шаудера для L 1 ([0, 2π ] ). Это означает, что существуют функции из L 1 ряд Фурье которого не сходится в L 1 норме или, что то же самое, что проекции P N не ограничены равномерно в L 1 -норм. Кроме того, набор { x n } не является базисом Шаудера для C ([0, 2 π ]).
Базы для пространств операторов [ править ]
Пространство K (ℓ 2 ) компактных операторов в гильбертовом пространстве ℓ 2 имеет базис Шаудера. Для каждого x , y в ℓ 2 , пусть x ⊗ y обозначает ранга один оператор v ∈ ℓ 2 → < v , Икс > у . Если { e n } n ≥ 1 — стандартный ортонормированный базис ℓ 2 , основа для K (ℓ 2 ) задается последовательностью [17]
Для каждого n последовательность, состоящая из n 2 семейства { } j этом базисе — это подходящий порядок ej⊗ek для 1 ≤ первые векторы в , k ≤ n .
Предыдущий результат можно обобщить: банахово пространство X с базисом обладает свойством аппроксимации , поэтому пространство K ( X ) компактных операторов на X изометрически изоморфно. [18] к инъективному тензорному произведению
Если X — банахово пространство с базисом Шаудера { en } такое , n ≥ 1 что биортогональные функционалы являются базисом двойственного, то есть банахово пространство с сжимающимся базисом , то пространство K ( X ) допускает базис, образованный операторами первого ранга e * j ⊗ e k : v → e * j ( v ) e k , с тем же порядком, что и раньше. [17] Это относится, в частности, к каждому рефлексивному банаховому пространству X с базисом Шаудера.
С другой стороны, пространство B (ℓ 2 ) не имеет базиса, так как несепарабельна. Более того, B (ℓ 2 ) не обладает свойством аппроксимации. [19]
Безоговорочность [ править ]
Базис Шаудера { b n } является безусловным , если всякий раз, когда ряд сходится, сходится безоговорочно . Для базиса Шаудера { b n } это эквивалентно существованию константы C такой, что
для всех натуральных чисел n , всех скалярных коэффициентов {α k } и всех знаков ε k = ±1 .Безусловность — важное свойство, поскольку позволяет забыть о порядке суммирования. Базис Шаудера является симметричным , если он безусловен и равномерно эквивалентен всем своим перестановкам : существует константа C такая, что для каждого натурального числа n , каждой перестановки π набора {0, 1, ..., n } все скалярные коэффициенты {α k } и все знаки {ε k },
Стандартные базисы пространств последовательностей c 0 и ℓ п при 1 ⩽ p < ∞, а также любой ортонормированный базис в гильбертовом пространстве безусловны. Эти основания также симметричны.
Тригонометрическая система не является безусловным базисом в L. п , за исключением p = 2.
Система Хаара является безусловным базисом в L п для любого 1 < p < ∞. Пространство Л 1 ([0, 1]) не имеет безусловного базиса. [20]
Естественный вопрос: каждое ли бесконечномерное банахово пространство имеет бесконечномерное подпространство с безусловным базисом. Эта проблема была решена отрицательно Тимоти Гауэрсом и Бернардом Мори в 1992 году. [21]
и Шаудера двойственность Базисы
Базис { e n } n ≥0 банахова пространства X ограниченно полон, если для любой последовательности { a n } n ≥0 скаляров такой, что частичные суммы
ограничены в X последовательность { V n } сходится в X. , Базис единичного вектора для ℓ п , 1 ⩽ p < ∞ , ограниченно полно. Однако базис единичного вектора не является ограниченно полным в c 0 . Действительно, если a n = 1 для каждого n , то
для любого n , но последовательность { Vn } не сходится в c0 , поскольку || В н +1 − В н || = 1 для каждого n .
Пространство X с ограниченно полным базисом { e n } n ≥0 изоморфно X дуальному пространству, а именно, пространство изоморфно двойственному замкнутой линейной оболочке в двойственном X ′ биортогональных функционалов, ассоциированных с базисом { е н }. [22]
Базис { e n } n ≥0 X , сжимается чисел если для каждого ограниченного линейного функционала f на X последовательность неотрицательных
стремится к 0, когда → ∞ , где F n — линейная оболочка базисных векторов em n для m ≥ n . Базис единичного вектора для ℓ п , 1 < p < ∞ или при c 0 сжимается. Он не сжимается в ℓ 1 : если f — ограниченный линейный функционал на ℓ 1 данный
тогда φ n ≥ ж ( е п ) знак равно 1 для каждого n .
Базис [ e n ] n ≥ 0 X [ сжимается тогда и только тогда, когда биортогональные функционалы e * n ] n ≥ 0 образуют базис двойственного X ′ . [23]
Роберт К. Джеймс охарактеризовал рефлексивность в банаховых пространствах с базисом: пространство X с базисом Шаудера рефлексивно тогда и только тогда, когда базис одновременно сжимается и ограниченно полон. [24] Джеймс также доказал, что пространство с безусловным базисом нерефлексивно тогда и только тогда, когда оно содержит подпространство, изоморфное c 0 или ℓ. 1 . [25]
Связанные понятия [ править ]
Базис Гамеля — это подмножество B векторного пространства V такое, что каждый элемент v ∈ V однозначно может быть записан как
с α b ∈ F с дополнительным условием, что множество
конечно. Это свойство делает базис Гамеля громоздким для бесконечномерных банаховых пространств; как базис Гамеля для бесконечномерного банахового пространства должен быть несчетным . (Каждое конечномерное подпространство бесконечномерного банахова пространства X имеет пустую внутреннюю часть и нигде не плотно в X. Тогда из теоремы о категории Бэра следует , что счетное объединение баз этих конечномерных подпространств не может служить базисом . [26] )
См. также [ править ]
- основа Маркушевича
- Обобщенный ряд Фурье
- Ортогональные полиномы
- Вейвлет для волос
- Банахово пространство
Примечания [ править ]
- ^ см . «Шуддер» (1927) .
- ^ Перейти обратно: а б Шаудер, Юлиуш (1928). «Свойство ортогональной системы Хаара». Математический журнал . 28 :317-320. дои : 10.1007/bf01181164 .
- ^ Перейти обратно: а б Фабер, Георг (1910), «Об ортогональных функциях г-на Хаара», Deutsche Math.-Ver (на немецком языке) 19 : 104–112. ISSN 0012-0456 ; http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN37721857X ; http://resolver.sub.uni-goettingen.de/purl?GDZPPN002122553
- ^ Карлин, С. (декабрь 1948 г.). «Базисы в банаховых пространствах» . Математический журнал Дьюка . 15 (4): 971–985. дои : 10.1215/S0012-7094-48-01587-7 . ISSN 0012-7094 .
- ^ см. теорему 4.10 в работе Fabian et al. (2011) .
- ^ раннее опубликованное доказательство см. на стр. 157, C.3 в Бессаге, К. и Пелчински, А. (1958), «О базисах и безусловной сходимости рядов в банаховых пространствах», Studia Math. 17 : 151–164. В первых строках статьи Бессага и Пелчинский пишут, что результат Мазура появляется без доказательства в книге Банаха, точнее, на стр. 238 — но они не дают ссылки, содержащей доказательство.
- ^ Энфло, Пер (июль 1973 г.). «Контрпример к проблеме аппроксимации в банаховых пространствах» . Акта Математика . 130 (1): 309–317. дои : 10.1007/BF02392270 .
- ^ см. стр. 48–49 в книге Шаудера (1927) . Шаудер определяет там общую модель этой системы, частным случаем которой является используемая сегодня система Фабера – Шаудера.
- ^ см. Бочкарев С.В. (1974), "Существование базиса в пространстве аналитических в круге функций и некоторые свойства системы Франклина", Матем. Сб . (NS) 95 (137): 3–18, 159. Переведено на математику. СССР-Сб. 24 (1974), 1–16. Вопрос стоит в книге Банаха Banach (1932), с. 238, §3.
- ↑ См. стр. 161, III.D.20 в книге Войтащика (1991) .
- ↑ См. стр. 192, III.E.17 в книге Войтащика (1991) .
- ^ Франклин, Филип (1928). «Набор непрерывных ортогональных функций». Математика. Энн. 100 : 522–529. дои : 10.1007/bf01448860 .
- ^ см. стр. 164, III.D.26 у Войтащика (1991) .
- ^ см. Ciesielski, Z (1969). «Построение базы на C 1 ( я 2 )». Studia Math. 33 : 243–247. и Шенефельд, Стивен (1969). «Базисы Шаудера в пространствах дифференцируемых функций» . Бык. амер. Математика. Соц. 75 (3): 586–590. дои : 10.1090/s0002-9904-1969-12249-4 .
- ^ см. стр. 238, §3 в Банахе (1932) .
- ^ см. стр. 40, II.B.11 у Войтащика (1991) .
- ^ Перейти обратно: а б см. предложение 4.25, с. 88 в Райане (2002) .
- ^ см. следствие 4.13, с. 80 в Райане (2002) .
- ^ см. Шанковский, Анджей (1981). « B ( H ) не обладает свойством аппроксимации» . Акта математика . 147 : 89–108. дои : 10.1007/bf02392870 .
- ^ см. стр. 24 в Линденштраусе и Цафрири (1977) .
- ^ Гауэрс, В. Тимоти; Мори, Бернар (6 мая 1992 г.). «Задача о безусловной базовой последовательности». arXiv : математика/9205204 .
- ^ см. стр. 9 в Линденштраусе и Цафрири (1977) .
- ^ см. стр. 8 в Линденштраусе и Цафрири (1977) .
- ^ См. Джеймса (1950) и Линденштрауса и Цафрири (1977 , стр. 9).
- ^ См. Джеймса (1950) и Линденштрауса и Цафрири (1977 , стр. 23).
- ^ Карозерс, Н.Л. (2005), Краткий курс по теории банахового пространства , Cambridge University Press ISBN 0-521-60372-2
Эта статья включает в себя материал из Countable base на PlanetMath , который доступен под лицензией Creative Commons Attribution/Share-Alike License .
Ссылки [ править ]
- Шаудер, Юлиуш (1927), «К теории непрерывных отображений в функциональных пространствах», Mathematical Journal (на немецком языке), 26 : 47–65, doi : 10.1007/BF01475440 , hdl : 10338.dmlcz/104881 .
- Банах, Стефан (1932). Théorie des Opérations Lineaires [ Теория линейных операций ] (PDF) . Математические монографии (на французском языке). Том 1. Варшава: Субсидии Фонда национальной культуры. Збл 0005.20901 . Архивировано из оригинала (PDF) 11 января 2014 года . Проверено 11 июля 2020 г.
- Фабиан, Мэриан; Хабала, Питер; Гаек, Петр; Монтесинос, Висенте; Зизлер, Вацлав (2011), Теория банахового пространства: основа линейного и нелинейного анализа , Книги CMS по математике, Springer, ISBN 978-1-4419-7514-0
- Джеймс, Роберт С. (1950). «Базисы и рефлексивность банаховых пространств». Анналы математики . 52 (3): 518–527. дои : 10.2307/1969430 . МИСТЕР 39915
- Линденштраусс, Йорам ; Цафрири, Лиор (1977), Классические банаховы пространства I, Пространства последовательностей , Результаты математики и ее границ, том. 92, Берлин: Springer-Verlag, ISBN. 3-540-08072-4
- Райан, Раймонд А. (2002), Введение в тензорные произведения банаховых пространств , Монографии Спрингера по математике, Лондон: Springer-Verlag, стр. xiv + 225, ISBN 1-85233-437-1
- Шефер, Хельмут Х. (1971), Топологические векторные пространства , Тексты для аспирантов по математике , вып. 3, Нью-Йорк: Springer-Verlag, стр. xi+294, ISBN. 0-387-98726-6 .
- Войтащик, Пшемыслав (1991), Банаховы пространства для аналитиков , Кембриджские исследования по высшей математике, том. 25, Кембридж: Издательство Кембриджского университета, стр. xiv+382, ISBN 0-521-35618-0 .
- Голубов, Б.И. (2001) [1994], «Система Фабера–Шаудера» , Энциклопедия математики , EMS Press
.
- Хайль, Кристофер Э. (1997). «Букварь по базовой теории» (PDF) . .
- Система Франклина. Б.И. Голубов (составитель), Математическая энциклопедия. URL: http://www.encyclepediaofmath.org/index.php?title=Franklin_system&oldid=16655
Дальнейшее чтение [ править ]
- Куфнер, Алоис (2013), Функциональные пространства , Серия Де Грюйтера в нелинейном анализе и приложениях, том. 14, Прага: Издательство «Академия» Чехословацкой академии наук, де Грюйтер.