A (Hausdorff) topological group is said to have a -base if it admits a base of neighbourhoods of the unit, $U_{\alpha }:\alpha \in {\mathbb{N}}^{\mathbb{N}}$, such that $U_{\alpha }\subset U_{\beta }$ whenever β ≤ α for all $\alpha ,\beta \in {\mathbb{N}}^{\mathbb{N}}$. The class of all metrizable topological groups is a proper subclass of the class $T{G}_{}$ of all topological groups having a -base. We prove that a topological group is metrizable iff it is Fréchet-Urysohn and has a -base. We also show that any precompact set in a topological group $G\in T{G}_{}$ is metrizable, and hence G is strictly angelic. We deduce from this result...

We investigate the topological structure of the space 𝓓ℬ₁ of bounded Darboux Baire 1 functions on [0,1] with the metric of uniform convergence and with the p*-topology. We also investigate some properties of the set Δ of bounded derivatives.

Let $K$ be a compact space and let $C\left(K\right)$ be the Banach lattice of real-valued continuous functions on $K$. We establish eleven conditions equivalent to the strong compactness of the order interval $[0,x]$ in $C\left(K\right)$, including the following ones: (i) $\{x>0\}$ consists of isolated points of $K$; (ii) $[0,x]$ is pointwise compact; (iii) $[0,x]$ is weakly compact; (iv) the strong topology and that of pointwise convergence coincide on $[0,x]$; (v) the strong and weak topologies coincide on $[0,x]$. Moreover, the weak topology and that of pointwise convergence...

In this paper we introduce and investigate the notions of point open order topology, compact open order topology, the order topology of quasi-uniform pointwise convergence and the order topology of quasi-uniform convergence on compacta. We consider the functorial correspondence between function spaces in the categories of topological spaces, bitopological spaces and ordered topological spaces. We obtain extensions to the topological ordered case of classical topological results on function spaces....