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

Поделись знанием:
Перейти к: навигация, поиск

Ба́нахово пространство — нормированное векторное пространство, полное по метрике, порождённой нормой. Основной объект изучения функционального анализа.

Названо по имени польского математика Стефана Банаха (1892—1945), который с 1922 года систематически изучал эти пространства.



Примеры

Некоторые примеры банаховых пространств (далее через <math>K</math> обозначено одно из полей <math>\R</math> или <math>\C</math>):

  • Евклидовы пространства <math>K^n</math> с евклидовой нормой, определяемой для <math>x=(x_1,\;\ldots,\;x_n)</math> как <math>\|x\|=\sqrt{\sum|x_i|^2}</math>, являются банаховыми пространствами.
  • Пространство всех непрерывных функций <math>f\colon[a,\;b]\to K</math>, определённых на закрытом интервале <math>[a,\;b]</math> будет банаховым пространством, если мы определим его норму как <math>\|f\|=\sup\{|f(x)|\colon x\in[a,\;b]\}</math>. Такая функция будет нормой, так как непрерывные функции на закрытом интервале являются ограниченными. Пространство с такой нормой является полным, а полученное банахово пространство обозначается как <math>C[a,b]</math>. Этот пример можно обобщить к пространству <math>C(X)</math> всех непрерывных функций <math>X\to K</math>, где <math>X</math> — компактное пространство, или к пространству всех ограниченных непрерывных функций <math>X\to K</math>, где <math>X</math> — любое топологическое пространство, или даже к пространству <math>B(X)</math> всех ограниченных функций <math>X\to K</math>, где <math>X</math> — любое множество. Во всех этих примерах мы можем перемножать функции, оставаясь в том же самом пространстве: все эти примеры являются банаховыми алгебрами.
  • Если <math>p\geqslant 1</math> — вещественное число, то пространство всех бесконечных последовательностей <math>(x_1,\;x_2,\;x_3,\;\ldots)</math> элементов из <math>K</math>, таких что ряд <math>\sum|x_i|^p</math> сходится, является банаховым относительно нормы, равной корню степени <math>p</math> из суммы этого ряда, и обозначается <math>l^p</math>.
  • Банахово пространство <math>l^\infty</math> состоит из всех ограниченных последовательностей элементов из <math>K</math>; норма такой последовательности определяется как точная верхняя грань абсолютных величин (модулей) элементов последовательности.
  • Снова, если <math>p\geqslant 1</math> — вещественное число, можно рассматривать все функции интегрируемыми по Лебегу. Корень степени <math>p</math> этого интеграла определим как норму <math>f</math>. Само собой, это пространство не будет банаховым, поскольку есть ненулевые функции, чья норма будет равна нулю. Определим отношение эквивалентности следующим образом: <math>f</math> и <math>g</math> эквивалентны тогда и только тогда, когда норма <math>f-g</math> равна нулю. Множество классов эквивалентности тогда является банаховым пространством; оно обозначается как <math>L^p[a,\;b]</math>. Важно использовать именно интеграл Лебега, а не интеграл Римана, поскольку интеграл Римана не порождает полное пространство. Эти примеры можно обобщить. См., например, Lp-пространства.
  • Если <math>X</math> и <math>Y</math> — банаховы пространства, то можно составить их прямую сумму <math>X\oplus Y</math>, которая опять-таки будет банаховым пространством. Можно и обобщить этот пример к прямой сумме произвольно большого числа банаховых пространств.
  • Если <math>M</math> — замкнутое подпространство банахова пространства <math>X</math>, то факторпространство <math>X/M</math> снова является банаховым.
  • Любое гильбертово пространство тоже является банаховым. Обратное неверно.
  • Если <math>V</math> и <math>W</math> — банаховы пространства над одним полем <math>K</math>, тогда множество непрерывных <math>K</math>-линейных отображений <math>A\colon V\to W</math> обозначается <math>L(V,\;W)</math>. Заметим, что в бесконечномерных пространствах не все линейные отображения автоматически являются непрерывными. <math>L(V,\;W)</math> — векторное пространство, и, если норма задана как <math>\|A\|=\sup\{\|Ax\|\colon x\in V,\;\|x\|\leqslant 1\}</math>, является также и банаховым.
    • Пространство <math>L(V)=L(V,\;V)</math> представляет собой унитарную банахову алгебру; операция умножения в ней задаётся как композиция линейных отображений.

Типы банаховых пространств

Напишите отзыв о статье "Банахово пространство"

Литература


Отрывок, характеризующий Банахово пространство


В ноябре месяце 1805 года князь Василий должен был ехать на ревизию в четыре губернии. Он устроил для себя это назначение с тем, чтобы побывать заодно в своих расстроенных имениях, и захватив с собой (в месте расположения его полка) сына Анатоля, с ним вместе заехать к князю Николаю Андреевичу Болконскому с тем, чтоб женить сына на дочери этого богатого старика. Но прежде отъезда и этих новых дел, князю Василью нужно было решить дела с Пьером, который, правда, последнее время проводил целые дни дома, т. е. у князя Василья, у которого он жил, был смешон, взволнован и глуп (как должен быть влюбленный) в присутствии Элен, но всё еще не делал предложения.
«Tout ca est bel et bon, mais il faut que ca finisse», [Всё это хорошо, но надо это кончить,] – сказал себе раз утром князь Василий со вздохом грусти, сознавая, что Пьер, стольким обязанный ему (ну, да Христос с ним!), не совсем хорошо поступает в этом деле. «Молодость… легкомыслие… ну, да Бог с ним, – подумал князь Василий, с удовольствием чувствуя свою доброту: – mais il faut, que ca finisse. После завтра Лёлины именины, я позову кое кого, и ежели он не поймет, что он должен сделать, то уже это будет мое дело. Да, мое дело. Я – отец!»
Пьер полтора месяца после вечера Анны Павловны и последовавшей за ним бессонной, взволнованной ночи, в которую он решил, что женитьба на Элен была бы несчастие, и что ему нужно избегать ее и уехать, Пьер после этого решения не переезжал от князя Василья и с ужасом чувствовал, что каждый день он больше и больше в глазах людей связывается с нею, что он не может никак возвратиться к своему прежнему взгляду на нее, что он не может и оторваться от нее, что это будет ужасно, но что он должен будет связать с нею свою судьбу. Может быть, он и мог бы воздержаться, но не проходило дня, чтобы у князя Василья (у которого редко бывал прием) не было бы вечера, на котором должен был быть Пьер, ежели он не хотел расстроить общее удовольствие и обмануть ожидания всех. Князь Василий в те редкие минуты, когда бывал дома, проходя мимо Пьера, дергал его за руку вниз, рассеянно подставлял ему для поцелуя выбритую, морщинистую щеку и говорил или «до завтра», или «к обеду, а то я тебя не увижу», или «я для тебя остаюсь» и т. п. Но несмотря на то, что, когда князь Василий оставался для Пьера (как он это говорил), он не говорил с ним двух слов, Пьер не чувствовал себя в силах обмануть его ожидания. Он каждый день говорил себе всё одно и одно: «Надо же, наконец, понять ее и дать себе отчет: кто она? Ошибался ли я прежде или теперь ошибаюсь? Нет, она не глупа; нет, она прекрасная девушка! – говорил он сам себе иногда. – Никогда ни в чем она не ошибается, никогда она ничего не сказала глупого. Она мало говорит, но то, что она скажет, всегда просто и ясно. Так она не глупа. Никогда она не смущалась и не смущается. Так она не дурная женщина!» Часто ему случалось с нею начинать рассуждать, думать вслух, и всякий раз она отвечала ему на это либо коротким, но кстати сказанным замечанием, показывавшим, что ее это не интересует, либо молчаливой улыбкой и взглядом, которые ощутительнее всего показывали Пьеру ее превосходство. Она была права, признавая все рассуждения вздором в сравнении с этой улыбкой.
Она обращалась к нему всегда с радостной, доверчивой, к нему одному относившейся улыбкой, в которой было что то значительней того, что было в общей улыбке, украшавшей всегда ее лицо. Пьер знал, что все ждут только того, чтобы он, наконец, сказал одно слово, переступил через известную черту, и он знал, что он рано или поздно переступит через нее; но какой то непонятный ужас охватывал его при одной мысли об этом страшном шаге. Тысячу раз в продолжение этого полутора месяца, во время которого он чувствовал себя всё дальше и дальше втягиваемым в ту страшившую его пропасть, Пьер говорил себе: «Да что ж это? Нужна решимость! Разве нет у меня ее?»
Он хотел решиться, но с ужасом чувствовал, что не было у него в этом случае той решимости, которую он знал в себе и которая действительно была в нем. Пьер принадлежал к числу тех людей, которые сильны только тогда, когда они чувствуют себя вполне чистыми. А с того дня, как им владело то чувство желания, которое он испытал над табакеркой у Анны Павловны, несознанное чувство виноватости этого стремления парализировало его решимость.
В день именин Элен у князя Василья ужинало маленькое общество людей самых близких, как говорила княгиня, родные и друзья. Всем этим родным и друзьям дано было чувствовать, что в этот день должна решиться участь именинницы.