LINALG10 (957123)
Текст из файла
90
1.19. Норма линейного оператора
Определение 1.32 Нормой линейного оператора (где
и
- евклидовы пространства) называется вещественное число, обозначаемое
и равное
Тем самым норма определена как точная верхняя грань (конечная или бесконечная) множества значений нормы вектора, являющегося образом вектора единичной нормы, пробегающего область определения оператора. Заметим, что, вообще говоря, нельзя операцию заменить взятием максимума, так как, во-первых, норма не всегда ограниченна, а во-вторых, может и не принадлежать самому указанному выше множеству значений выражения
при
.
Утверждение 1.23 Для любого вектора и любого линейного оператора
.
Доказательство. Представим вектор следующим образом:
где (единичный вектор, «коллинеарный»
).
Тогда
(здесь мы воспользовались свойством (2) нормы вектора из п. 1.5).
Поскольку по определению нормы линейного оператора (элемент числового множества не превосходит точной верхней грани этого множества!), то
что и требовалось.
Определение 1.33 Линейный оператор называется ограниченным, если существует такая константа
, что
.
Центральным утверждением этого раздела является
Теорема 1.19 Всякий линейный оператор, действующий из одного конечномерного евклидова пространства в другое, является ограниченным.
Доказательство. Вводя некоторую пару ортонормов , получим (для некоторого вектора
единичной нормы):
В выражении, написанном выше через обозначен вектор из области определения оператора
(т.е., пространства
) координаты которого в ортонорме
совпадают с одноименными элементами
-ой строки матрицы
оператора в выбранной паре базисов. То есть, подробнее:
Из (1) следует:
Используя неравенство Коши-Буняковского, будем иметь:
Следовательно, левая часть в (2) ограничена сверху
В силу произвольности выбора вектора единичной нормы отсюда и вытекает доказываемое:
Стоящая в правой части неравенства (3) числовая константа, определяемая, очевидно, оператором , и есть искомая константа
.
Мы будем использовать доказанный результат в теории дифференцирования функций нескольких переменных.
Теорема 1.20 Для любых линейных операторов имеет место:
Доказательство. Первые два неравенства доказываются легко. Чтобы доказать третье, запишем:
Так как все множество является линейным пространством, то оказывается, что это - нормированное линейное пространство, а именно линейное пространство, любому вектору которого однозначно сопоставляется неотрицательное вещественное число, удовлетворяющее свойствам (1)-(3). Структура нормированного линейного пространства может быть введена через скалярное умножение векторов, что дает нам понятие евклидова пространства. Но в пространстве операторов норма вводится иначе, так как ни о каком скалярном произведении линейных операторов речи нет.
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.