In

^{''p''} spaces) or when there is no particular need to choose any one (equivalent) norm over any other (especially in the more abstract theory of *not* the same normed space as , even if the norms are equivalent. However, equivalence of norms on a given vector space does form an if the pair is a , which by definition means for every in , there exists some such that
:$\backslash lim\_\; \backslash left\backslash ,\; x\_n\; -\; x\; \backslash right\backslash ,\; =\; 0$
where since , this sequence's convergence can equivalently be expressed as:
:$\backslash lim\_\; x\_n\; =\; x$ in .
By definition, the normed space is a *Banach space* if and only if is a *complete norm* if and only if is a Banach space.
;L-semi-inner product
For any normed space , there exists an *only* a vector space together with a certain type of topology; that is to say, when considered as a TVS, it is *not* associated with *any* particular norm or metric (both of which are " forgotten").

, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

, it is possible to define the restriction of the L^{1}-norm to $C($, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

, which will be denoted by $\backslash ,\; \backslash cdot\; \backslash ,\; \_1.$ This map $\backslash ,\; \backslash cdot\; \backslash ,\; \_1\; :\; C($, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

\to \R is a norm on $C($, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

(in general, the restriction of any norm to any vector subspace will necessarily again be a norm). Because $\backslash ,\; \backslash cdot\; \backslash ,\; \_1\; \backslash leq\; \backslash ,\; \backslash cdot\; \backslash ,\; \_,$ the map $\backslash ,\; \backslash cdot\; \backslash ,\; \_1\; :\; \backslash left(\; C($, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

, \tau_ \right) \to \R is continuous. However, the norm $\backslash ,\; \backslash cdot\; \backslash ,\; \_1$ is equivalent to the norm $\backslash ,\; \backslash cdot\; \backslash ,\; \_.$ The normed space $\backslash left(C($, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

, \, \cdot \, _1\right) is a Banach space despite the norm $\backslash ,\; \backslash cdot\; \backslash ,\; \_1$ being
All norms on a finite-dimensional vector space are equivalent and every finite-dimensional normed space is a Banach space.
;Complete norms vs complete metrics
Suppose that is a normed space and that is the norm topology induced on . Suppose that is

*some* Banach space, where this Banach space is called a *completion* of the normed space. This Hausdorff completion is unique up to *completion* of the normed space . The underlying metric space for is the same as the metric completion of , with the vector space operations extended from to . The completion of is often denoted by $\backslash widehat\; X$.

, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

\widehat_\pi Y &\simeq L^1([0, 1], Y),
\end
where is a compact Hausdorff space, the Banach space of continuous functions from to and the space of Bochner-measurable and integrable functions from to , and where the isomorphisms are isometric.
The two isomorphisms above are the respective extensions of the map sending the tensor to the vector-valued function .

topological vector space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

s.
Fréchet differentiability is a stronger condition than Gateaux differentiability.
The quasi-derivative is another generalization of directional derivative that implies a stronger condition than Gateaux differentiability, but a weaker condition than Fréchet differentiability.

Fréchet space
In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces.
They are generalizations of Banach spaces (normed vector spaces that are Complete space, complete with ...

s one still has a complete metric space, metric, while LF-spaces are complete uniform space, uniform vector spaces arising as limits of Fréchet spaces.

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...

, more specifically in functional analysis
200px, One of the possible modes of vibration of an idealized circular drum head. These modes are eigenfunctions of a linear operator on a function space, a common construction in functional analysis.
Functional analysis is a branch of mathemat ...

, a Banach space (pronounced ) is a complete normed vector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...

. Thus, a Banach space is a vector space with a metric
METRIC (Mapping EvapoTranspiration at high Resolution with Internalized Calibration) is a computer model
Computer simulation is the process of mathematical modelling, performed on a computer, which is designed to predict the behaviour of or th ...

that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

of vectors always converges to a well defined limit
Limit or Limits may refer to:
Arts and media
* Limit (music), a way to characterize harmony
* Limit (song), "Limit" (song), a 2016 single by Luna Sea
* Limits (Paenda song), "Limits" (Paenda song), 2019 song that represented Austria in the Eurov ...

that is within the space.
Banach spaces are named after the Polish mathematician Stefan Banach
Stefan Banach ( ; 30 March 1892 – 31 August 1945) was a Polish mathematician
A mathematician is someone who uses an extensive knowledge of mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quan ...

, who introduced this concept and studied it systematically in 1920–1922 along with Hans Hahn and Eduard HellyEduard Helly (June 1, 1884 in Vienna
en, Viennese
, iso_code = AT-9
, registration_plate = Vehicle registration plates of Austria, W
, postal_code_type = Postal code
, postal_code ...

.
Maurice René Fréchet
Maurice René Fréchet (; 2 September 1878 – 4 June 1973) was a French mathematician. He made major contributions to the topology
s, which have only one surface and one edge, are a kind of object studied in topology.
In mathematics, topolog ...

was the first to use the term "Banach space" and Banach in turn then coined the term "Fréchet space
In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces.
They are generalizations of Banach spaces (normed vector spaces that are Complete space, complete with ...

."
Banach spaces originally grew out of the study of function space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...

s by Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician and one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in man ...

, Fréchet, and Riesz earlier in the century. Banach spaces play a central role in functional analysis. In other areas of analysis
Analysis is the process of breaking a complex topic or substance
Substance may refer to:
* Substance (Jainism), a term in Jain ontology to denote the base or owner of attributes
* Chemical substance, a material with a definite chemical composit ...

, the spaces under study are often Banach spaces.
Definition

A Banach space is a completenormed space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

.
A normed space is a pairIt is common to read " is a normed space" instead of the more technically correct but (usually) pedantic " is a normed space," especially if the norm is well known (e.g. such as with Ltopological vector space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

s), in which case this norm (if needed) is often automatically assumed to be denoted by . However, in situations where emphasis is placed on the norm, it is common to see written instead of . The technically correct definition of normed spaces as pairs may also become important in the context of category theory
Category theory formalizes mathematical structure
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and ...

where the distinction between the categories of normed spaces, normable space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

s, metric space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gene ...

s, TVSs, topological space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gener ...

s, etc. is usually important. consisting of a vector space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

over a scalar field (where is or ) together with a distinguishedThis means that if the norm is replaced with a different norm on , then is equivalence relation
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

. norm
Norm, the Norm or NORM may refer to:
In academic disciplines
* Norm (geology), an estimate of the idealised mineral content of a rock
* Norm (philosophy)
Norms are concepts ( sentences) of practical import, oriented to effecting an action, rat ...

. Like all norms, this norm induces a translation invariant
In geometry
Geometry (from the grc, γεωμετρία; ''wikt:γῆ, geo-'' "earth", ''wikt:μέτρον, -metron'' "measurement") is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space tha ...

A metric on a vector space is said to be translation invariant if for all vectors . A metric that is induced by a norm is always translation invariant. distance function, called the canonical or (norm) induced metric
METRIC (Mapping EvapoTranspiration at high Resolution with Internalized Calibration) is a computer model
Computer simulation is the process of mathematical modelling, performed on a computer, which is designed to predict the behaviour of or th ...

, defined byBecause for all , it is always true that for all . So the order of and in this definition doesn't matter.
:
for all vectors . This makes into a metric space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gene ...

.
A sequence is called or Whether or not a sequence is Cauchy in depends on the metric and not, say, just on the topology that induces. or if and only if for every real , there exists some index such that
:
whenever and are greater than .
The canonical metric is called a complete metric
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence#In a metric space, Cauchy sequence of points in has a limit of a sequence, limit that is also in or, alternatively, if every Cauchy sequence ...

complete metric space
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence of points in has a limit that is also in or, alternatively, if every Cauchy sequence in converges in .
Intuitively, a space is complet ...

complete metric space
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence of points in has a limit that is also in or, alternatively, if every Cauchy sequence in converges in .
Intuitively, a space is complet ...

, or said differently, if and only if the canonical metric is a complete metric
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence#In a metric space, Cauchy sequence of points in has a limit of a sequence, limit that is also in or, alternatively, if every Cauchy sequence ...

.
The norm of a normed space is called a L-semi-inner product
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...

("L" is for Günter Lumer) on such that $\backslash ,\; x\backslash ,\; =\; \backslash sqrt$ for all ; in general, there may be infinitely many L-semi-inner products that satisfy this condition. L-semi-inner products are a generalization of inner product
In mathematics, an inner product space or a Hausdorff space, Hausdorff pre-Hilbert space is a vector space with a binary operation called an inner product. This operation associates each pair of vectors in the space with a Scalar (mathematics), ...

s, which are what fundamentally distinguish Hilbert space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no ge ...

s from all other Banach spaces. This shows that all normed spaces (and hence all Banach spaces) can be considered as being generalizations of (pre-)Hilbert spaces.
;Topology
The canonical metric of a normed space induces the usual metric topology
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

on , where this topology
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities ...

, which is referred to as the canonical or norm induced topology, makes into a metrizable
In topology
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), an ...

topological space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gener ...

. Every normed space is automatically assumed to carry this topology, unless indicated otherwise.
With this topology, every Banach space is a Baire space
In mathematics, a Baire space is a topological space such that every intersection of a countable collection of Open set, open dense sets in the space is also dense.
Complete metric spaces and locally compact Hausdorff spaces are examples of Baire ...

, although there are normed spaces that are Baire but not Banach. This norm-induced topology always makes the norm into a continuous map
In mathematics, a continuous function is a function (mathematics), function such that a continuous variation (that is a change without jump) of the argument of a function, argument induces a continuous variation of the Value (mathematics), value o ...

.
This norm-induced topology also makes into what is known as a topological vector space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

(TVS),Indeed, is even a locally convex
In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces.
They can be defined as topological spa ...

metrizable
In topology
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), an ...

topological vector space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

which by definition is a vector space endowed with a topology making the operations of addition and scalar multiplication continuous. It is emphasized that the TVS is Completeness

;Complete norms and equivalent norms Two norms on a vector space are called if and only if they induce the same topology. If and are two equivalent norms on a vector space then is a Banach space if and only if is a Banach space. See this footnote for an example of a continuous norm on a Banach space that is equivalent to that Banach space's given norm.Let $\backslash left(C($, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

, \, \cdot \, _\right) denote the Banach space of continuous functions with the supremum norm and let $\backslash tau\_$ denote the topology on $C($, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

induced by $\backslash ,\; \backslash cdot\; \backslash ,\; \_.$ Since $C($, 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

can be embedded (via the canonical inclusion) as a vector subspace of $L^($metric
METRIC (Mapping EvapoTranspiration at high Resolution with Internalized Calibration) is a computer model
Computer simulation is the process of mathematical modelling, performed on a computer, which is designed to predict the behaviour of or th ...

on such that the topology that induces on is equal to . If is translation invariant
In geometry
Geometry (from the grc, γεωμετρία; ''wikt:γῆ, geo-'' "earth", ''wikt:μέτρον, -metron'' "measurement") is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space tha ...

then is a Banach space if and only if is a complete metric space.
If is translation invariant, then it may be possible for to be a Banach space but to be a complete metric space (see this footnoteThe normed space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

$(\backslash R,,\; \backslash cdot\; ,\; )$ is a Banach space where the absolute value is a norm
Norm, the Norm or NORM may refer to:
In academic disciplines
* Norm (geology), an estimate of the idealised mineral content of a rock
* Norm (philosophy)
Norms are concepts ( sentences) of practical import, oriented to effecting an action, rat ...

on the real line $\backslash R$ that induces the usual Euclidean topologyIn mathematics, and especially general topology, the Euclidean topology is the natural topology induced on n-dimensional Euclidean space \R^n by the Euclidean distance, Euclidean metric.
Definition
In any metric space, the Ball (mathematics), ope ...

on $\backslash R.$ Define a metric $D\; :\; \backslash R\; \backslash times\; \backslash R\; \backslash to\; \backslash R$ on $\backslash R$ by $D(x,\; y)\; =,\; \backslash arctan(x)\; -\; \backslash arctan(y),$ for all $x,\; y\; \backslash in\; \backslash R.$ Just like induced metric, the metric $D$ also induces the usual Euclidean topology on $\backslash R.$ However, $D$ is not a complete metric because the sequence $x\_\; =\; \backslash left(x\_i\backslash right)\_^$ defined by $x\_i\; :=\; i$ is a sequence but it does not converge to any point of $\backslash R.$ As a consequence of not converging, this sequence cannot be a Cauchy sequence in $(\backslash R,,\; \backslash cdot\; ,\; )$ (i.e. it is not a Cauchy sequence with respect to the norm $\backslash ,\; \backslash cdot\; \backslash ,$) because if it was then the fact that $(\backslash R,,\; \backslash cdot\; ,\; )$ is a Banach space would imply that it converges (a contradiction). for an example). In contrast, a theorem of Klee,The statement of the theorem is: Let be metric on a vector space such that the topology induced by on makes into a topological vector space. If is a complete metric space
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence of points in has a limit that is also in or, alternatively, if every Cauchy sequence in converges in .
Intuitively, a space is complet ...

then is a complete topological vector space
Complete may refer to:
Logic
* Completeness (logic)
In mathematical logic and metalogic, a formal system is called complete with respect to a particular property (philosophy), property if every Well-formed formula, formula having the property can ...

. which also applies to all metrizable topological vector space
In functional analysis
Image:Drum vibration mode12.gif, 200px, One of the possible modes of vibration of an idealized circular drum head. These modes are eigenfunctions of a linear operator on a function space, a common construction in functional a ...

s, implies that if there exists This metric is assumed to be translation-invariant. So in particular, this metric does even have to be induced by a norm. complete metric on that induces the norm topology on , then is a Banach space.
A metric on a vector space is induced by a norm on if and only if is translation invariant and , which means that for all scalars and all , in which case the function defines a norm on and the canonical metric induced by is equal to .
;Complete norms vs complete topological vector spaces
There is another notion of completeness besides metric completeness and that is the notion of a complete topological vector space
Complete may refer to:
Logic
* Completeness (logic)
In mathematical logic and metalogic, a formal system is called complete with respect to a particular property (philosophy), property if every Well-formed formula, formula having the property can ...

(TVS) or TVS-completeness.
This notion depends on vector subtraction and the topology that the vector space is endowed with, so in particular, this notion of TVS completeness is independent of whatever norm induced the topology (and even applies to TVSs that are even metrizable).
Every Banach space is a complete TVS. Moreover, a normed space is a Banach space (i.e. its canonical metric is complete) if and only if it is complete as a topological vector space.
Also, if is a topological vector space whose topology is induced by (possibly unknown) norm, then is a complete topological vector space if and only if may be assigned a norm
Norm, the Norm or NORM may refer to:
In academic disciplines
* Norm (geology), an estimate of the idealised mineral content of a rock
* Norm (philosophy)
Norms are concepts ( sentences) of practical import, oriented to effecting an action, rat ...

that induces on the topology and also makes into a Banach space. If is a metrizable topological vector space
In functional analysis
Image:Drum vibration mode12.gif, 200px, One of the possible modes of vibration of an idealized circular drum head. These modes are eigenfunctions of a linear operator on a function space, a common construction in functional a ...

(where note that every norm induced topology is metrizable), then is a complete TVS if and only if it is a complete TVS, meaning that it is enough to check that every Cauchy in converges in to some point of (i.e. there is no need to consider the more general notion of arbitrary Cauchy nets).
;Characterization in terms of series
The vector space structure allows one to relate the behavior of Cauchy sequences to that of converging series of vectors.
A normed space is a Banach space if and only if each absolutely convergent
In mathematics, an Series (mathematics), infinite series of numbers is said to converge absolutely (or to be absolutely convergent) if the sum of the absolute values of the summands is finite. More precisely, a Real number, real or Complex number, ...

series in converges in ,
:$\backslash sum\_^\; \backslash ,\; v\_n\backslash ,\; <\; \backslash infty\; \backslash quad\; \backslash text\; \backslash quad\; \backslash sum\_^\; v\_n\backslash \; \backslash \; \backslash text\; \backslash \; \backslash \; X$.
Completions

Every normed space can be isometrically embedded onto a dense vector subspace ofisometric
The term ''isometric'' comes from the Greek for "having equal measurement".
isometric may mean:
* Cubic crystal system, also called isometric crystal system
* Isometre, a rhythmic technique in music.
* "Isometric (Intro)", a song by Madeon from t ...

isomorphism.
More precisely, for every normed space , there exist a Banach space and a mapping such that is an isometric mapping and is dense in . If is another Banach space such that there is an isometric isomorphism from onto a dense subset of , then is isometrically isomorphic to .
This Banach space is the General theory

Linear operators, isomorphisms

If and are normed spaces over the sameground fieldIn mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ha ...

, the set of all continuous
Continuity or continuous may refer to:
Mathematics
* Continuity (mathematics), the opposing concept to discreteness; common examples include
** Continuous probability distribution or random variable in probability and statistics
** Continuous ga ...

-linear maps is denoted by . In infinite-dimensional spaces, not all linear maps are continuous. A linear mapping from a normed space to another normed space is continuous if and only if it is bounded on the closed unit ball
Unit may refer to:
Arts and entertainment
* UNIT
Unit may refer to:
Arts and entertainment
* UNIT, a fictional military organization in the science fiction television series ''Doctor Who''
* Unit of action, a discrete piece of action (or beat) i ...

of . Thus, the vector space can be given the operator norm
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...

:$\backslash ,\; T\backslash ,\; =\; \backslash sup\; \backslash left\; \backslash .$
For a Banach space, the space is a Banach space with respect to this norm.
If is a Banach space, the space forms a unital Banach algebra
Banach is a Polish-language surname of several possible origins."Banach"

at genezanazwisk.pl (the webpage cites the sources)

; the multiplication operation is given by the composition of linear maps.
If and are normed spaces, they are isomorphic normed spaces if there exists a linear bijection such that and its inverse are continuous. If one of the two spaces or is complete (or reflexive, separable, etc.) then so is the other space. Two normed spaces and are isometrically isomorphic if in addition, is an at genezanazwisk.pl (the webpage cites the sources)

isometry
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

, i.e., for every in . The Banach–Mazur distance between two isomorphic but not isometric spaces and gives a measure of how much the two spaces and differ.
Basic notions

The cartesian product of two normed spaces is not canonically equipped with a norm. However, several equivalent norms are commonly used, such as :$\backslash ,\; (x,\; y)\backslash ,\; \_1\; =\; \backslash ,\; x\backslash ,\; +\; \backslash ,\; y\backslash ,\; ,\; \backslash qquad\; \backslash ,\; (x,\; y)\backslash ,\; \_\backslash infty\; =\; \backslash max\; (\backslash ,\; x\backslash ,\; ,\; \backslash ,\; y\backslash ,\; )$ and give rise to isomorphic normed spaces. In this sense, the product (or the direct sum ) is complete if and only if the two factors are complete. If is a closedlinear subspace
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

of a normed space , there is a natural norm on the quotient space ,
:$\backslash ,\; x\; +\; M\backslash ,\; =\; \backslash inf\backslash limits\_\; \backslash ,\; x+m\backslash ,\; .$
The quotient is a Banach space when is complete.see pp. 17–19 in . The quotient map from onto , sending in to its class , is linear, onto and has norm , except when , in which case the quotient is the null space.
The closed linear subspace of is said to be a complemented subspace of if is the range
Range may refer to:
Geography
* Range (geographic)A range, in geography, is a chain of hill
A hill is a landform
A landform is a natural or artificial feature of the solid surface of the Earth or other planetary body. Landforms together ...

of a bounded linear projection from onto . In this case, the space is isomorphic to the direct sum of and , the kernel of the projection .
Suppose that and are Banach spaces and that . There exists a canonical factorization of as
:$T\; =\; T\_1\; \backslash circ\; \backslash pi,\; \backslash \; \backslash \; \backslash \; T\; :\; X\; \backslash \; \backslash overset\backslash \; X\; /\; \backslash operatorname(T)\; \backslash \; \backslash overset\; \backslash \; Y$
where the first map is the quotient map, and the second map sends every class in the quotient to the image in . This is well defined because all elements in the same class have the same image. The mapping is a linear bijection from onto the range , whose inverse need not be bounded.
Classical spaces

Basic examples of Banach spaces include: the spaces and their special cases, the sequence spaces that consist of scalar sequences indexed by ; among them, the space of absolutely summable sequences and the space of square summable sequences; the space of sequences tending to zero and the space of bounded sequences; the space of continuous scalar functions on a compact Hausdorff space , equipped with the max norm, :$\backslash ,\; f\backslash ,\; \_\; =\; \backslash max\; \backslash ,\; \backslash quad\; f\; \backslash in\; C(K).$ According to theBanach–Mazur theorem
In functional analysis
Image:Drum vibration mode12.gif, 200px, One of the possible modes of vibration of an idealized circular drum head. These modes are eigenfunctions of a linear operator on a function space, a common construction in functional ...

, every Banach space is isometrically isomorphic to a subspace of some . For every separable Banach space , there is a closed subspace of such that .
Any Hilbert space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no ge ...

serves as an example of a Banach space. A Hilbert space on is complete for a norm of the form
:$\backslash ,\; x\backslash ,\; \_H\; =\; \backslash sqrt,$
where
:$\backslash langle\; \backslash cdot,\; \backslash cdot\; \backslash rangle\; :\; H\; \backslash times\; H\; \backslash to\; \backslash mathbf$
is the inner product
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

, linear in its first argument that satisfies the following:
:$\backslash begin\; \backslash forall\; x,\; y\; \backslash in\; H:\; \backslash quad\; \backslash langle\; y,\; x\; \backslash rangle\; \&=\; \backslash overline,\; \backslash \backslash \; \backslash forall\; x\; \backslash in\; H:\; \backslash quad\; \backslash langle\; x,\; x\; \backslash rangle\; \&\backslash ge\; 0,\; \backslash \backslash \; \backslash langle\; x,x\; \backslash rangle\; =\; 0\; \backslash Leftrightarrow\; x\; \&=\; 0.\; \backslash end$
For example, the space is a Hilbert space.
The Hardy space
In complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis
Analysis is the branch of mathematics dealing with Limit (mathematics), limits
and related ...

s, the Sobolev space
In mathematics, a Sobolev space is a vector space of functions equipped with a normed space, norm that is a combination of Lp norm, ''Lp''-norms of the function together with its derivatives up to a given order. The derivatives are understood in a s ...

s are examples of Banach spaces that are related to spaces and have additional structure. They are important in different branches of analysis, Harmonic analysis
Harmonic analysis is a branch of mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained ...

and Partial differential equation
In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a Multivariable calculus, multivariable function.
The function is often thought of as an "unknown" to be sol ...

s among others.
Banach algebras

ABanach algebra
Banach is a Polish-language surname of several possible origins."Banach"

at genezanazwisk.pl (the webpage cites the sources)

is a Banach space over or , together with a structure of algebra over , such that the product map ''A'' × ''A'' ∋ is continuous. An equivalent norm on can be found so that for all .
at genezanazwisk.pl (the webpage cites the sources)

Examples

* The Banach space , with the pointwise product, is a Banach algebra. * Thedisk algebraIn functional and complex analysis
of the function
.
Hue represents the argument, brightness the magnitude.
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis t ...

consists of functions holomorphic
Image:Conformal map.svg, A rectangular grid (top) and its image under a conformal map ''f'' (bottom).
In mathematics, a holomorphic function is a complex-valued function of one or more complex number, complex variables that is, at every point of ...

in the open unit disk and continuous on its closure: . Equipped with the max norm on , the disk algebra is a closed subalgebra of .
* The Wiener algebra is the algebra of functions on the unit circle with absolutely convergent Fourier series. Via the map associating a function on to the sequence of its Fourier coefficients, this algebra is isomorphic to the Banach algebra , where the product is the convolution
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

of sequences.
* For every Banach space , the space of bounded linear operators on , with the composition of maps as product, is a Banach algebra.
* A C*-algebra
In mathematics, specifically in functional analysis
Image:Drum vibration mode12.gif, 200px, One of the possible modes of vibration of an idealized circular drum head. These modes are eigenfunctions of a linear operator on a function space, a commo ...

is a complex Banach algebra with an antilinear
In mathematics, a map (mathematics), mapping f:V\to W from a complex vector space to another is said to be antilinear (or conjugate-linear) if
:f(ax + by) = \barf(x) + \barf(y)
for all a, \, b \, \in \mathbb and all x, \, y \, \in V, where \bar an ...

involution
Involution may refer to:
* Involute, a construction in the differential geometry of curves
* ''Agricultural Involution: The Processes of Ecological Change in Indonesia'', a 1963 study of intensification of production through increased labour input ...

such that . The space of bounded linear operators on a Hilbert space is a fundamental example of C*-algebra. The Gelfand–Naimark theorem states that every C*-algebra is isometrically isomorphic to a C*-subalgebra of some . The space of complex continuous functions on a compact Hausdorff space is an example of commutative C*-algebra, where the involution associates to every function its complex conjugate
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

.
Dual space

If is a normed space and the underlyingfield
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grassl ...

(either the real
Real may refer to:
* Reality
Reality is the sum or aggregate of all that is real or existent within a system, as opposed to that which is only Object of the mind, imaginary. The term is also used to refer to the ontological status of things, ind ...

or the complex
The UCL Faculty of Mathematical and Physical Sciences is one of the 11 constituent faculties of University College London
, mottoeng = Let all come who by merit deserve the most reward
, established =
, type = Public university, Public rese ...

numbers), the continuous dual space is the space of continuous linear maps from into , or continuous linear functionals.
The notation for the continuous dual is in this article.
Since is a Banach space (using the absolute value
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

as norm), the dual is a Banach space, for every normed space .
The main tool for proving the existence of continuous linear functionals is the Hahn–Banach theorem.
:Hahn–Banach theorem. Let be a vector space
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

over the field . Let further
:* be a linear subspace
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

,
:* be a sublinear function and
:* be a linear functional so that for all in .
:Then, there exists a linear functional so that
::$F,\; \_Y=f,\; \backslash quad\; \backslash text\; \backslash quad\; \backslash forall\; x\backslash in\; X,\; \backslash \; \backslash \; \backslash operatorname(F(x))\backslash leq\; p(x).$
In particular, every continuous linear functional on a subspace of a normed space can be continuously extended to the whole space, without increasing the norm of the functional.
An important special case is the following: for every vector in a normed space , there exists a continuous linear functional on such that
:$f(x)\; =\; \backslash ,\; x\backslash ,\; \_X,\; \backslash quad\; \backslash ,\; f\; \backslash ,\; \_\; \backslash le\; 1.$
When is not equal to the vector, the functional must have norm one, and is called a norming functional for .
The Hahn–Banach separation theorem states that two disjoint non-empty convex sets in a real Banach space, one of them open, can be separated by a closed Affine space, affine hyperplane.
The open convex set lies strictly on one side of the hyperplane, the second convex set lies on the other side but may touch the hyperplane.
A subset in a Banach space is total if the linear span of is Dense set, dense in . The subset is total in if and only if the only continuous linear functional that vanishes on is the functional: this equivalence follows from the Hahn–Banach theorem.
If is the direct sum of two closed linear subspaces and , then the dual of is isomorphic to the direct sum of the duals of and .see p. 19 in .
If is a closed linear subspace in , one can associate the ''orthogonal of'' in the dual,
:$M^\backslash perp\; =\; \backslash left\; \backslash .$
The orthogonal is a closed linear subspace of the dual. The dual of is isometrically isomorphic to .
The dual of is isometrically isomorphic to .
The dual of a separable Banach space need not be separable, but:
:Theorem. Let be a normed space. If is separable, then is separable.
When is separable, the above criterion for totality can be used for proving the existence of a countable total subset in .
Weak topologies

The weak topology on a Banach space is the Comparison of topologies, coarsest topology on for which all elements in the continuous dual space are continuous. The norm topology is therefore Comparison of topologies, finer than the weak topology. It follows from the Hahn–Banach separation theorem that the weak topology is , and that a norm-closed Convex set, convex subset of a Banach space is also weakly closed. A norm-continuous linear map between two Banach spaces and is also weakly continuous, i.e., continuous from the weak topology of to that of . If is infinite-dimensional, there exist linear maps which are not continuous. The space of all linear maps from to the underlying field (this space is called the Dual space#Algebraic dual space, algebraic dual space, to distinguish it from ) also induces a topology on which is finer topology, finer than the weak topology, and much less used in functional analysis. On a dual space , there is a topology weaker than the weak topology of , called weak topology, weak* topology. It is the coarsest topology on for which all evaluation maps , are continuous. Its importance comes from the Banach–Alaoglu theorem. :Banach–Alaoglu Theorem. Let be anormed vector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...

. Then the closed ball (mathematics), unit ball of the dual space is compact space, compact in the weak* topology.
The Banach–Alaoglu theorem depends on Tychonoff's theorem about infinite products of compact spaces.
When is separable, the unit ball of the dual is a metrizable
In topology
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), an ...

compact in the weak* topology.see Theorem 2.6.23, p. 231 in .
Examples of dual spaces

The dual of is isometrically isomorphic to : for every bounded linear functional on , there is a unique element such that :$f(x)\; =\; \backslash sum\_\; x\_n\; y\_n,\; \backslash qquad\; x\; =\; \backslash \; \backslash in\; c\_0,\; \backslash \; \backslash \; \backslash text\; \backslash \; \backslash \; \backslash ,\; f\backslash ,\; \_\; =\; \backslash ,\; y\backslash ,\; \_.$ The dual of is isometrically isomorphic to . The dual of is isometrically isomorphic to when and . For every vector in a Hilbert space , the mapping :$x\; \backslash in\; H\; \backslash to\; f\_y(x)\; =\; \backslash langle\; x,\; y\; \backslash rangle$ defines a continuous linear functional on . The Riesz representation theorem states that every continuous linear functional on is of the form for a uniquely defined vector in . The mapping is an Antilinear map, antilinear isometric bijection from onto its dual . When the scalars are real, this map is an isometric isomorphism. When is a compact Hausdorff topological space, the dual of is the space of Radon measures in the sense of Bourbaki. The subset of consisting of non-negative measures of mass 1 (probability measures) is a convex w*-closed subset of the unit ball of . The extreme points of are the Dirac measures on . The set of Dirac measures on , equipped with the w*-topology, is Homeomorphism, homeomorphic to . :Banach–Stone theorem, Banach–Stone Theorem. If and are compact Hausdorff spaces and if and are isometrically isomorphic, then the topological spaces and are homeomorphic. The result has been extended by Amir and Cambern to the case when the multiplicative Banach–Mazur compactum, Banach–Mazur distance between and is . The theorem is no longer true when the distance is . In the commutativeBanach algebra
Banach is a Polish-language surname of several possible origins."Banach"

at genezanazwisk.pl (the webpage cites the sources)

, the Banach algebra#Ideals and characters, maximal ideals are precisely kernels of Dirac mesures on ,
:$I\_x\; =\; \backslash ker\; \backslash delta\_x\; =\; \backslash ,\; \backslash quad\; x\; \backslash in\; K.$
More generally, by the Gelfand–Mazur theorem, the maximal ideals of a unital commutative Banach algebra can be identified with its Banach algebra#Ideals and characters, characters—not merely as sets but as topological spaces: the former with the hull-kernel topology and the latter with the w*-topology.
In this identification, the maximal ideal space can be viewed as a w*-compact subset of the unit ball in the dual .
:Theorem. If is a compact Hausdorff space, then the maximal ideal space of the Banach algebra is homeomorphic to .
Not every unital commutative Banach algebra is of the form for some compact Hausdorff space . However, this statement holds if one places in the smaller category of commutative at genezanazwisk.pl (the webpage cites the sources)

C*-algebra
In mathematics, specifically in functional analysis
Image:Drum vibration mode12.gif, 200px, One of the possible modes of vibration of an idealized circular drum head. These modes are eigenfunctions of a linear operator on a function space, a commo ...

s.
Israel Gelfand, Gelfand's Gelfand representation, representation theorem for commutative C*-algebras states that every commutative unital ''C''*-algebra is isometrically isomorphic to a space.
The Hausdorff compact space here is again the maximal ideal space, also called the Spectrum of a C*-algebra#Examples, spectrum of in the C*-algebra context.
Bidual

If is a normed space, the (continuous) dual of the dual is called bidual, or second dual of . For every normed space , there is a natural map, :$\backslash begin\; F\_X\; :\; X\; \backslash to\; X\text{'}\text{'}\; \backslash \backslash \; F\_X(x)\; (f)\; =\; f(x)\; \&\; \backslash forall\; x\; \backslash in\; X,\; \backslash forall\; f\; \backslash in\; X\text{'}\backslash end$ This defines as a continuous linear functional on , i.e., an element of . The map is a linear map from to . As a consequence of the existence of a Banach space#Dual space, norming functional for every in , this map is isometric, thus injective. For example, the dual of is identified with , and the dual of is identified with , the space of bounded scalar sequences. Under these identifications, is the inclusion map from to . It is indeed isometric, but not onto. If is surjective, then the normed space is called reflexive (see Banach space#Reflexivity, below). Being the dual of a normed space, the bidual is complete, therefore, every reflexive normed space is a Banach space. Using the isometric embedding , it is customary to consider a normed space as a subset of its bidual. When is a Banach space, it is viewed as a closed linear subspace of . If is not reflexive, the unit ball of is a proper subset of the unit ball of . The Goldstine theorem states that the unit ball of a normed space is weakly*-dense in the unit ball of the bidual. In other words, for every in the bidual, there exists a Net (mathematics), net in so that :$\backslash sup\_j\; \backslash ,\; x\_j\backslash ,\; \backslash le\; \backslash ,\; x\text{'}\text{'}\backslash ,\; ,\; \backslash \; \backslash \; x\text{'}\text{'}(f)\; =\; \backslash lim\_j\; f(x\_j),\; \backslash quad\; f\; \backslash in\; X\text{'}.$ The net may be replaced by a weakly*-convergent sequence when the dual is separable. On the other hand, elements of the bidual of that are not in cannot be weak*-limit of ''sequences'' in , since is Banach space#Weak convergences of sequences, weakly sequentially complete.Banach's theorems

Here are the main general results about Banach spaces that go back to the time of Banach's book () and are related to the Baire category theorem. According to this theorem, a complete metric space (such as a Banach space, aFréchet space
In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces.
They are generalizations of Banach spaces (normed vector spaces that are Complete space, complete with ...

or an F-space) cannot be equal to a union of countably many closed subsets with empty Interior (topology), interiors.
Therefore, a Banach space cannot be the union of countably many closed subspaces, unless it is already equal to one of them; a Banach space with a countable Hamel basis is finite-dimensional.
:Uniform boundedness principle, Banach–Steinhaus Theorem. Let be a Banach space and be a normed vector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...

. Suppose that is a collection of continuous linear operators from to . The uniform boundedness principle states that if for all in we have , then .
The Banach–Steinhaus theorem is not limited to Banach spaces.
It can be extended for example to the case where is a Fréchet space
In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces.
They are generalizations of Banach spaces (normed vector spaces that are Complete space, complete with ...

, provided the conclusion is modified as follows: under the same hypothesis, there exists a neighborhood of in such that all in are uniformly bounded on ,
:$\backslash sup\_\; \backslash sup\_\; \backslash ;\; \backslash ,\; T(x)\backslash ,\; \_Y\; <\; \backslash infty.$
:Open mapping theorem (functional analysis), The Open Mapping Theorem. Let and be Banach spaces and be a surjective continuous linear operator, then is an open map.
:Corollary. Every one-to-one bounded linear operator from a Banach space onto a Banach space is an isomorphism.
:The First Isomorphism Theorem for Banach spaces. Suppose that and are Banach spaces and that . Suppose further that the range of is closed in . Then is isomorphic to .
This result is a direct consequence of the preceding ''Banach isomorphism theorem'' and of the canonical factorization of bounded linear maps.
:Corollary. If a Banach space is the internal direct sum of closed subspaces , then is isomorphic to .
This is another consequence of Banach's isomorphism theorem, applied to the continuous bijection from onto sending to the sum .
:Closed graph theorem, The Closed Graph Theorem. Let be a linear mapping between Banach spaces. The graph of is closed in if and only if is continuous.
Reflexivity

The normed space is called reflexive space, reflexive when the natural map :$\backslash begin\; F\_X\; :\; X\; \backslash to\; X\text{'}\text{'}\; \backslash \backslash \; F\_X(x)\; (f)\; =\; f(x)\; \&\; \backslash forall\; x\; \backslash in\; X,\; \backslash forall\; f\; \backslash in\; X\text{'}\backslash end$ is surjective. Reflexive normed spaces are Banach spaces. :Theorem. If is a reflexive Banach space, every closed subspace of and every quotient space of are reflexive. This is a consequence of the Hahn–Banach theorem. Further, by the open mapping theorem, if there is a bounded linear operator from the Banach space onto the Banach space , then is reflexive. :Theorem. If is a Banach space, then is reflexive if and only if is reflexive. :Corollary. Let be a reflexive Banach space. Then is separable if and only if is separable. Indeed, if the dual of a Banach space is separable, then is separable. If is reflexive and separable, then the dual of is separable, so is separable. :Theorem. Suppose that are normed spaces and that . Then is reflexive if and only if each is reflexive. Hilbert spaces are reflexive. The spaces are reflexive when . More generally, uniformly convex spaces are reflexive, by the Milman–Pettis theorem. The spaces are not reflexive. In these examples of non-reflexive spaces , the bidual is "much larger" than . Namely, under the natural isometric embedding of into given by the Hahn–Banach theorem, the quotient is infinite-dimensional, and even nonseparable. However, Robert C. James has constructed an example of a non-reflexive space, usually called "''the James space''" and denoted by ''J'', such that the quotient is one-dimensional. Furthermore, this space is isometrically isomorphic to its bidual. :Theorem. A Banach space is reflexive if and only if its unit ball is compact space, compact in the weak topology. When is reflexive, it follows that all closed and bounded Convex set, convex subsets of are weakly compact. In a Hilbert space , the weak compactness of the unit ball is very often used in the following way: every bounded sequence in has weakly convergent subsequences. Weak compactness of the unit ball provides a tool for finding solutions in reflexive spaces to certain Infinite-dimensional optimization, optimization problems. For example, every Convex function, convex continuous function on the unit ball of a reflexive space attains its minimum at some point in . As a special case of the preceding result, when is a reflexive space over , every continuous linear functional in attains its maximum on the unit ball of . The following James' theorem, theorem of Robert C. James provides a converse statement. :James' Theorem. For a Banach space the following two properties are equivalent: :* is reflexive. :* for all in there exists in with , so that The theorem can be extended to give a characterization of weakly compact convex sets. On every non-reflexive Banach space , there exist continuous linear functionals that are not ''norm-attaining''. However, the Errett Bishop, Bishop–Robert Phelps, Phelps theorem states that norm-attaining functionals are norm dense in the dual of .Weak convergences of sequences

A sequence in a Banach space is weakly convergent to a vector if converges to for every continuous linear functional in the dual . The sequence is a weakly Cauchy sequence if converges to a scalar limit , for every in . A sequence in the dual is weakly* convergent to a functional if converges to for every in . Weakly Cauchy sequences, weakly convergent and weakly* convergent sequences are norm bounded, as a consequence of the Uniform boundedness principle, Banach–Steinhaus theorem. When the sequence in is a weakly Cauchy sequence, the limit above defines a bounded linear functional on the dual , i.e., an element of the bidual of , and is the limit of in the weak*-topology of the bidual. The Banach space is weakly sequentially complete if every weakly Cauchy sequence is weakly convergent in . It follows from the preceding discussion that reflexive spaces are weakly sequentially complete. :Theorem. For every measure , the space is weakly sequentially complete. An orthonormal sequence in a Hilbert space is a simple example of a weakly convergent sequence, with limit equal to the vector. The Schauder basis#Examples, unit vector basis of , or of , is another example of a weakly null sequence, i.e., a sequence that converges weakly to . For every weakly null sequence in a Banach space, there exists a sequence of convex combinations of vectors from the given sequence that is norm-converging to . The unit vector basis of is not weakly Cauchy. Weakly Cauchy sequences in are weakly convergent, since -spaces are weakly sequentially complete. Actually, weakly convergent sequences in are norm convergent. This means that satisfies Schur's property.Results involving the basis

Weakly Cauchy sequences and the basis are the opposite cases of the dichotomy established in the following deep result of H. P. Rosenthal. :Theorem. Let be a bounded sequence in a Banach space. Either has a weakly Cauchy subsequence, or it admits a subsequence Schauder basis#Definitions, equivalent to the standard unit vector basis of . A complement to this result is due to Odell and Rosenthal (1975). :Theorem. Let be a separable Banach space. The following are equivalent: :*The space does not contain a closed subspace isomorphic to . :*Every element of the bidual is the weak*-limit of a sequence in . By the Goldstine theorem, every element of the unit ball of is weak*-limit of a net in the unit ball of . When does not contain , every element of is weak*-limit of a ''sequence'' in the unit ball of . When the Banach space is separable, the unit ball of the dual , equipped with the weak*-topology, is a metrizable compact space , and every element in the bidual defines a bounded function on : :$x\text{'}\; \backslash in\; K\; \backslash mapsto\; x\text{'}\text{'}(x\text{'}),\; \backslash quad\; \backslash left\; ,\; x\text{'}\text{'}(x\text{'})\; \backslash right\; ,\; \backslash le\; \backslash left\; \backslash ,\; x\text{'}\text{'}\; \backslash right\; \backslash ,\; .$ This function is continuous for the compact topology of if and only if is actually in , considered as subset of . Assume in addition for the rest of the paragraph that does not contain . By the preceding result of Odell and Rosenthal, the function is the Pointwise convergence, pointwise limit on of a sequence of continuous functions on , it is therefore a Baire function, first Baire class function on . The unit ball of the bidual is a pointwise compact subset of the first Baire class on .Sequences, weak and weak* compactness

When is separable, the unit ball of the dual is weak*-compact by Banach–Alaoglu and metrizable for the weak* topology, hence every bounded sequence in the dual has weakly* convergent subsequences. This applies to separable reflexive spaces, but more is true in this case, as stated below. The weak topology of a Banach space is metrizable if and only if is finite-dimensional. If the dual is separable, the weak topology of the unit ball of is metrizable. This applies in particular to separable reflexive Banach spaces. Although the weak topology of the unit ball is not metrizable in general, one can characterize weak compactness using sequences. :Eberlein–Šmulian theorem. A set in a Banach space is relatively weakly compact if and only if every sequence in has a weakly convergent subsequence. A Banach space is reflexive if and only if each bounded sequence in has a weakly convergent subsequence. A weakly compact subset in is norm-compact. Indeed, every sequence in has weakly convergent subsequences by Eberlein–Šmulian, that are norm convergent by the Schur property of .Schauder bases

A Schauder basis in a Banach space is a sequence of vectors in ''X'' with the property that for every vector in , there exist ''uniquely'' defined scalars depending on , such that :$x\; =\; \backslash sum\_^\; x\_n\; e\_n,\; \backslash quad\; \backslash textit\; \backslash quad\; x\; =\; \backslash lim\_n\; P\_n(x),\; \backslash \; P\_n(x)\; :=\; \backslash sum\_^n\; x\_k\; e\_k.$ Banach spaces with a Schauder basis are necessarily separable, because the countable set of finite linear combinations with rational coefficients (say) is dense. It follows from the Banach–Steinhaus theorem that the linear mappings are uniformly bounded by some constant . Let denote the coordinate functionals which assign to every in the coordinate of in the above expansion. They are called biorthogonal functionals. When the basis vectors have norm , the coordinate functionals have norm in the dual of . Most classical separable spaces have explicit bases. The Haar wavelet, Haar system is a basis for . The Schauder basis#Examples, trigonometric system is a basis in when . The Haar wavelet#Haar system on the unit interval and related systems, Schauder system is a basis in the space . The question of whether the disk algebra has a basis remained open for more than forty years, until Bočkarev showed in 1974 that admits a basis constructed from the Haar wavelet#Haar system on the unit interval and related systems, Franklin system. Since every vector in a Banach space with a basis is the limit of , with of finite rank and uniformly bounded, the space satisfies the approximation property, bounded approximation property. The first example by Per Enflo, Enflo of a space failing the approximation property was at the same time the first example of a separable Banach space without a Schauder basis. Robert C. James characterized reflexivity in Banach spaces with a basis: the space with a Schauder basis is reflexive if and only if the basis is both Schauder basis#Schauder bases and duality, shrinking and boundedly complete. In this case, the biorthogonal functionals form a basis of the dual of .Tensor product

Let and be two -vector spaces. The tensor product of and is a -vector space with a bilinear mapping which has the following universal property: :If is any bilinear mapping into a -vector space , then there exists a unique linear mapping such that . The image under of a couple in is denoted by , and called a simple tensor. Every element in is a finite sum of such simple tensors. There are various norms that can be placed on the tensor product of the underlying vector spaces, amongst others the Topological tensor product#Cross norms and tensor products of Banach spaces, projective cross norm and Topological tensor product#Cross norms and tensor products of Banach spaces, injective cross norm introduced by Alexander Grothendieck, A. Grothendieck in 1955. In general, the tensor product of complete spaces is not complete again. When working with Banach spaces, it is customary to say that the projective tensor product of two Banach spaces and is the ''completion'' $X\; \backslash widehat\_\backslash pi\; Y$ of the algebraic tensor product equipped with the projective tensor norm, and similarly for the injective tensor product $X\; \backslash widehat\_\backslash varepsilon\; Y$. Grothendieck proved in particular that :$\backslash begin\; C(K)\; \backslash widehat\_\backslash varepsilon\; Y\; \&\backslash simeq\; C(K,\; Y),\; \backslash \backslash \; L^1($Tensor products and the approximation property

Let be a Banach space. The tensor product $X\text{'}\; \backslash widehat\; \backslash otimes\_\backslash varepsilon\; X$ is identified isometrically with the closure in of the set of finite rank operators. When has the approximation property, this closure coincides with the space of compact operators on . For every Banach space , there is a natural norm linear map :$Y\; \backslash widehat\backslash otimes\_\backslash pi\; X\; \backslash to\; Y\; \backslash widehat\backslash otimes\_\backslash varepsilon\; X$ obtained by extending the identity map of the algebraic tensor product. Grothendieck related the Approximation property, approximation problem to the question of whether this map is one-to-one when is the dual of . Precisely, for every Banach space , the map :$X\text{'}\; \backslash widehat\; \backslash otimes\_\backslash pi\; X\; \backslash \; \backslash longrightarrow\; X\text{'}\; \backslash widehat\; \backslash otimes\_\backslash varepsilon\; X$ is one-to-one if and only if has the approximation property. Grothendieck conjectured that $X\; \backslash widehat\_\backslash pi\; Y$ and $X\; \backslash widehat\_\backslash varepsilon\; Y$ must be different whenever and are infinite-dimensional Banach spaces. This was disproved by Gilles Pisier in 1983. Pisier constructed an infinite-dimensional Banach space such that $X\; \backslash widehat\_\backslash pi\; X$ and $X\; \backslash widehat\_\backslash varepsilon\; X$ are equal. Furthermore, just as Per Enflo, Enflo's example, this space is a "hand-made" space that fails to have the approximation property. On the other hand, Szankowski proved that the classical space does not have the approximation property.Some classification results

Characterizations of Hilbert space among Banach spaces

A necessary and sufficient condition for the norm of a Banach space to be associated to an inner product is the parallelogram identity: :$\backslash forall\; x,\; y\; \backslash in\; X\; :\; \backslash qquad\; \backslash ,\; x+y\backslash ,\; ^2\; +\; \backslash ,\; x-y\backslash ,\; ^2\; =\; 2\; \backslash left\; (\backslash ,\; x\backslash ,\; ^2\; +\; \backslash ,\; y\backslash ,\; ^2\; \backslash right).$ It follows, for example, that the Lp space, Lebesgue space is a Hilbert space only when . If this identity is satisfied, the associated inner product is given by the polarization identity. In the case of real scalars, this gives: :$\backslash langle\; x,\; y\backslash rangle\; =\; \backslash tfrac\; \backslash left\; (\backslash ,\; x+y\backslash ,\; ^2\; -\; \backslash ,\; x-y\backslash ,\; ^2\; \backslash right\; ).$ For complex scalars, defining theinner product
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

so as to be -linear in , Antilinear map, antilinear in , the polarization identity gives:
:$\backslash langle\; x,y\backslash rangle\; =\; \backslash tfrac\; \backslash left(\; \backslash ,\; x+y\backslash ,\; ^2\; -\; \backslash ,\; x-y\backslash ,\; ^2\; +\; i\; \backslash left\; (\backslash ,\; x+iy\backslash ,\; ^2\; -\; \backslash ,\; x-iy\backslash ,\; ^2\; \backslash right\; )\backslash right).$
To see that the parallelogram law is sufficient, one observes in the real case that is symmetric, and in the complex case, that it satisfies the Hermitian symmetry property and . The parallelogram law implies that is additive in .
It follows that it is linear over the rationals, thus linear by continuity.
Several characterizations of spaces isomorphic (rather than isometric) to Hilbert spaces are available.
The parallelogram law can be extended to more than two vectors, and weakened by the introduction of a two-sided inequality with a constant : Kwapień proved that if
:$c^\; \backslash sum\_^n\; \backslash left\; \backslash ,\; x\_k\; \backslash right\; \backslash ,\; ^2\; \backslash le\; \backslash operatorname\_\; \backslash left\; \backslash ,\; \backslash sum\_^n\; \backslash pm\; x\_k\; \backslash right\; \backslash ,\; ^2\; \backslash le\; c^2\; \backslash sum\_^n\; \backslash left\; \backslash ,\; x\_k\; \backslash right\; \backslash ,\; ^2$
for every integer and all families of vectors , then the Banach space is isomorphic to a Hilbert space.
Here, denotes the average over the possible choices of signs .
In the same article, Kwapień proved that the validity of a Banach-valued Parseval's theorem for the Fourier transform characterizes Banach spaces isomorphic to Hilbert spaces.
Lindenstrauss and Tzafriri proved that a Banach space in which every closed linear subspace is complemented (that is, is the range of a bounded linear projection) is isomorphic to a Hilbert space.
The proof rests upon Dvoretzky's theorem about Euclidean sections of high-dimensional centrally symmetric convex bodies. In other words, Dvoretzky's theorem states that for every integer , any finite-dimensional normed space, with dimension sufficiently large compared to , contains subspaces nearly isometric to the -dimensional Euclidean space.
The next result gives the solution of the so-called ''homogeneous space problem''. An infinite-dimensional Banach space is said to be homogeneous if it is isomorphic to all its infinite-dimensional closed subspaces. A Banach space isomorphic to is homogeneous, and Banach asked for the converse.
:Theorem.Gowers, W. T. (1996), "A new dichotomy for Banach spaces", Geom. Funct. Anal. 6:1083–1093. A Banach space isomorphic to all its infinite-dimensional closed subspaces is isomorphic to a separable Hilbert space.
An infinite-dimensional Banach space is hereditarily indecomposable when no subspace of it can be isomorphic to the direct sum of two infinite-dimensional Banach spaces.
The Timothy Gowers, Gowers dichotomy theorem asserts that every infinite-dimensional Banach space contains, either a subspace with Schauder basis#Unconditionality, unconditional basis, or a hereditarily indecomposable subspace , and in particular, is not isomorphic to its closed hyperplanes.
If is homogeneous, it must therefore have an unconditional basis. It follows then from the partial solution obtained by Komorowski and Nicole Tomczak-Jaegermann, Tomczak–Jaegermann, for spaces with an unconditional basis, that is isomorphic to .
Metric classification

If $T:X\backslash to\; Y$ is anisometry
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

from the Banach space $X$ onto the Banach space $Y$ (where both $X$ and $Y$ are vector spaces over $\backslash mathbf$), then the Mazur–Ulam theorem states that $T$ must be an affine transformation.
In particular, if $T(0\_X)=0\_Y$, this is $T$ maps the zero of $X$ to the zero of $Y$, then $T$ must be linear. This result implies that the metric in Banach spaces, and more generally in normed spaces, completely captures their linear structure.
Topological classification

Finite dimensional Banach spaces are homeomorphic as topological spaces, if and only if they have the same dimension as real vector spaces. Anderson–Kadec theorem (1965–66) proves that any two infinite-dimensional separable space, separable Banach spaces are homeomorphic as topological spaces. Kadec's theorem was extended by Torunczyk, who proved that any two Banach spaces are homeomorphic if and only if they have the same Set-theoretic topology#Cardinal functions, density character, the minimum cardinality of a dense subset.Spaces of continuous functions

When two compact Hausdorff spaces and are Homeomorphism, homeomorphic, the Banach spaces and are isometric. Conversely, when is not homeomorphic to , the (multiplicative) Banach–Mazur distance between and must be greater than or equal to , see above the Banach space#Examples of dual spaces, results by Amir and Cambern. Although uncountable compact metric spaces can have different homeomorphy types, one has the following result due to Milutin: :Theorem. Let be an uncountable compact metric space. Then is isomorphic to . The situation is different for Countable set, countably infinite compact Hausdorff spaces. Every countably infinite compact is homeomorphic to some closed interval of ordinal numbers :$\backslash langle\; 1,\; \backslash alpha\; \backslash rangle\; =\; \backslash $ equipped with the order topology, where is a countably infinite ordinal. The Banach space is then isometric to . When are two countably infinite ordinals, and assuming , the spaces and are isomorphic if and only if .Bessaga, Czesław; Pełczyński, Aleksander (1960), "Spaces of continuous functions. IV. On isomorphical classification of spaces of continuous functions", Studia Math. 19:53–62. For example, the Banach spaces :$C(\backslash langle\; 1,\; \backslash omega\backslash rangle),\; \backslash \; C(\backslash langle\; 1,\; \backslash omega^\; \backslash rangle),\; \backslash \; C(\backslash langle\; 1,\; \backslash omega^\backslash rangle),\; \backslash \; C(\backslash langle\; 1,\; \backslash omega^\; \backslash rangle),\; \backslash cdots,\; C(\backslash langle\; 1,\; \backslash omega^\; \backslash rangle),\; \backslash cdots$ are mutually non-isomorphic.Examples

A glossary of symbols: * ; * is a compact Hausdorff space; * is a closed and bounded interval ; * are real numbers with so that * is a sigma algebra, ''σ''-algebra of sets; * is an algebra of sets (for spaces only requiring finite additivity, such as the ba space); * is a Measure (mathematics), measure with Total variation#Total variation in measure theory, variation .Derivatives

Several concepts of a derivative may be defined on a Banach space. See the articles on the Fréchet derivative and the Gateaux derivative for details. The Fréchet derivative allows for an extension of the concept of a total derivative to Banach spaces. The Gateaux derivative allows for an extension of a directional derivative to locally convexGeneralizations

Several important spaces in functional analysis, for instance the space of all infinitely often differentiable functions R → R, or the space of all distribution (mathematics), distributions on R, are complete but are not normed vector spaces and hence not Banach spaces. InSee also

* ** ** ** ** ** ** * * * * *Notes

References

Bibliography

* * . * * . * * . * * * * * * * . * . * * * * . * * * * * .External links

* * {{Authority control Banach spaces, Science and technology in Poland