We study the relation between a space $X$ satisfying certain generalized metric properties and its $n$-fold symmetric product ${ℱ}_n\left(X\right)$ satisfying the same properties. We prove that $X$ has a $\sigma$-$\left(P\right)$-property $cn$-network if and only if so does ${ℱ}_n\left(X\right)$. Moreover, if $X$ is regular then $X$ has a $\sigma$-$\left(P\right)$-property $ck$-network if and only if so does ${ℱ}_n\left(X\right)$. By these results, we obtain that $X$ is strict $\sigma$-space (strict $\aleph$-space) if and only if so is ${ℱ}_n\left(X\right)$.

Let $L_c\left(X\right)=\{f\in C\left(X\right):\overline{C_f}=X\}$, where $C_f$ is the union of all open subsets $U\subseteq X$ such that $\left|f\left(U\right)\right|\le {\aleph }_0$. In this paper, we present a pointfree topology version of $L_c\left(X\right)$, named ${ℛ}_{\ell c}\left(L\right)$. We observe that ${ℛ}_{\ell c}\left(L\right)$ enjoys most of the important properties shared by $ℛ\left(L\right)$ and ${ℛ}_c\left(L\right)$, where ${ℛ}_c\left(L\right)$ is the pointfree version of all continuous functions of $C\left(X\right)$ with countable image. The interrelation between $ℛ\left(L\right)$, ${ℛ}_{\ell c}\left(L\right)$, and ${ℛ}_c\left(L\right)$ is examined. We show that $L_c\left(X\right)\cong {ℛ}_{\ell c}\left(𝔒\left(X\right)\right)$ for any space $X$. Frames $L$ for which ${ℛ}_{\ell c}\left(L\right)=ℛ\left(L\right)$ are characterized.

We say that a collection $𝒜$ of subsets of $X$ has property $\left(CC\right)$ if there is a set $D$ and point-countable collections $𝒞$ of closed subsets of $X$ such that for any $A\in 𝒜$ there is a finite subcollection $ℱ$ of $𝒞$ such that $A=D\setminus \bigcup ℱ$. Then we prove that any compact space is Corson if and only if it has a point-$\sigma$-$\left(CC\right)$ base. A characterization of Corson compacta in terms of (strong) point network is also given. This provides an answer to an open question in “A Biased View of Topology as a Tool in Functional Analysis”...

We prove that if $X$ is a first countable space with property $\left(DC\left({\omega }_1\right)\right)$ and with a $G_{\delta }$-diagonal then the cardinality of $X$ is at most $𝔠$. We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$.

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

Let $F$ be a closed subset of ${ℝ}^n$ and let $P\left(x\right)$ denote the metric projection (closest point mapping) of $x\in {ℝ}^n$ onto $F$ in $l^p$-norm. A classical result of Asplund states that $P$ is (Fréchet) differentiable almost everywhere (a.e.) in ${ℝ}^n$ in the Euclidean case $p=2$. We consider the case $2<p<\infty$ and prove that the $i$th component $P_i\left(x\right)$ of $P\left(x\right)$ is differentiable a.e. if $P_i\left(x\right)\ne x_i$ and satisfies Hölder condition of order $1/(p-1)$ if $P_i\left(x\right)=x_i$.

We show that ${\omega }^{*}\setminus \left\{p\right\}$ is not normal, if $p$ is a limit point of some countable subset of ${\omega }^{*}$, consisting of points of character ${\omega }_1$. Moreover, such a point $p$ is a Kunen point and a super Kunen point.

Given a metric continuum $X$ and a positive integer $n$, $F_n\left(X\right)$ denotes the hyperspace of all nonempty subsets of $X$ with at most $n$ points endowed with the Hausdorff metric. For $K\in F_n\left(X\right)$, $F_n(K,X)$ denotes the set of elements of $F_n\left(X\right)$ containing $K$ and $F_n^K\left(X\right)$ denotes the quotient space obtained from $F_n\left(X\right)$ by shrinking $F_n(K,X)$ to one point set. Given a map $f:X\to Y$ between continua, $f_n:F_n\left(X\right)\to F_n\left(Y\right)$ denotes the induced map defined by $f_n\left(A\right)=f\left(A\right)$. Let $K\in F_n\left(X\right)$, we shall consider the induced map in the natural way $f_{n,K}:F_n^K\left(X\right)\to F_n^{f\left(K\right)}\left(Y\right)$. In this paper we consider the maps $f$, $f_n$, $f_{n,K}$ for some...

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space $𝐗=(X,T)$ is countably compact if and only if it is countably subcompact relative to $T$. (iii) For every metrizable space $𝐗=(X,T)$, the following are equivalent: (a) $𝐗$ is compact; (b) for every open filter $ℱ$ of $𝐗$, $\bigcap \{\overline{F}:F\in ℱ\}\ne \varnothing$; (c) $𝐗$ is subcompact relative to $T$. We also show: (iv) The negation of each of the statements, (a) every countably subcompact...

Given a coarse space $(X,ℰ)$ with the bornology $ℬ$ of bounded subsets, we extend the coarse structure $ℰ$ from $X\times X$ to the natural coarse structure on $(ℬ\setminus \{\varnothing \left\}\right)\times (ℬ\setminus \{\varnothing \left\}\right)$ and say that a macro-uniform mapping $f:(ℬ\setminus \{\varnothing \left\}\right)\to X$ (or $f:{\left[X\right]}^2\to X$) is a selector (or 2-selector) of $(X,ℰ)$ if $f\left(A\right)\in A$ for each $A\in ℬ\setminus \left\{\varnothing \right\}$ ($A\in {\left[X\right]}^2$, respectively). We prove that a discrete coarse space $(X,ℰ)$ admits a selector if and only if $(X,ℰ)$ admits a 2-selector if and only if there exists a linear order “$\le$" on $X$ such that the family of intervals $\left\{\right[a,b]:a,b\in X,a\le b\}$ is a base for the bornology $ℬ$.