- #1
AxiomOfChoice
- 533
- 1
I was reading a Ph.D. thesis this morning and came across the claim that "a uniform limit of absolutely continuous functions is absolutely continuous." Is this true? What about the sequence of functions that converges to the Cantor function on [0,1]? Each of those functions is absolutely continuous, right? And they converge uniformly to the Cantor function, right? But the Cantor function is the canonical example of a continuous, increasing function that's not absolutely continuous!
Just so you know what I mean, I'm talking about the sequence [itex]\{ g_n(x) \}[/itex], where [itex]g_n[/itex] is constant on the middle-third that is removed in stage [itex]n[/itex] of constructing the Cantor set, and linear everywhere else. For example:
[tex]
g_1(x) = \begin{cases} \frac{3x}{2}, & x\in [0,1/3],\\ \frac 12, & x\in (1/3,2/3),\\ \frac{3x}{2} - \frac 12, & x\in [2/3,1]. \end{cases}
[/tex]
This guy is clearly the integral of his derivative, so I think it's reasonable to conclude that each of the other ones is, too.
Just so you know what I mean, I'm talking about the sequence [itex]\{ g_n(x) \}[/itex], where [itex]g_n[/itex] is constant on the middle-third that is removed in stage [itex]n[/itex] of constructing the Cantor set, and linear everywhere else. For example:
[tex]
g_1(x) = \begin{cases} \frac{3x}{2}, & x\in [0,1/3],\\ \frac 12, & x\in (1/3,2/3),\\ \frac{3x}{2} - \frac 12, & x\in [2/3,1]. \end{cases}
[/tex]
This guy is clearly the integral of his derivative, so I think it's reasonable to conclude that each of the other ones is, too.