Some observations on the Baireness of C_k(X) for a locally compact space X

DOI10.1016/J.TOPOL.2016.08.021MaRDI QIDQ330067zbMATH OpenOpenAlexFDO

Authors Franklin D. Tall

Publication date 24 October 2016

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.06717

zbMATH Keywords

\(\mathrm{PFA}(S)[S\)]\(C_k(X)\)Baire spacefunction spaceladder systemlocally compactmoving off collectionmoving off propertyperfectly normalweakly \(\alpha\)-favorable space

Mathematics Subject Classification ID

Consistency and independence results (03E35) Consistency and independence results in general topology (54A35) Function spaces in general topology (54C35) Local compactness, (sigma)-compactness (54D45) Baire category, Baire spaces (54E52)

Abstract: We prove some consistency results concerning the Moving Off Property for locally compact spaces and thus the question of whether their function spaces are Baire.

Review text

We say that a space \(X\) satisfies the \textit{Moving Off Property} (MOP) if each moving off collection \(\mathcal{K}\) includes an infinite subcollection \(\mathcal{K}_0\) with a discrete open expansion. Here {\parindent=0.6cm\begin{itemize}\item[--] \textit{a moving off collection} for \(X\) is a collection \(\mathcal{K}\) of non-empty compact sets such that for each compact \(L\subset X\) there is a \(K \in\mathcal{K}\) disjoint from \(L\); \item[--] a discrete family \(\mathcal{U}_0\) of open sets is called \textit{a discrete open expansion} of \(\mathcal{K}_0\) if each \(K\in\mathcal{K}_0\) is contained in some \(U(K)\in \mathcal{U}_0\). NEWLINENEWLINE\end{itemize}} \textit{G. F. Gruenhage} and \textit{D. K. Ma} [Topology Appl. 80, No. 1--2, 131--139 (1997; Zbl 0886.54013)] proved that a locally compact space \(X\) satisfies the MOP if and only if \(C_k(X)\) is Baire, i.e. it satisfies the Baire Category Theorem (countable intersections of open dense sets are dense in \(X\)), and \textit{G. F. Gruenhage} [Rocky Mt. J. Math. 36, 1885--1914 (2006; Zbl 1141.54020)] proved that if \(X\) is a locally compact space then \(X\) has the MOP if and only if every moving off collection for \(X\) includes an infinite discrete subcollection.NEWLINENEWLINE In the paper under review the author presents some consistency results concerning the relationship between the MOP and other topological properties. For example, it is shown that in some models of ZFC all locally compact, perfectly normal spaces are paracompact and hence satisfy the MOP. But there is also a model of ZFC in which there is a locally compact, perfectly normal space without the MOP. The author also discusses the interesting open problem whether or not there is in ZFC a locally compact, normal space with the MOP which is not paracompact (equivalently, \(C_k(X)\) is not \textit{weakly \(\alpha\)-favorable}). In the last section the author considers Baire powers of function spaces \(C_k(X)\), and proves the following theorem: if \(X\) is a locally compact space then \( (C_k(X))^\lambda\) is Baire if and only if countable sums of copies of \(X\) have the MOP.

Recommendations

• Baireness of \(C_ k(X)\) for locally compact \(X\)
• The Baire property in the compact-open topology of Lašnev spaces
• On Baire category properties of function spaces C'_k(X, Y)
• Baireness of C_k(X) for ordered X.
• Generalized filter fans \(X\) and the baireness of \(C_k(X)\)

Cites work

• A Note on the Normal Moore Space Conjecture
• Baire spaces and infinite games
• Baireness of \(C_ k(X)\) for locally compact \(X\)
• Barely Baire spaces
• Cartesian products of Baire spaces
• Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces
• scientific article; zbMATH DE number 3686360 (Why is no real title available?)
• scientific article; zbMATH DE number 3584551 (Why is no real title available?)
• Large cardinals from determinacy
• Locally compact perfectly normal spaces may all be paracompact
• New proofs of the consistency of the normal Moore space conjecture. I
• Normal Moore Spaces in the Constructible Universe
• Normality versus paracompactness in locally compact spaces
• On Countably Compact, Perfectly Normal Spaces
• Products of Baire spaces revisited
• Remarks on Souslin Properties and Tree Topologies
• Set Theory Generated by Abelian Group Theory
• Stationary sets
• The Cantor Tree, the γ-Property, and Baire Function Spaces
• The story of a topological game
• Topological games: on the 50th anniversary of the Banach-Mazur game
• Topological properties of spaces of continuous functions
• Topological Spaces That are α-Favorable for a Player with Perfect Information
• Whitehead groups may be not free, even assuming CH. I

Cited in

(7)

• Baireness of \(C_ k(X)\) for locally compact \(X\)
• The Baire property in the compact-open topology of Lašnev spaces
• Generalized filter fans \(X\) and the baireness of \(C_k(X)\)
• Baireness of C_k(X) for ordered X.
• The Cantor Tree, the γ-Property, and Baire Function Spaces
• On Baire category properties of function spaces C'_k(X, Y)
• Problems I and my students couldn't solve

This page was built for publication: Some observations on the Baireness of \(C_{k}(X)\) for a locally compact space \(X\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q330067)