Wijsman and Hit-and-Miss Topologies of Quasi-Metric Spaces

The relationship between the Wijsman topology and (proximal) hit-and-miss topologies is studied in the realm of quasi-metric spaces. We establish the equivalence between these hypertopologies in terms of Urysohn families of sets. Our results generalize well-known theorems and provide easier proofs. In particular, we prove that for a quasi-pseudo-metrizable space (X,T) the Vietoris topology on the set P ₀(X) of all nonempty subsets of X is the supremum of all Wijsman topologies associated with quasi-pseudo-metrics compatible with T. We also show that for a quasi-pseudo-metric space (X,d) the Hausdorff extended quasi-pseudo-metric is compatible with the Wijsman topology on P ₀(X) if and only if d ^–1 is hereditarily precompact.     

Cosheaves and connectedness in formal topology

The localic definitions of cosheaves, connectedness and local connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π₀ together with certain additional structure and properties that constrain π₀ to be the connected components cosheaf. In the inductively generated case, complete spreads (in the sense of Bunge and Funk) corresponding to cosheaves are defined as formal topologies. Maps between the complete spreads are equivalent to homomorphisms between the cosheaves. A cosheaf is the connected components cosheaf for a locally connected formal topology iff its complete spread is a homeomorphism, and in this case it is a terminal cosheaf.A new, geometric proof is given of the topos-theoretic result that a cosheaf is a connected components cosheaf iff it is a “strongly terminal” point of the symmetric topos, in the sense that it is terminal amongst all the generalized points of the symmetric topos. It is conjectured that a study of sites as “formal toposes” would allow such geometric proofs to be incorporated into predicative mathematics.     

Some topologies on a Šerstnev probabilistic normed space

In this paper we will introduce two other topologies, coarser than the so-called strong topology, on a class of Šerstnev probabilistic normed spaces, and obtain some important properties of these topologies. We will show that under the first topology, denoted by τ₀, our probabilistic normed space is decomposable into the topological direct sum of a normable subspace and the subspace of probably null elements. Under the second topology, which is in fact the inductive limit topology of a family of locally convex topologies, the dual space becomes a locally convex topological vector space.     

On hyperspace topologies via distance functionals in quasi-metric spaces

Summary Let (X,d) be a quasi-pseudo-metric space. We investigate hyperspace topologies on P₀(X) defined by distance functionals. In particular, the K-topology is introduced and compared with other hyperspace topologies. Some properties of the Wijsman topology and the K-topology are explored.     

Topologies of uniform convergence. The property in the sense of Arens-Dugundji and the sequential property

We study properties of topologies τ _sup and τ _inf, which are, respectively, the supremum and infimum of the family of all topologies of uniform convergence defined on the set C(X, Y) of continuous maps into a metrizable space Y. The main result of the research consists in obtaining necessary and sufficient conditions for the properness and admissibility in the sense of Arens-Dugundji for the topology τ _inf. In this paper, we introduce the notion of a sequentially proper topology and establish necessary and sufficient conditions for the sequential properness of the topology τ _inf. We also consider a special case when the maximal proper topology and the maximal sequentially proper topology coincide on the set C(X, Y).     

Random products of contractions in metric and Banach Spaces

Suppose (X, d) is a metric space and {T₀,…, T_N} is a family of quasinonexpansive self-mappings on X. We give conditions sufficient to guarantee that every possible iteration of mappings drawn from {T₀,…, T_N} converges. As a consequence, if C₀,…, C_N are closed convex subsets of a Hilbert space with nonempty intersection, one of which is compact, and the proximity mappings are iterated in any order (provided only that each is used infinitely often), then the resulting sequence converges strongly to a point of the common intersection.     

Descriptions of equivalence of O-connectivity

We first study some properties of the subspace, and investigate into the relationship of separation between a fuzzy topological space (fts) and its subspace. Then we obtain the equivalence conditions for O-connectivity. The results on O-connectivity and separation are very similar to those in general topology. Finally we discuss the relationship of connectivity between an O-connected set A in the fts (X, ω ($\text{T}$)) induced by the crisp topological space (X, $\text{T}$) and the crisp set A₀ (=supp A) in (X, $\text{T}$).     

Continuity of posets via Scott topology and sobrification

In this paper, posets which may not be dcpos are considered. The concept of embedded bases for posets is introduced. Characterizations of continuity of posets in terms of embedded bases and Scott topology are given. The main results are:

(1)

A poset is continuous iff it is an embedded basis for a dcpo up to an isomorphism;

(2)

A poset is continuous iff its Scott topology is completely distributive;

(3)

A topological T₀ space is a continuous poset equipped with the Scott topology in the specialization order iff its topology is completely distributive and coarser than or equal to the Scott topology;

(4)

A topological T₁ space is a discrete space iff its topology is completely distributive.

These results generalize the relevant results obtained by J.D. Lawson for dcpos.     

Open Ultrafilters and Separability with the Use of the Operation of Closure

We study ultrafilters of topologies as well as sets of ultrafilters that each time dominate the open neighborhood filter of some fixed point in a topological space. The sets of ultrafilters are considered as “enlarged points” of the original space. We study conditions that provide the distinguishability of (enlarged) “points” of this type. We use nontraditional separability axioms and study their connection with the known axioms T₀, T₁, and T₂.     

On the topological structure of the Levi-Civita field

Two topologies on the Levi-Civita field R will be studied: the valuation topology induced by the order on the field, and another weaker topology induced by a family of seminorms, which we will call weak topology. We show that each of the two topologies results from a metric on R, that the valuation topology is not a vector topology while the weak topology is, and that R is complete in the valuation topology while it is not in the weak topology. Then the properties of both topologies will be studied in details; in particular, we give simple characterizations of open, closed, and compact sets in both topologies.     

Connections between connected topological spaces on the set of positive integers

In this paper we introduce a connected topology T on the set ? of positive integers whose base consists of all arithmetic progressions connected in Golomb’s topology. It turns out that all arithmetic progressions which are connected in the topology T form a basis for Golomb’s topology. Further we examine connectedness of arithmetic progressions in the division topology T′ on ? which was defined by Rizza in 1993. Immediate consequences of these studies are results concerning local connectedness of the topological spaces (?, T) and (?, T′).     

Topologizing homeomorphism groups of rim-compact spaces

Let X be a Tychonoff space, H(X) the group of all self-homeomorphisms of X with the usual composition and the evaluation function. Topologies on H(X) providing continuity of the evaluation function are called admissible. Topologies on H(X) compatible with the group operations are called group topologies. Whenever X is locally compact T₂, there is the minimum among all admissible group topologies on H(X). That can be described simply as a set-open topology, further agreeing with the compact-open topology if X is also locally connected. We show the same result in two essentially different cases of rim-compactness. The former one, where X is rim-compact T₂ and locally connected. The latter one, where X agrees with the rational number space Q equipped with the euclidean topology. In the first case the minimal admissible group topology on H(X) is the closed-open topology determined by all closed sets with compact boundaries contained in some component of X. Moreover, whenever X is also separable metric, it is Polish. In the rational case the minimal admissible group topology on H(Q) is just the closed-open topology. In both cases the minimal admissible group topology on H(X) is closely linked to the Freudenthal compactification of X. The Freudenthal compactification in rim-compactness plays a key role as the one-point compactification does in local compactness. In the rational case we investigate whether the fine or Whitney topology on H(Q) induces an admissible group topology on H(Q) stronger than the closed-open topology.     

On separation axioms in hyperspaces

It is shown that the well-known characterizations of separation axiomsT ₂ andT ₃, respectively of hit-and-miss hyperspace topologies withT ₁ base space (cf. [9], [10]) are valid with no preliminary conditions on the base space.     

On the supremum of the pseudocompact group topologies

P is the class of pseudocompact Hausdorff topological groups, and P^′ is the class of groups which admit a topology T such that (G,T)∈P. It is known that every G=(G,T)∈P is totally bounded, so for G∈P^′ the supremum T^∨(G) of all pseudocompact group topologies on G and the supremum T#(G) of all totally bounded group topologies on G satisfy T^∨⊆T#.The authors conjecture for abelian G∈P^′ that T^∨=T#. That equality is established here for abelian G∈P^′ with any of these (overlapping) properties. (a) G is a torsion group; (b) |G|?c²; (c) r₀(G)=|G|=ω|G|; (d) |G| is a strong limit cardinal, and r₀(G)=|G|; (e) some topology T with (G,T)∈P satisfies w(G,T)?c; (f) some pseudocompact group topology on G is metrizable; (g) G admits a compact group topology, and r₀(G)=|G|. Furthermore, the product of finitely many abelian G∈P^′, each with the property T^∨(G)=T#(G), has the same property.     

Functorial topologies and finite-index subgroups of abelian groups

In the general context of functorial topologies, we prove that in the lattice of all group topologies on an abelian group, the infimum between the Bohr topology and the natural topology is the profinite topology. The profinite topology and its connection to other functorial topologies is the main objective of the paper. We are particularly interested in the poset C(G) of all finite-index subgroups of an abelian group G, since it is a local base for the profinite topology of G. We describe various features of the poset C(G) (its cardinality, its cofinality, etc.) and we characterize the abelian groups G for which C(G)?{G} is cofinal in the poset of all subgroups of G ordered by inclusion. Finally, for pairs of functorial topologies T, S we define the equalizer E(T,S), which permits to describe relevant classes of abelian groups in terms of functorial topologies.     

Group topologies coarser than the Isbell topology

The Isbell, compact-open and point-open topologies on the set C(X,R) of continuous real-valued maps can be represented as the dual topologies with respect to some collections α(X) of compact families of open subsets of a topological space X. Those α(X) for which addition is jointly continuous at the zero function in Cα(X,R) are characterized, and sufficient conditions for translations to be continuous are found. As a result, collections α(X) for which Cα(X,R) is a topological vector space are defined canonically. The Isbell topology coincides with this vector space topology if and only if X is infraconsonant. Examples based on measure theoretic methods, that Cα(X,R) can be strictly finer than the compact-open topology, are given. To our knowledge, this is the first example of a splitting group topology strictly finer than the compact-open topology.     

Trees,tight extensions of metric spaces,and the cohomological dimension of certain groups: A note on combinatorial properties of metric spaces

The concept of tight extensions of a metric space is introduced, the existence of an essentially unique maximal tight extension T_x—the “tight span,” being an abstract analogon of the convex hull—is established for any given metric space X and its properties are studied. Applications with respect to (1) the existence of embeddings of a metric space into trees, (2) optimal graphs realizing a metric space, and (3) the cohomological dimension of groups with specific length functions are discussed.     

On similarity between topologies

Let T ₁ and T ₂ be topologies defined on the same set X and let us say that (X, T ₁) and (X, T ₂) are similar if the families of sets which have nonempty interior with respect to T ₁ and T ₂ coincide. The aim of the paper is to study how similar topologies are related with each other.     

Topologies on function spaces

In the present paper we introduce notions of A-splitting and A-jointly continuous topology on the set C(Y,Z) of all continuous maps of a topological space Y into a topological space Z, where A is any family of spaces. These notions satisfy the basic properties of splitting and jointly continuous topologies on C(Y,Z). In particular, for every A, the greatest A-splitting topology on C(Y,Z) (denoted by τ(A) always exists. We indicate some families A of spaces for which the topology τ(A) coincides with the greatest splitting topology on C(X,Y). We give a notion of equivalent families of spaces and try to find a “simple” family which is equivalent to a given family. In particular, we prove that every family is equivalent to a family consisting of one space, and the family of all spaces is equivalent to a family of all T₁-spaces containing at most one nonisolated point. We compare the topologies τ({X}) for distinct compact metrizable spaces X and give some examples. Bibliography: 13 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 208, 1993, pp. 82–97. Translated by A. A. Ivanov.