We consider uniformly continuous surjections between $C_p(X)$ and $C_p(Y)$ (resp., $C_p^*(X)$ and $C_p^*(Y$)) and show that if X has some dimensional-like properties, then so does Y. In particular, we prove that if $T:C_p(X)\to C_p(Y)$ is a continuous linear surjection and $\dim X=0$, then ${\dim Y=0}$. This provides a positive answer to a question raised by Kawamura–Leiderman [11, Problem 3.1].

We introduce a generalization of sequential compactness using barriers on $\omega $ extending naturally the notion introduced in [W. Kubiś and P. Szeptycki, On a topological Ramsey theorem, Canad. Math. Bull., 66 (2023), 156–165]. We improve results from [C. Corral and O. Guzmán and C. López-Callejas, High dimensional sequential compactness, Fund. Math.] by building spaces that are ${\mathcal {B}}$-sequentially compact but not ${\mathcal {C}}$-sequentially compact when the barriers ${\mathcal {B}}$ and ${\mathcal {C}}$ satisfy certain rank assumption which turns out to be equivalent to a Katětov-order assumption. Such examples are constructed under the assumption ${\mathfrak {b}} ={\mathfrak {c}}$. We also exhibit some classes of spaces that are ${\mathcal {B}}$-sequentially compact for every barrier ${\mathcal {B}}$, including some classical classes of compact spaces from functional analysis, and as a byproduct, we obtain some results on angelic spaces. Finally, we introduce and compute some cardinal invariants naturally associated to barriers.

An old question of Arhangel’skii asks if the Menger property of a Tychonoff space X is preserved by homeomorphisms of the space $C_p(X)$ of continuous real-valued functions on X endowed with the pointwise topology. We provide affirmative answer in the case of linear homeomorphisms. To this end, we develop a method of studying invariants of linear homeomorphisms of function spaces $C_p(X)$ by looking at the way X is positioned in its (Čech–Stone) compactification.

Let $\alpha < \omega _1$ be a prime component, and let $X$ and $Y$ be metric spaces. In [8], it was shown that if $C_p(X)$ and $C_p(Y)$ are linearly homeomorphic, then the scattered heights $\kappa (X)$ and $\kappa (Y)$ of $X$ and $Y$ satisfy $\kappa (X) \leq \alpha $ if and only if $\kappa (Y) \leq \alpha $. We will prove that this also holds if $C_p^*(X)$ and $C_p^*(Y)$ are linearly homeomorphic and that these results do not hold for arbitrary Tychonov spaces. We will also prove that if $C_p^*(X)$ and $C_p^*(Y)$ are linearly homeomorphic, then $\kappa (X) < \alpha $ if and only if $\kappa (Y) < \alpha $, which was shown in [9] for $\alpha = \omega $. This last statement is not always true for linearly homeomorphic $C_p(X)$ and $C_p(Y)$. We will show that if $\alpha = \omega ^{\mu }$ where $\mu < \omega _1$ is a successor ordinal, it is true, but for all other prime components, this is not the case. Finally, we will prove that if $C_p^*(X)$ and $C_p^*(Y)$ are linearly homeomorphic, then $X$ is scattered if and only if $Y$ is scattered. This result does not directly follow from the above results. We will clarify why the results for linearly homeomorphic spaces $C_p^*(X)$ and $C_p^*(Y)$ do require a different and more complex approach than the one that was used for linearly homeomorphic spaces $C_p(X)$ and $C_p(Y)$.

The homotopy theory of gauge groups has received considerable attention in recent decades. In this work, we study the homotopy theory of gauge groups over some high-dimensional manifolds. To be more specific, we study gauge groups of bundles over (n − 1)-connected closed 2n-manifolds, the classification of which was determined by Wall and Freedman in the combinatorial category. We also investigate the gauge groups of the total manifolds of sphere bundles based on the classical work of James and Whitehead. Furthermore, other types of 2n-manifolds are also considered. In all the cases, we show various homotopy decompositions of gauge groups. The methods are combinations of manifold topology and various techniques in homotopy theory.

Let G be a simple, simply connected, compact Lie group, and let M be an orientable, smooth, connected, closed 4-manifold. In this paper, we calculate the homotopy type of the suspension of M and the homotopy types of the gauge groups of principal G-bundles over M when π1(M) is (1) ℤ*m, (2) ℤ/prℤ, or (3) ℤ*m*(*nj=1ℤ/prjjℤ), where p and the pj's are odd primes.

Let A = C(X) ⊗ K(H), where X is a compact Hausdorff space and K(H) is the algebra of compact operators on a separable infinite-dimensional Hilbert space. Let A s be the algebra of strong*-continuous functions from X to K(H). Then A s /A is the inner corona algebra of A. We show that if X has no isolated points, then A s /A is an essential ideal of the corona algebra of A, and Prim(A s /A), the primitive ideal space of A s /A, is not weakly Lindelof. If X is also first countable, then there is a natural injection from the power set of X to the lattice of closed ideals of A s /A. If X = βℕ\ℕ and the continuum hypothesis (CH) is assumed, then the corona algebra of A is a proper subalgebra of the multiplier algebra of A s /A. Several of the results are obtained in the more general setting of C 0(X)-algebras.

While the separable quotient problem is famously open for Banach spaces, in the broader context of barrelled spaces we give negative solutions. Obversely, the study of pseudocompact $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}X$ and Warner bounded $X$ allows us to expand Rosenthal’s positive solution for Banach spaces of the form $ C_{c}(X) $ to barrelled spaces of the same form, and see that strong duals of arbitrary $C_{c}(X) $ spaces admit separable quotients.

It is shown that a Tychonoff space X is pseudocompact if and only if for every metrizable space Y, all uniformities on Y induce the same topology on the space of continuous functions from X into Y. Also for certain pairs of spaces X and Y, a necessary and sufficient condition is established in order that all uniformities on Y induce the same topology on the space of continuous functions from X into Y.

Using the exponential map in multifunction context, the paper deduces a system of non-Hausdorff theorems which generalize all known Ascoli theorems for the space of continuous functions and the space of point-compact continuous multifunctions.

Topologise the set of continuous self-mappings of a Hausdorff space by the graph topology. When the set of closed subsets of the space is given the upper semi-finite topology then the function which assigns to a map its fixed-point set is continuous. In many familiar cases this is the largest such topology. Related results also hold for the function which assigns to each pair of maps their coincidence set.

The aim of this paper is to explore some properties of quasiuniform multifunction spaces. Various kinds of completeness of the quasiuniform multifunction space (YmX, UmX) are characterized in terms of suitable properties of the range space (Y, U). We also discuss the local compactness of quasiuniform multifunction spaces. By using the notion of small-set symmetry, the classic result of Hunsaker and Naimpally is extended to the quasiuniform setting.

It is shown that the dual of the space Cp(I) of all real-valued continuous functions on the closed unit interval with the pointwise topology, when equipped with the Mackey topology, is a non K-analytic but weakly analytic locally convex space.

This paper characterizes the K-analyticity-framedness in ℝX for Cp(X) (the space of real-valued continuous functions on X with pointwise topology) in terms of Cp(X). This is used to extend Tkachuk’s result about the K-analyticity of spaces Cp(X) and to supplement the Arkhangel ′skiĭ–Calbrix characterization of σ-compact cosmic spaces. A partial answer to an Arkhangel ′skiĭ–Calbrix problem is also provided.

For a completely regular space X, denote by Cp(X) the space of continuous real valued functions on X, endowed with the pointwise convergence topology. The spaces X and Y are t-equivalent if Cp(X) and Cp(Y) are homeomorphic. It is proved that, for metrizable spaces X, the countable dimensionality is preserved by t-equivalence. It is also shown that this relation preserves absolute Borel classes greater than 2 and all projective classes.