What is an applicable way of averaging an everywhere surjective function whose graph has Hausdorff dimension $2$ with zero $2$-d Hausdorff measure?

If I broke this site, you can ban me.

Suppose $f:\mathbb{R}\to\mathbb{R}$ is an explicit everywhere surjective function whose graph has Hausdorff dimension $2$ with a zero $2$-d Hausdorff measure.

Since the integral of $f$ w.r.t. $2$-d Hausdorff measure is undefined, the expected value of $f$ w.r.t. the $2$-d Hausdorff measure is undefined.

Thus, we take the mean of a sequence of bounded functions with different domains converging to $f$ (when it exists). For the sake of application, we want the mean to be finite.

The problem is depending on the sequence of bounded functions chosen, the expected value of the sequence of bounded functions can be one of several values (when it exists). Infact, the set of all $f$ where the expected value of two sequences of bounded functions converging to $f$ have non-equivelant expected values (when either exist), forms a prevelant “full measure” subset of $\mathbb{R}^{\mathbb{R}}$.

Hence, we need a useful way of choosing a “satisfying” expected value. There are many ways but one involves an answer to a leading question (i.e., using a choice function) with applications in physics.

For instance, the leading question can be defined w.r.t. four criteria:

1. the chosen sequences of bounded functions, which converge to an arbitrary $\mathsf{f}\in\mathbb{R}^{\mathbb{R}}$, have the same finite expected value
2. the metric entropy (see the Note at the end) of the chosen sequence of each bounded function's graph increases at a rate linear or superlinear to that of other sequences of each bounded function's graph
3. the absolute difference between the y-coordinate of the reference point $\mathbf{R}\in\mathbb{R}^{2}$ and the expected value of the chosen sequence of bounded functions converging to $f$
4. the absolute difference between the expected rate of expansion and the actual rate of expansion of the chosen sequence of each bounded function's graph

If 1. and 2. are true and 3. and 4. have the absolute difference of zero, the choice function which answers the leading question must choose the chosen sequence.

If neither 3. and 4. have an absolute difference of zero, we choose sequences of bounded functions where the absolute differences are minimized.

Question: Using inspiration from my attempt, how does one define a leading question that chooses a "satisfying" and finite average for explicit everywhere surjective functions whose graph has Hausdorff dimension $2$ with zero $2$-d Hausdorff measure. 

Note: If the post is still unclear, see my original paper (i.e., "families" are a generalization of sequences and the metric entropy is assumed to be the "measure"). If the assumptions are incorrect, please correct me.

Join Matchmaticians Affiliate Marketing Program to earn up to a 50% commission on every question that your affiliated users ask or answer.