Search arXivSearch

arXiv · 2607.23034

Bounded uniform homeomorphisms between $C_p^*$-spaces preserve pseudocompactness

Abstract

For any Tychonoff space $X$ let $C_p(X)$ (resp., $C^*_p(X)$) be the set of all continuous (resp., and bounded) functions on $X$ with the pointwise convergence topology. Given Tychonoff spaces $X$ and $Y$, Uspenskij \cite{us} proved that if $C_p(X)$ is uniformly homeomorphic to $C_p(Y)$, then $X$ is pseudocompact if and only if $Y$ is pseudocompact. The second author and Vuma \cite{valvu} have shown that linear homeomorphisms between $C_p^*(X)$ and $C_p^*(Y)$ also preserve pseudocompactness. Recently Baars-van Mill-Tkachuk \cite{bmt} gave another proof of that result and raised the question if the same remains true provided $C_p^*(X)$ and $C_p^*(Y)$ are uniformly homeomorphic. In the present paper we introduce the notion of bounded uniformly continuous maps and show that every bounded uniform homeomorphism between $C_p^*(X)$ and $C_p^*(Y)$ preserve pseudocompactness. It is also shown that a continuous linear map between $C_p$-spaces is norm-bounded if and only if it is bounded in our sense.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mikolaj Krupski, Vesko Valov. 2026-07-25. Bounded uniform homeomorphisms between $C_p^*$-spaces preserve pseudocompactness. https://arxiv.org/abs/2607.23034

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Sobriety of Scott topologies under countability conditions

In this paper, we focus on the sobriety of the Scott topology in countable case. Specifically, we show that: (1) every meet-continuous core-compact countable dcpo is sober with respect to the Scott topology; (2)every countable locally compact dcpo is sober endowed with the Scott topology; (3) the lattice of all open sets for the rational numbers space Q equipped with the Scott topology is not sober.

math.GN

Scott--Isbell Coincidence for Continuous Dcpos beyond Bicompleteness

Lawson and Mislove posed the following problem in 1990 as Problem~535 in \emph{Open Problems in Topology}: for a core-compact space \(X\) and a dcpo \(P\) equipped with its Scott topology, under what conditions on \(P\) do the Isbell and Scott topologies on \(C(X,P)\) agree?It was proved that, for a nonempty bicomplete continuous dcpo \(P\), the Isbell and Scott topologies on \(C(X,P)\) coincide for every core-compact space \(X\) if and only if \(P\) is bounded complete; for every compact core-compact space \(X\) if and only if \(P\) is conditionally bounded complete; and for every RW-space \(X\) if and only if \(P\) is a pointed continuous \(L\)-domain.We remove the bicompleteness assumption from all three classifications by combining the forbidden-retract theorem of Jia, Jung and Li with a separation theorem for powers of downward well-ordered chains and suitable Alexandrov test spaces.

math.GN

Three Problems on Separable Quotients of Precompact Abelian Groups

We address three problems on separable quotients of topological groups posed by Leiderman, Morris, and Tkachenko in \cite{LMT} published on Israel Journal of Mathematics. First, we construct in ZFC a connected Baire Pontryagin-reflexive dense subgroup of $\T^{\cc}$ whose countable subgroups are $h$-embedded and whose uncountable subgroups are dense. Its underlying abstract group is the circle group, and all its compact subsets are finite. Second, we construct a zero-dimensional Baire Pontryagin-reflexive example with the same subgroup properties whose underlying group is free abelian of rank $\cc$. Both examples have no nontrivial separable Hausdorff quotient. Third, for the group constructed in their Theorem~3.5, we determine every closed subgroup of every finite power up to an integral change of coordinates and prove that every countable subgroup of every Hausdorff quotient of a finite power is $h$-embedded and closed. The same conclusions hold for our free Baire reflexive example. These results answer Problem~1.25 negatively, Problem~3.12 affirmatively and realize all three regularity properties in Problem~3.14 simultaneously in \cite{LMT}.

math.GN