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:

  • The expected value of f on each term of the pre-structure is finite
  • The pre-structure converges uniformly to A
  • The pre-structure converges uniformly to A at a linear or superlinear rate to that of other non-equivalent pre-structures of A which satisfies 1. and 2.
  • The generalized expected value of f on the pre-structure (an extension of def. 3 to answer the full question) satisfies 1., 2., and 3. and is unique & finite.
  • A choice function is defined that chooses a pre-structure from A that satisfies 1., 2., 3., and 4. for the largest possible subset of RA.
  • If there is more than one choice function that satisfies 1., 2., 3., 4. and 5., we choose the choice function with the "simplest form", meaning for a general pre-structure of A (see def. 2), when each choice function is fully expanded, we take the choice function with the fewest variables/numbers (excluding those with quantifiers).
  • 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.

    More Bharath Krishnan's questions See All
    Similar questions and discussions