Fréchet–Urysohn space

A fréchet–urysohn space is a topological space in which every point belonging to the closure of a set is the limit of a sequence drawn from that set. The condition therefore requires the ordinary notion of a convergent sequence, indexed by the natural numbers, to recover the entire topological closure operator. It is stronger than sequentiality and weaker than first countability.

The terminology reflects the convergence framework developed by Maurice Fréchet and the closure-theoretic formulation associated with Pavel Urysohn. Fréchet–Urysohn spaces occupy a central position in the study of topologies whose local structure can be analyzed through sequences without requiring a countable neighborhood base.

Definition

Let (X) be a topological space, let (A\subseteq X), and write (\overline{A}) for the closure of (A) in (X). The space (X) is fréchet–urysohn if, whenever

[ x\in\overline{A}, ]

there exists a sequence ((a_n)_{n\in\mathbb N}) of points of (A) such that

[ a_n\longrightarrow x. ]

No separation axiom is part of the definition. Consequently, the property applies to non-Hausdorff spaces as well as to the more commonly studied Hausdorff and regular cases.

For a subset (A\subseteq X), its sequential closure is

[ \operatorname{scl}(A)

\left{x\in X: \text{some sequence in }A\text{ converges to }x \right}. ]

Every topological space satisfies

[ A\subseteq \operatorname{scl}(A)\subseteq\overline{A}. ]

The fréchet–urysohn condition is precisely the identity

[ \operatorname{scl}(A)=\overline{A} ]

for every subset (A) of (X). This equality concerns a single application of sequential closure; it is therefore stronger than the requirement that repeated applications eventually recover the topological closure.

Historical formulation

The separation between closure defined by neighborhoods and closure detected by sequences became explicit during the early development of general topology. The resulting problem was not whether sequences always determine convergence, but whether every closure point can be reached by one sequence from the original set.

In 1924, You Watanabe expressed the condition as an equality between topological closure and one-step sequential closure. Watanabe also distinguished this equality from the weaker principle that a set is closed whenever it contains the limits of all its convergent sequences. This distinction supplied the form later used in comparisons between fréchet–urysohn spaces and sequential spaces.

The compound name became standard because the property combined Fréchet’s treatment of convergence with Urysohn’s analysis of closure and countability conditions. The longer designation also prevented confusion with a Fréchet space in functional analysis, where the same surname denotes a complete metrizable locally convex topological vector space.

Relation to countability axioms

Every first-countable space is fréchet–urysohn. If (x\in\overline{A}) and

[ U_1\supseteq U_2\supseteq U_3\supseteq\cdots ]

is a decreasing countable local base at (x), then each intersection (A\cap U_n) is nonempty. Points (a_n\in A\cap U_n) form a sequence converging to (x). This argument accounts for the fréchet–urysohn property of every metrizable space, since metric balls of radii tending to zero provide countable local bases.

The converse does not hold. A fréchet–urysohn space can fail to be first-countable because the existence of a suitable sequence may depend on the subset (A), whereas first countability requires one fixed countable neighborhood base to control every subset simultaneously. Thus the sequential witnesses supplied by the fréchet–urysohn property need not arise from a uniform local system.

Every fréchet–urysohn space has countable tightness. Indeed, if (x\in\overline{A}), the range of a sequence from (A) converging to (x) is a countable subset (B\subseteq A) satisfying (x\in\overline{B}). Countable tightness alone is weaker because it produces a countable set witnessing closure without requiring that the witness contain a sequence converging to the point.

Comparison with sequential spaces

A space is sequential when every sequentially closed subset is topologically closed. Equivalently, a subset that is not closed must contain a sequence converging to a point outside it. This definition does not require every individual closure point of a subset to arise as the limit of a sequence from that subset.

Accordingly, every fréchet–urysohn space is sequential, but a sequential space need not be fréchet–urysohn. The difference can be described by iterating sequential closure. For an ordinal (\alpha), define

[ \operatorname{scl}^{0}(A)=A, ]

[ \operatorname{scl}^{\alpha+1}(A)

\operatorname{scl}!\left(\operatorname{scl}^{\alpha}(A)\right), ]

and, for a limit ordinal (\lambda),

[ \operatorname{scl}^{\lambda}(A)

\bigcup_{\alpha<\lambda}\operatorname{scl}^{\alpha}(A). ]

In a sequential space, the closure of (A) is obtained through this transfinite process before the first uncountable ordinal. In a fréchet–urysohn space, no iteration beyond the first sequential-closure step is required. Under the usual convention, this is expressed by saying that a non-discrete fréchet–urysohn space has sequential order one.

Arens' space provides the standard distinction. Its topology contains points reached as limits of sequences of intermediate limit points, while no sequence from the original isolated set converges directly to the final point. The space is sequential because iterated sequential closure recovers its topological closure, but it is not fréchet–urysohn because one application does not suffice.

A different failure occurs in the ordinal space ([0,\omega_1]) with the order topology. The point (\omega_1) lies in the closure of ([0,\omega_1)), although no sequence of countable ordinals converges to (\omega_1). Every such sequence has a countable supremum below (\omega_1). In this case the obstruction also prevents the space from being sequential.

Subspaces and continuous images

The fréchet–urysohn property is hereditary. If (Y) is a subspace of a fréchet–urysohn space (X), and (y) belongs to the closure in (Y) of a set (A\subseteq Y), then (y) also belongs to the closure of (A) in (X). A sequence in (A) converging to (y) in (X) converges to the same point in the subspace topology.

Arbitrary continuous images behave differently. If (f:X\to Z) is continuous and (X) is fréchet–urysohn, the topology on (f(X)) can identify points or neighborhoods in a manner that creates new closure relations not represented by sequences from a given subset. The property is therefore not preserved by unrestricted quotient maps.

This contrasts with sequential spaces, which admit a broad quotient characterization: a space is sequential precisely when it is a quotient of a metric space. The stronger one-step closure requirement defining fréchet–urysohn spaces is not encoded by that quotient representation alone.

Finite and infinite products also require additional hypotheses. Product neighborhoods constrain several coordinates simultaneously, and coordinatewise sequences need not provide a single diagonal sequence satisfying all relevant closure conditions. The resulting product theory is connected with stronger selection properties, including the strongly fréchet–urysohn property and forms of fan tightness.

Significance of the distinction

The fréchet–urysohn condition identifies spaces in which sequences describe closure point by point rather than merely detecting whether a set is closed. This distinction is relevant whenever arguments formulated in metric spaces are transferred to nonmetrizable settings. Metric reasoning often passes from (x\in\overline{A}) directly to a sequence in (A) converging to (x); that passage remains valid in fréchet–urysohn spaces even when no countable local base exists.

At the same time, the property does not make sequences a complete replacement for neighborhood systems in every topological construction. Product behavior, quotient behavior, and uniform local structure remain sensitive to information not contained in individual convergent sequences. Fréchet–Urysohn spaces therefore mark a specific boundary between sequence-determined closure and the broader neighborhood-based structure of general topological spaces.