In this paper, we study the nature of complementation in this lattice. We say that topologies τ and σ are complementary if and only if τσ=0 and τσ=1. For simplicity, we call any topology other than the discrete and the indiscrete a proper topology. Hartmanis showed in 1958 that any proper topology on a finite set of size at least 3 has at least two complements. Gaifman showed in 1961 that any proper topology on a countable set has at least two complements. In 1965, Steiner showed that any topology has a complement. The question of the number of distinct complements a topology on a set must possess was first raised by Berri in 1964 who asked if every proper topology on an infinite set must have at least two complements. In 1969, Schnare showed that any proper topology on a set of infinite cardinality κ has at least κ distinct complements and at most 2^2κ many distinct complements. By exhibiting examples of topologies on a set of cardinality κ which possess exactly κ complements, exactly 2^κ complements and exactly 2^2κ complements, Schnare showed under the generalized continuum hypothesis that there are exactly three values for the number of complements of a topology on an infinite set. His paper is the origin of the present paper.

This paper has three main purposes.

First, to completely answer the problem of establishing the exact number of complements of a topology on a set of cardinality _n by showing that at most 2n+4 values can be obtained.

Second, to show that all topologies on a set of cardinality κ, except for some simple and easy to describe ones, have at least 2^κ many complements. This improves the lower bound given by Schnare in 1969.

Third, to ask a specific question about the number of complements in the lattice of topologies on a set of singular cardinality which roughly captures the open remnant of Berri's question. This paper is completely self-contained.