**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Cofiniteness

Summary

In mathematics, a cofinite subset of a set is a subset whose complement in is a finite set. In other words, contains all but finitely many elements of If the complement is not finite, but 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.
This use of the prefix "" to describe a property possessed by a set's mplement is consistent with its use in other terms such as "meagre set".
The set of all subsets of that are either finite or cofinite forms a Boolean algebra, which means that it is closed under the operations of union, intersection, and complementation. This Boolean algebra is the on A Boolean algebra has a unique non-principal ultrafilter (that is, a maximal filter not generated by a single element of the algebra) if and only if there exists an infinite set such that is isomorphic to the finite–cofinite algebra on In this case, the non-principal ultrafilter is the set of all cofinite sets.
The cofinite topology (sometimes called the finite complement topology) is a topology that can be defined on every set It has precisely the empty set and all cofinite subsets of as open sets. As a consequence, in the cofinite topology, the only closed subsets are finite sets, or the whole of Symbolically, one writes the topology as
This topology occurs naturally in the context of the Zariski topology. Since polynomials in one variable over a field are zero on finite sets, or the whole of the Zariski topology on (considered as affine line) is the cofinite topology. The same is true for any irreducible algebraic curve; it is not true, for example, for in the plane.
Subspaces: Every subspace topology of the cofinite topology is also a cofinite topology.
Compactness: Since every open set contains all but finitely many points of the space is compact and sequentially compact.
Separation: The cofinite topology is the coarsest topology satisfying the T1 axiom; that is, it is the smallest topology for which every singleton set is closed.

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (34)

Separation axiom

In topology and related fields of mathematics, there are several restrictions that one often makes on the kinds of topological spaces that one wishes to consider. Some of these restrictions are given by the separation axioms. These are sometimes called Tychonoff separation axioms, after Andrey Tychonoff. The separation axioms are not fundamental axioms like those of set theory, but rather defining properties which may be specified to distinguish certain types of topological spaces.

Cofiniteness

In mathematics, a cofinite subset of a set is a subset whose complement in is a finite set. In other words, contains all but finitely many elements of If the complement is not finite, but 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. This use of the prefix "" to describe a property possessed by a set's mplement is consistent with its use in other terms such as "meagre set".

Separated sets

In topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces. Separated sets should not be confused with separated spaces (defined below), which are somewhat related but different.

Related lectures (13)

Topology: Seifert van Kampen TheoremMATH-225: Topology

Explores the Seifert van Kampen theorem and its applications in calculating fundamental groups.

Fundamental Group of a ProductMATH-225: Topology

Covers the calculation of the fundamental group of a product using small spaces and compositions.

Normed SpacesMATH-502: Distribution and interpolation spaces

Covers normed spaces, dual spaces, Banach spaces, Hilbert spaces, weak and strong convergence, reflexive spaces, and the Hahn-Banach theorem.