A nodec regular analytic topology (Q2440859)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A nodec regular analytic topology |
scientific article |
Statements
A nodec regular analytic topology (English)
0 references
20 March 2014
0 references
A~space~\(X\) is called maximal if its topology is maximal in the collection of all \(T_1\)~topologies over~\(X\) without isolated points. \(X\)~is a~nodec space if every nowhere dense set in~\(X\) is closed. \(X\)~is irresolvable if it cannot be expressed as the union of two disjoint subsets. It is known that a~topological space~\(X\) is maximal if and only if \(X\)~is extremely disconnected, nodec, and every open set in~\(X\) is irresolvable. A~countable topological space~\(X\) is said to be analytic if its topology is an analytic subset of \(\mathcal P(X)\). The authors of the paper under the review are interested in the complexity of countable maximal spaces with the above properties. They prove that no extremally disconnected space is analytic and every analytic set is hereditarily resolvable. They show that there is an analytic regular nodec space without isolated points.
0 references
maximal topologies
0 references
nodec countable spaces
0 references
analytic sets
0 references