Results 11 to 20 of about 5,139,014 (234)
Formalized Mathematics, 2016 Abstract In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space. We define the topology induced by a quasi-uniform space.
Roland Coghetto, Coghetto, Roland
openaire +5 more sources
On uniformly locally compact quasi-uniform hyperspaces [PDF]
, 2004 summary:We characterize those Tychonoff quasi-uniform spaces $(X,\mathcal {U})$ for which the Hausdorff-Bourbaki quasi-uniformity is uniformly locally compact on the family $\mathcal {K}_{0}(X)$ of nonempty compact subsets of $X$. We deduce, among other
Künzi, H. P. A. +7 more
core +4 more sources
Preservation of completeness under mappings in asymmetric topology
Applied General Topology, 2000 The preservation of various completeness properties in the quasi-metric (and quasi-uniform) setting under open, closed and uniformly open mappings is investigated.
Hans-Peter A. Künzi
doaj +1 more source
Infinite games and quasi-uniform box products
Applied General Topology, 2019 We introduce new infinite games, played in a quasi-uniform space, that generalise the proximal game to the framework of quasi-uniform spaces. We then introduce bi-proximal spaces, a concept that generalises proximal spaces to the quasi-uniform setting ...
Hope Sabao, Olivier Olela Otafudu
doaj +1 more source
Lebesgue quasi-uniformity on textures
Applied General Topology, 2015 This is a continuation of the work where the notions of Lebesgue uniformity and Lebesgue quasi uniformity in a texture space were introduced. It is well known that the quasi uniform space with a compact topology has the Lebesgue property. This result is
Selma Ozcag
doaj +1 more source
Uniformization of quasi-uniform spaces [PDF]
Bulletin of the Australian Mathematical Society, 1981 This paper considers the question of when a quasi-uniform space has a compatible uniform structure. Typical of the sufficient conditions provided is the result that a quasi-uniform space whose conjugate topology is compact and R0 is uniformizable.
Raghavan, T. G., Reilly, I. L.
openaire +1 more source
On Doitchinov's quietness for arbitrary quasi-uniform spaces [PDF]
, 2010 The notion of a quiet quasi-uniform space was introduced by Doitchinov in1988 when he developed an interesting completion theory for this class ofquasi-uniform spaces.
Kivuvu, Charly Makitu
core +1 more source
Duality and quasi-normability for complexity spaces
Applied General Topology, 2002 The complexity (quasi-metric) space was introduced in [23] to study complexity analysis of programs. Recently, it was introduced in [22] the dual complexity (quasi-metric) space, as a subspace of the function space [0,) ω. Several quasi-metric properties
Salvador Romaguera, M.P. Schellekens
doaj +1 more source
Hyperconvexity and endpoints in T₀-quasi-metric spaces [PDF]
, 2013 Over the last decades much progress has been made in the investigation of hyperconvexity in metric spaces. Recently Kemajou and others have published an article concerning hyperconvexity in T₀-quasi-metric spaces.
Haihambo, Paulus
core +1 more source