Bornological convergences

We study a family of convergences (actually pretopologies) in the hyperspace of a metric space that are generated by covers of the space. This family includes the Attouch-Wets, Fell, and Hausdorff metric topologies as well as the lower Vietoris topology. The unified approach leads to new developments and puts into perspective some classical results.     

Upper semifinite hyperspaces as unifying tools in normal Hausdorff topology

In this paper we use the upper semifinite topology in hyperspaces to get results in normal Hausdorff topology. The advantage of this point of view is that the upper semifinite topology, although highly non-Hausdorff, is very easy to handle. By this way we treat different topics and relate topological properties on spaces with some topological properties in hyperspaces. This hyperspace is, of course, determined by the base space. We prove here some reciprocals which are not true for the usual Vietoris topology. We also point out that this framework is a very adequate one to construct the ?ech-Stone compactification of a normal space. We also describe compactness in terms of the second countability axiom and of the fixed point property. As a summary we relate non-Hausdorff topology with some facts in the core of normal Hausdorff topology. In some sense, we reinforce the unity of the subject.     

ON RIESZ THEOREM

We prove a Riesz type criterion for a class of metric monoids: Local compactness implies finiteness of the Hausdorff dimension (and also of the topological dimension). We construct topological groups showing the necessity of some conditions. We finally prove that for some metric topological spaces finiteness of the algebraic dimension is equivalent to the finiteness of the Hausdorff dimension.     

A Kuratowski–Mrówka theorem in approach theory

In this paper we give a number of arguments why, in approach theory, the notion of compactness which from the intrinsic categorical point of view seems most satisfying is 0-compactness, i.e., measure of compactness equal to zero. It was already known from [R. Lowen, Kuratowski's measure of noncompactness revisited, Quart. J. Math. Oxford 39 (1988) 235–254] that measure of compactness has good properties and good interpretations for both topological and metric approach spaces. Here, introducing notions of closed and proper mappings in approach theory, which satisfy all the intrinsic categorical axioms put forth in [Clementino et al., A functional approach to topology, in: M.C. Pedicchio, W. Tholen (Eds.) Categorical Foundations Special Topics in Order, Topology, Algebra, and Sheaf Theory, Cambridge University Press, 2003], we prove fundamental results concerning these concepts, also linked to 0-compactness, and we give a Kuratowski–Mrówka-type characterization of 0-compactness.     

The Wijsman and Attouch-Wets topologies on hyperspaces revisited

In this paper we will prove that, for an arbitrary metric space X and a fairly arbitrary collection Σ of subsets of X, it is possible to endow the hyperspace CL(X) of all nonempty closed subsets of X (to be identified with their distance functionals) with a canonical distance function having the topology of uniform convergence on members of Σ as topological coreflection and the Hausdorff metric as metric coreflection. For particular choices of Σ, we obtain canonical distance functions overlying the Wijsman and Attouch-Wets topologies. Consequently we apply the general theory of spaces endowed with a distance function and compare the results with those obtained for the classical hyperspace topologies. In all cases we are able to prove results which are both stronger and more general than the classical ones.     

Sensitive dependence on initial conditions between dynamical systems and their induced hyperspace dynamical systems

The concepts of collective sensitivity and compact-type collective sensitivity are introduced as stronger conditions than the traditional sensitivity for dynamical systems and Hausdorff locally compact second countable (HLCSC) dynamical systems, respectively. It is proved that sensitivity of the induced hyperspace system defined on the space of non-empty compact subsets or non-empty finite subsets (Vietoris topology) is equivalent to the collective sensitivity of the original system; sensitivity of the induced hyperspace system defined on the space of all non-empty closed subsets (hit-or-miss topology) is equivalent to the compact-type collective sensitivity of the original HLCSC system. Moreover, relations between these two concepts and other dynamics concepts that describe chaos are investigated.     

Selections and countable compactness

The present paper deals with continuous extreme-like selections for the Vietoris hyperspace of countably compact spaces. Several new results and applications are established, along with some known results which are obtained under minimal hypotheses. The paper contains also a number of examples clarifying the role of countable compactness.     

Hypertopologies on function spaces

The aim of this paper is to continue Naimpally’s seminal papers [16], [17], [18], i.e. we investigate topological properties of spaces which force the coincidence of convergences of functions associated with different hyperspace topologies. For example a metric spaceX is locally compact iff the topological convergence and the convergence induced by the Fell topology coincide onC(X,IR). Moreover, the proximal topology on the space of functions, not necessarily continuous, is studied in great detail.     

Proximal Hypertopologies Revisited

It is the aim of this paper to prove that for an arbitrary metric space (X,d) and a set of nonempty closed subsets of X which contains all singletons and which is closed under enlargements, we can construct a canonical approach distance on the hyperspace CL(X), having the -proximal topology (resp. the Hausdorff metric) as its topological (resp. p-metric) coreflection. We investigate some properties like, e.g., compactness and completeness of the introduced approach structures. In this way we obtain results which generalize their classical counterparts for proximal hit-and-miss hypertopologies. We also give a characterization of the completion of the introduced approach spaces.     

Persistence stability for geometric complexes

In this paper we study the properties of the homology of different geometric filtered complexes (such as Vietoris–Rips, ?ech and witness complexes) built on top of totally bounded metric spaces. Using recent developments in the theory of topological persistence, we provide simple and natural proofs of the stability of the persistent homology of such complexes with respect to the Gromov–Hausdorff distance. We also exhibit a few noteworthy properties of the homology of the Rips and ?ech complexes built on top of compact spaces.     

The equivalence between pointwise Hardy inequalities and uniform fatness

We prove an equivalence result between the validity of a pointwise Hardy inequality in a domain and uniform capacity density of the complement. This result is new even in Euclidean spaces, but our methods apply in general metric spaces as well. We also present a new transparent proof for the fact that uniform capacity density implies the classical integral version of the Hardy inequality in the setting of metric spaces. In addition, we consider the relations between the above concepts and certain Hausdorff content conditions.     

Transfinite Hausdorff dimension

Making extensive use of small transfinite topological dimension trind, we ascribe to every metric space X an ordinal number (or −1 or Ω) tHD(X), and we call it the transfinite Hausdorff dimension of X. This ordinal number shares many common features with Hausdorff dimension. It is monotone with respect to subspaces, it is invariant under bi-Lipschitz maps (but in general not under homeomorphisms), in fact like Hausdorff dimension, it does not increase under Lipschitz maps, and it also satisfies the intermediate dimension property (Theorem 2.7). The primary goal of transfinite Hausdorff dimension is to classify metric spaces with infinite Hausdorff dimension. Indeed, if tHD(X)?ω₀, then HD(X)=+∞. We prove that tHD(X)?ω₁ for every separable metric space X, and, as our main theorem, we show that for every ordinal number α<ω₁ there exists a compact metric space Xα (a subspace of the Hilbert space l₂) with tHD(Xα)=α and which is a topological Cantor set, thus of topological dimension 0. In our proof we develop a metric version of Smirnov topological spaces and we establish several properties of transfinite Hausdorff dimension, including its relations with classical Hausdorff dimension.     

超空间2^X的某些性质和应用

本文分别改进了文献[1]和[2]的一个结果,并且应用超空间的某些性质,把C.Conley定理推广到拓扑群.     

Topological entropy of continuous functions on topological spaces

Adler, Konheim and McAndrew introduced the concept of topological entropy of a continuous mapping for compact dynamical systems. Bowen generalized the concept to non-compact metric spaces, but Walters indicated that Bowen’s entropy is metric-dependent. We propose a new definition of topological entropy for continuous mappings on arbitrary topological spaces (compactness, metrizability, even axioms of separation not necessarily required), investigate fundamental properties of the new entropy, and compare the new entropy with the existing ones. The defined entropy generates that of Adler, Konheim and McAndrew and is metric-independent for metrizable spaces. Yet, it holds various basic properties of Adler, Konheim and McAndrew’s entropy, e.g., the entropy of a subsystem is bounded by that of the original system, topologically conjugated systems have a same entropy, the entropy of the induced hyperspace system is larger than or equal to that of the original system, and in particular this new entropy coincides with Adler, Konheim and McAndrew’s entropy for compact systems.     

Topological regular variation: I. Slow variation

Motivated by the Category Embedding Theorem, as applied to convergent automorphisms (Bingham and Ostaszewski (in press) [11]), we unify and extend the multivariate regular variation literature by a reformulation in the language of topological dynamics. Here the natural setting are metric groups, seen as normed groups (mimicking normed vector spaces). We briefly study their properties as a preliminary to establishing that the Uniform Convergence Theorem (UCT) for Baire, group-valued slowly-varying functions has two natural metric generalizations linked by the natural duality between a homogenous space and its group of homeomorphisms. Each is derivable from the other by duality. One of these explicitly extends the (topological) group version of UCT due to Bajšanski and Karamata (1969) [4] from groups to flows on a group. A multiplicative representation of the flow derived in Ostaszewski (2010) [45] demonstrates equivalence of the flow with the earlier group formulation. In companion papers we extend the theory to regularly varying functions: we establish the calculus of regular variation in Bingham and Ostaszewski (2010) [13] and we extend to locally compact, σ-compact groups the fundamental theorems on characterization and representation (Bingham and Ostaszewski (2010) [14]). In Bingham and Ostaszewski (2009) [15], working with topological flows on homogeneous spaces, we identify an index of regular variation, which in a normed-vector space context may be specified using the Riesz representation theorem, and in a locally compact group setting may be connected with Haar measure.     

Vietoris topology on partial maps with compact domains

The space PK of partial maps with compact domains (identified with their graphs) forms a subspace of the hyperspace of nonempty compact subsets of a product space endowed with the Vietoris topology. Various completeness properties of PK, including ?ech-completeness, sieve completeness, strong Choquetness, and (hereditary) Baireness, are investigated. Some new results on the hyperspace K(X) of compact subsets of a Hausdorff X with the Vietoris topology are obtained; in particular, it is shown that there is a strongly Choquet X, with 1st category K(X).     

Realcompactness of hyperspaces and extensions of open-closed maps

In response to questions of Ginsburg [9, 10], we prove that if cf(c)>ω₁, then there exists an open-closed, continuous map f from a normal, realcompact space X onto a space Y which is not realcompact. By his result the hyperspace 2^x of closed subsets of X is then not realcompact, and the extension μf(vf) of f to the topological completion (the Hewitt realcompactification) of X is not onto. The latter fact solves problems raised by Morita [16] and by Isiwata [12] both negatively. We also consider the problem whether or not the hyperspace of a hereditarily Lindelöf space is hereditarily realcompact.     

Compactness properties in the fuzzy real line

It is the purpose of this paper to give the solution to a number of open questions in [14], concerning the compactness properties of the fuzzy real line and the fuzzy real unit interval.However using the model of the fuzzy real line which we already proposed in [9, 12] we are able to describe all compactness properties not only of the spaces mentioned above but actually of several large classes of subspaces of the fuzzy real line; and thus the answers to the questions in [14] follow as easy consequences of our general results.     

The Knaster-Kuratowski-Mazurkiewicz theorem and abstract convexities

The Knaster-Kuratowski-Mazurkiewicz covering theorem (KKM), is the basic ingredient in the proofs of many so-called “intersection” theorems and related fixed point theorems (including the famous Brouwer fixed point theorem). The KKM theorem was extended from Rn to Hausdorff linear spaces by Ky Fan. There has subsequently been a plethora of attempts at extending the KKM type results to arbitrary topological spaces. Virtually all these involve the introduction of some sort of abstract convexity structure for a topological space, among others we could mention H-spaces and G-spaces. We have introduced a new abstract convexity structure that generalizes the concept of a metric space with a convex structure, introduced by E. Michael in [E. Michael, Convex structures and continuous selections, Canad. J. Math. 11 (1959) 556-575] and called a topological space endowed with this structure an M-space. In an article by Shie Park and Hoonjoo Kim [S. Park, H. Kim, Coincidence theorems for admissible multifunctions on generalized convex spaces, J. Math. Anal. Appl. 197 (1996) 173-187], the concepts of G-spaces and metric spaces with Michael's convex structure, were mentioned together but no kind of relationship was shown. In this article, we prove that G-spaces and M-spaces are close related. We also introduce here the concept of an L-space, which is inspired in the MC-spaces of J.V. Llinares [J.V. Llinares, Unified treatment of the problem of existence of maximal elements in binary relations: A characterization, J. Math. Econom. 29 (1998) 285-302], and establish relationships between the convexities of these spaces with the spaces previously mentioned.