Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity Theory
Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity Theory
复制标题
允许简单的 2 类复杂性理论的不可度量空间的一些示例
DOI：
10.1016/j.entcs.2004.06.038
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
M. Schröder
中科院分区：
文献类型：
--
作者：
D. Kunkle;M. Schröder
空间表示是第二类可计算性理论（TTE）中定义不可数空间可计算性的关键手段。几乎紧凑表示允许使用离散参数来简单地测量函数的时间复杂度，即所需的输出精度以及关于参数的“大小”信息，而不是连续参数。我们提出了一些有趣的例子，不可度量化的拓扑向量空间，几乎紧凑的容许表示，包括空间的真实的多项式函数和分布的紧支持。
Representations of spaces are the key device in Type-2 Theory of Effectivity (TTE) for defining computability on non-countable spaces. Almost-compact representations permit a simple measurement of the time complexity of functions using discrete parameters, namely the desired output precision together with “size” information about the argument, rather than continuous ones. We present some interesting examples of non-metrizable topological vector spaces that have almost-compact admissible representations, including spaces of real polynomial functions and of distributions with compact support.