Cofinite

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 cocountable.

These arise naturally when generalizing structures on finite sets to infinite sets, particularly on infinite products, as in the product topology or direct sum.

Boolean algebras

The set of all subsets of "X" that are either finite or cofinite forms a Boolean algebra, i.e., it is closed under the operations of union, intersection, and complementation. This Boolean algebra is the finite-cofinite algebra on "X". A Boolean algebra "A" has a unique non-principal ultrafilter (i.e. a maximal filter not generated by a single element of the algebra) if and only if there is an infinite set "X" such that "A" is isomorphic to the finite-cofinite algebra on "X". In this case, the non-principal ultrafilter is the set of all cofinite sets.

Cofinite topology

The cofinite topology (sometimes called the finite complement topology) is a topology which can be defined on every set "X". It has precisely the empty set and all cofinite subsets of "X" as open sets. As a consequence, in the cofinite topology, the only closed subsets are finite sets, or the whole of "X". Symbolically, one writes the topology as

:mathcal{T} = {A subseteq X mid A=varnothing mbox{ or } X setminus A mbox{ is finite} }

This topology occurs naturally in the context of the Zariski topology. Since polynomials over a field "K" are zero on finite sets, or the whole of "K", the Zariski topology on "K" (considered as "affine line") is the cofinite topology. The same is true for any "irreducible" algebraic curve; it is not true, for example, for "XY" = 0 in the plane.

Properties

* Subspaces: Every subspace topology of the cofinite topology is also the cofinite topology.
* Compactness: Since every open set contains all but finitely many points of "X", the space "X" is compact and sequentially compact.
* Separation: The cofinite topology is the coarsest topology satisfying the T1 axiom; i.e. it is the smallest topology for which every singleton set is closed. In fact, an arbitrary topology on "X" satisfies the T1 axiom if and only if it contains the cofinite topology. If "X" is finite then the cofinite topology is simply the discrete topology. If "X" is not finite, then this topology is not T2, regular or normal, since no two nonempty open sets are disjoint (i.e. it is hyperconnected).

Double-pointed cofinite topology

The double-pointed cofinite topology is the cofinite topology with every point doubled; that is, it is the topological product of the cofinite topology with the indiscrete topology. It is not T0 or T1, since the points of the doublet are topologically indistinguishable. It is, however, R0 since the topologically distinguishable points are separable.

An example of a countable double-pointed cofinite topology is the set of even and odd integers, with a topology that groups them together. Let "X" be the set of integers, and let "O""A" be a subset of the integers whose complement is the set "A". Define a subbase of open sets "G""x" for any integer "x" to be "G""x" = "O"{"x", "x"+1} if "x" is an even number, and "G""x" = "O"{"x"-1, "x"} if "x" is odd. Then the basis sets of "X" are generated by finite intersections, that is, for finite "A", the open sets of the topology are

:U_A := igcap_{x in A} G_x

The resulting space is not T0 (and hence not T1), because the points "x" and "x" + 1 (for "x" even) are topologically indistinguishable. The space is, however, a compact space, since it is covered by a finite union of the "U"A.

Other examples

Product topology

The product topology on a product of topological spaces prod X_ihas basis prod U_i where U_i subset X_i is open, and cofinitely many U_i = X_i.

The analog (without requiring that cofinitely many are the whole space) is the box topology.

Direct sum

The elements of the direct sum of modules igoplus M_i are sequences alpha_i in M_i where cofinitely many alpha_i = 0.

The analog (without requiring that cofinitely many are zero) is the direct product.

References

*Citation | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=Counterexamples in Topology | origyear=1978 | publisher=Springer-Verlag | location=Berlin, New York | edition=Dover reprint of 1978 | isbn=978-0-486-68735-3 | id=MathSciNet|id=507446 | year=1995 "(See example 18)"


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • cofinite — adjective Having a finite absolute complement. See Also: cofinitely, cofiniteness …   Wiktionary

  • 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

  • T1 space — In topology and related branches of mathematics, T1 spaces and R0 spaces are particular kinds of topological spaces.The T1 and R0 properties are examples of separation axioms. Definitions Let X be a topological space and let x and y be points in… …   Wikipedia

  • Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

  • Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

  • Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

  • Tychonoff's theorem — For other theorems named after Tychonoff, see Tychonoff s theorem (disambiguation). In mathematics, Tychonoff s theorem states that the product of any collection of compact topological spaces is compact. The theorem is named after Andrey… …   Wikipedia

  • Ultraproduct — An ultraproduct is a mathematical construction, of which the ultrapower (defined below) is a special case. Ultraproducts are used in abstract algebra to construct new fields from given ones, and in model theory, a branch of mathematical logic. In …   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

  • Strongly minimal theory — In model theory a branch of mathematical logic a minimal structure is an infinite one sorted structure such that every subset of its domain that is definable with parameters is either finite or cofinite. A strongly minimal theory is a complete… …   Wikipedia

Share the article and excerpts

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