实值化赋值与 adic 谱

我们重新审视 Huber 的连续赋值理论，该理论产生了其 adic 空间理论中所用的 adic 谱。我们转而考虑已被实值化的赋值，即其值群被强制包含实数。这产生了实值化 adic 谱，为与 Berkovich 非阿基米德解析空间构造相容的 Huber 理论类比提供了框架。作为示例，我们将完美oid 空间理论扩展到此设定中。