scholarly journals Isometry groups of separable metric spaces

Author(s):  
MACIEJ MALICKI ◽  
SŁAWOMIR SOLECKI

AbstractWe show that every locally compact Polish group is isomorphic to the isometry group of a proper separable metric space. This answers a question of Gao and Kechris. We also analyze the natural action of the isometry group of a separable ultrametric space on the space. This leads us to a structure theorem representing an arbitrary separable ultrametric space as a bundle with an ultrametric base and with ultrahomogeneous fibers which are invariant under the action of the isometry group.

1972 ◽  
Vol 24 (4) ◽  
pp. 622-630 ◽  
Author(s):  
Jack R. Porter ◽  
R. Grant Woods

Let X be a metric space. Assume either that X is locally compact or that X has no more than countably many isolated points. It is proved that if F is a nowhere dense subset of X, then it is regularly nowhere dense (in the sense of Katětov) and hence is contained in the topological boundary of some regular-closed subset of X. This result is used to obtain new properties of the remote points of the Stone-Čech compactification of a metric space without isolated points.Let βX denote the Stone-Čech compactification of the completely regular Hausdorff space X. Fine and Gillman [3] define a point p of βX to be remote if p is not in the βX-closure of a discrete subset of X.


2017 ◽  
Vol 5 (1) ◽  
pp. 138-151 ◽  
Author(s):  
David Bryant ◽  
André Nies ◽  
Paul Tupper

AbstractThe Urysohn space is a separable complete metric space with two fundamental properties: (a) universality: every separable metric space can be isometrically embedded in it; (b) ultrahomogeneity: every finite isometry between two finite subspaces can be extended to an auto-isometry of the whole space. The Urysohn space is uniquely determined up to isometry within separable metric spaces by these two properties. We introduce an analogue of the Urysohn space for diversities, a recently developed variant of the concept of a metric space. In a diversity any finite set of points is assigned a non-negative value, extending the notion of a metric which only applies to unordered pairs of points.We construct the unique separable complete diversity that it is ultrahomogeneous and universal with respect to separable diversities.


2010 ◽  
Vol 02 (04) ◽  
pp. 581-597 ◽  
Author(s):  
E. VEOMETT ◽  
K. WILDRICK

Mendel and Naor's definition of metric cotype extends the notion of the Rademacher cotype of a Banach space to all metric spaces. Every Banach space has metric cotype at least 2. We show that any metric space that is bi-Lipschitz is equivalent to an ultrametric space having infimal metric cotype 1. We discuss the invariance of metric cotype inequalities under snowflaking mappings and Gromov–Hausdorff limits, and use these facts to establish a partial converse of the main result.


2013 ◽  
Vol 56 (3) ◽  
pp. 519-535 ◽  
Author(s):  
TIMOTHY FAVER ◽  
KATELYNN KOCHALSKI ◽  
MATHAV KISHORE MURUGAN ◽  
HEIDI VERHEGGEN ◽  
ELIZABETH WESSON ◽  
...  

AbstractMotivated by a classical theorem of Schoenberg, we prove that an n + 1 point finite metric space has strict 2-negative type if and only if it can be isometrically embedded in the Euclidean space $\mathbb{R}^{n}$ of dimension n but it cannot be isometrically embedded in any Euclidean space $\mathbb{R}^{r}$ of dimension r < n. We use this result as a technical tool to study ‘roundness’ properties of additive metrics with a particular focus on ultrametrics and leaf metrics. The following conditions are shown to be equivalent for a metric space (X,d): (1) X is ultrametric, (2) X has infinite roundness, (3) X has infinite generalized roundness, (4) X has strict p-negative type for all p ≥ 0 and (5) X admits no p-polygonal equality for any p ≥ 0. As all ultrametric spaces have strict 2-negative type by (4) we thus obtain a short new proof of Lemin's theorem: Every finite ultrametric space is isometrically embeddable into some Euclidean space as an affinely independent set. Motivated by a question of Lemin, Shkarin introduced the class $\mathcal{M}$ of all finite metric spaces that may be isometrically embedded into ℓ2 as an affinely independent set. The results of this paper show that Shkarin's class $\mathcal{M}$ consists of all finite metric spaces of strict 2-negative type. We also note that it is possible to construct an additive metric space whose generalized roundness is exactly ℘ for each ℘ ∈ [1, ∞].


2011 ◽  
Vol 48 (2) ◽  
pp. 145-159
Author(s):  
Zhaowen Li ◽  
Xun Ge ◽  
Qingguo Li

In this paper, we prove that a space X is a weak-open compact image of a locally separable metric space if and only if X has a uniform cosmic-weak-base if and only if X is a weak-open compact image of a metric space and a locally cosmic space, and give some internal characterizations of weak-open s-images of locally separable metric spaces.


2003 ◽  
Vol 4 (2) ◽  
pp. 377 ◽  
Author(s):  
Camillo Constantini ◽  
Wieslaw Kubís

<p>We prove that the hyperspace of closed bounded sets with the Hausdor_ topology, over an almost convex metric space, is an absolute retract. Dense subspaces of normed linear spaces are examples of, not necessarily connected, almost convex metric spaces. We give some necessary conditions for the path-wise connectedness of the Hausdorff metric topology on closed bounded sets. Finally, we describe properties of a separable metric space, under which its hyperspace with the Wijsman topology is path-wise connected.</p>


2015 ◽  
Vol 98 (112) ◽  
pp. 179-191
Author(s):  
Van Dung

We introduce the notion of an ls-?-Ponomarev-system to give necessary and sufficient conditions for f:(M,M0) ? X to be a strong wc-mapping (wc-mapping, wk-mapping) where M is a locally separable metric space. Then, we systematically get characterizations of weakly continuous strong wc-images (wc-images, wk-images) of locally separable metric spaces by means of certain networks. Also, we give counterexamples to sharpen some results on images of locally separable metric spaces in the literature.


2021 ◽  
pp. 3031-3038
Author(s):  
Raghad I. Sabri

      The theories of metric spaces and fuzzy metric spaces are crucial topics in mathematics.    Compactness is one of the most important and fundamental properties that have been widely used in Functional Analysis. In this paper, the definition of compact fuzzy soft metric space is introduced and some of its important theorems are investigated. Also, sequentially compact fuzzy soft metric space and locally compact fuzzy soft metric space are defined and the relationships between them are studied. Moreover, the relationships between each of the previous two concepts and several other known concepts are investigated separately. Besides, the compact fuzzy soft continuous functions are studied and some essential theorems are proved.


1960 ◽  
Vol 16 ◽  
pp. 91-109 ◽  
Author(s):  
Masanori Kishi

Let Ω be a locally compact separable metric space and let Ф be a positive symmetric kernel. Then the inner and outer capacities of subsets of Ω are defined by means of Ф-potentials of positive measures in the following manner. We define the capacity c(K) of a compact set K in a certain manner by means of Ф-potentials.


2013 ◽  
Vol 65 (1) ◽  
pp. 222-240 ◽  
Author(s):  
N.W. Sauer

Abstract.A metric space M = (M; d) is homogeneous if for every isometry f of a finite subspace of M to a subspace of M there exists an isometry of M onto M extending f . The space M is universal if it isometrically embeds every finite metric space F with dist(F) ⊆ dist(M) (with dist(M) being the set of distances between points in M).A metric space U is a Urysohn metric space if it is homogeneous, universal, separable, and complete. (We deduce as a corollary that a Urysohn metric space U isometrically embeds every separable metric space M with dist(M) ⊆ dist(U).)The main results are: (1) A characterization of the sets dist(U) for Urysohn metric spaces U. (2) If R is the distance set of a Urysohn metric space and M and N are two metric spaces, of any cardinality with distances in R, then they amalgamate disjointly to a metric space with distances in R. (3) The completion of every homogeneous, universal, separable metric space M is homogeneous.


Sign in / Sign up

Export Citation Format

Share Document