Displaying similar documents to “Uniform topology onEQ-algebras”

𝓤-filters and uniform compactification

Tomi Alaste (2012)

Studia Mathematica

Similarity:

We show that the uniform compactification of a uniform space (X,𝓤) can be considered as a space of filters on X. We apply these filters to study the ℒ𝓤𝓒-compactification of a topological group.

Čech complete nearness spaces

H. L. Bentley, Worthen N. Hunsaker (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study Čech complete and strongly Čech complete topological spaces, as well as extensions of topological spaces having these properties. Since these two types of completeness are defined by means of covering properties, it is quite natural that they should have a convenient formulation in the setting of nearness spaces and that in that setting these formulations should lead to new insights and results. Our objective here is to give an internal characterization of (and to study) those...

Topology from Neighbourhoods

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

Using Mizar [9], and the formal topological space structure (FMT_Space_Str) [19], we introduce the three U-FMT conditions (U-FMT filter, U-FMT with point and U-FMT local) similar to those VI, VII, VIII and VIV of the proposition 2 in [10]: If to each element x of a set X there corresponds a set B(x) of subsets of X such that the properties VI, VII, VIII and VIV are satisfied, then there is a unique topological structure on X such that, for each x ∈ X, B(x) is the set of neighborhoods...