В математике, нормированное векторное пространство или нормированное пространство - это векторное пространство над вещественным или комплексным числа, по которым определена норма. Норма - это формализация и обобщение на реальные векторные пространства интуитивного понятия «длина» в реальном мире. Норма - это функция с действительным знаком, определенная в векторном пространстве, которая обычно обозначается и обладает следующими свойствами:
Норма индуцирует расстояние по формуле
, которые превращают нормированное векторное пространство в метрическое пространство и топологическое векторное пространство. Если этот показатель равен complete, то нормированное пространство называется банаховым пространством. Каждое нормированное векторное пространство может быть «однозначно расширено» до банахова пространства, что делает нормированные пространства тесно связанными с банаховыми пространствами. Изучение нормированных пространств и банаховых пространств является фундаментальной частью функционального анализа, который является одним из основных разделов математики.
пространство внутреннего произведения становится нормированным пространством, когда норма вектора является квадратным корнем из внутреннего произведения вектора самого по себе. Евклидово расстояние в евклидовом пространстве связано с нормой связанного векторного пространства (которое является внутренним пространством произведения) по формуле
A нормированное векторное пространство - это пара , где - это векторное пространство и a norm на .
A полунормированное векторное пространство - это пара , где - векторное пространство, а a полунорма на .
Мы часто опускаем или и просто напишите для пробела, если это cl ухо из контекста, какую (полу) норму мы используем.
В более общем смысле векторной нормой может быть любая функция с действительными значениями, которая удовлетворяет трем свойствам, указанным выше.
Полезный вариант неравенства треугольника :
Это также показывает, что векторной нормой является непрерывная функция.
Обратите внимание, что свойство 2 зависит от выбора нормы в области скаляров. Когда скалярное поле имеет вид (или, в более общем смысле, подмножество ), обычно принимается за обычное абсолютное значение, но возможны и другие варианты. Например, для векторного пространства над можно взять , чтобы быть p-адической нормой, которая дает начало другому классу нормированных векторных пространств.
Если (V, ‖ · ‖) - нормированное векторное пространство, норма ‖ · ‖ индуцирует метрику (понятие расстояния) и, следовательно, топология на V. Эта метрика определяется естественным образом: расстояние между двумя векторами u и v задается как ‖ u− v‖. Эта топология как раз и является самой слабой топологией, которая делает · ‖ непрерывной и совместима с линейной структурой V в следующем смысле:
Аналогично, для любого полунормированного векторного пространства мы можем определить расстояние между двумя векторами u и v как ‖ u− v‖. Это превращает полунормированное пространство в псевдометрическое пространство (обратите внимание, что оно слабее, чем метрика) и позволяет определять такие понятия, как непрерывность и сходимость. Говоря более абстрактно, каждое полунормированное векторное пространство является топологическим векторным пространством и, таким образом, несет в себе топологическую структуру , индуцированную полунормой.
Особый интерес представляют полные нормированные пространства, называемые банаховыми пространствами. Каждое нормированное векторное пространство V является плотным подпространством внутри банахова пространства; это банахово пространство по существу однозначно определяется V и называется пополнением V.
Две нормы в одном векторном пространстве называются эквивалентными, если они определяют одну и ту же топологию. В конечномерном векторном пространстве все нормы эквивалентны, но это неверно для бесконечномерных векторных пространств.
Все нормы в конечномерном векторном пространстве эквивалентны с топологической точки зрения, поскольку они индуцируют одну и ту же топологию (хотя результирующие метрические пространства не обязательно должны быть одинаковыми). А поскольку любое евклидово пространство полно, мы можем заключить, что все конечномерные нормированные векторные пространства являются банаховыми пространствами. Нормированное векторное пространство V локально компактно тогда и только тогда, когда единичный шар B = {x: ‖x‖ ≤ 1} компактный, что имеет место тогда и только тогда, когда V конечномерна; это следствие леммы Рисса. (На самом деле верен более общий результат: топологическое векторное пространство локально компактно тогда и только тогда, когда оно конечномерно. Дело в том, что мы не предполагаем, что топология исходит из нормы.)
Топология полунормированного векторного пространства имеет много хороших свойств. Учитывая систему соседства около 0, мы можем построить все другие системы соседства как
с
Более того, существует базис окрестности для 0, состоящий из поглощающего и выпуклого устанавливает. Поскольку это свойство очень полезно в функциональном анализе, обобщения нормированных векторных пространств с этим свойством изучаются под названием локально выпуклые пространства.
A топологическое векторное пространство называется нормируемым, если существует норма на X такой, что каноническая метрика индуцирует топологию на X. Следующая теорема принадлежит Колмагорову:
Теорема Топологическое векторное пространство Хаусдорфа нормируемо тогда и только тогда, когда существует выпуклая ограниченная окрестность фон Неймана .
Произведение семейства нормируемых пространств нормируемо тогда и только тогда, когда только конечное число пробелов нетривиальны (например, ). Кроме того, фактор нормируемого пространства X по замкнутому векторному подпространству C нормируем, и если, кроме того, топология X задается нормой тогда карта , заданная как - хорошо определенная норма на X / C, которая индуцирует фактор-топологию на X / C.
Если X является хаусдорфовым локально выпуклым топологическим векторным пространством, то следующие условия эквивалентны:
Кроме того, X конечномерно тогда и только тогда, когда нормируется (здесь обозначает с топологией weak- * ).
Самыми важными отображениями между двумя нормированными векторными пространствами являются непрерывные линейные отображения. Вместе с этими отображениями нормированные векторные пространства образуют категорию.
Норма является непрерывной функцией на своем векторном пространстве. Все линейные отображения между конечномерными векторными пространствами также непрерывны.
Изометрия между двумя нормированными векторными пространствами - это линейное отображение f, которое сохраняет норму (то есть ‖f (v ) ‖ = ‖ v ‖ для всех векторов v ). Изометрии всегда непрерывны и инъективны. Сюръективная изометрия между нормированными векторными пространствами V и W называется изометрическим изоморфизмом, а V и W называются изометрически изоморфными. Изометрически изоморфные нормированные векторные пространства идентичны для всех практических целей.
Говоря о нормированных векторных пространствах, мы дополняем понятие двойного пространства, чтобы учесть норму. Двойственное V 'нормированного векторного пространства V - это пространство всех непрерывных линейных отображений из V в базовое поле (комплексы или вещественные числа) - такие линейные отображения называются «функционалами». Норма функционала φ определяется как супремум числа | φ (v ) | где v пробегает все единичные векторы (то есть векторы с нормой 1) в V. Это превращает V 'в нормированное векторное пространство. Важной теоремой о непрерывных линейных функционалах на нормированных векторных пространствах является теорема Хана – Банаха.
Определение многих нормированных пространств (в частности, Банаховы пространства ) включают полунорму, определенную на векторном пространстве, а затем нормированное пространство определяется как фактор-пространство по подпространству элементов нулевой полунормы. Например, с пробелами L функция, определенная как
- полунорма в векторном пространстве всех функций, на которых Лебег интеграл в правой части определен и конечен. Однако полунорма равна нулю для любой функции , поддерживаемой на множестве меры Лебега ноль. Эти функции образуют подпространство, которое мы "выделяем", делая их эквивалентными нулевой функции.
Для n полунормированных пространств X i с полунормами q i мы можем определить пространство продукта как
с векторным сложением, определенным как
и скалярное умножение, определенное как
Мы определяем новую функцию q
, например, как
, которая является полунормой на X. Функция q является нормой тогда и только тогда, когда все q i являются нормами.
В более общем смысле, для каждого действительного p≥1 мы имеем полунорму:
Для каждого p это определяет одно и то же топологическое пространство.
Прямое рассуждение с использованием элементарной линейной алгебры показывает, что единственными конечномерными полунормированными пространствами являются те, которые возникают как пространство произведения нормированного пространства и пространства с тривиальной полунормой. Следовательно, многие из наиболее интересных примеров и приложений полунормированных пространств встречаются для бесконечномерных векторных пространств.