The cocountable topology or countable complement topology on any set X consists of the empty set and all cocountable subsets of X, that is all sets whose complement in X is countable. It follows that the only closed subsets are X and the countable subsets of X.Every set X with the cocountable topology is Lindelöf, since every nonempty open set omits only countably many points of X. It is also T1, as all singletons are closed.

PropertyValue
dbpedia-owl:abstract
  • The cocountable topology or countable complement topology on any set X consists of the empty set and all cocountable subsets of X, that is all sets whose complement in X is countable. It follows that the only closed subsets are X and the countable subsets of X.Every set X with the cocountable topology is Lindelöf, since every nonempty open set omits only countably many points of X. It is also T1, as all singletons are closed. If X is an uncountable set, any two open sets intersect, hence the space is not Hausdorff. However, in the cocountable topology all convergent sequences are eventually constant, so limits are unique. Since compacta in X are finite subsets, all compact subsets are closed, another condition usually related to Hausdorff separation axiom.The cocountable topology on a countable set is the discrete topology. The cocountable topology on an uncountable set is hyperconnected, thus connected, locally connected and pseudocompact, but neither weakly countably compact nor countably metacompact, hence not compact.
dbpedia-owl:wikiPageID
  • 7221121 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2117 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 27 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 100654366 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:langue
  • en
prop-fr:titre
  • Spacebook - A Searchable Database for Counterexamples in Topology
prop-fr:url
  • http://www.austinmohr.com/spacebook
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • The cocountable topology or countable complement topology on any set X consists of the empty set and all cocountable subsets of X, that is all sets whose complement in X is countable. It follows that the only closed subsets are X and the countable subsets of X.Every set X with the cocountable topology is Lindelöf, since every nonempty open set omits only countably many points of X. It is also T1, as all singletons are closed.
rdfs:label
  • Topologie codénombrable
  • Cocountable topology
  • Topología de los complementos numerables
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of