In mathematics, specifically in
topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...
and
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. Inner product space#Definition, inner product, Norm (mathematics)#Defini ...
, a subspace of a
uniform space
In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and unifo ...
is said to be sequentially complete or semi-complete if every
Cauchy sequence
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in m ...
in converges to an element in .
is called sequentially complete if it is a sequentially complete subset of itself.
Sequentially complete topological vector spaces
Every
topological vector space
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis.
A topological vector space is a vector space that is als ...
is a
uniform space
In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and unifo ...
so the notion of sequential completeness can be applied to them.
Properties of sequentially complete topological vector spaces
#A bounded sequentially complete
disk
Disk or disc may refer to:
* Disk (mathematics), a geometric shape
* Disk storage
Music
* Disc (band), an American experimental music band
* ''Disk'' (album), a 1995 EP by Moby
Other uses
* Disk (functional analysis), a subset of a vector sp ...
in a Hausdorff topological vector space is a
Banach disk
In functional analysis, two methods of constructing normed spaces from disks were systematically employed by Alexander Grothendieck to define nuclear operators and nuclear spaces.
One method is used if the disk D is bounded: in this case, the aux ...
.
#A Hausdorff locally convex space that is sequentially complete and
bornological is
ultrabornological.
Examples and sufficient conditions
#Every
complete 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 .
Intuitively, a space is complete if there are no "points missing" from it (inside or at the boun ...
is sequentially complete but not conversely.
#A metrizable space then it is complete if and only if it is sequentially complete.
#Every
complete topological vector space
In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point x towards ...
is
quasi-complete
In functional analysis, a topological vector space (TVS) is said to be quasi-complete or boundedly complete if every closed and bounded subset is complete.
This concept is of considerable importance for non- metrizable TVSs.
Properties
* Eve ...
and every quasi-complete topological vector space is sequentially complete.
See also
*
Cauchy net
In mathematics, more specifically in general topology and related branches, a net or Moore–Smith sequence is a generalization of the notion of a sequence. In essence, a sequence is a function whose domain is the natural numbers. The codoma ...
*
Complete 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 .
Intuitively, a space is complete if there are no "points missing" from it (inside or at the boun ...
*
Complete topological vector space
In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point x towards ...
*
Quasi-complete space
In functional analysis, a topological vector space (TVS) is said to be quasi-complete or boundedly complete if every closed and bounded subset is complete.
This concept is of considerable importance for non- metrizable TVSs.
Properties
* Ever ...
*
Topological vector space
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis.
A topological vector space is a vector space that is als ...
*
Uniform space
In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and unifo ...
References
Bibliography
*
*
*
*
*
{{TopologicalVectorSpaces
Functional analysis
Topological vector spaces