**Preliminaries**

Consider the expectations described in [this paper][4], which is an extension of the Lebesgue density theorem; [this paper][5], which is an extension of the Hausdorff measure using Hyperbolic Cantor sets; and [this paper][6], which applies a Henstock-Kurzweil type integral
on a measure Metric Space. We also use [conditional expectation][7]; however, the output of this expectation depends on the choice of the "condition". Moreover, there is no "known" choice function choosing "conditions" which "naturally" extend the expected values of the previous sentences to be unique and finite.

**Motivation**

According to an article in Quanta Magazine [Wood][1] writes, "No known mathematical procedure can meaningfully average an infinite number of objects covering an infinite expanse of space in general. The path integral is more of a physics philosophy than an exact
mathematical recipe."

I want to represent Wood's example with functions—I'm looking for two examples:

1. A function that matches Wood's description, such the expected values w.r.t any measure in the **preliminaries** is infinite or undefined. 

2. A "non-fractal" function where none of the expected values in the **preliminaries** gives a unique, finite, expected value.

One example of 2. is $f:\mathbb{Q}\to\mathbb{R}$, where:

\begin{equation}
f(x)=\begin{cases}
1 & x\in \left\{r/q:r\in\text{odd }\mathbb{Z},q\in\text{even }\mathbb{Z},q\neq 0,\gcd(r,q)=1\right\}\\
0 & x\in \left\{r_1/(q_1):r_1\in\mathbb{Z},q_1\in\text{odd }\mathbb{Z},\gcd(r_1,q_1)=1\right\}
\end{cases}
\end{equation}   

where we could find a unique average using                                                                                                                                                                                                                                                                                                                                                                [conditional expectation][7] of $f$ given a sequence of sets with a set-theoretic limit of $\mathbb{Q}$; however, the expectation depends on the sequence chosen. (Hence, the expected value can be any value and is undefined.) 

**Question:** Does there exist an explicit function which answers 1. and 2.? 

([This post][8] might be able to help.)


----------

**Edit:** (I added a potential answer, but do not have evidence this answers my question.)

**Second Edit:** 

Consider the function $f:\mathbb{R}\to\mathbb{R}$ where for the base-3 expansion of $x\in\mathbb{R}$, we take "pseudo-random" iterations of a function that in the first iteration, replaces the base-3 digits zero with one; one with two, and two with zero.

In mathematical terms, if $\mathscr{F}:\left\{0,1,2\right\}\to\left\{0,1,2\right\}$ where $\mathscr{F}:=\left\{(0,1),(1,2),(2,0)\right\}$, such that equation:
$$\mathscr{F}^{k}=\underset{k\text{ times}}{\underbrace{\mathscr{F}(\mathscr{F}(\cdots\mathscr{F}(x)))}}$$ is the $k$-th iterations of $\mathscr{F}$, and $\left[\cdot\right]$ rounds to the nearest integer, we want:

$${f(x)=\left\{\sum\limits_{k=-\infty}^{\infty}{\mathscr{F}^{\big[|k\sin(k)|\big]}(a)}/{3^k}:a\in\left\{0,1,2\right\}\right\}}$$

I'm not sure if this covers an "infinite expanse of space". (This would be interesting to graph).

I assume none of the expected values in the **preliminaries** give this function a unique and finite expected value. (Hopefully, someone can check.)


  [1]: https://www.quantamagazine.org/mathematicians-prove-2d-version-of-quantum-gravity-really-works-20210617/
  [2]: https://en.wikipedia.org/wiki/Hausdorff_measure
  [3]: https://golem.ph.utexas.edu/category/2020/11/the_uniform_measure.html
  [4]: https://www.ime.usp.br/~afisher/ps/Analogues.pdf
  [5]: https://arxiv.org/pdf/math/9405217.pdf
  [6]: https://iris.unipa.it/retrieve/handle/10447/91249/100570/Tesi%20di%20dottorato%20G_Corrao.pdf
  [7]: https://en.wikipedia.org/wiki/Conditional_expectation
  [8]: https://mathoverflow.net/q/451452/504799