Перейти к содержанию

Теория функций действительного переменного/Линейные функционалы

Материал из Викиучебника — открытых книг для открытого мира
Теория функций действительного переменного

  1. Эквивалентные множества
  2. Счётные множества
  3. Метрическое пространство
  4. Множества в метрическом пространстве
  5. Сходимость метрического пространства
  6. Непрерывные отображения метрического пространства
  7. Полные метрические пространства
  8. Принцип сжимающихся отображений
  9. Применение принципа сжимающихся отображений
  10. Линейные пространства
  11. Линейные функционалы
  12. Выпуклые множества и функционалы
  13. Нормированные и евклидовы пространства
  14. Непрерывные линейные функционалы
  15. Сопряжённое пространство
  16. Слабая сходимость
  17. Обобщённые функции
  18. Линейные операторы
  19. Компактные операторы
  20. Системы множеств
  21. Мера множеств, измеримые функции
  22. Интеграл Лебега
  23. Теория дифференцирования
  24. Пространства суммируемых функций
  25. Тригонометрические ряды
  26. Ортогональные системы функций
  27. Преобразование Фурье

Определения

[править]

Функционал — это правило, по которому каждому элементу некоторого множества ставится в соответствие некоторое действительное число.

Функционал , заданный на линейном пространстве называют аддитивным, если он обладает следующим свойством

.

Функционал называется однородным, если для любого числа имеет место равенство

.

Функционал, заданный на комплексном линейном пространстве, называется сопряжённо-однородным, если если для любого числа имеет место равенство

,

где  — комплексно-сопряжённое с число.

Функционал, который является одновременно аддитивным и однородным, называют линейным функционалом. Одновременно аддитивный и сопряжённо-однородный функционал называют сопряженно-линейным или полулинейным.

Примеры

[править]

Геометрический смысл линейного функционала

[править]

Пусть  — линейный функционал, заданный на линейном пространстве и не равный тождественно нулю.

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

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

,
.

Пусть ,  — произвольные вещественные числа, тогда

.

Таким образом, линейная комбинация элементов ядра функционала также является элементом его ядра.

Ядро функционала имеет коразмерность 1. Чтобы доказать этот факт, возьмём какую-либо точку не входящую в ядро, то есть такую, что . Такой элемент всегда можно выбрать, так как в противном случае функционал будет тождественно равен нулю, а это противоречит нашему исходному предположению. Более того, можно считать, что

,

так как если это равенство не выполняется, то вместо можно было бы взять точку

,

в этой точке значение функционала будет равно единице, так как, по определению линейного функционала:

.

Для каждой точки определим

.

В точке выполняется следующее равенство

,

а значит, по определению ядра линейного функционала:

.

Представление элемента в виде

является единственным (при заданной точке ). Доказательство единственности проведём от противного. Пусть существуют два таких представления:

,
.

Вычтем из первого равенства второе:

.

Если имеет место равенство

,

то левая часть равенства есть нуль, а следовательно и правая часть равна нулю, то есть

.

Если же

,

то можно получить следующее выражение для вектора :

.

Вычислим значение функционала в этой точке

,

но это противоречит предположению

,

а значит представление

действительно является единственным.

Докажем следующее утверждение: две точки принадлежат одному классу смежности по подпространству тогда и только тогда, когда значения в этих точках равны. Точки и принадлежат одному классу смежности по , если

,

то есть, по определению ядра функционала, если

.

В силу линейности функционала:

,

откуда и следует исходное утверждение.

Любой класс смежности по подпространству определеятся любым своим представителем. В качестве представителя можно взять элемент вида , откуда и следует, что фактор-пространство имеет размерность 1, то есть ядро имеет коразмерность 1 (по определению коразмерности).

Можно доказать, что ядро линейного функционала определяет его с точностью до постоянного множителя. Рассмотрим два функционала и с совпадающими ядрами:

.

Если ядро этих функционалов совпадает со всем пространством, то очевидно, что оба функционала тождественно равны нулю в этом пространстве, и утверждение доказано. Будем считать, что функционалы и не равны тождественно нулю. Выберем элемент

(выше было показано, что такой выбор всегда возможен, если функционал не равен тождественно нулю), тогда существует единственное представление

.

Вычислим значение функционала , используя это представление:

.

Если , то функционал был бы тождественно равен нулю, что противоречит нашему предположению. Из равенства

вытекает, что эти два функционала пропорциональны друг другу. Утверждение доказано.

Для всякого подпространства , имеющего коразмерность 1, можно построить такой функционал , что : . Построение осуществляется следующим образом. Выберем произвольную точку

и представить каждую точку исходного пространства в виде

.

(индекс у коэффициента разложения подчёркивает тот факт, что он различен для разных точек линейного пространства). Положив

,

получим линейный функционал, ядро которого совпадает с данным подпространством .

Пусть  — подпространство коразмерности 1. Всякий класс смежности пространства по его подпространству называется гиперплоскостью, параллельной подпространству . Само подпространство является гиперплоскостью, содержащей нулевой элемент. Другими словами, гиперплоскость  — это множество, получаемое сдвигом всех элементов некоторого подпространства коразмерности 1 на некоторый вектор :

.

Если  — линейный функционал, не равный тождественно нулю, определённый на пространстве , то множество

называется гиперплоскостью, параллельной подпространству .

Если  — гиперплоскость, параллельная подпространству , коразмерность которого равна 1, то можно построить единственный линейный функционал такой, что

.

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