\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Real Vectors
Space Norm
Absolute Value
Needed by:
Norms
Real Inner Product
Real Vector Angles
Real Vector Projections
Vectors as Matrices
Links:
Sheet PDF
Graph PDF

Real Norm

Why

We generalize our notion of size to $n$-dimensional space.

Definition

The norm (or Euclidean norm) of $x \in \R ^n$ is

\[ \sqrt{x_1^2 + x_2^2 + \cdots + x_n^2}. \]

A vector $u \in \R ^n$ with $\norm{u} = 1$ is called a unit vector.

Notation

We denote the norm of $x$ by $\norm{x}$. In other words, $\norm{\cdot}: \R ^n \to \R $ is a function from vectors to real numbers. The notation follows the notation of absolute value, the magnitude of a real number, and the double verticals remind us that $x$ is a vector. A warning: some authors write $\abs{x}$ for the norm of $x$ when it is understood that $x \in \R ^n$.

We understand the norm of $x$ by comparison with the distance function $d: \R ^n \times \R ^n \to \R $. On one hand, the norm of $x$ is $d(x, 0)$. So $\norm{x}$ measures the length of the vector $x$ from the origin $0$. On the other hand, $d(x, y) = \norm{x - y}$. So $\norm{x - y}$ measures the distance between $x$ and $y$.

Properties

The norm has several important properties:

  1. $\norm{\alpha x} = \abs{\alpha}\norm{x}$, called (absolute) homogeneity,
  2. $\norm{x + y} \leq \norm{x} + \norm{y}$, called the triangle inequality,
  3. $\norm{x} \geq 0$, called non-negativity, and
  4. $\norm{x} = 0 \iff x = 0$, called definiteness.

Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view