Cocountable topology

Cocountable topology

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. The only compact subsets of X are the finite subsets, so X has the property that all compact subsets are closed, even though it is not Hausdorff if uncountable.

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.

See also

  • Cofinite topology

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Cocountable — In mathematics, a cocountable subset of a set X is a subset Y whose complement in X is a countable set. In other words, Y contains all but countably many elements of X . If the complement is finite, then one says Y is cofinite. σ algebras The set …   Wikipedia

  • List of examples in general topology — This is a list of useful examples in general topology, a field of mathematics.* Alexandrov topology * Cantor space * Co kappa topology ** Cocountable topology ** Cofinite topology * Compact open topology * Compactification * Discrete topology *… …   Wikipedia

  • Cocountability — In mathematics, a cocountable subset of a set X is a subset Y whose complement in X is a countable set. In other words, Y contains all but countably many elements of X. For example, the irrational numbers are a cocountable subset of the reals. If …   Wikipedia

  • Sequential space — In topology and related fields of mathematics, a sequential space is a topological space that satisfies a very weak axiom of countability. Sequential spaces are the most general class of spaces for which sequences suffice to determine the… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Completely Hausdorff space — Separation Axioms in Topological Spaces Kolmogorov (T0) version T0 | T1 | T2 | T2½ | completely T2 T3 | T3½ | T4 | T5 | T6 In topology, an Urysohn space, or T2½ spac …   Wikipedia

  • Topological space — Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity. They appear in virtually every branch of modern mathematics and are a central unifying notion. The… …   Wikipedia

  • Compact space — Compactness redirects here. For the concept in first order logic, see compactness theorem. In mathematics, specifically general topology and metric topology, a compact space is an abstract mathematical space whose topology has the compactness… …   Wikipedia

  • Cofinite — In mathematics, a cofinite subset of a set X is a subset Y whose complement in X is a finite set. In other words, Y contains all but finitely many elements of X . If the complement is not finite, but it is countable, then one says the set is… …   Wikipedia

  • Cofiniteness — Not to be confused with cofinality. In mathematics, a cofinite subset of a set X is a subset A whose complement in X is a finite set. In other words, A contains all but finitely many elements of X. If the complement is not finite, but it is… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”