Let $X$ be a Hausdorff space and let $\mathscr{H}$ be one of the hyperspaces $CL\left(X\right)$, $𝒦\left(X\right)$, $ℱ\left(X\right)$ or ${ℱ}_n\left(X\right)$ ($n$ a positive integer) with the Vietoris topology. We study the following disconnectedness properties for $\mathscr{H}$: extremal disconnectedness, being a $F^{\text{'}}$-space, $P$-space or weak $P$-space and hereditary disconnectedness. Our main result states: if $X$ is Hausdorff and $F\subset X$ is a closed subset such that (a) both $F$ and $X-F$ are totally disconnected, (b) the quotient $X/F$ is hereditarily disconnected, then $𝒦\left(X\right)$ is hereditarily disconnected. We also...

An archimedean vector lattice A might have the following properties: (1) the sigma property (σ): For each ${aₙ}_{n\in \mathbb{N}}conA⁺$ there are ${\lambda ₙ}_{n\in \mathbb{N}}\subseteq (0,\infty )$ and a ∈ A with λₙaₙ ≤ a for each n; (2) order convergence and relative uniform convergence are equivalent, denoted (OC ⇒ RUC): if aₙ ↓ 0 then aₙ → 0 r.u. The conjunction of these two is called strongly Egoroff. We consider vector lattices of the form D(X) (all extended real continuous functions on the compact space X) showing that (σ) and (OC ⇒ RUC) are equivalent, and equivalent...

An Open Coloring Axiom type principle is formulated for uncountable cardinals and is shown to be a consequence of the Proper Forcing Axiom. Several applications are found. We also study dense C*-embedded subspaces of ω*, showing that there can be such sets of cardinality $c$ and that it is consistent that ω*{pis C*-embedded for some but not all p ∈ ω*.

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 methods of functionally...

A function $f$ mapping the topological space $X$ to the space $Y$ is called a z-open function if for every cozeroset neighborhood $H$ of a zeroset $Z$ in $X$, the image $f\left(H\right)$ is a neighborhood of ${cl}_Y\left(f\left(Z\right)\right)$ in $Y$. We say $f$ has the z-separation property if whenever $U$, $V$ are cozerosets and $Z$ is a zeroset of $X$ such that $U\subseteq Z\subseteq V$, there is a zeroset $Z^{\text{'}}$ of $Y$ such that $f\left(U\right)\subseteq Z^{\text{'}}\subseteq f\left(V\right)$. A surjective function is z-open if and only if it maps cozerosets to cozerosets and has the z-separation property. We investigate z-open functions and other functions...

In our previous paper, we introduced the notion of a lonely point, due to P. Simon. A point $p\in X$ is lonely if it is a limit point of a countable dense-in-itself set, it is not a limit point of a countable discrete set and all countable sets whose limit point it is form a filter. We use the space ${𝒢}_{\omega }$ from a paper of A. Dow, A.V. Gubbi and A. Szymański [Rigid Stone spaces within ZFC, Proc. Amer. Math. Soc. 102 (1988), no. 3, 745–748] to construct lonely points in ${\omega }^{*}$. This answers the question of P. Simon...

In [5] the following question was put: are there any maximal n.d. sets in ${\omega }^{*}$? Already in [9] the negative answer (under MA) to this question was obtained. Moreover, in [9] it was shown that no $P$-set can be maximal n.d. In the present paper the notion of a maximal n.d. $P$-set is introduced and it is proved that under CH there is no such a set in ${\omega }^{*}$. The main results are Theorem 1.10 and especially Theorem 2.7(ii) (with Example in Section 3) in which the problem of the existence of maximal n.d. $P$-sets...