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.     

Decomposition Properties of Hyperspace Topologies

Let X be a T ₁ topological space and a nonempty family of closed subsets of X. We study the hit-and-miss hyperspace topology generated by in terms of its upper and lower parts, focusing on first and second countability and quasi-uniformization. We also obtain some new results on the Vietoris and Fell topologies.     

Lawvere Completeness in Topology

It is known since 1973 that Lawvere’s notion of Cauchy-complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper, we introduce the corresponding notion of Lawvere completeness for (\mathbbT,V)(\mathbb{T},\mathsf{V})-categories and show that it has an interesting meaning for topological spaces and quasi-uniform spaces: for the former ones it means weak sobriety while for the latter it means Cauchy completeness. Further, we show that V\mathsf{V} has a canonical (\mathbbT,V)(\mathbb{T},\mathsf{V})-category structure which plays a key role: it is Lawvere-complete under reasonable conditions on the setting; this structure permits us to define a Yoneda embedding in the realm of (\mathbbT,V)(\mathbb{T},\mathsf{V})-categories.     

Comparison of Some Classical Topologies on Hyperspaces within the Framework of Point Spaces

S. Dolecki, G. Greco and A. Lechicki call a space X consonant if the co-compact topology and the upper Kuratowski topology on the set of closed subsets of X coincide. We call a space X hyperconsonant if Fell's topology and the (Kuratowski) convergence topology coincide. Recently, we proved that a first countable, locally paracompact, T ₃-space is hyperconsonant if and only if the space possesses at most one point without a compact neighbourhood, extending the same result of D. Fremlin obtained for metrizable spaces. In this paper, we pursue the study of hyperconsonance within the framework of point spaces (countable T ₁-spaces with exactly one accumulation point) and we compare consonance and hyperconsonance in such spaces. In particular, we answer a question of T. Nogura and D. Shakhmatov: does there exist a nonconsonant point space? We provide a Fréchet, -point space which is not consonant. Moreover, this example proves that the consonance is not preserved by continuous closed compact-covering maps of separable complete metrizable spaces onto Hausdorff spaces.     

Fell topology on the space of functions with closed graph

LetX andY beT ₁ topological spaces andG(X, Y) the space of all functions with closed graph. Conditions under which the Fell topology and the weak Fell topology coincide onG(X,Y) are given. Relations between the convergence in the Fell topologyτF, Kuratowski and continuous convergence are studied too. Characterizations of a topological spaceX by separation axioms of (G(X, R), τF) and topological properties of (G(X, R), τF) are investigated.     

One Setting for All: Metric, Topology, Uniformity, Approach Structure

For a complete lattice V which, as a category, is monoidal closed, and for a suitable Set-monad T we consider (T,V)-algebras and introduce (T,V)-proalgebras, in generalization of Lawvere's presentation of metric spaces and Barr's presentation of topological spaces. In this lax-algebraic setting, uniform spaces appear as proalgebras. Since the corresponding categories behave functorially both in T and in V, one establishes a network of functors at the general level which describe the basic connections between the structures mentioned by the title. Categories of (T,V)-algebras and of (T,V)-proalgebras turn out to be topological over Set.     

Deformation theorems on non‐metrizable vector spaces and applications to critical point theory

Let E be a Banach space and Φ : E → ? a ??¹‐functional. Let ?? be a family of semi‐norms on E which separates points and generates a (possibly non‐metrizable) topology ??_?? on E weaker than the norm topology. This is a special case of a gage space, that is, a topological space where the topology is generated by a family of semi‐metrics. We develop some critical point theory for Φ : (E, ??) → ?. In particular, we prove deformation lemmas where the deformations are continuous with respect to ??_??. In applications this yields a gain in compactness when Φ does not satisfy the Palais–Smale condition because one can work with the weak topology. We also prove some foundational results on gage spaces. In particular, we introduce the concept of Lipschitz continuity in this setting and prove the existence of Lipschitz continuous partitions of unity. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On unitary representability of topological groups

We prove that the additive group (E*, τ _k (E)) of an -Banach space E, with the topology τ _k (E) of uniform convergence on compact subsets of E, is topologically isomorphic to a subgroup of the unitary group of some Hilbert space (is unitarily representable). This is the same as proving that the topological group (E*, τ _k (E)) is uniformly homeomorphic to a subset of for some κ. As an immediate consequence, preduals of commutative von Neumann algebras or duals of commutative C*-algebras are unitarily representable in the topology of uniform convergence on compact subsets. The unitary representability of free locally convex spaces (and thus of free Abelian topological groups) on compact spaces, follows as well. The above facts cannot be extended to noncommutative von Neumann algebras or general Schwartz spaces. Research partially supported by Spanish Ministry of Science, grant MTM2008-04599/MTM. The foundations of this paper were laid during the author’s stay at the University of Ottawa supported by a Generalitat Valenciana grant CTESPP/2004/086.     

Separation and Epimorphisms in Quasi-Uniform Spaces

We study some categorical aspects of quasi-uniform spaces (mainly separation and epimorphisms) via closure operators in the sense of Dikranjan, Giuli, and Tholen. In order to exploit better the corresponding properties known for topological spaces we describe the behaviour of closure operators under the lifting along the forgetful functor T from quasi-uniform spaces to topological spaces. By means of appropriate closure operators we compute the epimorphisms of many categories of quasi-uniform spaces defined by means of separation axioms and study the preservation (reflection) of epimorphisms under the functor T.     

Note on hit-and-miss topologies

This is a continuation of [19]. We characterize first and second countability of the general hit-and-miss hyperspace topologyτ ₊ ^Δ for weakly-R ₀ base spaces. Further, metrizability ofτ ₊ ^Δ is characterized with no preliminary conditions on the base space and the generating family of closed sets and a new proof on uniformizability (i.e. complete regularity) ofτ ₊ ^Δ is given in this general setting, thus generalizing results of [3], [5] and [6].     

Duality in Function Spaces

In this paper we use Bartle’s technique to study duality between a topological space and a function space. Normally such a duality forms an essential part of Functional Analysis. We introduce several new topologies such as the topology of even convergence T_e, the closed-cocompact topology T_{k ′}, the (strong) local proximal convergence. We explore the topological groups of self-homeomorphisms of a topological space and shed light on the earlier work of Arens, Dieudonné, Di Concilio. We also study the concepts such as evenly equidistant, functionally equicontinuous, due to Bouziad-Troallic and topologically equicontinuous due to Royden. In memory of Professor Enrico Meccariello who made a considerable contribution to this work and who suddenly passed away before his time     

Transversals in non-discrete groups

The concept of ‘topological right transversal’ is introduced to study right transversals in topological groups. Given any right quasigroupS with a Tychonoff topologyT, it is proved that there exists a Hausdorff topological group in whichS can be embedded algebraically and topologically as a right transversal of a subgroup (not necessarily closed). It is also proved that if a topological right transversal(S, T _S ,T ^S , o) is such thatT _S =T ^S is a locally compact Hausdorff topology onS, thenS can be embedded as a right transversal of a closed subgroup in a Hausdorff topological group which is universal in some sense.     

A Simple Proof of the Borel Extension Theorem and Weak Compactness of Operators

Let T be a locally compact Hausdorff space and let C ₀(T) be the Banach space of all complex valued continuous functions vanishing at infinity in T, provided with the supremum norm. Let X be a quasicomplete locally convex Hausdorff space. A simple proof of the theorem on regular Borel extension of X-valued -additive Baire measures on T is given, which is more natural and direct than the existing ones. Using this result the integral representation and weak compactness of a continuous linear map u: C ₀(T) X when c ₀ X are obtained. The proof of the latter result is independent of the use of powerful results such as Theorem 6 of [6] or Theorem 3 (vii) of [13].     

First Alexandroff Decomposition Theorem for Topological Lattice Group Valued Measures

Let (X, F) be an Alexandroff space, let A(F) be the Boolean subalgebra of 2 ^X generated by F, let G be a Hausdorff commutative topological lattice group and let rba_F(A(F), G) denote the set of all order bounded F-inner regular finitely additive set functions from A(F) into G. Using some special properties of the elements of rba_F(A(F), G), we extend to this setting the first decomposition theorem of Alexandroff.     

Boundedly UC Spaces and Topologies on Function Spaces

A new interesting topology on graphs of partial maps is introduced. This topology can be considered as a natural extension to a non locally compact setting of former topologies defined by P. Brandi, R. Ceppitelli and K. Back, having applications in mathematical economics, differential equations and in the convergence of dynamic programming models. New characterizations of boundedly Atsuji spaces are given by the coincidence of and the topology τ _ucb of uniform convergence on bounded sets on C(X,Y) and by topological properties of .      

On the distributions of the form ∑i (δpi−δni)

We present some properties of the distributions T of the form ∑_i (δ_pi−δ_ni), with ∑_i d(p_i,n_i)<∞, which arise in the study of the 3-d Ginzburg–Landau problem; see Bourgain et al. (C. R. Acad. Sci. Paris, Ser. I 331 (2000) 119–124). We show that there always exists an irreducible representation of T. We also extend a result of Smets (C. R. Acad. Sci. Paris, Ser. I 334 (2002) 371–374) which says that T is a measure iff T can be written as a finite sum of dipoles.     

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}$).     

Topologically Complete Representations of Inverse Semigroups

A representation of an inverse semigroup by means of partial open homeomorphisms of a topological T ₀ -space is called topologically complete if the domains of these partial homeomorphisms form a base of the topology. It is shown how to construct topologically complete representations on the base of a ternary relation satisfying some elementary axioms. This result makes it possible to obtain a pseudo-elementary axiomatization for inverse semigroups that have faithful topologically complete representations in T ₁ ,T ₂ and T ₃ -spaces. A topology is introduced on any antigroup; this topology is a concomitant of the algebraic structure and every topologically complete representation is continuous with respect to this topology.