Timeline for antiderivative always exists?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 11, 2020 at 13:50 | history | edited | A. Bailleul | CC BY-SA 4.0 |
Changed "Baire first category" to "Baire class 1".
|
| Mar 11, 2020 at 11:21 | comment | added | Wojowu | @Hair80 Assuming "Baire first category" means "Baire class 1", then yes, by definition continuous function have Baire class 0 and hence also class 1. Of course, continuous functions satisfy IVT, so we can take $\phi$ the identity. | |
| Mar 11, 2020 at 10:59 | comment | added | Hair80 | Does a continuous function always satisfy Choquet's characterization? If yes, take $f$ differentiable and such that $f'$ is bijective. In order to explicitly compute the antiderivative of $f'^{-1}$ I find myself needing that $f'$ is also differentiable. Could such an additional hypothesis be ruled out somehow? | |
| Mar 11, 2020 at 10:47 | vote | accept | Hair80 | ||
| Mar 11, 2020 at 10:50 | |||||
| Mar 11, 2020 at 9:57 | history | answered | A. Bailleul | CC BY-SA 4.0 |