Added to Favorites

Related Searches

Nearby Words

In mathematics, a collection of objects called vectors, together with a field of objects (*see* field theory), known as scalars, that satisfy certain properties. The properties that must be satisfied are: (1) the set of vectors is closed under vector addition; (2) multiplication of a vector by a scalar produces a vector in the set; (3) the associative law holds for vector addition, *u* + (*v* + *w*) = (*u* + *v*) + *w*; (4) the commutative law holds for vector addition, *u* + *v* = *v* + *u*; (5) there is a *0* vector such that *v* + *0* = *v*; (6) every vector has an additive inverse (*see* inverse function), *v* + (*−v*) = *0*; (7) the distributive law holds for scalar multiplication over vector addition, *math.n*(*u* + *v*) = *math.n**u* + *math.n**v*; (8) the distributive law also holds for vector multiplication over scalar addition, (*math.m* + *math.n*)*v* =* math.mv* +

Learn more about vector space with a free trial on Britannica.com.

Encyclopedia Britannica, 2008. Encyclopedia Britannica Online.

In mathematics, with 2- or 3-dimensional vectors with real-valued entries, the idea of the "length" of a vector is intuitive and can easily be extended to any real vector space R^{n}. It turns out that the following properties of "vector length" are the crucial ones.## Definition

## Topological structure

## Linear maps and dual spaces

## Normed spaces as quotient spaces of semi normed spaces

## Finite product spaces

Given n semi normed spaces X_{i} with semi norms q_{i} we can define the product space as
_{i} are norms.## See also

- The zero vector, 0, has zero length; every other vector has a positive length.
- Multiplying a vector by a positive number changes its length without changing its direction. See unit vector.
- 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.

Their generalization for more abstract vector spaces, leads to the notion of norm. A vector space on which a norm is defined is then called a normed vector space.

A semi normed vector space is a pair (V,p) where V is a vector space and p a semi norm on V.

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

We often omit p or ||·|| and just write V for a space if it is clear from the context what (semi) norm we are using.

If (V, ||·||) is a normed vector space, the norm ||·|| induces a notion of distance and therefore a topology on V. This distance 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 that makes ||·|| continuous. Furthermore, this natural topology 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.

Similarly, for any semi-normed vector space we can define the distance between two vectors u and v as ||u−v||. This turns the semi normed space into a semi metric 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 point as they induce the same topology (although the resulting metric spaces need not be the same). 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 semi normed vector 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)\; \}$

- $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.

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 a 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.

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\}$

- $X\; :=\; prod\_\{i=1\}^\{n\}\; X\_i$

- $(x\_1,ldots,x\_n)+(y\_1,ldots,y\_n):=(x\_1\; +\; y\_1,\; ldots\; x\_n\; +\; y\_n)$

- $alpha(x\_1,ldots,x\_n):=(alpha\; x\_1,\; ldots,\; alpha\; x\_n)$.

We define a new function q

- $q:X\; mapsto\; mathbb\{R\}$

- $q:(x\_1,ldots,x\_n)\; to\; sum\_\{i=1\}^n\; q\_i(x\_i)$.

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.

- locally convex spaces, generalizations of semi normed vector spaces
- Banach spaces, normed vector spaces which are complete with respect to the metric induced by the norm
- inner product spaces, normed vector spaces where the norm is given by an inner product
- Finsler manifold

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Friday October 10, 2008 at 13:07:51 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Friday October 10, 2008 at 13:07:51 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.