-
Characterizations of $\mathbb{N}$-compactness and realcompactness via ultrafilters in the absence of the axiom of choice
Authors:
AliReza Olfati,
Eliza Wajch
Abstract:
This article concerns the Herrlich-Chew theorem stating that a Hausdorff zero-dimensional space is $\mathbb{N}$-compact if and only if every clopen ultrafilter with the countable intersection property in this space is fixed. It also concerns Hewitt's theorem stating that a Tychonoff space is realcompact if and only if every $z$-ultrafilter with the countable intersection property in this space is…
▽ More
This article concerns the Herrlich-Chew theorem stating that a Hausdorff zero-dimensional space is $\mathbb{N}$-compact if and only if every clopen ultrafilter with the countable intersection property in this space is fixed. It also concerns Hewitt's theorem stating that a Tychonoff space is realcompact if and only if every $z$-ultrafilter with the countable intersection property in this space is fixed. The axiom of choice was involved in the original proofs of these theorems. The aim of this article is to show that the Herrlich-Chew theorem is valid in $\mathbf{ZF}$, but it is an open problem if Hewitt's theorem can be false in a model of $\mathbf{ZF}$. It is proved that Hewitt's theorem is true in every model of $\mathbf{ZF}$ in which the countable axiom of multiple choice is satisfied. A modification of Hewitt's theorem is given and proved true in $\mathbf{ZF}$. Several applications of the results obtained are shown.
△ Less
Submitted 27 July, 2024;
originally announced August 2024.
-
$\mathbf{E}$-compact extensions in the absence of the Axiom of Choice
Authors:
AliReza Olfati,
Eliza Wajch
Abstract:
The main aim of this work is to show, in the absence of the Axiom of Choice, fundamental results on $\mathbf{E}$-compact extensions of $\mathbf{E}$-completely regular spaces, in particular, on Hewitt realcompactifications and Banaschewski compactifications. Some original results concern a special subring of the ring of all continuous real functions on a given zero-dimensional $T_1$-space. New fact…
▽ More
The main aim of this work is to show, in the absence of the Axiom of Choice, fundamental results on $\mathbf{E}$-compact extensions of $\mathbf{E}$-completely regular spaces, in particular, on Hewitt realcompactifications and Banaschewski compactifications. Some original results concern a special subring of the ring of all continuous real functions on a given zero-dimensional $T_1$-space. New facts about $P$-spaces, Baire topologies and $G_δ$-topologies are also shown. Not all statements investigated here have proofs in $\mathbf{ZF}$. Some statements are shown equivalent to the Boolean Prime ideal Theorem, some are consequences of the Axiom of Countable Multiple Choices.
△ Less
Submitted 12 October, 2023; v1 submitted 1 November, 2022;
originally announced November 2022.
-
$P$-spaces in the absence of the Axiom of Choice
Authors:
Kyriakos Keremedis,
AliReza Olfati,
Eliza Wajch
Abstract:
A $P$-space is a topological space whose every $G_δ$-set is open. In this article, basic properties of $P$-spaces are investigated in the absence of the Axiom of Choice. New weaker forms of the Axiom of Choice, all relevant to $P$-spaces or to countable intersections of $G_δ$-sets, are introduced. Several independence results are obtained and open problems are posed. It is shown that a zero-dimens…
▽ More
A $P$-space is a topological space whose every $G_δ$-set is open. In this article, basic properties of $P$-spaces are investigated in the absence of the Axiom of Choice. New weaker forms of the Axiom of Choice, all relevant to $P$-spaces or to countable intersections of $G_δ$-sets, are introduced. Several independence results are obtained and open problems are posed. It is shown that a zero-dimensional subspace of the real line may fail to be strongly zero-dimensional in $\mathbf{ZF}$. Among the open problems there is the question whether it is provable in $\mathbf{ZF}$ that every finite product of $P$-spaces is a $P$-space. A partial answer to this question is given.
△ Less
Submitted 27 November, 2021;
originally announced November 2021.
-
Self-injectivity of $\EuScript{M}(X,\mathcal{A})$ versus $\EuScript{M}(X,\mathcal{A})$ modulo its socle
Authors:
A. R. Olfati
Abstract:
Let $\mathcal{A}$ be a field of subsets of a set $X$ and $\EuScript{M}(X,\mathcal{A})$ be the ring of all real valued $\mathcal{A}$-measurable functions on $X$. It is shown that $\EuScript{M}(X,\mathcal{A})$ is self-injective if and only if $\mathcal{A}$ is a complete and $\mathfrak{c}^+$- additive field of sets. This answers a question raised in [H. Azadi, M. Henriksen and E. Momtahan, \textit{So…
▽ More
Let $\mathcal{A}$ be a field of subsets of a set $X$ and $\EuScript{M}(X,\mathcal{A})$ be the ring of all real valued $\mathcal{A}$-measurable functions on $X$. It is shown that $\EuScript{M}(X,\mathcal{A})$ is self-injective if and only if $\mathcal{A}$ is a complete and $\mathfrak{c}^+$- additive field of sets. This answers a question raised in [H. Azadi, M. Henriksen and E. Momtahan, \textit{Some properties of algebras of real valued measurable functions}, Acta Math. Hungar, 124, (2009), 15--23]. Also, it is observed that if $\mathcal{A}$ is a $σ$-field, $\EuScript{M}(X,\mathcal{A})$ modulo its socle is self-injective if and only if $\mathcal{A}$ is a complete and $\mathfrak{c}^+$- additive field of sets with a finite number of atoms.
△ Less
Submitted 2 August, 2019;
originally announced August 2019.
-
Functionally countable subalgebras and some properties of Banaschewski compactification
Authors:
Alireza Olfati
Abstract:
Let $X$ be a zero-dimensional space and $C_c(X)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K(X)$ (resp., $C_{c}^ψ(X)$) the set of all functions in $C_c(X)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^{K}(X)=O_c^{β_0X\setminus X}$ (resp., $C_c^ψ(X)=M_c^{β_0X\setminus \upsilon_0X}$). This implies tha…
▽ More
Let $X$ be a zero-dimensional space and $C_c(X)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K(X)$ (resp., $C_{c}^ψ(X)$) the set of all functions in $C_c(X)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^{K}(X)=O_c^{β_0X\setminus X}$ (resp., $C_c^ψ(X)=M_c^{β_0X\setminus \upsilon_0X}$). This implies that for an $\Bbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c(X)$ equals to $C_c^K(X)$, i.e., $M_c^{β_0X\setminus X}=C_c^K(X)$. Afterwards, by applying methods of functionally countable subalgebras, we observe some results in the remainder of Banaschewski compactification. It is shown that for a zero-dimensional non pseudocompact space $X$, the set $β_0X\setminus \upsilon_0X$ has cardinality at least $2^{2^{\aleph_0}}$. Moreover, for a locally compact and $\Bbb{N}$-compact space $X$, the remainder $β_0X\setminus X$ is an almost $P$-space. These results leads us to find a class of Parovi$\breve{\mbox{c}}$enko spaces in Banaschewski compactification os a non pseudocompact zero-dimensional space. We conclude with a theorem which gives a lower bound for the cellularity of subspaces $β_0X\setminus \upsilon_0X$ and $β_0X\setminus X$, whenever $X$ is a zero-dimensional, locally compact space which is not pseudocompact.
△ Less
Submitted 30 June, 2015;
originally announced June 2015.
