Норма вектора | это... Что такое Норма вектора? (original) (raw)

Норма — структура длины векторов на линейном пространстве.

Норма в векторном линейном пространстве $L\$ над полем вещественных или комплексных чисел есть функция $p\colon L \to \mathbb{R}$ , удовлетворяющая следующим условиям (аксиомы нормы):

$p(x) \geqslant 0$ , причём p(x) = 0 только при ;
$p(x+y) \leqslant p(x)+p(y)$ для всех $x, y \in L$ (неравенство треугольника);
$~p(\alpha\, x)=|\alpha|p(x)$ для любого скаляра α.

Норма обычно обозначается $\|x\|$ . Линейное пространство с нормой называется нормированным пространством, а условия (1-3) — также аксиомами нормированного пространства.

Аксиома 2 обеспечивает выпуклость шаров $\|x\| < R$ , аксиома 3 — кроме прочего, их центральную симметрию.

Любой ненулевой вектор (в частности функцию) конечной нормы можно нормировать, поделив его на значение его нормы (после чего он станет нормированным). Также, нередко применяется выражение «нормированный на», подразумевающее, что норма объекта равна в этом случае не единице, а другой определенной величине. Например, иногда говорят о нормировании на дельта-функцию, когда речь идет о нормировании базиса функций, нумерованного непрерывным параметром.

Содержание

1 Примеры норм в линейных пространствах
2 Топология пространства и норма
3 Эквивалентность норм
4 Операторная норма
5 Матричная норма
- 5.1 Некоторые виды матричных норм
6 См. также

Примеры норм в линейных пространствах

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

$\| x \| = \sqrt{\langle x, x \rangle},\quad x \in X.$

Гёльдеровы нормы _n_-мерных векторов (семейство): $\|x\|_p = \sqrt[p]{\sum_{i} |x_i|^p}$ ,

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

Нормы функций в _C_[0,1] — пространстве вещественных (или комплексных) непрерывных функций на отрезке [0,1]:

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

Норма задаёт на пространстве метрику (в смысле - функцию расстояния метрического пространства), порождая таким образом метрическое пространство, а значит топологию, базой которой являются всевозможные открытые шары, то есть множества вида $B(x,r)=\{y\colon\|x-y\|<r\}$ . Понятия сходимости, определённой на языке теоретико-множественной топологии в такой топологии и определённой на языке нормы, при этом совпадают.

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

Две нормы p и q на пространстве L называются эквивалентными, если существует две положительные константы _C_1 и _C_2 такие, что для любого $x \in L$ выполняется $C_1 p(x) \leqslant q(x) \leqslant C_2 p(x)$ . Эквивалентные нормы задают на пространстве одинаковую топологию. В конечномерном пространстве все нормы эквивалентны.

Операторная норма

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

$\|A\| = \sup_{\|x\|=1} \|Ax\|$ ,

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

Свойства операторных норм:

$\|A\| \geqslant 0$ , причём $\|A\| = 0$ только при A = 0;
$\|\alpha A\| = |\alpha| \cdot \|A\|$ , где $\alpha\in\mathbb{R}$ ;
$\|A + B\| \leqslant \|A\| + \|B\|$ ;
$\|AB\| \leqslant \|A\| \cdot \|B\|$ .

Матричная норма

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

$\|A\| \geqslant 0$ , причём $\|A\| = 0$ только при $A = 0\$ ;
$\|\alpha A\| = |\alpha| \cdot \|A\|$ , где $\alpha\in\R$ ;
$\|A + B\| \leqslant \|A\| + \|B\|$ ;
$\|AB\| \leqslant \|A\| \cdot \|B\|$ .

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

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

Здесь $A^\dagger$ — сопряжённая к A матрица, Tr — след матрицы.

Здесь σ_i_(A) — i-ое собственное число матрицы A.

См. также

Wikimedia Foundation.2010.