连续偏序集上的测度

The Measurement on the Continuous Poset

给出了连续dcpo上测度的一个内在刻划定理.讨论了连续偏序集乘积上的测度.此外还引入了全有界测度的概念,并讨论了Lebesgue测度与全有界测度之间的关系,同时还研究了测度的核空间的拓扑性质.

The author gave a theorem of the internal characterization of the measurement on the continuous dcpo and discussed the measurement on the product of continuous posets. Then the author defined the notion of totally bounded measurement, discussed the relation between Lebesgue measurement and totally bounded measurement, and also studied the topological properties of the kernel space of the measurement.