Urysohn度量空间中的可定义函数
逻辑
2010-01-28 v1 一般拓扑
摘要
设U表示Urysohn球，并将U视为空连续签名下的度量结构。我们证明，从U^n到U的每个可定义函数要么是投影函数，要么具有相对紧致的值域。作为推论，我们证明了许多对Urysohn球研究而言自然的函数是不可定义的。最后，我们给出了在值域紧致情况下可定义函数值域的进一步拓扑信息。
引用
@article{arxiv.1001.4999,
title = {Definable Functions in Urysohn's Metric Space},
author = {Isaac Goldbring},
journal= {arXiv preprint arXiv:1001.4999},
year = {2010}
}
备注
11 pages