G δ -topology and compact cardinals

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

For a topological space X, let X δ be the space X with the G δ -topology of X. For an uncountable cardinal κ, we prove that the following are equivalent: (1) κ is ω1-strongly compact. (2) For every compact Hausdorff space X, the Lindelöf degree of X δ is ≤ κ. (3) For every compact Hausdorff space X, the weak Lindelöf degree of X δ is ≤ κ. This shows that the least ω1-strongly compact cardinal is the supremum of the Lindelöf and the weak Lindelöf degrees of compact Hausdorff spaces with the G δ -topology. We also prove that the least measurable cardinal is the supremum of the extents of compact Hausdorff spaces with the G δ -topology. For the square of a Lindelöf space, using a weak G δ -topology, we prove that the following are consistent: (1) The least ω1-strongly compact cardinal is the supremum of the (weak) Lindelöf degrees of the squares of regular T1 Lindelöf spaces. (2) The least measurable cardinal is the supremum of the extents of the squares of regular T1 Lindelöf spaces.

Original languageEnglish
Pages (from-to)71-87
Number of pages17
JournalFundamenta Mathematicae
Volume246
Issue number1
DOIs
Publication statusPublished - 2019 Jan 1

Fingerprint

Compact Hausdorff Space
Supremum
Strongly Compact Cardinal
Measurable Cardinal
Topology
Uncountable
Topological space

Keywords

  • And phrases: cardinal function
  • G -topology
  • Lindelöf degree
  • ω1-strongly compact cardinal

ASJC Scopus subject areas

  • Algebra and Number Theory

Cite this

G δ -topology and compact cardinals . / Usuba, Toshimichi.

In: Fundamenta Mathematicae, Vol. 246, No. 1, 01.01.2019, p. 71-87.

Research output: Contribution to journalArticle

@article{8190cff6abec4d198a9cfc8e67955bc1,
title = "G δ -topology and compact cardinals",
abstract = "For a topological space X, let X δ be the space X with the G δ -topology of X. For an uncountable cardinal κ, we prove that the following are equivalent: (1) κ is ω1-strongly compact. (2) For every compact Hausdorff space X, the Lindel{\"o}f degree of X δ is ≤ κ. (3) For every compact Hausdorff space X, the weak Lindel{\"o}f degree of X δ is ≤ κ. This shows that the least ω1-strongly compact cardinal is the supremum of the Lindel{\"o}f and the weak Lindel{\"o}f degrees of compact Hausdorff spaces with the G δ -topology. We also prove that the least measurable cardinal is the supremum of the extents of compact Hausdorff spaces with the G δ -topology. For the square of a Lindel{\"o}f space, using a weak G δ -topology, we prove that the following are consistent: (1) The least ω1-strongly compact cardinal is the supremum of the (weak) Lindel{\"o}f degrees of the squares of regular T1 Lindel{\"o}f spaces. (2) The least measurable cardinal is the supremum of the extents of the squares of regular T1 Lindel{\"o}f spaces.",
keywords = "And phrases: cardinal function, G -topology, Lindel{\"o}f degree, ω1-strongly compact cardinal",
author = "Toshimichi Usuba",
year = "2019",
month = "1",
day = "1",
doi = "10.4064/fm487-7-2018",
language = "English",
volume = "246",
pages = "71--87",
journal = "Fundamenta Mathematicae",
issn = "0016-2736",
publisher = "Instytut Matematyczny",
number = "1",

}

TY - JOUR

T1 - G δ -topology and compact cardinals

AU - Usuba, Toshimichi

PY - 2019/1/1

Y1 - 2019/1/1

N2 - For a topological space X, let X δ be the space X with the G δ -topology of X. For an uncountable cardinal κ, we prove that the following are equivalent: (1) κ is ω1-strongly compact. (2) For every compact Hausdorff space X, the Lindelöf degree of X δ is ≤ κ. (3) For every compact Hausdorff space X, the weak Lindelöf degree of X δ is ≤ κ. This shows that the least ω1-strongly compact cardinal is the supremum of the Lindelöf and the weak Lindelöf degrees of compact Hausdorff spaces with the G δ -topology. We also prove that the least measurable cardinal is the supremum of the extents of compact Hausdorff spaces with the G δ -topology. For the square of a Lindelöf space, using a weak G δ -topology, we prove that the following are consistent: (1) The least ω1-strongly compact cardinal is the supremum of the (weak) Lindelöf degrees of the squares of regular T1 Lindelöf spaces. (2) The least measurable cardinal is the supremum of the extents of the squares of regular T1 Lindelöf spaces.

AB - For a topological space X, let X δ be the space X with the G δ -topology of X. For an uncountable cardinal κ, we prove that the following are equivalent: (1) κ is ω1-strongly compact. (2) For every compact Hausdorff space X, the Lindelöf degree of X δ is ≤ κ. (3) For every compact Hausdorff space X, the weak Lindelöf degree of X δ is ≤ κ. This shows that the least ω1-strongly compact cardinal is the supremum of the Lindelöf and the weak Lindelöf degrees of compact Hausdorff spaces with the G δ -topology. We also prove that the least measurable cardinal is the supremum of the extents of compact Hausdorff spaces with the G δ -topology. For the square of a Lindelöf space, using a weak G δ -topology, we prove that the following are consistent: (1) The least ω1-strongly compact cardinal is the supremum of the (weak) Lindelöf degrees of the squares of regular T1 Lindelöf spaces. (2) The least measurable cardinal is the supremum of the extents of the squares of regular T1 Lindelöf spaces.

KW - And phrases: cardinal function

KW - G -topology

KW - Lindelöf degree

KW - ω1-strongly compact cardinal

UR - http://www.scopus.com/inward/record.url?scp=85065483559&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85065483559&partnerID=8YFLogxK

U2 - 10.4064/fm487-7-2018

DO - 10.4064/fm487-7-2018

M3 - Article

VL - 246

SP - 71

EP - 87

JO - Fundamenta Mathematicae

JF - Fundamenta Mathematicae

SN - 0016-2736

IS - 1

ER -