Cocountable

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 of all subsets of "X" that are either countable or cocountable forms a σ-algebra, i.e., it is closed under the operations of countable unions, countable intersections, and complementation. This σ-algebra is the countable-cocountable algebra on "X". It is the smallest σ-algebra containing every singleton set.

Topology

The cocountable topology (also called the "countable complement topology") on any set "X" consists of the empty set and all cocountable subsets of "X".


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • 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… …   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

  • 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

  • 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

  • Almost all — In mathematics, the phrase almost all has a number of specialised uses. Almost all is sometimes used synonymously with all but finitely many (formally, a cofinite set) or all but a countable set (formally, a cocountable set); see almost. An… …   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

  • 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

  • Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… …   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

Share the article and excerpts

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