Infima of quasi-uniform anti-atoms

Let (q(X),⊆) denote the lattice consisting of the set q(X) of all quasi-uniformities on a set X, ordered by set-theoretic inclusion ⊆. We observe that a quasi-uniformity on X is the supremum of atoms of (q(X),⊆) if and only if it is totally bounded and transitive. Each quasi-uniformity on X that is totally bounded or has a linearly ordered base is shown to be the infimum of anti-atoms of (q(X),⊆). Furthermore, each quasi-uniformity U on X such that the topology of the associated supremum uniformity Us is resolvable has the latter property.     

Permutable pairs of quasi-uniformities

We continue investigating the lattice (q(X),⊆) of quasi-uniformities on a set X. In particular in this article we start investigating permutable pairs of quasi-uniformities. Among other things, we show that the Pervin quasi-uniformity of a topological space X permutes with its conjugate if and only if X is normal and extremally disconnected.     

Observations on quasi-uniform products

We prove that any product of quotient maps in the category of quasi-uniform spaces and quasi-uniformly continuous maps is a quotient map. We also show that a quasi-uniformly continuous map from a product of quasi-uniform spaces into a quasi-pseudometric T₀-space depends on countably many coordinates.Furthermore we characterize those quasi-uniformities that are unique in their quasi-proximity class and prove that this property is preserved under arbitrary products in the category of quasi-uniform spaces.     

More about complements of quasi-uniformities

We continue our investigations on the lattice (q(X),⊆) of quasi-uniformities on a set X. Improving on earlier results, we show that the Pervin quasi-uniformity (resp. the well-monotone quasi-uniformity) of an infinite topological T₁-space X does not have a complement in (q(X),⊆). We also establish that a hereditarily precompact quasi-uniformity inducing the discrete topology on an infinite set X does not have a complement in (q(X),⊆).     

ON CERTAIN FACTORIZATIONS OF FUNCTORS INTO THE CATEGORY OF QUASI-UNIFORM SPACES

This paper is motivated by the search for natural extensions of classical uniform space results to quasi-uniform spaces. As instances of such extensions we restate some theorems of P. Fletcher and W.F. Lindgren [Pacific J. Math. 43 (1971), 619–6311 on transitive quasi-uniformities and of S. Salbany [Thesis, Univ. Cape Town, 1971] on compactification and completion. The theorems as restated describe properties of certain right inverses of the functor which forgets the quasi-uniform structure and retains one induced topology (for Fletcher and Lindgren's work), respectively retains both induced topologies (for Salbany's work). Accordingly we investigate systematically the process by which the right inverses of the forgetful functors can be extended from the classical setting to one of these settings, and from one of these to the other.     

Transitivity is neither hereditary nor finitely productive

We construct a transitive space that is the union of two subspaces homeomorphic to the (non-transitive) Kofner plane. Moreover, we show that the product of two transitive spaces need not be transitive. Finally, we observe that results of E.K. van Douwen establish that, under b = c, there exists a locally countable locally compact non-transitive zero-dimensional space. It follows that under b = c neither a locally transitive nor a compact space need be transitive.     

Atoms, anti-atoms and complements in the lattice of quasi-uniformities

We describe the atoms of the complete lattice (q(X),⊆) of all quasi-uniformities on a given (nonempty) set X. We also characterize those anti-atoms of (q(X),⊆) that do not belong to the quasi-proximity class of the discrete uniformity on X. After presenting some further results on the adjacency relation in (q(X),⊆), we note that (q(X),⊆) is not complemented for infinite X and show how ideas about resolvability of (bi)topological spaces can be used to construct complements for some elements of (q(X),⊆).     

NOTES ON THE COARSEST ELEMENT OF pi

We prove that the (transitive) infimum of the Pervin quasi- uniformity with a compatible (transitive) quasi-uniformity V always exists, more- over it equals the coarsest element of the quasi-proximity class of the quasi- proximity which is inducedby V . As a consequence, it is shown that in general the compatible quasi-uniformities do not constitute a distributive lattice.     

On a pair of nonlinear mixed integer programming problems

We consider maximin and minimax nonlinear mixed integer programming problems which are nonsymmetric in duality sense. Under weaker (pseudo-convex/pseudo-concave) assumptions, we show that the supremum infimum of the maximin problem is greater than or equal to the infimum supremum of the minimax problem. As a particular case, this result reduces to the weak duality theorem for minimax and symmetric dual nonlinear mixed integer programming problems. Further, this is used to generalize available results on minimax and symmetric duality in nonlinear mixed integer programming.     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

Uniqueness of Polish group topology

We show the limits of Mackey's theorem applied to identity sets to prove that a given group has a unique Polish group topology.Verbal sets in Abelian Polish groups and full verbal sets in the infinite symmetric group are Borel. However this is not true in general.A Polish group with a neighborhood π-base at 1 of sets from the σ-algebra of identity and verbal sets has a unique Polish group topology. It follows that compact, connected, simple Lie groups, as well as finitely generated profinite groups, have a unique Polish group topology.     

STRONG ZERO-DIMENSIONALITY OF BIFRAMES AND BISPACES

Abstract

A bispace is called strongly zero-dimensional if its bispace Stone—?ech compactification is zero—dimensional. To motivate the study of such bispaces we show that among those functorial quasi—uniformities which are admissible on all completely regular bispaces, some are and others are not transitive on the strongly zero-dimensional bispaces. This is in contrast with our result that every functorial admissible uniformity on the completely regular spaces is transitive precisely on the strongly zero-dimensional spaces.

We then extend the notion of strong zero-dimensionality to frames and biframes, and introduce a De Morgan property for biframes. The Stone—Cech compactification of a De Morgan biframe is again De Morgan. In consequence, the congruence biframe of any frame and the Skula biframe of any topological space are De Morgan and hence strongly zero-dimensional. Examples show that the latter two classes of biframes differ essentially.     

The overlap algebra of regular opens

Overlap algebras are complete lattices enriched with an extra primitive relation, called “overlap”. The new notion of overlap relation satisfies a set of axioms intended to capture, in a positive way, the properties which hold for two elements with non-zero infimum. For each set, its powerset is an example of overlap algebra where two subsets overlap each other when their intersection is inhabited. Moreover, atomic overlap algebras are naturally isomorphic to the powerset of the set of their atoms. Overlap algebras can be seen as particular open (or overt) locales and, from a classical point of view, they essentially coincide with complete Boolean algebras. Contrary to the latter, overlap algebras offer a negation-free framework suitable, among other things, for the development of point-free topology. A lot of topology can be done “inside” the language of overlap algebra. In particular, we prove that the collection of all regular open subsets of a topological space is an example of overlap algebra which, under natural hypotheses, is atomless. Since they are a constructive counterpart to complete Boolean algebras and, at the same time, they have a more powerful axiomatization than Heyting algebras, overlap algebras are expected to turn out useful both in constructive mathematics and for applications in computer science.     

Expanding topological space,study and applications

In this paper, we introduce the notion of expanding topological space. We define the topological expansion of a topological space via local multi-homeomorphism over coproduct topology, and we prove that the coproduct family associated to any fractal family of topological spaces is expanding. In particular, we prove that the more a topological space expands, the finer the topology of its indexed states is. Using multi-homeomorphisms over associated coproduct topological spaces, we define a locally expandable topological space and we prove that a locally expandable topological space has a topological expansion. Specifically, we prove that the fractal manifold is locally expandable and has a topological expansion.     

序有界模糊n-方体数集的上确界与下确界

本文中,我们讨论了在定义模糊n-方体数值映射的某种类型的积分时要用到的序有界模糊n-方体数集的上确界与下确界的问题。我们证明了序有界模糊n-方体数集的上、下确界的存在性,并给出了它们的表示。     

Cover quasi-uniformities in frames

Quasi-uniformities (not necessarily symmetric uniformities) are usually studied via entourages (special neighbourhoods of the diagonal in X×X) where one can simply forget about the symmetry requirement. This has been done successfully in the point-free context as well, but there is a demand for a covering approach, a.o. because the point-free representation of the square X×X is not without difficulties. Based on the (spatial) ideas from Gantner and Steinlage (1972) [9], a cover type quasi-uniformity was developed in Frith (1987) [6] and other papers using biframes, the point-free variant of bitopologies. In this paper we show that this can be avoided and present a cover type quasi-uniformity structure enriching that of frame directly.     

The Supremum and Infimum of the Set of Fuzzy Numbers and Its Application

In this paper, we prove that the bounded set of fuzzy numbers must exist supremum and infimum and give the concrete representation of supremum and infimum. As an application, we obtain that the continuous fuzzy-valued function on a closed interval exists supremum and infimum and give the precise representation. We also show that the bounded fuzzy-valued function on a closed interval can define the lower and upper sums and the lower and upper integrals of Riemann and Riemann–Stieltjes by the usual way.     

Completion of quasi-topological groups

A topology of a quasi-topological group is induced by several natural semi-uniformities, namely right, left, two-sided and Roelcke semi-uniformities. A quasi-topological group is called complete if every Cauchy (in some sense—we examine several generalizations of Cauchy properties) filter on the two-sided semi-uniformity converges.We use the theory of Hausdorff complete semi-uniform spaces, see [B. Batíková, Completion of semi-uniform spaces, Appl. Categor. Struct. 15 (2007) 483-491], and show that Hausdorff complete quasi-topological groups form an epireflective subcategory of Hausdorff quasi-topological groups. But the reflection arrows need not be embeddings.For several types of Cauchy-like properties we show examples of quasi-topological groups that cannot be embedded into a complete group.     

ON θ-PROXIMITIES AND RELATED f-PROXIMITIES

Abstract

We show that every θ-proximity as defined by V.V. Fedor?uk is an f-proximity which we call a k-proximity. Two related f-proximities are introduced, viz. t- and d-proximities. The smallest and largest members of M_f(X, c) for f=k, d and t are characterised where M_f(X, c) is the family of f-proximities compatible with a given closure space (X, c).