Namespaces
Variants
Actions

Difference between revisions of "Cofinite subset"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Anchor Fréchet filter, cofinite topology)
m (link)
 
(One intermediate revision by the same user not shown)
Line 3: Line 3:
 
A subset $A$ of $X$ for which the [[relative complement]] $X \setminus A$ is finite.
 
A subset $A$ of $X$ for which the [[relative complement]] $X \setminus A$ is finite.
  
The family $\mathcal{F}(X)$ of cofinite subsets of $X$ forms a [[filter]], known as the '''Fréchet filter''' on $X$.  It is contained in any non-principal ultrafilter on $X$.
+
The family $\mathcal{F}(X)$ of cofinite subsets of $X$ forms a [[filter]], known as the ''[[Fréchet filter]]'' on $X$.  It is contained in any non-principal ultrafilter on $X$.
  
The cofinite subsets of $X$, together with the empty set, constitute the open sets of a [[topology]] on $X$, known as the '''cofinite topology'''.
+
The cofinite subsets of $X$, together with the empty set, constitute the open sets of a [[Topological structure (topology)|topology]] on $X$, known as the '''cofinite topology'''.
  
 
{{TEX|done}}
 
{{TEX|done}}

Latest revision as of 10:14, 22 October 2016

of a set $X$

A subset $A$ of $X$ for which the relative complement $X \setminus A$ is finite.

The family $\mathcal{F}(X)$ of cofinite subsets of $X$ forms a filter, known as the Fréchet filter on $X$. It is contained in any non-principal ultrafilter on $X$.

The cofinite subsets of $X$, together with the empty set, constitute the open sets of a topology on $X$, known as the cofinite topology.

How to Cite This Entry:
Cofinite subset. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cofinite_subset&oldid=39477