For a separated proximity space, a decomposition of the Stone-?ech compactification is presented which produces the Smirnov compactification and its basic properties by elementary arguments without recourse to clusters or totally bounded uniformities.
展开▼