Reversible filters (Q529085): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4214620934 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1601.04081 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4844091 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On hereditarily reversible spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5186348 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4321456 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigid Stone Spaces within ZFC / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subsequential filters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The degree of subsequentiality of a subsequential filter / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3874937 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3218775 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reversible topological spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4722806 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:38, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reversible filters |
scientific article |
Statements
Reversible filters (English)
0 references
18 May 2017
0 references
Let \(\omega\) denote the set of all non-negative integers with the discrete topology, let \(\beta\omega\) be the Čech-Stone compactification of \(\omega\) and \(\omega^*=\beta\omega\setminus\omega\). For a filter \(\mathcal{F}\subset\mathcal{P}(\omega)\), let \(\xi(\mathcal{F})=\omega\cup\{\mathcal{F}\}\) be the topological space in which every point of \(\omega\) is isolated and all neighborhoods of \(\mathcal{F}\) are of the form \(\{\mathcal{F}\}\cup F\), where \(F\in\mathcal{F}\). Let also \(K_\mathcal{F}=\{p\in\beta\omega:\mathcal{F}\subset p\}\). A topological space \(X\) is called \textit{reversible} if every continuous bijection from \(X\) to \(X\) is a homeomorphism, see [\textit{M. Rajagopalan} and \textit{A. Wilansky}, J. Aust. Math. Soc. 6, 129--138 (1966; Zbl 0151.29602)]. In this paper the authors introduce and study \textit{reversible filters}: a filter \(\mathcal{F}\subset\mathcal{P}(\omega)\) is reversible if the topological space \(\xi(\mathcal{F})\) is reversible. Among other results, the authors prove the following: Theorem 3.2. For every compact space \(X\) embeddable in \(\beta\omega\), there exists a reversible filter \(\mathcal{F}\) such that \(X\) is homeomorphic to \(K_\mathcal{F}\). Theorem 3.5. For every compact, extremally disconnected space \(X\) embeddable in \(\beta\omega\), there exists a non-reversible filter \(\mathcal{F}\) such that \(X\) is homeomorphic to \(K_\mathcal{F}\). Theorem 4.1. If \(X\) is a compact, extremally disconnected space that can be embedded in \(\omega^*\) as a weak \(P\)-set and \(X\) has a proper clopen subspace homeomorphic to \(X\), then there is a non-reversible filter \(\mathcal{F}\) such that \(X\) is homeomorphic to \(K_\mathcal{F}\) and \(K_\mathcal{F}\) is a weak \(P\)-set of \(\omega^*\). Theorem 4.2. There exists a compact, extremally disconnected space \(X\) that can be embedded in \(\omega^*\) as a weak \(P\)-set and such that if \(\mathcal{F}\) is a filter for which \(X\) is homeomorphic to \(K_\mathcal{F}\) and \(K_\mathcal{F}\) is a weak \(P\)-set, then \(\mathcal{F}\) is reversible. Theorem 4.4. If \(X\) is a compact, extremally disconnected space that is a continuous image of \(\omega^*\), then there exists a reversible filter \(\mathcal{F}\) such that \(X\) is homeomorphic to \(K_\mathcal{F}\) and \(K_\mathcal{F}\) is a weak \(P\)-set of \(\omega^*\). In the last section of their paper the authors use Martin's axiom to improve some of the above results by constructing filters \(\mathcal{F}\) such that \(K_\mathcal{F}\) is a \(P\)-set.
0 references
reversible space
0 references
reversible filter
0 references
Čech-Stone compactification
0 references