Sign up or sign in

Stone-Cech extensions of pseudocompact convex spaces.

Evgenii Reznichenko ⟨erezn64@gmail.com⟩

Abstract:

All spaces are assumed to be Tychonoff spaces. Let X be a convex pseudocompact subspace of some locally convex space (LCS).

Question 1. Is it true that the Stone-Cech extension βX has the structure of a convex compact set? Is it true that βX is homeomorphic to a convex compact subset of some LCS?

The answer to this question is positive if X=P(Y), where P(Y) is the space of probability Radon measures on X in the weak topology [1]. In this case, Y is a pseudocompact space and βP(Y)=P(βY). There is a convex compact set K and its dense convex pseudocompact subset C such that βCK.

Proposition 1. βX is path-connected.

This fact is related to the fact that the structure of a convex set with X extends to βX.

A space S with a (separately) continuous operation p:[0,1]×X×XX is called a (semi)topological convex set if there is an embedding of S into a linear space (without topology) such that p(λ,x,y)=λx+(1λ)y.

Theorem 1. If S is a pseudocompact topological convex set, then βS is a semitopological convex set.

Clearly, a convex subset of some LCS is a topological convex set. Theorem 1 implies Proposition 1.

Theorem 2. If S is a topological convex set and S2 is pseudocompact, then βS is a topological convex set.

Theorem 3. If S is a countable compact semitopological convex set, then βS is a semitopological convex set.

The theorems imply that the convex set structure from S extends to βS.

A (semi)topological convex set S is a universal (semi)topological algebra with continuum operations pλ:S×SS, pλ(x,y)=p(λ,x,y), where λ[0,1]. The signature of S is continuous, is a segment of [0,1].

The theorems are proved using results on the extension of operations in universal algebras obtained in [2].

[1] Reznichenko, E., “Stone-Cech extensions of probability measure spaces.” arXiv preprint arXiv:2412.11838 (2024).

[2] Reznichenko, E., “Extensions and factorizations of topological and semitopological universal algebras.” Topology and its Applications (2025): 109256.

Scheduled for: 2025-08-14 09:20 AM: General/ST Session #5 #3

Status: Accepted

Collection: General and Set-Theoretic Topology

Back to collection