Computable Jordan Decomposition of Linear Continuous Functionals on $C[0;1]$

By the Riesz representation theorem using the Riemann-Stieltjes integral, linear continuous functionals on the set of continuous functions from the unit interval into the reals can either be characterized by functions of bounded variation from the unit interval into the reals, or by signed measures...

Full description

Bibliographic Details
Main Authors: Klaus Weihrauch, Tahereh Jafarikhah
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2014-09-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/1117/pdf