Пространство непрерывных функций: различия между версиями

[непроверенная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м →‎Свойства: викификация
м викификация
Строка 1:
'''Пространство непрерывных функций'''  — линейное [[Нормированное векторное пространство|нормированное пространство]], элементами которого являются [[Непрерывное отображение|непрерывные]] на отрезке <math>[a,b]</math> функции (обычно обозначается <math>{\mathrm C}[a,b]</math>, иногда <math>C^0[a,b]</math> или <math>C^{(0)}[a,b]</math>) .
Норма в этом пространстве определяется следующим образом:
: <math>||x||_{{\mathbf C}[a,b]}=\max_{t\in [a,b]}|x(t)|</math>
Эту норму также называют '''нормой Чебышёва''' или '''равномерной нормой''', т.так к.как сходимость по этой норме эквивалентна [[равномерная сходимость|равномерной сходимости]].
 
== Свойства ==
Строка 10:
* В <math> {\mathrm C}</math><math>[a,b]</math> не выполняется [[тождество параллелограмма]], поэтому норма в нём не порождает никакого [[скалярное произведение|скалярного произведения]].
 
== Вариации и обобщения ==
Аналогичным образом это пространство строится так же и над [[Словарь_терминов_общей_топологии#.D0.9E|областями]] и их [[Замыкание (геометрия)|замыканиями]]. В случае некомпактного множества максимум надо заменить на [[Точная верхняя и нижняя грани|точную верхнюю грань]].
 
Итак, пространством непрерывных ограниченных функций ([[Вектор-функция|вектор-функций]]) <math>{\mathbf C}(X)</math> называется множество всех непрерывных ограниченных функций <math>x:X\to Y</math> со введённой на нём нормой:
: <math>||x||_{{\mathbf C}(X)}=\sup_{t\in X}\|x(t)\|_{Y}.</math>
----
Наряду с чебышёвской нормой часто рассматривается пространство непрерывных функций с интегральной нормой:
: <math>||x||=\int\limits_a^b |x(t)|\,dt</math>
 
В смысле этой нормы пространство непрерывных на отрезке функций уже не образует [[полное линейное пространство|полного линейного пространства]].
Фундаментальной, но не сходящейся в нем является, например, последовательность <math>x_n</math>
: <math>
x_n(t)=
\begin{cases}
Строка 30:
</math>
 
Его [[пополнение]] есть <math>L_1[a,b]</math>  — [[Пространство Lp|пространство суммируемых функций]].
 
== Литература ==
* {{книга
|автор = А. Н. Колмогоров, С. И. Фомин
|заглавие = Элементы теории функций и функционального анализа
Строка 43:
|isbn =
}}
* {{книга
|автор = Л. А. Люстерник, В. В. Соболев
|заглавие = Элементы функционального анализа
Строка 53:
|isbn =
}}
* {{книга
|автор = M. Reed, B. Simon
|заглавие = Methods of modern mathematicals physics. Vol.1 Functional Analysis
Строка 63:
|isbn =
}}
* {{книга
|автор = К. Иосида
|заглавие = Функциональный анализ