# GetWiki

*normed vector space*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

normed vector space

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**normed vector space**is a vector space over the real or complex numbers, on which a

**norm**is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of distance in the real world. A norm is a real-valued function defined on the vector space that has the following properties:

- The zero vector,
**0**, has zero length; every other vector has a positive length. - : |x|geq 0, and |x|= 0 if and only if x=0
- Multiplying a vector by a positive number changes its length without changing its direction. Moreover,
- : |alpha x|=|alpha| |x| for any scalar alpha.
- The triangle inequality holds. That is, taking norms as distances, the distance from point A through B to C is never shorter than going directly from A to C, or the shortest distance between any two points is a straight line.
- : |x+y| le |x|+|y| for any vectors x and y. (triangle inequality)

**norm**. A vector space on which a norm is defined is then called a

**normed space**or

**normed vector space**.BOOK, Frank M., Callier, Linear System Theory, New York, Springer-Verlag, 1991, 0-387-97573-X, Normed vector spaces are central to the study of linear algebra and functional analysis.

## Definition

A**normed vector space**is a pair (V, |cdot| ) where V is a vector space and |cdot| a norm on V.A

**seminormed vector space**is a pair (V,p) where V is a vector space and p a seminorm on V.We often omit p or |cdot| and just write V for a space if it is clear from the context what (semi) norm we are using.In a more general sense, a vector norm can be taken to be any real-valued function{{clarify|date=January 2018}} that satisfies the three properties above.A useful variation of the triangle inequality is

|x-y| ge | |x|-|y| | for any vectors x and y.

This also shows that a vector norm is a continuous function.Note that property 2 depends on a choice of norm |alpha| on the field of scalars. When the scalar field is mathbb R (or more generally a subset of mathbb C), this is usually taken to be the ordinary absolute value, but other choices are possible. For example, for a vector space over mathbb Q one could take |alpha| to be the *p*-adic norm, which gives rise to a different class of normed vector spaces.

## Topological structure

If (*V*, â€–Â·â€–) is a normed vector space, the norm â€–Â·â€– induces a metric (a notion of

*distance*) and therefore a topology on

*V*. This metric is defined in the natural way: the distance between two vectors

**u**and

**v**is given by â€–

**u**âˆ’

**v**â€–. This topology is precisely the weakest topology which makes â€–Â·â€– continuous and which is compatible with the linear structure of

*V*in the following sense:

- The vector addition + :
*V*Ã—*V*â†’*V*is jointly continuous with respect to this topology. This follows directly from the triangle inequality. - The scalar multiplication Â· :
**K**Ã—*V*â†’*V*, where**K**is the underlying scalar field of*V*, is jointly continuous. This follows from the triangle inequality and homogeneity of the norm.

**u**and

**v**as â€–

**u**âˆ’

**v**â€–. This turns the seminormed space into a pseudometric space (notice this is weaker than a metric) and allows the definition of notions such as continuity and convergence.To put it more abstractly every semi-normed vector space is a topological vector space and thus carries a topological structure which is induced by the semi-norm.Of special interest are complete normed spaces called Banach spaces. Every normed vector space

*V*sits as a dense subspace inside a Banach space; this Banach space is essentially uniquely defined by

*V*and is called the

*completion*of

*V*.All norms on a finite-dimensional vector space are equivalent from a topological viewpoint as they induce the same topology (although the resulting metric spaces need not be the same).{{Citation | last1=Kedlaya | first1=Kiran S. | author1-link=Kiran Kedlaya | title=

*p*-adic differential equations | publisher=Cambridge University Press | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-76879-5 | year=2010 | volume=125| citeseerx=10.1.1.165.270 }}, Theorem 1.3.6 And since any Euclidean space is complete, we can thus conclude that all finite-dimensional normed vector spaces are Banach spaces. A normed vector space

*V*is locally compact if and only if the unit ball

*B*= {

*x*: â€–

*x*â€– â‰¤ 1} is compact, which is the case if and only if

*V*is finite-dimensional; this is a consequence of Riesz's lemma. (In fact, a more general result is true: a topological vector space is locally compact if and only if it is finite-dimensional.The point here is that we don't assume the topology comes from a norm.)The topology of a seminormed vector space has many nice properties. Given a neighbourhood system mathcal{N}(0) around 0 we can construct all other neighbourhood systems as

mathcal{N}(x)= x + mathcal{N}(0) := {x + N mid N in mathcal{N}(0) }

with
x + N := {x + n mid n in N }.

Moreover there exists a neighbourhood basis for 0 consisting of absorbing and convex sets. As this property is very useful in functional analysis, generalizations of normed vector spaces with this property are studied under the name locally convex spaces.## Linear maps and dual spaces

The most important maps between two normed vector spaces are the continuous linear maps. Together with these maps, normed vector spaces form a category.The norm is a continuous function on its vector space. All linear maps between finite dimensional vector spaces are also continuous.An*isometry*between two normed vector spaces is a linear map

*f*which preserves the norm (meaning â€–

*f*(

**v**)â€– = â€–

**v**â€– for all vectors

**v**). Isometries are always continuous and injective. A surjective isometry between the normed vector spaces

*V*and

*W*is called an

*isometric isomorphism*, and

*V*and

*W*are called

*isometrically isomorphic*. Isometrically isomorphic normed vector spaces are identical for all practical purposes.When speaking of normed vector spaces, we augment the notion of dual space to take the norm into account. The dual

*V*' of a normed vector space

*V*is the space of all

*continuous*linear maps from

*V*to the base field (the complexes or the reals) â€” such linear maps are called "functionals". The norm of a functional Ï† is defined as the supremum of |Ï†(

**v**)| where

**v**ranges over all unit vectors (i.e. vectors of norm 1) in

*V*. This turns

*V*' into a normed vector space. An important theorem about continuous linear functionals on normed vector spaces is the Hahnâ€“Banach theorem.

## Normed spaces as quotient spaces of seminormed spaces

The definition of many normed spaces (in particular, Banach spaces) involves a seminorm defined on a vector space and then the normed space is defined as the quotient space by the subspace of elements of seminorm zero. For instance, with the L*p*spaces, the function defined by

|f|_p = left( int |f(x)|^p ;dx right)^{1/p}

is a seminorm on the vector space of all functions on which the Lebesgue integral on the right hand side is defined and finite. However, the seminorm is equal to zero for any function supported on a set of Lebesgue measure zero. These functions form a subspace which we "quotient out", making them equivalent to the zero function.## Finite product spaces

Given*n*seminormed spaces

*X*

**'i****with seminorms**

*q**'i*we can define the product space as

X := prod_{i=1}^{n} X_i

with vector addition defined as
(x_1,ldots,x_n)+(y_1,ldots,y_n):=(x_1 + y_1, ldots, x_n + y_n)

and scalar multiplication defined as
alpha(x_1,ldots,x_n):=(alpha x_1, ldots, alpha x_n).

We define a new function *q*

q:X mapsto mathbb{R}

for example as
q:(x_1,ldots,x_n) to sum_{i=1}^n q_i(x_i).

which is a seminorm on *X*. The function

*q*is a norm if and only if all

*q*

*i*are norms.More generally, for each real

*p*â‰¥1 we have the seminorm:

q:(x_1,ldots,x_n) to left( sum_{i=1}^n q_i(x_i)^p right)^frac{1}{p}.

For each p this defines the same topological space.A straightforward argument involving elementary linear algebra shows that the only finite-dimensional seminormed spaces are those arising as the product space of a normed space and a space with trivial seminorm. Consequently, many of the more interesting examples and applications of seminormed spaces occur for infinite-dimensional vector spaces.## See also

- Locally convex space, generalizations of seminormed vector spaces
- Banach space, normed vector spaces which are complete with respect to the metric induced by the norm
- Inner product space, normed vector spaces where the norm is given by an inner product
- Finsler manifold, where the length of each tangent vector is determined by a norm
- Space (mathematics)

## References

- {{Citation | title=Functional analysis and control theory: Linear systems|last=Rolewicz |first=Stefan|year=1987| isbn=90-277-2186-6| publisher=D. Reidel Publishing Co.; PWNâ€”Polish Scientific Publishers|oclc=13064804|edition=Translated from the Polish by Ewa Bednarczuk|series=Mathematics and its Applications (East European Series)|location=Dordrecht; Warsaw|volume=29|pages=xvi+524|mr=920371| doi=10.1007/978-94-015-7758-8}}

**- content above as imported from Wikipedia**

- "

- time: 9:12am EDT - Wed, Jun 19 2019

- "

__normed vector space__" does not exist on GetWiki (yet)- time: 9:12am EDT - Wed, Jun 19 2019

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED