Normed vector space

Short description: Vector space on which a distance is defined

Hierarchy of mathematical spaces. Normed vector spaces are a superset of inner product spaces and a subset of metric spaces, which in turn is a subset of topological spaces.

In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers on which a norm is defined.^[1] A norm is a generalization of the intuitive notion of "length" in the physical world. If [math]\displaystyle{ V }[/math] is a vector space over [math]\displaystyle{ K }[/math], where [math]\displaystyle{ K }[/math] is a field equal to [math]\displaystyle{ \mathbb R }[/math] or to [math]\displaystyle{ \mathbb C }[/math], then a norm on [math]\displaystyle{ V }[/math] is a map [math]\displaystyle{ V\to\mathbb R }[/math], typically denoted by [math]\displaystyle{ \lVert\cdot \rVert }[/math], satisfying the following four axioms:

Non-negativity: for every [math]\displaystyle{ x\in V }[/math],[math]\displaystyle{ \; \lVert x \rVert \ge 0 }[/math].
Positive definiteness: for every [math]\displaystyle{ x \in V }[/math], [math]\displaystyle{ \; \lVert x\rVert=0 }[/math] if and only if [math]\displaystyle{ x }[/math] is the zero vector.
Absolute homogeneity: for every [math]\displaystyle{ \lambda\in K }[/math] and [math]\displaystyle{ x\in V }[/math],[math]\displaystyle{ \lVert \lambda x \rVert = |\lambda|\, \lVert x\rVert }[/math]
Triangle inequality: for every [math]\displaystyle{ x\in V }[/math] and [math]\displaystyle{ y\in V }[/math],[math]\displaystyle{ \|x+y\| \leq \|x\| + \|y\|. }[/math]

If [math]\displaystyle{ V }[/math] is a real or complex vector space as above, and [math]\displaystyle{ \lVert\cdot\rVert }[/math] is a norm on [math]\displaystyle{ V }[/math], then the ordered pair [math]\displaystyle{ (V,\lVert\cdot \rVert) }[/math] is called a normed vector space. If it is clear from context which norm is intended, then it is common to denote the normed vector space simply by [math]\displaystyle{ V }[/math].

A norm induces a distance, called its (norm) induced metric, by the formula [math]\displaystyle{ d(x,y) = \|y-x\|. }[/math] which makes any normed vector space into a metric space and a topological vector space. If this metric space is complete then the normed space is a Banach space. Every normed vector space can be "uniquely extended" to a Banach space, which makes normed spaces intimately related to Banach spaces. Every Banach space is a normed space but converse is not true. For example, the set of the finite sequences of real numbers can be normed with the Euclidean norm, but it is not complete for this norm.

An inner product space is a normed vector space whose norm is the square root of the inner product of a vector and itself. The Euclidean norm of a Euclidean vector space is a special case that allows defining Euclidean distance by the formula [math]\displaystyle{ d(A, B) = \|\overrightarrow{AB}\|. }[/math]

The study of normed spaces and Banach spaces is a fundamental part of functional analysis, a major subfield of mathematics.

Definition

A normed vector space is a vector space equipped with a norm. A seminormed vector space is a vector space equipped with a seminorm.

A useful variation of the triangle inequality is [math]\displaystyle{ \|x-y\| \geq | \|x\| - \|y\| | }[/math] for any vectors [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y. }[/math]

This also shows that a vector norm is a (uniformly) continuous function.

Property 3 depends on a choice of norm [math]\displaystyle{ |\alpha| }[/math] on the field of scalars. When the scalar field is [math]\displaystyle{ \R }[/math] (or more generally a subset of [math]\displaystyle{ \Complex }[/math]), this is usually taken to be the ordinary absolute value, but other choices are possible. For example, for a vector space over [math]\displaystyle{ \Q }[/math] one could take [math]\displaystyle{ |\alpha| }[/math] to be the [math]\displaystyle{ p }[/math]-adic absolute value.

Topological structure

If [math]\displaystyle{ (V, \|\,\cdot\,\|) }[/math] is a normed vector space, the norm [math]\displaystyle{ \|\,\cdot\,\| }[/math] induces a metric (a notion of distance) and therefore a topology on [math]\displaystyle{ V. }[/math] This metric is defined in the natural way: the distance between two vectors [math]\displaystyle{ \mathbf{u} }[/math] and [math]\displaystyle{ \mathbf{v} }[/math] is given by [math]\displaystyle{ \|\mathbf{u} - \mathbf{v}\|. }[/math] This topology is precisely the weakest topology which makes [math]\displaystyle{ \|\,\cdot\,\| }[/math] continuous and which is compatible with the linear structure of [math]\displaystyle{ V }[/math] in the following sense:

The vector addition [math]\displaystyle{ \,+\, : V \times V \to V }[/math] is jointly continuous with respect to this topology. This follows directly from the triangle inequality.
The scalar multiplication [math]\displaystyle{ \,\cdot\, : \mathbb{K} \times V \to V, }[/math] where [math]\displaystyle{ \mathbb{K} }[/math] is the underlying scalar field of [math]\displaystyle{ V, }[/math] is jointly continuous. This follows from the triangle inequality and homogeneity of the norm.

Similarly, for any seminormed vector space we can define the distance between two vectors [math]\displaystyle{ \mathbf{u} }[/math] and [math]\displaystyle{ \mathbf{v} }[/math] as [math]\displaystyle{ \|\mathbf{u} - \mathbf{v}\|. }[/math] 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 seminormed 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, which are known as Banach spaces. Every normed vector space [math]\displaystyle{ V }[/math] sits as a dense subspace inside some Banach space; this Banach space is essentially uniquely defined by [math]\displaystyle{ V }[/math] and is called the completion of [math]\displaystyle{ V. }[/math]

Two norms on the same vector space are called equivalent if they define the same topology. On a finite-dimensional vector space, all norms are equivalent but this is not true for infinite dimensional vector spaces.

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).^[2] 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 [math]\displaystyle{ V }[/math] is locally compact if and only if the unit ball [math]\displaystyle{ B = \{ x : \|x\| \leq 1\} }[/math] is compact, which is the case if and only if [math]\displaystyle{ V }[/math] 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 [math]\displaystyle{ \mathcal{N}(0) }[/math] around 0 we can construct all other neighbourhood systems as [math]\displaystyle{ \mathcal{N}(x) = x + \mathcal{N}(0) := \{x + N : N \in \mathcal{N}(0)\} }[/math] with [math]\displaystyle{ x + N := \{x + n : n \in N\}. }[/math]

Moreover, there exists a neighbourhood basis for the origin 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.

A norm (or seminorm) [math]\displaystyle{ \|\cdot\| }[/math] on a topological vector space [math]\displaystyle{ (X, \tau) }[/math] is continuous if and only if the topology [math]\displaystyle{ \tau_{\|\cdot\|} }[/math] that [math]\displaystyle{ \|\cdot\| }[/math] induces on [math]\displaystyle{ X }[/math] is coarser than [math]\displaystyle{ \tau }[/math] (meaning, [math]\displaystyle{ \tau_{\|\cdot\|} \subseteq \tau }[/math]), which happens if and only if there exists some open ball [math]\displaystyle{ B }[/math] in [math]\displaystyle{ (X, \|\cdot\|) }[/math] (such as maybe [math]\displaystyle{ \{x \in X : \|x\| \lt 1\} }[/math] for example) that is open in [math]\displaystyle{ (X, \tau) }[/math] (said different, such that [math]\displaystyle{ B \in \tau }[/math]).

Normable spaces

A topological vector space [math]\displaystyle{ (X, \tau) }[/math] is called normable if there exists a norm [math]\displaystyle{ \| \cdot \| }[/math] on [math]\displaystyle{ X }[/math] such that the canonical metric [math]\displaystyle{ (x, y) \mapsto \|y-x\| }[/math] induces the topology [math]\displaystyle{ \tau }[/math] on [math]\displaystyle{ X. }[/math] The following theorem is due to Kolmogorov:^[3]

Kolmogorov's normability criterion: A Hausdorff topological vector space is normable if and only if there exists a convex, von Neumann bounded neighborhood of [math]\displaystyle{ 0 \in X. }[/math]

A product of a family of normable spaces is normable if and only if only finitely many of the spaces are non-trivial (that is, [math]\displaystyle{ \neq \{ 0 \} }[/math]).^[3] Furthermore, the quotient of a normable space [math]\displaystyle{ X }[/math] by a closed vector subspace [math]\displaystyle{ C }[/math] is normable, and if in addition [math]\displaystyle{ X }[/math]'s topology is given by a norm [math]\displaystyle{ \|\,\cdot,\| }[/math] then the map [math]\displaystyle{ X/C \to \R }[/math] given by [math]\displaystyle{ x + C \mapsto \inf_{c \in C} \|x + c\| }[/math] is a well defined norm on [math]\displaystyle{ X / C }[/math] that induces the quotient topology on [math]\displaystyle{ X / C. }[/math]^[4]

If [math]\displaystyle{ X }[/math] is a Hausdorff locally convex topological vector space then the following are equivalent:

[math]\displaystyle{ X }[/math] is normable.
[math]\displaystyle{ X }[/math] has a bounded neighborhood of the origin.
the strong dual space [math]\displaystyle{ X^{\prime}_b }[/math] of [math]\displaystyle{ X }[/math] is normable.^[5]
the strong dual space [math]\displaystyle{ X^{\prime}_b }[/math] of [math]\displaystyle{ X }[/math] is metrizable.^[5]

Furthermore, [math]\displaystyle{ X }[/math] is finite dimensional if and only if [math]\displaystyle{ X^{\prime}_{\sigma} }[/math] is normable (here [math]\displaystyle{ X^{\prime}_{\sigma} }[/math] denotes [math]\displaystyle{ X^{\prime} }[/math] endowed with the weak-* topology).

The topology [math]\displaystyle{ \tau }[/math] of the Fréchet space [math]\displaystyle{ C^{\infty}(K), }[/math] as defined in the article on spaces of test functions and distributions, is defined by a countable family of norms but it is not a normable space because there does not exist any norm [math]\displaystyle{ \|\cdot\| }[/math] on [math]\displaystyle{ C^{\infty}(K) }[/math] such that the topology that this norm induces is equal to [math]\displaystyle{ \tau. }[/math]

Even if a metrizable topological vector space has a topology that is defined by a family of norms, then it may nevertheless still fail to be normable space (meaning that its topology can not be defined by any single norm). An example of such a space is the Fréchet space [math]\displaystyle{ C^{\infty}(K), }[/math] whose definition can be found in the article on spaces of test functions and distributions, because its topology [math]\displaystyle{ \tau }[/math] is defined by a countable family of norms but it is not a normable space because there does not exist any norm [math]\displaystyle{ \|\cdot\| }[/math] on [math]\displaystyle{ C^{\infty}(K) }[/math] such that the topology this norm induces is equal to [math]\displaystyle{ \tau. }[/math] In fact, the topology of a locally convex space [math]\displaystyle{ X }[/math] can be a defined by a family of norms on [math]\displaystyle{ X }[/math] if and only if there exists at least one continuous norm on [math]\displaystyle{ X. }[/math]^[6]

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 [math]\displaystyle{ f }[/math] which preserves the norm (meaning [math]\displaystyle{ \|f(\mathbf{v})\| = \|\mathbf{v}\| }[/math] for all vectors [math]\displaystyle{ \mathbf{v} }[/math]). Isometries are always continuous and injective. A surjective isometry between the normed vector spaces [math]\displaystyle{ V }[/math] and [math]\displaystyle{ W }[/math] is called an isometric isomorphism, and [math]\displaystyle{ V }[/math] and [math]\displaystyle{ W }[/math] 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 [math]\displaystyle{ V^{\prime} }[/math] of a normed vector space [math]\displaystyle{ V }[/math] is the space of all continuous linear maps from [math]\displaystyle{ V }[/math] to the base field (the complexes or the reals) — such linear maps are called "functionals". The norm of a functional [math]\displaystyle{ \varphi }[/math] is defined as the supremum of [math]\displaystyle{ |\varphi(\mathbf{v})| }[/math] where [math]\displaystyle{ \mathbf{v} }[/math] ranges over all unit vectors (that is, vectors of norm [math]\displaystyle{ 1 }[/math]) in [math]\displaystyle{ V. }[/math] This turns [math]\displaystyle{ V^{\prime} }[/math] 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 [math]\displaystyle{ L^p }[/math] spaces, the function defined by [math]\displaystyle{ \|f\|_p = \left( \int |f(x)|^p \;dx \right)^{1/p} }[/math] 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 [math]\displaystyle{ n }[/math] seminormed spaces [math]\displaystyle{ \left(X_i, q_i\right) }[/math] with seminorms [math]\displaystyle{ q_i : X_i \to \R, }[/math] denote the product space by [math]\displaystyle{ X := \prod_{i=1}^n X_i }[/math] where vector addition defined as [math]\displaystyle{ \left(x_1,\ldots,x_n\right) + \left(y_1,\ldots,y_n\right) := \left(x_1 + y_1, \ldots, x_n + y_n\right) }[/math] and scalar multiplication defined as [math]\displaystyle{ \alpha \left(x_1,\ldots,x_n\right) := \left(\alpha x_1, \ldots, \alpha x_n\right). }[/math]

Define a new function [math]\displaystyle{ q : X \to \R }[/math] by [math]\displaystyle{ q\left(x_1,\ldots,x_n\right) := \sum_{i=1}^n q_i\left(x_i\right), }[/math] which is a seminorm on [math]\displaystyle{ X. }[/math] The function [math]\displaystyle{ q }[/math] is a norm if and only if all [math]\displaystyle{ q_i }[/math] are norms.

More generally, for each real [math]\displaystyle{ p \geq 1 }[/math] the map [math]\displaystyle{ q : X \to \R }[/math] defined by [math]\displaystyle{ q\left(x_1,\ldots,x_n\right) := \left(\sum_{i=1}^n q_i\left(x_i\right)^p\right)^{\frac{1}{p}} }[/math] is a semi norm. For each [math]\displaystyle{ p }[/math] 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.

References

↑ Callier, Frank M. (1991). Linear System Theory. New York: Springer-Verlag. ISBN 0-387-97573-X.
↑ Kedlaya, Kiran S. (2010), p-adic differential equations, Cambridge Studies in Advanced Mathematics, 125, Cambridge University Press, ISBN 978-0-521-76879-5 , Theorem 1.3.6
↑ ^3.0 ^3.1 Schaefer 1999, p. 41.
↑ Schaefer 1999, p. 42.
↑ ^5.0 ^5.1 Trèves 2006, pp. 136–149, 195–201, 240–252, 335–390, 420–433.
↑ Jarchow 1981, p. 130.

Bibliography

Rudin, Walter (January 1, 1991). Functional Analysis. International Series in Pure and Applied Mathematics. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277. https://archive.org/details/functionalanalys00rudi.
Template:Banach Théorie des Opérations Linéaires
Rolewicz, Stefan (1987), Functional analysis and control theory: Linear systems, Mathematics and its Applications (East European Series), 29 (Translated from the Polish by Ewa Bednarczuk ed.), Dordrecht; Warsaw: D. Reidel Publishing Co.; PWN—Polish Scientific Publishers, pp. xvi+524, doi:10.1007/978-94-015-7758-8, ISBN 90-277-2186-6, OCLC 13064804
Schaefer, H. H. (1999). Topological Vector Spaces. New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Trèves, François (August 6, 2006). Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.

External links

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Normed vector space. Read more

[text-1] Callier, Frank M. (1991). Linear System Theory. New York: Springer-Verlag. ISBN 0-387-97573-X.

[2] Kedlaya, Kiran S. (2010), p-adic differential equations, Cambridge Studies in Advanced Mathematics, 125, Cambridge University Press, ISBN 978-0-521-76879-5 , Theorem 1.3.6

[FOOTNOTESchaefer199941-3] 3.0 ^3.1 Schaefer 1999, p. 41.

[FOOTNOTESchaefer199942-4] Schaefer 1999, p. 42.

[FOOTNOTETrèves2006136–149,_195–201,_240–252,_335–390,_420–433-5] 5.0 ^5.1 Trèves 2006, pp. 136–149, 195–201, 240–252, 335–390, 420–433.

[FOOTNOTEJarchow1981130-6] Jarchow 1981, p. 130.

[1]

[2]

[3]

[4]

[5]

[6]

v t e Functional analysis (topics)
Topological vector spaces	Asplund Banach (list) Banach lattice Barrelled Bornological Brauner F-space Fréchet (tame) Hilbert (Inner product space Polarization identity) LF-space Locally convex (Seminorms/Minkowski functionals) Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Strictly convex Webbed Topological tensor product (of Hilbert spaces)
Topologies of function spaces	Dual Dual space (Dual norm) Operator Ultraweak Weak (polar operator) Mackey Strong (polar operator) Ultrastrong Uniform convergence
Linear operators	Adjoint Bilinear (form operator sesquilinear) (Un)Bounded Closed Compact (on Hilbert spaces) (Dis)Continuous Densely defined Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary
Operator theory	Banach algebras C-algebras Spectrum (C-algebra radius) Spectral theory (of ODEs Spectral theorem) Polar decomposition Singular value decomposition
Theorems	Banach–Alaoglu Banach–Mazur Banach–Saks Banach–Schauder (open mapping) Banach–Steinhaus (Uniform boundedness) Bessel's inequality Cauchy–Schwarz inequality Closed graph Closed range Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Gelfand–Naimark Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Krein–Milman Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Riesz representation Parseval's identity Schauder fixed-point
Analysis	Abstract Wiener space Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gateaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated Paley–Wiener weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Measures (Lebesgue Projection-valued Vector) Weakly measurable function
Types of sets	Absolutely convex Absorbing Balanced Bounded Convex Convex cone (subset) Linear cone (subset) Radial Star-shaped Symmetric Zonotope
Subsets / set operations	Algebraic interior (core) Bounding points Convex hull Extreme point Interior Minkowski addition Polar

v t e Topological vector spaces (TVSs)
Basic concepts	Banach space Continuous linear operator Functionals Hilbert space Linear operators Locally convex space Homomorphism Topological vector space Vector space
Main results	Closed graph theorem F. Riesz's theorem Hahn–Banach (hyperplane separation Vector-Valued Hahn-Banach) Open mapping (Banach–Schauder) (Bounded inverse) Uniform boundedness (Banach–Steinhaus)
Maps	Almost open Bilinear (form operator) and Sesquilinear forms Closed Compact operator Continuous and Discontinuous Linear maps Densely defined Homomorphism Functionals Norm Operator Seminorm Sublinear Transpose
Types of sets	Absolutely convex/disk Absorbing/Radial Affine Balanced/Circled Banach disks Bounding points Bounded Complemented subspace Convex Convex cone (subset) Linear cone (subset) Extreme point Pre-compact/Totally bounded Radial Radially convex/Star-shaped Symmetric
Set operations	Affine hull (Relative) Algebraic interior (core) Convex hull Linear span Minkowski addition Polar (Quasi) Relative interior
Types of TVSs	Asplund B-complete/Ptak Banach (Countably) Barrelled (Ultra-) Bornological Brauner Complete (DF)-space Distinguished F-space Fréchet (tame Fréchet) Grothendieck Hilbert Infrabarreled Interpolation space LB-space LF-space Locally convex space Mackey (Pseudo)Metrizable Montel Quasibarrelled Quasi-complete Quasinormed (Polynomially Semi-) Reflexive Riesz Schwartz Semi-complete Smith Stereotype (B Strictly Uniformly convex (Quasi-) Ultrabarrelled Uniformly smooth Webbed With the Approximation property