Математическая энциклопедия

Банахово Пространство

В-пространство,- полное нормированное векторное пространство. Исходными для создания теории Б. п. послужили введенные (в 1904-18) Д. Гильбертом (D. Hilbert), М. Фреше (М. Frechet) и Ф. Рисом (F. Riesz) функциональные пространства. Именно в этих пространствах были первоначально исследованы фундаментальные понятия сильной и слабой сходимости, компактности, линейного функционала, линейного оператора и др. Б. п. названы по имени С. Банаха, к-рый в 1922 (см. [1]) начал систематич. изучение этих пространств на основе введенной им аксиоматики и получил глубокие результаты. Теория Б. п. развивалась параллельно с общей теорией линейных топологических пространств. Эти теории взаимно обогащались идеями и фактами. Так, идея полунормы, заимствованная из теории нормированных пространств, стала необходимым инструментом для построения теории локально выпуклых линейных топологич. пространств. Понятие слабой сходимости элементов и линейных функционалов в Б. п. обрело законченную форму в понятии слабой топологии. Теория Б. п. представляет собой хорошо разработанную область функционального анализа, имеющую (непосредственно или через теорию операторов) многочисленные применения в различных разделах математики. Проблематика Б. п. складывается из нескольких направлений: геометрия единичной сферы, геометрия подпространств, линейно топологич. классификация, ряды и последовательности в Б. п., наилучшие приближения в Б. п., функции со значениями в Б. п. и др. Относительно теории операторов в Б. п. следует отметить, что многие ее предложения имеют непосредственное отношение к геометрии и топологии Б. п. Примеры. Встречающиеся в математич. анализе Б. п.- это чаще всего множества функций или числовых последовательностей, подчиненные нек-рым условиям. 1) , ,- пространство числовых последовательностей , для к-рых с нормой 2) т - пространство ограниченных числовых последовательностей с нормой 3) с - пространство сходящихся числовых последовательностей с нормой 4) с 0 - пространство сходящихся к нулю числовых последовательностей с нормой 5) - пространство непрерывных на функций с нормой 6) - пространство непрерывных функций на компакте с нормой 7) - пространство функций, имеющих непрерывные производные до порядка пвключительно, с нормой 8) - пространство всех непрерывно дифференцируемых до порядка пфункций, определенных в т- мерном кубе, с равномерной нормой по всем производным порядка не выше п. 9) - пространство ограниченных измеримых функций с нормой 10) - пространство функций, аналитических в открытом единичном круге Dи непрерывных в замкнутом круге , с нормой 11) - пространство функций на множестве S с вполне аддитивной мерой m и с нормой 12) - частный случай пространства - пространство измеримых по Лебегу функций, суммируемых со степенью р, с нормой 13) АР - пространство Бора почти периодич. функций с нормой Пространства сепарабельны; пространства несепарабельны; сепарабельно в том и только в том случае, если К - метрический компакт. Подпространство YБ. п., рассматриваемое отдельно от вмещающего пространства X, есть Б. п. Факторо-пространство нормированного пространства по подпространству Yстановится нормированным пространством, если норму определить так: пусть - класс смежности. Тогда Если X - Б. п., то X/Y- тоже Б. п. Множество всех линейных функционалов, определенных в нормированном пространстве X, с нормой наз. пространством, сопряженным с .X, и обозначается . Оно является Б. п. Для Б. п. справедлива Хана - Банаха теорема о продолжении линейных функционалов: если линейный функционал определен на подпространстве Yнормированного пространства X, то его можно распространить с сохранением линейности и непрерывности на все пространство X. Более того, при этом можно обеспечить сохранение нормы расширенного функционала: Справедливо и более общее утверждение: пусть действительная функция р (х), определенная в линейном пространстве, удовлетворяет условиям: и пусть - действительный линейный функционал, определенный на подпространстве и такой, что Тогда существует линейный функционал , определенный на всем Xи такой, что Следствием теоремы Хана - Банаха является "обратная" -формула, связывающая нормы : причем max в этой формуле достигается на нек-ром Другое важное следствие - наличие достаточного множества непрерывных линейных функционалов. Говорят, что в Б. п. Xсуществует достаточно много непрерывных линейных функционалов, если для любых имеется такой определенный на Xлинейный функционал f, что Для многих конкретных Б. п. известен общий вид линейного функционала. Так, в каждый линейный функционал определяется по формуле: где , а каждая функция определяет по этой формуле линейный функционал f, причем Таким образом, пространством, сопряженным с является линейные функционалы задаются той же формулой, но в этом случае так что Пространство сопряженное с наз. вторым сопряженным. Аналогично определяются третье, четвертое и т. д. сопряженные пространства. Каждый элемент из Xможет быть отождествив снек-рым линейным функционалом, определенным на При этом Тогда можно считать Xподпространством пространства Если при указанном вложении Б. п. совпадает со своим вторым сопряженным, то оно наз. рефлексивным. В этом случае все включения оказываются равенствами. Если же Xне рефлексивно, то среди включений нет ни одного равенства. Если факторпространство имеет конечную размерность и, то наз. квазирефлексивным порядка п. Квазирефлексивные пространства существуют для любого п. Критерии рефлексивности Б. п. 1) X рефлексивно тогда и только тогда, когда для каждого найдется на к-ром достигается sup в формуле 2) В рефлексивных Б. п., и только в них, каждое ограниченное множество компактно относительно слабой сходимости: любая его бесконечная часть содержит слабо сходящуюся подпоследовательность (теорема Эберлейна- Шмульяна). Пространства и рефлексивны. Пространства нерефлексивны. Б. п. наз. слабо полным, если в нем каждая слабо сходящаяся в себе последовательность слабо сходится к элементу пространства. Каждое рефлексивное пространство слабо полно. Кроме того, слабо полны Б. п. Еще более широкий класс - Б. п., не содержащие подпространств, изоморфных с 0. Эти пространства во многом подобны слабо полным. Б. п. наз. строго нормированным, если его единичная сфера Sне содержит отрезков. Для количественной оценки выпуклости единичного шара вводятся модули выпуклости: локальный модуль выпуклости и равномерный модуль выпуклости Если для всех и всех , то Б. п. наз. локально равномерно выпуклым. Если , то пространство наз. равномерно выпуклым. Каждое равномерно выпуклое Б. п. локально равномерно выпукло; каждое локально равномерно выпуклое Б. п. строго нормировано. В конечномерных Б. п. верны и обратные включения. Если Б. п. равномерно выпукло, то оно рефлексивно. Б. п. наз. гладким, если для любых линейно независимых элементов функция дифференцируема при всех t. Б. п. наз. равномерно гладким, если для его модуля гладкости выполняется условие В равномерно гладких Б. п., и только в них, норма равномерно дифференцируема по Фреше. Равномерно гладкое Б. п. гладко. Обратное верно, если Б. п. конечномерно, Б. п. Xравномерно выпукло (равномерно гладко) в том и только в том случае, если равномерно гладко (равномерно выпукло). Между модулем выпуклости Б. п. Xи модулем гладкости существует связь Если Б. п. равномерно выпукло (равномерно гладко), то таковы любое его подпространство и факторпростран-ство. Б. п. равномерно выпуклы и равномерно гладки, причем , Б. п. не являются строго нормированными и не являются гладкими. В Б. п. справедливы следующие важные теоремы для линейных операторов: Теорема Банаха- Штейнхауз а. Если семейство линейных операторов ограничено в каждой точке: то оно ограничено по норме: Теорема Банаха об обратном операторе. Если линейный непрерывный оператор отображает взаимно однозначно Б. п. Xна Б. п. Y, то обратный оператор тоже непрерывен. Теорема о замкнутом графике. Если замкнутый линейный оператор отображает Б. п. Xв Б. п. Y, то он непрерывен. Изометрия Б. п. сравнительно редкое явление. Клас-сич. пример - Б. п. Б. п. изометричны в том и только в том случае, если гомеоморфны (теорема Банаха.- Стоуна). Для изоморфных Б. п. мерой близости служит число где Тпробегает всевозможные операторы, осуществляющие изоморфизм между Если Xизометрично Y, то Однако существуют и не изометричные пространства, для к-рых их наз. почти изометричными. Свойства Б. п., сохраняющиеся при изоморфизме, наз. линейно топологическими. К ним относятся сепарабельность, рефлексивность, слабая полнота. Изоморфная классификация Б. п. содержит, в частности, следующие утверждения: если К - метрич. компакт мощности континуума; Каждое сепарабельное Б. п. изоморфно локально равномерно выпуклому. Неизвестно (1977), каждое ли Б. п. изоморфно своей гиперплоскости. Существует Б. п., не изоморфное строго нормированному. Отвлекаясь от линейной природы нормированных пространств, можно рассматривать их топология, классификацию. Два пространства гомеоморфны, если между их элементами может быть установлено взаимно однозначное и взаимно непрерывное (не обязательно линейное) соответствие. Неполное нормированное пространство не гомеоморфно никакому Б. п. Все бесконечномерные сепарабельные Б. п. гомеоморфны. Универсальными (см. Универсальное пространство).в классе сепарабельных Б. п. являются С[0, 1] и A(D). В классе рефлексивных сепарабельных Б. п. нет даже изоморфно универсального. Б. п. l1 универсально в несколько ином смысле: каждое сепарабельное Б. п. изометрично нек-рому его факторпространству. В каждом из перечисленных выше Б. п., кроме L2 и l2, существуют подпространства без дополнения. В частности, в ти Мне дополняемо каждое бесконечномерное сепарабельное подпространство, в С[0, 1] не дополняемо каждое бесконечномерное рефлексивное подпространство. Если в Б. п. все подпространства дополняемы, то оно изоморфно гильбертову пространству. Неизвестно (1977), каждое ли Б. п, есть прямая сумма каких-то двух бесконечномерных подпространств. Подпространство Yдополняемо в том и только в том случае, если существует проектор, отображающий Xна Y. Относительной проекционной константой подпространства Yв Xназ. нижняя грань норм проекторов на Y. Каждое n-мер-ное подпространство Б. п. дополняемо и Абсолютной проекционной константой Б. п. наз.
где Xпробегает все Б. п., содержащие Yв качестве подпространства. Для любого бесконечномерного сепара-бельного Б. п. Yимеем Б. п., для к-рых образуют класс Класс совпадает с классом пространств где - экстремально несвязные компакты (см. Экстремально несвязные пространства). Основные теоремы о конечномерных Б. п. 1) Конечномерное нормированное пространство (Минковского пространство).полно, т. е. является Б. п. 2) Каждый линейный оператор в конечномерном Б. п. непрерывен. 3) Конечномерное Б. п. рефлексивно (размерность X* равна размерности X).4) Б. п. конечномерно в том и только в том случае, если его единичный шар компактен. 5) Все n-мерные Б. п. попарно изоморфны; их множество становится компактом, если ввести расстояние Ряд наз. сходящимся, если существует предел Sпоследовательности частных сумм: Если то ряд (*) сходится; в этом случае он наз. абсолютно сходящимся. Ряд наз. безусловно сходящимся, если он сходится при любой перестановке его членов. Сумма безусловно сходящегося ряда не зависит от порядка его членов. Для рядов в конечномерном пространстве (и, в частности, для числовых рядов) безусловная сходимость эквивалентна абсолютной. В бесконечномерных Б. п. из абсолютной сходимости следует безусловная, но обратное неверно ни в одном бесконечномерном Б. п. Последнее есть следствие теоремы Дворецкого- Роджерса: каковы бы ни были числа , подчиненные условию , в любом бесконечномерном Б. п. существует такой безусловно сходящийся ряд . В пространстве (а значит, и в любом Б. п., содержащем подпространство, изоморфное с 0) для любой сходящейся к нулю последовательности существует безусловно сходящийся ряд из безусловной сходимости ряда следует, что где В равномерно выпуклом Б. п. с. модулем выпуклости из безусловной сходимости ряда следует, что Ряд наз. слабо абсолютно сходящимся, если для каждого сходится числовой ряд е| f(xk)|. Каждый слабо абсолютно сходящийся ряд в Xсходится в том и только в том случае, если не содержит подпространства, изоморфного Последовательность элементов Б. п. наз. минимальной, если любой ее член лежит вне замыкания линейной оболочки остальных членов. Последовательность наз. равномерно минимальной, если Если то последовательность наз. системой Ауэрбаха. В каждом re-мерном Б. п. существует полная система Ауэрбаха Неизвестно , в каждом ли сепарабельном Б. п. существует полная система Ауэрбаха. Для каждой минимальной системы существует сопряженная система линейных функционалов связанная с соотношениями биортогональности: В этом случае система наз. биортогональной. Множество линейных функционалов наз. тотальным, если оно аннулирует только нулевой элемент пространства. В каждом сепарабельном Б. п. существует полная минимальная система с тотальной сопряженной. Каждый элемент может быть формально разложен в ряд по биортого-нальной системе: однако в общем случае этот ряд расходится. Система элементов наз. базисом в X, если каждый элемент может быть единственным образом представлен в виде сходящегося ряда Каждый базис в Б. п.- полная равномерная минимальная система с тотальной сопряженной. Обратное неверно, как показывает пример системы и Базис наз. безусловным, если каждая его перестановка - также базис, в противном случае базис наз. условным. Система в - условный базис. Безусловным базисом в является система Хаара. В пространствах Си L1 нет безусловного базиса. Неизвестно (1977), в каждом ли Б. п. есть бесконечномерное подпространство с безусловным базисом. Каждое Б. п. с безусловным базисом либо рефлексивно, либо содержит подпространство, изоморфное l1 или с 0 . Нормированные базисы в Б. п. наз. эквивалентными, если соответствие () может быть продолжено до изоморфизма между . В каждом из пространств каждый нормированный безусловный базис эквивалентен естественному базису. Базисы, построенные в важных для приложений Б. п., не всегда хорошо приспособлены к решению задач, напр, теории операторов. В связи с этим введены Т - базисы, или базисы суммирования. Пусть - матрица регулярного метода суммирования. Система элементов наз. Т- базисом, соответствующим данному методу суммирования, если каждый единственным образом представляется в виде ряда суммируемого этим методом к х. Тригонометрич. система - базис суммирования для методов Чезаро и Абеля. Каждый Т-базис - полная минимальная (не обязательно равномерно) система с тотальной сопряженной. Обратное неверно. До недавнего времени (70-е гг.) одной из основных проблем теории Б. п. была восходящая к С. Банаху проблема базиса: в каждом ли сепарабельном Б. п. существует базис? Оставались открытыми также вопросы существования базиса в конкретных Б. п. Первый пример сепа-рабельного Б. п. без базиса построен в 1972; построены базисы в пространствах Лит.:[1] Ваnасh S., "Fund, math.", 1922, t. 3, p. 133-81; [2] Банах С. С., Курс функцioнального аналiзу, Киев, 1948; [3] Данфорд Н., Шварц Д ж. Т., Линейные операторы. Общая теория, пер. с англ., М., 1962; [4] Дэй М. М., Нормированные линейные пространства, пер. с англ., М., 1961; [5] Бурбаки Н., Топологические векторные пространства, пер. с франц., М., 1959. М. И. Кадец, Б. М. Левитан.


Смотреть значение Банахово Пространство в других словарях

Пространство Ср. — 1. Одна из форм - наряду со временем - существования бесконечно развивающейся материи, характеризующаяся протяженностью и объемом. 2. Неограниченная видимыми пределами........
Толковый словарь Ефремовой

Большое Пространство — - (Grossraum) термин Шмитта. Объединение нескольких держав в единое стратегическое образование. Возникновение Больших Пространств обусловлено теорией "пространственной прогрессии".
Политический словарь

Жизненное Пространство — - термин Хаусхофера. Минимальный территориальный объем, позволяющий народу достичь реализации своих исторических и политических стремлений.
Политический словарь

Мировое Геополитическое Пространство — - государственные территории всех стран мира вместе с международными проливами, открытым морем и Антарктидой. Это пространство, в свою очередь, подразделяют на геостратегические........
Политический словарь

Пространство — - основное понятие геополитики. Является не количественной, но качественной категори ей. Структура пространства предопределяет структуру истории (в первую очередь,........
Политический словарь

Пространство Политическое — - рефлексивное, синтетическое определение политической организации общества. Политическое пространство как категория позволяет зафиксировать единство содержания........
Политический словарь

Европейское Экономическое Пространство — - новое расширенное экономическое
объединение в Западной Европе,
соглашение о создании которого было
одобрено представителями 19 стран, входящих в ЕС и ЕАСТ,........
Экономический словарь

Единое Образовательное Пространство — - 1. целостная, преемственная, гуманистическая педагогическая
система, функционирующая в
границах территориального деления (области,
региона); 2.
механизм........
Экономический словарь

Единое Экономическое Пространство — См. Пространство единое экономическое
Экономический словарь

Единое Экономическое Пространство (еэп) — экономическая зона, образованная несколькими объединившимися в экономический союз государствами. В пределах этой зоны достигается высокая степень единства и согласованность........
Экономический словарь

Космическое Пространство — - пространство за пределами воздушной сферы Земли, правовой режим которого определяется международным космическим
правом. Общепризнанного международно-правового........
Экономический словарь

Образовательное Пространство — -
понятие, являющееся важной характеристикой образовательного
процесса и отражающее основные этапы и закономерности развития образования как фундаментальной........
Экономический словарь

Открытое Воздушное Пространство — - международное пространство (см. т.ж.
МЕЖДУНАРОДНАЯ ТЕРРИТОРИЯ), находящееся за пределами
действия государственного
суверенитета над открытым морем Антарктикой.........
Экономический словарь

Пространство — -а; ср.
1. Филос. Одна из основных форм существования материи, характеризующаяся протяжённостью и объёмом. Движение материи в пространстве и во времени.
2. Неограниченная........
Толковый словарь Кузнецова

Права На Воздушное Пространство (air Rights) — право использовать, контролировать и занимать воздушное пространство или его
часть над конкретным участком земли.
Экономический словарь

Пространство Единое Таможенное — территория нескольких государств, на которой действует единое таможенное законодательство и проводится единая согласованная таможенная политика.
Экономический словарь

Воздушное Пространство — - пространство (столб воздуха), расположенное над сухопутной и водной территорией государства. Верхней границей В.п. является его соприкосновение с космическим пространством.........
Юридический словарь

Воздушное Пространство Российской Федерации — Под воздушным пространством Российской Федерации понимается воздушное пространство над территорией Российской Федерации, в том числе воздушное пространство над........
Юридический словарь

Европейское Экономическое Пространство — - новое расширенное экономическое объединение в Западной Европе, соглашение о создании которого было одобрено представителями 19 стран, входящих в ЕС и ЕАСТ, 22 октября........
Юридический словарь

Единое Правовое Пространство Российской Федерации — - очерченное границами государства пространство, характеризующееся единством правового регулирования социально-политических, хозяйственных и финансовых отношений........
Юридический словарь

Единое Экономическое Пространство (еэп) — - экономическая зона, образованная несколькими объединившимися в экономический союз государствами. В пределах этой зоны достигается высокая степень единства и согласованность........
Юридический словарь

Конституционно-правовое Пространство России — - пространство (территория), на которое распространяется действие федеральной Конституции. К.-п.п.Р. охватывает сферу отношений, в границах которой устанавливается и........
Юридический словарь

Космическое Пространство — - пространство за пределами воздушной сферы Земли, правовой режим которого определяется международным космическим правом. Общепризнанного международно-правового........
Юридический словарь

Открытое (международное) Воздушное Пространство — - часть земной атмосферы, расположенная за внешним пределом территориального моря прибрежных государств и, следовательно, не входящая в состав территории, какой бы........
Юридический словарь

Открытое Воздушное Пространство — - часть земной атмосферы, расположенная за внешним пределом территориального моря прибрежных государств и, следовательно, не входящая в состав территории какой бы........
Юридический словарь

Вредное Пространство — (син. мертвое пространство) 1) часть пространства дыхательных путей, заполненная воздухом, не участвующим в газообмене; 2) объем той части внутреннего пространства устройств,........
Большой медицинский словарь

Гольцкнехта Пространство — (G. Holzknecht, 1872-1931, австрийский рентгенолог) см. Ретрокардиальное пространство.
Большой медицинский словарь

Дугласово Пространство — (J. Douglas) см. Прямокишечно-маточное углубление.
Большой медицинский словарь

Забрюшинное Пространство — (spatium retroperitoneale, PNA, BNA; син. ретроперитонеальное пространство) часть брюшной полости, расположенная между пристеночной брюшиной и внутрибрюшной фасцией, простирающаяся........
Большой медицинский словарь

Заглоточное Пространство — (spatium retropharyngeum; син. ретрофарингеальное пространство) пространство, расположенное между щечно-глоточной фасцией, покрывающей заднюю стенку глотки, и предпозвоночной........
Большой медицинский словарь

Посмотреть еще слова :