根非度量树的 Scott 拓扑

本文证明了根非度量树 $\mathcal T$ 上的 Scott 拓扑 $\mathfrak S$ 严格小于弱树拓扑。此外，对于每个 $t\in \mathcal T$，我们考虑在 $\mathcal T$ 上自然的序 $\preceq_t$，使得 $t$ 是 $\mathcal T$ 的根。随后，弱树拓扑由与 $\preceq_t$ 相关联的 Scott 拓扑 $\mathfrak S_t$ 的并生成。