Suppose A is a set measurable in the Caratheodory sense such for n in the integers, A is a subset of Rn, and function f:A->R
After reading the preliminary definitions in section 1.2 of the attachment where, e.g., a pre-structure is a sequence of sets whose union equals A and each term of the sequence has a positive uniform probability measure; how do we answer the following question in section 2?
Does there exist a unique extension (or method constructively defining a unique extension) of the expected value of f when the value’s finite, using the uniform probability measure on sets measurable in the Caratheodory sense, such we replace f with infinite or undefined expected values with f defined on a chosen pre-structure depending on A where:
How do we answer this question?
(See sections 3.1 & 3.3 in the attachment for an idea of what an answer would look like)
Edit: Made changes to section 3.5 (b) since it was nearly impossible to read. Hopefully, the new version is much easier to process.