Please give a real-valued function f on the cantor set C in [0,1]
satisfies
there doesn't exist a sequence of subsets {Ek}k=1,2,...
of C
such that
(1)the untion of Ek is C;
(2)the restriction of f to every set Ek is continuous on Ek.
Please give a real-valued function f on the cantor set C in [0,1]
satisfies
there doesn't exist a sequence of subsets {Ek}k=1,2,...
of C
such that
(1)the untion of Ek is C;
(2)the restriction of f to every set Ek is continuous on Ek.
We are told nothing about these sets , so we cannot assume any topological or measure-theoretic properties for them. Therefore it seems that any construction must rely on counting and cardinality.
The Cantor set has the cardinality of the continuum, so there exists a bijective mapping from C to the unit square [0,1]x[0,1]. Thus I am defining the map f as the first coordinate of that bijection. Define an equivalence relation on C by There are uncountably many equivalence classes, each containing uncountably many elements of C. Denote by [x] the equivalence class containing x.
If C is the union of countably many sets then at least one of those sets must have uncountable intersection with uncountably many equivalence classes, say is uncountable for all [x] in an uncountable set X of equivalence classes. I now want to say that there must be a point that is a limit point for at least two distinct sets and where [x] and [y] are in X. It will then follow that the restriction of f to is discontinuous at z (because z is the limit of two sequences in , on one of which f takes the constant value f(x), and on the other it takes the constant value f(y)). I don't have the energy to write out that last part of the argument in detail, but I am more or less convinced that it works.
@Opalg: I think this question is closely related to this one, and if that's the case measure theory does indeed come strongly into play: The crucial part being if the OP would be working with Lebesgue measure or its completion, if the former then I'm not sure your argument would hold in general (at least not necessarily since there are continous non-Lebesgue measurable functions, and I don't think the Cantor set is devoid of non-measurable sets). Do you have any thoughts on this? (as you can see I haven't been able to answer said question)
I am no longer convinced that the reasoning in my previous comment is correct, in fact the argument in the final paragraph breaks down completely. But I still have the intuitive feeling that a continuous function on an arbitrary subset E of the unit interval cannot take each of uncountably many values uncountably often. I have not been following that other thread, but I don't see how measure theory can be relevant to this current thread, since the Cantor set and all its subsets have measure 0.