Definition:Finite Complement Topology/Countable
Jump to navigation
Jump to search
Definition
Let $S$ be an infinite set.
Let $\tau$ be the finite complement topology on $S$.
Let $S$ be countably infinite.
Then $\tau$ is a finite complement topology on a countable space, and $\struct {S, \tau}$ is a countable finite complement space.
Also known as
The term cofinite is sometimes seen in place of finite complement.
Some sources are more explicit about the nature of this topology, and call it the topology of finite complements.
Also see
- Results about finite complement topologies can be found here.
Sources
- 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (2nd ed.) ... (previous) ... (next): Part $\text {II}$: Counterexamples: $18$. Finite Complement Topology on a Countable Space