Норма (математика)

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

Определение

Норма вектора

Норма в векторном пространстве   над полем вещественных или комплексных чисел — это функционал  , обладающий следующими свойствами:

  1.  
  2.   (неравенство треугольника);
  3.  

Эти условия являются аксиомами нормы.

Векторное пространство с нормой называется нормированным пространством, а условия (1–3) — также аксиомами нормированного пространства.

Из аксиом нормы очевидным образом вытекает свойство неотрицательности нормы:

 .

Действительно, из третьего свойства следует:  , а из свойства 2 —  .

Чаще всего норму обозначают в виде:  . В частности,   — это норма элемента   векторного пространства  .

Вектор с единичной нормой ( ) называется единичным или нормированным.

Любой ненулевой вектор   можно нормировать, то есть разделить его на свою норму: вектор   имеет единичную норму. С геометрической точки зрения это значит, что мы берем сонаправленный вектор единичной длины.

Норма матрицы

Нормой матрицы   называется вещественное число  , удовлетворяющее первым трём из следующих условий:

  1.  , причём   только при  ;
  2.  , где  ;
  3.  ;
  4.  .

Если выполняется также и четвёртое свойство, норма называется субмультипликативной. Матричная норма, составленная как операторная, называется подчинённой по отношению к норме, использованной в пространствах векторов. Очевидно, что все подчинённые матричные нормы субмультипликативны.

Матричная норма   из   называется согласованной с векторной нормой   из   и векторной нормой   из   если справедливо:

 

для всех  .

Норма оператора

Норма оператора   — число, которое определяется, как:

 ,
где   — оператор, действующий из нормированного пространства   в нормированное пространство  .

Это определение эквивалентно следующему:

 
  • Свойства операторных норм:
  1.  , причём   только при  ;
  2.  , где  ;
  3.  ;
  4.  .

В конечномерном случае, оператору в некотором базисе соответствует матрица — матрица оператора. Если норма на пространстве(пространствах), где действует оператор, допускает одно из стандартных выражений в базисе, то свойства нормы оператора повторяют аналогичные свойства нормы матрицы.

Свойства нормы

  1.  
  2.  
  3.   [косинус угла]
  4.  
  5.  

Эквивалентность норм

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

Примеры

Линейные нормированные пространства

 
  • Гёльдеровы нормы  -мерных векторов (семейство):  ,

где   (обычно подразумевается, что это натуральное число). В частности:

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

Некоторые виды матричных норм

  • Порожденные нормы  :
    •  :  -норма,  
    •   (евклидова норма) и m = n (квадратные матрицы), подчиненная норма матрицы называется спектральная норма. Спектральная норма матрицы A равна наибольшему сингулярному числу матрицы A или квадратному корню из наибольшего собственного числа положительно полуопределённой матрицы  :  , где   обозначает матрицу, сопряжённую к матрице  .
    •  :  -норма  
Здесь   — сопряжённая к   матрица,   — след матрицы.
  • Поэлементная  -норма ( ):  
    • Норма Фробениуса:  .

Связанные понятия

Топология пространства и норма

Норма задаёт на пространстве метрику (в смысле — функцию расстояния метрического пространства), порождая таким образом метрическое пространство, а значит топологию, базой которой являются всевозможные открытые шары, то есть множества вида  . Понятия сходимости, определённой на языке теоретико-множественной топологии в такой топологии и определённой на языке нормы, при этом совпадают.

См. также