Hausdorff compactifications in ZF (Q1738929)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hausdorff compactifications in ZF |
scientific article |
Statements
Hausdorff compactifications in ZF (English)
0 references
24 April 2019
0 references
The authors present some results on compactifications of Tychonoff spaces in the axiomatic system \textbf{ZF}, i.e., they work in \textbf{ZFC} without assuming that the Axiom of Choice holds. The authors call an infinite set $X$ \textit{amorphous} if $X\setminus A$ is finite for any infinite set $A\subset X$. Amorphous sets exist in some models of \textbf{ZF}. Analogously, a topological space $(X, \tau)$ is amorphous if so is the set $X$. Two compactifications $\alpha X$ and $\gamma X$ of a Tychonoff space $X$ are called \textit{equivalent} if there exists a homeomorphism $\varphi:\alpha X \to \gamma X$ such that $\varphi(x)=x$ for any $x\in X$. Given a compactification $\alpha X$ of a Tychonoff space $X$, the expression $C_\alpha(X)$ stands for the algebra of all real-valued continuous functions on $X$ that are continuously extendable over $\alpha X$. One of the main results of the paper states that, in a model of \textbf{ZF}, a discrete space $X$ can have non-equivalent Hausdorff compactifications $\alpha X$ and $\gamma X$ such that $C_\alpha(X)=C_\gamma(X)$. It is also established that, in all models of \textbf{ZF}, an infinite discrete space $X$ is amorphous if and only if every Hausdorff compactification of $X$ is equivalent to its Alexandroff compactification.
0 references
Hausdorff compactification
0 references
Tychonoff space
0 references
Axiom of Choice
0 references
ultrafilter theorem
0 references
$C^*$-embeddability
0 references
amorphous set
0 references
Glicksberg's theorem
0 references
independence results
0 references
0 references