Definable functions in Urysohn's metric space

zbMATH Open1279.03061arXiv1001.4999MaRDI QIDQ358931FDOQ358931

Authors: Isaac Goldbring 

Publication date: 9 August 2013

Published in: Illinois Journal of Mathematics (Search for Journal in Brave)

Abstract: Let U denote the Urysohn sphere and consider U as a metric structure in the empty continuous signature. We prove that every definable function from U^n to U is either a projection function or else has relatively compact range. As a consequence, we prove that many functions natural to the study of the Urysohn sphere are not definable. We end with further topological information on the range of the definable function in case it is compact.

Full work available at URL: https://arxiv.org/abs/1001.4999

Recommendations

• Further thoughts on definability in the Urysohn sphere
• On the geometry of Urysohn's universal metric space
• On a property of Urysohn's universal metric space
• Compact homogeneity of Uryson's universal metric space
• scientific article; zbMATH DE number 5622689

zbMATH Keywords

continuous model theoryUrysohn metric space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Interpolation, preservation, definability (03C40)

Cites Work

• Model theory for metric structures
• Title not available (Why is that?)
• Thorn-forking in continuous logic
• Generic separable metric structures
• Some geometric and dynamical properties of the Urysohn space
• The Urysohn universal metric space is homeomorphic to a Hilbert space
• Some isometry groups of the Urysohn space
• Flexible and precision assembly
• Definability of groups in ℵ₀-stable metric structures
• Topology of the isometry group of the Urysohn space

Cited In (6)

• Model theoretic properties of the Urysohn sphere
• Definable operators on Hilbert spaces
• Definable closure in randomizations
• Definability in function spaces
• An approximate Herbrand's theorem and definable functions in metric structures
• Further thoughts on definability in the Urysohn sphere

This page was built for publication: Definable functions in Urysohn's metric space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q358931)