The well-known notion of dimension for partial orders by Dushnik and Miller allows to quantify the degree of incomparability and, thus, is regarded as a measure of complexity for partial orders. However, despite its usefulness, its definition is somewhat disconnected from the geometrical idea of dimension, where, essentially, the number of dimensions indicates how many real lines are required to represent the underlying partially ordered set. Here, we introduce a variation of the Dushnik-Miller notion of dimension that is closer to geometry, the Debreu dimension, and show the following main results: (i) how to construct its building blocks under some countability restrictions, (ii) its relation to other notions of dimension in the literature, and (iii), as an application of the above, we improve on the classification of preordered spaces through real-valued monotones.
翻译:众所周知的Dushnik和Miller提出的部分命令的维度概念可以量化不相容的程度,因此被视为部分命令的复杂程度,然而,尽管其定义有用,但与维度的几何概念有些脱节,基本上,维度数量表明需要多少实际线才能代表部分订购的基本内容。这里,我们引入了Dushnik-Miller的维度概念的变异,它更接近于几何,即Debreu维度,并显示出以下主要结果:(一) 如何在某种可计算性限制下建造其构件,(二) 其与文献中其他维度概念的关系,以及(三) 作为上述内容的应用,我们改进了通过实际价值单体对预定空间的分类。