arXiv 0802.01562008-02-01math.LOmath.GN

一般可分度量结构

Generic separable metric structures

Alexander Usvyatsov

摘要：

我们比较了三个概念的可分度量结构的泛型。我们的分析提供了一个一般的模型理论技术，表明结构是通用的描述集理论（拓扑）的意义上，在测度论意义上。特别是，它给出了一个新的视角Vershik定理的一般性和Urysohn的空间之间的可分度量空间的随机性。

英文摘要：

We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure theoretic sense. In particular, it gives a new perspective on Vershik's theorems on genericity and randomness of Urysohn's space among separable metric spaces.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

可分度量结构中的可定义性与Scott秩

Definability and Scott rank in separable Metric structures

该研究基于连续无穷逻辑中自同构轨道度量闭包的可定义性，提出可分度量结构的Scott秩概念，作为Montalbán可数结构相关工作的连续类比，并证明了度量结构中可定义性、型省略、back-and-forth的相关结果。

2024-11-01math.LO

群的度量普遍性

Metrical universality for groups

我们证明了，对于任何常数$K>0$，存在一个可分群配备了一个完整的双不变度量由$K$，等距的Urysohn球直径$K$，这是“几乎普遍的处置”。因此，它是一个对象的范畴内的可分群体与双不变度量类似的性质，以Gurarij空间从范畴内的可分巴拿赫空间。我们证明了这个群包含一个等距拷贝的任何可分群配备双不变度量有界的$K$。结果得到它是一个泛波兰群，分别容许相容的双不变度量。泛第二可数SIN群此外，几乎泛配置还表明了这类群的自同构群是丰富的，并且它唯一地刻画了这类群直到等距同构。我们还证明了这个群在一定意义上通有于具有双不变度量的可分群类（以$K$为界）。另一方面，证明了当直径不受限制时，不存在具有双不变度量的度量泛可离群。对于具有双不变度量的可分局部紧群也是如此。在广义连续统假设下，证明了对任意不可数基数$κ$，存在一个度量泛（无界）密度群$κ$，其度量为双不变.我们还证明了对于任意无限基数$κ$，在GCH下存在一个权为$κ$的泛SIN群.

2018-02-08math.GNmath.GRmath.LO

在函数可实现性中每个度量空间都是可分的

Every metric space is separable in function realizability

本文在函数可实现性拓扑中证明所有度量空间可分、可判定相等性对象可数，并推广到合成拓扑，表明直觉主义逻辑无法证明不可分空间或不可数可判定集合的存在。

2019-05-22cs.LOmath.LO

可分离度量空间中最大δ分离集及选择公理的弱形式

Maximal δ-separated sets in separable metric spaces and weak forms of choice

Warsaw University of Technology（华沙理工大学）

该研究证明了可分离度量空间中最大δ分离集的存在性与可数集合族上的选择公理之间的联系，并回答了Dybowski和Górka提出的问题。

2024-05-16math.LO

度量空间的几乎等距嵌入

Almost isometric embeddings of metric spaces

研究了度量空间之间的几乎等距嵌入和几乎等距的关系，证明了：（1）存在可数泛度量空间. (2)在aleph_1上可能存在少于连续统可分的度量空间，使得当连续统假设失效时，每个可分度量空间几乎等距嵌入其中一个。(3)不存在少于基数aleph_2的连续度量空间的集合，使得基数aleph_2的每个超度量空间几乎等距嵌入其中一个，如果aleph_2<2^{aleph_0}。我们还证明了各种空间X满足：如果空间X几乎等距于X，则Y等距于X。

2004-06-25math.GNmath.LO

On the additivity of strong homology for locally compact separable metric spaces

We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Mardešić and Prasolov showing that the Continuum Hypothesis implies that a countable sum of Hawaiian earrings witnesses the failure of strong homology to possess either of these properties. Our results build directly on work of Lambie-Hanson and the second author which establishes the consistency, relative to a weakly compact cardinal, of $\mathrm{lim}^s \mathbf{A} = 0$ for all $s \geq …

2022-02-20math.ATmath.LO

更多相关论文收起更多论文

无穷[0，1]值逻辑的表示能力

Expressive power of infinitary [0, 1]-valued logics

我们认为模型理论的性能有关的表达能力的三个类似物的$L_{ω_1, ω}$度量结构。我们给出了一个例子表明，这些无穷逻辑之一是严格的表达比其他两个，但也表明，所有三个具有相同的基本等价关系完全可分度量结构。证明了完备可分度量结构上的连续函数是自同构不变的当且仅当它在更有表现力的逻辑中是可定义的。我们的几个结果与完全可分度量结构的Scott句的存在性有关。

2017-08-09math.LO

度量结构的约化积：一个度量Feferman-Vaught定理

Reduced products of metric structures: a metric Feferman-Vaught theorem

我们将经典的Feferman-Vaught定理推广到度量结构的逻辑。这意味着基本等价结构的约化幂是基本等价的，因此它们在连续统假设下是同构的。我们还证明了存在两个形式为$\bigoplus_i M_{k(i)}(\mathbb{C})$的可分C*-代数，使得它们的冠同构的断言独立于ZFC，这给出了具有此性质的可分C*-代数的真正非交换冠的第一个例子。

2016-04-05math.LOmath.OA

局部有限群在度量空间上的泛作用与表示

Universal actions and representations of locally finite groups on metric spaces

利用等距性构造了可分度量空间上可数局部有限群（Hall群）的泛作用.这个单一作用包含所有可分度量空间上所有可数局部有限群的所有作用作为子作用。其主要成分是通过等距来合并动作。我们证明了这个普适作用的一个等价类是泛型的。我们证明了在我们的结果中对局部有限群的限制是必要的，因为类似的结果不适用于无限非局部有限群。我们还讨论了巴拿赫空间上线性等距作用的问题。

2018-08-02math.FAmath.GNmath.GR

我们能分类直到isometry的完全度量空间吗？

Can we classify complete metric spaces up to isometry?

我们调查的一些新老成果有关分类的完全度量空间的等距，一个主题发起的Gromov，Vershik和其他人。所有定理有关可分空间出现在各种文件在过去的二十年：在这里，我们试图提出他们在一个统一的和有机的方式，有时与新的和/或简化的证明。关于非可分空间的结果（以及在某种程度上，用于处理它们的设置和技术）是新的，并建议在这一研究领域进行新的研究。

2017-04-06math.LO

循环群的图积的群扩张

Group Metrics for Graph Products of Cyclic Groups

The Hebrew University of Jerusalem（耶路撒冷希伯来大学）；Rutgers University（罗格斯大学）

我们用下面的结果补充了[9]中允许波兰群拓扑的循环群$G(Γ, \mathfrak{p})$的图积的特征.设$G = G(Γ, \mathfrak{p})$，则下列等价：（i）在$Γ$上存在一个度量，它导出一个可分拓扑，在该拓扑中$E_Γ$是闭的;（ii）$G(Γ, \mathfrak{p})$可嵌入到一个波兰群中;（iii）$G(Γ, \mathfrak{p})$可嵌入到一个非阿基米德波兰群中.我们还构造了Baire空间上的闭图$G = G(Γ, \mathfrak{p})$和$Γ$的左不变可分群超度量。

2017-09-20math.LO

群的可分树型渐近锥面

Separable and tree-like asymptotic cones of groups

利用非标准分析的方法，我们将讨论哪些度量空间可以实现为渐近锥面。应用结果，我们将发现在组的上下文中，我们将证明，一个组的“几个”可分离的渐近锥面是几乎幂零的，我们将分类的真正的树出现的渐近锥面（不一定是双曲）的群体。

2011-03-06math.GRmath.LOmath.MG

可分巴拿赫空间同构分类的复杂性

The complexity of classifying separable Banach spaces up to isomorphism

证明了可分巴拿赫空间之间的同构关系是完全解析的等价关系，因此，直到同构的可分巴拿赫空间为大量直到它们相应的同构概念的数学结构提供了完全不变量。这同样适用于（1）直到一致同胚的完全可分度量空间，（2）直到Lipschitz同构的可分巴拿赫空间，（3）直到（可补）双嵌入性，（4）直到拓扑同构的波兰群，（5）直到置换等价的Schauder基.一些构造依赖于最近由S. Argyros和P. Dodos。

2006-10-09math.FAmath.LO

Between reduced powers and ultrapowers, II

We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric) structures associated to the Fréchet filter. Since such structures are countably saturated, the Continuum Hypothesis implies that they are isomorphic when elementarily equivalent.

2022-07-15math.LO

Polish度量空间中的距离集

The set of distances in a Polish metric space

本文刻画了可分完备度量空间的距离集，证明其恰为可数集或以0为极限点的解析集，并讨论更简单的情形。

2025-08-31math.LO

紧度量空间之间同胚关系的复杂性

The complexity of the homeomorphism relation between compact metric spaces

我们确定了紧度量空间到同胚的分类的精确复杂性。更确切地说，紧度量空间上的同胚关系是Borel双可约的，具有波兰群作用的完备轨道等价关系。因此，可分交换C*-代数之间的同构关系和C（K）-空间之间的等距关系也是如此。

2014-09-19math.FAmath.LO

isometry组的自动连续性

Automatic continuity for isometry groups

本文给出了度量空间的等距群的自动连续性结果的一般框架。特别地，我们证明了Urysohn空间和Urysohn球面的等距群的自动连续性，即任何从这些群到可分群的同态都是连续的。由此得到Urysohn空间的等距群具有唯一的Polish群拓扑，Urysohn球面的等距群具有唯一的可分群拓扑.此外，作为我们的框架的应用程序，我们获得了新的证明的自动连续性的组$\mathrm{Aut}([0,1],λ)$，由于本Yaacov，Berenstein和Melleray和酉群的无限维可分希尔伯特空间，由于Tsankov。用度量结构的模型论的语言叙述了结果和证明。

2014-01-27math.GRmath.LO

度量结构的Fraïssé极限

Fraïssé limits of metric structures

在度量结构的背景下，我们发展了\emph{Fraïssé theory}，即\emph{Fraïssé classes}和\emph{Fraïssé limits}的理论。我们证明了一类可分的近似齐次结构是Fraïssé当且仅当它是可分的近似齐次结构的年龄，并且相反，这个结构必然是该类的唯一极限，并且对它是泛的。我们用一种新的方法来做这件事，其中“有限映射到错误”是由\emph{approximate isometries}编码的。

2014-09-08math.LO