PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
finite complement topology (Definition)

Let $X$ be a set. We can define the finite complement topology on $X$ by declaring a subset $U\subset X$ to be open if $X\backslash U$ is finite, or if $U$ is all of $X$ or the empty set. Note that this is equivalent to defining a topology by defining the closed sets in $X$ to be all finite sets (and $X$ itself).

If $X$ is finite, the finite complement topology on $X$ is clearly the discrete topology, as the complement of any subset is finite.

If $X$ is countably infinite (or larger), the finite complement topology gives a standard example of a space that is not Hausdorff (each open set must contain all but finitely many points, so any two open sets must intersect).

In general, the finite complement topology on an infinite set satisfies strong compactness conditions (compact, $\sigma$ compact, sequentially compact, etc.) since each open set in a cover contains "almost all'' of the points of $X$ On the other hand, the finite complement topology fails all but the simplest of separation axioms since, as above, $X$ is hyperconnected under this topology.

The finite complement topology is the coarsest T1-topology on a given set.




"finite complement topology" is owned by mathcam.
(view preamble | get metadata)

View style:

See Also: cofinite topology, cofinite and cocountable topologies

Other names:  cofinite topology
Log in to rate this entry.
(view current ratings)

Cross-references: hyperconnected, separation axioms, almost all, cover, sequentially compact, compact, compactness, strong, infinite set, intersect, points, contain, Hausdorff, countably infinite, complement, discrete topology, finite sets, closed sets, topology, equivalent, empty set, finite, open, subset
There are 6 references to this entry.

This is version 5 of finite complement topology, born on 2004-09-24, modified 2005-09-19.
Object id is 6213, canonical name is FiniteComplementTopology.
Accessed 8835 times total.

Classification:
AMS MSC54A05 (General topology :: Generalities :: Topological spaces and generalizations )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)