The author gave a theorem of the internal characterization of the measurement of the continuous dcpo, discussed the operator on the measurement, studied the subdomain. 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.
|