<?xml version="1.0" encoding="UTF-8"?>

<record version="17" id="91">
 <title>vector norm</title>
 <name>VectorNorm</name>
 <created>2001-10-06 03:07:24</created>
 <modified>2009-04-03 06:10:43</modified>
 <type>Definition</type>
 <creator id="2826" name="mike"/>
 <author id="2826" name="mike"/>
 <author id="2399" name="Manoj"/>
 <author id="6" name="Logan"/>
 <classification>
	<category scheme="msc" code="46B20"/>
 </classification>
 <defines>
	<concept>normed vector space</concept>
	<concept>Euclidean norm</concept>
 </defines>
 <related>
	<object name="Vector"/>
	<object name="Metric"/>
	<object name="Norm"/>
	<object name="VectorPnorm"/>
	<object name="NormedVectorSpace"/>
	<object name="MatrixNorm"/>
	<object name="MatrixPnorm"/>
	<object name="FrobeniusMatrixNorm"/>
	<object name="CauchySchwarzInequality"/>
	<object name="MetricSpace"/>
	<object name="VectorSpace"/>
	<object name="LpSpace"/>
	<object name="OperatorNorm"/>
	<object name="BoundedOperator"/>
	<object name="SemiNorm"/>
	<object name="BanachSpace"/>
	<object name="HilbertSpace"/>
	<object name="UnitVector"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}</preamble>
 <content>A vector norm on the real vector space $V$ is a function $f : V \to \mathbb{R}$ that satisfies the following properties:

\begin{eqnarray*}
    f(x) = 0 \iff x = 0 &amp;&amp; \\
    f(x) \ge 0          &amp;&amp; x \in V \\
    f(x+y) \leq f(x)+f(y) &amp;&amp; x,y \in V \\
    f(\alpha x) = |\alpha|f(x) &amp;&amp; \alpha \in \mathbb{R},x\in V
\end{eqnarray*}

Such a function is denoted as $||\,x\,||$.  Particular norms are distinguished by subscripts, such
as $||\,x\,||_V$, when referring to a norm in the space $V$.  A \emph{unit vector} with respect to the norm $||\,\cdot\,||$ is a vector $x$ satisfying
$||\,x\,|| = 1$.\\

A vector norm on a complex vector space is defined similarly.

A common (and useful) example of a real norm is the Euclidean norm given by $||x||=(x_1^2 + x_2^2 +  \cdots + x_n^2)^{1/2}$ defined on $V=\mathbb{R}^n$.
Note, however, that there exists vector spaces which are metric, but upon which it is not possible to define a norm. If it possible, the space is called a {\em normed vector space}. Given a metric on the vector space, a necessary and sufficient condition for this space to be a normed space, is
\begin{eqnarray*}
     d(x+a,y+a)=&amp;d(x,y) &amp; \forall x,y,a \in V\\
     d(\alpha x,\alpha y)=&amp;|\alpha|d(x,y) &amp;\forall x,y \in V, \alpha \in \mathbb{R}\\
\end{eqnarray*}
But given a norm, a metric can always be defined by the equation $ d(x,y)=||x-y||$. Hence every normed space is a metric space.</content>
</record>
