On Fodor's theorem: A topological version
type: Item
instance of: scholarly article
title: On Fodor's theorem: A topological version
zbMATH Open document ID: 0563.54001
DOI: 10.1016/0012-365X(85)90125-6
author: Mohamed Bekkali
author: Robert Bonnet
published in: Discrete Mathematics
publication date: 1985-01-01T00:00:00Z
review text: We develop a generalization of Alexandroff and Fodor theorems in a topological way. For instance let x be a point of a space X, and \({\mathfrak V}(x)\) be the family of neighborhoods of x. We say that x is an Alexandroff point iff for every family \(x_ V\) for \(V\in {\mathfrak V}(x)\) satisfying \(x_ V\not\in V\) there are \(W\in {\mathfrak V}(x)\) and a basis \({\mathfrak B}\) of neighborhoods of x such that \(x_ V\not\in W\) for every V in \({\mathfrak B}\). By defining the notion of closed basis and stationary basis we have the notion of Fodor point. We prove that if \(\kappa_ 1,...,\kappa_ p\), \(p<\omega\) and \(\kappa_ k>\omega\) regular, setting \(X_ k=\kappa_ k+1=\kappa_ k\cup \{x_ k\}\) with the interval topology, then in \(\prod \{X_ k,\quad 1\leq k\leq p\}\) the point \(x=(x_ 1,...,x_ p)\) is a Fodor point and thus Alexandroff point. One of the questions is to know if in a \(T_ 2\) space Y the point \(y\in Y\) is in the closure of a countable set, then, can y be Alexandroff? (This cannot occur if y is a countable limit in \(T_ 2\)-space.) In particular: is it possible that \(p\in \beta {\mathbb{N}}\) can be Alexandroff? An ultrafilter \({\mathfrak U}\) on \(\omega ={\mathbb{N}}\) is Alexandroff iff for every family \((x_ A)_{A\in {\mathfrak U}}\) satisfying \(x_ A\not\in A\), there are \(W\in {\mathfrak U}\) and a basis \({\mathfrak B}\) of \({\mathfrak U}\) such that \(x_ A\not\in W\) for \(A\in {\mathfrak B}\). (This means \({\mathfrak U}\) is Alexandroff in \(\omega\) \(\cup \{{\mathfrak U}\})\). Is there an Alexandroff ultrafilter? Is there an ultrafilter which is not Alexandroff?
Mathematics Subject Classification ID: 54A20
Mathematics Subject Classification ID: 06A06
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 54A35
zbMATH DE Number: 3897794
zbMATH Keywords: pressing-down lemma
zbMATH Keywords: regressive function
zbMATH Keywords: stationary sets
zbMATH Keywords: compact spaces
zbMATH Keywords: Alexandroff point
zbMATH Keywords: Fodor point
zbMATH Keywords: Alexandroff ultrafilter
MaRDI profile type: Publication
cites work: Q5848994
cites work: Q5331549
cites work: When does countable compactness imply sequential compactness?
cites work: Some Remarks on Set Theory
cites work: Q3237252
cites work: Q3270120
cites work: Some combinatorial problems concerning uncountable cardinals
cites work: Q3852172
cites work: Q3226265
cites work: On Neumer's Theorem
cites work: Q5663868
cites work: Q5549798
cites work: A paradoxical theorem
cites work: Verallgemeinerung eines Satzes von Alexandroff und Urysohn
cites work: Q3950595
cites work: Q4043738
cites work: Q4182751
description: scientific article; zbMATH DE number 3897794