Universal and homogeneous structures on the Urysohn and Gurarij spaces

Using Fraïssé theoretic methods we enrich the Urysohn universal space by universal and homogeneous closed relations, retractions, closed subsets of the product of the Urysohn space itself and some fixed compact metric space, L-Lipschitz map to a fixed Polish metric space. The latter lifts to a universal linear operator of norm L on the Lispchitz-free space of the Urysohn space.Moreover, we enrich the Gurarij space by a universal and homogeneous closed subspace and norm one projection onto a 1-complemented subspace. We construct the Gurarij space by the classical Fraïssé theoretic approach.     

Coincidence of the upper Kuratowski topology with the co-compact topology on compact sets, and the Prohorov property

For a Hausdorff space X, let F be the hyperspace of all closed subsets of X and H a sublattice of F. Following Nogura and Shakhmatov, X is said to be H-trivial if the upper Kuratowski topology and the co-compact topology coincide on H. F-trivial spaces are the consonant spaces first introduced and studied by Dolecki, Greco and Lechicki. In this paper, we deal with K-trivial spaces and Fin-trivial space, where K and Fin are respectively the lattices of compact and of finite subsets of X. It is proved that if C_k(X) is a Baire space or more generally if X has ‘the moving off property’ of Gruenhage and Ma, then X is K-trivial. If X is countable, then C_p(X) is Baire if and only if X is Fin-trivial and all compact subsets of X are finite. As for consonant spaces, it turns out that every regular K-trivial space is a Prohorov space. This result remains true for any regular Fin-trivial space in which all compact subsets are scattered. It follows that every regular first countable space without isolated points, all compact subsets of which are countable, is Fin-nontrivial. Examples of K-trivial non-consonant spaces, of Fin-trivial K-nontrivial spaces and of countably compact Prohorov Fin-nontrivial spaces, are given. In particular, we show that all (generalized) Fréchet–Urysohn fans are K-trivial, answering a question by Nogura and Shakhmatov. Finally, we describe an example of a continuous open compact-covering mapping f :X→Y, where X is Prohorov and Y is not Prohorov, answering a long-standing question by Topsøe.     

Moore-closed and first countable feebly compact extension spaces

Several embedding theorems are obtained, such as the following: Let Y be a first countable regular space in which the set B={yϵY:y does not have a neighborhood base consisting of feebly compact open subsets of Y} is a countable nowhere dense set. Then Y has a regular(1)-closed (≡ first countable, regular, and feebly compact) extension space. A number of examples are given, including one of a separable Moore space Y such that the set B has a cardinality c, and no extension space of Y can be Moore-closed, regular(1)-closed, or Urysohn(1)-closed.     

Countably compact weakly Whyburn spaces

The weak Whyburn property is a generalization of the classical sequential property that was studied by many authors. A space X is weakly Whyburn if for every non-closed set \({A \subset X}\) there is a subset \({B \subset A}\) such that \({\overline{B} \setminus A}\) is a singleton. We prove that every countably compact Urysohn space of cardinality smaller than the continuum is weakly Whyburn and show that, consistently, the Urysohn assumption is essential. We also give conditions for a (countably compact) weakly Whyburn space to be pseudoradial and construct a countably compact weakly Whyburn non-pseudoradial regular space, which solves a question asked by Angelo Bella in private communication.     

Topological structure of Urysohn universal spaces

The main aim of the paper is to prove that every nonempty member P of the algebra of subsets of a nontrivial Urysohn space generated by all balls (open and closed) is an l₂-manifold of finite homotopy type. An algorithm of finding a polyhedron K such that P and K×l₂ are homeomorphic is presented. An alternative proof of the Uspenskij theorem [V.V. Uspenskij, The Urysohn universal metric space is homeomorphic to a Hilbert space, Topology Appl. 139 (2004) 145-149] is given.     

More on continuously Urysohn spaces

We study the properties of weakly continuously Urysohn and continuously Urysohn spaces. We show that being a (weakly) continuously Urysohn space is not a multiplicative property, and that this property is not preserved under perfect maps. However, being a weakly continuously Urysohn space is preserved under perfect open maps. By using the scattering process, we show that the class of protometrizable spaces is also contained in the class of continuously Urysohn space. We also give a characterization of the continuously Urysohn property for well-ordered spaces, and prove that a paracompact locally continuously Urysohn ordered space is continuously Urysohn.     

Extension and reconstruction theorems for the Urysohn universal metric space

We prove some extension theorems involving uniformly continuous maps of the universal Urysohn space. As an application, we prove reconstruction theorems for certain groups of autohomeomorphisms of this space and of its open subsets.     

Some geometric and dynamical properties of the Urysohn space

This is a survey article about the geometry and dynamical properties of the Urysohn space. Most of the results presented here are part of the author's Ph.D. thesis and were published in the articles [J. Melleray, Stabilizers of closed sets in the Urysohn space, Fund. Math. 189 (1) (2006) 53-60; J. Melleray, Compact metrizable groups are isometry groups of compact metric spaces, Proc. Amer. Math. Soc. 136 (4) (2008) 1451; J. Melleray, On the geometry of Urysohn's universal metric space, Topology Appl. 154 (2007) 384-403]; a few results are new, most notably the fact that Iso(U) is not divisible.     

On the geometry of Urysohn's universal metric space

In recent years, much interest was devoted to the Urysohn space U and its isometry group; this paper is a contribution to this field of research. We mostly concern ourselves with the properties of isometries of U, showing for instance that any Polish metric space is isometric to the set of fixed points of some isometry φ. We conclude the paper by studying a question of Urysohn, proving that compact homogeneity is the strongest homogeneity property possible in U.     

Optimal Mutual Location of Compact Sets in Spaces Endowed with Euclidean Invariant Gromov–Hausdorif Metric

Non–empty compact subsets of the Euclidean space located optimally (i.e., the Hausdorff distance between them cannot be decreased) are studied. It is shown that if one of them is a single point, then it is located at the Chebyshev center of the other one. Many other particular cases are considered too. As an application, it is proved that each three–point metric space cari be isometrically embedded into the orbit space of the group of proper motions acting on the compact subsets of the Euclidean space. In addition, it is proved that for each pair of optimally located compact subsets all intermediate compact sets in the sense of Hausdorff metric are also intermediate in the sense of Euclidean Gromov–Hausdorff metric.     

Topological Representations of Distributive Hypercontinuous Lattices

The concept of locally strong compactness on domains is generalized to general topological spaces. It is proved that for each distributive hypercontinuous lattice L, the space SpecL of nonunit prime elements endowed with the hull-kernel topology is locally strongly compact, and for each locally strongly compact space X, the complete lattice of all open sets O（X） is distributive hypercontinuous. For the case of distributive hyperalgebraic lattices, the similar result is given. For a sober space X, it is shown that there is an order reversing isomorphism between the set of upper-open filters of the lattice O（X） of open subsets of X and the set of strongly compact saturated subsets of X, which is analogous to the well-known Hofmann-Mislove Theorem.     

On Dense Subspaces Satisfying Stronger Separation Axioms

We prove that it is independent of ZFC whether every Hausdorff countable space of weight less than has a dense regular subspace. Examples are given of countable Hausdorff spaces of weight which do not have dense Urysohn subspaces. We also construct an example of a countable Urysohn space, which has no dense completely Hausdorff subspace. On the other hand, we establish that every Hausdorff space of -weight less than has a dense completely Hausdorff (and hence Urysohn) subspace. We show that there exists a Tychonoff space without dense normal subspaces and give other examples of spaces without "good" dense subsets.     

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.     

On countable choice and sequential spaces

Under the axiom of choice, every first countable space is a Fréchet‐Urysohn space. Although, in its absence even ? may fail to be a sequential space. Our goal in this paper is to discuss under which set‐theoretic conditions some topological classes, such as the first countable spaces, the metric spaces, or the subspaces of ?, are classes of Fréchet‐Urysohn or sequential spaces. In this context, it is seen that there are metric spaces which are not sequential spaces. This fact raises the question of knowing if the completion of a metric space exists and it is unique. The answer depends on the definition of completion. Among other results it is shown that: every first countable space is a sequential space if and only if the axiom of countable choice holds, the sequential closure is idempotent in ? if and only if the axiom of countable choice holds for families of subsets of ?, and every metric space has a unique ‐completion. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Brush spaces and the fixed point property

We introduce the notions of a brush space and a weak brush space. Each of these spaces has a compact connected core with attached connected fibers and may be either compact or non-compact. Many spaces, both in the Hausdorff non-metrizable setting and in the metric setting, have realizations as (weak) brush spaces. We show that these spaces have the fixed point property if and only if subspaces with core and finitely many fibers have the fixed point property. This result generalizes the fixed point result for generalized Alexandroff/Urysohn Squares in Hagopian and Marsh (2010) [4]. We also look at some familiar examples, with and without the fixed point property, from Bing (1969) [1], Connell (1959) [3], Knill (1967) [7] and note the brush space structures related to these examples.     

The isometry group of the Urysohn space as a Lévy group

We prove that the isometry group Iso(U) of the universal Urysohn metric space U equipped with the natural Polish topology is a Lévy group in the sense of Gromov and Milman, that is, admits an approximating chain of compact (in fact, finite) subgroups, exhibiting the phenomenon of concentration of measure. This strengthens an earlier result by Vershik stating that Iso(U) has a dense locally finite subgroup.     

Limits of cubes

The celebrated Urysohn space is the completion of a countable universal homogeneous metric space which can itself be built as a direct limit of finite metric spaces. It is our purpose in this paper to give another example of a space constructed in this way, where the finite spaces are scaled cubes. The resulting countable space provides a context for a direct limit of finite symmetric groups with strictly diagonal embeddings, acting naturally on a module which additively is the “Nim field” (the quadratic closure of the field of order 2). Its completion is familiar in another guise: it is the set of Lebesgue-measurable subsets of the unit interval modulo null sets. We describe the isometry groups of these spaces and some interesting subgroups, and give some generalisations and speculations.     

一类集值映射的周期点与混沌

设X为完备的紧致度量空间,k(X)为X的所有非空紧子集赋予Hausdorff度量所得的空间,■为f到k(X)的自然扩张.本文研究了动力系统(k(X),■)与动力系统(X,f)的周期点之间的相互关系.利用所得结论,彻底解决了Fedeli和廖公夫等人提出的一些公开问题.     

局部有限超拓扑的局部紧性

本文讨论了赋予局部有限拓扑的非空闲子集超空间的局部紧性.主要结果是:X正则,则其闭子集超空间局部紧当且仅当X可表示成一个紧空间与一个离散空间的拓扑和.