Canonical subbase-compactness of topological products (Q1030206): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2009.03.018 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2010983355 / rank | |||
Normal rank |
Revision as of 03:47, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Canonical subbase-compactness of topological products |
scientific article |
Statements
Canonical subbase-compactness of topological products (English)
0 references
1 July 2009
0 references
Let \(X=\prod_{i\in I}X_i\) be a product of topological spaces. \(X\) is called: {\parindent=4mm \begin{itemize}\item[{\(\bullet\)}] subbase-compact iff there exists a subbase \(\mathfrak G\) of \(X\) such that each cover of \(X\) by members of \(\mathfrak G\) contains a finite cover of \(X\); \item[{\(\bullet\)}] canonically subbase-compact iff every cover of \(X\) by members of the canonical subbase contains a finite cover of \(X\). \end{itemize}} Clearly: compact \(\Rightarrow\) canonically subbase-compact \(\Rightarrow\) subbase-compact. By Alexander's Subbase Theorem those implications are reversible in ZFC. However, they are both irreversible in ZF (i.e., set theory without the Axiom of Choice). This is a consequence of the following results of the paper under review: {\parindent=6,5mm \begin{itemize}\item[(1)] Products of finite spaces are canonically subbase-compact iff AC(fin), the axiom of choice for finite sets, holds. \item[(2)] Products of \(n\)-element spaces are canonically subbase-compact iff AC\((<n)\), the axiom of choice for sets with less than \(n\) elements, holds. \item[(3)] Products of compact spaces are canonically subbase-compact iff AC, the axiom of choice, holds. \item[(4)] All powers \(X^I\) of a compact space \(X\) are canonically subbase-compact iff \(X\) is a Loeb-space. \end{itemize}}
0 references
axiom of choice
0 references
compactness
0 references
canonical subbase-compactness
0 references
cover
0 references
product of topological spaces
0 references