Differentiating convex functions constructively
-
Published:2020-12-30
Issue:
Volume:12
Page:
-
ISSN:1759-9008
-
Container-title:Journal of Logic and Analysis
-
language:
-
Short-container-title:J. Log. Anal.
Author:
Diener Hannes,Hendtlass Matthew
Abstract
In classical analysis, both convex functions and increasing functions \([0,1] \to \RR\) are differentiable almost everywhere. We will show that constructively, while we can prove this for convex functions, we cannot do so for increasing ones.
Publisher
Journal of Logic and Analysis
Subject
Logic,Modeling and Simulation,Analysis