On strict and simple type extensions (Q1384237): Difference between revisions

An extension of a topological space \((X,\tau')\) is a topological space \((Y,\tau)\) that contains \((X,\tau')\) as a dense subspace. In this paper filter systems on \((X,\tau')\) using regular open sets of \((X,\tau')\) are used to construct new topologies on \(Y\), some of which yield nice extensions of \((X,\tau')\). Connections to the strict and simple extensions of \((X,\tau')\) are investigated.