User:Dfeuer/topext

Let $X$ be a set.

Let $\CC$ be a set of functions from $X$ to $X$ which contains the identity function.

Let $\SS$ be a set of subsets of $X$.

Let $\mathscr S = \set {Q \in \powerset {\powerset X} \mid \SS \subseteq Q}$.

Let $f: \mathscr S \to \mathscr S$ be defined by
 * $\ds \map f Q = \bigcup_{p \mathop \in \CC} p^{-1} \sqbrk Q$.

That is, let $\map f Q$ be the set of preimages of elements of $Q$ under elements of $\CC$.

Let $g: \mathscr S \to \mathscr S$ with $\map g Q$ being the topology on $X$ generated by the subbasis $Q$.

Let $h = g \circ f$.

Then $h$ is an increasing function on $\mathscr S$.

I believe that $\mathscr S$ is a complete lattice under inclusion.

Thus by the Knaster-Tarski Lemma, $h$ has a least fixed point, $\MM$.

If I'm not mistaken, $\MM$ is then the coarsest topology on $X$ in which each element of $\SS$ is open and each element of $\CC$ is continuous.