[Math] Is the set of the absolutely continuous functions a Borel set of the space of the continuous functions

banach-spacesborel-setsfa.functional-analysismeasure-theorypr.probability

Does anyone knows whether the set of the absolutely continous functions $F :[0,1]\to \mathbb{R}^d$ of the form $$F(t)= a + \int_0^tf(s) ds$$ where $f$ is an integrable function is a Borel set of the Banach space $C$ of the continuous funtions $$F : t\in [0,1] \to F(t)\in \mathbb{R}^d$$ with the norm of the uniform convergence ?

Best Answer

Let $\phi:C\to[0,\infty]$ be defined for $F\in C$ as the norm of $F$ in $W^{1,1}$ if $F$ is absolutely continuous, and $+\infty$ otherwise. Then $\phi$ is lower semi-continuous for the topology of uniform convergence and $W^{1,1}=\{\phi<\infty\}$ is Borel measurable.

Related Question