A computable approach to measure and integration theory

We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausdorff space and an effectively given finite Borel measure on the space, we define a recursive measurable set, which extends the corresponding notion due to ˜Sanin for the Lebesgue measure on the real line. We also introduce the stronger notion of a computable measurable set, where a measurable set is approximated from inside and outside by sequences of closed and open subsets respectively. The set of recursive measurable subsets and that of computable measurable subsets are both closed under complementation, finite unions and finite intersections. The more refined property of computable measurable sets give rise to the idea of partial measurable subsets, which naturally form a domain for measurable subsets. We then introduce interval-valued measurable functions and develop the notion of recursive and com...

• Type: Conference
• Year: 2007
• Where: LICS
• Authors: Abbas Edalat
• Keywords: Computable Measurable Set, Computer Science, LICS 2007, Measurable Function, Measurable Set