A compact F-space with noncoinciding dimensions (Q408575): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
By a compact space we mean a compact Hausdorff space. The author proves that there is a compact \(F\)-space of weight \({\mathfrak c}^+\) with \(\text{Ind}X=2\) and closed subspaces \(X_0\) and \(X_1\) such that \(X=X_0\cup X_1\) and \(\text{Ind}X_0=\text{Ind}X_1=1\). This implies that \(\dim X=1\), and, from the construction, it is clear that \(\text{ind}X=2\). It is well known that for every compact space \(X\), \(\dim X\leq \text{ind}X\leq \text{Ind}X\), and \(\dim X=0\) if and only if \(\text{ind}X=0\) if and only if \(\text{Ind}X=0\). \textit{K. P. Hart} and \textit{J. van Mill} [Topology Appl. 158, No. 18, 2512--2519 (2011; Zbl 1234.54040)] proved under the Continuum Hypothesis that for every compact \(F\)-space \(X\) of weight \({\mathfrak c}\), \(\dim X=\text{ind}X=\text{Ind}X\). It is open whether this is a theorem in ZFC. The author's result shows that this cannot be generalized to compact \(F\)-spaces of larger weight. | |||
Property / review text: By a compact space we mean a compact Hausdorff space. The author proves that there is a compact \(F\)-space of weight \({\mathfrak c}^+\) with \(\text{Ind}X=2\) and closed subspaces \(X_0\) and \(X_1\) such that \(X=X_0\cup X_1\) and \(\text{Ind}X_0=\text{Ind}X_1=1\). This implies that \(\dim X=1\), and, from the construction, it is clear that \(\text{ind}X=2\). It is well known that for every compact space \(X\), \(\dim X\leq \text{ind}X\leq \text{Ind}X\), and \(\dim X=0\) if and only if \(\text{ind}X=0\) if and only if \(\text{Ind}X=0\). \textit{K. P. Hart} and \textit{J. van Mill} [Topology Appl. 158, No. 18, 2512--2519 (2011; Zbl 1234.54040)] proved under the Continuum Hypothesis that for every compact \(F\)-space \(X\) of weight \({\mathfrak c}\), \(\dim X=\text{ind}X=\text{Ind}X\). It is open whether this is a theorem in ZFC. The author's result shows that this cannot be generalized to compact \(F\)-spaces of larger weight. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Haruto Ohta / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54F45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54G05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54D30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54D35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6022792 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
dimension | |||
Property / zbMATH Keywords: dimension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
non-coinciding dimensions | |||
Property / zbMATH Keywords: non-coinciding dimensions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
compact | |||
Property / zbMATH Keywords: compact / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(F\)-space | |||
Property / zbMATH Keywords: \(F\)-space / rank | |||
Normal rank |
Revision as of 18:03, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A compact F-space with noncoinciding dimensions |
scientific article |
Statements
A compact F-space with noncoinciding dimensions (English)
0 references
10 April 2012
0 references
By a compact space we mean a compact Hausdorff space. The author proves that there is a compact \(F\)-space of weight \({\mathfrak c}^+\) with \(\text{Ind}X=2\) and closed subspaces \(X_0\) and \(X_1\) such that \(X=X_0\cup X_1\) and \(\text{Ind}X_0=\text{Ind}X_1=1\). This implies that \(\dim X=1\), and, from the construction, it is clear that \(\text{ind}X=2\). It is well known that for every compact space \(X\), \(\dim X\leq \text{ind}X\leq \text{Ind}X\), and \(\dim X=0\) if and only if \(\text{ind}X=0\) if and only if \(\text{Ind}X=0\). \textit{K. P. Hart} and \textit{J. van Mill} [Topology Appl. 158, No. 18, 2512--2519 (2011; Zbl 1234.54040)] proved under the Continuum Hypothesis that for every compact \(F\)-space \(X\) of weight \({\mathfrak c}\), \(\dim X=\text{ind}X=\text{Ind}X\). It is open whether this is a theorem in ZFC. The author's result shows that this cannot be generalized to compact \(F\)-spaces of larger weight.
0 references
dimension
0 references
non-coinciding dimensions
0 references
compact
0 references
\(F\)-space
0 references