I want to ask if it is possible to construct a function such that:
- It is of bounded variation.
- It is $0$ almost everywhere except on a countable set.
- It is not differentiable on an uncountable subset.
I thought about constructing a function that gives $\frac{1}{i^{2}}$ on rationals by using an enumeration of rationals. But it is not clear to me if the derivative would not exist on an "uncountable subset". Certainly the derivative cannot exist on the rationals; and by Rudin's own proof it must be $0$ everywhere. However since we can choose the enumeration in an arbitrally way, it is possible an uncountable subset of the irrationals it is also not differentiable? I feel this is likely if I can define it step-wise around a Cantor type set, since making the function non-differentiable at a specific point is always possible, then making an inductive procedure. But I do not know how to write this down precisely.