Sequential space

Last updated

In topology and related fields of mathematics, a sequential space is a topological space whose topology can be completely characterized by its convergent/divergent sequences. They can be thought of as spaces that satisfy a very weak axiom of countability, and all first-countable spaces (especially metric spaces) are sequential.

Contents

In any topological space if a convergent sequence is contained in a closed set then the limit of that sequence must be contained in as well. Sets with this property are known as sequentially closed. Sequential spaces are precisely those topological spaces for which sequentially closed sets are in fact closed. (These definitions can also be rephrased in terms of sequentially open sets; see below.) Said differently, any topology can be described in terms of nets (also known as Moore–Smith sequences), but those sequences may be "too long" (indexed by too large an ordinal) to compress into a sequence. Sequential spaces are those topological spaces for which nets of countable length (i.e., sequences) suffice to describe the topology.

Any topology can be refined (that is, made finer) to a sequential topology, called the sequential coreflection of

The related concepts of Fréchet–Urysohn spaces, T-sequential spaces, and -sequential spaces are also defined in terms of how a space's topology interacts with sequences, but have subtly different properties.

Sequential spaces and -sequential spaces were introduced by S. P. Franklin. [1]

History

Although spaces satisfying such properties had implicitly been studied for several years, the first formal definition is due to S. P. Franklin in 1965. Franklin wanted to determine "the classes of topological spaces that can be specified completely by the knowledge of their convergent sequences", and began by investigating the first-countable spaces, for which it was already known that sequences sufficed. Franklin then arrived at the modern definition by abstracting the necessary properties of first-countable spaces.

Preliminary definitions

Let be a set and let be a sequence in ; that is, a family of elements of , indexed by the natural numbers. In this article, means that each element in the sequence is an element of and, if is a map, then For any index the tail of starting at is the sequence A sequence is eventually in if some tail of satisfies

Let be a topology on and a sequence therein. The sequence converges to a point written (when context allows, ), if, for every neighborhood of eventually is in is then called a limit point of

A function between topological spaces is sequentially continuous if implies

Sequential closure/interior

Let be a topological space and let be a subset. The topological closure (resp. topological interior) of in is denoted by (resp. ).

The sequential closure of in is the setwhich defines a map, the sequential closure operator, on the power set of If necessary for clarity, this set may also be written or It is always the case that but the reverse may fail.

The sequential interior of in is the set(the topological space again indicated with a subscript if necessary).

Sequential closure and interior satisfy many of the nice properties of topological closure and interior: for all subsets

That is, sequential closure is a preclosure operator. Unlike topological closure, sequential closure is not idempotent: the last containment may be strict. Thus sequential closure is not a (Kuratowski) closure operator.

Sequentially closed and open sets

A set is sequentially closed if ; equivalently, for all and such that we must have [note 1]

A set is defined to be sequentially open if its complement is sequentially closed. Equivalent conditions include:

A set is a sequential neighborhood of a point if it contains in its sequential interior; sequential neighborhoods need not be sequentially open (see § T- and N-sequential spaces below).

It is possible for a subset of to be sequentially open but not open. Similarly, it is possible for there to exist a sequentially closed subset that is not closed.

Sequential spaces and coreflection

As discussed above, sequential closure is not in general idempotent, and so not the closure operator of a topology. One can obtain an idempotent sequential closure via transfinite iteration: for a successor ordinal define (as usual)and, for a limit ordinal defineThis process gives an ordinal-indexed increasing sequence of sets; as it turns out, that sequence always stabilizes by index (the first uncountable ordinal). Conversely, the sequential order of is the minimal ordinal at which, for any choice of the above sequence will stabilize. [2]

The transfinite sequential closure of is the terminal set in the above sequence: The operator is idempotent and thus a closure operator. In particular, it defines a topology, the sequential coreflection. In the sequential coreflection, every sequentially-closed set is closed (and every sequentially-open set is open). [3]

Sequential spaces

A topological space is sequential if it satisfies any of the following equivalent conditions:

By taking and to be the identity map on in the universal property, it follows that the class of sequential spaces consists precisely of those spaces whose topological structure is determined by convergent sequences. If two topologies agree on convergent sequences, then they necessarily have the same sequential coreflection. Moreover, a function from is sequentially continuous if and only if it is continuous on the sequential coreflection (that is, when pre-composed with ).

T- and N-sequential spaces

A T-sequential space is a topological space with sequential order 1, which is equivalent to any of the following conditions: [1]

Being a T-sequential space is incomparable with being a sequential space; there are sequential spaces that are not T-sequential and vice-versa. However, a topological space is called a -sequential (or neighborhood-sequential) if it is both sequential and T-sequential. An equivalent condition is that every sequential neighborhood contains an open (classical) neighborhood. [1]

Every first-countable space (and thus every metrizable space) is -sequential. There exist topological vector spaces that are sequential but not-sequential (and thus not T-sequential). [1]

Fréchet–Urysohn spaces

A topological space is called Fréchet–Urysohn if it satisfies any of the following equivalent conditions:

Fréchet–Urysohn spaces are also sometimes said to be "Fréchet," but should be confused with neither Fréchet spaces in functional analysis nor the T1 condition.

Examples and sufficient conditions

Every CW-complex is sequential, as it can be considered as a quotient of a metric space.

The prime spectrum of a commutative Noetherian ring with the Zariski topology is sequential. [7]

Take the real line and identify the set of integers to a point. As a quotient of a metric space, the result is sequential, but it is not first countable.

Every first-countable space is Fréchet–Urysohn and every Fréchet-Urysohn space is sequential. Thus every metrizable or pseudometrizable space  in particular, every second-countable space, metric space, or discrete space   is sequential.

Let be a set of maps from Fréchet–Urysohn spaces to Then the final topology that induces on is sequential.

A Hausdorff topological vector space is sequential if and only if there exists no strictly finer topology with the same convergent sequences. [8] [9]

Spaces that are sequential but not Fréchet-Urysohn

Schwartz space and the space of smooth functions, as discussed in the article on distributions, are both widely-used sequential spaces. [10] [11]

More generally, every infinite-dimensional Montel DF-space is sequential but not Fréchet–Urysohn.

Arens' space is sequential, but not Fréchet–Urysohn. [12] [13]

Non-examples (spaces that are not sequential)

The simplest space that is not sequential is the cocountable topology on an uncountable set. Every convergent sequence in such a space is eventually constant; hence every set is sequentially open. But the cocountable topology is not discrete. (One could call the topology "sequentially discrete".) [14]

Let denote the space of -smooth test functions with its canonical topology and let denote the space of distributions, the strong dual space of ; neither are sequential (nor even an Ascoli space). [10] [11] On the other hand, both and are Montel spaces [15] and, in the dual space of any Montel space, a sequence of continuous linear functionals converges in the strong dual topology if and only if it converges in the weak* topology (that is, converges pointwise). [10] [16]

Consequences

Every sequential space has countable tightness and is compactly generated.

If is a continuous open surjection between two Hausdorff sequential spaces then the set of points with unique preimage is closed. (By continuity, so is its preimage in the set of all points on which is injective.)

If is a surjective map (not necessarily continuous) onto a Hausdorff sequential space and bases for the topology on then is an open map if and only if, for every basic neighborhood of and sequence in there is a subsequence of that is eventually in 

Categorical properties

The full subcategory Seq of all sequential spaces is closed under the following operations in the category Top of topological spaces:

The category Seq is not closed under the following operations in Top:

Since they are closed under topological sums and quotients, the sequential spaces form a coreflective subcategory of the category of topological spaces. In fact, they are the coreflective hull of metrizable spaces (that is, the smallest class of topological spaces closed under sums and quotients and containing the metrizable spaces).

The subcategory Seq is a Cartesian closed category with respect to its own product (not that of Top). The exponential objects are equipped with the (convergent sequence)-open topology.

P.I. Booth and A. Tillotson have shown that Seq is the smallest Cartesian closed subcategory of Top containing the underlying topological spaces of all metric spaces, CW-complexes, and differentiable manifolds and that is closed under colimits, quotients, and other "certain reasonable identities" that Norman Steenrod described as "convenient". [17]

Every sequential space is compactly generated, and finite products in Seq coincide with those for compactly generated spaces, since products in the category of compactly generated spaces preserve quotients of metric spaces.

See also

Notes

  1. You cannot simultaneously apply this "test" to infinitely many subsets (for example, you can not use something akin to the axiom of choice). Not all sequential spaces are Fréchet-Urysohn, but only in those spaces can the closure of a set can be determined without it ever being necessary to consider any set other than
  2. A Fréchet–Urysohn space is defined by the analogous condition for all such :
    For any subset that is not closed in for any there exists a sequence in that converges to

Citations

  1. 1 2 3 4 Snipes, Ray (1972). "T-sequential topological spaces" (PDF). Fundamenta Mathematicae. 77 (2): 95–98. doi:10.4064/fm-77-2-95-98. ISSN   0016-2736.
  2. Baron, S. (October 1968). "The Coreflective Subcategory of Sequential Spaces". Canadian Mathematical Bulletin . 11 (4): 603–604. doi: 10.4153/CMB-1968-074-4 . ISSN   0008-4395. S2CID   124685527.
  3. "Topology of sequentially open sets is sequential?". Mathematics Stack Exchange.
  4. Arkhangel'skii, A.V. and Pontryagin L.S.,  General Topology I, definition 9 p.12
  5. Baron, S.; Leader, Solomon (1966). "Solution to Problem #5299". The American Mathematical Monthly. 73 (6): 677–678. doi:10.2307/2314834. ISSN   0002-9890. JSTOR   2314834.
  6. "On sequential properties of Noetherian topological spaces" (PDF). 2004. Retrieved 30 Jul 2023.
  7. Wilansky 2013, p. 224.
  8. Dudley, R. M., On sequential convergence - Transactions of the American Mathematical Society Vol 112, 1964, pp. 483-507
  9. 1 2 3 Gabrielyan, Saak (2019). "Topological properties of strict -spaces and strong duals of Montel strict -spaces". Monatshefte für Mathematik. 189 (1): 91–99. arXiv: 1702.07867 . doi:10.1007/s00605-018-1223-6.
  10. 1 2 T. Shirai, Sur les Topologies des Espaces de L. Schwartz, Proc. Japan Acad. 35 (1959), 31-36.
  11. Engelking 1989, Example 1.6.19
  12. Ma, Dan (19 August 2010). "A note about the Arens' space" . Retrieved 1 August 2013.
  13. math; Sleziak, Martin (Dec 6, 2016). "Example of different topologies with same convergent sequences". Mathematics Stack Exchange. StackOverflow. Retrieved 2022-06-27.
  14. "Topological vector space". Encyclopedia of Mathematics. Retrieved September 6, 2020. It is a Montel space, hence paracompact, and so normal.
  15. Trèves 2006, pp. 351–359.
  16. Steenrod 1967

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

<span class="mw-page-title-main">Open set</span> Basic subset of a topological space

In mathematics, an open set is a generalization of an open interval in the real line.

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations are also continuous functions. Such a topology is called a vector topology and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space. One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Other well-known examples of TVSs include Banach spaces, Hilbert spaces and Sobolev spaces.

In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a closed set is a set which is closed under the limit operation. This should not be confused with a closed manifold.

<span class="mw-page-title-main">General topology</span> Branch of topology

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology.

In mathematics, a limit point, accumulation point, or cluster point of a set in a topological space is a point that can be "approximated" by points of in the sense that every neighbourhood of contains a point of other than itself. A limit point of a set does not itself have to be an element of There is also a closely related concept for sequences. A cluster point or accumulation point of a sequence in a topological space is a point such that, for every neighbourhood of there are infinitely many natural numbers such that This definition of a cluster or accumulation point of a sequence generalizes to nets and filters.

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. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

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 vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological spaces which is closed under homeomorphisms. That is, a property of spaces is a topological property if whenever a space X possesses that property every space homeomorphic to X possesses that property. Informally, a topological property is a property of the space that can be expressed using open sets.

In mathematics, particularly in functional analysis, a bornological space is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of sets and linear maps, in the same way that a topological space possesses the minimum amount of structure needed to address questions of continuity. Bornological spaces are distinguished by the property that a linear map from a bornological space into any locally convex spaces is continuous if and only if it is a bounded linear operator.

In general topology and related areas of mathematics, the final topology on a set with respect to a family of functions from topological spaces into is the finest topology on that makes all those functions continuous.

In mathematics, a topological space is called countably generated if the topology of is determined by the countable sets in a similar way as the topology of a sequential space is determined by the convergent sequences.

<span class="mw-page-title-main">Arens–Fort space</span>

In mathematics, the Arens–Fort space is a special example in the theory of topological spaces, named for Richard Friederich Arens and M. K. Fort, Jr.

In the field of topology, a Fréchet–Urysohn space is a topological space with the property that for every subset the closure of in is identical to the sequential closure of in Fréchet–Urysohn spaces are a special type of sequential space.

<span class="mw-page-title-main">Filters in topology</span> Use of filters to describe and characterize all basic topological notions and results.

Filters in topology, a subfield of mathematics, can be used to study topological spaces and define all basic topological notions such as convergence, continuity, compactness, and more. Filters, which are special families of subsets of some given set, also provide a common framework for defining various types of limits of functions such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called ultrafilters have many useful technical properties and they may often be used in place of arbitrary filters.

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 towards which they all get closer. The notion of "points that get progressively closer" is made rigorous by Cauchy nets or Cauchy filters, which are generalizations of Cauchy sequences, while "point towards which they all get closer" means that this Cauchy net or filter converges to The notion of completeness for TVSs uses the theory of uniform spaces as a framework to generalize the notion of completeness for metric spaces. But unlike metric-completeness, TVS-completeness does not depend on any metric and is defined for all TVSs, including those that are not metrizable or Hausdorff.

In mathematics, an LB-space, also written (LB)-space, is a topological vector space that is a locally convex inductive limit of a countable inductive system of Banach spaces. This means that is a direct limit of a direct system in the category of locally convex topological vector spaces and each is a Banach space.

In functional analysis and related areas of mathematics, a metrizable topological vector space (TVS) is a TVS whose topology is induced by a metric. An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.

In mathematics, specifically topology, a sequence covering map is any of a class of maps between topological spaces whose definitions all somehow relate sequences in the codomain with sequences in the domain. Examples include sequentially quotient maps, sequence coverings, 1-sequence coverings, and 2-sequence coverings. These classes of maps are closely related to sequential spaces. If the domain and/or codomain have certain additional topological properties then these definitions become equivalent to other well-known classes of maps, such as open maps or quotient maps, for example. In these situations, characterizations of such properties in terms of convergent sequences might provide benefits similar to those provided by, say for instance, the characterization of continuity in terms of sequential continuity or the characterization of compactness in terms of sequential compactness.

References