Sequential space

Sequential space

In topology and related fields of mathematics, a sequential space is a topological space that satisfies a very weak axiom of countability. Sequential spaces are the most general class of spaces for which sequences suffice to determine the topology.

Every sequential space has countable tightness.

Definitions

Let "X" be a topological space.
*A subset "U" of "X" is sequentially open if each sequence ("x""n") in "X" converging to a point of "U" is eventually in "U" (i.e. there exists "N" such that "x""n" is in "U" for all "n" ≥ "N".)
*A subset "F" of "X" is sequentially closed if, whenever ("x""n") is a sequence in "F" converging to "x", then "x" must also be in "F".

The complement of a sequentially open set is a sequentially closed set, and vice-versa. Every open subset of "X" is sequentially open and every closed set is sequentially closed. The converses are not generally true.

A sequential space is a space "X" satisfying one of the following equivalent conditions:

#Every sequentially open subset of "X" is open.
#Every sequentially closed subset of "X" is closed.

equential closure

Given a subset Asubset X of a space X, the sequential closure [A] _{mbox {seq is the set : [A] _{mbox {seq= {xin X : {a_n} o x, a_nin A }

that is, the set of all points xin X for which there is a sequence in A that converges to x. The map

: [;] _{mbox {seq: Amapsto [A] _{mbox {seq

is called the sequential closure operator. It shares some properties with ordinary closure, in that the empty set is sequentially closed:

: [varnothing] _{mbox {seq = varnothing

Sequentially closed sets are subsets of closed sets:

:A subset [A] _{mbox {seq subset overline{A}

for all Asubset X; here overline{A} denotes the ordinary closure of the set A. Sequential closure commutes with union:

: [Acup B] _{mbox {seq = [A] _{mbox {seq cup [B] _{mbox {seq

for all A,Bsubset X. However, unlike ordinary closure, the sequential closure operator is not in general idempotent; that is, one may have that

: [A] _{mbox {seq] _{mbox {seq e [A] _{mbox {seq

even when Asubset X is a subset of a sequential space X.

Fréchet-Urysohn space

Topological spaces for which sequential closure is the same as ordinary closure are known as Fréchet-Urysohn spaces. That is, a Fréchet-Urysohn space has

: [A] _{mbox {seq = overline{A}

for all Asubset X. A space is Fréchet-Urysohn if and only if every subspace is a sequential space. Every first-countable space is a Fréchet-Urysohn space.

The space is named after Maurice Fréchet and Pavel Urysohn.

History

Although spaces satisfying such properties had implicitly been studied for several years, the first formal definition is originally due to S. P. Franklin in 1965, who was investigating the question of "what are the classes of topological spaces that can be specified completely by the knowledge of their convergent sequences?" Franklin arrived at the definition above by noting that every first-countable space can be specified completely by the knowledge of its convergent sequences, and then he abstracted properties of first countable spaces that allowed this to be true.

Examples

Every first-countable space is sequential, hence each second countable, metric space, and discrete space is sequential. Further examples are furnished by applying the categorical properties listed below.

There are sequential spaces that are not first countable. (One example is to take the real line R and identify the set Z of integers to a point.)

An example of a 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. In fact, one could say that the cocountable topology on an uncountable set is "sequentially discrete".

Equivalent conditions

Many conditions have been shown to be equivalent to being sequential. Here are a few:

*"X" is sequential.
*"X" is the quotient of a first countable space.
*"X" is the quotient of a metric space.
*For every topological space "Y" and every map "f" : "X" → "Y", we have that "f" is continuous if and only if for every sequence of points ("x""n") in "X" converging to "x", we have ("f"("x""n")) converging to "f"("x").

The final equivalent condition shows that the class of sequential spaces consists precisely of those spaces whose topological structure is determined by convergent sequences in the space.

Categorical properties

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

* Quotients
* Continuous closed or open images
* Sums
* Inductive limits
* Open and closed subspaces

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

* Continuous images
* Subspaces
* Products

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 (i.e., 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 limits, colimits, subspaces, quotients, and other "certain reasonable identities" that Norman Steenrod described as "convenient".

See also

*Axioms of countability
*First-countable space

References

*Arkhangel'skii, A.V. and Pontryagin, L.S., "General Topology I", Springer-Verlag, New York (1990) ISBN 3-540-18178-4.
*Booth, P.I. and Tillotson, A., "Monoidal closed, cartesian closed and convenient categories of topological spaces" Pacific J. Math., 88 (1980) pp. 35–53.
*Engelking, R., "General Topology", PWN, Warsaw, (1977).
*Franklin, S. P., "Spaces in Which Sequences Suffice", Fund. Math. 57 (1965), 107-115.
*Franklin, S. P., "Spaces in Which Sequences Suffice II", Fund. Math. 61 (1967), 51-56.
*Goreham, Anthony, " [http://www.citebase.org/cgi-bin/citations?id=oai:arXiv.org:math/0412558 Sequential Convergence in Topological Spaces]
*Steenrod, N.E., "A convenient category of topological spaces", Michigan Math. J., 14 (1967), 133-152.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Sequential dynamical system — Sequential dynamical systems (SDSs) are a class of discrete dynamical systems which generalize many aspects of systems such as cellular automata, and provide a framework for studying dynamical processes over graphs. SDSs are used in the analysis… …   Wikipedia

  • Space Taxi — is a computer game for the Commodore 64. It was written by John Kutcher and published by MUSE Software in 1984. Space Taxi is an action game, with an idea similar to Jumpman . There are 24 different levels, all in sequential order, and the player …   Wikipedia

  • Space Systems/Loral — (SS/L), of Palo Alto, California, is the wholly owned manufacturing subsidiary of Loral Space Communications. It was acquired in 1990 for $715 million by Loral Corp. from Ford Motor Company as the Space Systems Division of Ford Aerospace. The… …   Wikipedia

  • Space War Blues — is a science fiction novel by American writer Richard A. Lupoff. It is a fixup of several previously published pieces, the longest of which, With The Bentfin Boomer Boys On Little Old New Alabama, (afterwards “WTBBB”) first appeared in Harlan… …   Wikipedia

  • Sequential manual transmission — A sequential manual transmission (or sequential manual gearbox) is a type of manual transmission used on motorcycles and high performance cars or auto racing, where gears are selected in order, and direct access to specific gears is not… …   Wikipedia

  • Sequential Circuits Six-Trak — Infobox synthesizer image caption = Sequential Circuits Six Trak synth name = Six Trak synth manufacturer = Sequential Circuits synthesis type = Analog Subtractive polyphony = 6 left control = Pitch, Modulation keyboard = 49 key ext control =… …   Wikipedia

  • space group — Crystall. a set of symmetry elements that brings a periodic arrangement of points on a Bravais space lattice to its original position. * * * ▪ crystallography       in crystallography, any of the ways in which the orientation of a crystal can be… …   Universalium

  • sequential compactness — noun The property of a metric space that every sequence has a convergent subsequence …   Wiktionary

  • SPACE — • Self Programming Automatic Circuit Evaluator • Sequential Position And Covariance Estimation • Sideral Polar Axis Celestial Equipment ( > IEEE Standard Dictionary ) • Spacecraft Prelaunch Automatic Checkout Equipment NASA …   Acronyms

  • SPACE — [1] Self Programming Automatic Circuit Evaluator [2] Sequential Position And Covariance Estimation [3] Sideral Polar Axis Celestial Equipment ( > IEEE Standard Dictionary ) [4] Spacecraft Prelaunch Automatic Checkout Equipment ( > NASA… …   Acronyms von A bis Z

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”