scholarly journals AUTOMATIC CONTINUITY FOR ISOMETRY GROUPS

2017 ◽  
Vol 18 (3) ◽  
pp. 561-590 ◽  
Author(s):  
Marcin Sabok

We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the groups of isometries of the Urysohn space and the Urysohn sphere, i.e. that any homomorphism from either of these groups into a separable group is continuous. This answers a question of Ben Yaacov, Berenstein and Melleray. As a consequence, we get that the group of isometries of the Urysohn space has unique Polish group topology and the group of isometries of the Urysohn sphere has unique separable group topology. Moreover, as an application of our framework we obtain new proofs of the automatic continuity property for the group $\text{Aut}([0,1],\unicode[STIX]{x1D706})$, due to Ben Yaacov, Berenstein and Melleray and for the unitary group of the infinite-dimensional separable Hilbert space, due to Tsankov.

2016 ◽  
Vol 81 (3) ◽  
pp. 876-886 ◽  
Author(s):  
MACIEJ MALICKI

AbstractWe define a simple criterion for a homogeneous, complete metric structure X that implies that the automorphism group Aut(X) satisfies all the main consequences of the existence of ample generics: it has the automatic continuity property, the small index property, and uncountable cofinality for nonopen subgroups. Then we verify it for the Urysohn space $$, the Lebesgue probability measure algebra MALG, and the Hilbert space $\ell _2 $, thus proving that Iso($$), Aut(MALG), $U\left( {\ell _2 } \right)$, and $O\left( {\ell _2 } \right)$ share these properties. We also formulate a condition for X which implies that every homomorphism of Aut(X) into a separable group K with a left-invariant, complete metric, is trivial, and we verify it for $$, and $\ell _2 $.


2012 ◽  
Vol 62 (6) ◽  
Author(s):  
Hans Keller ◽  
Herminia Ochsenius

AbstractOrthomodular Hilbertian spaces are infinite-dimensional inner product spaces (E, 〈·, ·〉) with the rare property that to every orthogonally closed subspace U ⊆ E there is an orthogonal projection from E onto U. These spaces, discovered about 30 years ago, are constructed over certain non-Archimedeanly valued, complete fields and are endowed with a non-Archimedean norm derived from the inner product. In a previous work [KELLER, H. A.—OCHSENIUS, H.: On the Clifford algebra of orthomodular spaces over Krull valued fields. In: Contemp. Math. 508, Amer. Math. Soc., Providence, RI, 2010, pp. 73–87] we described the construction of a new object, called the norm Clifford algebra C̃(E) associated to E. It can be considered a counterpart of the well-established Clifford algebra of a finite dimensional quadratic space. In contrast to the classical case, C̃(E) allows to represent infinite products of reflections by inner automorphisms. It is a significant step towards a better understanding of the group of isometries, which in infinite dimension is complex and hard to grasp.In the present paper we are concerned with the inner structure of these new algebras. We first give a canonical representation of the elements, and we prove that C̃ is always central. Then we focus on an outstanding special case in which C̃ is shown to be a division ring. Moreover, in that special case we completely describe the ideals of the corresponding valuation ring $$\mathcal{A}$$. It turns out, rather unexpectedly, that every left-ideal and every right-ideal of $$\mathcal{A}$$ is in fact bilateral.


Author(s):  
Boualem Djehiche ◽  
Hiba Nassar

AbstractWe propose a functional version of the Hodrick–Prescott filter for functional data which take values in an infinite-dimensional separable Hilbert space. We further characterize the associated optimal smoothing operator when the associated linear operator is compact and the underlying distribution of the data is Gaussian.


2019 ◽  
Vol 62 (4) ◽  
pp. 913-924
Author(s):  
H. Carrión ◽  
P. Galindo ◽  
M. L. Lourenço

AbstractWe present an infinite-dimensional version of Cartan's theorem concerning the existence of a holomorphic inverse of a given holomorphic self-map of a bounded convex open subset of a dual Banach space. No separability is assumed, contrary to previous analogous results. The main assumption is that the derivative operator is power bounded, and which we, in turn, show to be diagonalizable in some cases, like the separable Hilbert space.


2005 ◽  
Vol 72 (3) ◽  
pp. 423-440 ◽  
Author(s):  
Bálint Farkas ◽  
Szilárd György Révész

In previous papers, we used abstract potential theory, as developed by Fuglede and Ohtsuka, to a systematic treatment of rendezvous numbers. We considered Chebyshev constants and energies as two variable set functions, and introduced a modified notion of rendezvous intervals which proved to be rather nicely behaved even for only lower semicontinuous kernels or for not necessarily compact metric spaces.Here we study the rendezvous and average numbers of possibly infinite dimensional normed spaces. It turns out that very general existence and uniqueness results hold for the modified rendezvous numbers in all Banach spaces. We also observe the connections of these magical numbers to Chebyshev constants, Chebyshev radius and entropy. Applying the developed notions with the available methods we calculate the rendezvous numbers or rendezvous intervals of certain concrete Banach spaces. In particular, a satisfactory description of the case of Lp spaces is obtained for all p > 0.


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.


Author(s):  
UN CIG JI ◽  
KIMIAKI SAITÔ

In this paper we present a construction of an infinite dimensional separable Hilbert space associated with a norm induced from the Lévy trace. The space is slightly different from the Cesàro Hilbert space introduced in Ref. 1. The Lévy Laplacian is discussed with a suitable domain which is constructed by a rigging of Fock spaces based on a rigging of Hilbert spaces with the Lévy trace. Then the Lévy Laplacian can be considered as the Gross Laplacian acting on a certain countable Hilbert space. By constructing one-parameter group of operators of which the infinitesimal generator is the Lévy Laplacian, we study the existence and uniqueness of solution of heat equation associated with the Lévy Laplacian. Moreover we give an infinite dimensional stochastic process generated by the Lévy Laplacian.


2021 ◽  
Vol 151 (6) ◽  
pp. 1683-1699
Author(s):  
Ramón J. Aliaga ◽  
Camille Noûs ◽  
Colin Petitjean ◽  
Antonín Procházka

We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over general metric spaces may be reduced to the same phenomena in free spaces over their compact subsets. As easy consequences we derive several new and some known results. The main new results are: $\mathcal {F}(X)$ is weakly sequentially complete for every superreflexive Banach space $X$, and $\mathcal {F}(M)$ has the Schur property and the approximation property for every scattered complete metric space $M$.


Author(s):  
Thomas Weighill ◽  
Takamitsu Yamauchi ◽  
Nicolò Zava

AbstractWe consider infinite-dimensional properties in coarse geometry for hyperspaces consisting of finite subsets of metric spaces with the Hausdorff metric. We see that several infinite-dimensional properties are preserved by taking the hyperspace of subsets with at most n points. On the other hand, we prove that, if a metric space contains a sequence of long intervals coarsely, then its hyperspace of finite subsets is not coarsely embeddable into any uniformly convex Banach space. As a corollary, the hyperspace of finite subsets of the real line is not coarsely embeddable into any uniformly convex Banach space. It is also shown that every (not necessarily bounded geometry) metric space with straight finite decomposition complexity has metric sparsification property.


Sign in / Sign up

Export Citation Format

Share Document