Функциональные пространства
Прирассмотрениифункционаловиихэкстремумовбываетполезноуточнить
область определения функционала, т.е. совокупность функций, для которых он
рассматривается. Обычноэтасовокупностьпредставляетсобойнекотороелинейное
пространство – илиегочасть,–состоящееизфункций, надкоторымилинейные
действиявыполняютсяпопростейшимправилам. Такиепространстваназываются
функциональнымипространствами, оничащевсегобесконечномерные.
Функциональныепространстваобычноявляются нормированными, т.е. вних
имеетсяпонятие нормы, характеризующейуклонениефункцииоттождественногонуля.
Нормафункции f обозначаетсячерез || f ||, онапредставляетсобойконечное
действительноечислоидолжнаудовлетворятьследующимтребованиям (аксиомы
нормы):
1.|| f ||≥0, причем || f ||=0 толькодлятождественнонулевойфункции f.
2.|| af||=| a|·||f|| (a=const).
3.|| f +g||≤|| f ||+|| g||.
Понятиеуклоненияфункцийможетбытьвведенопо-разному. Соответственно
этому, рассматривают различные функциональные пространства, состоящие из
функций, заданныхнакаком-либоинтервале a ≤ x ≤ b.(Отметим, чтовсефункции,
составляющиелинейноефункциональноепространство, должныбытьзаданынаодном