Is there a non-piecewise average which extends the average from the Hausdorff Measure and Integral and exists for all functions with a domain in the $\sigma$-field on the Caratheodory extension?
Motivation:
Some sets have a Hausdorff Dimension $\alpha$ but have a zero-dimensional Hausdorff Measure. These sets may have another dimension function https://en.m.wikipedia.org/wiki/Dimension_function i.e. a function $h:[0,\infty]\to[0,\infty]$ such that if we change the definiton of the Hausdorff Measure by replacing $R^{\alpha}$ with $h(R)$ (where $R$ denotes the radius of a ball in covering), the value of the Hausdorff Measure is positive and finite.
Unfortunately, there are sets with no meaningful dimension function since the sets are either $\sigma$-finite with respect to the counting measure (i.e. Countably infinite sets) or their dimension function does not exist.
Despite this, I need an extension of the Hausdorff Measure to be positive and finite (for the cases mentioned above) so the average from the extended measure and Integral exists.
Question:
How do we extend the average from the Hausdorff Measure and Integral to exist for all functions with a domain in the $\sigma$-algebra in the Caratheodory extension?
More specifically, the extended average must be unique, non-piecewise (i.e. can be described without a piece-wise function), and defined between the infimum and supremum of the function we are averaging over.
Does such an average exist?
- closed
- 953 views
- $100.00
Related Questions
- Why is the t-test for two independent samples $\ t^* = \frac{(\bar{x}_1 - \bar{x}_2)}{\sqrt{\frac{S_1^2}{n_1} + \frac{S_2^2}{n_2}}}$?
- How do you calculate per 1,000? And how do you compensate for additional variables?
- How to simplify this expression? (statistics)
- Question about sample size calculation for a single arm long term follow-up study
- Calculating the Probability of a Varied Selection in Pet Shop Purchases
- Bad Beat Jackpot
- What are the odds of at least k same outcomes in n independent trials, each with x equally likely outcomes?
- Standard Error , P-value
My intuition says that, for any meaningful measure you can define, the Axiom of Choice should allow for the construction of a non-measurable set wrt to that measure. You can get rid of AC and replace it with an axiom that says that there exists a measure function defined on all the subsets of R^n, but it won't be constructive: you won't get a definition, just the existence.
The word "extend" is doing a lot of work here. To what extent do we want this average to agree with the one induced by the Hausdorff measure?
I want this average to include the one induced by the Hausdorff Measure and give a unique and satisfying value for cases where an exact dimension function (or gauge function) doesn’t exist.