What are some concrete examples of functions either on the ternary Cantor set $C$ or on its subsets that could be measurable and/or integrable? I've been toying with the idea of trying $f(x) = x$ and $f(x) = x^2$ but I'm not sure if they fit the bill. Perhaps this might first of all require us to define exactly what a measurable function and an integrable function are when restricted to the Cantor set $C$ or its subsets. How should I proceed, and are there any useful research articles on this?
Measurable and/or integrable functions on the Cantor set $C$ or its subsets
1
$\begingroup$
real-analysis
-
0The support of a function is the set of points in which it takes nonzero values. That is, $\mathrm{supp}(f) = \{x\in\mathbb{R}\mid f(x)\neq 0\}$. – 2011-06-08
1 Answers
4
The Cantor set is compact and therefore Borel measurable. Take any Borel measurable function defined on $[0,1]$ and restrict it to the Cantor set. This is Borel measurable. In fact, every Borel measurable subset of the Cantors set is some restriction of a Borel measurable function defined on [0,1]; just extend by defining it to be zero off of the Cantor set.
Notice I didn't say "Lebesgue measurable," because all subsets of the Cantor set are Lebesgue measurable.
When you say "integrable," I reply, "With respect to what measure?" The Cantor Singular function defines a measure supported on the Cantor set. Is this the measure you are thinking of?
-
0I was thinking in terms of Lebesgue-Stieltjes measure, something that my Real Analysis class just scratched the surface of. – 2011-06-11