An Adaptation of the Vietoris Topology for Ordered Compact Sets

This paper introduces and analyzes a natural topology on powers of a space inspired by the Vietoris topology, comparing it with other product topologies and demonstrating that, unlike the standard Vietoris topology on unordered compact subsets, covering properties such as the Lindelöf property do not necessarily transfer from the ground space to its ordered power.

The Gist

Imagine you have a giant box of Lego bricks. In the world of mathematics, this box represents a "space" (like a line, a plane, or a collection of points). Mathematicians love to study what happens when you take these bricks and arrange them into groups.

Usually, there are two main ways to look at these groups:

1. The "Unordered" Way (The Vietoris Topology): Imagine you dump a handful of bricks onto a table. You don't care which brick is on the left or right, or if you have two red bricks. You only care about the shape the pile makes. This is how mathematicians traditionally study "compact sets" (finite or closed groups).
2. The "Ordered" Way (The Tychonoff Product): Imagine you line up the bricks in a specific row: Brick 1, Brick 2, Brick 3. Here, the position matters. If you swap Brick 1 and Brick 2, it's a different arrangement.

The Big Idea: The "Vietoris Power"

This paper introduces a new, hybrid way to look at these groups. The authors call it the Vietoris Power.

Think of it like this: You are building a long train of Lego cars.

• The Rule: You can have as many cars as you want (even an infinite train).
• The Twist: The order of the cars matters (Car 1 is different from Car 2), BUT, the entire train must stay within a specific "zone" or "shape" defined by the bricks you used.

The authors are asking: "If we arrange our bricks in this specific 'ordered but constrained' way, what kind of new world do we create?"

The Surprising Discoveries

The authors found that this new world behaves very differently from the old worlds mathematicians were used to. Here are the key takeaways, explained with analogies:

1. The "Compactness" Trap

In the old "Unordered" world, if you start with a nice, tight, compact pile of bricks, the collection of all possible piles is also nice and tight.

• The New World: The authors found that even if your starting bricks are perfect and compact, your new "ordered train" world is messy and loose. It's like taking a neat stack of pancakes and stretching them into a long, wobbly noodle that never quite settles down.
• The Lesson: Just because the ingredients are "compact" (well-behaved), the ordered arrangement doesn't have to be.

2. The "Covering" Game

Mathematicians play a game called "Covering." Imagine you have a floor covered in tiles, and you want to cover the whole floor with a finite number of blankets.

• The Old Rule: If the floor is "Menger" (a fancy word for "easy to cover"), then the collection of all possible arrangements of floor tiles is also easy to cover.
• The New Rule: The authors proved this fails in their new world. You can have a floor that is easy to cover, but if you arrange the tiles into ordered trains, the collection of all those trains becomes impossible to cover with a few blankets.
• The Analogy: It's like saying, "If I can easily pack a suitcase, I can easily pack every possible way I could arrange my clothes in that suitcase." The authors say: Nope! Arranging the clothes in a specific order makes the suitcase infinitely harder to manage.

3. The "Discrete" vs. "Real Line" Test

The authors tested their new world with two types of Lego boxes:

• The Discrete Box: A box where every brick is distinct and separate (like a jar of different colored marbles).
  • Result: The new world is surprisingly well-behaved here. It's "second-countable" (easy to describe) and "locally compact" (small neighborhoods are tidy).
• The Real Line Box: A box where the bricks are points on a continuous line (like a ruler).
  • Result: Chaos. When they tried to build ordered trains on a continuous line, the resulting world became "not Lindelöf" (you can't cover it with a countable number of blankets) and "not Menger."
  • The Takeaway: The behavior of this new topology depends entirely on what kind of "bricks" you start with. It's not a one-size-fits-all solution.

Why Does This Matter?

You might ask, "Why do we need a new way to arrange Lego bricks?"

1. It Breaks the Rules: For a long time, mathematicians thought that "covering properties" (how easy it is to cover a space) were stable. If you had a property in the small space, you'd have it in the big space. This paper shows that order breaks stability. It proves that you can't just assume the rules of the small parts apply to the big, ordered whole.
2. New Tools for Old Problems: The authors created a new mathematical tool (the Vietoris Power) that sits somewhere between the "Box Topology" (super strict) and the "Tychonoff Product" (super loose). This gives mathematicians a new lens to look at problems that were previously stuck.
3. The "Pinched Cube" Connection: Interestingly, after they finished their work, they found out another mathematician had discovered this same idea under a different name ("Pinched Cube Topology"). It's like two explorers finding the same hidden island from opposite sides of the ocean.

The Bottom Line

This paper is a story about expectations vs. reality.

• Expectation: If I take a well-behaved space and arrange its parts in order, the result should still be well-behaved.
• Reality: The act of ordering things can introduce wild, unpredictable chaos. The "Vietoris Power" is the mathematical proof that structure and order can sometimes make things messier, not cleaner.

It's a reminder that in mathematics (and maybe in life), just because the pieces fit together nicely on their own, doesn't mean the whole picture will be simple when you line them up in a specific order.

Technical Summary

Here is a detailed technical summary of the paper "An Adaptation of the Vietoris Topology for Ordered Compact Sets" by Christopher Caruvana and Jared Holshous.

1. Problem Statement and Motivation

The paper addresses a gap in the topological study of compact sets compared to finite sets. While finite sets are naturally studied with combinatorics (order and repetition), compact sets are typically studied as unordered collections without repetition (via the Vietoris hyperspace $K(X)$).

• The Gap: There is a lack of a natural topological space representing ordered compact subsets with repetition that behaves analogously to the space of ordered finite sets ($X^{<\omega}$).
• The Goal: To define a "Vietoris power" topology on the product space $X^\kappa$ (functions from a cardinal $\kappa$ to $X$) that restricts the image to be compact, creating a space $K(X, \text{ord}, \kappa)$. The authors aim to compare this new topology with existing product topologies (Tychonoff, Box, Uniform Box) and investigate whether covering properties (like Menger or Lindelöf) of the ground space $X$ transfer to this new power space.

2. Methodology and Definitions

The authors introduce a new topology called the Vietoris Power, denoted $V(X^\kappa)$, and its subspaces of ordered compact sets.

• Definition of the Vietoris Power ($V(X^\kappa)$):
  For a space $X$ and cardinal $\kappa$, the basis consists of sets of the form:
  $$[U; \Lambda, V] = \{f \in X^\kappa : \text{img}(f) \subseteq U \land \forall \alpha \in \Lambda, f(\alpha) \in V_\alpha\}$$
  where $U \subseteq X$ is open, $\Lambda \in [\kappa]^{<\aleph_0}$ is a finite subset of indices, and $V: \Lambda \to \mathcal{T}_X$ assigns open sets to those indices.

  • This topology is finer than the Tychonoff product topology but coarser than the Box topology.
  • It is distinct from the Uniform Box topology (introduced by Bell).

• Ordered Compact Sets ($K(X, \text{ord}, \kappa)$):
  Defined as the subspace of $V(X^\kappa)$ consisting of functions $f$ where the image $\text{img}(f)$ is a compact subset of $X$.
  $$K(X, \text{ord}, \kappa) = \{f \in X^\kappa : \text{img}(f) \in K(X)\}$$
  The authors also define $F(X, \text{ord})$ for functions with finite images.

• Tools Used:

  • Selection Principles and Games: The paper utilizes selection principles ($S_1, S_{fin}$) and associated games ($G_1, G_{fin}$) to analyze covering properties (Menger, Rothberger, Lindelöf).
  • Mapping Analysis: The natural projection map $\pi: f \mapsto \text{img}(f)$ from the ordered space to the unordered Vietoris hyperspace $K(X)$ is analyzed for continuity, openness, and properness.

3. Key Contributions and Results

A. Topological Properties of the Vietoris Power

1. Failure of Compactness: Unlike the Tychonoff product, the Vietoris power of a compact space is not necessarily compact.
   • Example: $V(2^\omega)$ is not compact, even though $2^\omega$ is compact.
   • Implication: The Tychonoff Theorem does not generalize to Vietoris powers.
2. Comparison with Other Topologies:
   • $V(X^\kappa)$ is strictly between the Tychonoff and Box topologies in terms of fineness (for infinite $\kappa$).
   • It is generally incomparable with the Uniform Box topology.
3. Cardinal Functions:
   • Density: The authors prove a version of the Hewitt-Marczewski-Pondiczery theorem: if $\kappa \le 2^{d(X)}$, then $d(V(X^\kappa)) \le d(X)$.
   • Weight: For $V(\omega^\omega)$, the weight is $\mathfrak{c}$ (continuum), while the density is $\aleph_0$. This proves $V(\omega^\omega)$ is not metrizable.
   • Spread and Extent: For $V(\omega^\omega)$, both spread and extent are $\mathfrak{c}$.
4. Local Compactness and Homogeneity:
   • $V(\omega^\omega)$ is not locally compact and not homogeneous (constant functions are isolated points, while non-constant functions are not).
   • It is zero-dimensional, separable, Baire, and first-countable.
   • It is not a GO-space (Generalized Ordered space) because it is separable but not hereditarily separable.

B. Covering Properties and Selection Principles

The central negative result of the paper concerns the transfer of covering properties from the ground space to the Vietoris power.

• Non-Transfer of Menger/Lindelöf:
  • While the ground space $\mathbb{R}$ is Menger (and even $\sigma$-compact), the space $K(\mathbb{R}, \text{ord})$ is not Lindelöf and not Menger.
  • Specifically, $K(\mathbb{R}, \text{ord})$ is separable but not Lindelöf (it contains an uncountable closed discrete set).
  • This contrasts sharply with the relationship between finite ordered sets ($X^{<\omega}$) and unordered finite sets, where covering properties often transfer.
• Discrete Spaces:
  • For an uncountable discrete space $X$, $K(X, \text{ord})$ is not Lindelöf.
  • However, for countable discrete spaces (like $\omega$), $K(\omega, \text{ord})$ is $\sigma$-compact and thus Menger.

C. Game-Theoretic Relationships

The authors analyze the relationship between selection games on the ordered power and the unordered hyperspace via the projection map $\pi(f) = \text{img}(f)$.

• Continuous Image: The map $\pi$ is a continuous surjection. This implies that if the ordered space satisfies a selection principle, the unordered space must also satisfy it (in the reverse direction of implication for games).
• Compact Covering Map: The map $\pi: K(X, \text{ord}) \to K(X)$ is a compact covering map (every compact set in the codomain has a compact preimage). This allows the authors to prove:
  $$G_*(K_{K(X, \text{ord})}, K_{K(X, \text{ord})}) \le_{II} G_*(K_X, K_X)$$
  However, the reverse implication fails. The authors show that $G_1(K_X, K_X) \not\le_{II} G_1(K_{K(X, \text{ord})}, K_{K(X, \text{ord})})$ in general.
• Rothberger Property: For any $T_1$ space $X$ with at least two points, $F(X, \text{ord})$ is not Rothberger, even if $X$ is.

4. Significance and Conclusion

• Theoretical Impact: The paper demonstrates that the combinatorial structure of "ordered" sets, when applied to compact sets via the Vietoris power, fundamentally alters the topological behavior. The "nice" properties of finite ordered sets (where covering properties transfer) do not extend to compact ordered sets.
• New Topological Space: The Vietoris power provides a new method for constructing spaces that maintain the density of the original space but significantly increase the weight and destroy properties like the Lindelöf property.
• Counterexamples: The space $V(\omega^\omega)$ serves as a rich counterexample: it is separable, first-countable, zero-dimensional, and Baire, yet it is not metrizable, not locally compact, not hereditarily separable, and not Menger.
• Relation to Existing Work: The authors note that Jocelyn Bell independently introduced this topology as the "pinched cube topology" (in [18]), though with different motivations. This paper provides the first deep analysis of its properties in the context of ordered compact sets and selection principles.

In summary, the paper establishes that the Vietoris power is a distinct and complex topology that fails to preserve the covering properties of the ground space, distinguishing it sharply from both the Tychonoff product and the classical Vietoris hyperspace.