Finite-Closed Topology

• Finite-closed topology is a framework that defines closure or openness via finite-dimensional or finite criteria in settings such as vector spaces, hyperspaces, and closure spaces.
• It applies methodologies like the finite topology on vector spaces and Michael’s lower semifinite topology in hyperspace theory to control topological behavior through finite intersections.
• In closure space theory, finitary closure operations yield robust lattice structures, linking combinatorial topology, categorical methods, and set-theoretic concepts.

Searching arXiv for papers directly relevant to the different established uses of “finite-closed topology.” “Finite-closed topology” is not a single universally fixed term across mathematics. In the arXiv literature, it refers at least to: the finite topology on a vector space, defined by testing openness or closedness on every finite-dimensional subspace (Pazzis, 2018); Michael’s lower semifinite topology on hyperspaces of closed sets, identified there with the finite-closed topology (Lazar, 2008); and a broader finite-closure-space setting in which closure systems, finite closure spaces, and their topological resolutions are studied categorically and combinatorially (Janelidze et al., 2023, Eschgfäller, 2021). A further, distinct usage appears in the theory of topological spaces with no infinite discrete subspace, where “finite-closed” is used descriptively for spaces in which closed sets decompose into finitely many irreducible closed subsets (Goubault-Larrecq et al., 2017). These usages share a common methodological theme: finitary control of closure or openness, but they arise in different categories and should not be conflated.

1. Finite topology on vector spaces

Let $V$ be a real or complex vector space. The finite topology of $V$ consists of all subsets $U$ for which the intersection $U \cap F$ is closed in $F$ for every finite-dimensional linear subspace of $V$ (Pazzis, 2018). Equivalently, a set $A \subseteq V$ is finite closed if $A \cap F$ is closed in $F$ for every finite-dimensional subspace $F \subseteq V$ (Pazzis, 2018).

The corresponding open-set formulation is standard in the same paper: a subset $V$0 is finite open if, for every finite-dimensional linear subspace $V$1, the set $V$2 is open in $V$3, and the collection of all such finite open subsets forms a topology, denoted $V$4 (Pazzis, 2018). Formally,

$V$5

This topology is closely related to extremal linear topologies. If $V$6 has countable dimension, then Kakutani and Klee showed

$V$7

where $V$8 is the greatest vector space topology and $V$9 is the greatest locally convex vector space topology (Pazzis, 2018). In the uncountable-dimensional case, the situation changes sharply: $U$0 is not a vector space topology, and

$U$1

This establishes that the finite topology is maximal only in the countable-dimensional regime (Pazzis, 2018).

A further characterization uses norms. Let $U$2 be the set of all norms on $U$3, and for each norm $U$4, let $U$5 denote its open sets. Define

$U$6

If $U$7 has countable dimension, then $U$8; otherwise, $U$9 is not a topology, and in particular $U \cap F$0 (Pazzis, 2018). Thus, in countable dimension, the finite topology is simply the union of all normed space topologies, while in uncountable dimension even that union fails to define a topology.

2. Domination of families of norms and the finite topology

The vector-space finite topology is tied in (Pazzis, 2018) to a domination problem for families of norms. A norm $U \cap F$1 dominates a norm $U \cap F$2 if $U \cap F$3 for some $U \cap F$4, and a family $U \cap F$5 is dominated if there is a norm $U \cap F$6 such that each $U \cap F$7 for some $U \cap F$8 (Pazzis, 2018). This control problem is used to explain when finite-open sets can be realized as open in a single norm topology.

The main structural result is Theorem 5 of (Pazzis, 2018): every $U \cap F$9-indexed family of norms on $F$0 is dominated if and only if one of the following holds: $F$1 is finite-dimensional; $F$2 is finite; $F$3 is countable-dimensional and $F$4; or $F$5 is countable and $F$6, where $F$7 is the bounding number (Pazzis, 2018). The paper defines $F$8 as the minimum cardinality of a set of functions $F$9 which is unbounded with respect to eventual domination (Pazzis, 2018).

This cardinal-theoretic criterion explains why countable-dimensional spaces behave particularly well. In that case, every countable family of norms is dominated, and this is used to show that every finite open set is open in some norm topology (Pazzis, 2018). By contrast, when $V$0 or the index set is sufficiently large, undominated families of norms exist, and the union-of-norm-topologies description breaks down (Pazzis, 2018). A plausible implication is that the finite topology sits at an interface between linear-topological structure and set-theoretic asymptotics.

3. Finite-closed topology in hyperspace theory

In hyperspace theory, “finite-closed topology” has a different, classical meaning. For a topological space $V$1, let $V$2 denote the set of all closed subsets of $V$3. The paper “Hyperspaces of Closed Limit Sets” identifies Michael’s lower semifinite topology $V$4 with the finite-closed topology on $V$5 (Lazar, 2008).

The basis elements are

$V$6

where $V$7 is a finite family of open subsets of $V$8 (Lazar, 2008). Thus the topology is generated by finitely many intersection conditions with open sets. In the same paper, Fell’s topology $V$9 on $A \subseteq V$0 has basis

$A \subseteq V$1

with $A \subseteq V$2 compact and $A \subseteq V$3 finite (Lazar, 2008). The difference is that Fell’s topology adds avoidance of compact sets, making it finer than $A \subseteq V$4.

Several standard properties are recorded in (Lazar, 2008). The Fell topology is compact on $A \subseteq V$5; if $A \subseteq V$6 is locally compact, it is also Hausdorff, and if second countable, metrizable. The lower semifinite topology is weaker than Fell’s topology, is always $A \subseteq V$7, and is second countable when $A \subseteq V$8 is second countable (Lazar, 2008). The paper then restricts both topologies to the family $A \subseteq V$9 of closed limit sets and to the subfamily $A \cap F$0 of maximal limit sets.

A key result is that the two topologies coincide on maximal limit sets:

$A \cap F$1

(Lazar, 2008). Also, the closure in $A \cap F$2 of the set of points embedded as singletons is exactly the set $A \cap F$3 of closed limit sets (Lazar, 2008). In this usage, “finite-closed” does not concern finite-dimensional subspaces or finite closure spaces; it refers specifically to a hyperspace topology generated by finitely many hit conditions.

4. Closure spaces and finite closure spaces

A third major context is the theory of closure spaces. A closure space is a pair $A \cap F$4, in which $A \cap F$5 is a set and $A \cap F$6 a set of subsets of $A \cap F$7 closed under arbitrary intersections (Janelidze et al., 2023). Equivalently, one can specify a closure operator $A \cap F$8 satisfying extensivity, idempotency, and monotonicity (Janelidze et al., 2023). Every topological space is a closure space, but not every closure space is topological, because closure spaces require closure under arbitrary intersections of closed sets, not arbitrary unions (Janelidze et al., 2023).

The paper “Strict monadic topology II: descent for closure spaces” studies morphisms $A \cap F$9 such that preimages of closed sets are closed, and characterizes descent morphisms in the category $F$0 of closure spaces (Janelidze et al., 2023). For a morphism $F$1, the following are equivalent: $F$2 is a pullback-stable regular epimorphism; for all $F$3, $F$4; for all $F$5, $F$6; and for all $F$7, the subset $F$8 is closed (Janelidze et al., 2023). The paper’s main categorical results include that every descent morphism in the category of finite closure spaces is an effective descent morphism, and that every surjective closed map and every surjective open map of closure spaces is an effective descent morphism (Janelidze et al., 2023).

Finite closure spaces are also linked to finite topological spaces by a canonical resolution. For every finite closure space $F$9, one can define a finite topological space $F \subseteq V$0 together with a natural projection $F \subseteq V$1 (Eschgfäller, 2021). If $F \subseteq V$2 denotes the set of minimal neighborhoods of $F \subseteq V$3, then

$F \subseteq V$4

with order

$F \subseteq V$5

(Eschgfäller, 2021). The projection $F \subseteq V$6 is both continuous and open, and if $F \subseteq V$7 is already a topological space, then $F \subseteq V$8 (Eschgfäller, 2021). This construction is designed to allow the techniques of topological combinatorics to be applied to finite closure spaces (Eschgfäller, 2021).

This suggests a broad interpretation of “finite-closed” as finitary closure structure, but the papers keep the notions distinct: closure spaces, finite closure spaces, and finite topologies are treated as related but not identical objects (Janelidze et al., 2023, Eschgfäller, 2021).

5. Regular closed sets and finite closure-space lattices

The lattice-theoretic study of closure spaces provides another strand of the subject. For a closure space $F \subseteq V$9 with $V$00, the closures of open subsets of $V$01, called the regular closed subsets, form an ortholattice $V$02, extending the poset $V$03 of all clopen subsets (Santocanale et al., 2013). Here the interior operator is

$V$04

and a subset is regular closed when $V$05 (Santocanale et al., 2013).

The paper proves several structural results for finite closure spaces (Santocanale et al., 2013). In any finite convex geometry, $V$06 is pseudocomplemented. For finite closure spaces of semilattice type, $V$07 satisfies an infinite collection of stronger and stronger quasi-identities, weaker than both meet- and join-semidistributivity, although it may fail semidistributivity. If $V$08 is semidistributive, then it is a bounded homomorphic image of a free lattice (Santocanale et al., 2013).

One sharp criterion concerns the clopen poset. The paper states that $V$09 is a lattice if and only if every regular closed set is clopen (Santocanale et al., 2013). In many important cases, $V$10 is the Dedekind–MacNeille completion of $V$11, including the semilattice setting and certain graph-theoretic constructions such as block graphs and cycles (Santocanale et al., 2013). The extended permutohedron $V$12 on a graph $V$13 and the extended permutohedron $V$14 on a join-semilattice $V$15 are both defined as lattices of regular closed sets of suitable closure spaces (Santocanale et al., 2013).

Within an encyclopedia treatment of finite-closed topology, these results are relevant because they show how closure notions on finite carriers generate robust lattice structures even when the ambient setting is not an ordinary topology.

6. FAC spaces and the descriptive use of “finite-closed”

A different use of the term appears in the theory of spaces with no infinite discrete subspace. A topological space $V$16 is called an FAC space if it contains no infinite discrete subset (Goubault-Larrecq et al., 2017). The paper proves that the following are equivalent: no infinite subset of $V$17 is discrete; every closed set is a finite union of irreducible closed subsets; and every closed set contains a dense subset on which the induced topology is Noetherian (Goubault-Larrecq et al., 2017).

The same paper gives further equivalent conditions: no infinite subspace is both sober and $V$18; no infinite subspace is a KC-space; no infinite subspace is Hausdorff; and no subspace contains an infinite relatively Hausdorff subset (Goubault-Larrecq et al., 2017). It also establishes a min-max property: for every closed set $V$19 in an FAC space, the maximum cardinality of relatively Hausdorff subsets of $V$20, the maximum number of pairwise disjoint non-empty open subsets of $V$21, the least number of irreducible closed subsets needed to cover $V$22, and the least number of hyperconnected subspaces covering $V$23 are finite and equal (Goubault-Larrecq et al., 2017).

The paper remarks that FAC spaces are sometimes called “finite-closed” or “finite-union-of-irreducibles” spaces, capturing that all closed sets break into finitely many irreducible atoms (Goubault-Larrecq et al., 2017). This terminology is descriptive rather than definitional. It does not denote the finite topology on a vector space or the lower semifinite topology on a hyperspace; instead it names a structural property of the lattice of closed sets.

7. Related finite-topological constructions and terminological boundaries

Several adjacent arXiv works clarify the broader landscape in which finite-closed terminology appears. “Finite topologies for finite geometries” develops finite topological spaces from finite abstract simplicial complexes and finite graphs using stars $V$24 as a basis, with closed sets given by subcomplexes (Knill, 2023). All such spaces are Alexandroff, every point has a smallest neighborhood, and classical formulas such as the Lefschetz fixed point theorem are shown to hold for continuous maps on finite topological spaces (Knill, 2023). This paper concerns finite topologies rather than the specific finite topology of (Pazzis, 2018) or the finite-closed hyperspace topology of (Lazar, 2008).

“Introduction To Typed Topological Space” addresses a standard pathology of finite topologies: in classical finite topological spaces, especially those with the $V$25 property, every singleton is both open and closed (Hu, 2018). The paper introduces type assignments from a finite bounded distributive lattice and defines closure and neighborhood systems relative to chains of types, with

$V$26

for the $V$27-closure of $V$28 (Hu, 2018). This is another finitary closure formalism, but not one called finite-closed topology in the cited work.

A further source of possible confusion is the algebraic use of “finite topology” on module duals. For a right $V$29-module $V$30, the dual $V$31 carries the finite topology whose neighborhoods of $V$32 are

$V$33

for finitely generated submodules $V$34 (Iovanov, 2011). The closed submodules of $V$35 are precisely those of the form $V$36, and the resulting annihilator correspondence is an anti-isomorphism of lattices for all modules if and only if $V$37 is a PF ring (Iovanov, 2011). This is again a “finite topology,” but not the hyperspace finite-closed topology.

The terminological boundary is therefore essential. “Finite-closed topology” may denote Michael’s lower semifinite hyperspace topology (Lazar, 2008); it may denote the finite topology on a vector space when phrased in terms of finite closed sets (Pazzis, 2018); or it may be used descriptively for topological spaces whose closed sets decompose finitely (Goubault-Larrecq et al., 2017). A plausible implication is that the term functions more as a family resemblance than as a single canonical concept: in each context, finite data determine closure behavior, but the ambient category, objects, and closure operators differ substantially.