Is finite complement topology same as discrete topology?

Not to be confused with cofinality.

In mathematics, a cofinite subset of a set X {\displaystyle X}

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 "co" to describe a property possessed by a set's complement is consistent with its use in other terms such as "comeagre set".

The set of all subsets of X {\displaystyle X}   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 finite–cofinite algebra on X . {\displaystyle X.}   A Boolean algebra A {\displaystyle A}   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 X {\displaystyle X}   such that A {\displaystyle A}   is isomorphic to the finite–cofinite algebra on X . {\displaystyle X.}   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 X . {\displaystyle X.}   It has precisely the empty set and all cofinite subsets of X {\displaystyle X}   as open sets. As a consequence, in the cofinite topology, the only closed subsets are finite sets, or the whole of X . {\displaystyle X.}   Symbolically, one writes the topology as

T = { A ⊆ X : A = ∅  or  X ∖ A  is finite } . {\displaystyle {\mathcal {T}}=\{A\subseteq X:A=\varnothing {\mbox{ or }}X\setminus A{\mbox{ is finite}}\}.}

This topology occurs naturally in the context of the Zariski topology. Since polynomials in one variable over a field K {\displaystyle K}   are zero on finite sets, or the whole of K , {\displaystyle K,}   the Zariski topology on K {\displaystyle 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 X Y = 1 {\displaystyle XY=1}   in the plane.

Properties

• 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 X , {\displaystyle X,}   the space X {\displaystyle X}   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. In fact, an arbitrary topology on X {\displaystyle X}   satisfies the T1 axiom if and only if it contains the cofinite topology. If X {\displaystyle X}   is finite then the cofinite topology is simply the discrete topology. If X {\displaystyle X}   is not finite then this topology is not Hausdorff [T2], regular or normal because no two nonempty open sets are disjoint [that is, 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 on a two-element set. 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 {\displaystyle X}   be the set of integers, and let O A {\displaystyle O_{A}}   be a subset of the integers whose complement is the set A . {\displaystyle A.}   Define a subbase of open sets G x {\displaystyle G_{x}}   for any integer x {\displaystyle x}   to be G x = O x , x + 1 {\displaystyle G_{x}=O_{x,x+1}}   if x {\displaystyle x}   is an even number, and G x = O x − 1 , x {\displaystyle G_{x}=O_{x-1,x}}   if x {\displaystyle x}   is odd. Then the basis sets of X {\displaystyle X}   are generated by finite intersections, that is, for finite A , {\displaystyle A,}   the open sets of the topology are

U A := ⋂ x ∈ A G x {\displaystyle U_{A}:=\bigcap _{x\in A}G_{x}}

The resulting space is not T0 [and hence not T1], because the points x {\displaystyle x}   and x + 1 {\displaystyle x+1}   [for x {\displaystyle x}   even] are topologically indistinguishable. The space is, however, a compact space, since each U A {\displaystyle U_{A}}   contains all but finitely many points.

The product topology on a product of topological spaces ∏ X i {\displaystyle \prod X_{i}}   has basis ∏ U i {\displaystyle \prod U_{i}}   where U i ⊆ X i {\displaystyle U_{i}\subseteq X_{i}}   is open, and cofinitely many U i = X i . {\displaystyle 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 ⨁ M i {\displaystyle \bigoplus M_{i}}   are sequences α i ∈ M i {\displaystyle \alpha _{i}\in M_{i}}   where cofinitely many α i = 0. {\displaystyle \alpha _{i}=0.}  

The analog [without requiring that cofinitely many are zero] is the direct product.

• Comeagre set
• Fréchet filter
• List of topologies – List of concrete topologies and topological spaces

• Steen, Lynn Arthur; Seebach, J. Arthur Jr. [1995] [1978], Counterexamples in Topology [Dover reprint of 1978 ed.], Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 0507446 [See example 18]