Suppose for n∈ ℕ, set A⊆ℝⁿ and function f∶A→ℝⁿ. If set A, using the Hausdorff outer measure, is measurable in the sense of Carathèodory; we want to find an extension of the expected value, w.r.t the Hausdorff measure, that's unique, finite and "natural" (defined on §2.3 & §2.4) for all f in a prevalent subset of ℝᴬ. The issue is current extensions of the expected value are finite for all functions in only a shy subset of ℝᴬ. The reason this issue wasn't resolved is mathematicians have not thought of the problem, focusing on application rather than generalization. Despite the lack of potential use, we'll attempt to solve the problem by defining a choice function---this shall choose a unique set of equivalent sequences of sets (Fₖ***) , where the set-theoretic limit of Fₖ*** is the graph of f; the measure Hʰ is the ℎ-Hausdorff measure, such for each k∈ℕ, 0 < Hʰ(Fₖ***) < +∞; and (fₖ*) is a sequence of functions where {(x,fₖ*(x))∶x∈ dom(Fₖ***)}=Fₖ***. Thus, the extended expected value of or E**[f,Fₖ***] is: ∀(ε>0)∃(N∈ℕ)∀(k∈N)(k≥N⇒1/Hʰ(dom(Fₖ***))∫dom(Fₖ*** )fₖ* dHʰ - E**[f,Fₖ***]<ε ) which should be unique, finite, and "natural" (defined on §2.3 & §2.4) for all f in a prevalent subset of ℝᴬ. Note we guessed the choice function using computer programming but we don’t use mathematical proofs due to the lack of expertise in the subject matter. Despite this, the biggest use of this research is the extension of the expected value is finite for "almost all" functions: this is easier to use in application when finding the "average" of functions covering an infinite expanse of space.

Suppose set

In this paper, we will extend the expected value of the function w.r.t the uniform probability measure on sets measurable in the Caratheodory sense to be finite for a larger class of functions, since the set of all measurable functions with infinite or undefined expected values forms a prevalent subset of the set of all measurable functions, which means "almost all" measurable functions have infinite or undefined expected values. Before we define the specific problem in section 2, we will outline some preliminary definitions. We'll then define the specific problem (along with a partial solution in section 3) to visualize the complete solution. Along the way, we will ask a series of questions to clarify our understanding of the paper.

I want to find an extension of the Hausdorff Measure and Fractal Measure which allows me to compute a unique, satisfying average for functions defined on non-fractal, measurable sets in the sense of Carathedory which has no gauge function.