В математике используется базис Шаудера или счетный базис аналогичен обычному (Hamel ) базису векторного пространства ; разница в том, что в базисах Хамеля используются линейные комбинации, которые представляют собой конечные суммы, а в базисах Шаудера они могут быть бесконечными суммами. Это делает базисы Шаудера более подходящими для анализа бесконечномерных топологических векторных пространств, включая банаховых пространств.
Базы Шаудера были описаны Юлиушем Шаудером в 1927 году, хотя такие базы обсуждались ранее. Например, базис Хаара был дан в 1909 году, а Георг Фабер обсуждал в 1910 году основу для непрерывных функций на интервале, иногда называется системой Фабера – Шаудера .
Пусть V обозначает a банахово пространство над полем F. Базис Шаудера - это последовательность {bn} элементов 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 n } - базис Шаудера банахова пространства V над F= Rили C . Тонким следствием теоремы об открытом отображении является то, что линейные отображения {P n }, определенные как
равномерно ограничены некоторой константой C. Когда C = 1, базис называется монотонным базисом. Карты {P n } являются базисными проекциями.
. Пусть {b * n } обозначает координатные функционалы, где b * n назначает каждому вектору v в V координату α n v в приведенном выше расширении. Каждый b * n является ограниченным линейным функционалом на V. В самом деле, для любого вектора v в V
Эти функционалы {b * n } называются биортогональными функционалами, связанными с базисом {b n }. Когда базис {b n } нормализован, координатные функционалы {b * n } имеют норму ≤ 2C в непрерывном двойственном V ′ для V.
Банахово пространство с базисом Шаудера обязательно отделимо, но обратное неверно. Поскольку каждый вектор v в банаховом пространстве V с базисом Шаудера является пределом P n (v), с P n конечного ранга и равномерно ограниченным, такое пространство V удовлетворяет свойство ограниченной аппроксимации.
Теорема, приписываемая Мазуру, утверждает, что каждое бесконечномерное банахово пространство V содержит базовую последовательность, т. е. существует бесконечномерное подпространство V, которое имеет пространство Шаудера. основание. Проблема базиса - это вопрос, который задает Банах, имеет ли каждое отделимое банахово пространство базис Шаудера. На это отрицательно ответил Пер Энфло, построивший разделимое банахово пространство, не имеющее свойства аппроксимации, таким образом, пространство без базиса Шаудера.
Стандартные базисы единичных векторов из c0 и из ℓ для 1 ≤ p < ∞, are monotone Schauder bases. In this базис единичного вектора {bn}, вектор b n в V = c 0 или в V = ℓ - это скалярная последовательность {b n, j }j, где все координаты b n, j равны 0, кроме n-й координаты:
где δ n, j - дельта Кронекера. Пространство ℓ неотделимо и поэтому не имеет базиса Шаудера.
Каждый ортонормированный базис в сепарабельном гильбертовом пространстве является базисом Шаудера. Каждый счетный ортонормированный базис эквивалентен стандартному базису единичных векторов в.
Система Хаара является примером основы для L ([0, 1]), когда 1 ≤ p < ∞. When 1 < p < ∞, another example is the trigonometric system defined below. The Banach space C([0, 1]) of continuous functions on the interval [0, 1], with the supremum norm, допускает основу Шаудера. Система Фабера – Шаудера является наиболее часто используемым базисом Шаудера для C ([0, 1]).
Несколько базисов для классических пространств были открыты до появления книги Банаха (Банах (1932)), но некоторые другие дела долгое время оставались открытыми. Например, вопрос о том, имеет ли дисковая алгебра A (D) базис Шаудера, оставался открытым более сорока лет, пока Бочкарев не показал в 1974 году, что базис, построенный из системы Франклина существует в A (D). Можно также доказать, что периодическая система Франклина является базисом для банахова пространства A r, изоморфного A (D). Это пространство A r состоит из всех сложных непрерывных функций на единичной окружности T, чья сопряженная функция также является непрерывной. Система Франклина является еще одним базисом Шаудера для C ([0, 1]), и это базис Шаудера в L ([0, 1]), когда 1 ≤ p < ∞. Systems derived from the Franklin system give bases in the space C([0, 1]) of дифференцируемые функции на единичном квадрате. Существование базиса Шаудера в C ([0, 1]) было вопросом из книги Банаха.
Пусть {x n } будет, в реальном случае последовательность функций
или, в сложном случае,
Последовательность {x n } называется тригонометрической системой . Это базис Шаудера для пространства L ([0, 2π]) для любого p такого, что 1 < p < ∞. For p = 2, this is the content of the теорема Рисса – Фишера, а для p ≠ 2 это следствие ограниченность на пространстве L ([0, 2π]) преобразования Гильберта на окружности. Из этой ограниченности следует, что проекции P N, определенные как
равномерно ограничены на L ([0, 2π]), когда 1 < p < ∞. This family of maps {PN } является равностепенно непрерывным и стремится к тождеству на плотном подмножестве, состоящем из тригонометрических полиномов. Отсюда следует, что P N f стремится к f в L-норме для любого f ∈ L ([0, 2π]). Другими словами, {x n } является базисом Шаудера L ([0, 2π]).
Однако множество {x n } не является базис Шаудера для L ([0, 2π]). Это означает, что в L есть функции, ряд Фурье которых не сходится по L-норме, или, что то же самое, проекции P N не ограничены равномерно по L-норме. Кроме того, набор {x n } не является базисом Шаудера для C ([0, 2π]).
Пространство K (ℓ) компактных операторов в гильбертовом пространстве ℓ имеет базис Шаудера. Для любых x, y в ℓ пусть x ⊗ y обозначает оператор ранга один v ∈ ℓ →
Для каждого n последовательность, состоящая из первых n векторов в этом базисе, является подходящим порядком семейство {e j ⊗ e k }, для 1 ≤ j, k ≤ n.
Предыдущий результат можно обобщить: банахово пространство X с базисом обладает свойством аппроксимации, поэтому пространство K (X) компактных операторов на X изометрически изоморфно пространству инъективное тензорное произведение
Если X - банахово пространство с базисом Шаудера {e n }n ≥ 1 такое, что биортогональные функционалы являются базисом двойственного, то есть банахова пространства с сжимающимся базисом, то пространство K (X) допускает базис, образованный операторы первого ранга e * j ⊗ e k : v → e * j (v) e k с тем же порядком как прежде. В частности, это применимо к любому рефлексивному банаховому пространству X с базисом Шаудера
. С другой стороны, пространство B (ℓ) не имеет базиса, поскольку оно неотделимо. Кроме того, B (ℓ) не обладает свойством аппроксимации.
Базис Шаудера {b n } является безусловным, если всякий раз ряд сходится, сходится безусловно. Для базиса Шаудера {b n } это эквивалентно существованию константы C такой, что
для всех натуральных чисел n, все скалярные коэффициенты {α k } и все знаки ε k = ± 1. Безусловность является важным свойством, поскольку позволяет забыть о порядке суммирования. Базис Шаудера является симметричным, если он безусловен и равномерно эквивалентен всем его перестановкам : существует константа C такая, что для любого натурального числа n каждая перестановка π множества {0, 1,…, n}, все скалярные коэффициенты {α k } и все знаки {ε k },
Стандартные основы из пространств последовательностей c0и ℓ для 1 ≤ p < ∞, as well as every orthonormal basis in a Hilbert space, are unconditional. These bases are also symmetric.
Тригонометрическая система не является безусловным базисом в L, за исключением p = 2.
Система Хаара является безусловный базис в L для любого 1 < p < ∞. The space L([0, 1]) has no unconditional basis.
Возникает естественный вопрос, имеет ли каждое бесконечномерное банахово пространство бесконечномерное подпространство с безусловным базисом. Эта проблема была решена отрицательно Тимоти Гауэрсом и Бернардом Мори в 1992 году.
Основание {e n}n≥ 0 банахова пространства X является ограниченно полным, если для каждой последовательности {a n}n≥0 скаляров таких, что частичные суммы
ограничены в X, последовательность {V n } сходится в X. Базис единичного вектора для ℓ, 1 ≤ p < ∞, is boundedly complete. However, the unit vector basis is not boundedly complete in c0. В самом деле, если a n = 1 для каждого n, то
для каждого n, но последовательность {V n } не сходится в c 0, поскольку || V n + 1 - V n || = 1 для каждого n.
Пространство X с ограниченно полным базисом {e n}n≥0 изоморфно двойственному пространству, а именно, пространство X изоморфно двойственному пространству замкнутая линейная оболочка в двойственном X 'биортогональных функционалов, связанных с базисом {e n}.
Базис {e n}n≥0 X является сжимающимся, если для каждого ограниченного линейного функционала f на X, последовательность неотрицательных чисел
стремится к 0, когда n → ∞, где F n - линейная оболочка базисных векторов e m для m ≥ n. Базис единичного вектора для ℓ, 1 < p < ∞, or for c0, сжимается. Он не сжимается в ℓ :, если f - ограниченный линейный функционал на ℓ, заданный как
, затем φ n ≥ f (e n) = 1 для каждого n.
Базис {e n }n ≥ 0 X сжимается тогда и только тогда, когда биортогональные функционалы {e * n }n ≥ 0 образуют базис двойственного X ′.
Роберт С. Джеймс охарактеризовал рефлексивность в банаховых пространствах с базисом: пространство X с базисом Шаудера рефлексивно тогда и только тогда, когда базис одновременно сжимающийся и ограниченно полный. Джеймс также доказал, что пространство с безусловным базисом нерефлексивно тогда и только тогда, когда оно содержит подпространство, изоморфное c 0 или ℓ.
A Базис Гамеля - это подмножество B векторного пространства V, такое что каждый элемент v ∈ V может быть однозначно записан как
с α b ∈ F, с дополнительным условием, что набор
конечно. Это свойство делает базис Гамеля громоздким для бесконечномерных банаховых пространств; поскольку базис Гамеля для бесконечномерного банахова пространства должен быть несчетным. (Каждое конечномерное подпространство бесконечномерного банахова пространства X имеет пустую внутренность и нигде не плотно в X. Тогда из теоремы Бэра о категориях следует, что счетное объединение этих конечномерных подпространства не могут служить базисом.)
Эта статья включает материал из Countable based на PlanetMath, который находится под лицензией Creative Commons Attribution / Share-Alike License.
.
.